[논문 리뷰] Lectures on supergeometry

G. Sardanashvily|ArXiv.org|2009. 10. 01.

Algebraic structures and combinatorial models참고 문헌 24인용 수 4

한 줄 요약

이 논문은 이론 물리학에 응용되는 초기하학(supergeometry)에 대한 종합적인 소개를 제공하며, 그레디에이티드(commutative) 링, 그레디에이티드 다양체, 슈퍼다양체를 중심으로 다룬다. 초기하학적 접속, 그레디에이티드 주요다발, 그레디에이티드 다양체 위의 접속에 대한 수학적 틀을 수립하며, 특정 조건 하에서 그레디에이티드 다양체와 DeWitt 슈퍼다양체가 동치임을 보여준다.

ABSTRACT

Elements of supergeometry are an ingredient in many contemporary classical and quantum field models involving odd fields. For instance, this is the case of SUSY field theory, BRST theory, supergravity. Addressing to theoreticians, these Lectures aim to summarize the relevant material on supergeometry of modules over graded commutative rings, graded manifolds and supermanifolds.

연구 동기 및 목표

• SUSY, BRST, 초중력 이론을 연구하는 이론 물리학자들에게 초기하학의 체계적이고 접근 가능한 기초를 제공하기 위해.
• 그레디에이티드 다양체와 DeWitt 슈퍼다양체 사이의 차이와 동치성에 대한 명확한 해소를 통해 기초적 모호성을 제거하기 위해.
• Z2-그레디에이티드 교환 대수의 프레임워크 내에서, 접속, 초기하학적 접속, 주요다발을 포함한 그레디에이티드 미분기하학의 형식론을 개발하기 위해.
• 그레디에이티드 다양체와 슈퍼다양체의 맥락에서, 그레디에이티드 주요다발과 일반 주요다발 간의 동치성을 확립하기 위해.
• 그레디에이티드 접속을 불변 분할(invariant splitting)을 통한 미분형식의 층의 성질을 정의하고 특성화하여, 고전적 접속을 초기하학적 맥락으로 일반화하기 위해.

제안 방법

• 기초적인 대수적 구조로 Z2-그레디에이티드 모듈 및 그레디에이티드 교환 링 위의 층을 사용한다.
• 그레디에이티드 텐서 미적분학과 그레디에이티드 미분미적분학을 도입하며, 그레디에이티드 미분과 그레디에이티드 외부 대수를 포함한다.
• 매끄러운 다양체 위의 그레디에이티드 교환 대수의 층을 통해 그레디에이티드 다양체를 정의하고, 초벡터 공간의 층을 통해 슈퍼다양체를 정의한다.
• 정리 6를 통해 그레디에이티드 다양체와 DeWitt H^∞-슈퍼다양체 간의 동치성을 확립하며 상호 재구성 가능성을 보여준다.
• 그레디에이티드 모듈의 구조를 사용하여 G-슈퍼다양체의 범주에서 초벡터 다발과 초기하학적 접속을 구성한다.
• 그레디에이티드 리 군의 자유이고 정규적인 오른쪽 작용을 갖는 국소적으로 자명한 종사사상으로서 그레디에이티드 주요다발을 정의하고, 그레디에이티드 접속을 미분형식의 층의 불변 분할로 정의한다.

실험 결과

연구 질문

• RQ1 그레디에이티드 다양체와 슈퍼다양체는 어떻게 관련되어 있으며, 어떤 의미에서 동치인가?
• RQ2 비교적 교환 대수 기하학을 비틀지 않고 일반화하는 초기하학의 올바른 대수적 프레임워크는 무엇인가?
• RQ3 그레디에이티드 다양체와 슈퍼다양체의 맥락에서 접속과 주요다발은 어떻게 정의할 수 있는가?
• RQ4 그레디에이티드 리 군의 오른쪽 작용이 그레디에이티드 다양체 위에서 정의될 때, 몫이 다시 그레디에이티드 다양체가 되기 위한 조건은 무엇인가?
• RQ5 그레디에이티드 접속은 초기하학적 맥락과 주요다발의 맥락에서 고전적 접속을 어떻게 일반화하는가?

주요 결과

• 그레디에이티드 다양체와 DeWitt 슈퍼다양체는 동치이다: 모든 그레디에이티드 다양체는 DeWitt H^∞-슈퍼다양체를 결정하고, 그 반대도 마찬가지이다 (정리 6).
• 그레디에이티드 미분미적분학은 Z2-그레디에이티드 미분에 기반하며, 비교적 교환 기하학과는 다름을 보장하여 일관된 초대수적 성질을 확보한다.
• 그레디에이티드 모듈의 텐서곱은 그레디에이티드 교환 법칙을 포함하며, 외부 대수는 그레디에이티드 반대칭 관계 $ q \wedge q' = -(-1)^{[q][q']} q' \wedge q $ 를 통해 정의된다.
• 그레디에이티드 주요다발 위의 초기하학적 접속은 그레디에이티드 리 군의 오른쪽 작용에 대해 불변인 $ \mathfrak{g} $-값을 갖는 그레디에이티드 접속 형식으로 정의된다.
• 그레디에이티드 리 군 $ (G, \mathcal{G}) $ 이 그레디에이티드 다양체 $ (Z, \mathcal{A}) $ 위에 오른쪽 작용을 하며, 그 작용이 정규적일 때와 그 밖에, 몫 $ (Z/G, \mathcal{A}/\mathcal{G}) $ 가 그레디에이티드 다양체가 되기 위한 필요충분조건은 정리 11.2에 의해 성립한다.
• 그레디에이티드 섬유다발의 제트다발 $ J^1(Z/X) $ 는 그 자체로 그레디에이티드 다양체이며, 이는 그레디에이티드 접속을 등변 섹션(equivariant section)으로서 이 제트다발의 다른 정의를 가능하게 한다.