[論文レビュー] Symmetric subvarieties of infinite affine space

Rohit Nagpal, Andrew Snowden|arXiv (Cornell University)|Nov 18, 2020

Commutative Algebra and Its Applications参考文献 13被引用数 7

ひとこと要約

この論文は、無限次元アフィン空間 $\chi = \mathbf{A}^\infty$ の $\sigma$-非可約な閉部分多様体で、無限対称群 $\mathfrak{S}$ に対して安定なものの分類を試みる。その主な貢献は、このような部分多様体と、$\infty$-分割 $\lambda$ と、$\operatorname{Aut}(\lambda)$-非可約な $\mathbf{A}^{[r]}$ 内の閉部分多様体 $Z$ の組 $(\lambda, Z)$ の間の自然な全単射を確立することにある。この全単射により、型の層化と群作用の不変量を用いた対称的部分多様体の完全分類が達成される。

ABSTRACT

We classify the subvarieties of infinite dimensional affine space that are stable under the infinite symmetric group. We determine the defining equations and point sets of these varieties as well as the containments between them.

研究の動機と目的

• 複素数体 $\mathbf{C}$ 上の無限次元アフィン空間 $\mathfrak{X} = \mathbf{A}^\infty$ のすべての $\mathfrak{S}$-安定なザリスキ閉集合を分類すること。
• 無限多項式環 $R = \mathbf{C}[\xi_1, \xi_2, \ldots]$ 内の radical $\mathfrak{S}$-イデアルの構造を理解すること。
• 有限的点と型の層化を用いて、対称的部分多様体の包含関係と定義方程式を特徴付けること。
• 無限次元空間 $\mathfrak{X}$ の $\mathfrak{S}$-非可約部分多様体と、有限次元空間 $\mathbf{A}^{[r]}$ 内の非可約部分多様体との間の対応関係を、$\infty$-分割の自己同型群を介して確立すること。
• 将来の $\mathfrak{S}$--equivariant な可換代数の研究の基盤を築くこと、特に、主イデアル分解や一般の $\mathfrak{S}$-イデアルの構造に関する研究を想定する。

提案手法

• 座標が有限個の異なる値しかとらない点として、$\mathfrak{X}$ 内の有限的点を定義し、それぞれを $\lambda_1 = \infty$ を満たす $\infty$-分割 $\lambda = (\lambda_1, \ldots, \lambda_r)$ に結びつける。
• 型の層化 $\mathfrak{X}_{[\lambda]}$ を、型 $\lambda$ のすべての有限的点の集合として定義し、これにより有限的局所 $\mathfrak{X}_{\mathrm{fin}}$ が分解されることを示す。
• 無限対称群 $\mathfrak{S}$ の作用を用いて、$\mathfrak{S}$-非可約部分多様体を定義する。これは、より小さな $\mathfrak{S}$-安定な閉部分集合に分解できない、最小の $\mathfrak{S}$-安定な閉部分多様体である。
• $\mathfrak{S}$-非可約部分多様体と、$\mathbf{A}^{[r]}$（座標がすべて異なる点のなす開部分集合）内の $\operatorname{Aut}(\lambda)$-非可約な閉部分多様体 $Z$ を持つ組 $(\lambda, Z)$ の間の全単射を構成する。
• Cohen の $\mathfrak{S}$-noetherian 定理を適用し、$\mathfrak{S}$-安定なイデアルが昇鎖条件を満たすことを保証することで、対称的部分多様体の有限分解が可能であることを示す。
• $\Pi$-閉包および $\mathrm{I}$-閉包作用素を導入し、$\mathfrak{S}$--equivariant 加群の台を分析し、それらをザリスキ閉包としての対称的部分多様体と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 無限次元アフィン空間の $\mathfrak{S}$-非可約な閉部分多様体の完全分類は何か？
• RQ2 対称的部分多様体は、その $\infty$-分割型による有限的点の層化とどのように関係しているか？
• RQ3 対称的部分多様体 $\mathfrak{X}$ と有限次元空間 $\mathbf{A}^{[r]}$ 内の非可約部分多様体との間の正確な対応関係は何か？
• RQ4 滑らかで、有限に $\mathfrak{S}$-生成される加群の台は、対称的部分多様体のザリスキ閉包とどのように関係しているか？
• RQ5 $\Pi$-閉包作用素を用いて、加群の台がその annihilator 多様体において稠密である条件を特徴づけられるか？

主な発見

• $\mathfrak{X}$ の $\mathfrak{S}$-非可約な真の閉部分多様体の集合は、$\infty$-分割 $\lambda$ と、$\mathbf{A}^{[r]}$ 内の $\operatorname{Aut}(\lambda)$-非可約な閉部分多様体 $Z$ の組 $(\lambda, Z)$ との間の自然な全単射にある。
• 任意の $\mathfrak{S}$-安定な閉部分多様体は、$\mathfrak{S}$-非可約部分多様体の有限個の和集合として表され、これは Cohen の $\mathfrak{S}$-noetherian 性質の結果である。
• 滑らかで、有限に $\mathfrak{S}$-生成される $\mathfrak{S}$--equivariant $R$-加群 $M$ の台は、ある閉 $\mathfrak{S}_{\geq n}$-部分多様体 $\mathfrak{Z}$ に対して $\mathrm{I}(\mathfrak{Z})$ と等しくなり、$V(\operatorname{Ann}(M)) = \overline{\mathrm{I}}(\mathfrak{Z})$ が成り立つ。
• 台 $\operatorname{Supp}(M)$ は $V(\operatorname{Ann}(M))$ においてザリスキ稠密であり、$\operatorname{Supp}(M)$ が有界であれば、その次元が最大の成分は $\operatorname{Supp}(M)$ 内に存在する。
• 一部の $\mathfrak{S}$--equivariant 加群では、台がザリスキ閉でない例が存在する。具体的には、$\operatorname{Supp}(M)$ が $\Pi$-閉でない例により、$\mathrm{I}(\mathfrak{Z})$ が $\overline{\mathrm{I}}(\mathfrak{Z})$ より真に小さいことが示された。
• $\mathrm{I}(\mathfrak{Z})$ の $\Pi$-閉包は、$\mathrm{I}(\mathfrak{Z})$ より真に大きくなる場合があり、一部のケースでは $\overline{\mathrm{I}}(\mathfrak{Z}) = \mathfrak{X}$ であっても、$\mathrm{I}(\mathfrak{Z})$ は真の部分集合である。