Skew odd orthogonal characters and interpolating Schur polynomials

Basic Information

• Paper ID: 2502.15586
• Title: Skew odd orthogonal characters and interpolating Schur polynomials
• Authors: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye, and appendix with Xinyu Pan
• Classification: math.RT (Representation Theory), math.CO (Combinatorics), math.QA (Quantum Algebra)
• Publication Date: February 21, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2502.15586

Abstract

This paper introduces two vertex operators to realize skew odd orthogonal characters $so_{\lambda/\mu}(x^{\pm})$ and derives Cauchy identities for skew characters through Toeplitz-Hankel type determinants analogous to Schur functions. This approach also provides new proofs for the Jacobi-Trudi identities and Gelfand-Tsetlin patterns of $so_{\lambda/\mu}(x^{\pm})$. Furthermore, by combining vertex operators associated with C and D type characters with new vertex operators related to B type characters, three families of symmetric polynomials are obtained that interpolate between the characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$, and $Sp_{2n}(\mathbb{C})$. Explicit conversion formulas between symplectic, orthogonal, and odd orthogonal characters are provided.

Research Background and Motivation

Problem Background

1. Classical group representation theory foundations: The irreducible characters of the general linear group $GL_n(\mathbb{C})$ are Schur functions $s_\lambda(x)$ indexed by partitions $\lambda$, which form an orthogonal basis of the ring of symmetric functions. Skew Schur functions $s_{\lambda/\mu}(x)$ are fundamental tools for studying restrictions to subrepresentations.
2. Classical group characters: The irreducible characters of the classical groups $Sp_{2n}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$, and $SO_{2n+1}(\mathbb{C})$ are called symplectic characters $sp_\lambda(x^{\pm})$, (even) orthogonal characters $o_\lambda(x^{\pm})$, and odd orthogonal characters $so_\lambda(x^{\pm})$, respectively.
3. Current state of research: Baker and Jing-Nie have constructed vertex operator realizations for symplectic and orthogonal characters. The authors previously used vertex algebra methods to derive combinatorial structures for skew symplectic and skew (even) orthogonal characters.

Research Motivation

1. Completing the theoretical framework: Vertex operator realizations for the skew versions of odd orthogonal characters (B type) have not yet been established, necessitating a unified theoretical framework for classical group characters.
2. Interpolating polynomials: There is a need to construct symmetric polynomials that interpolate between characters of different types of classical groups to provide a unified study of their properties.
3. Combinatorial identities: Important combinatorial structures such as Jacobi-Trudi identities, Gelfand-Tsetlin patterns, and Cauchy-type identities need to be established for skew odd orthogonal characters.

Core Contributions

1. Introduction of new vertex operators: Two new vertex operators $U(z)$ and $U^*(z)$ are constructed for odd orthogonal characters $so_\lambda(x^{\pm})$, completing the vertex operator realization for B type.
2. Establishment of combinatorial theory for skew odd orthogonal characters:
   • Derivation of Jacobi-Trudi identities for skew odd orthogonal characters $so_{\lambda/\mu}(x^{\pm})$
   • Establishment of Gelfand-Tsetlin patterns
   • Proof of Cauchy-type identities
3. Construction of three families of interpolating Schur polynomials:
   • BD interpolating polynomials $s^{BD}_\lambda(x;\alpha)$: interpolating between B and D type characters
   • BC interpolating polynomials $s^{BC}_\lambda(x;\alpha)$: interpolating between B and C type characters
   • CD interpolating polynomials $s^{CD}_\lambda(x;\alpha)$: interpolating between C and D type characters
4. Establishment of conversion formulas: Explicit conversion relationships between symplectic, orthogonal, and odd orthogonal characters are provided.
5. Discovery of new determinant identities: Three Toeplitz-Hankel type determinant identities related to Schur functions are established.

Detailed Methodology

Core Vertex Operator Definitions

The paper introduces two key vertex operators based on the Heisenberg algebra:

$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\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)$

Partition Element Construction

For a generalized partition $\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l)$, define:

• $|\lambda^{so}\rangle = U_{-\lambda_1}U_{-\lambda_2} \cdots U_{-\lambda_l}|0\rangle$
• $\langle\lambda^{so}| = \langle 0|U^*_{-\lambda_l} \cdots U^*_{-\lambda_1}$

Semi-vertex Operators

Multiple semi-vertex operators are introduced for different purposes:

• $\Gamma_+(z) = \exp(\sum_{n=1}^{\infty}\frac{a_n}{n}z^n)$
• $\Gamma_-(z) = \exp(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n)$
• $\tilde{\Gamma}_+(z) = \exp(-\sum_{n=1}^{\infty}\frac{a_{2n}}{n}z^n)$

Technical Innovations

1. Generalized Clifford algebra structure: Using the Baker-Campbell-Hausdorff formula, it is proven that vertex operators satisfy the anticommutation relations of a generalized Clifford algebra: $U_iU_j + U_{j+1}U_{i-1} = 0$$U^*_iU^*_j + U^*_{j-1}U^*_{i+1} = 0$$U_iU^*_j + U^*_{j+1}U_{i+1} = \delta_{i,j}$
2. Orthogonality relations: Orthogonality of partition elements is established: $\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}$
3. Matrix element realization: Skew odd orthogonal characters can be expressed as matrix elements of vertex operators: $so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle$

Main Results

Jacobi-Trudi Identity

Theorem 3.1: For generalized partitions $\mu = (\mu_1, \ldots, \mu_l)$ and $\lambda = (\lambda_1, \ldots, \lambda_{l+N})$:

$so_{\lambda/\mu}(x^{\pm}) = \det(a_{ij})_{1\leq i,j\leq l+N}$

where the matrix elements are: