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