[논문 리뷰] Kähler-Weyl manifolds of dimension 4

Peter Gilkey, Stana Nikčević|arXiv (Cornell University)|2011. 09. 21.

Geometry and complex manifolds참고 문헌 16인용 수 8

한 줄 요약

이 논문은 4차원에서 대수적 편의 허미트 및 파라-허미트 Kähler–Weyl 곡률 텐서를 분류하며, 이러한 모든 대수적 곡률이 기하학적으로 실현 가능하다는 것을 증명한다. 임의의 차원에서 Kähler–Weyl 다양체에 대해 Gray 항등식을 수립하고, 4차원에서 모든 Kähler–Weyl 구조가 특정 Lee 형식을 가진 파라/편의 허미트 계량으로 유일하게 유도된다는 것을 보여, 이 경우에 실패하는 고차원 결과의 빈도를 메운다.

ABSTRACT

We determine the space of algebraic pseudo-Hermitian Kähler-Weyl curvature tensors and the space of para-Hermitian Kähler-Weyl curvature tensors in dimension 4 and show that every algebraic possibility is geometrically realizable. We establish the Gray identity for pseudo-Hermitian Weyl manifolds and for para-Hermitian Weyl manifolds in arbitrary dimension.

연구 동기 및 목표

• 4차원에서 대수적 편의 허미트 및 파라-허미트 Kähler–Weyl 곡률 텐서의 공간을 분류하기.
• 모든 대수적 Kähler–Weyl 곡률 텐서가 실제 Kähler–Weyl 다양체의 곡률 텐서로 기하학적으로 실현 가능한지 판별하기.
• 임의의 차원에서 파라/편의 허미트 Kähler–Weyl 구조로의 Gray 항등식을 확장하기.
• 차원 4에서 Theorem 1.1(6차원 이상에서 Weyl 구조의 자명성)의 실패를 해결하기 위해, 임의의 4차원 파라/편의 허미트 다양체로부터 유일한 Kähler–Weyl 구조를 구성하기.
• 구조군 $\mathcal{U}_{\pm}^\star$의 표현 이론을 사용하여 Kähler–Weyl 곡률 텐서 공간을 분해하기.

제안 방법

• 구조군 $\mathcal{U}_{\pm}^\star = \{T \in \mathcal{O} : TJ_{\pm} = \pm J_{\pm}T\}$의 표현 이론을 사용하여 곡률 텐서 공간을 기약 $\mathcal{U}_{\pm}^\star$-모듈로 분해한다.
• Weyl 구조의 곡률 분해를 적용하고, (1.b), (1.c), (1.e)에서 유도된 대칭성을 도입하여 $\mathfrak{K}_{\pm,\mathfrak{W}}$를 Kähler 및 Weyl 곡률 텐서의 교차로 정의한다.
• 서브모듈 $\Lambda^2$를 곡률 성분으로 실현하기 위해 맵 $\Xi(\psi)(x,y,z,w) = 2\psi(x,y)\langle z,w\rangle + \psi(x,z)\langle y,w\rangle - \psi(y,z)\langle x,w\rangle - \psi(x,w)\langle y,z\rangle + \psi(y,w)\langle x,z\rangle$를 활용한다.
• Lemma 4.1을 적용하여, $f = \pm\frac{1}{4}x_1x_3$에 대한 대칭 Ricci 텐서 $\rho_a(f)$가 $\Lambda_{\pm,J_{\pm}}^2$ 및 $\Lambda_{0,\mp,J_{\pm}}^2$ 성분을 생성함을 보여, 이들이 $\mathfrak{K}_{\pm,\mathfrak{W}}$에 포함됨을 증명한다.
• Theorem 2.4를 적용하여 $\Lambda_{0,\mp,J_{\pm}}^2$가 $\mathfrak{W}$에 중복도 1로 나타남을 보이고, 이를 통해 $\mathfrak{K}_{\pm,\mathfrak{W}}$에서도 중복도 1임을 유추한다.
• 곡률 변형을 분석하기 위해 $R^\nabla - R^g$의 차이에서 $\otimes^2 T_P^*M \to \mathfrak{W}_P$로의 맵 $\Theta$를 구성하고, Gray 대칭자 $\mathcal{G}_\pm$를 적용하여 $\mathcal{G}_\pm(R^\nabla) = \mathcal{G}_\pm(R^g) = 0$임을 증명한다.

실험 결과

연구 질문

• RQ1 4차원에서 편의 허미트 및 파라-허미트 Kähler–Weyl 곡률 텐서의 완전한 대수적 분류는 무엇인가?
• RQ2 4차원에서 모든 대수적 Kähler–Weyl 곡률 텐서는 실제 Kähler–Weyl 다양체의 곡률 텐서로 실현 가능한가?
• RQ3 임의의 차원에서 파라/편의 허미트 Kähler–Weyl 다양체에 대해 Gray 항등식 $\mathcal{G}_\pm(R) = 0$이 성립하는가?
• RQ4 왜 Theorem 1.1(6차원 이상에서 Weyl 구조의 자명성)은 차원 4에서 실패하며, 비자명한 Kähler–Weyl 구조는 어떻게 유일하게 구성되는가?
• RQ5 4차원에서 Kähler–Weyl 곡률 텐서 공간 내부에서 기약 $\mathcal{U}_{\pm}^\star$-모듈은 어떻게 분해되는가?

주요 결과

• 4차원에서 대수적 편의 허미트 Kähler–Weyl 곡률 텐서 공간은 기약 $\mathcal{U}_{\pm}^\star$-모듈 $W_{\pm,1}, W_{\pm,2}, W_{\pm,3}, W_{\pm,7}, W_{\pm,9}, W_{\pm,11}$의 직합과 동형이며, $W_{\pm,7}$은 Gray 항등식에 대응한다.
• 4차원에서 모든 대수적 Kähler–Weyl 곡률 텐서는 기하학적으로 실현 가능하며, $g(0) = g_0$, $dg(0) = 0$, $\phi(0) = 0$ 조건을 만족하는 국소 모델을 구성함으로써 이를 증명하였다.
• 모든 4차원 파라/편의 허미트 다양체 위의 유일한 Kähler–Weyl 구조는 $\phi = \pm\frac{1}{2}J_{\pm}^*\delta\Omega_{\pm}$로 주어지며, 이는 Theorem 1.2를 확인한다.
• $\Lambda_{0,\mp,J_{\pm}}^2$ 모듈은 $\mathfrak{K}_{\pm,\mathfrak{W}}$에 중복도 1로 나타나며, $\Lambda_{\pm,J_{\pm}}^2$ 역시 중복도 1로 나타나지만, $\mathfrak{K}_{\pm,\mathfrak{R}}$에서 배제되어 있기 때문에 $\mathfrak{W}$에서의 중복도 2에 비해 감소한다.
• 모든 Kähler–Weyl 다양체의 곡률 텐서에 대해 Gray 대칭자 $\mathcal{G}_\pm$는 0이 되며, 이는 임의의 차원에서 파라/편의 허미트 Kähler–Weyl 구조에 대해 Gray 항등식 $\mathcal{G}_\pm(R) = 0$이 성립함을 증명한다.
• Kähler–Weyl 접속의 곡률 텐서 $R^\nabla$는 $\mathcal{G}_\pm(R^\nabla) = \mathcal{G}_\pm(R^g)$를 만족하며, $J_{\pm}$가 적분 가능할 경우 $\mathcal{G}_\pm(R^g) = 0$이므로 $\mathcal{G}_\pm(R^\nabla) = 0$임을 유추할 수 있다.