[논문 리뷰] Infinite-Dimensional Supermanifolds via Multilinear Bundles

Jakob Schütt|arXiv (Cornell University)|2018. 10. 12.

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 는 다변량으로 존재하며, 원래 슈퍼다양체의 아틀라스에서 기인한 잘 정의된 아틀라스를 상속하여 Man 범주 내의 정당한 객체가 된다.
• 함의 lim←−: SMan → Man 는 충실하며, 곱을 유지하므로 리 슈퍼군은 리 군으로 매핑됨을 보여준다.
• 접선 함의는 역극한과 가환한다: T(lim←−k Fk) ≅ lim←−k (TFk), 이는 미분기하학과의 호환성을 보장한다.
• 원래 슈퍼다양체가 하우스도르프라면, 그 역극한도 하우스도르프이며, 이는 핵심 위상적 성질을 유지함을 의미한다.
• 극한 다변량은 기저 다변량 MR 위의 다중선형 섬유다발이므로, 슈퍼다양체가 특정 종류의 무한차원 섬유다발과 동치임을 보여준다.
• 이 구성은 슈퍼다양체를 일반 다변량의 극한으로서 정규적이고 구체적으로 실현하며, 그로텐디크 위상이나 셰브와 같은 추상적인 범주론적 도구 없이도 새로운 기하학적 해석을 제공한다.