[논문 리뷰] $\mathbb{Z}_2^n$-Supergeometry II: Batchelor-Gawedzki Theorem

Tiffany Covolo, Janusz Grabowski외 1명|arXiv (Cornell University)|2014. 08. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 4

한 줄 요약

이 논문은 $ζ_2^n$-초기하학적 확장을 통해 배치엘러-과에즈키 정리를 증명함으로써, 모든 $ζ_2^n$-다양체가 비표준적으로 분해 가능하다는 것을 보이며, 이는 국소적으로 $ζ_2^n\setminus\{0\}$-등급 벡터(bundle)의 초기화와 동형임을 의미한다. 증명은 매끄러운 함수 위의 형식적 멱급수에 대한 하우스도르프-완비 $ζ_2^n$-교환 법칙을 갖는 대수를 필터링과 코homological 불변량을 사용하여 구성함으로써, 대수적 일致성과 층 수준에서의 동형을 보장한다.

ABSTRACT

Quite a number of $\mathbb{Z}_2^n$-gradings, $n\geq 2$, appear in Physics and in Mathematics. The corresponding sign rules are given by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The new theory exhibits challenging differences with the classical one: nonzero degree even coordinates are not nilpotent, and even (resp., odd) coordinates do not necessarily commute (resp., anticommute) pairwise (the parity is the parity of the total degree). Formal series are the appropriate substitute for nilpotency; the category of $\mathbb{Z}_2^\bullet$-manifolds is closed with respect to the tangent and cotangent functors. The $\mathbb{Z}_2^n$-supergeometric viewpoint provides deeper insight and simplified solutions; interesting relations with Quantum Field Theory and Quantum Mechanics are expected. In this article, we introduce split $\mathbb{Z}_2^n$-manifolds as intrinsic superizations of $\mathbb{Z}_2^n\setminus\{0\}$-graded vector bundles and prove that, conversely, any $\mathbb{Z}_2^n$-manifold is noncanonically split. We thus provide a complete proof of the $\mathbb{Z}_2^n$-extension of the so-called Batchelor-Gawedzki Theorem.

연구 동기 및 목표

• 기존의 배치엘러-과에즈키 정리를 $ζ_2^n$-초기하학적 설정으로 확장하여, $ζ_2^n$-차수의 스칼라 곱에 의해 결정되는 부호 규칙을 적용한다.
• 모든 $ζ_2^n$-다양체가 비표준적인 분해 구조를 갖는다는 것을 입증함으로써, 고전적인 초다양체의 경우를 일반화한다.
• 기약성 대체로 사용되는 형식적 멱급수의 하우스도르프-완비 $ζ_2^n$-교환 법칙 대수를 구성함으로써, $ζ_2^n$-초기하학에 대한 엄밀한 기반을 마련한다.
• 다양체의 탄젠트 및 코탄젠트 함자에 대해 $ζ_2^n$-다양체의 범주가 닫혀 있음을 보이며, 더 깊은 기하학적 및 물리적 응용 가능성을 열어 놓는다.

제안 방법

• 기본적으로 $ζ_2^n\setminus\{0\}$-등급 벡터(bundle)의 내재적 초기화로 비표준 $ζ_2^n$-초다양체를 정의하며, 섬유별로 $ζ_2^n$-차수를 사용하여 대수적 구조를 정의한다.
• 양의 차수를 갖는 동차 원소로 생성된 이상의 필터링을 통해 $ζ_2^n$-등급 벡터(bundle) 위의 형식적 멱급수 대수에서 $ζ_2^n$-다양체의 구조 층으로의 층 준동형을 구성한다.
• 대상 대수의 하우스도르프-완비성으로 인해 형식적 멱급수 구성에서 부분합의 코시 수열의 수렴을 보장한다.
• 구조 준동형의 차수 보존성과 $C^{∞}$-다중선형 확장을 대칭 대수의 단면 층으로 확장하여 $ζ_2^n$-교환 법칙을 보장한다.
• 필터링에서 유도된 코homological 불변량을 사용하여, 유도된 사상이 대수적 구조를 유지하고 층 수준에서 동형임을 검증한다.
• 필터링 위상에서의 곱과 수렴성에 대한 호환성을 보여줌으로써, 결과적으로 사상이 $ℝ$-대수 동형임을 입증한다.

실험 결과

연구 질문

• RQ1 기존의 배치엘러-과에즈키 정리는 $n \geq 2$인 임의의 $ζ_2^n$-초다양체로 일반화될 수 있는가?
• RQ2 모든 $ζ_2^n$-다양체는 $ζ_2^n\setminus\{0\}$-등급 벡터(bundle)의 초기화와 비표준적으로 동형인가?
• RQ3 짝수 차수 좌표가 기약성이 아니므로, $ζ_2^n$-초기하학에서 기약성은 어떻게 대체할 수 있는가?
• RQ4 $ζ_2^n$-다양체의 함수 층에 기반하는 대수적 구조는 무엇이며, 곱과 필터링에 대해 일致성을 어떻게 보장하는가?
• RQ5 $ζ_2^n$-다양체의 범주가 고전적 경우와 마찬가지로 탄젠트 및 코탄젠트 함자에 대해 닫혀 있는가?

주요 결과

• 모든 $ζ_2^n$-다양체는 비표준적으로 분해 가능하며, 이는 국소적으로 $ζ_2^n\setminus\{0\}$-등급 벡터(bundle)의 초기화와 동형임을 의미한다.
• ζ_2^n$-다양체의 구조 층은 $ζ_2^n$-등급 벡터(bundle)의 단면 층의 대칭 대수의 완비화와 동형이며, 형식적 멱급수를 통해 실현된다.
• 형식적 멱급수 대수에서 $ζ_2^n$-다양체의 구조 층으로의 유도된 층 준동형은 $ℝ$-대수 동형이며, 차수와 단위를 보존한다.
• 이 구성은 하우스도르프-완비 $ζ_2^n$-교환 법칙 대수에 기반하며, 코시 수열의 수렴으로 인해 대상 대수 내에서 유일한 극한이 존재함을 보장한다.
• 양의 차수를 갖는 동차 원소로 생성된 이상의 필터링을 사용하며, 부분곱 간의 차이가 더 높은 필터링 수준에 속함을 보여, 대수적 일致성을 확보한다.
• 필터링에서 유도된 코homological 불변량은 사상이 곱을 유지하고 $ζ_2^n$-교환 법칙에 정의된 차수의 스칼라 곱에 따라 부호 규칙과 호환됨을 보장한다.