Nonsimplicial toric Nullstellensatz and stacky GKZ theory

技術要約：非単体トーリック・ヌリステライツとスタッキーGKZ理論

問題設定
古典的なトーリック幾何学は、単体（simplicial）トーリック多様体の幾何学と多重次数付き可換代数との間に、コックス環 $S$ および無関係イデアル $B$ を通じた強固な対応関係を確立している。Coxによって開拓されたこの枠組みは、ヒルベルトのヌリステライツを単体トーリック多様体へと一般化し、閉部分多様体と $B$ に含まれる根基的な次数付き斉次イデアルとの間の全単射的な対応を提供している。しかし、この対応は非単体（nonsimplicial）トーリック多様体においては成立しない。非単体の場合、標準的なコックス環 $S$（完全な因子類群 $\text{Cl}(X)$ によって次数付けられたもの）および無関係イデアル $B$ だけでは、部分多様類を一意に分類するには不十分である。具体的には、 $S$ における異なる根基的斉次イデアルが同一の部分多様体に対応する場合があり、また、多様体 $X$ がアフィンスキームのトーラスによる幾何学的商ではないため、連接層の分類も曖昧になる。さらに、トーリック多様体はGKZ（Gelfand–Kapranov–Zelevinsky）理論の双有理幾何学の文脈において自然に現れるが、GKZファン内の錐（cone）とトーリック多様体の対応関係を、それらに付随する標準的なスタックへと持ち上げようとする際、ファンクトリアリティ（関手性）が崩壊してしまう。

手法
著者らは、コックス環の次数付けを、完全な因子類群 $\text{Cl}(X)$ から $\mathbb{Q}$-Cartier因子群 $\text{Q-Car}(X)$ へと移行することで、これらの欠陥に対処する。

1. $\mathbb{Q}$-Cartierコックス環 ($\check{S}$): 本論文では、新しい環 $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$ を定義する。これは標準的なコックス環 $S$ の部分環である。対応する無関係イデアルは $\check{B} = B \cap \check{S}$ である。この構成は、ある整数倍がCartier因子となる次数にのみ注目を制限するものである。
2. $\mathbb{Q}$-Cartierスタック ($X^{\text{Q-Car}}$): 著者らは、$X$ に付随するトーリック・デリニュ・ムスティノフ（DM）スタックを、グローバル商 $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$ として定義する。ここで $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$ である。
3. トーリックスタックのデータ: $X^{\text{Q-Car}}$ の組合せ論的な記述を提供するために、著者らは特定のトーリックスタック・データ $(\tilde{N}, N, \tilde{\Sigma}, \beta)$ を構築する。これには、自由アーベル群を非単体錐におけるレイ（ray）の線形従属性を符号化する部分格子によって商とするプロセスを含むラティス $\tilde{N}$ の定義が含まれる。写像 $\beta$ は、ファン $\tilde{\Sigma}$ と元のファン $\Sigma$ の間の組合せ論的な同値性を誘導する。
4. スタッキーGKZ理論: この手法はGKZの設定へと拡張される。GKZファン $\Sigma_{\text{GKZ}}$ の各錐 $\Gamma$ に対して、著者らは「余剰なレイ」（現在のファンまたは無関係イデアルに含まれない重み）を取り入れた修正されたスタック・データを用いて、トーリックスタック $X_\Gamma$ を定義する。この構成により、割り当て $\Gamma \mapsto X_\Gamma$ がファンクトリアル（関手的）であることが保証される。

主要な貢献と結果

• トーリックイデアル・多様体対応 (定理A): 本論文は、任意の半射影的（semiprojective）トーリック多様体 $X$（単体か否かを問わない）に対して、 $X$ の閉部分多様体と、根基的な斉次イデアル $I \subseteq \check{B} \subseteq \check{S}$ との間の全単射的な対応が存在することを証明している。これは、$\mathbb{Q}$-Cartierコックス環を用いることで、Coxの結果を非単体の場合へと一般化したものである。証明は、幾何学的商を用いた直接的な代数幾何学の手法と、スタック理論の両面から提供される。
• 層および部分スキームの分類 (定理B): 著者らは、$X^{\text{Q-Car}}$ が $X$ を粗モジュライ空間として持つトーリックDMスタックであることを確立している。決定的な点として、$X^{\text{Q-Car}}$ は「任意の $\mathbb{Q}$-Cartier因子がCartier因子となる」という性質に対して普遍的である。
  • $X^{\text{Q-Car}}$ 上の準連接層の圏は、$\text{Q-Car}(X)$-次数付き $\check{S}$-加群の圏を $\check{B}$-捩れ（torsion）で割ったものと等価である。
  • スタック $X^{\text{Q-Car}}$ が滑らかであるための必要十分条件は、$X$ が単体であることである。
  • この枠組みは、部分スキームの分類における曖昧さを解決する。すなわち、$\check{S}$ における異なるイデアルは、スタック上の異なる部分スキームに対応するが、それらが $\check{B}$-捩れによって異なる場合にのみ、$X$ の同一の部分スキームへと写る。
• 他の環との比較: 本論文は、3つの環、すなわち標準的なコックス環 $S$（Weil因子）、$\mathbb{Q}$-Cartierコックス環 $\check{S}$、およびピカール環 $S_{\text{Pic}}$（Cartier因子）の関係を明確にしている。これらは $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ という包含関係を持ち、付随するスタックは $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$ という射の列を形成することを示している（ここで $X_{\text{Pic}}$ は $X$ と同型である）。
• スタッキーGKZ理論 (定理C): 本論文は、標準的なGKZ理論の多様体に対するファンクトリアリティをリフトアップする、トーリックDMスタックのファンクトリアルな図式 $F: \Sigma_{\text{GKZ}} \to \{\text{DM stacks}\}$ を構築する。
  • 各錐 $\Gamma \in \Sigma_{\text{GKZ}}$ に対して、粗モジュライ空間 $X_\Gamma$ を持つスタック $X_\Gamma$ が存在する。
  • この割り当ては、錐の包含関係に関してファンクトリアルであり、標準的なスタックを用いた際に失われたファンクトリアリティを回復させる。
  • $X_\Gamma$ は、有限写像を通じて、多様体 $X_\Gamma$ と $\mathbb{Q}$-Cartierスタック $X_{\Gamma, \text{Q-Car}}$ の間に位置する。$\Gamma$ が移動錐（moving cone）内にあるとき、$X_\Gamma = X_{\Gamma, \text{Q-Car}}$ となる。
  • この構成は、先行研究 (BBB+25) で定義された共通の精細化 $\tilde{X}$ と互換性があり、ファンクトリアリティが共通精細化へと拡張されることを保証している。

意義
本論文は、$\mathbb{Q}$-Cartierコックス環および関連する $\mathbb{Q}$-Cartierスタックの導入が、非単体トーリック多様体の研究における根本的な欠陥を改善することを主張している。$\mathbb{Q}$-Cartier次数に焦点を移すことで、著者らは、非単体の場合にはこれまで不可能であったイデアル・多様体対応および精密な加群・層の対応関係を回復させた。さらに、スタッキーなGKZ理論の拡張は、標準的なスタックがファンクトリアリティを保持できない場合に、トーリック多様体の双有理幾何学を研究するための堅牢な枠組みを提供する。これらの結果は、単体および非単体トーリック多様体の扱いをスタックの言語の中で統一し、コックス構成の組合せ論的な簡便さを維持しつつ、基礎となる多様体の幾何学を正確に反映する「正しい」幾何学的対象（$X^{\text{Q-Car}}$）を提示している。