[論文レビュー] Dimension of zero weight space: An algebro-geometric approach

Shrawan Kumar, Dipendra Prasad|arXiv (Cornell University)|Apr 15, 2013

Advanced Algebra and Geometry参考文献 4被引用数 1

ひとこと要約

この論文は、複素数体上の連結でアドジョイントで単純な代数的群の既約表現における0重み空間の次元が、支配的整数重みの錐上で、各部分がGITチャネル上に定義された、区分的多項式関数であることを確立する。幾何的不変式論と特異多様体のリーマン–ロッホ定理を用いて、適切な格子平行移動の後、各チャネル上でこの次元関数が多項式的であることを示し、A₂、B₂、A₃のタイプについて、分岐則を用いて明示的な多項式を計算する。

ABSTRACT

Abstract Let G be a connected, adjoint, simple algebraic group over the complex numbers with a maximal torus T and a Borel subgroup B containing T. The study of zero weight spaces in irreducible representations of G has been a topic of considerable interest; there are many works which study the zero weight space as a representation space for the Weyl group. In this paper, we study the variation on the dimension of the zero weight space as the highest weight of the irreducible representation varies over the set of dominant integral weights of T, which are lattice points in a certain polyhedral cone. The theorem proved here asserts that the zero weight spaces have dimensions which are piecewise quasi-polynomial functions on the polyhedral cone of dominant integral weights.The main tool we use are the Geometric Invariant Theory and the Riemann–Roch theorem.

研究の動機と目的

• 最高重みが支配的整数重みの錐を走る際、単純代数的群の既約表現における0重み空間次元の変動を理解すること。
• この次元関数が、支配的重みの錐上でGITチャネルに沿って区分的多項式的であることを確立すること。
• A₂、B₂、A₃といった低ランク群における0重み空間次元の明示的区分的多項式表現を、分岐則を用いて計算すること。
• GIT商とリフレクシブ層を用いた代数的幾何的枠組みを提供し、多項式的挙動を導出すること。
• 結果をシンプレクティック幾何学的手法と比較し、特にT不変部分空間の文脈で、本手法がより鋭い結果をもたらすことを示すこと。

提案手法

• 最大トーラスTを用いて、旗多様体G/BのGIT商上のリフレクシブ層のオイラー＝ポワンカレ特性として0重み空間次元を実現する。
• 特異多様体のリーマン–ロッホ定理を適用して、このオイラー＝ポワンカレ特性を計算し、多項式表現を得る。
• G/BからGIT商への同型線束の降下を用いて、この層と表現論的データを関連付ける。
• GITチャネルを、ウェイル群と基本重みによって定義される有限個の超平面の和集合の補集合の連結成分として特定する。
• 特に根格子Qの部分格子Γ ⊂ Qを用い、各コセットµ + Γ上で多項式的挙動が成り立つように定義する。
• GL(n)表現の既知の分岐則を用いて、A₂、B₂、A₃について明示的に多項式を計算する。

実験結果

リサーチクエスチョン

• RQ1 単純代数的群の既約表現における0重み空間次元は、支配的重みの錐上で区分的多項式関数か？
• RQ2 GITと特異多様体のリーマン–ロッホ定理といった代数的幾何的道具を用いて、区分的多項式構造を導出可能か？
• RQ3 各GITチャネルにおける多項式の正確な形は何か？また、チャネル間でどのように変化するか？
• RQ4 結果はシンプレクティック幾何学的手法とどのように比較できるか？特にT不変部分空間の文脈で。
• RQ5 この手法を用いて、再帰的部分群Hの任意の固定重み空間またはH不変部分空間の次元を計算可能か？

主な発見

• 0重み空間次元は、支配的整数重みの錐上で、各部分がGITチャネル上に定義された区分的多項式関数である。
• 各チャネルCkと根格子Qの各コセットµ + Γに対して、次元関数µ0(λ)は、次元がdim X − ℓ未満の多項式fµ,k(λ)に等しい。ここでX = G/Bである。
• 多項式fΓ,kの定数項は1であり、これは旗多様体の幾何学的性質に関連する正規化条件を示している。
• GL(4)に対して、0重み空間次元d(λ₁,λ₂,λ₃,λ₄)はλ₁,λ₂,λ₃に関する区分的多項式として計算され、λ₄ = −(λ₁+λ₂+λ₃)を用いて表される。6つのケースに分けられ、λ₁+λ₄および2λ₂+λ₃の符号条件に基づく。
• 同じ多項式表現がケースIIIとIV、およびケースVとVIにおいてそれぞれ共通しており、異なる積分領域にもかかわらず、非自明なキャンセレーションと対称性が現れている。
• 境界において多項式が常に同一でないため、区分的構造は本質的であり、全体的に単一の多項式に簡略化できないことが示された。