代数的サイクルの標準予想
数学では、代数的サイクルについての標準予想(standard conjectures)とは、代数的サイクルとヴェイユ・コホモロジー論の関係を記述する一連の予想のことを言う。これらの予想の応用のひとつは、アレクサンドル・グロタンディーク(Alexander Grothendieck)が想定していたことであるが、彼のピュアモチーフの構成が半単純なアーベル圏をもたらすことを証明するためであった。さらに、彼が指摘したように、標準予想はヴェイユ予想の最も困難な部分の証明をも意味する。最も困難な部分とは、1960年代の終わりにまだ未解明であり、後日、ピエール・ドリーニュ(Pierre Deligne)により証明されることとなった「リーマン予想」の部分を言う。ヴェイユ予想と標準予想の関係の詳細はKleiman (1968) を参照。標準予想は未解決のままであり、その応用は結果の条件付き証明(英語版)(conditional proof)を与えるだけでしかない。ヴェィユ予想を含む非常にまれな場合には、条件なしでそのような結果を証明することのできる別の方法が見つかっている。
固定したヴェイユコホモロジー理論 H (の存在)を、標準予想の古典的定式化は意味している。予想の全体は「代数的」なコホモロジー類を扱っていて、滑らかな射影多様体のコホモロジー上の射
H(X) → H(X)
が、サイクル類写像を通して積 X × X 上の有理係数の代数的サイクルである。このことがヴェイユコホモロジーの構造の一部となっている。
予想 A は予想 B と同値である(Grothendieck (1969), p. 196 を参照)ので、本記事でリストアップしない。