[論文レビュー] On the rationality and the finite dimensionality of a cubic fourfold

Claudio Pedrini|arXiv (Cornell University)|Jan 20, 2017

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

ひとこと要約

本稿では、表面のホッジ予想および有限次元性予想を仮定することで、立方四次超曲面の合理性とそのチャウモチーフの有限次元性の間の関係を確立する。具体的には、関連するK3表面のトレランスセントゥルモチーフが、立方四次超曲面のトレランスセントゥルモチーフとテートねじれされた形で同型であることを示す。主な結果は、このような四次超曲面のモチーフが有限次元であるための必要十分条件が、関連するK3表面のモチーフが有限次元であることと一致することであり、この場合、トレランスセントゥルモチーフは分解不能である。

ABSTRACT

Let $X$ be a cubic fourfold in $P^5_{C}$. We prove that, assuming the Hodge conjecture for the product $S imes S$, where $S$ is a complex surface, and the finite dimensionality of the Chow motive $h(S)$, there are at most a countable number of decomposable integral polarized Hodge structures, arising from the fibers of a family of smooth projective surfaces. According to the results in [ABB] this is related to a conjecture proving the irrationality of a very general $X$. If $X$ is special, in the sense of B.Hasset, and $F(X) \simeq S^{[2]}$, with $S$ a K3 surface associated to $X$, then we show that the Chow motive $h(X)$ contains as a direct summand a "transcendental motive" $t(X)$ such that $t(X)\simeq t_2(S)(1)$. The motive of $X$ is finite dimensional if and only if $S$ has a finite dimensional motive, in which case $t(X)$ is indecomposable. Similarly, if $X$ is very general and the motive $h(X)$ is finite dimensional, then $t(X)$ is indecomposable

研究の動機と目的

• 立方四次超曲面のチャウモチーフと関連するK3表面のモチーフを関連付けることにより、立方四次超曲面の合理性を調査すること。
• 立方四次超曲面のチャウモチーフが有限次元である条件を特定すること。
• 特定の予想の下で、立方四次超曲面のトレランスセントゥルモチーフが関連するK3表面のテートねじれされたトレランスセントゥルモチーフと同型であることを証明すること。
• 立方四次超曲面のモチーブの有限次元性が、その関連するK3表面のモチーブの有限次元性と同値であることを示すこと。
• 有限性仮定の下で、非常に一般および特殊な立方四次超曲面に対して、トレランスセントゥルモチーブが分解不能であることを確立すること。

提案手法

• 本稿は、有理数係数を用いたチャウモチーブの圏を用い、キムーラの有限次元性予想を適用して立方四次超曲面のモチーブを分析する。
• マンインの公式を適用し、P⁴から立方四次超曲面への有理写像の解消のモチーブを分解し、吹き上げの中心のモチーブでh( X̃ )を表現する。
• F(X) ≅ S^{[2]} であると仮定すると、立方四次超曲面Xのトレランスセントゥルモチーブt(X)と、関連するK3表面Sのテートねじれされたトレランスセントゥルモチーブt₂(S)(1)との間に同型が存在することを確立する。
• ホッジ実現関手を用いて、ホモロジカルモチーブと有理モチーブを関連させ、ホモロジカル圏における自己準同型環が有理圏における性質を反映することを示す。
• チャウ＝キュンネス分解を適用して、非常に一般の立方四次超曲面に対して、原始的モチーブh(X)_{prim} = h^{tr}_4(X) = t(X)を分離する。
• 非常に一般のXに対して、End_{HS}(H⁴(X, Q)_{prim}) = Q[id] であることに基づき、End_{M_rat}(t(X)) ≅ Q[id] を示すことにより、t(X)の分解不能性を証明する。

実験結果

リサーチクエスチョン

• RQ1 立方四次超曲面のチャウモチーブが有限次元である条件は何か？
• RQ2 立方四次超曲面のトレランスセントゥルモチーブは、関連するK3表面のモチーブとどのように関係するか？
• RQ3 表面の分解可能な整数係数付き極小ホッジ構造の制約を用いて、非常に一般の立方四次超曲面の合理性を証明できるか？
• RQ4 モチーブが有限次元である場合、立方四次超曲面のトレランスセントゥルモチーブは分解不能か？
• RQ5 S×Sにおけるホッジ予想およびh(S)の有限次元性が、表面族から生じる分解可能なホッジ構造の数を制限する役割を果たすか？

主な発見

• F(X) ≅ S^{[2]} である立方四次超曲面Xのトレランスセントゥルモチーブt(X)は、関連するK3表面Sに対してt₂(S)(1)と同型である。
• モチーブh(X)が有限次元であるための必要十分条件は、関連するK3表面Sのモチーブh(S)が有限次元であることである。
• 非常に一般の立方四次超曲面に対して、h(X)が有限次元であれば、t(X)は分解不能であり、End_{M_rat}(t(X)) ≅ Q[id] が成り立つ。
• ホッジ予想がS×Sで成り立つことと、h(S)が有限次元であると仮定すると、h(X)が有限次元であればt(X)は常に分解不能である。
• S×Sにおけるホッジ予想とh(S)の有限次元性を仮定すると、族f: S → Bのファイバーから生じる分解可能な整数係数付き極小ホッジ構造の数は高々可算個である。
• モチーブh(X)がアーベル型であるための必要十分条件は、h(S)がアーベル型であることであり、この場合、t(X) ≅ t₂(S)(1)もまたアーベル型である。