Generalized Zariski cancellation for Brieskorn--Pham varieties

技術要約：ブリーゼンハム–ファム多様体における一般化されたザリスキー・キャンセレーション

問題設定
本論文は、複素数体 $\mathbb{C}$ 上の一般化されたザリスキー・キャンセレーション問題を取り扱う。代数多様体 $X, Y, Z$ が与えられたとき、同型 $X \times Z \cong Y \times Z$ が $X \cong Y$ を導くかどうかを問うものである。古典的なケース（$Z = \mathbb{A}^1$）では、一般に失敗することが知られているが（例：ダニエレフスキ曲面）、著者らは、$Z$ が滑点を持つ任意の分離された複素スキームである場合、特定の種類の多様体に対してキャンセレーションが成立するかどうかを調査している。具体的には、本論文は、指数集合 $a = (a_1, \dots, a_n) \in (\mathbb{N}_{\ge 2})^n$ に対して定義されるアフィン超曲面 $V_a = \text{Spec}(k[X_1, \dots, X_n]/(X_1^{a_1} + \dots + X_n^{a_n}))$ であるブリーゼンハム–ファム多様体に焦点を当てている。

手法
証明戦略は、代数幾何学、複素解析幾何学、および特異点論の3つの主要な構成要素を統合している。

1. 指数の剛性（代数的）: 著者らはまず、標数ゼロの体上のブリーゼンハム–ファム多様体の同型類が、置換を除いてその指数タプル $a$ によって完全に決定されることを確立する。これは、定義多項式のヤコビイデアルから生じる、零次元の完全交差スキームを分析することによって証明される。随伴する冪零根の次数付き次数付き環のヒルベルト級数を計算することにより、特異点の代数的構造が指数を一意に復元することを示す。
2. 解析的還元（幾何学的）: 著者らは、ハウザー–ミュラーの解析的キャンセレーション定理およびアルブ形空間の一意分解性を利用する。二つの複素代数多様体が、一意な特異性を持つ場合、それらが滑点を持つスキーム $Z$ との積をとった後に同型であれば、特異点におけるそれらの解析的芽（analytic germs）は解析的に同型になることを証明する。これは、アルティンの近似定理と、孤立特異点を持つ多様体の解析的芽の非分解性に依拠している。
3. 代数化（合成）: 著者らは、解析的還元と、R. V. グルジャールの定理（「良質な」$\mathbb{C}^*$ 作用を持つアフィン多様体において、頂点における解析的芽の解析的同型性は、多様体自体の代数的同型性を意味する）を組み合わせる。

主要な貢献と結果

• 指数剛性定理 (Theorem C): 本論文は、標数ゼロの体 $k$ 上のブリーゼンハム–ファム多様体について、多様体（またはその関連する解析的芽／形式的完備化）の同型性が、置換を除いた指数タプルの等価性 ($a \sim b$) と同値であることを証明する。これは、従来の位相的な剛性の結果（例：吉永–鈴木）を、代数的および解析的な範疇へと拡張するものである。
• 良質な $\mathbb{C}^*$-多様体のための一般化されたキャンセレーション (Theorem A): 著者らは、一意の特異点を持つ良質な $\mathbb{C}^*$ 作用を許容する複素アフィン既約多様体のためのキャンセレーション定理を確立する。もし $V \times Z \cong W \times Z$ であり、$Z$ が滑点を持つならば、$V \cong W$ が複素アフィン多様体として成立する。
• ブリーゼンハム–ファム多様体のための一般化されたキャンセレーション (Theorem B): これが本研究の主要な集大成である。ブリーゼンハム–ファム多様体 $V_a$ と $V_b$ について、以下の条件はすべて同値である：
  1. 任意の分離された $\mathbb{C}$-スキーム $Z$ に対して $V_a \times Z \cong_{\mathbb{C}} V_b \times Z$ である。
  2. $V_a \cong_{\mathbb{C}} V_b$ である。
  3. $V_a$ と $V_b$ は $\mathbb{C}^*$-多様体として同型である。
  4. 指数タプルが $a \sim b$ を満たす。

意義と主張
本論文は、古典的なブリーゼンハム–ファム多様体の族に対する、強力な形式の一般化されたザリスキー・キャンセレーションを提供すると主張している。シリンダー $Z$ が $\mathbb{A}^1$ に限定されている古典的なキャンセレーション問題とは異なり、この結果は、滑点を持つ任意の分離されたスキーム $Z$ に対して成立する。

その意義は、異なる幾何学的構造の相互作用にある：

• 指数タプルという組合せ論的な不変量が、代数的、解析的、および形式的な範疇において、多様体の同型類を完全に決定することを実証している。
• 一意の固定点を持つ正の次数付き構造（positive gradings）を介して、局所的な解析的性質（特異点における芽）と大域的な代数的性質を結びつけている。
• 著者らは、より弱い不変量（例えば、リンクの位相や滑らかな部分のホモトピー型）は、ブリーゼンハム–ファム多様体を区別できないこと（吉永による、異なる指数を持ちながら同相なリンクを持つ例によって示されている）に触れつつも、代数的および解析的な構造は指数を一意に復元できるほど十分に剛直であることを述べている。

本研究は、ハウザー–ミュラー（解析的キャンセラー）、グルジャール（$\mathbb{C}^*$-多様体の代数化）、およびアルティンの確立された結果に依拠しており、これらを合成することで、この特定の、よく研究されている特異性のクラスに関するキャンセレーション問題を解決している。