2025-11-15T17:01:10.701216

Skew odd orthogonal characters and interpolating Schur polynomials

Jing, Li, Wang et al.
We introduce two vertex operators to realize skew odd orthogonal characters $so_{λ/μ}(x^{\pm})$ and derive the Cauchy identity for the skew characters via Toeplitz-Hankel-type determinant similar to the Schur functions. The method also gives new proofs of the Jacobi--Trudi identity and Gelfand--Tsetlin patterns for $so_{λ/μ}(x^{\pm})$. Moreover, combining the vertex operators related to characters of types $C,D$ (\cite{Ba1996,JN2015}) and the new vertex operators related to $B$-type characters, we obtain three families of symmetric polynomials that interpolate among characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ and $Sp_{2n}(\mathbb{C})$, Their transition formulas are also explicitly given among symplectic and/or orthogonal characters and odd orthogonal characters.
academic

Caractères orthogonaux obliques impairs et polynômes de Schur interpolants

Informations fondamentales

  • ID de l'article: 2502.15586
  • Titre: Caractères orthogonaux obliques impairs et polynômes de Schur interpolants
  • Auteurs: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye, et appendice avec Xinyu Pan
  • Classification: math.RT (Théorie des représentations), math.CO (Combinatoire), math.QA (Algèbre quantique)
  • Date de publication: 21 février 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2502.15586

Résumé

Cet article introduit deux opérateurs de vertex pour réaliser les caractères orthogonaux obliques impairs soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}) et dérive les identités de Cauchy pour les caractères obliques via des déterminants de type Toeplitz-Hankel analogues aux fonctions de Schur. Cette méthode fournit également de nouvelles preuves des identités de Jacobi-Trudi et des motifs de Gelfand-Tsetlin pour soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}). De plus, en combinant les opérateurs de vertex associés aux caractères de type C et D avec de nouveaux opérateurs de vertex associés aux caractères de type B, trois familles de polynômes symétriques sont obtenues, qui interpolent entre les caractères de SO2n+1(C)SO_{2n+1}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) et Sp2n(C)Sp_{2n}(\mathbb{C}), et les formules de conversion explicites entre les caractères symplectiques et/ou orthogonaux et les caractères orthogonaux impairs sont données.

Contexte et motivation de la recherche

Contexte du problème

  1. Fondements de la théorie des représentations des groupes classiques: Les caractères des représentations irréductibles du groupe linéaire général GLn(C)GL_n(\mathbb{C}) sont les fonctions de Schur sλ(x)s_\lambda(x) indexées par les partitions λ\lambda, qui forment une base orthogonale de l'anneau des fonctions symétriques. Les fonctions de Schur obliques sλ/μ(x)s_{\lambda/\mu}(x) sont des outils fondamentaux pour étudier les restrictions aux sous-représentations.
  2. Caractères des groupes classiques: Les caractères irréductibles des groupes classiques Sp2n(C)Sp_{2n}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) et SO2n+1(C)SO_{2n+1}(\mathbb{C}) sont respectivement appelés caractères symplectiques spλ(x±)sp_\lambda(x^{\pm}), caractères orthogonaux (pairs) oλ(x±)o_\lambda(x^{\pm}) et caractères orthogonaux impairs soλ(x±)so_\lambda(x^{\pm}).
  3. État de la recherche: Baker et Jing-Nie ont construit les réalisations par opérateurs de vertex des caractères symplectiques et orthogonaux. Dans leurs travaux antérieurs, les auteurs ont utilisé la méthode de l'algèbre de vertex pour dériver les structures combinatoires des caractères symplectiques obliques et des caractères orthogonaux (pairs) obliques.

Motivation de la recherche

  1. Perfectionnement du cadre théorique: La réalisation par opérateurs de vertex de la version oblique des caractères orthogonaux impairs (type B) n'a pas encore été établie, nécessitant de perfectionner le cadre théorique unifié des caractères des groupes classiques.
  2. Polynômes interpolants: Il est nécessaire de construire des polynômes symétriques qui interpolent entre les caractères de différents types de groupes classiques, afin d'étudier leurs propriétés de manière unifiée.
  3. Identités combinatoires: Il est nécessaire d'établir pour les caractères orthogonaux obliques impairs des structures combinatoires importantes telles que les identités de Jacobi-Trudi, les motifs de Gelfand-Tsetlin et les identités de type Cauchy.

Contributions principales

  1. Introduction de nouveaux opérateurs de vertex: Construction de deux nouveaux opérateurs de vertex U(z)U(z) et U∗(z)U^*(z) pour les caractères orthogonaux impairs soλ(x±)so_\lambda(x^{\pm}), complétant la réalisation par opérateurs de vertex de type B.
  2. Établissement de la théorie combinatoire des caractères orthogonaux obliques impairs:
    • Dérivation des identités de Jacobi-Trudi pour les caractères orthogonaux obliques impairs soλ/μ(x±)so_{\lambda/\mu}(x^{\pm})
    • Établissement des motifs de Gelfand-Tsetlin
    • Preuve des identités de type Cauchy
  3. Construction de trois familles de polynômes de Schur interpolants:
    • Polynômes interpolants BD sλBD(x;α)s^{BD}_\lambda(x;\alpha): interpolation entre caractères de type B et D
    • Polynômes interpolants BC sλBC(x;α)s^{BC}_\lambda(x;\alpha): interpolation entre caractères de type B et C
    • Polynômes interpolants CD sλCD(x;α)s^{CD}_\lambda(x;\alpha): interpolation entre caractères de type C et D
  4. Établissement de formules de conversion: Formules explicites donnant les relations de conversion entre caractères symplectiques, orthogonaux et orthogonaux impairs.
  5. Découverte de nouvelles identités de déterminants: Établissement de trois identités de déterminants de type Toeplitz-Hankel associées aux fonctions de Schur.

Détails des méthodes

Définition des opérateurs de vertex fondamentaux

L'article introduit deux opérateurs de vertex clés basés sur l'algèbre de Heisenberg:

U(z)=(1+z)exp⁡(∑n=1∞a−nnzn)exp⁡(−∑n=1∞ann(zn+z−n))U(z) = (1 + z) \exp\left(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(-\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)

U∗(z)=(1−z)exp⁡(−∑n=1∞a−nnzn)exp⁡(∑n=1∞ann(zn+z−n))U^*(z) = (1- z) \exp\left(-\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)

Construction des éléments de partition

Pour une partition généralisée λ=(λ1,λ2,…,λl)\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l), on définit:

  • ∣λso⟩=U−λ1U−λ2⋯U−λl∣0⟩|\lambda^{so}\rangle = U_{-\lambda_1}U_{-\lambda_2} \cdots U_{-\lambda_l}|0\rangle
  • ⟨λso∣=⟨0∣U−λl∗⋯U−λ1∗\langle\lambda^{so}| = \langle 0|U^*_{-\lambda_l} \cdots U^*_{-\lambda_1}

Opérateurs de demi-vertex

Introduction de plusieurs opérateurs de demi-vertex à différentes fins:

  • Γ+(z)=exp⁡(∑n=1∞annzn)\Gamma_+(z) = \exp(\sum_{n=1}^{\infty}\frac{a_n}{n}z^n)
  • Γ−(z)=exp⁡(∑n=1∞a−nnzn)\Gamma_-(z) = \exp(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n)
  • Γ~+(z)=exp⁡(−∑n=1∞a2nnzn)\tilde{\Gamma}_+(z) = \exp(-\sum_{n=1}^{\infty}\frac{a_{2n}}{n}z^n)

Points techniques innovants

  1. Structure d'algèbre de Clifford généralisée: Via la formule de Baker-Campbell-Hausdorff, on prouve que les opérateurs de vertex satisfont les relations d'anticommutation d'une algèbre de Clifford généralisée: UiUj+Uj+1Ui−1=0U_iU_j + U_{j+1}U_{i-1} = 0Ui∗Uj∗+Uj−1∗Ui+1∗=0U^*_iU^*_j + U^*_{j-1}U^*_{i+1} = 0UiUj∗+Uj+1∗Ui+1=δi,jU_iU^*_j + U^*_{j+1}U_{i+1} = \delta_{i,j}
  2. Relations d'orthogonalité: Établissement de l'orthogonalité des éléments de partition: ⟨μso∣λso⟩=δλμ\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}
  3. Réalisation par éléments de matrice: Les caractères orthogonaux obliques impairs peuvent être exprimés comme éléments de matrice d'opérateurs de vertex: soλ/μ(x±)=⟨μso∣Γ+(x±)∣λso⟩so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle

Résultats principaux

Identité de Jacobi-Trudi

Théorème 3.1: Pour les partitions généralisées μ=(μ1,…,μl)\mu = (\mu_1, \ldots, \mu_l) et λ=(λ1,…,λl+N)\lambda = (\lambda_1, \ldots, \lambda_{l+N}):

soλ/μ(x±)=det⁡(aij)1≤i,j≤l+Nso_{\lambda/\mu}(x^{\pm}) = \det(a_{ij})_{1\leq i,j\leq l+N}

où les éléments de matrice sont:

h_{\lambda_i-\mu_j-i+j}(x^{\pm}) & 1 \leq j \leq l \\ h_{\lambda_i-i+j}(x^{\pm}) + h_{\lambda_i-i-j+2l+1}(x^{\pm}) & l+1 \leq j \leq l+N \end{cases}$$ ### Motifs de Gelfand-Tsetlin **Théorème 3.5**: Pour les partitions $\mu \subset \lambda$: $$so_{\lambda/\mu}(x^{\pm}) = \sum_{\mu=z^0 \prec z^1 \prec \cdots \prec z^{2N}=\lambda} \prod_{i=1}^N x_i^{2|z^{2i-1}|-|z^{2i}|-|z^{2i-2}|}$$ où les partitions $z^k$ satisfont les conditions d'entrelacement du motif de Gelfand-Tsetlin orthogonal impair. ### Identités de type Cauchy **Proposition 3.7**: $$\sum_{\mu} so_\mu(x^{\pm})s_\mu(y) = \frac{\prod_{k=1}^N(1+y_k)\prod_{1\leq k<l\leq N}(1-y_ky_l)}{\prod_{i,j=1}^N(1-x_iy_j)(1-x_i^{-1}y_j)}$$ ### Relations de conversion des polynômes interpolants 1. **Interpolation BD**: $s^{BD}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BD}_\lambda(x;1) = o_\lambda(x^{\pm})$ 2. **Interpolation BC**: $s^{BC}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BC}_\lambda(x;-1) = sp_\lambda(x^{\pm})$ 3. **Interpolation CD**: $s^{CD}_\lambda(x;0) = sp_\lambda(x^{\pm})$, $s^{CD}_\lambda(x;1) = o_\lambda(x^{\pm})$ ### Formules de conversion entre caractères des groupes classiques **Théorème 4.1**: $$so_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} sp_\mu(x^{\pm})$$ $$o_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} (-1)^{|\lambda/\mu|}so_\mu(x^{\pm})$$ où $\varepsilon = (\varepsilon_1, \ldots, \varepsilon_N)$, $\varepsilon_i \in \{0,1\}$. ## Signification théorique et applications ### Perfectionnement de la théorie des fonctions symétriques Cet article complète le système théorique des opérateurs de vertex pour les caractères des groupes classiques, fournissant une structure algébrique unifiée pour la théorie des fonctions symétriques. ### Déterminants de type Toeplitz-Hankel Le **Théorème 3.12** établit trois identités de déterminants importantes, exprimant les fonctions de Schur comme déterminants de type Toeplitz-Hankel, ce qui a une importance significative en mathématiques combinatoires et en théorie des matrices aléatoires. ### Développement de la théorie de l'interpolation Les trois familles de polynômes interpolants fournissent des outils puissants pour étudier les relations entre les caractères de différents types de groupes classiques, généralisant les polynômes interpolants CB et DB de Bisi-Zygouras. ## Travaux connexes ### Évolution historique 1. **Théorie des fonctions de Schur**: Théorie classique établie par Weyl, Littlewood-Richardson et autres 2. **Méthode des opérateurs de vertex**: Jing a d'abord introduit les opérateurs de vertex dans l'étude des fonctions symétriques 3. **Caractères des groupes classiques**: Baker, Jing-Nie ont établi les réalisations par opérateurs de vertex de type C et D 4. **Fonctions obliques**: Travaux antérieurs des auteurs établissant la théorie des caractères symplectiques et orthogonaux obliques ### Relation avec les recherches les plus récentes Les résultats de cet article sont cohérents avec les formules duales de Jacobi-Trudi obtenues par Albion et al. via la méthode des chemins de réseau, vérifiant l'équivalence de différentes approches. ## Détails techniques et innovations ### Espace dual complet $\tilde{M}^*$ Pour traiter les partitions généralisées contenant des parties nulles, on introduit l'espace dual complet $\tilde{M}^*$, ce qui constitue une innovation technique importante. ### Application de la formule BCH L'utilisation astucieuse de la formule de Baker-Campbell-Hausdorff pour établir les relations de commutation entre opérateurs de vertex est une technique clé pour prouver diverses identités. ### Uniformité de la représentation par déterminants Toutes les identités combinatoires peuvent être exprimées uniformément sous une certaine forme de déterminant, reflétant les structures algébriques profondes. ## Limitations et directions futures ### Limitations actuelles 1. **Complexité computationnelle**: Pour les grandes partitions, la complexité du calcul des déterminants est élevée 2. **Degré de généralisation**: Les résultats se limitent actuellement aux groupes classiques, la généralisation aux groupes exceptionnels n'a pas encore été abordée 3. **Portée des applications**: Les applications dans les problèmes physiques ou d'ingénierie concrets nécessitent une exploration supplémentaire ### Directions de recherche futures 1. **Généralisation aux groupes quantiques**: Extension des résultats aux groupes quantiques et algèbres de Lie affines 2. **Généralisation elliptique**: Étude de la théorie analogue pour les fonctions de Schur elliptiques 3. **Applications combinatoires**: Recherche de plus d'applications en combinatoire énumérative 4. **Algorithmes computationnels**: Développement de méthodes de calcul numérique efficaces ## Évaluation approfondie ### Avantages 1. **Complétude théorique**: Achèvement du dernier élément du puzzle de la théorie des opérateurs de vertex pour les caractères des groupes classiques 2. **Innovation méthodologique**: La méthode des opérateurs de vertex démontre une puissance remarquable dans le traitement des fonctions obliques 3. **Richesse des résultats**: Établissement simultané de plusieurs identités combinatoires importantes 4. **Uniformité**: Fourniture d'un cadre théorique unifié pour différents types de groupes classiques ### Contributions techniques 1. **Nouveaux opérateurs de vertex**: La construction de $U(z)$ et $U^*(z)$ est originale 2. **Polynômes interpolants**: La construction des trois familles de polynômes interpolants est ingénieuse et naturelle 3. **Formules de conversion**: Les relations de conversion explicites facilitent les applications ### Évaluation de l'impact 1. **Valeur académique**: Importance significative dans les domaines de la théorie des représentations, des mathématiques combinatoires et de la théorie des fonctions symétriques 2. **Signification méthodologique**: Développement et perfectionnement ultérieurs de la méthode des opérateurs de vertex 3. **Recherche ultérieure**: Fourniture d'une base importante pour les recherches ultérieures dans les domaines connexes ### Qualité technique Le raisonnement mathématique de l'article est rigoureux, les preuves sont complètes et le traitement technique est minutieux. Les innovations techniques dans le traitement des partitions généralisées et de l'espace dual complet sont particulièrement dignes d'éloges. ## Conclusion Cet article établit avec succès une théorie complète des caractères orthogonaux obliques impairs en introduisant de nouveaux opérateurs de vertex, incluant les identités de Jacobi-Trudi, les motifs de Gelfand-Tsetlin et les identités de type Cauchy. Plus important encore, en construisant trois familles de polynômes interpolants, il fournit un cadre unifié pour la conversion entre les caractères des groupes classiques. Ce travail non seulement perfectionne la théorie des fonctions symétriques, mais jette également une base importante pour les recherches ultérieures dans les domaines connexes. L'article présente un niveau technique élevé, des résultats riches, et apporte des contributions importantes dans le domaine d'intersection entre la théorie des représentations et les mathématiques combinatoires. Bien qu'il y ait encore de la place pour l'amélioration en termes de complexité computationnelle et de portée des applications, sa valeur théorique et sa signification méthodologique sont remarquables.