代数幾何学 · 2026-10-19

Ambient Chow Rings of Debarre--Voisin Fourfolds and the Beauville--Voisin Conjecture

Debarre–Voisin四次元多様体のambient Chow環とBeauville–Voisin予想

Ryo Akazawa

ryo-akazawa-1ji4usv chern-classes hyperkahler-geometry algebraic-cycles-enumerative Hyperkähler geometry ハイパーケーラー幾何 Chern classes and Chern numbers Chern類・Chern数 Algebraic cycles and enumerative geometry 代数的サイクル・数え上げ幾何 Chern class Chern classes Chern number Chern numbers

arXiv Abstract

We prove the Beauville--Voisin conjecture for a very general Debarre--Voisin hyperk\"ahler fourfold \(Y\subset\Gr(6,10)\) associated with a trivector \(\sigma\) on a ten-dimensional complex vector space \(V_{10}\). Namely, the cycle class map is injective on the subalgebra of the Chow ring generated by divisor classes and the Chern classes of the tangent bundle.

日本語要約

著者は、10次元複素ベクトル空間の交代3形式から得られるDebarre–Voisin超Kähler四次元多様体について、因子と接束のChern類が生成する部分環のコホモロジーへの単射性を、very generalな場合に示す。より基礎となる結果として、全ての滑らかなDebarre–Voisin四次元多様体のambient Chow環を具体的に計算する。

We prove the Beauville--Voisin conjecture for a very general Debarre--Voisin hyperk\"ahler fourfold \(Y\subset\Gr(6,10)\) associated with a trivector \(\sigma\) on a ten-dimensional complex vector space \(V_{10}\). Namely, the cycle class map is injective on the subalgebra of the Chow ring generated by divisor classes and the Chern classes of the tangent bundle.

滑らかなDebarre–Voisin四次元多様体について、Grassmann多様体から制限されるChow環を二つの生成元と関係式で記述する。この部分環上のサイクル類写像の単射性から、Picard数1の場合、特にvery generalな場合のBeauville–Voisin予想を証明する。

arXiv
2610.23376v1
初回投稿日
2026-10-16
原論文のライセンス
arXiv.org perpetual, non-exclusive license
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

Chow環は代数的サイクルを有理同値で分類するが、コホモロジーで零になるサイクルも多く、その全体を把握することは難しい。超Kähler多様体では、因子と接束のChern類という幾何学的に特別な類に限れば、コホモロジーが十分な情報を持つというBeauville–Voisin予想がある。

本論文はDebarre–Voisin四次元多様体について、周囲のGrassmann多様体から来るサイクルの環を具体的に決定する。結果は全ての滑らかなDebarre–Voisin四次元多様体で成立し、そのambient部分環上でサイクル類写像は単射となる。

そこからPicard数1の場合、特にvery generalな場合に予想を導く。主定理のambient環に関する主張と、因子全体を含む予想の結論では仮定が異なるため、全てのPicard数で予想を解決したと読むべきではない。

背景と問題設定

Chow群の係数は有理数とする。K3曲面$S$について、既知のBeauville–Voisin定理は次数1の類$o_S$を用いて

$$ DD'=\deg(DD')o_S,\qquad c_2(T_S)=24o_S $$

を与える。本論文中のTheorem 1.1はこの既知の結果である。一般の射影的既約正則シンプレクティック多様体$X$については、

$$ R^*(X)=\langle\operatorname{CH}^1(X),c_i(T_X)\rangle_{\mathbb Q} $$

上でサイクル類写像が単射になる、というConjecture 1.2が研究対象となる。

10次元複素ベクトル空間$V$と$0\ne\sigma\in\bigwedge^3V^\vee$に対し、

$$ Y_\sigma=\lbrace W\in\operatorname{Gr}(6,V):\sigma|_W=0\rbrace $$

が滑らかな四次元の零点スキームであるとき、これがDebarre–Voisin四次元多様体となる。Grassmann多様体の普遍商束を$\mathcal Q$とし、$q_j=c_j(\mathcal Q|_Y)$、$h=q_1$、$z=44q_2-19h^2$とおく。

主結果

ambient Chow環（Theorem 1.3）

Grassmann多様体から制限される環$\operatorname{CH}^*_{\mathrm{amb}}(Y)$の全ての類は、コホモロジーによって検出される。すなわち、この部分環に制限したサイクル類写像は単射であり、次数付き環として

$$ \mathbb Q[H,\zeta]/(H\zeta,\zeta^2-11H^4) \simeq\operatorname{CH}^*_{\mathrm{amb}}(Y),\qquad H\mapsto h,\quad\zeta\mapsto z $$

が成立する。ここで$\deg H=1$、$\deg\zeta=2$である。特に$\operatorname{CH}^3_{\mathrm{amb}}(Y)=\mathbb Qh^3$、$\operatorname{CH}^4_{\mathrm{amb}}(Y)=\mathbb Qh^4$となる。主張の対象はChow環全体ではなく、このambient部分環である。

Beauville–Voisin予想（Corollary 1.4）

Picard数1の滑らかなDebarre–Voisin四次元多様体ではConjecture 1.2が成立する。従ってvery generalな$Y_\sigma$でも成立する。very generalとは、パラメータ空間の可算個の真の閉部分集合の和の外側を意味する。

Picard数1なら因子類をPlücker偏極で制御でき、接束のChern類と合わせて主定理の部分環に帰着できる。予想の全ての超Kähler多様体への一般化まで主張しているわけではない。

証明の見取り図

接束の第三Chern類の消滅からまず

$$ 3h^3-8hq_2+5q_3=0 $$

を得る。次に$Y$と、同じ交代形式で定まる$\operatorname{Gr}(3,V)$の超平面切断とのincidence対応を使い、既存のChow群消滅定理から関係式を取り出す。

残る関係式は、そのincidence多様体上の階数12の束の零点を持たない切断から得られる。最高Chern類の消滅をGrassmann束のGysin公式で押し出し、交点積でコホモロジー上の線形独立性を確かめる。さらに接束の第二・第四Chern類を計算して系を導く。普遍族から各ファイバーに制限される類がambient類に一致することから、コホモロジーで零ならChow群でも零となるFranchetta性も得られる。

原論文との対応