Twisted cohomology on algebraic and analytic varieties

技術的概要：代数多様体および解析多様体上のねじれたコホモロジー

問題提起
本論文は、複素解析幾何学（特にモース・ノビコフコホモロジーまたはリヒナーオビッチコホモロジー）において確立された対応物に着想を得て、代数多様体上の「ねじれたコホモロジー」の定義と計算という課題に取り組む。滑らかな多様体および複素多様体上のねじれたコホモロジーは、変形された微分作用素 $d_\omega = d + \omega \wedge$（ここで $\omega$ は閉 1-形式）を通じて定義されるが、これを代数圏に拡張することは重大な障害に直面する。

主要な困難は、射影多様体上の大域的代数微分形式の希少性にある。解析的な場合、大域的な正則形式または滑らかな形式が存在し得るのに対し、射影多様体上の大域的正則関数は定数である（リウヴィルの定理および射影多様体の性質による）。これは、大域的関数の外微分によって導かれる大域的代数 1-形式が自明であることを意味する。その結果、微分を変形するために用いられる大域的な「ねじれパラメータ」（閉 1-形式）は、一般的な射影多様体上には自然に存在しない。本論文は、そのようなパラメータの存在を可能にするための代数多様体上の必要な構造的制約を特定し、代数および解析的なねじれたコホモロジー間の厳密な比較を確立することを目指す。

手法
著者らは、代数幾何学、複素解析、および層論を組み合わせる多面的なアプローチを採用する：

1. GAGA と解析的比較：本論文は、Serre の GAGA（代数幾何学と解析幾何学）定理を利用して、代数多様体 $X$ とその基底となる解析多様体 $X^h$ との関係を結びつける。特に、解析的設定におけるねじれパラメータ（ドールボア複体に対する $(0,1)$-形式 $\eta$）が、どのように代数パラメータに対応するかを調査する。
2. ねじれパラメータの同定：代数ねじれパラメータを解析的なものと同定するための 2 つの方法が提案される：
   • 共役パラメータ：代数形式から導かれる大域的正則 1-形式の複素共役を取り、$(0,1)$-形式を得る。
   • 縮約パラメータ：正則ベクトル値 $(0,1)$-形式（ベルトラミ微分）を正則 1-形式と縮約する。ただし、閉性を保証するために括弧 $[\mu, \mu] = 0$ という条件を満たす必要がある。
3. アーベル多様体への制限：著者らは、射影多様体上に大域的代数ねじれパラメータが存在するためには、その多様体がアーベル群構造（すなわちアーベル多様体）を備えている必要があると論じる。これは、アーベル多様体（および楕円曲線）には非自明な大域的正則 1-形式が存在するのに対し、一般的な射影多様体には存在しないという事実によって正当化される。
4. 対数構造とデリニュの定理：大域的正則形式では不十分であるとの認識から、本論文は対数構造を導入する。多様体は、対数 1-形式を定義するために、ヒロナカコンパクト化を通じて正規交差を持つ因子を備えている必要があると仮定する。著者らは、デリニュの正則接続に関する定理を援用する。この定理は、接続が対数極を持つ場合、ベクトル束に係数を持つ代数的ド・ラームコホモロジーと、その解析的対応物との間に同型が成立することを確立する。
5. 重み層と平坦接続：ねじれたコホモロジーは、接続 $\nabla = d + \omega$ を持つ平坦線束（重み層）のコホモロジーとして再解釈される。変形された微分の冪零性は、この接続の平坦性に対応する。
6. 明示的な計算：本論文は、アフィンおよび射影の場合（特に穴あき楕円曲線および対数因子を備えた楕円曲線）における初等的な計算を行い、ねじれた複体の挙動を実証する。

主要な貢献と結果

• 存在制約：本論文は、解析的な場合と整合する大域的代数ねじれパラメータを支持する射影代数多様体は、本質的にアーベル多様体でなければならないことを確立する。非アーベル多様体の場合、そのようなパラメータの存在は、因子上の対数構造に紐付いている。
• コホモロジーの同型：
  • 解析的場合：本論文は（定理 1）、2 つの解析的ねじれパラメータ $\psi_1$ と $\psi_2$ がコホモロジー的（完全形式 $\partial f/f$ だけ異なる）であるならば、それらのねじれたドールボアコホモロジーは同型であることを証明する。これは、関数 $f$（または $e^{-r}$）による乗法を含む鎖写像を通じて実証される。
  • 代数的場合：対数代数 1-形式についても同様の結果（定理 3）が証明される。2 つの代数ねじれパラメータが対数的完全形式 $dg/g$ だけ異なる場合、結果として生じる代数ねじれたコホモロジーは局所的に同型である。
• 曲線上の計算：
  • 穴あき楕円曲線（アフィン場合）について、超越的でない限り非ゼロの代数関数がねじれた閉性条件を満たさないため、ゼロ次ねじれたコホモロジーは消滅する（$H^0_\omega = 0$）。一次コホモロジーは、標準的なド・ラームコホモロジーと比較して次元が減少する。
  • 対数因子を備えた射影楕円曲線について、ゼロ次コホモロジーは消滅する（大域切断は定数であるため）、一次コホモロジーはスペクトル系列とデリニュの退化結果を用いて計算される。
• 対数拡張：本論文は、代数ねじれたコホモロジーを、ヒロナカコンパクト化上の対数的ド・ラーム複体を用いて効果的に計算できることを示す。これにより、ねじれパラメータが大域的に存在するために必要な無限遠の「特異点」を処理するために、対数コホモロジー理論の道具を利用することが可能になる。

意義と主張
本論文は、複素多様体や対数的側面に焦点を当てた先行研究とは区別して、特に代数多様体の文脈におけるねじれたコホモロジーの基礎的かつ初等的な研究を提供すると主張する。

• 動機：この研究は、複素幾何学においてドールボア複体が変形されるのと同様に、代数的ド・ラーム複体を変形したいという欲求に動機付けられている（文献 [13, 14, 15] を参照）。
• 控えめな範囲：著者らは明示的に、広範な応用や実験的提案を含まないことを述べている。代わりに、本論文は代数ねじれたコホモロジーの定義を動機付け、基底となる多様体への制約（アーベル構造または対数因子の必要性）を明確にし、理論を説明するための「簡単な計算」を提供することに焦点を当てている。
• 理論的架け橋：意義は、複素構造に敏感な解析的ねじれたコホモロジーと、標準的なド・ラームの意味では位相的な代数コホモロジーとの間のギャップを埋める点にある。本論文は、対数構造と正則接続を導入することによって、一般的な射影多様体上の大域的代数形式の欠如によって引き起こされる障害を解決し、代数および解析的なねじれた理論の間の同型を回復できることを示唆している。

要約すると、本論文は、代数ねじれたコホモロジーが、多様体がアーベル多様体であるか、対数構造を備えている場合にのみ妥当な概念であると論じ、この定義を支持するための理論的枠組みと基本的な計算例を提供している。