[论文解读] Airy Functions for Compact Lie Groups

Rahul N. Fernandez, V. S. Varadarajan|ArXiv.org|Jul 21, 2007

Advanced Topics in Algebra参考文献 7被引用 4

一句话总结

本文将康采维奇的矩阵艾尔米特函数推广至任意连通紧致李群的李代数上的积分，采用群不变的指数核。本文建立了此类积分定义中等增长整函数的充分条件，证明了若一个不变多项式在其卡坦子代数上的限制具有艾尔米特性质，则该多项式本身也具有艾尔米特性质，并推导出显式公式，这些公式在酉群情形下可恢复康采维奇的结果作为特例。

ABSTRACT

The classical Airy function has been generalised by Kontsevich to a function of a matrix argument, which is an integral over the space of (skew) hermitian matrices of a unitary-invariant exponential kernel. In this paper, the Kontsevich integral is generalised to integrals over the Lie algebra of an arbitrary connected compact Lie group, using exponential kernels invariant under the group. The (real) polynomial defining this kernel is said to have the Airy property if the integral defines a function of moderate growth. A general sufficient criterion for a polynomial to have the Airy property is given. It is shown that an invariant polynomial on the Lie algebra has the Airy property if its restriction to a Cartan subalgebra has the Airy property. This result is used to evaluate these invariant integrals completely and explicitly on the hermitian matrices, obtaining formulae that contain those of Kontsevich as special cases.

研究动机与目标

• 将康采维奇的矩阵艾尔米特积分推广至任意连通紧致李群G的李代数上的积分。
• 在紧致李群G的李代数上使用G-不变指数核定义艾尔米特积分。
• 建立此类积分定义为中等增长整函数的充分条件。
• 证明李代数上多项式的艾尔米特性质由其在卡坦子代数上的限制决定。
• 在酉群U(n)上显式计算这些积分，并恢复康采维奇的结果作为特例。

提出的方法

• 将康采维奇积分推广至紧致李群G的李代数g上的积分，使用核exp(i(p(Y) - (X,Y)))，其中p为G-不变多项式。
• 将艾尔米特性质定义为积分结果为中等增长函数的条件。
• 应用哈里什-钱德拉的径向部分理论及李代数上的傅里叶变换，将问题约化至卡坦子代数。
• 利用微分方程ΔA + tr(X)A = 0的解空间由形如e^{(sH, H')}的函数张成的性质，刻画该积分。
• 应用外尔积分公式，并通过外尔群作用刻画径向部分的傅里叶变换。
• 利用恒等式π(H)π(H')∫_G e^{(H^x, H')} dx = |W|^{-1}(π,π)∑_{s∈W} ε(s)e^{(sH,H')}推导最终公式。

实验结果

研究问题

• RQ1 在何种条件下，积分∫_g exp(i(p(Y) - (X,Y))) dY 在紧致李群G的李代数g上定义为中等增长函数？
• RQ2 能否由其在卡坦子代数h上的限制确定g上G-不变多项式p的艾尔米特性质？
• RQ3 当G = U(n)时，如何显式计算g上的艾尔米特积分？其是否可作为特例恢复康采维奇的矩阵艾尔米特函数？
• RQ4 在此背景下，测度径向部分的傅里叶变换与外尔特征公式之间有何关系？
• RQ5 外尔群作用及符号特征ε(s)如何在艾尔米特积分的最终公式中体现？

主要发现

• 紧致李群G的李代数上一个不变多项式p具有艾尔米特性质，当且仅当其在卡坦子代数h上的限制具有艾尔米特性质。
• 若径向部分在h上满足增长条件，则g上的艾尔米特积分为中等增长整函数。
• u(n)上艾尔米特积分的显式公式为|W|^{-1}(π,π)∑_{s∈W} ε(s)e^{(sH,H')}，其中H,H'属于卡坦子代数，该公式推广了康采维奇的结果。
• 测度径向部分的傅里叶变换满足φ_{f̂} = i^r ŝφ_f，其中r为李代数的秩。
• 积分公式∫_g f(X)dX = (π,π)^{-1}∫_h π(H)φ_f(H)dH成立，将g上的积分与卡坦子代数上的积分联系起来。
• 证明了核∫_G e^{(H^x, H')} dx与∑_{s∈W} ε(s)e^{(sH,H')}成比例，确立了外尔群在外尔米特积分结构中的作用。