モチーフ (数学)
 | 原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 |
代数幾何学では、モチーフ(motive、ときにはフランス語の使いかたに従い motif とすることもある)は、代数多様体の本質的な部分を表す。今日まで、ピュアモチーフは定義されているが、一方、予想されている混合モチーフは定義されていない。[要出典] ピュアモチーフは、三つ組 (X, p, m) で、この X は滑らかな射影多様体、p : X ⊢ X はべき等な(idempotent)対応、m は整数である。(X, p, m) から (Y, q, n) への射(morphism)は、次数 n - m の対応により与えられる。
アレクサンドル・グロタンディーク(Alexander Grothendieck)に従い、混合モチーフに限っては、数学者たちが「普遍的」なコホモロジー論をもたらす適切な定義を求めている。圏論の言葉では、普遍的なコホモロジーは代数的代数的対応の圏でべき等分解(splitting idempotents)を通した定義を意図していた。しかし、数十年間、標準予想を証明することに失敗して、これを定義することができなかった。現在示されているように、このことは「充分な」多くの射を持つことができない。[要出典] 一方、モチーフの圏は、1960年代から1970年代にかけて、多く議論された普遍ヴェイユコホモロジーであることが想定されたが、この期待は完全に証明されてはいない。他方、現在は、全く異なる方法より、モチーフコホモロジー(motivic cohomology)が、現在、テクニカルな定義が数多くある。
導入
元来、モチーフの理論は、ベッチコホモロジー、ド・ラームコホモロジー、l-進エタールコホモロジー、クリスタリンコホモロジー(crystalline cohomology)を含む、急速に増えてきたコホモロジー論を統一しようとの試みである。一般的な期待は、
- [点]
- [射影直線] = [直線] + [点]
- [射影平面] = [平面] + [直線] + [点]
のような方程式が、深い意味をもった確固とした数学的基礎として採用できるという期待である。もちろん、上の方程式は、多くの意味で正しいことがすでに知られている。例えば、CW複体(CW-complex)では、"+" は胞体(cell)の連結に対応していて、様々なコホモロジー論で "+" は直和に対応している。
他の観点からは、モチーフは、多様体の因子上の有理函数から多様体の周群(Chow group)の上の有理函数への一般化へと繋がっている。モチーフは有理同値以外にも多くのタイプの同値の観点から考えることが可能であるので、一般化は様々な方向で発生する。適切な同値関係(adequate equivalence relation)の定義により、構成する同値関係が与えられる。
ピュアモチーフの定義
ピュアモチーフの圏は、多くの場合 3段階で進行する。以下に、k を任意の体として、周モチーフ(Chow motives) Chow(k) の例を挙げる。
第一段階： (次数 0) 対応の圏, Corr(k)
Corr(k) の対象(object)は、単純に k 上の滑らかな射影多様体である。射(morphism)は対応である。対応は、多様体の射 X → Y の一般化であり、これには X × Y の中のグラフが伴われていて、X × Y 上の決まった次元の周サイクル(Chow cycles)へ一般化される。
Corr(k) の射は、次数が 0 の対応であるにもかかわらず、任意次数の対応を記述することは有益である。詳しく言うと、X と Y を滑らかな多様体、
「モチーフ (代数幾何学)」の例文・使い方・用例・文例
- 彼が桜の花をモチーフにした
- 何がその絵のモチーフなのか議論されている。
- これが彼が求めていたモチーフです。
- 花をモチーフにした彼の新しい作品
- パラディアンモチーフとして知られるよく模倣されたアーチと柱の構成
- 花のモチーフから成るスカンジナビア様式に彫られたあるいは塗装された装飾（家具、壁または食器のように）
- 伝統的なテーマ、モチーフまたは文学的慣習
- この期間中，毎日午後に行われるパレードは，特別な記念の風船をモチーフとしている。
- 東京都内の京(けい)王(おう)プラザホテル２か所で先日，ハローキティのモチーフで飾られた特別室が利用可能になった。
- モチーフ_(代数幾何学)のページへのリンク
