ミレニアム懸賞問題

みれにあむけんしょうもんだい

ミレニアム懸賞問題とは、アメリカのクレイ数学研究所が2000年に発表した全7問の数学問題。2020年現在で1問しか解かれていない。

概要

アメリカ・マサチューセッツ州にある非営利組織「クレイ数学研究所」によって2000年に発表された非常に難解な計算問題。

全7問で構成されるが、2021年現在まだ1問しか解かれていない。

1問正解するごとに賞金100万ドル(約1億円)がもらえる。賞金を受け取るためには、自分の回答を数学雑誌などで発表し、その理論が世間から支持されるか様子を見るために約2年の間隔が必要になる。

任意のコンパクトな単純ゲージ群Gに対して、非自明な量子ヤン・ミルズ理論が'R4上に存在し、質量ギャップΔ>0を持つことを証明せよ。

リーマンゼータ関数ζ(s)の非自明な零点sは全て、実部が1/2の直線上に存在する。

計算複雑性理論（計算量理論）におけるクラスPとクラスNPが等しくない。

3次元空間と（1次元の）時間の中で、初期速度を与えると、ナビエ–ストークス方程式の解となる速度ベクトル場と圧力のスカラー場が存在して、双方とも滑らかで大域的に定義されるか。

単連結な3次元閉多様体は3次元球面S3に同相である(3次元閉多様体の中で単連結という条件を満たすのは、3次元球面だけだろう)。

2003年にロシアの数学者グレゴリー・ペレルマンによって解決された。

ペレルマンは先に「サーストンの幾何化予想」を解決し、それに関連して「ポアンカレ予想」を解決した。

「サーストンの幾何化予想」とは「コンパクト3次元多様体は、幾何構造を持つ8つの部分多様体に分解される(球面分解し、トーラス分解した3次元閉多様体の形状は8種類に大別される)」というもの。

この「8種類」の3次元閉多様体の内、「単連結」という条件を満たすのは「S3」だけなので、ポアンカレ予想の主張が正しい事が証明された。

複素解析多様体のあるホモロジー類は、代数的なド・ラームコホモロジー類であろう。つまり、部分多様体のホモロジー類のポアンカレ双対の和として表されるようなド・ラームコホモロジー類であろう。

楕円曲線E上の有理点と無限遠点Oのなす有限生成アーベル群の階数（ランク）が、EのL関数 L(E, s) のs=1における零点の位数と一致する。

コラッツ予想:ミレニアム懸賞問題以外で懸賞金が掛けられている数学上の未解決問題。

ABC予想:数学上の未解決問題の1つ。2012年に京都大学の望月教授によって「解決した」とされる論文がネットに公開され、2021年に国際的な数学誌「PRIMS（ピーリムス）」に掲載された。しかし、論文の内容は極めて難解であり、証明を疑問視する数学者もいる。

ウルトラマンZ：第6話にて、ギルバリス打倒のための切り札として扱われた。

トリビアの泉：番組内で「解くと100万ドル貰える計算問題がある」と紹介された。