[論文レビュー] Pro-Algebraic Site

Hyuk Jun Kweon|arXiv (Cornell University)|Feb 13, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文は pro-algebraic fundamental groupoid を用いて variety の代数的コホモロジー理論を構築し、C 上の特異コホモロジーとの比較を証明し、他の fundamental groupoid へ拡張する。

ABSTRACT

For any type of fundamental groupoid scheme, we construct an algebraic cohomology theory for varieties with coefficients in the base field. This is a minor variant of étale cohomology, involving neither de Rham complexes nor hypercohomology. The main idea is to delegate the role of étale morphisms to fundamental groupoids, thereby bypassing the Grothendieck topology. To validate this theory, we prove a comparison theorem between the algebraically defined cohomology using the pro-algebraic fundamental groupoid over $\mathbb{C}$ and singular cohomology. Furthermore, our construction naturally extends to other types of fundamental groupoids, providing a uniform foundation for various cohomology theories.

研究の動機と目的

• fundamental groupoids による Zariski 開集合間の継合によって、古典的理論（Etale、de Rham など）を統合・拡張する代数的コホモロジー理論を動機づける。
• Betti サイトとその解析的/pro-algebraic 変種を構築して、局所的な groupoid データからコホモロジーを復元する。
• pro-algebraic fundamental groupoid を用いて定義された代数的コホモロジーと複素数上の特異コホモロジーとの比較定理を確立する。

提案手法

• pro-algebraic fundamental groupoid Pi1^alg(X) を ordinary Betti groupoid Pi1(X) の有限次元表現のテナニア双対として定義する。
• Betti サイト X_bt（および解析的版 X_bt^an）を Zariski 開集合の解析的被覆を用いて開いて、sheaf コホモロジーと関連付ける。
• Pi1^alg(X) の表現と Betti サイト上の適切な層の圏の同値性を示して、代数的コホモロジー H^i(X_alg,-) を可能にする。
• 局所定数層 M に対して Leray スペクトル列と高次直接像の消滅を用いて、 H^i(X_alg, M) ≅ H^i(X^an, M) という比較定理を示す。
• Pi1^alg を他の fundamental groupoid に置換することにより、対応するコホモロジー理論が得られることを示し、代数的 de Rham コホモロジーへの結びつきを議論する。

実験結果

リサーチクエスチョン

• RQ1 Etale サイトを fundamental groupoid から構成されるサイトに置換して、 variety の普遍的な代数的コホモロジー理論を定義できるか。
• RQ2 pro-algebraic fundamental groupoid から定義されるコホモロジーは複素 variety の古典的特異コホモロジーと一致するか、零界特性の場へ拡張可能か。
• RQ3 different fundamental groupoid schemes を置換することで Betti site 構成をどの程度一般化できるか。
• RQ4 代数的コホモロジーと位相的/解析的コホモロジー理論の比較機構はどのような条件で一致するのか。

主な発見

• pro-algebraic fundamental groupoid Pi1^alg(X) を用いて任意の特性 zero の体 k 上のコホモロジー理論 H^i(X_alg,-) を構築できる。
• 光滑な複素 X と有限次元 Pi1^alg(X)-表現から生じる局所定数 M に対して、 H^i(X_alg, M) ≅ H^i(X^an, M) となる厳密な比較定理がある。
• Betti サイト X_bt（およびその解析的版）は、開部分集合から局所的な groupoid コホモロジーをつなぐことによってコホモロジーを得る枠組みを提供し、Etale のような継ぎ合わせを groupoid 経由で実現する。
• この構成は他の fundamental groupoid に自然に拡張され、複数のコホモロジー理論の統一的基盤を提供する。
• このアプローチは純粋に代数的な記述を生み出し、代数的 de Rham コホモロジーへの潜在的な結びつきを示唆し、普遍的なコホモロジー理論へ至る道を示す。