Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories

問題と動機

接層（Tangent categories）は、微分幾何学的推論を研究するための最小限の意味論的枠組みを提供しており、もともとはRosickýによって開発され、後にCockettとCrittwellによって拡張された。この理論は、滑らかな多様体、代数幾何学、可換代数、およびカルテジアン微分範疇（CDCs）への適用において成功を収めてきたが、基本的な射のクラス——具体的には、浸入（immersions）、沈下（submersions）、局所微分同相写像（local diffeomorphisms）、および非分岐写像（unramified maps）——が、これら多様な設定間でどのように振る舞うかについての体系的な理解は欠けていた。

先行研究では、滑らかな多様体の文脈における沈下や局所微分同相写像の定義が確立されているが、アフィンスキームや可換代数といった他の重要な接範疇におけるこれらの特徴付けは不明確なままであった。さらに、これらの射のクラスと「非分岐（unramified）」という概念（これらは微分幾何学においては浸入と一致するが、一般的な接範疇では異なる場合がある）との関係についても、統一的な圏論的扱いが必要であった。本論文は、接範疇の抽象的な枠組みの中でこれらの概念を定式化し、その安定性と恒常性の性質を研究し、具体的な数学的領域における実現を解明することを目的としている。

方法論

著者らは、接範疇の公理に基づいた体系的な圏論的手法を用いている。核心となる方法論は以下の通りである：

1. 水平降下（Horizontal Descent）： 導入される中心的な技術的ツールは、射 $f: X \to Y$ の「水平降下」$\theta_f$ である。これは、プルバックが存在する場合、接束 $TX$から$f$による接束$TY$のプルバック（「水平束」）への一意な写像として定義される。本論文では、様々な射のクラスの定義と特徴付けを簡略化するために、$\theta_f$ の性質を広範に調査している。
2. 可搬射（Carrable Morphisms）： 本研究は「可搬（carrable）」な射（微分束の射影に対するプルバックを許容し、かつ接関手によって保存される射）の概念に依拠している。具体的には、水平束や相対接束のような構造の存在を保証するために、$p$-可搬（接射影に対するプルバック）および $0$-可搬（零切断に対するプルバック）な射に焦点を当てている。
3. 相対余接列（Relative Cotangent Sequence）： 水平降下を相対接束（$0$-可搬なプルバックによって定義される）と組み合わせることで、著者らは任意の接範疇において「相対余接列」を構成する。この列は、代数幾何学におけるケーラー微分（Kähler differentials）の古典的な完全列を一般化したものである。
4. 線形化（Linearization）： 著者らは、「強い（strong）」定義（プリプルバックのような一般的な圏論的性質に基づく）と、「線形（linear）」な定義（微分束の圏 $DBun(X)$に基づく）を区別している。彼らは、$DBun(X)$ が可換モノイド（Rosický 接範疇においてはアーベル群）に濃縮されていることを利用して、単射（monomorphism）と自明な核を結びつけている。

主要な貢献と結果

本論文は、接範疇における4つの主要な射のクラスについて、包括的な分類と特徴付けを行っている：

• T-浸入（T-Immersions）：

  • 強い T-浸入： 接射影の自然性正方形が「T-プリプルバック」であるような射として定義される。滑らかな多様体（$SMan$）において、これらは標準的な浸入に対応する。代数幾何学（$CAlg_R^{op}$）においては、形式的に非分岐な射に対応する。
  • T-浸入（線形）： $\theta_f$ が $DBun(X)$における線形な T-単射であるような$p$-可搬な射として定義される。
  • 主要な結果： Rosický 接範疇（否定を持つもの）において、強い T-浸入、T-浸入、および T-非分岐射の概念は一致する。否定を持たない一般的な接範疇では、これらのクラスは異なる（例えば、可換モノイドの圏において、ある写像は T-非分岐であるが強い T-浸入ではない）。

• T-沈下（T-Submersions）：

  • $\theta_f$ が $DBun(X)$における線形な T-余等式（正則な T-全射）であるような$p$-および$0$-可搬な射として定義される。これは「局所的に全射な微分」という概念を捉えている。
  • 分裂 T-沈下（Split T-Submersions）： 自然性正方形が「T-弱プルバック」であることによって定義される。本論文では、$p$-可搬な射に対して、分裂 T-沈下であることは $\theta_f$ が切断（section）を持つことと同値であることを証明している。
  • 主要な結果： Rosický 接範疇およびスキームの圏において、分裂 T-沈下は集合論的な切断だけでなく、線形な切断を持つ。これは、圏論的な定義を相対余接列の分裂へと結びつける。

• T-エタール写像（T-Étale Morphisms / 局所微分同相写像）：

  • 接射影の自然性正方形が T-プルバックであるような射として定義される。
  • 主要な結果： 写像が T-エタールであるための必要十分条件は、それが強い T-浸入であり、かつ分裂 T-沈下であることである。$p$-可搬な射の場合、これは水平降下 $\theta_f$ が同型写像であることと同値である。
  • 区別： 本論文は、代数幾何学における T-エタール写像が、形式的にエタールな写像と同一ではないことを明らかにしている。形式的にエタールな写像は T-エタールであるが、T-エタールでありながら形式的にエタールではない写像（例えば、スキームにおける特定の閉埋入など）が存在する。

• 相対余接列：

  • 本論文は、$f$ が $0$-および$p$-可搬である任意の接範疇において、ド・ランム（de Rham）相対余接列 $X \to TX/Y \to TX \to f^*(TY)$ を構成する。
  • この列は $DBun(X)$ において完全であることが示されており、滑らかな多様体やスキームに対する古典的な余接列を回収する統一的な枠組みを提供する。

具体的な特徴付け

著者らは、これらの抽象的な定義を特定の圏に明示的に対応させている：

• 滑らかな多様体（$SMan$）： T-浸入は標準的な浸入であり、T-沈下は標準的な沈下であり、T-エタール写像は局所微分同相写像である。
• 可換代数（$CAlg_R$）： T-浸入は単射な代数準同型であり、T-沈下は線形切断を持つ全射準同型であり、T-エタール写像は同型写像である。
• アフィンスキーム（$CAlg_R^{op}$）： T-浸入は形式的に非分岐な射に対応し、T-沈下は基底環に対する形式的に滑らかな射に対応し、T-エタール写像は形式的に非分岐かつ形式的に滑らかな相対的射（形式的にエタールとは異なる）に対応する。
• カルテシアン微分範疇（CDCs）： T-浸入は（高階微分を含む）単射な微分を持つ写像であり、T-沈下は全射な微分を持つ写像（レトラクト）であり、T-エタール写像は可逆な微分を持つ写像である。

意義と主張

著者らは、本研究が代数幾何学、微分幾何学、および計算機科学における微分幾学的概念の理解を統一する「深く体系的な研究」を提供すると主張している。その意義は以下の点にある：

1. 統一： 同一の圏論的メカニズム（水平降下、相対余接列）が、特定の文脈において正しい既知の定義を導き出す一方で、一般的な設定における微妙な差異（例：非Rosický範疇における浸入と非分岐写像の乖離）を明らかにする様子を示している。
2. 新しい道具： 主要なツールとして水平降下を導入することで、沈下や浸入の性質の検証が簡略化され、複雑な弱プルバック条件が $\theta_f$ の切断または単射条件へと置き換えられている。
3. 将来の研究への基礎： 本論文は、これらの結果を将来の研究のための不可欠な前提条件として位置づけており、特に「接範疇におけるスキーム」の定義と研究、および接範疇の族に対するザリスキ位相の存在について言及している。著者らは、代数幾何学における開埋入が、とりわけ T-単射かつ T-エタールな写像であることから、これらの射のクラスを理解することが極めて重要であると述べている。

本論文は、上述の理論的目標、すなわち接範疇理論の精緻化および当該枠組み内でのスキームの研究を可能にすることを超えて、新しい実験的な応用や将来的な含意を提案するものではない。それは、理論的な寄与として、圏論とその幾何学への応用における厳密な理論的貢献に留まっている。