Caracteres ortogonales oblicuos impares y polinomios de Schur interpolantes

Información Básica

• ID del artículo: 2502.15586
• Título: Caracteres ortogonales oblicuos impares y polinomios de Schur interpolantes
• Autores: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye, y apéndice con Xinyu Pan
• Clasificación: math.RT (Teoría de Representaciones), math.CO (Combinatoria), math.QA (Álgebra Cuántica)
• Fecha de publicación: 21 de febrero de 2025 (preimpreso en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2502.15586

Resumen

Este artículo introduce dos operadores de vértice para realizar los caracteres ortogonales oblicuos impares $so_{\lambda/\mu}(x^{\pm})$, y deduce la identidad de Cauchy para caracteres oblicuos mediante determinantes de tipo Toeplitz-Hankel análogos a las funciones de Schur. Este método también proporciona nuevas demostraciones de la identidad de Jacobi-Trudi y los patrones de Gelfand-Tsetlin para $so_{\lambda/\mu}(x^{\pm})$. Además, combinando operadores de vértice asociados con caracteres de tipo C y D con nuevos operadores de vértice asociados con caracteres de tipo B, se obtienen tres familias de polinomios simétricos que interpolan entre los caracteres de $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ y $Sp_{2n}(\mathbb{C})$, proporcionando explícitamente fórmulas de conversión entre caracteres simplécticos y/u ortogonales y caracteres ortogonales impares.

Antecedentes de investigación y motivación

Contexto del problema

1. Fundamentos de la teoría de representaciones de grupos clásicos: Los caracteres de representaciones irreducibles del grupo lineal general $GL_n(\mathbb{C})$ son funciones de Schur $s_\lambda(x)$ indexadas por particiones $\lambda$, que forman una base ortogonal del anillo de funciones simétricas. Las funciones de Schur oblicuas $s_{\lambda/\mu}(x)$ son herramientas fundamentales para estudiar restricciones a subrepresentaciones.
2. Caracteres de grupos clásicos: Los caracteres irreducibles de los grupos clásicos $Sp_{2n}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ y $SO_{2n+1}(\mathbb{C})$ se denominan respectivamente caracteres simplécticos $sp_\lambda(x^{\pm})$, caracteres ortogonales (pares) $o_\lambda(x^{\pm})$ y caracteres ortogonales impares $so_\lambda(x^{\pm})$.
3. Estado actual de la investigación: Baker y Jing-Nie han construido realizaciones de operadores de vértice para caracteres simplécticos y ortogonales. Los autores en trabajos anteriores utilizaron métodos de álgebras de vértices para deducir estructuras combinatorias de caracteres simplécticos oblicuos y caracteres ortogonales (pares) oblicuos.

Motivación de la investigación

1. Perfeccionamiento del marco teórico: La realización de operadores de vértice para la versión oblicua de caracteres ortogonales impares (tipo B) aún no ha sido establecida, siendo necesario perfeccionar el marco teórico unificado para caracteres de grupos clásicos.
2. Polinomios interpolantes: Se requiere construir polinomios simétricos que interpolen entre caracteres de diferentes tipos de grupos clásicos para estudiar unificadamente sus propiedades.
3. Identidades combinatorias: Es necesario establecer para caracteres ortogonales oblicuos impares estructuras combinatorias importantes como la identidad de Jacobi-Trudi, patrones de Gelfand-Tsetlin e identidades de tipo Cauchy.

Contribuciones principales

1. Introducción de nuevos operadores de vértice: Se construyen dos nuevos operadores de vértice $U(z)$ y $U^*(z)$ para caracteres ortogonales impares $so_\lambda(x^{\pm})$, completando la realización de operadores de vértice de tipo B.
2. Establecimiento de la teoría combinatoria de caracteres ortogonales oblicuos impares:
   • Deducción de la identidad de Jacobi-Trudi para caracteres ortogonales oblicuos impares $so_{\lambda/\mu}(x^{\pm})$
   • Establecimiento de patrones de Gelfand-Tsetlin
   • Demostración de identidades de tipo Cauchy
3. Construcción de tres familias de polinomios de Schur interpolantes:
   • Polinomios interpolantes BD $s^{BD}_\lambda(x;\alpha)$: interpolan entre caracteres de tipo B y D
   • Polinomios interpolantes BC $s^{BC}_\lambda(x;\alpha)$: interpolan entre caracteres de tipo B y C
   • Polinomios interpolantes CD $s^{CD}_\lambda(x;\alpha)$: interpolan entre caracteres de tipo C y D
4. Establecimiento de fórmulas de conversión: Se proporcionan explícitamente las relaciones de conversión entre caracteres simplécticos, ortogonales y ortogonales impares.
5. Descubrimiento de nuevas identidades determinantales: Se establecen tres identidades determinantales de tipo Toeplitz-Hankel asociadas con funciones de Schur.

Explicación detallada de métodos

Definición de operadores de vértice centrales

El artículo introduce dos operadores de vértice clave basados en el álgebra de Heisenberg:

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

Construcción de elementos de partición

Para una partición generalizada $\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l)$, se 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}$

Operadores de semivértice

Se introducen múltiples operadores de semivértice para diferentes propósitos:

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

Puntos de innovación técnica

1. Estructura de álgebra de Clifford generalizada: Mediante la fórmula de Baker-Campbell-Hausdorff, se demuestran las relaciones de anticonmutación que satisfacen los operadores de vértice: $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. Relaciones de ortogonalidad: Se establece la ortogonalidad de elementos de partición: $\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}$
3. Realización de elementos matriciales: Los caracteres ortogonales oblicuos impares pueden expresarse como elementos matriciales de operadores de vértice: $so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle$

Resultados principales

Identidad de Jacobi-Trudi

Teorema 3.1: Para particiones generalizadas $\mu = (\mu_1, \ldots, \mu_l)$ y $\lambda = (\lambda_1, \ldots, \lambda_{l+N})$:

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

donde los elementos matriciales son: