[논문 리뷰] Differential gorms, differential worms

Denis Kochan, Pavol Ševera|ArXiv.org|2003. 07. 22.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 다양체 $M$ 에 대한 $ℝ^{0|n}$ 에서의 사상의 초공간 위의 함수로 정의된, 미분 형식의 고차원 일반화인 미분 곰스(differential gorms)와 웜스(worms)를 소개한다. 이 함수 공간 위에서 초군 $\mathit{Diff}(\mathbb{R}^{0|n})$ 의 작용을 연구함으로써, 저자들은 호모로지 대수학을 일반화하고, 함수자적 및 스택 이론적 방법을 통해 동치 코homology와 준파oisson 군oids의 새로운 기하학적 해석을 제공한다.

ABSTRACT

We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal commutative bidifferential algebra. From a more conceptual point of view, differential forms are functions on the superspace of maps from the odd line to M and the action of Diff(the odd line) on forms is equivalent to deRham differential and to degrees of forms. Gorms are functions on the superspace of maps from the odd plane to M and we study the action of Diff(the odd plane) on gorms; it contains more than just degrees and differentials. By replacing 2 with arbitrary n, we get differential worms. We also study a generalization of homological algebra that uses Diff(the odd plane) or higher instead of Diff(the odd line), and a closely related question of forms (and gorms and worms) on some generalized spaces (contravariant functors and stacks) and of approximations of such "spaces" in terms of worms. Clearly, this is not a gormless paper.

연구 동기 및 목표

• 미분 형식의 차수 1을 초월하여, $n=2$ 에서의 미분 곰스와 $n\geq2$ 에서의 웜스를 다양체 $M$ 에 대한 $ℝ^{0|n} \to M$ 사상의 초공간 위의 함수로 도입함으로써 일반화한다.
• de Rham 미분이 $ℝ^{0|1}$ 에 대한 $ℝ^{0|1}$ 의 작용으로 유도되는 것과 마찬가지로, $ℝ^{0|n}$ 에 대한 $ℝ^{0|n}$ 의 작용을 통해 $n$ 이 더 큰 경우로 개념적 프레임워크를 확장한다.
• 차수 $n \geq 2$ 에서 $ℝ^{0|1}$ 의 작용을 $ℝ^{0|n}$ 의 작용으로 대체함으로써 일반화된 호모로지 대수학을 개발하고, 더 풍부한 대수적 구조를 드러낸다.
• 표현 가능한 함자와 스택을 통해 일반화된 코homology 이론, 예를 들어 동치 코homology와 준Poisson 구조를 기하학적으로 해석한다.
• 초기하학과 군oids 작용을 통한 일반화된 공간 위에서의 고차 미분 불변량에 대한 기하학적이고 함수자적 기초를 제공한다.

제안 방법

• 미분 곰스를 $C^\infty(M)$ 를 포함하는 유일한 가환 이미분 대수로서 정의함으로써, 미분 형식의 유일성 성질을 일반화한다.
• 미분 형식을 $\mathbb{R}^{0|1} \to M$ 의 오드 곡선 초공간 위의 함수로 재해석하고, de Rham 미분이 $\mathit{Diff}(\mathbb{R}^{0|1})$ 의 작용으로 유도됨을 보인다.
• $\mathbb{R}^{0|2} \to M$ 로의 확장을 통해 미분 곰스를 정의하고, $\mathit{Diff}(\mathbb{R}^{0|2})$ 의 작용을 분석함으로써, 단순한 등급과 미분 외에도 더 많은 대칭과 구조를 포함함을 밝힌다.
• $\mathit{Diff}(\mathbb{R}^{0|2})$ 의 표현으로서 곰스 공간을 분해하고, $\mathit{Mat}(2)$-표현 이론을 통해 기약 성분을 식별한다.
• 곰스에 대한 적분 이론을 개발하고, $M$ 의 오일러 특성수와 닫힘 및 적분 가능한 곰스의 적분 사이의 관계를 연결하는 정리를 증명한다.
• 특히 Weil 및 Cartan 모델에서와 같이 스택을 강화함으로써, 일반화된 공간에 대한 대응함수와 스택을 통해 코homological 불변량을 표현한다.

실험 결과

연구 질문

• RQ1 차수 $n \geq 2$ 에서, $\mathbb{R}^{0|n} \to M$ 의 고차원 초다양체 사상에 대한 미분 형식을 체계적으로 어떻게 일반화할 수 있는가?
• RQ2 $\mathrm{Maps}(\mathbb{R}^{0|n}, M)$ 위의 함수 공간에 대한 $\mathit{Diff}(\mathbb{R}^{0|n})$ 의 작용으로부터 유도되는 대수적 및 기하학적 구조는 무엇인가?
• RQ3 $n \geq 2$ 에서 $\mathit{Diff}(\mathbb{R}^{0|1})$ 을 $\mathit{Diff}(\mathbb{R}^{0|n})$ 으로 대체함으로써 일반화된 호모로지 대수학을 구성할 수 있는가?
• RQ4 표준적인 코homology 이론, 예를 들어 동치 코homology와 준Poisson 기하학은 스택 이론적 구성에 의해 이 틀 안에서 어떻게 유도되는가?
• RQ5 미분 곰스와 웜스의 맥락에서 적분과 위상수학적 불변량(예: 오일러 특성수)의 역할은 무엇인가?

주요 결과

• 미분 곰스는 자연스럽게 $\mathbb{R}^{0|2} \to M$ 의 초공간 위의 함수로서 나타나며, 그 대수적 구조는 $\mathit{Diff}(\mathbb{R}^{0|2})$ 의 작용에 의해 결정된다.
• $\mathit{Diff}(\mathbb{R}^{0|2})$ 의 곰스 위 작용은 단순한 등급과 미분 외에도, $n=1$ 경우에 존재하지 않는 고차 대칭과 구조를 포함한다.
• 곰스 공간은 $\mathit{Mat}(2)$ 의 표현으로 분해되며, 일반적인 부분은 $\widetilde{T_{\vec{l}}^{*}}M$ (코탄젠트 테트리스 번들) 와 동형이며, 비일반적인 부분은 미분 형식과 동형이다.
• $M$ 의 오일러 특성수와 임의의 닫힘 및 적분 가능한 곰스의 적분 사이의 관계를 연결하는 정리를 증명하였다. 이는 고전적 가우스-본넷 정리의 일반화이다.
• Weil 및 Cartan 모델의 동치 코homology는 연결을 가진 $\mathbb{R}^{0|1} \to N$ 의 사상 공간 위의 불변 함수로서, 강화된 스택을 통해 복원된다.
• 준Poisson 군oids가 $\mathbb{R}[2]$-작용을 가진 등급이 부여된 오드 심플렉틱 군oids와 대응됨을 보였으며, 이는 일반화된 범주 $\mathcal{G}_{[1]}$ 에서 자연스러운 대상의 원천을 제공한다.