[논문 리뷰] Invariant Berezin integration on homogeneous supermanifolds

Alexander Alldridge, Joachim Hilgert|arXiv (Cornell University)|2009. 11. 17.

Advanced Algebra and Geometry참고 문헌 8인용 수 15

한 줄 요약

이 논문은 리 초군수 $\mathcal{G}$ 와 닫힌 부분초군수 $\mathcal{H}$ 에 대해, 동차 초다양체 $\Gamma/\mathcal{H}$ 상에서의 불변 Berezin 적분 이론을 수립한다. 이는 $\mathcal{G}$-불변 Berezinian 형식이 존재하기 위한 필요충분조건이 $\mathfrak{g}/\mathfrak{h}$ 의 쌍대 초대수의 Berezinian 이 $\mathcal{H}$-모듈로서 자명해야 한다는 것임을 증명하며, $\mathcal{G}$ 상에서의 적분을 $\mathcal{G}/\mathcal{H}$ 와 $\mathcal{H}$ 상에서의 섬유 적분을 통해 일반화한 Fubini 유사 공식을 유도한다. 이는 조화 분석의 고전적 결과를 초기하 기하학적 설정으로 일반화한다.

ABSTRACT

Let G be a Lie supergroup and H a closed subsupergroup. We study the unimodularity of the homogeneous supermanifold G/H, i.e. the existence of G-invariant sections of its Berezinian line bundle. To that end, we express this line bundle as a G-equivariant associated bundle of the principal H-bundle G over G/H. We also study the fibre integration of Berezinians on oriented fibre bundles. As an application, we prove a formula of `Fubini' type: the invariant integral over G can be expressed (up to sign) by a succesive invariant integration over H and G/H. Moreover, we derive analogues of integral formulae for the transformation under local isomorphisms of unimodular homogeneous superspaces G/H and S/T, and under the products of subsupergroups of Lie supergroups. The classical counterparts of these formulae have numerous applications in harmonic analysis.

연구 동기 및 목표

• 고전적 동차 공간 상의 단조성 및 불변 적분에 관한 결과를 리 초군수와 초다양체의 초기하 기하 설정으로 일반화하기 위해.
• 초대수 $\mathfrak{g}/\mathfrak{h}$ 의 표현 이론적 조건을 통해 $\mathcal{G}/\mathcal{H}$ 상에서의 $\mathcal{G}$-불변 Berezinian 형식 존재 조건을 특성화하기 위해.
• 방향성 있는 초섬유다발에 대한 섬유 적분 이론을 개발하고, $\mathcal{G}/\mathcal{H}$ 와 $\mathcal{H}$ 를 통한 $\mathcal{G}$ 상에서의 적분에 대한 Fubini 유사 공식을 도출하기 위해.
• 국소 동형사상과 부분초군수의 곱에 관한 고전적 적분 공식을 초기하 설정으로 일반화하고, 대칭 초다양체 상의 조화 분석에 응용하기 위해.

제안 방법

• $\mathcal{G}/\mathcal{H}$ 의 Berezinian 선다발을 $\mathcal{G}$-등변 관련 다발 $\mathcal{G} \times^\mathcal{H} \mathrm{Ber}((\mathfrak{g}/\mathfrak{h})^*)$ 로 표현하기.
• Berezinian 다발의 동형을 이용해 $\mathcal{G}$-불변 단면의 존재 문제를 $\mathrm{Ber}((\mathfrak{g}/\mathfrak{h})^*)$ 가 $\mathcal{H}$-모듈로 자명함으로 귀결시키기.
• 방향성 있는 초섬유다발에 대한 일반적인 섬유 적분 사상 구축 및 Berezin 밀도의 적분에 대한 Fubini 유사 공식 증명하기.
• Berezinian의 고정 표현 $\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{h}})$ 와 $\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{u}})$ 를 통한 야코비안 인자 계산을 통해 고전적 곱 공식의 초기하 대응체 도출하기.
• 이론을 국소 동형사상 $\mathcal{G}/\mathcal{H} \to \mathcal{S}/\mathcal{T}$ 와 $\mathcal{M} \cdot \mathcal{H} \subset \mathcal{U}$ 에 적용하고, Berezin 적분의 변환 법칙 계산하기.
• 일반화된 점들과 국소 초행렬 표현을 사용해 곱셈 사상 $m: \mathcal{M} \times \mathcal{H} \to \mathcal{U}$ 의 미분의 Berezinian 계산하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 동차 초다양체 $\mathcal{G}/\mathcal{H}$ 가 영이 아닌 $\mathcal{G}$-불변 Berezinian 형식을 가질 수 있는가?
• RQ2 고전적 $G/H$ 상에서의 Fubini 공식은 초기하 설정으로 어떻게 일반화될 수 있는가?
• RQ3 동차 초다양체 간 국소 동형사상에 대한 Berezin 적분의 변환 법칙은 무엇인가?
• RQ4 부분초군수의 곱 $\mathcal{M} \cdot \mathcal{H} \subset \mathcal{U}$ 상의 적분은 $\mathcal{M}$ 과 $\mathcal{H}$ 상의 적분과 어떻게 관련이 있는가?
• RQ5 초군수 적분의 야코비안 인자 계산에 있어 고정 표현의 Berezinian 은 어떤 역할을 하는가?

주요 결과

• 동차 초다양체 $\mathcal{G}/\mathcal{H}$ 는 $\mathrm{Ber}((\mathfrak{g}/\mathfrak{h})^*)$ 가 $\mathcal{H}$-모듈로 자명할 때에만 영이 아닌 $\mathcal{G}$-불변 Berezinian 형식을 지닌다.
• Fubini 유사 공식이 성립한다: 모든 $f \in \Gamma_c(G, \mathcal{O}_{\mathcal{G}})$ 에 대해 $\int_{\mathcal{G}} f = (-1)^{\dim \mathfrak{h}_1 \cdot \dim \mathfrak{g}/\mathfrak{h}} \int_{\mathcal{G}/\mathcal{H}} \int_{\mathcal{H}} f$.
• 초군수 $\mathcal{U}$ 가 $\mathcal{M} \cdot \mathcal{H}$ 로 분해될 경우, $\mathcal{U}$ 상의 적분은 $\int_{\mathcal{U}} f = \int_{\mathcal{M} \times \mathcal{H}} m^*f \cdot \frac{\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{h}})}{\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{u}})}$ 로 주어지며, 적절한 정규화를 가진다.
• 방향성 있는 초섬유다발에 대한 섬유 적분 사상은 Fubini 유사 공식을 만족하며, 고전적 경우를 초기하 기하학으로 일반화한다.
• 국소 동형사상 $\mathcal{G}/\mathcal{H} \to \mathcal{S}/\mathcal{T}$ 에서 Berezin 적분의 변환 법칙은 몫 초대수에 유도된 선형 사상의 Berezinian 에 의해 결정된다.
• 곱 공식의 야코비안 인자는 곱셈 사상의 미분의 Berezinian 으로 계산되며, 이는 $\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{h}})$ 와 $\mathrm{Ber}(\mathrm{Ad}_{\mathfrak{u}})$ 를 통해 유도된다.