代数幾何学 · 2026-08-06

Murphy's law in non-abelian Hodge theory

非可換 Hodge 理論における Murphy の法則

Gregorio Baldi, Yeuk Hay Joshua Lam

gregorio-baldi-1kvl7z5 yeuk-hay-joshua-lam-1hz9hlv hodge-theory Hodge theory ホッジ理論

arXiv Abstract

We construct explicit examples of non-integral variations of $\mathbb{Q}$-Hodge structures. Our approach leverages Fenchel--Nielsen-type parameterizations, due to Kabaya and Maskit, of the Teichmüller component of relative character varieties. Additionally, we discuss various Diophantine results concerning the $\mathcal{O}_{K,S}$-integral points of such character varieties, and give a new proof of Beauville's classical theorem on families of elliptic curves. We conclude by collecting \emph{pathological behaviors} of the Hodge locus of non-integral $\mathbb{Q}$VHS, in particular the failure of the Cattani--Deligne--Kaplan theorem and the André--Oort conjecture; our results indicate that for $\mathbb{Q}$VHS which are not $\mathbb{Z}$VHS, what can go wrong must go wrong.

日本語要約

整数係数の variation of Hodge structures からは得られない、非整係数の有理 Hodge 構造の変動を明示的に構成する。相対指標多様体の Teichmüller 成分に対する Kabaya と Maskit の Fenchel--Nielsen 型パラメータ表示を用い、その $S$-整点に関する Diophantine 的結果や Beauville の古典的定理の新しい証明も与える。さらに、非整係数の有理 VHS の Hodge locus では、整数係数の場合の剛性に対応する性質が破れる例をまとめる。

We construct explicit examples of non-integral variations of $\mathbb{Q}$-Hodge structures. Our approach leverages Fenchel--Nielsen-type parameterizations, due to Kabaya and Maskit, of the Teichmüller component of relative character varieties. Additionally, we discuss various Diophantine results concerning the $\mathcal{O}_{K,S}$-integral points of such character varieties, and give a new proof of Beauville's classical theorem on families of elliptic curves. We conclude by collecting \emph{pathological behaviors} of the Hodge locus of non-integral $\mathbb{Q}$VHS, in particular the failure of the Cattani--Deligne--Kaplan theorem and the André--Oort conjecture; our results indicate that for $\mathbb{Q}$VHS which are not $\mathbb{Z}$VHS, what can go wrong must go wrong.

整数係数をもたない有理 Hodge 構造の変動を明示的に構成し、非可換 Hodge 理論で整合性を外すと生じる病理を調べる論文である。曲線上の稠密モノドロミーをもつ例、指標多様体の $S$-整点、非整係数 Hodge locus の振る舞いを結びつける。

arXiv
2608.02875v1
初回投稿日
2026-08-03
原論文のライセンス
Creative Commons Attribution 4.0 International (CC BY 4.0)
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

古典的 Hodge 予想に対する非可換版として、複素準射影多様体上の整数局所系が偏極複素 variation of Hodge structures（VHS）を支えるなら幾何学的起源をもつ、という予想が考えられている。Introduction は、古典的 Hodge 予想が整数係数では成立しないにもかかわらず非可換版では整数係数が要請される点に注目し、有理局所系まで広げたとき何が壊れるかを問う。

背景と問題設定

単なる unitary character の例ではモノドロミーが小さいため、著者らはより強い例を構成する。

主結果

稠密モノドロミーをもつ非整係数 VHS（Theorem 1.2）

Theorem 1.2 は、任意の種数 $g\geq2$ について、$\mathrm{SL}_2$ に Zariski 稠密なモノドロミーをもち、非整係数の有理 VHS の複素直和因子となる階数 2 局所系を支える曲線が無限に存在すると述べる。その adjoint 局所系も非整係数の有理 VHS を支える。

これらは非整係数なので幾何学的起源ではない。一方で、Simpson 対応に対する bi-algebraic 性と幾何学的起源を結ぶ「Higgs standard conjecture」の候補にとって試験例になる。Introduction では、この予想から例に現れる曲線が $\overline{\mathbb{Q}}$ 上定義されないはずだという Conjecture 1.4 を導くが、これは本論文の証明済み結論ではない。

次に、有限素数集合 $S$ を正確に反映する trace ring をもつ局所系を調べる。

所定の $S$-integrality をもつ曲線（Theorem 1.6）

Theorem 1.6 は、空でない任意の有限集合 $S$ と任意の $g\geq2$ に対し、離散かつ忠実なモノドロミーをもつ所定の $S$-integrality 性質の階数 2 局所系を支える、互いに非同型な滑らかな射影曲線が無限にあると述べる。整数の場合には対応する曲線が有限になることとの対照が重要である。

signature $(0,4)$ と Beauville の定理（Theorem 1.8）

4 点を除いた射影直線に対応する signature $(0,4)$ では、整数の場合に該当する曲線は 4 本だけだが、$S$ が空でなければ無限に存在する（Theorem 1.8）。Maskit の明示的パラメータ表示によって整数点を可視化し、Beauville の楕円曲線族に関する古典的結果の新しい証明を得る。非空の $S$ に対しては、Teichmüller 成分の $S$-整点が mapping class group の無限個の軌道をなすことが背後にある。

構成される VHS は Simpson の意味で uniformizing であり、相対指標多様体の Teichmüller 成分と Kabaya・Maskit のパラメータ表示から得られる。Introduction は、この方法がより一般の実数体係数にも適用でき、同じ「$K$-VHS」に関する二つの定義が一致しない例も作れると説明する。

実数体係数の二つの VHS 条件（Theorem 1.11）

Theorem 1.11 は、別の実埋め込みで得た局所系が VHS を支えないような、非 unitary な $K$-VHS の存在を述べる。

最後に、非整係数の有理 VHS の Hodge locus では整数係数の場合に期待される剛性が大きく破れる。Introduction が挙げる例では、CM 点が稠密でも VHS が special にならず、André--Oort 型の結論が失敗する。表題の「Murphy's law」は、整係数性を外した非可換 Hodge 理論では起こり得る病理が実際に起こる、という一連の現象を指している。

主結果のまとめ

  • 任意の種数 $g\geq2$ で、Zariski 稠密モノドロミーをもち非整係数の有理 VHS に現れる階数 2 局所系をもつ曲線を無限に構成する（Theorem 1.2）。
  • 任意の非空な有限素数集合 $S$ に対し、$S$-integrality を示す trace ring と離散忠実モノドロミーをもつ例を無限に与える（Theorem 1.6）。
  • signature $(0,4)$ の指標多様体で、整数の場合の有限性と非空 $S$ の場合の無限性を対比し、Beauville の定理を別の方法で導く（Theorem 1.8）。
  • 実数体 $K$ の異なる埋め込みを考えると、$K$-VHS の二つの定義が一致しない例を与える（Theorem 1.11）。
  • 非整係数の有理 VHS の Hodge locus では André--Oort 型の性質などが失敗することを示す。

証明の見取り図

Section 2 で係数付き VHS、相対指標多様体、Teichmüller 理論を準備し、Section 3 で unitary の場合を扱う。Sections 4–5 では signature $(0,4)$ に対する Maskit の表示と $S$-整 Markoff 型解を調べ、Section 6 で Kabaya の Fenchel--Nielsen 表示を用いて任意種数の Theorem 1.6 を証明する。Section 7 は非整係数 VHS の Hodge locus に現れるさらなる病理を集める。

原論文との対応

  • Abstractページ: arXiv:2608.02875
  • Introduction: Section 1, pp. 1–5
  • Introduction中で言及された主要定理番号: Theorems 1.2, 1.6, 1.8, 1.11; Conjecture 1.4
  • 論文構成の説明: Section 1.3, pp. 4–5
  • 確認したarXivバージョン: v1
  • 確認したライセンス: CC BY 4.0（arXiv Abstractページの表示）
  • source_scope: Abstract and Introduction