ホッジ予想（読み）ホッジよそう（その他表記）Hodge conjecture

デジタル大辞泉

ホッジ‐よそう〔‐ヨサウ〕【ホッジ予想】

代数幾何学における未解決問題。1950年、国際数学者会議（ICM）において英国の数学者ウィリアム＝ホッジが提起。代数幾何、位相幾何、複素解析という異なる分野で記述された、ある数学的構造を結びつけることが可能かを問うもの。特定の低次元の場合には証明されているが、一般化した場合については未解決。ミレニアム問題の一。

出典　小学館

ブリタニカ国際大百科事典 小項目事典

ホッジ予想
ホッジよそう
Hodge conjecture

1941年にイギリスの数学者ウィリアム・ホッジによって定式化された，代数幾何学における予想。1950年に開催された国際数学者会議における講演で予想として提唱された。代数幾何学はいくつかの多項式で定められた図形の性質を研究する数学の分野である。複素変数（→複素数）のいくつかの斉次多項式（→同次式）の値が 0になることで定まる図形を複素射影的代数多様体という。複素射影的代数多様体は複素射影空間の部分集合とみなし，ここでは特異点をもたないものを考える。複素射影的代数多様体において次数が kの調和微分形式が生成する線形空間を k次コホモロジーと呼ぶ。このような k次のコホモロジーのうち正則微分の次数が pで反正則部分の次数が qであるような調和微分形式で生成される部分空間をタイプ（p，q）のコホモロジーと呼ぶ。k次コホモロジーは，p＋q＝k となるようなタイプ（p，q）のコホモロジーの和に分解する。これをホッジ分解と呼ぶ。複素射影的代数多様体においてさらにいくつかの斉次多項式が 0になるような部分集合を代数サイクルと呼ぶ。ホッジ予想とは「タイプ（p，p）のコホモロジーの要素は，常に代数サイクルの線形結合で実現される」という予想である。p＝1 の場合は正しいことが知られている。また，アーベル多様体などいくつかの複素射影的代数多様体について正しいことが確かめられている。2000年にアメリカ合衆国のクレイ数学研究所が数学の七つの未解決問題をミレニアム問題として提出し，それぞれの問題に 100万ドルの懸賞金をかけた。ホッジ予想はこれらの問題の一つとしてあげられている。

出典　ブリタニカ国際大百科事典 小項目事典