AI による要約纏め

• An Introduction to Geometric Topology
• Lectures on singularity categories
• Complex Analysis and Riemann Surfaces: A Graduate Path to Algebraic Geometry
• Condensed mathematics through compactological spaces
• Measure theory via Locales
• Oriented Category Theory
• Universality of multiplicative infinite loop space machines
• On the categorification of homology
• 𝔸^1-invariant motivic cohomology of schemes
• Understanding Fermat's Last Theorem's Proofs
• How to build a Hopf algebra
• Rickard's Derived Morita Theory: Review and Outlook
• Using the internal language of toposes in algebraic geometry
• Sites and Grothendieck toposes: an introduction
• Left-exact Localizations of ∞-Topoi I: Higher Sheaves
• Complex surfaces with equivalent derived categories
• Reconstruction of schemes from their étale topoi
• Advanced linear algebra
• Lecture notes on sheaves and perverse sheaves

Why Diffeology? - Patrick Iglesias-Zemmour

• Why Diffeology? - Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour の論文 “Why Diffeology?” は、通常の微分幾何を多様体の範囲を超えて拡張する枠組みとして、diffeology の意義を解説するサーベイである。diffeology は、空間を局所座標で記述する代わりに、その空間へ入る滑らかなパラメータ表示、すなわち plot の族によって滑らかさを定義する。

通常の微分幾何では、滑らかな多様体を扱うために局所的にユークリッド空間と同相であることを仮定する。しかし、商空間、特異空間、無限次元空間、写像空間などは、しばしば多様体ではない。そのため、古典的な枠組みでは滑らかさや微分形式、束、ホモトピー、シンプレクティック構造を自然に扱えない場合がある。

diffeology では、集合 $X$ に対して、開集合 $U\subset \mathbb R^n$ から $X$ への写像

$$p:U\to X$$

のうち、どれを「滑らかなパラメータ表示」とみなすかを指定する。この plot の族が、被覆性、局所性、滑らかな再パラメータ化に関する安定性を満たすとき、$X$ は diffeological space になる。

この定義の利点は、商、部分空間、直積、余積、写像空間などの操作に対して非常に安定である点にある。特に、diffeological spaces の圏は完備かつ余完備であり、さらに Cartesian closed である。したがって、滑らかな写像全体の空間

$$C^\infty(X,Y)$$

も自然に diffeological space になる。

論文では、典型例として irrational torus、特異軌道空間、orbifold、シンプレクティック幾何、moment map、幾何量子化、prequantum groupoid などが扱われる。特に irrational torus は、位相的には自明に見えるにもかかわらず、diffeology によって非自明な幾何構造を保持する例として重要である。

要するに、この論文は

$$\boxed{ \text{diffeology は、多様体を超えた空間に対して滑らかな幾何を行うための自然な枠組みである} }$$

と主張する。diffeology は、特異性や無限次元性を例外として排除するのではなく、それらを本来の幾何的対象として扱うための基礎を与える。

Simplicial Homotopy Type Theory is not just Simplicial: What are ∞-Categories? - Nima Rasekh

• Simplicial Homotopy Type Theory is not just Simplicial: What are ∞-Categories? - Nima Rasekh

Nima Rasekh の論文 “Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?” は、Riehl–Shulman による simplicial homotopy type theory、略して sHoTT のモデルが、従来考えられていたよりも広いことを示す論文である。

sHoTT は、ホモトピー型理論に「向き付き区間」を加えることで、型理論の内部で $\infty$-圏を扱うための基礎である。Riehl–Shulman の構成では、sHoTT の $\infty$-圏は Rezk type として定義され、典型的な圏論的モデルは、あるモデル圏 $\mathcal M$ に対する simplicial object の圏

$$\mathcal M^{\Delta^{op}}$$

として与えられる。そのため、sHoTT の任意の圏論的モデルも、何らかの意味で simplicial object から来ると期待されていた。

本論文の主結果は、この期待が誤りであることを示す点にある。著者は filter quotient construction を用いて、sHoTT のモデルではあるが、どんな $\infty$-圏 $\mathcal C$ に対しても

$$\mathcal C^{\Delta^{op}}$$

とは同値にならない例を構成する。具体的には、bisimplicial sets のモデル圏を、自然数集合上の非主フィルターで filter product したものを考える。この構成は sHoTT のモデル構造を保つが、その内部の自然数対象は、外部から見ると「自然数列を最終的な一致で割ったもの」になり、非可算個の内部単体を持つ。

通常の simplicial object では、対象の情報は可算個の標準単体 $\Delta[n]$ によって制御される。しかし、この filter quotient によるモデルでは、内部的な自然数が外部的に非可算個存在するため、可算個の単体だけでは構造を制御できない。したがって、それは単なる simplicial object の圏としては表せない。

この結果の哲学的意義は、$\infty$-圏の概念が、選んだ基礎体系に依存してより広がりうることを示した点にある。古典的な圏は有限個のデータで定義できるため基礎に依存しにくいが、$\infty$-圏は無限個の単体データを必要とするため、「自然数」や「可算性」の解釈に敏感になる。

要するに、この論文は

$$\boxed{ \text{sHoTT のモデルは、単なる simplicial object の圏を超えて存在する} }$$

ことを示すものであり、型理論的基礎における $\infty$-圏の概念が、従来の内部 $\infty$-圏論よりも広い可能性を持つことを明らかにしている。

Groupes de Galois motivques et périodes - Yves André

• Groupes de Galois motivques et périodes - Yves André

Yves André の論文 “Groupes de Galois motiviques et périodes” は、Grothendieck が構想した モチーフ的 Galois 理論と、代数多様体の 周期の関係を解説する Bourbaki セミナー講演録である。

周期とは、大まかには代数多様体上の代数的微分形式を、代数的に定まる領域上で積分して得られる数や関数である。典型例は

$$\int_\Delta \omega$$

で表される。楕円積分やアーベル積分に現れる周期は古典的な対象だが、高次元の代数多様体でも同様の積分が自然に現れる。

問題は、周期の間にどのような代数的関係が存在するかである。積分の線形性、Fubini の定理、代数的変数変換、Stokes の公式などからは、周期の間に自明な関係が生じる。Kontsevich と Zagier の周期予想は、数論的な周期のすべての代数的関係は、このような形式的操作から来るはずだ、という主張である。

この論文の中心には、Grothendieck の 周期予想がある。モチーフの圏が Tannakian 圏であるとすると、そのファイバー関手の自己同型群として モチーフ的 Galois 群が定義される。これは通常の Galois 群が代数方程式の解の対称性を測るのと同様に、モチーフや周期の対称性を測る群である。

Betti 実現と de Rham 実現を比較すると、周期行列が現れる。この比較同型全体は 周期トルソルをなし、その中の実際の周期に対応する点がどれほど一般的かを問うのが Grothendieck の周期予想である。予想によれば、周期の超越次数は対応するモチーフ的 Galois 群の次元と一致する。

論文ではさらに、Ayoub による混合モチーフと新しい Tannakian 理論の進展が紹介される。特に関数体的な状況では、周期関数の間の代数的関係が、Stokes の公式などの形式的操作からすべて生じることが定理として示される。

要するに、この論文は

$$\boxed{ \text{周期の代数的関係を、モチーフ的 Galois 群の対称性として理解する} }$$

という立場を整理するものである。通常の Galois 理論が代数数の世界を支配するように、モチーフ的 Galois 理論は周期や超越数の世界を支配する理論として位置づけられる。

Geometric Points in Tensor Triangular Geometry - Tobias Barthel, Logan Hyslop, Maxime Ramzi

• Geometric Points in Tensor Triangular Geometry - Tobias Barthel, Logan Hyslop, Maxime Ramzi

Tobias Barthel, Logan Hyslop, Maxime Ramzi の論文 “Geometric Points in Tensor Triangular Geometry” は、テンソル三角幾何における「点」や「剰余体」をどのように幾何的に実現するかを研究する論文である。

テンソル三角幾何では、可換環 $R$ の素イデアルが $\operatorname{Spec}(R)$ の点を与えるのと同様に、テンソル三角圏 $\mathcal C$ に対して Balmer spectrum

$$\operatorname{Spc}(\mathcal C)$$

を考える。この空間の点は、厚いテンソルイデアルとして定義される素イデアルである。しかし、通常の代数幾何における体への剰余写像のように、各点を「点状のテンソル三角圏」への関手として実現できるかは非自明である。

この文脈で重要だったのが Balmer の Nerves of Steel Conjecture である。これは、homological spectrum

$$\operatorname{Spc}^h(\mathcal C)$$

から Balmer spectrum

$$\operatorname{Spc}(\mathcal C)$$

への比較写像が全単射である、という予想であった。この論文の第一の主結果は、この予想が一般には偽であることを示す点にある。具体的には、pointed object 上の自由 rigid commutative 2-ring

$$\mathbb A^{1,+}$$

を用いて、比較写像が単射でない例を構成する。

その一方で、論文は単なる反例の提示にとどまらない。著者たちは、higher Zariski geometry の自由構成を用いて、テンソル三角圏の点をより柔軟に捉えるための constructible spectrum を導入する。これは、Nullstellensatzian object と呼ばれる「代数閉体の抽象化」によって定義されるスペクトルであり、点を実際の幾何的写像として実現するための枠組みを与える。

特に、有理的な $E_\infty$-ring $R$ に対しては、$\operatorname{Perf}(R)$ が十分多くの tt-field を持ち、homological spectrum の点が有理的な 2-periodic field への写像によって検出されることが示される。

さらに一般に、適切な higher categorical enhancement を持つ rigid tt-category に対して、任意の homological prime は、homological spectrum が一点になるような「pointlike」なテンソル三角圏への関手によって実現できる。

要するに、この論文は

$$\boxed{ \text{テンソル三角幾何における点を、点状の高次圏への写像として幾何化する} }$$

仕事である。同時に、Balmer の Nerves of Steel Conjecture に反例を与えつつ、constructible spectrum によって新しい剰余体理論への道を示している。

Geometric Langlands in positive characteristic from characteristic zero - Dennis Gaitsgory, Sam Raskin

• Geometric Langlands in positive characteristic from characteristic zero - Dennis Gaitsgory, Sam Raskin

Dennis Gaitsgory と Sam Raskin の論文 “Geometric Langlands in Positive Characteristic from Characteristic Zero” は、正標数体上の曲線に対する $\ell$-進層版の幾何的 Langlands 対応を、標数 $0$ の結果から導くことを目指す論文である。

幾何的 Langlands 対応では、滑らかな完備曲線 $X$ と簡約群 $G$ に対し、$G$-束のモジュライスタック

$$\operatorname{Bun}_G$$

上の自己保型側の圏と、Langlands 双対群 $\check G$ の局所系のモジュライに付随するスペクトル側の圏を対応させる。この論文では、自己保型側として nilpotent singular support をもつ $\ell$-進層の圏

$$\operatorname{Shv}_{\operatorname{Nilp}}(\operatorname{Bun}_G)$$

を考え、スペクトル側として制限付き変動をもつ $\check G$-局所系のスタック

$$\operatorname{LS}^{\operatorname{restr}}_{\check G}$$

上の ind-coherent sheaves の圏を考える。

主結果は、正標数において完全な幾何的 Langlands 対応を証明するものではないが、その重要な部分を与える。具体的には、Langlands functor

$$L^{\operatorname{restr}}_{\check G}: \operatorname{Shv}_{\operatorname{Nilp}}(\operatorname{Bun}_G) \to \operatorname{IndCoh}_{\operatorname{Nilp}} (\operatorname{LS}^{\operatorname{restr}}_{\check G})$$

を構成し、それが $\operatorname{LS}^{\operatorname{restr}}_{\check G}$ のある連結成分の和

$${}'\operatorname{LS}^{\operatorname{restr}}_{\check G}$$

上では圏同値を与えることを示す。

さらに、特に重要な場合として $G=\operatorname{GL}_n$ では、この部分スタックは全体と一致する。したがって $\operatorname{GL}_n$ については、正標数における $\ell$-進幾何的 Langlands 対応が期待通りの形で成立する。

論文の方法の核心は、標数 $0$ で既に知られている Betti/D-module 的な幾何的 Langlands 対応を、特殊化 functor によって正標数へ移す点にある。そのために、Hecke functor との両立性、Eisenstein series との整合性、局所非輪状性など、多くの技術的性質が検証される。

また、有限体上に定義された場合には、Frobenius の categorical trace を取ることで、古典的な自己保型関数論への応用も得られる。特に、コンパクト台付き自己保型関数の空間が、Langlands パラメータ側の双対化層の大域切断として記述され、Hecke 作用や excursion algebra の作用とも両立する。

要するに、この論文は

$$\boxed{ \text{標数 }0\text{ の幾何的 Langlands 対応から、正標数の }\ell\text{-進版を導く} }$$

仕事であり、正標数における幾何的 Langlands 対応と古典的 Langlands 理論を結びつける重要な進展である。

Prisms and Prismatic Cohomology - Bhargav Bhatt, Peter Scholze

• Prisms and Prismatic Cohomology - Bhargav Bhatt, Peter Scholze

Bhargav Bhatt と Peter Scholze の論文 “Prisms and Prismatic Cohomology” は、$p$進幾何におけるさまざまなコホモロジー理論を統一するために、プリズムとプリズマティック・コホモロジーを導入する基礎的論文である。

中心となる概念は、$\delta$-環 $A$ とイデアル $I\subset A$ の組

$$(A,I)$$

である。これは prism と呼ばれ、perfectoid ring の「脱完全化」と見なせる。完全プリズムは Fontaine の $A_{\inf}$ と関係し、perfectoid ring と対応する。一方、一般のプリズムを許すことで、結晶コホモロジー、de Rham コホモロジー、エタールコホモロジー、Breuil-Kisin 型コホモロジー、さらに $q$-de Rham コホモロジーを同じ枠組みで扱えるようになる。

具体的には、bounded prism $(A,I)$ と、$A/I$ 上の滑らかな $p$進形式スキーム $X$ に対し、著者たちはプリズマティック・サイト

$$(X/A)_\Delta$$

を定義する。このサイトの構造層 $\mathcal O_\Delta$ のコホモロジー

$$R\Gamma_\Delta(X/A) = R\Gamma((X/A)_\Delta,\mathcal O_\Delta)$$

が、プリズマティック・コホモロジーである。この対象には Frobenius が自然に入り、さまざまな比較定理を通じて既存の $p$進コホモロジーを復元する。

主定理の一つは、プリズマティック・コホモロジーが次の理論を統一的に含むことである。

• $I=(p)$ の場合、結晶コホモロジーを復元する。
• $A/I$ に特殊化すると Hodge-Tate 比較が得られる。
• Frobenius 方向に基底変換すると de Rham コホモロジーを復元する。
• $A$ が完全な場合、エタールコホモロジーとの比較が得られる。
• Breuil-Kisin コホモロジーや $A_{\inf}$-コホモロジーも同じ構成から現れる。
• $q$-crystalline prism を使うと、Scholze が予想した $q$-de Rham コホモロジーの座標非依存な構成が得られる。

この論文の重要性は、従来は別々に定義されていた $p$進コホモロジー理論を、プリズムという単一の幾何的対象から導けるようにした点にある。特に、Frobenius、Hodge-Tate 比較、de Rham 比較、エタール比較が一つの理論の中で整理される。

要するに、この論文は

$$\boxed{ \text{プリズムを用いて、整数係数の }p\text{進コホモロジー理論を統一する} }$$

仕事であり、現代の $p$進 Hodge 理論・perfectoid 幾何・導来代数幾何の中心的な基盤を与える論文である。

Berkovich Motives - Peter Scholze

• Berkovich Motives - Peter Scholze

Peter Scholze の論文 “Berkovich Motives” は、Berkovich 空間の枠組みで、エタール・モチーフの理論を構成する論文である。既存の Ayoub による rigid-analytic motives と近いが、この論文の特徴は、非アルキメデス幾何だけでなく、アルキメデス的な状況も同じ枠組みで扱える点にある。

動機の一つは、局所 Langlands 対応の幾何化における $\ell$ 非依存性である。通常のエタールコホモロジーは、標数と異なる素数 $\ell$ に依存した係数を用いる。しかし Grothendieck 的な視点では、さまざまな $\ell$-進コホモロジーは、より根源的な「モチーフ」の影であるべきである。本論文は、この考えを Berkovich 幾何・diamonds・$v$-stacks に近い言語で実現しようとする。

技術的には、Banach 環 $A$ に対する Berkovich spectrum $M(A)$ を用い、Banach 環の圏に arc-topology を入れる。arc-cover は、有限個の $M(B_i)$ が $M(A)$ を覆うことで定義される。これにより、Berkovich 的な空間を直接扱う代わりに、arc-stack 上の層として理論を構成する。

中心的な対象は、小さい arc-stack $X$ に対する安定 $\infty$-圏

$$D^{\mathrm{eff}}_{\mathrm{mot}}(X)$$

である。これは、arc-hypersheaf のうち、finitary かつ ball-invariant なものからなる。さらに Tate twist $\mathbb Z(1)$ を反転することで、完全なモチーフ圏

$$D_{\mathrm{mot}}(X)$$

を定義する。

主要結果の一つは、任意の基底上で cancellation theorem が成り立つことである。すなわち

$$-\otimes \mathbb Z(1)$$

が fully faithful になる。この性質は、通常の代数的・rigid-analytic なモチーフ理論では一般の基底上では期待できないため、本論文の大きな利点である。

また、$D_{\mathrm{mot}}(X)$ は多くの場合に rigid dualizable になり、六演算形式ともよく整合する。代数閉離散体上では、Voevodsky のエタール・モチーフ理論を回収する。さらに、非アルキメデス代数閉体 $C$ とその剰余体 $k$ の間には nearby cycles functor が構成され、

$$D_{\mathrm{mot}}(C)$$

を $D_{\mathrm{mot}}(k)$ 上の局所冪零なモノドロミー付き対象として記述できる。

要するに、この論文は

$$\boxed{ \text{Berkovich 幾何を用いて、アルキメデス・非アルキメデスを統一するモチーフ理論を構成する} }$$

仕事である。特に、arc-topology、ball-invariance、Tate twist、cancellation theorem を軸に、Voevodsky 型モチーフ、rigid-analytic motives、diamonds 周辺の幾何を接続する基盤を与えている。

Grothendieck-Witt theory of derived schemes - Marc Hoyois, Markus Land

• Grothendieck-Witt theory of derived schemes - Marc Hoyois, Markus Land

Marc Hoyois と Markus Land の論文 “Grothendieck-Witt theory of derived schemes” は、導来スキームに対する Grothendieck-Witt 理論を、モチーフ的スペクトルの立場から構成・整理する論文である。

中心となる対象は、$\mathrm{Spec}(\mathbb Z)$ 上のモチーフ的環スペクトル

$$\mathrm{KO}$$

である。ただし、この $\mathrm{KO}$ は通常の $\mathbb A^1$-不変な対象ではない。むしろ、qcqs 導来スキーム上で、古典的対称形式の Grothendieck-Witt 理論を表すように作られている。ここで重要なのは、対象が homotopy symmetric forms ではなく、classical symmetric forms である点である。

論文では、この $\mathrm{KO}$ が次のような基本性質を満たすことを示す。

• Nisnevich descent
• smooth blowup excision
• projective bundle formula
• Bass delooping を許した smooth $\mathbb Z$-schemes からの局所的左 Kan 拡張性

さらに著者たちは、導来スキーム上の Poincaré 構造を二種類に分ける。一つは classical Poincaré structure、もう一つは genuine Poincaré structure である。genuine な構造は involution 付き spectral schemes にも定義できるが、classical な構造は導来スキームに特有のものである。この構成により、それぞれの局所化不変量を表す $\mathrm{KO}$-加群が得られる。

また、Hopf 元に関する $\mathrm{KO}$ の fracture square によって、Grothendieck-Witt 理論、$L$-理論、$K$-理論を結ぶ基本的な Cartesian square が復元される。これは、$\mathbb A^1$-ホモトピー論における構造と対応している。

特に重要な新現象は、$2$ が可逆でない場合に $\mathrm{KO}$ が Bott 周期的ではないことである。このとき、左 Bott 周期化と右 Bott 周期化は、それぞれ homotopy symmetric forms と homotopy quadratic forms の Grothendieck-Witt 理論を表す。

さらに論文では、$\mathrm{KO}$ の metalinear $\mathrm{E}_\infty$-orientation も構成される。最後に、この $\mathrm{KO}$ を $\mathbb A^1$-局所化すると、Calmès–Harpaz–Nardin によって構成されたモチーフ的スペクトルが回収されることが示される。

要するに、この論文は

$$\boxed{ \text{導来スキーム上の古典的 Grothendieck-Witt 理論を表す非 } \mathbb A^1\text{-不変な } \mathrm{KO} \text{ を構成する} }$$

仕事であり、Grothendieck-Witt 理論、$L$-理論、$K$-理論、導来代数幾何、モチーフ的ホモトピー論を統一的に結びつけるものである。

Higher Zariski Geometry - Ko Aoki, Tobias Barthel, Anish Chedalavada, Tomer Schlank, Greg Stevenson

• Higher Zariski Geometry - Ko Aoki, Tobias Barthel, Anish Chedalavada, Tomer Schlank, Greg Stevenson

Ko Aoki, Tobias Barthel, Anish Chedalavada, Tomer Schlank, Greg Stevenson の論文 “Higher Zariski Geometry” は、通常の Zariski 幾何を、環ではなく 2-ring に対して拡張する論文である。ここで 2-ring とは、冪等完備な安定対称モノイダル $\infty$-圏のことであり、例えばスキーム $X$ の完全複体の圏 $\mathrm{Perf}(X)$ や、スペクトルの圏、表現論・非可換幾何・シンプレクティック幾何に現れる安定圏などが例になる。

古典的な代数幾何では、可換環 $R$ に対して Zariski スペクトル $\mathrm{Spec}(R)$ と構造層を対応させ、

$$\mathrm{Spec}:\mathrm{CAlg}\rightleftarrows \{\text{locally ringed spaces}\}^{op}:\Gamma$$

という随伴がある。この論文は、その高次圏論的類似として

$$\mathrm{Spec}:2\mathrm{CAlg}\rightleftarrows \{\text{locally 2-ringed spaces}\}^{op}:\Gamma$$

という Higher Zariski Geometry の基本随伴を構成する。

重要な点は、この理論が tensor-triangular geometry と整合することである。2-ring $K$ に対して構成される Zariski スペクトルの underlying space は、$K$ のホモトピー圏 $\mathrm{ho}(K)$ の Balmer spectrum

$$\mathrm{Spc}(\mathrm{ho}(K))$$

と自然に同相になる。つまり、この理論は Balmer の tt-幾何を、構造層や大域切断を含む「本当の幾何」として高次圏論的に拡張している。

さらに、$K$ が rigid、すなわちすべての対象が双対可能である場合、Zariski スペクトルから $K$ を大域切断として復元できる。言い換えると、rigid 2-ring については

$$K \simeq \Gamma(\mathrm{Spec}(K),\mathcal O_K)$$

が成り立ち、$\mathrm{Spec}$ は fully faithful になる。

また、従来の tensor-triangular geometry では構造前層が真の層にならない問題があったが、この論文では $\infty$-圏的な homotopy coherent descent によってそれを修正する。これにより、写像空間や Picard 群に対する局所大域スペクトル系列も得られる。

要するに、この論文は

$$\boxed{ \text{Zariski 幾何を、環から安定対称モノイダル } \infty\text{-圏へ拡張する} }$$

試みである。古典的な $\mathrm{Spec}(R)$ の役割を、2-ring の Zariski spectrum が担い、Balmer spectrum・構造層・大域切断・降下理論を一つの高次幾何として統合している。

Stable homotopy theory of higher categories

• Stable homotopy theory of higher categories - Hadrian Heine

Hadrian Heine の論文 “Stable homotopy theory of higher categories” は、古典的な安定ホモトピー論の基本原理を、高次圏論へ拡張する論文である。

古典的には、空間を安定化するとスペクトルが得られ、スペクトルはホモロジー理論を表現する対象になる。この論文では、同様の構図が高次圏にも存在することを示す。すなわち、高次圏において「射の自己準同型圏」を反転することで、categorical spectra と呼ばれる対象が得られ、それが高次圏のホモロジー理論を表現する。

重要なのは、ここで扱う安定化が単なる $\infty$-圏の安定化ではない点である。高次圏では脱ループ化によって圏的次元が増えるため、通常の Cartesian 積ではなく、Gray tensor product に基づく oriented category を用いる必要がある。これにより、ファイバー列・コファイバー列に対応する oriented fiber/cofiber sequence が定義される。

論文の中心結果は、categorical Brown representability theorem である。これは、categorical homology theory が categorical spectrum によって表現されることを主張する。古典的な Brown 表現定理がホモロジー理論とスペクトルを結びつけるのと同様に、この定理は高次圏のホモロジー理論と categorical spectra を同一視する。

その帰結として、categorical homology theory は長完全列を持ち、高次圏に対するホモロジー代数が構成できる。さらに応用として、著者は rig、すなわち加法逆元を持たない環状構造に対して、derived oriented category を構成する。これは、通常の加法的な文脈を超えてホモロジー代数を拡張するものと見なせる。

まとめると、この論文は

$$\boxed{ \text{空間の安定ホモトピー論を、高次圏そのものの安定ホモトピー論へ拡張する} }$$

試みである。categorical spectra は、古典的スペクトルの高次圏論的対応物であり、高次圏のホモロジー理論を表現する基本対象として位置づけられる。

On Galois categories and condensed contractible schemes - Catrin Mair

• On Galois categories and condensed contractible schemes - Catrin Mair

Catrin Mair の論文 “On Galois categories and condensed contractible schemes” は、スキームの condensed Galois category と condensed homotopy type を調べ、どのようなスキームが condensed contractible になるかを分類する論文である。

背景にあるのは、Barwick–Glasman–Haine による Exodromy の理論である。cf. https://web.math.princeton.edu/~rdobben/doc/Haine.pdf

qcqs スキーム $X$ に対して condensed Galois category

$$\operatorname{Gal}(X)\in \operatorname{Cond}(\operatorname{Cat})$$

が定義され、その condensed classifying anima

$$\Pi^{\mathrm{cond}}_\infty(X) :=B^{\mathrm{cond}}\operatorname{Gal}(X)$$

が $X$ の condensed homotopy type と呼ばれる。これは古典的なエタールホモトピー型や pro-étale 基本群を精密化する対象である。

論文の主眼は、スキーム $X$ が

$$\Pi^{\mathrm{cond}}_\infty(X)=*$$

を満たす、すなわち condensed contractible である条件を明らかにすることにある。著者はまず、$\operatorname{Gal}(X)$ を Bhatt–Scholze の $w$-contractible ring を用いて記述し直す。これにより、抽象的な condensed Galois category を、より代数的な対象として扱えるようにする。

主要結果の一つは、Galois category が initial object または terminal object を持つ場合の分類である。例えば、$X$ が everywhere strictly local かつ irreducible であることは、$\operatorname{Gal}(X)$ が terminal object を持つことと同値になる。また、$X$ が strictly henselian local ring のスペクトルであることは、$\operatorname{Gal}(X)$ が initial object を持つことと同値になる。これらの場合、$X$ は condensed contractible である。

もう一つの重要な結果は、Dedekind domain $A$ に対する condensed fundamental group の計算である。分数体を $K$ とすると、

$$\pi^{\mathrm{cond}}_1(\operatorname{Spec}A,\bar\eta)(*) \simeq G_K/N$$

となる。ここで $N$ は有限素点の inertia group たちで生成される部分群の正規閉包である。

特に $A=\mathbb Z$ の場合、この群は非自明であり、したがって

$$\operatorname{Spec}\mathbb Z$$

は condensed contractible ではない。これは、$\operatorname{Spec}\mathbb Z$ が古典的なエタールホモトピーの意味では自明に見える一方、condensed homotopy type では非自明な情報を持つことを意味する。

この論文の意義は、condensed mathematics によって、従来のエタールホモトピーでは見えなかった局所系や基本群の情報が検出できることを明確に示した点にある。

Duality and linearization for p-adic lie groups - Dustin Clausen

• Duality and linearization for p-adic lie groups - Dustin Clausen

Dustin Clausen の論文 “Duality and linearization for p-adic Lie groups” は、Lazard による $p$-進 Lie 群の Poincaré 双対性を、通常の $p$-進係数から $p$-完備スペクトル係数へ拡張する論文である。中心的な主張は、$p$-進 Lie 群 $G$ の双対化対象が、抽象的に存在するだけでなく、$G$ の 随伴表現 $\operatorname{ad}_G$ によって明示的に記述できるという点にある。

古典的には、コンパクトな $p$-進 Lie 群 $G$ に対して、Lazard は連続群コホモロジーが多様体の Poincaré 双対性に似た性質を持つことを示した。そこでは、次数のずれは $\dim G$ によって決まり、捻れは随伴表現の行列式によって決まる。しかし、スペクトル係数での Atiyah 双対性に対応する精密な記述、つまり「双対化対象そのものが何か」は十分に明らかではなかった。

この論文の主定理は、$p$-進 Lie 群 $G$ に対して、射

$$f: BG \to *$$

を考えると、$p$-完備スペクトル係数で

$$f^!\widehat{\mathrm{Sp}} \simeq S^{\operatorname{ad}_G}_{\widehat p}$$

となる、というものである。ここで右辺は、随伴表現 $\operatorname{ad}_G$ から作られる球スペクトル的な局所係数である。したがって、$BG$ 上のホモロジーとコホモロジーの差は、随伴表現から来る明示的な捻れとして理解できる。

証明の技術的な柱は三つある。第一に、$BG$ やその一般化を扱うため、light condensed anima 上のエタール層を用いて $p$-進スペクトル係数系を定義する。第二に、Heyer-Mann の一般論を使って、必要な六演算形式を構成する。第三に、$p$-進 Lie 群をその Lie 代数へ変形する「線形化」を行う。特に、全不連結な空間 $\mathbb Q_p$ 上で、$0$ と $1$ の stalk を比較できるという一見不思議な現象を、$\mathbb Q_p^\times$-同変性によって実現する。

この結果は、単なる Lazard 双対性の拡張にとどまらない。$p$-進 Lie 群の作用は chromatic homotopy theory に自然に現れ、Morava $E$-theory や Gross-Hopkins 型の双対性とも関係する。実際、この論文の主定理は、Beaudry--Goerss--Hopkins--Stojanoska らの研究で現れた “linearization hypothesis” を証明するものでもある。

要するに、この論文は

$$\boxed{ p\text{-進 Lie 群の Poincaré 双対性を、随伴表現によってスペクトル係数まで線形化する} }$$

という内容であり、$p$-進幾何、六演算形式、安定ホモトピー論を結びつける重要な仕事である。

Weil-Moore anima - Dustin Clausen

• Weil-Moore anima - Dustin Clausen

Dustin Clausen の論文 “Weil-Moore anima” は、数体の Weil 群を、単なる位相群ではなく 高次ホモトピーをもつ対象として捉え直す論文である。中心的な考え方は、数体の Weil 的対象は $W_K$ そのものではなく、$\pi_1$ として $W_K$ を持つ condensed anima $X_K$ である、という点にある。

古典的には、数体 $K$ に対して絶対 Galois 群 $G_K$ や Weil 群 $W_K$ を考える。Weil 群は class field theory と深く関係し、そのアーベル化はイデール類群と結びつく。しかし、$BW_K=K(W_K,1)$ を考えるだけでは、コホモロジーが大きすぎる。特に $\mathbb R$ や $\mathbb C$ のようなアーチメデス局所体では、高次コホモロジーが不自然に残ってしまい、Tate 双対性から期待される「2 次元的」な振る舞いと合わない。

そこで Clausen は、$BW_K$ に高次ホモトピー群を付加して補正した対象 $X_K$ を構成する。この $X_K$ が Weil-Moore anima である。これは

$$\pi_1 X_K \simeq W_K$$

を満たしつつ、$\pi_2,\pi_3,\dots$ に compact Hausdorff な高次ホモトピー群を持つ。直観的には、$K(\mathbb Z,n)$ を Moore 空間的な対象に置き換えるように、$K(W_K,1)$ をコホモロジー的により適切な対象へ修正している。

この構成の利点は、アーチメデス素点で必要だった補正を、対象そのものの高次ホモトピーに吸収できる点にある。その結果、Galois コホモロジー、Weil コホモロジー、Tate 双対性、Poitou-Tate 双対性をより統一的に扱える。

要するに、この論文のスローガンは次のように言える。

$$\text{Weil 群は終着点ではなく、Weil-Moore anima の}\pi_1 \text{ である。}$$

Weil-Moore anima は、class field theory、condensed mathematics、homotopy theory を結びつけ、数体をより自然な「2 次元的」対象として扱うための新しい枠組みである。