[論文レビュー] Differential Bundles in Commutative Algebra and Algebraic Geometry

G. S. H. Cruttwell, Jean-Simon Pacaud Lemay|arXiv (Cornell University)|Jan 13, 2023

Homotopy and Cohomology in Algebraic Topology被引用数 1

ひとこと要約

この論文は、可換環、アフィンスキーム、およびスキームの接カテゴリにおける微分バンドルが、それぞれモジュールとその双対、あるいは準正則層に対応することを確立している。接カテゴリにおける垂直リフトの普遍性を用いて、この抽象的構造が、ベクトル空間や局所自明性の構造を事前に仮定せずに、古典的な代数的対象を回復することを示している。

ABSTRACT

In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that differential bundles in the tangent category of smooth manifolds are precisely smooth vector bundles. Here we provide characterizations of differential bundles in the tangent categories of commutative rings and (affine) schemes. For commutative rings, the category of differential bundles over a commutative ring is equivalent to the category of modules over that ring. For affine schemes, the category of differential bundles over the Spec of a commutative ring is equivalent to the opposite category of modules over said ring. Finally, for schemes, the category of differential bundles over a scheme is equivalent to the opposite category of quasi-coherent sheaves of modules over that scheme.

研究の動機と目的

• 接カテゴリの観点から微分幾何学と代数幾何学の関係を明確化すること。
• ベクトル空間や局所自明性とは明確に関係しないモジュールとは無関係に思える、可換環およびスキームの接カテゴリにおける微分バンドルを特徴づけること。
• 普遍的垂直リフトによって定義される微分バンドルの抽象的概念が、モジュールや準正則層といった古典的な代数的対象を回復することを示すこと。
• 代数的状況における微分バンドルとモジュール的対象との間のカテゴリカル同値関係を確立し、より深い構造的統一を明らかにすること。
• 微分的およびコホノロジー的構造（例：接続、de Rham コホノロジー）を接カテゴリ理論を介して代数幾何学へ拡張するための基礎的土台を築くこと。

提案手法

• 微分構造を持つ任意のカテゴリに一般化された接バンドル函手を一般化する理論、すなわち接カテゴリ理論を活用すること。
• ベクトル空間や局所自明性に言及しない、普遍性を満たす垂直リフト写像による微分バンドルの定義を適用すること。
• 可換環およびアフィンスキームの圏における接函手を定義するために、双対数の構成を用いること。
• スキームの圏における接バンドルを、Kähler微分を用いて定義すること。
• アフィンスキームにおける微分バンドルが、モジュール上の対称代数のスペクトルと同型であることを、貼り合わせと代表可能性の議論によって証明すること。
• 接函手が貼り合わせとリトラクトを保存することを確立し、スキーム上の局所データから大域的構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 可換環の接カテゴリにおいて、微分バンドルはそれぞれ何に対応するか？
• RQ2 アフィンスキームの圏における微分バンドルは、その基になる環上のモジュールとどのように関係するか？
• RQ3 一般のスキーム上での微分バンドルのカテゴリカル構造は何か？ そしてそれは準正則層とどのように関係するか？
• RQ4 垂直リフトの普遍的性質が、事前にベクトル空間や局所自明性の構造を仮定しない状態で、モジュールや層といった古典的代数的対象を再構成できるか？
• RQ5 微分バンドル理論は、微分幾何学的および代数幾何学的ベクトルバンドルの概念をどのように統一するか？

主な発見

• 可換環の接カテゴリにおいて、環 R 上の微分バンドルの圏は、R-モジュールの圏と同値である。
• アフィンスキームにおいて、Spec(R) 上の微分バンドルの圏は、R-モジュールの圏の反対圏と同値である。
• 一般のスキームにおいて、スキーム A 上の微分バンドルの圏は、A 上の準正則層のモジュールの圏の反対圏と同値である。
• 証明は、スキームにおける微分バンドルがアフィン準同型であり、局所的にモジュール上の対称代数のスペクトルと同型であることを示すことに依拠している。
• 垂直リフトの普遍的性質により、モジュールや層の構造全体が微分バンドルの公理から自然に生じることが保証される。
• 結果として、接カテゴリの抽象的枠組みが、ベクトル空間や局所自明性の構造を事前に仮定しない状態で、代数幾何学の核となる対象を回復することを示している。