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

Schiefe ungerade orthogonale Charaktere und interpolierende Schur-Polynome

Grundinformationen

  • Papier-ID: 2502.15586
  • Titel: Schiefe ungerade orthogonale Charaktere und interpolierende Schur-Polynome
  • Autoren: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye und Anhang mit Xinyu Pan
  • Klassifizierung: math.RT (Darstellungstheorie), math.CO (Kombinatorik), math.QA (Quantenalgebra)
  • Veröffentlichungsdatum: 21. Februar 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2502.15586

Zusammenfassung

In diesem Artikel werden zwei Vertexoperatoren eingeführt, um schiefe ungerade orthogonale Charaktere soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}) zu realisieren, und durch Toeplitz-Hankel-Typ-Determinanten ähnlich wie Schur-Funktionen werden Cauchy-Identitäten für schiefe Charaktere hergeleitet. Diese Methode liefert auch neue Beweise für die Jacobi-Trudi-Identitäten und Gelfand-Tsetlin-Muster von soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}). Darüber hinaus werden durch Kombination von Vertexoperatoren, die mit C- und D-Typ-Charakteren verbunden sind, und neuen Vertexoperatoren, die mit B-Typ-Charakteren verbunden sind, drei Familien symmetrischer Polynome erhalten, die zwischen den Charakteren von SO2n+1(C)SO_{2n+1}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) und Sp2n(C)Sp_{2n}(\mathbb{C}) interpolieren. Explizite Transformationsformeln zwischen symplektischen und/oder orthogonalen Charakteren und ungeraden orthogonalen Charakteren werden angegeben.

Forschungshintergrund und Motivation

Problemhintergrund

  1. Grundlagen der Darstellungstheorie klassischer Gruppen: Die irreduziblen Darstellungscharaktere der allgemeinen linearen Gruppe GLn(C)GL_n(\mathbb{C}) sind Schur-Funktionen sλ(x)s_\lambda(x), indiziert durch Partitionen λ\lambda, die eine orthogonale Basis des Rings symmetrischer Funktionen bilden. Schiefe Schur-Funktionen sλ/μ(x)s_{\lambda/\mu}(x) sind grundlegende Werkzeuge zur Untersuchung von Restriktionen auf Unterdarstellungen.
  2. Charaktere klassischer Gruppen: Die irreduziblen Charaktere der klassischen Gruppen Sp2n(C)Sp_{2n}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) und SO2n+1(C)SO_{2n+1}(\mathbb{C}) werden jeweils als symplektische Charaktere spλ(x±)sp_\lambda(x^{\pm}), (gerade) orthogonale Charaktere oλ(x±)o_\lambda(x^{\pm}) und ungerade orthogonale Charaktere soλ(x±)so_\lambda(x^{\pm}) bezeichnet.
  3. Forschungsstand: Baker und Jing-Nie haben Vertexoperator-Realisierungen für symplektische und orthogonale Charaktere konstruiert. Die Autoren haben in früheren Arbeiten Vertexalgebra-Methoden verwendet, um kombinatorische Strukturen schiefer symplektischer und schiefer (gerader) orthogonaler Charaktere herzuleiten.

Forschungsmotivation

  1. Vervollständigung des theoretischen Systems: Die Vertexoperator-Realisierung der schiefen Version ungerader orthogonaler Charaktere (B-Typ) ist noch nicht etabliert und erfordert die Vervollständigung eines einheitlichen theoretischen Rahmens für Charaktere klassischer Gruppen.
  2. Interpolationspolynome: Es ist notwendig, symmetrische Polynome zu konstruieren, die zwischen verschiedenen Arten von Charakteren klassischer Gruppen interpolieren, um ihre Eigenschaften einheitlich zu untersuchen.
  3. Kombinatorische Identitäten: Es müssen wichtige kombinatorische Strukturen wie Jacobi-Trudi-Identitäten, Gelfand-Tsetlin-Muster und Cauchy-Typ-Identitäten für schiefe ungerade orthogonale Charaktere etabliert werden.

Kernbeiträge

  1. Einführung neuer Vertexoperatoren: Konstruktion von zwei neuen Vertexoperatoren U(z)U(z) und U∗(z)U^*(z) für ungerade orthogonale Charaktere soλ(x±)so_\lambda(x^{\pm}), wodurch die Vertexoperator-Realisierung vom B-Typ vervollständigt wird.
  2. Etablierung der kombinatorischen Theorie schiefer ungerader orthogonaler Charaktere:
    • Herleitung der Jacobi-Trudi-Identitäten für soλ/μ(x±)so_{\lambda/\mu}(x^{\pm})
    • Etablierung von Gelfand-Tsetlin-Mustern
    • Beweis von Cauchy-Typ-Identitäten
  3. Konstruktion von drei Familien interpolierender Schur-Polynome:
    • BD-Interpolationspolynome sλBD(x;α)s^{BD}_\lambda(x;\alpha): Interpolation zwischen B- und D-Typ-Charakteren
    • BC-Interpolationspolynome sλBC(x;α)s^{BC}_\lambda(x;\alpha): Interpolation zwischen B- und C-Typ-Charakteren
    • CD-Interpolationspolynome sλCD(x;α)s^{CD}_\lambda(x;\alpha): Interpolation zwischen C- und D-Typ-Charakteren
  4. Etablierung von Transformationsformeln: Explizite Angabe der Transformationsbeziehungen zwischen symplektischen, orthogonalen und ungeraden orthogonalen Charakteren.
  5. Entdeckung neuer Determinantenidentitäten: Etablierung von drei Toeplitz-Hankel-Typ-Determinantenidentitäten in Verbindung mit Schur-Funktionen.

Methodische Details

Definition der Kern-Vertexoperatoren

Der Artikel führt zwei Schlüssel-Vertexoperatoren basierend auf der Heisenberg-Algebra ein:

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)

Konstruktion von Partitionselementen

Für eine verallgemeinerte Partition λ=(λ1,λ2,…,λl)\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l) wird definiert:

  • ∣λ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}

Halb-Vertexoperatoren

Mehrere Halb-Vertexoperatoren werden für verschiedene Zwecke eingeführt:

  • Γ+(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)

Technische Innovationspunkte

  1. Verallgemeinerte Clifford-Algebrastruktur: Durch die Baker-Campbell-Hausdorff-Formel wird bewiesen, dass Vertexoperatoren verallgemeinerte Antikommutationsrelationen einer Clifford-Algebra erfüllen: 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. Orthogonalitätsrelationen: Etablierung der Orthogonalität von Partitionselementen: ⟨μso∣λso⟩=δλμ\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}
  3. Matrixelementrealisierung: Schiefe ungerade orthogonale Charaktere können als Matrixelemente von Vertexoperatoren dargestellt werden: soλ/μ(x±)=⟨μso∣Γ+(x±)∣λso⟩so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle

Hauptergebnisse

Jacobi-Trudi-Identität

Satz 3.1: Für verallgemeinerte Partitionen μ=(μ1,…,μl)\mu = (\mu_1, \ldots, \mu_l) und λ=(λ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}

wobei die Matrixelemente gegeben sind durch:

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}$$ ### Gelfand-Tsetlin-Muster **Satz 3.5**: Für Partitionen $\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}|}$$ wobei die Partitionen $z^k$ die Verschachtelungsbedingungen des ungeraden orthogonalen Gelfand-Tsetlin-Musters erfüllen. ### Cauchy-Typ-Identität **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)}$$ ### Transformationsbeziehungen der Interpolationspolynome 1. **BD-Interpolation**: $s^{BD}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BD}_\lambda(x;1) = o_\lambda(x^{\pm})$ 2. **BC-Interpolation**: $s^{BC}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BC}_\lambda(x;-1) = sp_\lambda(x^{\pm})$ 3. **CD-Interpolation**: $s^{CD}_\lambda(x;0) = sp_\lambda(x^{\pm})$, $s^{CD}_\lambda(x;1) = o_\lambda(x^{\pm})$ ### Transformationsformeln zwischen Charakteren klassischer Gruppen **Satz 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})$$ wobei $\varepsilon = (\varepsilon_1, \ldots, \varepsilon_N)$ mit $\varepsilon_i \in \{0,1\}$. ## Theoretische Bedeutung und Anwendungen ### Vervollständigung der Theorie symmetrischer Funktionen Der Artikel vervollständigt das Vertexoperator-Theoriesystem für Charaktere klassischer Gruppen und bietet eine einheitliche algebraische Struktur für die Theorie symmetrischer Funktionen. ### Toeplitz-Hankel-Typ-Determinanten **Satz 3.12** etabliert drei wichtige Determinantenidentitäten, die Schur-Funktionen als Toeplitz-Hankel-Typ-Determinanten darstellen, was in der Kombinatorik und Theorie zufälliger Matrizen von Bedeutung ist. ### Entwicklung der Interpolationstheorie Die drei Familien von Interpolationspolynomen bieten ein kraftvolles Werkzeug zur Untersuchung der Beziehungen zwischen verschiedenen Arten von Charakteren klassischer Gruppen und verallgemeinern die CB- und DB-Interpolationspolynome von Bisi-Zygouras. ## Verwandte Arbeiten ### Historischer Entwicklungsverlauf 1. **Schur-Funktionstheorie**: Klassische Theorie etabliert von Weyl, Littlewood-Richardson und anderen 2. **Vertexoperator-Methode**: Jing führte zuerst Vertexoperatoren in die Untersuchung symmetrischer Funktionen ein 3. **Charaktere klassischer Gruppen**: Baker, Jing-Nie etablierten Vertexoperator-Realisierungen für C- und D-Typ 4. **Schiefe Funktionen**: Frühere Arbeiten der Autoren etablierten die Theorie schiefer symplektischer und orthogonaler Charaktere ### Beziehung zu neuesten Forschungen Die Ergebnisse dieses Artikels stimmen mit den durch Gitterpfad-Methoden von Albion und anderen erhaltenen dualen Jacobi-Trudi-Formeln überein, was die Äquivalenz verschiedener Methoden bestätigt. ## Technische Details und Innovationen ### Vollständiger Dualraum $\tilde{M}^*$ Zur Behandlung verallgemeinerter Partitionen mit Nullteilen wird ein vollständiger Dualraum $\tilde{M}^*$ eingeführt, was eine wichtige technische Innovation darstellt. ### Anwendung der BCH-Formel Die geschickte Anwendung der Baker-Campbell-Hausdorff-Formel zur Etablierung von Kommutationsrelationen zwischen Vertexoperatoren ist eine Schlüsseltechnik zum Beweis verschiedener Identitäten. ### Einheitlichkeit der Determinantendarstellung Alle kombinatorischen Identitäten können in einer einheitlichen Determinantenform dargestellt werden, was die tieferliegende algebraische Struktur widerspiegelt. ## Einschränkungen und zukünftige Richtungen ### Aktuelle Einschränkungen 1. **Rechenkomplexität**: Für große Partitionen ist die Komplexität der Determinantenberechnung erheblich 2. **Verallgemeinerungsgrad**: Derzeit hauptsächlich auf klassische Gruppen beschränkt; Verallgemeinerung auf Ausnahmgruppen wurde noch nicht behandelt 3. **Anwendungsbereich**: Anwendungen in konkreten physikalischen oder technischen Problemen erfordern weitere Erforschung ### Zukünftige Forschungsrichtungen 1. **Quantengruppen-Verallgemeinerung**: Verallgemeinerung der Ergebnisse auf Quantengruppen und affine Lie-Algebren 2. **Elliptische Verallgemeinerung**: Untersuchung analoger Theorien für elliptische Schur-Funktionen 3. **Kombinatorische Anwendungen**: Suche nach weiteren Anwendungen in der enumerativen Kombinatorik 4. **Rechnerische Algorithmen**: Entwicklung effizienter numerischer Berechnungsmethoden ## Tiefgreifende Bewertung ### Stärken 1. **Theoretische Vollständigkeit**: Vervollständigung des letzten Puzzlestücks des Vertexoperator-Theoriesystems für Charaktere klassischer Gruppen 2. **Methodische Innovation**: Die Vertexoperator-Methode zeigt ihre Stärke bei der Behandlung schiefer Funktionen 3. **Reiche Ergebnisse**: Etablierung mehrerer wichtiger kombinatorischer Identitäten auf einmal 4. **Einheitlichkeit**: Bereitstellung eines einheitlichen theoretischen Rahmens für verschiedene Arten klassischer Gruppen ### Technische Beiträge 1. **Neue Vertexoperatoren**: Die Konstruktion von $U(z)$ und $U^*(z)$ ist originell 2. **Interpolationspolynome**: Die Konstruktion der drei Familien von Interpolationspolynomen ist geschickt und natürlich 3. **Transformationsformeln**: Explizite Transformationsbeziehungen bieten Bequemlichkeit für Anwendungen ### Bewertung der Auswirkungen 1. **Akademischer Wert**: Von wichtiger Bedeutung in den Bereichen Darstellungstheorie, Kombinatorik und Theorie symmetrischer Funktionen 2. **Methodologische Bedeutung**: Weitere Entwicklung und Vervollständigung der Vertexoperator-Methode 3. **Nachfolgeforschung**: Bereitstellung einer wichtigen Grundlage für nachfolgende Forschung in verwandten Bereichen ### Technische Qualität Die mathematischen Schlussfolgerungen des Papiers sind streng, die Beweise sind vollständig und die technische Behandlung ist sorgfältig. Besonders bemerkenswert sind die technischen Innovationen bei der Behandlung verallgemeinerter Partitionen und vollständiger Dualräume. ## Fazit Durch die Einführung neuer Vertexoperatoren etabliert dieser Artikel erfolgreich eine vollständige Theorie schiefer ungerader orthogonaler Charaktere, einschließlich Jacobi-Trudi-Identitäten, Gelfand-Tsetlin-Muster und Cauchy-Typ-Identitäten. Noch wichtiger ist, dass durch die Konstruktion von drei Familien von Interpolationspolynomen ein einheitlicher Rahmen für die Transformation zwischen Charakteren klassischer Gruppen bereitgestellt wird. Diese Arbeit vervollständigt nicht nur die Theorie symmetrischer Funktionen, sondern legt auch eine wichtige Grundlage für nachfolgende Forschung in verwandten Bereichen. Das Papier hat ein hohes technisches Niveau, reiche Ergebnisse und leistet wichtige Beiträge im Schnittstellenbereich zwischen Darstellungstheorie und Kombinatorik. Obwohl es noch Raum für Verbesserungen in Bezug auf Rechenkomplexität und Anwendungsbereich gibt, sind sein theoretischer Wert und seine methodologische Bedeutung erheblich.