代数幾何学 · 2026-10-02
An explicit form of the standard conjecture of Hodge type for Hermitian varieties, with $p$-adic applications
Hermitian多様体に対するHodge型標準予想の明示形とp進応用 Shushi Harashita shushi-harashita-6zngb2 hodge-theory algebraic-cycles-enumerative Hodge theory ホッジ理論 Algebraic cycles and enumerative geometry 代数的サイクル・数え上げ幾何arXiv Abstract
Let $X$ be a nonsingular Hermitian variety of even dimension over a finite field, and let $\Lambda$ be the lattice spanned by the classes of its maximal totally isotropic linear subspaces defined over the base field. By work of Dummigan, Dummigan--Tiep and Shimada, these classes span the middle cohomology, and the intersection form on the primitive part is definite, as predicted by the standard conjecture of Hodge type. We give an elementary proof, which avoids the representation theory of finite unitary groups and uses only the dual polar graph attached to the Hermitian form. It shows that the intersection form on the primitive part is an explicit positive multiple of a Euclidean inner product. The advantage of the new proof is that it also controls $\Lambda$ $p$-adically. If $X$ is defined over $\F_{q^2}$ and has dimension $2m$, every $p$-adic elementary divisor of the intersection matrix of these subspaces divides $q^m$. Consequently $q^m$ times every algebraic cycle of codimension $m$ is numerically equivalent to an integral combination of them. As a by-product, the standard conjecture of Hodge type holds for varieties finitely covered by Hermitian varieties, and the $p$-adic bound descends along finite morphisms of degree prime to $p$.
日本語要約
有限体上の非特異な偶数次元Hermitian多様体の中間次元コホモロジーを、最大全等方線形部分空間の類で調べる。primitive partの交点形式がEuclidean内積の明示的な正倍であることをdual polar graphから示し、Hodge型標準予想を得る。さらに交点行列の$p$進elementary divisorが$q^m$を割ることを証明し、有限被覆への帰結も導く。
Let $X$ be a nonsingular Hermitian variety of even dimension over a finite field, and let $\Lambda$ be the lattice spanned by the classes of its maximal totally isotropic linear subspaces defined over the base field. By work of Dummigan, Dummigan--Tiep and Shimada, these classes span the middle cohomology, and the intersection form on the primitive part is definite, as predicted by the standard conjecture of Hodge type. We give an elementary proof, which avoids the representation theory of finite unitary groups and uses only the dual polar graph attached to the Hermitian form. It shows that the intersection form on the primitive part is an explicit positive multiple of a Euclidean inner product. The advantage of the new proof is that it also controls $\Lambda$ $p$-adically. If $X$ is defined over $\F_{q^2}$ and has dimension $2m$, every $p$-adic elementary divisor of the intersection matrix of these subspaces divides $q^m$. Consequently $q^m$ times every algebraic cycle of codimension $m$ is numerically equivalent to an integral combination of them. As a by-product, the standard conjecture of Hodge type holds for varieties finitely covered by Hermitian varieties, and the $p$-adic bound descends along finite morphisms of degree prime to $p$.
有限体上の偶数次元Hermitian多様体について、最大全等方線形部分空間の交点形式をdual polar graphから明示し、Hodge型標準予想を表現論に頼らず証明する。さらに交点行列の$p$進elementary divisorを制御し、代数的サイクルの整係数生成に量的帰結を与える。
algebraic-geometry 2026書誌情報
- arXiv: arXiv:2610.01731
- 著者: Shushi Harashita
- 初回投稿日・最終更新日: 2026年10月01日
- 主分類・副分類: math.AG
- ライセンス: Creative Commons Attribution 4.0 International
要約
正標数におけるGrothendieckのHodge型標準予想は一般には未解決である。本論文は有限体上のHermitian多様体に対象を絞り、中間次元の代数的サイクルの交点形式を組合せ論的に扱う。
従来の有限unitary群の表現論による議論を避け、最大全等方線形部分空間を頂点とするdual polar graphの固有値からprimitive partの正定値性を直接導く。方法が積分的情報を保つため、$p$進elementary divisorにも上界が得られる。
背景と問題設定
次元$2m$のHermitian多様体$X/\mathbb F_{q^2}$で、最大全等方$m$次元線形部分空間のサイクル類が張る格子を$\Lambda$とする。問題は$\Lambda$の交点形式の符号と整係数指数を同時に理解することである。
主結果
交点形式の明示化
Introductionでは主結果が、primitive partの交点形式をEuclidean内積の明示的な正倍として同定するものと述べられている。これにより偶数次元Hermitian多様体に対するHodge型標準予想が従う。
$p$進評価
交点行列の全ての$p$進elementary divisorは$q^m$を割る。従って任意の余次元$m$代数的サイクルの$q^m$倍は、最大全等方線形部分空間の整係数線形結合と数値同値である。次数が$p$と互いに素な有限射の下でもこの評価が降下する。
証明の見取り図
交点数を二つの全等方部分空間の交わりの次元だけで記述し、交点行列をdual polar graphのadjacency algebraの元として表す。その固有空間分解がprimitive partと対応し、固有値の明示計算が正定値性と$p$進評価を同時に与える。
原論文との対応
- Abstractページ: arXiv:2610.01731
- Introduction: Section 1
- Introduction中で言及された主要定理番号: 本文の主結果節に記載
- 確認したarXivバージョン: v1
- 確認したライセンス: Creative Commons Attribution 4.0 International
- source_scope: Abstract and Introduction