[논문 리뷰] Complex product structures on some simple Lie groups

Stefan Ivanov, Vasil Tsanov|ArXiv.org|2004. 05. 31.

Geometric Analysis and Curvature Flows인용 수 5

한 줄 요약

이 논문은 실수 리 군 $SL(2m-1,\mathbb{R})$, $SU(m,m-1)$, 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$ 위에 왼쪽 불변 복소 곱 구조를 구성하며, 명시적 대수적 구성 방법을 통해 그 존재성을 증명한다. 주요 기여는 $SU(m,m-1)$ 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$ 위에서 이러한 구조가 이중 불변 카일링 메트릭과 호환됨을 보여주며, 코컴 pact한 이산 부분군으로 몫을 취할 경우 컴팩트하고 비평탄하며 중성 리만다우드를 갖는 에인슈타인 다양체를 얻는다.

ABSTRACT

We construct invariant complex product (hyperparacomplex, indefinite quaternion) structures on the manifolds underlying the real noncompact simple Lie groups $SL(2m-1,\RR)$, $SU(m,m-1)$ and $SL(2m-1,\CC)^\RR$. We show that on the last two series of groups some of these structures are compatible with the biinvariant Killing metric. Thus we also provide a class of examples of compact (neutral) hyperparahermitean, non-flat Einstein manifolds.

연구 동기 및 목표

• 실수 단순 리군, 특히 $SL(2m-1,\mathbb{R})$ 및 $SU(m,m-1)$ 위에 명시적이고 왼쪽 불변 복소 곱 구조를 구성하는 것. 이는 이 맥락에서 이전에 알려지지 않은 것이다.
• $SU(m,m-1)$ 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$ 위에서 이러한 복소 곱 구조가 이중 불변 카일링 메트릭과 호환됨을 보여주어, 호환 가능한 초등거리 구조를 구성할 수 있음을 보여주는 것.
• 코컴 pact한 이산 부분군으로 몰입함으로써 컴팩트하고 비평탄하며 중성 리만다우드를 갖는 새로운 에인슈타인 다양체의 예를 생성하는 것.
• 해당 구조를 아핀군과 재조합군에서 알려진 복소 곱 구조 결과를 단순 리군으로 확장하기 위해 명시적 매개변수화된 구성 방법을 사용하는 것.

제안 방법

• $su(m,m-1)$ 및 $sl(2m-1,\mathbb{R})$의 리 대수 위에 아벨 부분대수 $\mathfrak{z}$를 생성하는 $U^1, \dots, U^{m-1}$를 사용하여 복소 곱 구조 $(P,J)$의 가중치를 구성한다.
• $Z^j, V^j, S^j, T^j, U_j^k, V_j^k, S_j^k, T_j^k$와 같은 기저 원소 위에서 $P$와 $J$를 선형 확장으로 정의하며, $P^2 = -J^2 = 1$ 및 $PJ = -JP$를 만족시킨다.
• $Z \in \mathfrak{z}$에 대해 $[Z, J(X)] = J([Z,X])$ 및 $[Z, P(X)] = P([Z,X])$를 사용하여 $P$와 $J$의 적분 가능성을 확인한다. 이를 위해 뉴엔후스 텐서가 0이 되는지 검증한다.
• 카일링 형식(또는 복소화된 대수에서의 실수 부분)이 $P$와 $J$에 대해 보존됨을 보여 metric 호환성을 증명한다. 특정 노름을 가진 정규직교 기저를 사용한다.
• $su(m,m-1)$ 위에서의 작용을 복소화하여 $sl(2m-1,\mathbb{C})^{\mathbb{R}}$ 위에 복소 곱 구조를 확장하고, 실수 부분의 추적 형식과의 호환성을 검증한다.
• 보렐의 정리를 적용하여 $SU(m,m-1)$ 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$에 코컴 pact한 이산 부분군 $\Gamma$가 존재함을 결론내리며, 이로 인해 호환 가능한 중성 에인슈타인 메트릭을 갖는 컴팩트 몫 다양체를 구성할 수 있다.

실험 결과

연구 질문

• RQ1 단순 실수 리군인 $SL(2m-1,\mathbb{R})$ 및 $SU(m,m-1)$ 위에 불변 복소 곱 구조를 구성할 수 있는가?
• RQ2 $SU(m,m-1)$ 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$ 위에서 이러한 복소 곱 구조가 이중 불변 카일링 메트릭과 호환되는가?
• RQ3 $G$가 $SU(m,m-1)$ 또는 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}$이고 $\Gamma$가 코컴 pact한 이산 부분군일 때, 몫 다양체 $G/\Gamma$는 컴팩트하고 비평탄하며 중성 리만다우드를 갖는다?
• RQ4 $sl(2m-1,\mathbb{C})$ 위의 복소 곱 구조는 그 실수 형태인 $su(m,m-1)$ 위의 복소 곱 구조를 복소화함으로써 유도될 수 있는가?
• RQ5 기저 원소의 노름은 카일링 형식 하에서 어떻게 행동하는가? 이는 메트릭 호환성에 어떤 함의를 갖는다?

주요 결과

• 논문은 모든 $m > 1$에 대해 $SL(2m-1,\mathbb{R})$ 및 $SU(m,m-1)$ 위에 왼쪽 불변 복소 곱 구조를 구성하며, 리 대수의 기저 위에서 매개변수화된 명시적 연산자 $P$와 $J$를 사용한다.
• $SU(m,m-1)$의 경우, 카일링 형식은 아벨 부분대수 $\mathfrak{z}$ 위에서 음의 정부호이며, 기저 원소의 노름은 $\|Z^j\|^2 = \|V^j\|^2 = \|U_j^k\|^2 = \|V_j^k\|^2 = -1$ 이고, $\|S^j\|^2 = \|T^j\|^2 = \|S_j^k\|^2 = \|T_j^k\|^2 = 1$ 이다. 이는 메트릭 호환성을 보장한다.
• $sl(2m-1,\mathbb{C})^{\mathbb{R}}$ 위의 복소 곱 구조는 실수 부분의 추적 형식과 호환되며, 이는 카일링 형식에 비례한다. 실수 및 허수 부분의 기저 원소의 노름은 $K(iZ,iZ) = K(iU,iU) = K(iV,iV) = K(S,S) = K(T,T) = 1$ 및 $K(Z,Z) = K(U,U) = K(V,V) = K(iS,iS) = K(iT,iT) = -1$ 를 만족한다.
• 코컴 pact한 이산 부분군 $\Gamma$에 대해 몫 다양체 $SU(m,m-1)/\Gamma$ 및 $(SL(2m-1,\mathbb{C}))^{\mathbb{R}}/\Gamma$는 복소 곱 구조가 카일링 메트릭과 호환되므로 컴팩트하고 비평탄하며 중성 리만다우드를 갖는다.
• $GL(2m,\mathbb{R})$ 및 $U(m,m)$은 각각 $SL(2m+1,\mathbb{R})$ 및 $SU(m+1,m)$ 내에 복소 곱 부분다양체로 포함됨으로써 구성이 확장된다.
• $sl(2m-1,\mathbb{C})$ 위의 복소 곱 구조는 복소화된 대수 위에서 하이퍼복소 구조로 나타나며, 안드라다와 살라몬의 결과에 따라 $SL(2m-1,\mathbb{C})$가 동차 하이퍼복소 구조를 갖는다는 것을 확인한다.