[論文レビュー] On finitization of the Gordon identities

Boris Feigin, S. Loktev|arXiv (Cornell University)|Jun 29, 2000

Advanced Combinatorial Mathematics参考文献 3被引用数 10

ひとこと要約

この論文は、アフィン・グラスマンニアンとアフィンリ Lie 代数の不変理論を用いた幾何的構成を通じて、アンドリュース–ゴードン恒等式の一般化を証明する。コインvariant 空間のヒルベルト級数をトーラス固定点を用いて計算することで、レベル $k$ の整型表現の特性の明示的積公式を導出し、$N$、$k$、$l$、$r$ の偶奇およびパラメータ条件に依存する主要な結果を得ている。本研究は表現論と多面体およびフラッグ多様体の幾何学を結びつける。

ABSTRACT

In this paper we prove the identity that generalizes the Andrews-Gordon identity. Also we discuss the relation of our formula to the geometry of affine flag varieties and to the geometry of polyhedra.

研究の動機と目的

• アフィンリ代数の文脈において、幾何表現論を用いてゴードン恒等式の有限化バージョンを構成することで、アンドリュース–ゴードン恒等式を一般化すること。
• $\mathcal{M}_N$ の商多様体の座標環を、$\widehat{n}_N$ の作用下での双対コインヴァリアント空間 $D_N(k)^*$ の直和として記述すること。
• これらのコインヴァリアント空間のヒルベルト級数 $d_N(k;l,r;q,z)$ を、代数的（ゴードンフィルトレーション）および幾何的（正則リーマン・トレース公式）の二つの方法で計算すること。
• ヒルベルト級数と $\mathcal{M}_N$ 上のトーラス固定点からの寄与の間の明確な対応を確立し、特に $N$ の偶奇および $l$、$r$、$k$ 間の不等式に基づくケースの区別を行うこと。
• 奇数の $N$ の場合に、特異点の寄与について閉形式の表現を予想し、多項式分子をもつ有理関数と関連付けること。

提案手法

• $\mathcal{M}_N$ を、アフィン・グラスマンニアン $Gr$ 内の $\widehat{\mathcal{N}}$-軌道閉包 $\mathcal{M}$ を $\widehat{\mathcal{N}}_N$ の作用で割ったものとして定義し、$\widehat{n}_N$-不変量に対応させる。
• $\mathcal{M}_N$ の座標環を $\bigoplus_k D_N(k)^*$ として実現し、ここで $D_N(k)^*$ はコインヴァリアント空間 $D(k)\big/\widehat{n}_N D(k)$ の双対である。
• $D_N(k)^*$ の関数的実現を、$t_1\cdots t_m$ で割り切れる対称多項式の空間として、かつ $t_1=\cdots=t_{k+1}$ のとき消えるものとし、対称化された積則を用いる。
• 正則リーマン・トレース公式を適用して、トーラス固定点 $x_{m,n}$ からの寄与を用いてヒルベルト級数 $d_N(k;l,r;q,z)$ を計算する。ここで $m,n \in \mathbb{Z}_{\geq 0}$ で $m+n \leq N/2$ を満たす。
• 恒等式 $d^{m,n}_N(k,l,r;q,z) = d^{m,n}_N(k,l,r-1;q,z) + (q^N z)^r d^{m,n-1}_{N-1}(k,l,k-r;q,z)$ を用いて $d^e_N$ および $d^o_N$ の再帰的関係を導出し、境界ケースを分析する。
• 数学的帰納法を用いて主定理を証明する。$d^{m,n}_N$ 項の消滅に関する補題と、$e_i \mapsto e_{N-i+1}$ における対称性を用い、$N$ の偶奇および $l$、$r$、$k$ 間の不等式に基づくケースの区別を行う。

実験結果

リサーチクエスチョン

• RQ1 アフィンリ代数の文脈において、幾何的および代数的手段を用いてゴードン恒等式をどのように有限化できるか？
• RQ2 コインヴァリアント空間 $D_N(k)$ のヒルベルト級数 $d_N(k;l,r;q,z)$ の明確な構造は何か？パラメータ $N$、$k$、$l$、$r$ にどのように依存するか？
• RQ3 $\mathcal{M}_N$ 上のトーラス固定点からの寄与が、全ヒルベルト級数をどのように決定するか？また、正則リーマン公式はこの計算においてどのような役割を果たすか？
• RQ4 奇数の $N$ の場合に、$\mathcal{M}_N$ 上の特異点からの寄与は何か？そして、多項式分子をもつ有理関数として閉形式で表せるか？
• RQ5 偶数番号と奇数番号の固定点 $x_{m,n}$ からの寄与は、どのような条件下で一致または相違を示し、最終的な特性公式にどのように影響を与えるか？

主な発見

• 奇数の $N$ に対して、$l \geq r$ のときヒルベルト級数 $d_N(k;l,r;q,z)$ は $d^e_N(k,l,r;q,z)$ に等しく、$l \leq r$ のときは $d^o_N(k,l,r;q,z)$ に等しくなる。これは偶奇に依存する双対性を確立する。
• 偶数の $N$ に対しては、$l+r \leq k$ のとき $d_N(k;l,r;q,z) = d^o_N(k,l,r;q,z)$、$l+r \geq k$ のときは $d_N(k;l,r;q,z) = d^e_N(k,l,r;q,z)$ となる。$l+r=k$ における段階的転移が観察される。
• $l=r=k$ のとき、固定点 $M_{2m-i,2n-j}$（$i,j=0,1$）からの寄与が一つの頂点 $M'_{m,n}$ に統合され、その結果得られる級数は $q$ および $z$ の明示的積公式をもつ有理関数として与えられる。
• 奇数の $N$ の場合、特異点からの寄与は $d_{M'} = \frac{P_N(q,z)}{\prod_{i=1}^N (1 - q^{-i} z^{-1})}$ であり、ここで $P_N(q,z)$ は多項式である。これは特異点寄与の構造に関する予想を支持する。
• $l+r=k$ のとき、恒等式 $\sum_{m+n=N} (-1)^m d^{m,N-m}_{2N}(k,a,k-a;q,z) = 0$ が成り立ち、偶数および奇数の寄与がこの対称的状況で相殺されることを示す。
• 再帰式 $d^e_N(k,l,r;q,z) = d^e_N(k,l,r-1;q,z) + (q^N z)^r d^e_{N-1}(k,l,k-r;q,z)$ を用いることで、級数の帰納的計算が可能となり、負の $r$ に対する消滅条件により基本ケースが定まる。