数学において、ホッジ構造(ホッジせつぞく、英: Hodge structure)は、 WVD Hodgeにちなんで名付けられ、線型代数のレベルでの代数構造であり、ホッジ理論が滑らかでコンパクトなケーラー多様体のコホモロジー群に与える構造に類似している。ホッジ構造は、ピエール・ドリーニュ(1970)によって定義された混合ホッジ構造の形で、すべての複素多様体 (特異で非完全であっても)に対して一般化されている。ホッジ構造のバリエーションは、多様体によってパラメータ化されたホッジ構造の族であり、フィリップ・グリフィス(1968) によって初めて研究された。これらすべての概念は、斎藤守彦 (1989) によって複素多様体上の混合ホッジ加群にさらに一般化された。
ホッジ構造
ホッジ構造の定義
整数重みn の純粋なホッジ構造は、アーベル群とその複素化の 複素部分空間の直和への分解で構成されます。ここで、 の複素共役は次のようになります。
同等の定義は、 の直和分解をホッジ濾過、つまり条件を満たす 複素部分空間によるの有限減少濾過に置き換えることによって得られる。
これら 2 つの説明の関係は次のとおりです。
例えば、がコンパクトなケーラー多様体 で、が整数係数を持つXの- 番目のコホモロジー群である場合、 はその- 番目の複素係数を持つコホモロジー群であり、ホッジ理論は上記のように を直和に分解するため、これらのデータは重み の純粋なホッジ構造を定義します。一方、ホッジ・ド・ラームのスペクトル列は、 2 番目の定義のようにによる減少フィルタリングを伴います。 [1]
代数幾何学への応用、すなわち複素射影多様体の周期による分類では、上の重みのすべてのホッジ構造の集合は大きすぎる。リーマン双線型関係(この場合はホッジ・リーマン双線型関係と呼ばれる)を使用すると、大幅に簡略化できる。重みnの偏極ホッジ構造は、ホッジ構造と上の非退化整数双線型形式(偏極)で構成され、これは線型性によって に拡張され、次の条件を満たす。
ホッジ濾過の観点から見ると、これらの条件は次のことを意味する。
ここで、 は上のWeil 演算子であり、上で によって与えられます。
ホッジ構造のもう一つの定義は、複素ベクトル空間上の - 次数と円群U(1)の作用の同値性に基づいています。この定義では、 2次元の実代数トーラスとして見た複素数の乗法群の作用がに与えられます。[2]この作用は、実数a がnによって作用するという性質を持たなければなりません。部分空間は、乗法として作用する部分空間です。
あ-ホッジ構造
動機理論では、コホモロジーのより一般的な係数を許容することが重要になります。ホッジ構造の定義は、実数体のネーター部分環Aを固定することによって変更されます。このネーター部分環は体です。次に、重みnの純粋なホッジA構造が、前と同じように定義され、 が置き換えられます。Bの部分環であるAに対して、ホッジA構造とB構造を関連付ける基底変更と制限の自然な関数があります。
混合ホッジ構造
1960年代にジャン=ピエール・セールはヴェイユ予想に基づいて、特異(おそらくは可約)で非完全な代数多様体でさえも「仮想ベッティ数」を持つはずだと指摘した。より正確には、任意の代数多様体Xに、その仮想ポアンカレ多項式と呼ばれる多項式P X ( t )を割り当てることができ、次の性質を持つ はずである。
- Xが非特異かつ射影的(または完全)である場合
- YがXの閉じた代数的部分集合であり、U = X \ Yである場合
このような多項式の存在は、一般(特異かつ非完全な)代数多様体のコホモロジーにおけるホッジ構造の類似物の存在から導かれる。新しい特徴は、一般多様体のn番目のコホモロジーが、あたかも異なる重みの部分を含んでいるように見えることである。これはアレクサンダー・グロタンディークをモチーフの予想理論に導き、ホッジ理論の拡張の探求を動機づけ、ピエール・ドリーニュの研究で最高潮に達した。彼は混合ホッジ構造の概念を導入し、それを扱うための技術を開発し、その構成法(広中平祐の特異点の解決に基づく)を与え、それらをl 進コホモロジーの重みと関連付けて、ヴェイユ予想の最後の部分を証明した。
曲線の例
定義の根拠として、2 つの非特異成分 および から成り 、点およびで交差する簡約可能な複素代数曲線 Xの場合を考えてみましょう。さらに、成分はコンパクトではないが、点 を追加することでコンパクト化できるものとします。曲線X (コンパクトなサポートを持つ) の最初のコホモロジー群は、最初のホモロジー群と双対であり、視覚化が容易です。この群には 3 種類の 1 サイクルがあります。まず、穴 の周りの小さなループを表す要素があります。次に、各成分のコンパクト化の最初のホモロジーから来る要素があります。この成分のコンパクト化のサイクルに対応する( )の 1 サイクルは標準的ではありません。これらの要素は のスパンを法として決定されます。最後に、最初の 2 つのタイプを法として、群は、1 つの成分のパスに沿ってからに行き、他の成分 のパスに沿って戻ってくる組み合わせサイクルによって生成されます。これは、が増加するフィルタリングを許容する ことを示唆しています。
連続する商W n / W n −1は滑らかな完備多様体のコホモロジーから生じるため、重みは異なるものの(純粋な)ホッジ構造を許容する。さらなる例は「混合ホッジ理論への素朴なガイド」に記載されている。[3]
混合ホッジ構造の定義
アーベル群上の混合ホッジ構造は、複素ベクトル空間H ( の複素化)上の有限減少フィルタF p (ホッジフィルタと呼ばれる) と、有理ベクトル空間(スカラーを有理数に拡張することによって得られる)上の有限増加フィルタW i (重みフィルタと呼ばれる) から構成されます。ただし、重みフィルタに関する のn番目の関連する次数付き商は、 Fの複素化で誘導されるフィルタとともに、すべての整数nに対して、重みnの純粋なホッジ構造である必要があります。ここで、 上の誘導されるフィルタは
定義される
混合ホッジ構造の射の概念を定義することができます。これはフィルターFとWと互換性があり、次のことを証明する必要があります。
- 定理。 混合ホッジ構造はアーベル圏を形成します。この圏の核と余核は、誘導フィルタリングを伴うベクトル空間の圏の通常の核と余核と一致します。
コンパクトなケーラー多様体の全コホモロジーは混合ホッジ構造を持ち、ここで重み濾過W nのn番目の空間は、次数がn以下のコホモロジー群 (有理係数を持つ) の直和である。したがって、コンパクトで複素数の場合の古典的ホッジ理論は、複素コホモロジー群に二重の次数付けを提供するものと考えることができる。これは、ある方法で両立する増加濾過F pと減少濾過W n を定義する。一般に、全コホモロジー空間には依然としてこれら 2 つの濾過が存在するが、これらは直和分解からはもはや生じない。純粋ホッジ構造の 3 番目の定義との関係で、混合ホッジ構造は群の作用を使用して記述することはできないと言うことができる。ドリーニュの重要な洞察は、混合ケースには、タンナキアン形式を使用して同じ効果に使用できる、より複雑な非可換な前代数群が存在するということである。
さらに、(混合)ホッジ構造のカテゴリーは、多様体の積に対応するテンソル積の優れた概念、および内部ホムと双対オブジェクトという関連する概念を許容し、 Tannakianカテゴリーになります。Tannaka -Krein哲学によれば、このカテゴリーは、Deligne、Milneらが明示的に記述した特定のグループの有限次元表現のカテゴリーに相当します。Deligne & Milne(1982)[4]およびDeligne(1994)を参照してください。このグループの記述は、Kapranov(2012)によってより幾何学的な用語で書き直されました。有理純粋分極可能ホッジ構造に対する対応する(はるかに複雑な)分析は、Patrikis(2016)によって行われました。
コホモロジーにおける混合ホッジ構造(ドリーニュの定理)
ドリーニュは、任意の代数多様体のn番目のコホモロジー群が標準混合ホッジ構造を持つことを証明しました。この構造は関数的であり、多様体の積 (キュネス同型) およびコホモロジーの積と互換性があります。完全な非特異多様体X の場合、この構造は重みnの純粋であり、ホッジ濾過は切断されたド・ラーム複体のハイパーコホモロジーを通じて定義できます。
証明は、非コンパクト性と特異点を扱う 2 つの部分から成ります。どちらの部分も、本質的には (広中による) 特異点の解決を使用しています。特異点の場合、多様体は単体スキームに置き換えられ、より複雑なホモロジー代数につながり、複体上のホッジ構造 (コホモロジーとは対照的) という技術的な概念が使用されます。
動機理論を用いると、有理係数を持つコホモロジー上の重みフィルタリングを整数係数を持つコホモロジーに改良することが可能である。[5]
例
- テイト・ホッジ構造は 、基礎となる加群が( のサブグループ)で与えられるホッジ構造です。したがって、定義により重みが −2 の純粋であり、同型を除いて重みが −2 の唯一の 1 次元純粋ホッジ構造です。より一般的には、そのn番目のテンソル冪は で表され、1 次元で重みが −2 nの純粋です。
- コンパクト ケーラー多様体のコホモロジーはホッジ構造を持ち、n番目のコホモロジー群は重みnの純粋群です。
- 複素多様体(特異または非固有)のコホモロジーは混合ホッジ構造を持ちます。これは、滑らかな多様体については Deligne (1971)、Deligne (1971a) によって示され、一般には Deligne (1974) によって示されました。
- 正規交差特異点を持つ射影多様体に対しては、その混合ホッジ構造のすべてを計算する退化したE 2ページを持つスペクトル列が存在する。E 1ページには、単体集合から派生した微分を持つ明示的な項がある。[6]
- 任意の滑らかな多様体Xは、正規交差因子を補集合とする滑らかなコンパクト化を許容する。対応する対数形式は、Xのコホモロジー上の混合ホッジ構造を明示的に記述するために使用できる。[7]
- 次数の滑らかな射影超曲面のホッジ構造は、グリフィスが「代数多様体の周期積分」という論文で明示的に解明しました。 が超曲面を定義する多項式である場合、次数付きヤコビ商環には の中間コホモロジーの情報がすべて含まれます。グリフィスは、次数付きヤコビ環は次の式であることを示しています。たとえば、で与えられるK3 曲面を考えます。したがって、となります。すると、次数付きヤコビ環は次の式になります。 原始コホモロジー群の同型は、したがって と読みます。はが張るベクトル空間であり、 19 次元であることに注意してください。 には、レフシェッツ類によって与えられる余分なベクトルがあります。 レフシェッツ超平面定理とホッジ双対性から、コホモロジーの残りの部分は であり、 は-次元です。したがって、ホッジダイヤモンドは次の式になります。
- 前の同型性を使用して、次数平面曲線の種数を検証することもできます。は滑らかな曲線であり、エーレスマンのファイバ化定理により、種数 の他のすべての滑らかな曲線は微分同相であることが保証されるため、種数も同じであることがわかります。したがって、原始コホモロジーとヤコビアン環の次数付き部分の同型性を使用すると、次のことがわかります。これは、次元が目的どおりであることを意味します。
- 完全交差のホッジ数も簡単に計算可能であり、フリードリヒ・ヒルツェブルッフによって発見された組み合わせ式がある。[8]
アプリケーション
ホッジ構造と混合ホッジ構造の概念に基づく仕組みは、アレクサンダー・グロタンディークによって構想された、まだ大部分が推測の域を出ないモチーフ理論の一部を形成している。特異でない代数多様体Xの算術情報は、そのl 進コホモロジーに作用するフロベニウス元の固有値によって符号化され、複素代数多様体として考えられるXから生じるホッジ構造と共通するところがある。セルゲイ・ゲルファンドとユーリ・マニンは1988 年頃、著書『ホモロジー代数の方法』の中で、他のコホモロジー群に作用するガロア対称性とは異なり、「ホッジ対称性」の起源は非常に謎に包まれているが、形式的には、かなり単純な群がド・ラーム・コホモロジーに作用することで表現されると述べている。それ以来、ミラー対称性の発見と数学的定式化により、謎は深まった。
ホッジ構造のバリエーション
ホッジ構造のバリエーション( Griffiths (1968)、Griffiths (1968a)、Griffiths (1970)) は、複素多様体Xによってパラメータ化されたホッジ構造の族です。より正確には、複素多様体X上の重みnのホッジ構造のバリエーションは、 X上の有限生成アーベル群の局所定数層Sと、 S ⊗ O X上の減少するホッジ濾過Fで構成され、次の 2 つの条件に従います。
- 濾過により、束Sの各茎に重みnのホッジ構造が生じる。
- (グリフィスの横断性) S ⊗ O X上の自然な接続は、
ここで、 S ⊗ O X上の自然な(平坦な)接続は、 S上の平坦な接続とO X上の平坦な接続dによって誘導され、 O X はX上の正則関数の層であり、はX上の1-形式の層です。この自然な平坦な接続はガウス・マナン接続∇ であり、ピカール・フックス方程式で記述できます。
混合ホッジ構造のバリエーションも同様の方法で定義でき、 SにグレーディングまたはフィルタリングWを加えることで定義できます。典型的な例は代数的射から見つけることができます。たとえば、
繊維がある
これらは種数10の滑らかな平面曲線であり、で特異曲線に退化する。すると、コホモロジー層は
混合ホッジ構造のバリエーションを示します。
ホッジモジュール
ホッジ加群は、複素多様体上のホッジ構造の変分を一般化したものです。非公式には、多様体上のホッジ構造の層のようなものと考えることができます。Saito (1989) の正確な定義は、かなり技術的で複雑です。混合ホッジ加群や特異点を持つ多様体への一般化があります。
それぞれの滑らかな複素多様体には、それに関連付けられた混合ホッジ加群のアーベル圏が存在します。これらは形式的には多様体上の層の圏のように動作します。たとえば、多様体間の射fは、層の射に似た混合ホッジ加群(の導来圏) 間の関手f ∗、f*、f !、f !を誘導します。
参照
注記
- ^ スペクトル列の観点から見ると(ホモロジー代数を参照) 、ホッジフィットレーションは次のように記述できる。
- ^ より正確には、Sを からへの乗法群のWeil 制限として定義される2 次元の可換実代数群とします。言い換えると、Aが 上の代数である場合、 SのA値点の群S ( A ) はの乗法群です。この場合、は非ゼロ複素数の群です。
- ^ダーフィー、 アラン(1981)。「混合ホッジ理論への素朴なガイド」。特異点の複素解析。415 : 48–63。hdl :2433/102472。
- ^ ドリーニュとミルンによる「タンナキアン・カテゴリー」と題された2番目の論文は、このトピックに焦点を当てています。
- ^ アンリ、ジレ;クリストフ・スーレ(1996)。 「出自、動機、そしてK理論」。Reine und Angewandte Mathematik に関するジャーナル。1996 (478): 127–176。arXiv : alg-geom/9507013。Bibcode :1995alg.geom..7013G。土井:10.1515/crll.1996.478.127。MR 1409056。S2CID 16441433 。、セクション3.1
- ^ Jones, BF、「正規交差特異点のみを持つ射影多様体に対する Deligne の混合ホッジ構造」(PDF)、ホッジ理論ワーキングセミナー 2005 年春
- ^ Nicolaescu, Liviu、「滑らかな代数多様体上の混合ホッジ構造」(PDF)、ホッジ理論ワーキングセミナー 2005 年春
- ^ 「完全交差のホッジダイヤモンド」。Stack Exchange。2013年12月14日。
入門参考文献
- デバール、オリヴィエ、周期とモジュライ
- Arapura, Donu、「複素代数多様体とそのコホモロジー」(PDF) 、pp. 120–123、2020-01-04のオリジナル(PDF)からアーカイブ(層コホモロジーを使用してホッジ数を計算するためのツールを提供します)
- 混合ホッジ理論への素朴なガイド
- ディムカ、アレクサンドル( 1992)。特異点と超曲面の位相。Universitext。ニューヨーク:Springer-Verlag。pp . 240、261。doi :10.1007/978-1-4612-4404-2。ISBN 0-387-97709-0. MR 1194180. S2CID 117095021.(重み付き同次多項式のアフィンミルノア ファイバーの混合ホッジ数の公式と生成元、および重み付き射影空間における重み付き同次多項式の補数の公式を示します。)
調査記事
参考文献
- ドリーニュ、ピエール(1971b)、トラヴォー・ド・グリフィス、Sem。ブルバキExp. 376、レク。数学のノート。 180 巻、213 ~ 235 ページ
- Deligne、Pierre (1971)、「Théorie de Hodge. I」(PDF)、Actes du Congrès International des Mathématiciens (ニース、1970)、vol. 1、Gauthier-Villars、425–430 ページ、MR 0441965、2015年 4 月 2 日の オリジナル(PDF)からアーカイブこれは複素多様体のコホモロジー上の混合ホッジ構造を構築します。
- Deligne、Pierre (1971a)、「Théorie de Hodge. II.」、Publications Mathématiques de l'IHÉS、40、Inst.オート エチュード Sci.出版物。数学。 No. 40: 5–57、土井:10.1007/BF02684692、MR 0498551これは複素多様体のコホモロジー上の混合ホッジ構造を構築します。
- Deligne、Pierre (1974)、「Théorie de Hodge. III.」、Publications Mathématiques de l'IHÉS、44、Inst.オート エチュード Sci.出版物。数学。 No. 44: 5–77、土井:10.1007/BF02685881、MR 0498552これは複素多様体のコホモロジー上の混合ホッジ構造を構築します。
- ドリーニュ、ピエール(1994)、「ホッジ混合層構造」、Motives (シアトル、ワシントン州、1991)、第 1 部、純粋数学シンポジウムの議事録、第 55 巻、プロビデンス、ロードアイランド州:アメリカ数学会、pp. 509–514、MR 1265541
- ピエール・ドリーニュ;ミルン、ジェームス(1982)、「タナキアンカテゴリー」、ホッジサイクル、動機、および志村変種 by Pierre Deligne、James S. Milne、Arthur Ogus、Kuang-yen Shih、Lecture Notes in Mathematics、vol. 900、シュプリンガー・フェルラーク、1–414 ページこの記事の注釈付きバージョンは、J. Milne のホームページでご覧いただけます。
- グリフィス、フィリップ(1968)、「代数多様体上の積分の周期 I (モジュラー多様体の構成と特性)」、アメリカ数学ジャーナル、90 (2): 568–626、doi :10.2307/2373545、JSTOR 2373545
- グリフィス、フィリップ(1968a)、「代数多様体上の積分の周期 II (周期写像の局所的研究)」、アメリカ数学ジャーナル、90 (3): 808–865、doi :10.2307/2373485、JSTOR 2373485
- グリフィス、フィリップ(1970)、「代数多様体上の積分の周期 III. 周期写像のいくつかのグローバル微分幾何学的性質」、Publications Mathématiques de l'IHÉS、38 : 228–296、doi :10.1007/BF02684654、S2CID 11443767
- カプラノフ、ミハイル (2012)、「実混合ホッジ構造」、非可換幾何学ジャーナル、6 (2): 321–342、arXiv : 0802.0215、doi :10.4171/jncg/93、MR 2914868、S2CID 56416260
- Ovseevich, Alexander I. (2001) [1994]、「ホッジ構造」、数学百科事典、EMS Press
- パトリキス、ステファン (2016)、「分極可能なホッジ構造のマンフォード-テイト群」、アメリカ数学会紀要、144 (9): 3717–3729、arXiv : 1302.1803、doi :10.1090/proc/13040、MR 3513533、S2CID 40142493
- 斉藤守彦(1989)、混合ホッジモジュールの紹介。 Actes du Colloque de Théorie de Hodge (ルミニー、1987)。、アステリスク No. 179–180、pp. 145–162、MR 1042805
- Schnell, Christian (2014)、斎藤守彦の混合ホッジ加群理論の概要(PDF)、arXiv : 1405.3096
- スティーンブリンク、ジョセフ HM (2001) [1994]、「ホッジ構造の変化」、数学百科事典、EMS プレス
