[論文レビュー] Equivariant maps between Calogero-Moser spaces

George Wilson|arXiv (Cornell University)|Sep 19, 2010

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

ひとこと要約

本稿は、Weyl代数の非巡回右イデアル類の空間と、Calogero-Moser多様体の直和集合との間の、唯一の $G$--equivariantな双対写像が、Weyl代数の自己同型群 $G$ による同変性によって完全に決定されることを確立している。主な結果は、$n \neq m$ のとき、異なるCalogero-Moser空間 $\mathcal{C}_n$ と $\mathcal{C}_m$ の間には非自明な $G$-equivariantな写像が存在しないこと、および各 $\mathcal{C}_n$ の唯一の $G$-equivariant自己写像は恒等写像であるということである。

ABSTRACT

This is a footnote to earlier joint work with Yu. Berest, which constructed a bijection between the space of ideal classes of the Weyl algebra and a union of Calogero-Moser varieties. A key property of this bijection is that it is equivariant with respect to the action of the automorphism group of the Weyl algebra: the main result of the present note is that it is uniquely determined by that property.

研究の動機と目的

• Weyl代数の非巡回右イデアル類の空間と、Calogero-Moser多様体の直和集合との間の $G$-同変双対写像の一意性を確立すること。
• そのような双対写像が、Weyl代数の自己同型群 $G$ による同変性によって一意に決定されることを示すこと。
• $n \neq m$ のとき、異なるCalogero-Moser空間 $\mathcal{C}_n$ と $\mathcal{C}_m$ の間には非自明な $G$-同変写像が存在しないことを証明すること。
• $\mathcal{C}_n$ の唯一の $G$-同変自己写像が恒等写像であることを示すこと。
• 点 $\mathcal{C}_n$ 内の固定部分群が、$G$ におけるその正規化子と一致することを確認し、Staffordの予想を解決すること。

提案手法

• Weyl代数の自己同型群 $G$ の作用を、イデアル類空間 $\mathcal{R}$ およびCalogero-Moser多様体 $\mathcal{C}_n$ に、行列変換 $\Phi_p(X,Y) = (X + p(Y), Y)$ および $\Psi_q(X,Y) = (X, Y + q(X))$ を通じて定義する。
• $G$-同変写像の解析に線型代数的手法を適用し、特にこのような写像下での固有値制約に注目する。
• 重要な補題を用いる：$G$-写像 $f: \mathcal{C}_n \to \mathcal{C}_m$ が点を対角化可能な行列 $P$ に写すならば、$P$ のすべての固有値は、元の行列 $X$ の固有値に含まれる。
• Weyl代数生成子 $x$ および $y$ の固定部分群 $\Gamma$ と $\Gamma'$ の構造を用いて、特定の行列対への $G$-写像の作用を分析する。
• $\Phi_p$ および $\Psi_q$ の自己同型を用いた共役作用の議論により、非恒等な $G$-写像が $\mathcal{C}_n$ の軌道構造を保存できないことを示す。
• 群論的性質に着目して、一意性条件を再定式化する：$\mathcal{C}_n$ の任意の点の固定部分群は、$G$ におけるその正規化子と一致する。このことは、異なる軌道間や自己写像に対して非自明な $G$-写像が存在しないことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 Weyl代数のイデアル類とCalogero-Moser多様体との間の $G$-同変双対写像は、$G$ による同変性によって一意に決定されるか？
• RQ2 $n \neq m$ のとき、$\mathcal{C}_n$ から $\mathcal{C}_m$ への非自明な $G$-同変写像が存在しうるか？
• RQ3 $\mathcal{C}_n$ の唯一の $G$-同変自己写像は恒等写像か？
• RQ4 $\mathcal{C}_n$ の点の固定部分群は、$G$ におけるその正規化子と一致するか？
• RQ5 点 $M, N$ が $\mathcal{C}_n$ に属するとき、$G_M \subseteq G_N$ ならば $M = N$ が成り立つか？

主な発見

• Weyl代数の非巡回右イデアル類の空間と、Calogero-Moser多様体 $\mathcal{C}_n$ の直和集合との間には、ちょうど一つの $G$-同変双対写像が存在する。
• $n \neq m$ のとき、$G$-作用による次元の不一致および固有値制約のため、$\mathcal{C}_n$ から $\mathcal{C}_m$ への $G$-同変写像は存在しない。
• 各 $n$ に対して、$\mathcal{C}_n$ の唯一の $G$-同変自己写像は恒等写像である。
• $\mathcal{C}_n$ の任意の点の固定部分群は、$G$ におけるその正規化子と一致する。これにより、Staffordの予想が確認された。
• $G_M \subseteq G_N$ ならば、$\mathcal{C}_n$ の点 $M, N$ に対して $M = N$ が成り立つ。これは、異なる軌道間で非自明な $G$-写像が存在しないことと同値である。
• $G$-同変双対写像の一意性は、個々の軌道を検査する必要がなく、$G$-作用の群論的構造から直接導かれる。