[论文解读] Unitary representations of real reductive groups

Jeffrey Adams, Marc van Leeuwen+2 more|arXiv (Cornell University)|Dec 10, 2012

Molecular spectroscopy and chirality被引用 4

一句话总结

本文提出了一种算法，通过在形变过程中追踪不变赫尔米特型的符号变化，结合朗兰兹分类法与酉技巧，计算实李代数群的不可约酉表示。该方法结合了卡兹丹-卢斯蒂格理论与贝林森-伯恩斯坦对詹岑猜想的证明，通过在可约化点处进行符号分析来确定酉性。

ABSTRACT

We present a finite algorithm for computing the set of irreducible unitary representations of a real reductive group G. The Langlands classification, as formulated by Knapp and Zuckerman, exhibits any representation with an invariant Hermitian form as a deformation of one of the unitary representations in Harish-Chandra's Plancherel formula. The behavior of these deformations was determined to a first approximation in the Kazhdan-Lusztig analysis of irreducible characters; more complete information comes from the Beilinson-Bernstein proof of the Jantzen conjectures. The basic idea of our algorithm is to follow the behavior of the signature of the Hermitian form through this deformation, counting changes through singularities of the form at reducibility points. An important technical tool is replacing the classical invariant form (in which the real form of the Lie algebra acts by skew-adjoint operators) by forms in which the compact form of the Lie algebra acts by skew-adjoint operators.

研究动机与目标

• 开发一种系统性算法，用于计算实李代数群的不可约酉表示。
• 解决在朗兰兹分类中确定哪些表示是酉表示的挑战。
• 基于赫尔米特型的形变理论，提供一个计算框架。
• 利用卡兹丹-卢斯蒂格理论与贝林森-伯恩斯坦对詹岑猜想的证明等深刻结果。
• 使用酉技巧，通过用紧致实李代数形式代替实李代数作用，简化赫尔米特型的分析。

提出的方法

• 利用朗兰兹分类法，将具有不变赫尔米特型的表示表示为普朗彻尔公式中酉表示的形变。
• 通过用紧致实李代数形式作用于反对称伴随算子的方式，应用酉技巧替换经典不变赫尔米特型。
• 追踪形变过程中赫尔米特型的符号变化，识别在可约化点处的变化。
• 利用卡兹丹-卢斯蒂格多项式分析不可约特征标，并推断酉性信息。
• 利用贝林森-伯恩斯坦对詹岑猜想的证明，获得形变过程中形式行为的完整信息。
• 结合表示论技巧与几何方法，算法化地计算酉结构。

实验结果

研究问题

• RQ1 如何算法性地确定朗兰兹分类中哪些不可约表示是酉表示？
• RQ2 在朗兰兹系列中，不变赫尔米特型的符号在形变下的行为如何？
• RQ3 可约化点如何影响表示的酉性，以及如何检测这些影响？
• RQ4 酉技巧在何种程度上简化了表示上酉结构的计算？
• RQ5 如何将卡兹丹-卢斯蒂格理论与詹岑猜想的结果相结合，以获得酉表示的完整算法？

主要发现

• 该算法通过追踪赫尔米特型在形变过程中的符号变化，成功计算出不可约酉表示。
• 酉技巧通过用紧致实李代数形式代替实李代数作用，使分析更加可行。
• 在可约化点处的符号变化是酉性的关键指标，且在算法中系统性地被计数。
• 贝林森-伯恩斯坦对詹岑猜想的证明提供了确定完整酉对偶所必需的完备性。
• 该方法通过结合朗兰兹框架与特征理论的深刻结果，实现了对酉表示的完整分类。
• 该算法对所有实李代数群均有效，提供了一种基于表示论的统一计算方法。