[論文レビュー] On rigidity of trinomial hypersurfaces and factorial trinomial varieties

Sergey Gaifullin|arXiv (Cornell University)|Feb 16, 2019

Algebraic Geometry and Number Theory参考文献 18被引用数 8

ひとこと要約

本稿は、特性が0の代数的に閉じた体上での三項式超曲面および因子的三項式多様体の剛性および可動性に関する基準を確立する。局所的に冪零な微分作用素（LND）および特別な自己同型群 SAut(X) を分析することにより、著者たちは Arzhantsev の結果を一般化し、三項式超曲面が、定義式におけるすべての指数が2以上であるか、特定の例外的ケースを除いて、剛性を示すことを証明している。また、可動性の十分条件を提供し、因子的三項式多様体へ理論を拡張し、指数の条件を用いてその剛性を特徴づけている。

ABSTRACT

Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial trinomial hypersurface to be rigid. We give two generalizations of Arzhantsev's result: a criterium for an arbitrary trinomial hypersurface to be rigid and a criterium for a factorial trinomial variety to be rigid. Also a sufficient condition for a trinomial hypersurface to be flexible is obtained.

研究の動機と目的

• 因子的三項式超曲面の剛性に関する Arzhantsev の基準を、任意の三項式超曲面へ一般化すること。
• 因子的三項式多様体の剛性基準を確立し、既知の結果をより広い多様体のクラスへ拡張すること。
• 三項式超曲面が可動的である（すなわち、SAut(X) が正則部分集合上で推移的に作用する）ための十分条件を特定すること。
• 非剛性の場合における SAut(X)-軌道の構造を分離する際の Makar-Limanov 不変量 ML(X) の役割を明確にすること。
• 定義式における指数の値に基づいた、剛性条件の完全な分類を提供すること。

提案手法

• 著者たちは、加法群 Ga に同型な代数的部分群によって生成される特別な自己同型群 SAut(X) の作用を分析し、局所的に冪零な微分作用素（LND）と Ga-作用との対応関係を用いる。
• ML(X) を剛性を検出するための道具として用い、ML(X) が自明である場合に剛性が成立することを根拠とする。
• 特定の LND γ_ij を構成し、その核が既知であることを用いて ML(X) を有界化し、超越次元の議論により、ML(X) が特定の変数によって生成される部分代数に含まれることを示す。
• 可動性の分析には、十分に多くの LND の存在を用い、SAut(X) が正則部分集合上で推移的に作用することを示す。この際、軌道構造を制御するために補題15を用いる。
• 三項式多様体の分類は、定義式の構造に基づく：T₀^{l₀} + T₁^{l₁} + T₂^{l₂} = 0 であり、指数値と gcd 条件に注目する。
• 本稿では、変数の指数が1であるものの数に応じて、タイプ1およびタイプ2の三項式多様体に区別する。

実験結果

リサーチクエスチョン

• RQ1 Arzhantsev が研究した因子的三項式超曲面の外挙して、一般の三項式超曲面がいつ剛性を示すのか。
• RQ2 三項式方程式の指数 l_ij にどのような条件が満たされると、三項式多様体が非剛性となるか。
• RQ3 三項式超曲面が可動的であるとは、すなわち SAut(X) が正則部分集合上で推移的に作用するとは、どのような条件下で成立するか。
• RQ4 非剛性三項式多様体における Makar-Limanov 不変量 ML(X) は、SAut(X) の軌道構造とどのように関係しているか。
• RQ5 複数の変数が指数2を持つ三項式超曲面に対して、ML(X) の正確な構造は何か。

主な発見

• 三項式超曲面が剛性を示すのは、定義式のすべての指数 l_ij ≥ 2 であるか、特定の指数制約を満たす例外的ケースに限る。この例外的ケースは、V(T₀₁²T₀₂²ᵐ⁰²⋯ + T₁₁²T₁₂²ᵐ¹²⋯ + T₂₁^{l₂₁}⋯) の形をしている。
• 因子的三項式多様体では、各単項式において、たかだか1つ（タイプ1）または2つ（タイプ2）を除き、あるペア (i,j) に対して l_ij = 1 が存在する場合に限り、非剛性となる。
• Makar-Limanov 不変量 ML(X) は、i=2 かつ j≥2 を満たす変数 T_ij によって生成される部分代数に含まれる。さらに、n₀ ≥ 2 かつ k₁ = n₁ などの条件下で、等号が成立する。
• T₁₁ が指数2で、他の T₁j が指数 ≥2 である場合、ML(X) は K[T₀₂,…,T₀n₀,T₁₂,…,T₁n₁] を含み、一般に SAut(X)-軌道は ML(X) によって分離される。
• k₁ = n₁ の場合、ML(X) = K[T₀₂,…,T₀n₀] であり、各ファイバー W(a₁,…,aₙ₀) が単一の SAut(X)-軌道であるという軌道構造を示し、ML(X) による軌道の分離が成立する。
• 本稿は、三項式超曲面および因子的三項式多様体の剛性・可動性について完全な分類を提供し、指数値および gcd の条件を明示的に示している。