[論文レビュー] Hypergeometric functions on reductive groups

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

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

ひとこと要約

この論文は、代数的トーラスを任意の再帰的群 H に置き換え、集合 A からの既約表現の行列係数の空間上で関数を定義することにより、古典的な A-超幾何関数を一般化する。variety 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 が構成した X_A と呼ばれる H のコンパクト化の幾何学と、これらの一般化された関数の性質を関連付けること。
• H 内のサイクルを用いた積分により、オイラー型積分表現を構築すること。
• 部分群に沿ったデルタ関数の展開と項ごとのフーリエ変換を通じて、超幾何級数の類似物を構成すること。

提案手法

• トーラスの特徴格子を再帰的群 H の既約表現の集合に置き換えることで、A-超幾何系を一般化する。
• A に属する表現の行列要素の線型包として定義される関数空間 M_A を導入し、一般化された超幾何関数の定義域とする。
• H の群コンパクト化である代数的多様体 X_A を用いて、この系の幾何学的およびコhomologicalな性質を研究する。
• H 内のホモロジー・サイクルを用いた積分により、オイラー積分表現を構成し、古典的なオイラー型積分を非可換設定に一般化する。
• 部分群に台を持つデルタ関数をべき級数に展開し、各項に対してフーリエ変換を逐次適用することで、超幾何級数の類似物を生成する。
• 再帰的群上の表現論および調和解析を活用し、得られる関数の収束性および正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的な A-超幾何系は、トーラスから再帰的群へどのように一般化できるか？
• RQ2 再帰的群 H の既約表現の集合に関連する多様体 X_A の幾何的意味は何か？
• RQ3 再帰的群上の超幾何関数に対して、オイラー型積分表現はどのように構成できるか？
• RQ4 部分群に沿ったデルタ関数のフーリエ変換が、一般化された超幾何級数を生成する役割を果たすのはなぜか？
• RQ5 一般化された関数の解析的および代数的性質は、コンパクト化 X_A の構造とどのように関係するか？

主な発見

• 一般化された超幾何関数は、再帰的群 H の既約表現の行列係数の空間 M_A 上に定義され、古典的なトーラスに基づく理論を拡張する。
• この系の性質は、De Concini と Procesi の研究に基づき得られる群コンパクト化 X_A の幾何学と本質的に関連している。
• オイラー積分表現は、H 内のサイクルを用いた積分により構成され、古典的な積分公式が非可換設定に一般化される。
• デルタ関数を部分群に沿ってべき級数に展開し、各項に対してフーリエ変換を適用することで、超幾何級数の類似物が生成される。
• 得られる関数は、表現論、代数幾何学、特殊関数の間で豊かな相互作用を示し、X_A の構造と深い関係を持つ。
• この理論は、非可換な文脈における超幾何関数を統一的に扱うフレームワークを提供し、ミラー対称性や可積分系への応用が期待される。