[論文レビュー] A Perspective on the Foundations of Derived Analytic Geometry

Oren Ben-Bassat, Jack Kelly+1 more|arXiv (Cornell University)|May 13, 2024

Algebraic and Geometric Analysis被引用数 7

ひとこと要約

この論文は、正確なカテゴリーの単純形オブジェクトのカテゴリーに対する代数幾何学を相対的に行うフレームワークを開発し、完全ボーネロジー空間に基づく導出解析幾何学の理論を生み出す。

ABSTRACT

We show how one can do algebraic geometry with respect to the category of simplicial objects in an exact category. As a biproduct, we get a theory of derived analytic geometry.

研究の動機と目的

• 相対的で代数的なアプローチを用いて、正確なカテゴリーの単純形オブジェクトを利用した解析幾何学を提案する。
• 適切なモノイド厳密カテゴリーとLawvere理論データを選択して、解析幾何学の導出フレームワークを開発する。
• 導出解析幾何学とそのデセント、スタック、相対的概念のモデルを確立する。
• 解析幾何学と導出代数的手法を橋渡しして、モジュライ、変形、障害理論を可能にする。

提案手法

• ジオメトリを対する環境同値モノイダル安定∞-カテゴリとt-構造を備えた対称モノイドの設定を導入する。
• この設定内で、一般的な導出代数文脈とコタンジェント複体の理論（障害理論を含む）を展開する。
• Lawvere理論を用いて、ホモトピック設定における一般化代数と有限呈示写像をエンコードする。
• 分析幾何学をモデル化するために、バナック環の完備ボーネロロジー論理を用いたHigher Bornological Algebraの章で理論を具体化する。
• アフィン対象上にグロットデセントを構築し、相対設定でデセント、スタック、t-構造を持つプリシェフを展開する。
• Lawvere理論と導出商 / 導出除法項に関する相対幾何の構成をボーネロロジー文脈で概説する。

実験結果

リサーチクエスチョン

• RQ1 モノイド厳密カテゴリーを用いた(∞,1)-代数文脈とLawvere理論を用いて幾何学を相対的に定式化するにはどうすればよいか？
• RQ2 導出解析幾何学を完全ボーネロロジー空間のカテゴリー上で整合的に展開できるか。デセントとモジュライツールを提供するか？
• RQ3 相対的で導出された解析設定における形式的滑らか/ étale 写像や有限呈示の適切な notions は何か？
• RQ4 CBorn_Cのような解析文脈に対して、コタンジェント複体と障害理論は導出幾何学でどのように振る舞うか？
• RQ5 標準的な解析幾何学（Stein、アフィノイドなど）とボーネロロジー的枠組みでの導出類似性/適合性はどのような関係にあるか？

主な発見

• モノイダル厳密カテゴリ、Lawvere理論、および.commutative algebras への函手Fを用いてCBornおよび関連文脈の代数をモデル化する統一的な相対的幾何学アプローチを提案。
• 導出代数文脈フレームワークを展開し、コタンジェント複体、障害理論、Postnikov分析を一般的な設定で支える。
• ボーネロロジー代数が導出幾何学に適したモノイダルかつ準アべる的設定を生み出すことを示し、Ind(Ban) が実現可能なモデルを提供する。
• CBorn_Cのカテゴリーを介した導出解析幾何学理論を概説し、デセント、スタック、導出意味での QCoh を含む。
• 解析幾何学におけるボーネロロジーと濃縮アプローチの特性零の間で潜在的な同等性または相互適合性を強調する。
• このフレームワークは、堅牢なホモトピー設定の中で解析モジュライ、マッピングスタック、および導出基底変換を支えることを目的としている。