[논문 리뷰] Symmetries of almost complex structures and pseudoholomorphic foliations

Boris Kruglikov|arXiv (Cornell University)|2011. 03. 22.

Geometry and complex manifolds참고 문헌 20인용 수 5

한 줄 요약

이 논문은 거의 복소 구조 $J$의 국소 대칭 프시드오그룹의 유한차원성을 판단하는 기준을 수립한다. 무한차원 대칭 프시드오그룹이 나타나는 것은 오직 $J$가 준해석적 폴리아션을 허용하는 통합 가능한 경우에만 발생함을 보여주며, 핵심 결과는 노이엔후이스 텐서가 계수 2의 통합 가능 분포를 유도할 때에만 최대 대칭(무한차원)이 발생하며, 이는 4차원과 6차원에서 각각 $G_2^c$ 및 $G_2^n$ 구조와 유일하게 관련되어 있음을 시사한다.

ABSTRACT

Generically an almost complex structure has no symmetries at all, but there exist symmetric structures. In this paper we describe how to guarantee that the pseudogroup of local symmetries is small (finite-dimensional). It will be indicated that a large symmetry pseudogroup (infinite-dimensional) is a signature of some integrable structure, like a pseudoholomorphic foliation. We are mostly concerned with almost complex structures in dimensions 4 and 6, where we classify the sub-maximal symmetric structures, and we briefly discuss the higher dimensions. For non-degenerate almost complex structures we give an estimate on the dimension of the automorphism group.

연구 동기 및 목표

• 거의 복소 구조 $J$의 국소 대칭 프시드오그룹 $G = \mathop{\rm Sym}_{\text{loc}}(M,J)$이 유한차원이 되는 조건을 규명하는 것.
• 최대 대칭(무한차원 $G$)을 갖는 거의 복소 구조를 분류하고 그 기하적 특징을 규명하는 것.
• 노이엔후이스 텐서 $N_J$가 관련 분포의 대칭 차원과 통합 가능성 결정에 미치는 역할을 분석하는 것.
• 비퇴화된 거의 복소 구조가 큰 대칭군을 갖는 데 있어 전역적 위상적 제약 조건을 수립하는 것.
• 4차원과 6차원에서의 부분 최대 대칭 구조를 특성화하고 국소 유일성 및 대칭 유형을 규명하는 것.

제안 방법

• 프시드오그룹 $G$의 기능적 차원과 랭크를 계산하기 위해 카르탕 테스트를 적용하여, 그 원소들이 몇 개의 변수에 대해 몇 개의 함수에 의존하는지 파악한다.
• 노이엔후이스 텐서 $N_J$를 주된 미분 불변량으로 사용하여, $M$ 위의 벡터 분포로서의 그 이미지 $\Pi = \mathop{\rm Im}(N_J)$를 분석한다.
• 만약 $N_J$가 비퇴화되어 있다면($n>2$인 경우 전사적, $n=2$인 경우 이미지가 통합 가능하지 않은 경우), $\dim G < \infty$임을 증명하여 정리 A를 수립한다.
• 만약 $\dim G = \infty$라면, 노이엔후이스 이미지 $\Pi$는 반드시 통합 가능해야 하며, 이는 준해석적 폴리아션의 존재를 암시한다.
• 함수적 매개변수 $\sigma$의 수를 분석하여 부분 최대 대칭 구조를 분류하며, $n=2,3$인 경우 $\sigma = n-1$, $n>3$인 경우 $\sigma = n-2$임을 보인다.
• 4차원과 6차원에서 최대 대칭의 경우, 각각 $S^6$ 상의 $G_2^c$-불변 $J$와 $S^{2,4}$ 상의 $G_2^n$-불변 $J$로 유일하게 나타나며, 이 경우 $\dim G \leq 14$이다.

실험 결과

연구 질문

• RQ1 거의 복소 구조 $J$의 국소 대칭 프시드오그룹 $G$가 유한차원이 되는 조건은 무엇인가?
• RQ2 만약 $G$가 무한차원이라면 어떤 기하 구조가 반드시 존재해야 하는가?
• RQ3 4차원과 6차원에서 비퇴화된 거의 복소 구조에 대해 국소 대칭 프시드오그룹 $G$의 최대 가능 차원은 얼마인가?
• RQ4 노이엔후이스 텐서와 그 이미지 $\Pi = \mathop{\rm Im}(N_J)$는 $J$의 대칭 구조에 어떤 제약을 가하는가?
• RQ5 큰 대칭군을 갖는 비퇴화된 거의 복소 구조의 존재에 있어 전역적 위상적 제약 조건은 무엇인가?

주요 결과

• 프시드오그룹 $G$의 국소 대칭은 노이엔후이스 텐서 $N_J$가 비퇴화되어 있을 경우($n>2$인 경우 전사적) 또는 $n=2$일 경우 이미지 $\Pi$가 통합 가능하지 않으면 유한차원이다.
• 만약 $\dim G = \infty$라면, 노이엔후이스 이미지 $\Pi = \mathop{\rm Im}(N_J)$는 반드시 통합 가능해야 하며, 이는 표준 준해석적 폴리아션의 존재를 암시한다.
• 4차원에서 부분 최대 대칭 구조는 국소적으로 유일하며, 해석적 곡선 위의 거의 해석적 범주와 관련되어 있으며, $\dim G = 4$이다.
• 6차원에서 최대 대칭 프시드오그룹의 차원은 $\dim G \leq 14$이며, 이는 오직 $S^6$ 상의 $G_2^c$-불변 $J$ 또는 $S^{2,4}$ 상의 $G_2^n$-불변 $J$일 때에만 달성된다.
• 4차원과 6차원에서는 두 가지 다른 부분 최대 대칭 구조가 존재하며, 둘 다 $n-2$개의 복소 함수에 대해 2개의 변수에 의존하는 대칭 프시드오그룹을 갖는다.
• 비퇴화된 $J$가 존재하고 $N_J \neq 0$이면, 전역적 위상적 제약 조건이 존재하며, 특히 최대 대칭의 경우 $M$은 $S^6$ 또는 $S^{2,4}$와 미분동형이어야 한다.