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

Косые нечетные ортогональные характеры и интерполирующие многочлены Шура

Основная информация

  • ID статьи: 2502.15586
  • Название: Skew odd orthogonal characters and interpolating Schur polynomials
  • Авторы: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye, и приложение с Xinyu Pan
  • Классификация: math.RT (Теория представлений), math.CO (Комбинаторика), math.QA (Квантовая алгебра)
  • Дата публикации: 21 февраля 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2502.15586

Аннотация

В данной работе вводятся два вершинных оператора для реализации косых нечетных ортогональных характеров soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}) и выводятся тождества Коши для косых характеров через определители типа Тёплица-Ганкеля, аналогичные функциям Шура. Этот метод также обеспечивает новые доказательства тождеств Якоби-Труди и паттернов Гельфанда-Цетлина для soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}). Кроме того, путем комбинирования вершинных операторов, связанных с характерами типов C и D, и новых вершинных операторов, связанных с характерами типа B, получены три семейства симметрических многочленов, которые интерполируют между характерами групп SO2n+1(C)SO_{2n+1}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) и Sp2n(C)Sp_{2n}(\mathbb{C}), и явно даны формулы преобразования между симплектическими и/или ортогональными характерами и нечетными ортогональными характерами.

Исследовательский контекст и мотивация

Предпосылки проблемы

  1. Основы теории представлений классических групп: Неприводимые характеры общей линейной группы GLn(C)GL_n(\mathbb{C}) индексируются разбиениями λ\lambda и задаются функциями Шура sλ(x)s_\lambda(x), которые образуют ортогональный базис кольца симметрических функций. Косые функции Шура sλ/μ(x)s_{\lambda/\mu}(x) являются фундаментальным инструментом при изучении ограничений на подпредставления.
  2. Характеры классических групп: Неприводимые характеры классических групп Sp2n(C)Sp_{2n}(\mathbb{C}), SO2n(C)SO_{2n}(\mathbb{C}) и SO2n+1(C)SO_{2n+1}(\mathbb{C}) называются соответственно симплектическими характерами spλ(x±)sp_\lambda(x^{\pm}), (четными) ортогональными характерами oλ(x±)o_\lambda(x^{\pm}) и нечетными ортогональными характерами soλ(x±)so_\lambda(x^{\pm}).
  3. Современное состояние исследований: Бейкер и Цзин-Ни построили реализации вершинных операторов для симплектических и ортогональных характеров. Авторы в своих предыдущих работах использовали методы вершинной алгебры для вывода комбинаторных структур косых симплектических и косых (четных) ортогональных характеров.

Исследовательская мотивация

  1. Совершенствование теоретической системы: Реализация вершинных операторов для косых версий нечетных ортогональных характеров (типа B) еще не установлена, необходимо совершенствование унифицированной теоретической базы для характеров классических групп.
  2. Интерполирующие многочлены: Требуется построение симметрических многочленов, интерполирующих между характерами различных типов классических групп для унифицированного изучения их свойств.
  3. Комбинаторные тождества: Необходимо установить важные комбинаторные структуры для косых нечетных ортогональных характеров, включая тождества Якоби-Труди, паттерны Гельфанда-Цетлина и тождества типа Коши.

Основные вклады

  1. Введение новых вершинных операторов: Построены два новых вершинных оператора U(z)U(z) и U∗(z)U^*(z) для нечетных ортогональных характеров soλ(x±)so_\lambda(x^{\pm}), завершена реализация вершинных операторов типа B.
  2. Установление комбинаторной теории косых нечетных ортогональных характеров:
    • Выведены тождества Якоби-Труди для soλ/μ(x±)so_{\lambda/\mu}(x^{\pm})
    • Установлены паттерны Гельфанда-Цетлина
    • Доказаны тождества типа Коши
  3. Конструирование трех семейств интерполирующих многочленов Шура:
    • BD-интерполирующие многочлены sλBD(x;α)s^{BD}_\lambda(x;\alpha): интерполяция между характерами типов B и D
    • BC-интерполирующие многочлены sλBC(x;α)s^{BC}_\lambda(x;\alpha): интерполяция между характерами типов B и C
    • CD-интерполирующие многочлены sλCD(x;α)s^{CD}_\lambda(x;\alpha): интерполяция между характерами типов C и D
  4. Установление формул преобразования: Явно даны соотношения преобразования между симплектическими, ортогональными и нечетными ортогональными характерами.
  5. Открытие новых определительных тождеств: Установлены три определительных тождества типа Тёплица-Ганкеля, связанные с функциями Шура.

Подробное описание методов

Определение основных вершинных операторов

В статье вводятся два ключевых вершинных оператора, основанные на алгебре Гейзенберга:

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)

Конструирование элементов разбиений

Для обобщенного разбиения λ=(λ1,λ2,…,λl)\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l) определяются:

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

Полувершинные операторы

Вводятся несколько полувершинных операторов для различных целей:

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

Технические инновации

  1. Обобщенная структура алгебры Клиффорда: Посредством формулы Бейкера-Кэмпбелла-Хаусдорфа доказано, что вершинные операторы удовлетворяют антикоммутационным соотношениям обобщенной алгебры Клиффорда: 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. Соотношения ортогональности: Установлена ортогональность элементов разбиений: ⟨μso∣λso⟩=δλμ\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}
  3. Реализация матричных элементов: Косые нечетные ортогональные характеры представляются как матричные элементы вершинных операторов: soλ/μ(x±)=⟨μso∣Γ+(x±)∣λso⟩so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle

Основные результаты

Тождество Якоби-Труди

Теорема 3.1: Для обобщенного разбиения μ=(μ1,…,μl)\mu = (\mu_1, \ldots, \mu_l) и λ=(λ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}

где матричные элементы задаются как:

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}$$ ### Паттерны Гельфанда-Цетлина **Теорема 3.5**: Для разбиения $\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}|}$$ где разбиения $z^k$ удовлетворяют условиям чередования паттернов Гельфанда-Цетлина для нечетных ортогональных характеров. ### Тождества типа Коши **Предложение 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)}$$ ### Соотношения преобразования интерполирующих многочленов 1. **BD-интерполяция**: $s^{BD}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BD}_\lambda(x;1) = o_\lambda(x^{\pm})$ 2. **BC-интерполяция**: $s^{BC}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BC}_\lambda(x;-1) = sp_\lambda(x^{\pm})$ 3. **CD-интерполяция**: $s^{CD}_\lambda(x;0) = sp_\lambda(x^{\pm})$, $s^{CD}_\lambda(x;1) = o_\lambda(x^{\pm})$ ### Формулы преобразования между характерами классических групп **Теорема 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})$$ где $\varepsilon = (\varepsilon_1, \ldots, \varepsilon_N)$, $\varepsilon_i \in \{0,1\}$. ## Теоретическое значение и приложения ### Совершенствование теории симметрических функций Данная работа завершает систему теории вершинных операторов для характеров классических групп и обеспечивает унифицированную алгебраическую структуру для теории симметрических функций. ### Определители типа Тёплица-Ганкеля **Теорема 3.12** устанавливает три важных определительных тождества, представляющих функции Шура как определители типа Тёплица-Ганкеля, что имеет значительное значение в комбинаторной математике и теории случайных матриц. ### Развитие теории интерполяции Три семейства интерполирующих многочленов предоставляют мощный инструмент для изучения соотношений между характерами различных типов классических групп, обобщая интерполирующие многочлены CB и DB, полученные Бизи-Зигурасом. ## Связанные работы ### Историческое развитие 1. **Теория функций Шура**: Классическая теория, установленная Вейлем, Литтлвудом-Ричардсоном и другими 2. **Метод вершинных операторов**: Цзин впервые применил вершинные операторы к исследованию симметрических функций 3. **Характеры классических групп**: Бейкер, Цзин-Ни установили реализации вершинных операторов для типов C и D 4. **Косые функции**: Предыдущие работы авторов установили теорию косых симплектических и ортогональных характеров ### Связь с современными исследованиями Результаты данной работы согласуются с формулами двойственных Якоби-Труди, полученными Албионом и др. методом решеточных путей, что подтверждает эквивалентность различных подходов. ## Технические детали и инновации ### Полное дуальное пространство $\tilde{M}^*$ Для обработки обобщенных разбиений, содержащих нулевые части, введено полное дуальное пространство $\tilde{M}^*$, что является важной технической инновацией. ### Применение формулы БХК Искусное применение формулы Бейкера-Кэмпбелла-Хаусдорфа для установления коммутационных соотношений между вершинными операторами является ключевой технической основой доказательства различных тождеств. ### Унифицированность определительного представления Все комбинаторные тождества могут быть унифицированно представлены в виде определителей некоторой формы, что отражает глубокую алгебраическую структуру. ## Ограничения и направления будущих исследований ### Текущие ограничения 1. **Вычислительная сложность**: Для больших разбиений вычисление определителей имеет высокую сложность 2. **Степень обобщения**: В настоящее время результаты ограничены классическими группами, обобщение на исключительные группы еще не рассмотрено 3. **Область применения**: Применение в конкретных физических или инженерных задачах требует дальнейшего исследования ### Направления будущих исследований 1. **Обобщение на квантовые группы**: Распространение результатов на квантовые группы и аффинные алгебры Ли 2. **Эллиптическое обобщение**: Исследование аналогичной теории для эллиптических функций Шура 3. **Комбинаторные приложения**: Поиск дополнительных приложений в перечислительной комбинаторике 4. **Вычислительные алгоритмы**: Разработка эффективных численных методов ## Глубокая оценка ### Достоинства 1. **Теоретическая полнота**: Завершена последняя часть теории вершинных операторов для характеров классических групп 2. **Методологическая инновация**: Метод вершинных операторов демонстрирует мощь при работе с косыми функциями 3. **Богатство результатов**: Одновременно установлены многочисленные важные комбинаторные тождества 4. **Унифицированность**: Предоставлена унифицированная теоретическая база для характеров различных типов классических групп ### Технические вклады 1. **Новые вершинные операторы**: Конструирование $U(z)$ и $U^*(z)$ является оригинальным 2. **Интерполирующие многочлены**: Конструирование трех семейств интерполирующих многочленов является остроумным и естественным 3. **Формулы преобразования**: Явные соотношения преобразования обеспечивают удобство применения ### Оценка влияния 1. **Академическая ценность**: Имеет важное значение в теории представлений, комбинаторной математике и теории симметрических функций 2. **Методологическое значение**: Дальнейшее развитие и совершенствование метода вершинных операторов 3. **Основа для последующих исследований**: Обеспечивает важную основу для последующих исследований в смежных областях ### Качество техники Математические рассуждения в статье строги, доказательства полны, техническая обработка детальна. Особенно заслуживают похвалы технические инновации при работе с обобщенными разбиениями и полным дуальным пространством. ## Заключение Данная работа путем введения новых вершинных операторов успешно установила полную теорию косых нечетных ортогональных характеров, включая тождества Якоби-Труди, паттерны Гельфанда-Цетлина и тождества типа Коши. Более важно, что путем конструирования трех семейств интерполирующих многочленов обеспечена унифицированная база для преобразования между характерами классических групп. Эта работа не только совершенствует теорию симметрических функций, но и закладывает важную основу для последующих исследований в смежных областях. Статья имеет высокий технический уровень, богатые результаты и делает важные вклады на пересечении теории представлений и комбинаторной математики. Хотя в вычислительной сложности и области применения есть место для улучшения, ее теоретическая ценность и методологическое значение являются значительными.