[论文解读] Infinite-Dimensional Supermanifolds via Multilinear Bundles

Jakob Schütt|arXiv (Cornell University)|Oct 12, 2018

Homotopy and Cohomology in Algebraic Topology被引用 2

一句话总结

本文通過範疇論方法，建立了一個具體且易於理解的無限維超流形框架，將其定義為從格拉斯曼代數到局部凸流形的函子。引入了一個從超流形到普通流形的忠實函子，透過多重線性纏結叢的逆極限實現，證明超流形等價於一類特定的無限維纏結叢，並保持其拓撲與函子性質，如乘積、切叢函子與豪斯多夫性。

ABSTRACT

In this paper, we provide an accessible introduction to the theory of locally convex supermanifolds in the categorical approach. In this setting, a supermanifold is a functor $\mathcal{M}\colon\mathbf{Gr} o\mathbf{Man}$ from the category of Grassmann algebras to the category of locally convex manifolds that has certain local models, forming something akin to an atlas. We give a mostly self-contained, concrete definition of supermanifolds along these lines, closing several gaps in the literature on the way. If $\Lambda_n\in\mathbf{Gr}$ is the Grassmann algebra with $n$ generators, we show that $\mathcal{M}_{\Lambda_n}$ has the structure of a so called multilinear bundle over the base manifold $\mathcal{M}_\mathbb{R}$. We use this fact to show that the projective limit $\varprojlim_n\mathcal{M}_{\Lambda_n}$ exists in the category of manifolds. In fact, this gives us a faithful functor $\varprojlim\colon\mathbf{SMan} o\mathbf{Man}$ from the category of supermanifolds to the category of manifolds. This functor respects products, commutes with the respective tangent functor and retains the respective Hausdorff property. In this way, supermanifolds can be seen as a particular kind of infinite-dimensional fiber bundles.

研究动机与目标

• 提供一個自包含且易於理解的無限維超流形定義，基於格拉斯曼代數與局部凸流形的範疇論框架。
• 彙整文獻中的缺口，證明關於超流形、態射與切叢的基礎性陳述，這些陳述此前僅被假設或僅部分成立。
• 構造一個從超流形範疇到普通流形範疇的標準忠實函子，利用多重線性纏結叢的逆極限。
• 證明此函子保留關鍵結構——乘積、切叢函子與豪斯多夫性，從而將超流形嵌入為無限維流形中的一個良好行為子範疇。

提出的方法

• 將超流形定義為函子 M: Gr → Man，其局部模型構成一個圖集，採用受莫洛托夫啟發並延伸至無限維的範疇論方法。
• 證明對每個 n，MΛn（超流形在具有 n 個生成元的格拉斯曼代數上的取值）形成基流形 MR 上的多重線性纏結叢。
• 利用多重線性纏結叢結構中的相容圖集與轉移映射，構造逆極限 lim←−n MΛn 為流形。
• 證明逆極限函子尊重乘積，與切叢函子可交換，並保持豪斯多夫性。
• 確立所得極限流形可從原超流形的圖集導出標準圖集，使極限成為範疇 Man 中的合法對象。
• 證明函子 lim←−: SMan → Man 是忠實的，並透過多重線性纏結叢將超流形嵌入為流形範疇中的全子範疇。

实验结果

研究问题

• RQ1 能否在不依賴層論構造或表示性的情況下，於範疇論框架中給出無限維超流形的具體且自包含的定義？
• RQ2 如何證明超流形在格拉斯曼代數上取值的逆極限存在於流形中，且其繼承何種結構？
• RQ3 從超流形到流形的逆極限函子是否保留乘積與切叢函子等關鍵範疇性質？
• RQ4 超流形能否等價地描述為一類特定的無限維纏結叢？若是，此類纏結叢的特徵為何？
• RQ5 是否存在一個標準的、忠實的函子，將超流形範疇映射至普通流形範疇，並保留關鍵的拓撲與函子性質？

主要发现

• 逆極限 lim←−n MΛn 確認為一合法流形，並從原超流形繼承明確的圖集，使其成為流形範疇中的有效對象。
• 函子 lim←−: SMan → Man 是忠實的，並保留乘積結構，意味著李超群被映射為李群。
• 切叢函子與逆極限可交換：T(lim←−k Fk) ≅ lim←−k (TFk)，確保與微分幾何的相容性。
• 若原超流形為豪斯多夫，則其極限流形亦為豪斯多夫，保持關鍵的拓撲性質。
• 極限流形是基流形 MR 上的多重線性纏結叢，從而確立超流形等價於一類特定的無限維纏結叢。
• 此構造提供了一個標準且具體的超流形實現方式，即作為普通流形的極限，提供一種新的幾何詮釋，無需依賴如格羅滕迪克拓撲或層等抽象範疇論工具。