Universally defined cycles I

技術的要約：普遍的に定義されたサイクル I

問題設定
本論文は、高次元の代数多様体に対するフランチェッタ予想（Franchetta conjecture）の一般化を扱う。古典的なフランチェッタ予想は、曲線のモジュライ空間上のユニバーサル曲線上のラインバンドルに対して、そのファイバーへの制限は標準束（canonical bundle）の有理数倍になることを主張している。これを高次元へ拡張する際には、固定された次元を持つ多様体のためのユニバーサルなモジュライ空間が存在しないという根本的な障害に直面する。これを回避するために、著者は「普遍的に定義されたサイクル（universally defined cycles）」という概念を導入し、研究する。これらは、グローバルなモジュライ空間の存在に依存せず、基底変換および開集合への制限に関する特定の適合公理を満たす、滑らかな射に対する代数的サイクルの割り当てである。

中心的な問いは、次元 $d$ の滑らかな多様体上のこのような普遍的に定義されたサイクルが、必然的にその多様体のチェルン類による普遍的な多項式によって与えられるか否かである。これは曲線については既知であるが、モジュライ空間の欠如とチョー群（Chow groups）の複雑さにより、高次元の場合には重大な困難が生じる。

手法
本論文は、完全切断（complete intersections）のユニバーサルな族の研究を中心とした幾何学的アプローチを採用している。核心となる戦略は、以下のステップを含む。

1. 完全切断への還元： 著者は、グラスマン多様体に埋め込まれた多様体 $X$ について、そのチョー群が、$X$ を成分として含む完全切断の族のチョー群から回収できるという結果（命題 2.1）を利用する。これは、パラメータ空間の次元が十分に大きい場合に成立する。これは、アンビエント空間からユニバーサルな決定論的超曲面の補集合へのプルバックおよび制限写像の単射性に依拠している。
2. ユニバーサルな族： 著者は、グラスマン多様体 $G(d, N)$ 内の滑らかな完全切断 $X^0_{d,N,l}$ のユニバーサルな族を構成する。これらのユニバーサルな族のチョー群を分析することにより、それら上の任意の普遍的に定義されたサイクルは、相対的なチェルン類の多項式として表現可能であることを示す。
3. パラメータからの独立性： 重要な技術的ステップは、これらの多項式の係数が完全切断の次数 $l$ に依存せず、次元 $d$ にのみ依存することを証明することである。これは、チェルン類が特定の重み付き次数まで非自明な多項式関係を満たさないような、特定のテスト多様体（アーベル多様体や射影空間の積を用いる）を構成することによって達成される。
4. 積および冪への拡張： 手法は、多様体の積および冪（$X^k$）へと拡張される。積については、普遍的に定義されたサイクルが各因子のチェルン類の多項式であることを証明する。冪については、集合 $\{1, \dots, k\}$ の分割と対角写像 $\Delta_I$ を含む組合せ論的な枠組みを導入する。

主要な貢献と結果

• 定理 1.4 (多様体に関する主結果)： 本論文は、次元 $d$ の滑らかな複素多様体上の任意の普遍的に定義されたサイクルは、その多様体のチェルン類 $c_1, \dots, c_d$ の有理数係数による一意な多項式によって与えられることを証明している。これにより、高次元におけるフランチェッタ予想のアナログが確立され、サイクルは特定の多様体や定義体のフィールドに依存せず、チェルンの多項式の普遍的な倍数であることが示される。
• 定理 1.7 (積に関する主結果)： この結果は、$r$ 個の滑らかな多様体（次元 $d_1, \dots, d_r$）の積へと一般化される。そのような積上の普遍的に定義されたサイクルは、個々の因子のチェルン類による多項式によって一意に決定されることが示される（重み付き次数の制約を伴う）。
• 予想 1.8 (冪に対する標準形)： 本論文は、多様体の $k$ 乗（$X^k$）上の普遍的に定義されたサイクルに関する予想を定式化している。それは、そのようなサイクルは、$\{1, \dots, k\}$ の分割 $I$ に関する和として一意に表現できると仮定している。各項は対角写像 $\Delta_I$ と各因子のチェルン類の多項式を含む。
• 定理 1.9 (標準的なサイクルの一意性)： 著者は、「標準的な」普遍的に定義されたサイクル（予想 1.8 の形式を満たすもの）がすべての滑らかな多様体に対してコホモロジー的に自明であるならば、そのサイクル自体がチョー群においてゼロであるということを証明している。これにより、標準的なサイクルに対する表現の一意性が確立される。
• 定理 3.4： 冪上の普遍的に定義されたサイクルを定義する多項式の集合に対する一意性の結果が証明されており、すべての定義多項式が消滅する場合にのみ、そのサイクルが消滅することが示されている。

意義と主張
本論文は、多様体の族における代数的サイクルの基礎的な構造的結果を確立することを主張している。普遍的に定義されたサイクルがチェルン類の多項式であることを証明することで、著者は、多様体の族にわたって関手的（functorial）に振る舞うサイクルを理解するための厳密な枠組みを提供している。

著者は、予想 1.8（冪に関する明示的な形式）の証明は依然として不完全であることを述べている。しかし、本論文は、もしこの予想が真であれば、以下のような重大な帰結をもたらすと強調している：

• K3曲面のヒルベルト・スキームのチョー環に関する Ellingsrud-Göttsche-Lehn の定理の代替的な証明を与える。
• K3曲面のヒルベルト・スキームのチョー環に関する Beauville-Voisin 予想、特に Lehn の交換関係に関して影響を与える。
• K3曲面のヒルベルト・スキームのチョー環に関する [12] における現在の証明は、未証明の予想 1.8 に依存しているため、不完全であると指摘されている。

本論文は、予想 1.8 を確立するための第一歩として位置付けられており、必要な定義、$k=1$ の場合（定理 1.4）の証明、および一般の場合の一意性の証明を提供している。この研究は、グローバルなモジュライ空間が存在しない状況下での、幾何学的サイクルと特性類の間の関係を明らかにすることを目的とした、普遍的に定義されたサイクルの形式論の研究である。