[論文レビュー] Standard monomials and invariant theory for arc spaces III: special linear group

Andrew R. Linshaw, Bailin Song|arXiv (Cornell University)|Aug 20, 2021

Algebraic structures and combinatorial models参考文献 29被引用数 4

ひとこと要約

この論文は、代数閉体上の特殊線型群の不変体論の第一および第二基本定理の弧空間版を確立する。標準単項式論を用いて、非可約でない場合を含む弧空間の不変環が、特定の標準単項式によって生成されることを証明し、GL_hおよびSp_hの場合とは対照的にSL_hの場合における主要な微妙さを解消する。

ABSTRACT

This is the third in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we prove the arc space analogue of the first and second fundamental theorems of invariant theory for the special linear group. This is more subtle than the results for the general linear and symplectic groups obtained in the first two papers because the arc space of the corresponding affine quotients can be nonreduced.

研究の動機と目的

• 特殊線型群SL_hの弧空間への標準単項式論の拡張を図ること。
• 弧空間設定における不変体論の第一および第二基本定理を確立すること。
• 弧空間のアフィン商が非可約である可能性があるという課題を扱うこと、これはGL_hおよびSp_hの場合とは対照的である。
• SL_h表現多様体の弧空間の不変環に対する標準単項式基底を提供すること。
• 古典的不変体論の結果を、無限次元の弧空間の設定に一般化すること。

提案手法

• K[[t]]上の点の函手を用いて、射影極限としてJ_∞(V)を構成する。
• 生成子X^{(k)}_{u;v}、Y^{(k)}_u、Z^{(k)}_vに対する部分順序を定義することで、標準単項式論を弧空間に適応する。
• 正規化された微分∂̄^iを用いて微分的関係を生成し、弧空間における標準単項式を定義する。
• 微分イデアルおよび微分的に有限生成イデアルの理論を用いて、不変環内の関係を制御する。
• 再帰的削減技法および重み関数（wt、R(E,·)）を用いて、非標準単項式が消えることを証明する。
• 既知の古典的結果（SL_hにおけるFFTおよびSFT）を基底ケースとし、ジェットフィルトレーションを用いて弧空間へと持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 SL_hにおける不変体論の第一基本定理をどのように弧空間設定へと持ち上げることができるか？
• RQ2 特に商が非可約である場合に、弧空間J_∞(V)における不変環K[V]^{SL_h}の構造はいかなるものか？
• RQ3 標準単項式論をSL_h表現の弧空間へと拡張し、不変環の基底を構成できるか？
• RQ4 弧空間不変環の定義関係（SFT）は何か？古典的場合とはどのように異なるか？
• RQ5 微分作用素およびジェット構造は、弧空間における標準単項式基底にどのように影響を与えるか？

主な発見

• 第一基本定理の弧空間版が成立する：不変環K[J_∞(V)]^{SL_h}は、標準単項式X^{(k)}_{u;v}、Y^{(k)}_u、Z^{(k)}_vによって生成される。
• 第二基本定理の弧空間版が成立する：関係のイデアルは、ジェット微分を用いて弧空間へと持ち上げられた同じ関係式(1.2)–(1.4)によって生成される。
• K[J_∞(V)]^{SL_h}の標準単項式基底は、定義された部分順序に基づく生成子の順序付き積によって構成され、弧空間が非可約であっても成り立つ。
• 証明では、∂̄-リストの重みおよびランクの議論を用いて、微分的関係によるキャンセルによって非標準単項式が消えることが示された。
• 非可約な弧空間商の性質を効果的に扱うことができ、これはGL_hおよびSp_hの場合に存在しない主要な困難であった。
• 結果として、古典的不変体論が無限次元ジェット空間へと一般化され、SL_h不変量の完全な代数的記述が得られた。