[論文レビュー] Noetherianity up to symmetry

Jan Draisma|arXiv (Cornell University)|Oct 7, 2013

Advanced Combinatorial Mathematics参考文献 6被引用数 7

ひとこと要約

本稿では、大規模な対称性群を有する無限次元代数的多様体に対して、対称性に関してのノエター性（Noetherianity up to symmetry）の概念を導入し、これらの対称性に関して安定な部分多様体が、有限個の式の軌道によって定義されることを示している。クラスカルの木定理と等変グレブナー理論を用いて、多重線形代数および代数的統計における重要な代数的構造——例えばガウス型k因子モデルやテンソル多様体——が、対称群の作用に関して等変ノエター的であることを証明している。

ABSTRACT

These lecture notes for the 2013 CIME/CIRM summer school Combinatorial Algebraic Geometry deal with manifestly infinite-dimensional algebraic varieties with large symmetry groups. So large, in fact, that subvarieties stable under those symmetry groups are defined by finitely many orbits of equations---whence the title Noetherianity up to symmetry. It is not the purpose of these notes to give a systematic, exhaustive treatment of such varieties, but rather to discuss a few "personal favourites": exciting examples drawn from applications in algebraic statistics and multilinear algebra. My hope is that these notes will attract other mathematicians to this vibrant area at the crossroads of combinatorics, commutative algebra, algebraic geometry, statistics, and other applications.

研究の動機と目的

• 大規模な対称性群に関して不変である無限次元代数的多様体におけるノエター性の枠組みを確立すること。
• このような対称性に関して安定な部分多様体が、無限個の式ではなく有限個の軌道の式によって定義されることを示すこと。
• 代数的統計および多重線形代数の具体例（例えばガウス型k因子モデルやテンソル多様体）にこの理論を適用すること。
• 対称的な無限次元設定におけるアルゴリズム的属 Membership テストおよび構造的解析のための基盤を提供すること。
• イデアル理論的有限性とは対照的に、等変ノエター性の幾何的概念と、イデアルの有限生成性の間のギャップをどのように調和できるかを明らかにすること。

提案手法

• 木と多重集合の集合に良い順序を与えるために、クラスカルの木定理とヒグマンの補題を、基礎的な組合せ論的道具として用いる。
• 特に無限個の変数に対して対称群が作用する多項式環の分析に、等変グレブナー理論を適用する。
• $\Delta$-多様体の概念を用いて、テンソル空間から生じるような対称的な無限次元代数的集合をモデル化する。
• 無限対称群の部分群による安定化の部分多様体に、ノエター性問題を還元し、軌道有限生成を用いる。
• 同変性と閉性を保つ射影写像を用いて、対称多様体を有限次元空間へ閉埋め込みする。
• 行列式の条件と、サポートに基づく分割の議論を用いて、有限なサポートの外側の変数を、有限個の生成子を用いて表現し、ノエター的ベース環への還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 大規模な対称性群を有する無限次元代数的多様体が、ノエター性に類似する有限性条件を満たすことが示せるか？
• RQ2 ノエター性は、定義式の軌道の有限生成によって、どの程度まで対称性に関して回復可能か？
• RQ3 ガウス型k因子モデルやテンソル多様体などの対称的代数的構造に対して、等変ノエター性をどのように確立できるか？
• RQ4 セグレ埋め込みの錐のような対称多様体のイデアルが、有限個の群軌道によって生成されないのはなぜか？ これはイデアル理論的有限性にどのような含意を持つのか？
• RQ5 対称多様体のクラスは、フラットニングなどの操作に関して閉じているか？ これは定義式の構造にどのように影響するか？

主な発見

• ガウス型k因子モデルは無限次元において $G_\infty$-ノエター的であり、定義多様体が $G_\infty$-軌道の有限個の式によって切り出されることを意味する。
• k因子モデルに関して、多様体 $Y^{(k)}_\infty$ は、有限次元空間内の $H$-安定部分空間に還元されることで、$G_\infty$-ノエター的であることが示された。ここで $H$ は有限なサポートの安定化群である。
• 証明により、行列式の非消滅性領域 $Z_a$ は、行列式の恒等式を用いて、有限なサポートの外側のすべての変数を有限個の生成子で表現でき、$H$-ノエター的であることが示された。
• 射影写像 $\operatorname{pr}: Z_a \to Q$ は $H$-同変な閉埋め込みであり、有限次元ベースからのノエター性の転送を可能にした。
• より強い結果として、$X_\infty$ は有限個の $G_\infty$-軌道の式によって定義され、多項式時間での属 Membership テストが可能であることが示された。
• しかしながら、$X_\infty$ のイデアルは有限個の $G_\infty$-軌道によって生成されないため、幾何的有限性とイデアル理論的有限性の間にギャップがあることが示された。このギャップは、縮約やテンソル積などの追加の線形写像を考慮することで、解消可能である可能性がある。