[论文解读] Hypergeometric functions on reductive groups

Mikhail Kapranov|arXiv (Cornell University)|Nov 10, 1997

Advanced Algebra and Geometry参考文献 20被引用 11

一句话总结

本文通过将代数环面替换为任意半单群 H，并在不可约表示的矩阵系数空间上定义函数，推广了经典的 A-超几何函数。该研究通过代数簇 X_A 建立了与群紧化的几何联系，发展了在 H 中闭链上的欧拉积分表示，并通过沿子群的狄拉克函数的傅里叶变换构造了超几何级数的类比，将理论扩展至非交换设置，与代数几何和表示论有深刻联系。

ABSTRACT

The A-hypergeometric system studied by I.M. Gelfand, M.I. Graev, A.V. Zelevinsky and the author, is defined for a set A of characters of an algebraic torus. In this paper we propose a generalization of the theory where the torus is replaced by an arbitrary reductive group H and A is a set of irreducible representations of H. The functions are thus defined on the space M_A of functions on H spanned by the matrix elements of representations from A. The properties of the system are related to the geometry of a certain algebraic variety X_A, which belongs to the class of group compactifications studied by De Concini and Procesi. We develop the theory of Euler integral representations for these generalized hypergeometric functions (with integrals taken over cycles in H). We also construct the analogs of hypergeometric series, by expanding the delta-function along a subgroup into a power series and taking the termwise Fourier transform.

研究动机与目标

• 将最初定义在代数环面上的经典 A-超几何函数理论推广至半单群的设定。
• 在半单群 H 的不可约表示的矩阵系数空间上定义超几何函数。
• 将这些广义函数的性质与 De Concini 和 Procesi 构造的 H 的紧化空间 X_A 的几何联系起来。
• 通过 H 中的闭链积分，为这些函数发展欧拉积分表示。
• 通过沿子群展开狄拉克函数并逐项进行傅里叶变换，构造超几何级数的类比。

提出的方法

• 通过将环面的特征格替换为半单群 H 的不可约表示集合，推广 A-超几何系统。
• 将函数空间 M_A 定义为 A 中表示的矩阵元的张成空间，构成广义超几何函数的定义域。
• 利用代数簇 X_A，即 H 的群紧化，研究该系统的几何与上同调性质。
• 通过在 H 中的同调闭链上积分，构造欧拉积分表示，将经典欧拉型积分推广至非阿贝尔情形。
• 将支撑在子群上的狄拉克函数展开为幂级数，并逐项应用傅里叶变换，以生成超几何级数的类比。
• 利用半单群上的表示理论与调和分析，确保所得函数的收敛性与解析性。

实验结果

研究问题

• RQ1 如何将经典 A-超几何系统从环面推广至半单群？
• RQ2 与半单群 H 的不可约表示集合相关联的代数簇 X_A 具有何种几何意义？
• RQ3 如何为半单群上的超几何函数构造欧拉型积分表示？
• RQ4 沿子群的狄拉克函数的傅里叶变换在生成广义超几何级数中起何作用？
• RQ5 广义函数的解析性质与代数性质如何与群紧化 X_A 的结构相关联？

主要发现

• 广义超几何函数定义在半单群 H 的不可约表示的矩阵系数空间 M_A 上，扩展了基于环面的经典理论。
• 该系统性质与 De Concini 和 Procesi 所构造的群紧化 X_A 的几何结构密切相关。
• 通过在 H 中的闭链上积分，构造了欧拉积分表示，将经典积分公式推广至非阿贝尔情形。
• 通过将沿子群的狄拉克函数展开为幂级数并逐项应用傅里叶变换，生成了超几何级数的类比。
• 所得函数在表示理论、代数几何与特殊函数之间展现出丰富的相互作用，与 X_A 的结构有深刻联系。
• 该理论为非阿贝尔情形下的超几何函数提供了一个统一框架，具有在镜像对称与可积系统中应用的潜力。