原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
ホッジ予想 （ホッジよそう、英 : Hodge conjecture ）は、代数幾何学 の大きな未解決問題 であり、非特異複素多様体と部分多様体の代数トポロジーに関連している。ホッジ予想は、複素解析多様体 のあるホモロジー類（ホッジ類 ）は、代数的なド・ラームコホモロジー 類であろう、つまり、部分多様体のホモロジー類のポアンカレ双対 の和として表されるようなド・ラームコホモロジー類であろうという予想である。この定式化は、スコットランドの数学者ウィリアム・ホッジ により、1930年から1940年のド・ラームコホモロジーの記述を、複素多様体の場合に存在する余剰な構造を含む記述へと拡張する仕事の結果として得られた。1950年の米国のマサチューセッツ州 ケンブリッジで行われた、国際数学者会議 でホッジが提起すると、ホッジ予想は非常に注目をあびるようになった。クレイ数学研究所 は、ミレニアム懸賞問題 の一つとして、解決者に対して100万ドルの懸賞金 を支払う事を約束している。
X を複素 n 次元のコンパクト な複素多様体 とすると、X は実 2n 次元の向き付け可能 な微分可能多様体 である。従って、X 上のコホモロジー群 は 0 から 2n まで以外では消える。X をケーラー多様体 と仮定すると、複素数を係数とするコホモロジーの分解が存在して、
H
k
(
X
,
C
)
=
⨁
p
+
q
=
k
H
p
,
q
(
X
)
,
{\displaystyle H^{k}(X,\mathbf {C} )=\bigoplus \nolimits _{p+q=k}H^{p,q}(X),}
となる。ここに Hp, q (X ) は、タイプが (p , q ) の調和形式 により表されるコホモロジー類である。すなわち、これらは、ある局所座標 z 1 , ..., z n 調和函数 と
d
z
i
1
∧
⋯
∧
d
z
i
p
∧
d
z
¯
j
1
∧
⋯
∧
d
z
¯
j
q
.
{\displaystyle dz_{i_{1}}\wedge \cdots \wedge dz_{i_{p}}\wedge d{\bar {z}}_{j_{1}}\wedge \cdots \wedge d{\bar {z}}_{j_{q}}.}
の積として表されるような微分形式 によって表現されるコホモロジー類である（さらに詳しくはホッジ理論 を参照のこと）。これらの調和函数を使う表現のウェッジ積をとることは、コホモロジーのでのカップ積 に対応するので、カップ積はホッジ分解と整合性を持っている。
∪
:
H
p
,
q
(
X
)
×
H
p
′
,
q
′
(
X
)
→
H
p
+
p
′
,
q
+
q
′
(
X
)
.
{\displaystyle \cup :H^{p,q}(X)\times H^{p',q'}(X)\rightarrow H^{p+p',q+q'}(X).\,}
X はコンパクトな向き付け可能な多様体であるから、X は基本類 を持っている。
Z を X の次元 k の複素部分多様体として、i : Z → X を埋め込み写像とする。タイプ (p , q ) の微分形式 α を選択する。すると α を次式のように Z 上積分することができる。
∫
Z
i
∗
α
.
{\displaystyle \int _{Z}i^{*}\alpha .}
この積分を計算するために、Z の上の点を選び、それを 0 とする。X の上の 0 の周りの局所座標 z 1 , ..., zn で Z がちょうど z k + 1zn = 0 となる座標を選択することができる。もし p > k であれば、α はある dzi に含まれねばならない。ここに zi は Z 上の 0 に引き戻す。q > k の場合でも同じことが成り立つ。結局、この積分は、(p , q ) ≠ (k , k ) であれば、ゼロとなる。
さらに抽象化すると、積分は Z のホモロジー類と α により表されるコホモロジー類のキャップ積 として書くことができる。ポアンカレ双対性 により、Z のホモロジー類はコホモロジー類 [Z ] の双対であり、[Z ] と α のカップ積と X の基本類とのキャップ積を取ることにより、（この積分値である）キャップ積を計算することができる。[Z ] はコホモロジー類であるので、ホッジ分解を持っている。上記の計算により、これ（基本類）とタイプが (p , q ) ≠ (k , k ) の任意のクラスとのカップ積を取ると、その結果はゼロとなることが分かる。H 2n (X , C ) = H n , n X ) であるので、[Z ] は H n -k , n -k X , C ) の中にある必要がある。大まかに言うと、ホッジ予想は次のように問うことと言える。
H k , k X ) の中のどのコホモロジー類が、複素部分多様体 Z から来たのであろうか？
Hdg
k
(
X
)
=
H
2
k
(
X
,
Q
)
∩
H
k
,
k
(
X
)
{\displaystyle \operatorname {Hdg} ^{k}(X)=H^{2k}(X,\mathbf {Q} )\cap H^{k,k}(X)}
とし、これを X 上の次数 2k のホッジ類 の群と呼ぶ。
ホッジ予想を現代的なステートメントにすると
ホッジ予想 . X を非特異な複素射影多様体とすると、X 上のすべてのホッジ類は、X の複素部分多様体のコホモロジー類の有理数係数の線形結合となる。
複素射影多様体は複素射影空間に埋め込むことのできる複素多様体である。射影空間はケーラー計量 であるフビニ・スタディ計量 を持つので、そのような（射影空間に埋め込める）多様体はいつもケーラー多様体 である。周の定理 により、複素射影多様体も滑らかな射影代数多様体でもある、つまり、同次多項式の集まりのゼロ点集合である。
ホッジ予想を述べるには別の方法、代数的サイクル X 上の代数的サイクルとは X の部分多様体の形式的な結合のこと、つまり、次式の形のものをいう。
∑
i
c
i
Z
i
.
{\displaystyle \sum \nolimits _{i}c_{i}Z_{i}.}
普通は、係数を整数もしくは有理数を取る。代数的サイクルのコホモロジー類を各構成成分の和として定義する。これはド・ラームコホモロジー のサイクル類の写像の例である。ヴェイユコホモロジー を参照。例えば、上記のサイクルのコホモロジー類は次のようになる。
∑
i
c
i
[
Z
i
]
.
{\displaystyle \sum \nolimits _{i}c_{i}[Z_{i}].}
このようなコホモロジー類を代数的 と呼ぶこととする。この用語を使うと、ホッジ予想は次のようになる。
X を複素射影多様体とすると、すべての X 上のホッジ類は代数的である。
X が代数的（複素射影多様体）であるというホッジ予想の条件は弱めることができない。1977年に、ズーカー(S. Zucker)は、ホッジ予想の反例を、射影代数的でない解析的なタイプ (p , p ) の有理数係数のコホモロジーを持つ複素トーラス として構成することができることを示した。（Zucker (1977) のappendix Bを参照のこと）
ホッジ予想の最初の結果は Lefschetz (1924) によって提供された。実際、この論文はホッジ予想に先行していて、ホッジ予想の成立にいくつかの動機をもたらした。
定理 （レフシェッツ(1,1)-クラスの定理 （英語版 ） H 2 (X , Z ) ∩ H 1,1 (X ) の任意の元は、X 上の因子 のコホモロジー類である。特に、H 2 について、ホッジ予想が成立する。
層コホモロジー と指数完全系列 を使うと、このことが非常に簡明に証明できる。（因子のコホモロジー類は第一チャーン類 に等しいことが分かる。）レフシェッツの元々の証明は、ポアンカレ (Henri Poincaré) により導入された正規函数 (normal function) を使い、成し遂げられている。しかし、グリフィス横断性定理 （英語版 ）
強レフシェッツ定理 により、
定理 次数が p < n であるホッジ類に対しホッジ予想が正しいとすると、ホッジ予想は次数が 2n - p のホッジ類に対して正しい。
が証明される。上記の2つの定理を結び合わせると、ホッジ予想が次数 2n − 2 のホッジ類に対して正しいことが証明される。このことによって X の次元が高々3のときにはホッジ予想が正しいことが証明できる。
レフシェッツ(1,1)-クラスの定理は、もしすべてのホッジ類が因子のホッジ類によって生成されるとするならば、ホッジ予想が成り立つことを意味する。
系 代数
Hdg
∗
(
X
)
=
∑
k
Hdg
k
(
X
)
{\displaystyle \operatorname {Hdg} ^{*}(X)=\sum \nolimits _{k}\operatorname {Hdg} ^{k}(X)}
が Hdg1 (X ) により生成されるとすると、X に対しホッジ予想が成り立つ。
強いレフシェッツ定理 と弱いレフシェッツの定理により、超曲面 についてのホッジ予想の唯一の非自明な部分は、2m 次元超曲面の次数 m の部分（つまり中間コホモロジー）
X
⊂
P
2
m
+
1
{\displaystyle X\subset \mathbf {P} ^{2m+1}}
d が 2、つまり、X が二次曲面 の場合には、ホッジ予想は、すべての m に対して成立する。m = 2、つまり、4次元多様体 の場合は、ホッジ予想は、
d
≤
5
{\displaystyle d\leq 5}
[ 1]
大半のアーベル多様体 に対し、代数 Hdg*(X ) は次数 1 で生成されるので、ホッジ予想が成り立つ。特に、ホッジ予想は、十分一般的なアーベル多様体、楕円曲線の積や単純アーベル多様体に対して成り立つ[要出典 。しかし、Mumford (1969) では、Hdg2 (X ) が因子クラスの積によって生成されないようなアーベル多様体の例を構成した。この例を Weil (1977) で、一般化した。このことは、多様体が虚二次体 によって虚数乗法 を持つときは、いつでも Hdg2 (X ) が因子類の積によっては生成されないことを示すことでなされた。Moonen & Zarhin (1999) は 5 より次元の小さい場合に対し、Hdg*(X ) が次数 1 で生成されるか、あるいは多様体が虚二次体の虚数乗法を持つかのいずれかであることを証明した。後者の場合には、ホッジ予想が成り立つ例は、特別ないくつかの場合だけしか知られていない。
ホッジの元来の予想
整数ホッジ予想 X を複素射影多様体とすると、H 2k (X , Z ) ∩ H k , k X ) の中のすべてのコホモロジー類は、X の上の整数係数の代数的サイクルのコホモロジー類である。
であった。ところが、現在はこれが誤りであることが知られている。最初の反例は、Atiyah & Hirzebruch (1961) により提出され、K-理論 を使い、トーション (torsion) を持つホッジ類の例として反例が構成された。トーションを持つホッジ類とは、ある正の整数 n に対し n α = 0 となるようなホッジ類 α のことをいう。そのような（トーションを持つ）コホモロジー類はサイクルの類にはなりえない。Totaro (1997) はこれらの結果をコボルディズム のフレームワークの中で再解釈し、トーションを持つ類の多くの例を見つけた。
整数ホッジ予想の最も単純な修正は、
トーションの剰余をとった整数ホッジ予想 (Integral Hodge conjecture modulo torsion) X を複素射影多様体とする。すると、H 2k (X , Z ) ∩ H k , k X ) のすべてのコホモロジー類は、X の整数係数を持つ代数的サイクルのトーション類とコホモロジー類の和となる。
同値なことではあるが、H 2k (X , Z ) ∩ H k , k X ) をトーション類で割ると、全ての類は整係数代数的サイクルのコホモロジー群の像 (image) となる。しかしこれも誤っている。Kollár (1992) は非代数的ではあるが代数的なサイクルの整数倍となっているホッジ類 α の例を見つけた。
ホッジ予想を自然に一般化すると次のように言うことができるであろう。
ホッジ予想のケーラー多様体のナイーブなバージョン X を複素ケーラー多様体とすると、すべての X 上のホッジ類は、X の複素部分多様体のコホモロジー類の有理数係数の線形結合であろう。
この予想も楽観的すぎる。何故ならば、これを行うための豊富に部分多様体が存在するとは言えないからである。次の一つか二つの問題を問うことができる状況になっている。
ケーラー多様体のホッジ予想のベクトルバンドルのバージョン X を複素ケーラー多様体とする。すべての X のホッジ類は X 上のベクトルバンドルのチャーン類の有理係数の線形結合である。
ケーラー多様体のホッジ予想の連接層のバージョン X を複素ケーラー多様体とする。すべての X のホッジ類は X 上の連接層 のチャーン類の有理係数の線形結合である。
Voisin (2002) は、連接層のチャーン類がベクトルバンドルのチャーン類よりもより厳密なホッジ類を与えることと、連接層のチャーン類であってもすべてのホッジ類を生成するには不十分であることを証明した。結局、ケーラー多様体についてのホッジ予想で現在知られている定式化は、皆、誤りであることが判明している。
ホッジはさらに整数ホッジ予想よりも強い予想を立てた。X 上のコホモロジーが、余次元が c である部分多様体上のコホモロジーから来たコホモロジーであるときに、レベル c と呼ぶことにする。少なくともレベルが c であるコホモロジー類は X のコホモロジー類をフィルターにかけると、c 番目のフィルトレーション Nc Hk (X , Z ) が次の式を満たすことが容易に分かる。
N
c
H
k
(
X
,
Z
)
⊆
H
k
(
X
,
Z
)
∩
(
H
k
−
c
,
c
(
X
)
⊕
⋯
⊕
H
c
,
k
−
c
(
X
)
)
.
{\displaystyle N^{c}H^{k}(X,\mathbf {Z} )\subseteq H^{k}(X,\mathbf {Z} )\cap (H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)).}
ホッジの元来のステートメントは以下であった。
一般化されたホッジ予想、ホッジのバージョン 次の式は等号が成立するであろう。
N
c
H
k
(
X
,
Z
)
=
H
k
(
X
,
Z
)
∩
(
H
k
−
c
,
c
(
X
)
⊕
⋯
⊕
H
c
,
k
−
c
(
X
)
)
.
{\displaystyle N^{c}H^{k}(X,\mathbf {Z} )=H^{k}(X,\mathbf {Z} )\cap \left(H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)\right).}
Grothendieck (1969) では、たとえ有理数係数の場合でも、これが正しくないことが認識されていた。何故ならば、右辺がいつもホッジ構造 であるとは限らないからである。グロタンディークがホッジ予想を修正した形は、次の形である。
一般化されたホッジ予想 Nc Hk (X , Q ) は、
H
k
−
c
,
c
(
X
)
⊕
⋯
⊕
H
c
,
k
−
c
(
X
)
{\displaystyle H^{k-c,c}(X)\oplus \cdots \oplus H^{c,k-c}(X)}
に含まれる Hk (X , Z ) の最も大きな部分ホッジ構造であろう。
このバージョンは未解決である。
ホッジ予想を支持する最も強い証拠は、Cattani, Deligne & Kaplan (1995) の示している代数性 である。単連結な基底の上の X の複素構造を変形すると仮定すると、X のトポロジカルなコホモロジーは変わらないが、ホッジ分解は変化する。もしホッジ予想が正しければ、ファイバーのコホモロジーがホッジ類となっている基底上のすべての点の軌跡は、実際、代数的な部分集合、つまり多項式でカットした部分集合となっている。カッターニ (Cattani) とドリーニュ (Deligne) とカプラン (Kaplan) は1995年にホッジ予想を仮定することなしに、これらが正しいことを証明した。
^ James Lewis: A Survey of the Hodge Conjecture , 1991, Example 7.21
Atiyah, M. F. ; Hirzebruch, F. (1961), “Vector bundles and homogeneous spaces”, Proc. Sympos. Pure Math. 3 : 7–38 Cattani, Eduardo ; Deligne, Pierre ; Kaplan, Aroldo (1995), “On the locus of Hodge classes” , Journal of the American Mathematical Society 8 (2): 483–506, doi :10.2307/2152824 , JSTOR 2152824 , MR 1273413 , https://jstor.org/stable/2152824 Grothendieck, A. (1969), “Hodge's general conjecture is false for trivial reasons”, Topology 8 (3): 299–303, doi :10.1016/0040-9383(69)90016-0 Hodge, W. V. D. (1950), “The topological invariants of algebraic varieties”, Proceedings of the International Congress of Mathematicians (Cambridge, MA) 1 : 181–192 Kollár, János (1992), “Trento examples”, in Ballico, E.; Catanese, F.; Ciliberto, C., Classification of irregular varieties , Lecture Notes in Math., 1515 , Springer, p. 134, ISBN 3-540-55295-2 Lefschetz, Solomon (1924) (French), L'Analysis situs et la géométrie algébrique , Collection de Monographies publiée sous la Direction de M. Emile Borel, Paris: Gauthier-Villars Lefschetz, Solomon (1971), Selected papers , New York: Chelsea Publishing Co., ISBN 978-0-8284-0234-7 , MR 0299447 Moonen, B. J. J. ; Zarhin, Yu. G. (1999), “Hodge classes on abelian varieties of low dimension”, Mathematische Annalen 315 (4): 711–733, arXiv :math/9901113 , doi :10.1007/s002080050333 Mumford, D. (1969), “A Note of Shimura's paper "Discontinuous groups and abelian varieties"”, Math. Ann. 181 (4): 345–351, doi :10.1007/BF01350672 Totaro, B. (1997), “Torsion algebraic cycles and complex cobordism” , Journal of the American Mathematical Society 10 (2): 467–493, arXiv :alg-geom/9609016 , doi :10.1090/S0894-0347-97-00232-4 , JSTOR 2152859 , https://jstor.org/stable/2152859 Voisin, Claire (2002), “A counterexample to the Hodge conjecture extended to Kähler varieties”, Int Math Res Notices 2002 (20): 1057–1075, doi :10.1155/S1073792802111135 Weil, A. (1977), “Abelian varieties and the Hodge ring”, Collected papers III : pp. 421–429 Zucker, S. (1977), “The Hodge conjecture for cubic fourfolds”, Comp. Math 34 : 199–209 http://archive.numdam.org/ARCHIVE/CM/CM_1977__34_2/CM_1977__34_2_199_0/CM_1977__34_2_199_0.pdf
![{\displaystyle \sum \nolimits _{i}c_{i}[Z_{i}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0e4ddd423e67a9d03bc061d22033885561ee995)
