[論文レビュー] 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-不変多項式 p に対するカーネル exp(i(p(Y) - (X,Y))) を用いて、コンパクトなリー群 G のリー代数 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 のコンパクトなリー群 G に対して、積分 ∫_g exp(i(p(Y) - (X,Y))) dY が g 上で中程度の成長を示す関数を定義するのはどのような条件下か？
• RQ2 リー代数 g 上の G-不変多項式 p に対するエアリー性は、そのカルタン部分代数 h への制限によって決定できるか？
• RQ3 G = U(n) のとき、リー代数上のエアリー積分を明示的に計算できるか？また、これはコンツェビッチの行列エアリー関数の特別な場合として回復されるか？
• RQ4 この文脈において、測度の径数部のフーリエ変換とウェイの特徴関数公式の間にはどのような関係があるか？
• RQ5 ウェイ群の作用および符号関数 ε(s) は、エアリー積分の最終的な公式にどのように現れるか？

主な発見

• コンパクトなリー群 G のリー代数上の不変多項式 p がエアリー性を有するための必要十分条件は、そのカルタン部分代数 h への制限がエアリー性を有することである。
• 対応する径数部が h 上で成長条件を満たすならば、g 上のエアリー積分は中程度の成長を示す整関数である。
• u(n) 上でのエアリー積分の明示的公式は、|W|^{-1}(π,π)∑_{s∈W} ε(s)e^{(sH,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')} に比例することを示し、ウェイ群がエアリー積分の構造において果たす役割を確立する。