Rank varieties over the generic hypersurface I

技術的概要：一般超曲面におけるランク多様体 I

問題提起
本論文は、可換局所完全交差（lci）環上の加群および複体に対するランク多様体とサポート多様体の理論を取り扱っている。lci 環に対するサポート多様体は、「許容超曲面」（$Q/(a_1f_1 + \dots + a_cf_c)$ の形の環）へのスカラー制限を通じて確立されているが、本研究は一般超曲面 $R$ 自体に焦点を当てている。一般超曲面は、$Q$ を正則局所環、$f_1, \dots, f_c$ を正則列として、$R = Q[x_1, \dots, x_c]/(f_1x_1 + \dots + f_cx_c)$ と定義される。

中心的な問題は、$R$ 自体における対象（具体的には、次数付き完全非特異複体および加群）に対するランク多様体を定義し、研究することである。著者は、ランク多様体に関する従来の枠組みがスカラーの制限に依存していることを指摘する。これに対し、本論文は、lci 環の特異性圏とその関連する一般超曲面のそれとの間の同値性（Orlov [22], Buchweitz [7]）に動機づけられ、スカラーの拡張に基づく枠組みを調査する。

手法
本論文は、次数付き環および複体の文脈においてホモロジー代数の手法を採用している。中核的な手法は以下の通りである：

1. スカラーの拡張：射影空間 $\mathbb{P}^{c-1}_k$ 内の点 $\alpha = (\alpha_1, \dots, \alpha_c)$ に対して、著者は特殊化された環 $R_\alpha = R/(x_1-a_1, \dots, x_c-a_c)$ を定義する。ここで $a_i$ は $\alpha_i$ の $Q$ における原像である。この環は許容超曲面 $Q/(a_1f_1 + \dots + a_cf_c)$ と同型である。
2. ランク多様体の定義：$R$ 上の次数付き完全非特異複体 $C$ に対して、ランク多様体 $V(C)$ を、特殊化された複体 $C_\alpha = C \otimes_R R_\alpha$ が可縮でないような点 $\alpha \in \mathbb{P}^{c-1}_k$ の集合として定義する。
3. ホモトピーと最小性：解析は、局所環上の最小複体の性質と、ホモトピー同値下での可縮性の振る舞いに大きく依存している。本論文は、$R$ が整域であるという事実を利用して、微分行列の小行列式を通じてランクを定義する。
4. ザリスキ位相：$C$ の微分行列の小行列式によって生成される特定のイデアルの消滅と $C_\alpha$ の可縮性を関連付けることで、これらの多様体がザリスキ閉集合であることを確立する。

主要な貢献と結果

• 定義の妥当性：ランク多様体の定義が、$\alpha_i$ に対する原像 $a_i$ の選択に依存しないこと（定理 3.4）、および複体のホモトピー同値に対して不変であることを証明している（命題 3.5）。
• ザリスキ閉性：$V(C)$ が $\mathbb{P}^{c-1}_k$ のザリスキ閉部分集合であることを示している。具体的には、$V(C)$ は $C$ の微分行列の小行列式によって生成されるイデアルの共通部分の零点集合である（定理 3.6）。
• ランク多様体の性質：著者は、スカラー制限の文脈におけるそれらと類似するいくつかの標準的な性質を確立している：
  • シフト不変性：$V(C) = V(\Sigma C)$。
  • 加法性：$V(C \oplus C') = V(C) \cup V(C')$。
  • 双対性：$V(C) = V(\text{Hom}(C, R))$。
  • 三角不等式：完全三角に対して、ある項の多様体は他の 2 項の多様体の和集合に含まれる（定理 3.8）。
• 実現可能性：主要な結果として、$\mathbb{P}^{c-1}_k$ 内の任意の射影多様体が、$R$ 上の何らかの次数付き完全非特異複体のランク多様体として実現可能であることを示している（定理 4.3）。これは、剰余体の完全分解における乗写像の射影錐を通じて複体を構成することで達成される。
• デイドの補題の類似：ランク多様体が空であるための条件を提供している。$V(C) = \emptyset$ であることと、$C$ が可縮であるか、あるいは微分行列の最大小行列式によって生成されるイデアルの根基が非重要イデアルであることは同値である（命題 3.9）。
• 連結性の破れ：群環や lci 環上のサポート多様体の振る舞い（既約性が連結性を意味する）とは対照的に、本論文は、一般超曲面上のランク多様体が、基底対象が既約であっても非連結になり得ることを示している（例 5.1）。これは、一般超曲面の設定と特殊化された lci 設定との間の根本的な相違を浮き彫りにしている。
• 加群への拡張：理論は有限生成次数付き加群に拡張されている。加群 $M$ のランク多様体は、$R_\alpha$ 上の $M_\alpha$ の無限射影次元を通じて定義される。$C$ を $M$ の完全分解とするとき、$V(M) = V(C)$ となることが示され、これにより複体の場合の性質を継承する（定理 6.3, 6.4, 6.5）。
• アフィンパッチ：本論文は、非有限生成加群を用いて、関連する完全交差環 $S$ 上の射影多様体のアフィンパッチの実現可能性について簡潔に触れている（定理 6.6）。

意義と主張
本論文は、一般超曲面におけるスカラーの拡張の枠組みが、従来のスカラー制限と比較して、閉包性や実現可能性の結果を証明する上で、より単純かつ直接的なアプローチを提供すると主張している。

著者は、lci 環の文脈（特異性圏の同値性を通じて）ではランク多様体とサポート多様体が同値であるものの、一般超曲面上で直接研究することで、固有の構造的性質が明らかになることを強調している。具体的には、この設定における「既約であれば連結」という定理の破れは、一般超曲面上のランク多様体の幾何学が、これまで考えられていたよりも豊かで制約が少ないことを示唆している。本論文は、これらのランク多様体を、次数付き行列因子分解および完全非特異複体に対する具体的な不変量として位置づけ、超曲面のホモロジー代数に対する新たな視点を提供している。

本研究は、関連する lci 環 $S$ に対する実現可能性の問題を直接解決するもの（これは既知である）ではなく、むしろ、実現可能性が自明であり、既約対象に対する非連結なランク多様体といった新しい現象が観察できる堅牢な試験場として一般超曲面を確立するものである。