[논문 리뷰] Geometrical formality of solvmanifolds and solvable Lie type geometries

Hisashi Kasuya|arXiv (Cornell University)|2012. 07. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 5

한 줄 요약

이 논문은 $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 형태의 군에서 유한지그룹 $\Gamma$를 통해 생성된 solvmanifold $G/\Gamma$가, $\phi$가 반단순 작용일 경우, 모든 조화형식의 곱이 여전히 조화형인 불변 형식 리만계량을 가짐을 증명한다. 또한, 차원 $\leq 4$인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 기본군이 거의 가환군인 경우, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류한다.

ABSTRACT

We show that for a Lie group $G=\R^{n}\ltimes_ϕ \R^{m}$ with a semisimple action $ϕ$ which has a cocompact discrete subgroup $Γ$, the solvmanifold $G/Γ$ admits a canonical invariant formal (i.e. all products of harmonic forms are again harmonic) metric. We show that a compact oriented aspherical manifold of dimension less than or equal to 4 with the virtually solvable fundamental group admits a formal metric if and only if it is diffeomorphic to a torus or an infra-solvmanifold which is not a nilmanifold.

연구 동기 및 목표

• 반단순 작용 $\phi$에 의한 $\mathbb{R}^n \ltimes_\phi \mathbb{R}^m$에서 유도된 solvmanifold가 불변 형식 리만계량을 갖는 조건을 규명하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해 기하학적 형식성이 성립하는 경우를 분류하는 것.
• infra-solvmanifold의 기하학적 형식성을 특성화하고, 저차원에서 nilmanifold와의 차이를 밝히는 것.
• 특히 호지 이론과 조화형식과의 관계에서, 가환 리군과 그 격자에 대한 형식 계량의 이해를 확장하는 것.

제안 방법

• 이전 연구 [14]에서 얻어진 일반 solvmanifold의 de Rham 코homology 계산을 활용하여 조화형식을 분석하는 것.
• 콤���트 리만다양체 위에서 호지 이론을 적용하여 조화형식을 정의하고, 형식 계량 조건을 설정하는 것.
• 작용 $\phi$의 반단순성에 기반하여 $G/\Gamma$에 불변 계량을 구성함으로써, 모든 조화형식의 외적 곱이 여전히 조화형인 것을 보장하는 것.
• 가환 리군의 유니포텐트 뿌리와 대수적 군 구조를 활용하여 코homological 및 기하적 성질을 분석하는 것.
• 특히 3차원과 4차원에서, 그들의 회전군과 등장군의 구조를 통해 infra-solvmanifold를 분류하는 것.
• 첫 번째 비버바흐 정리와 하위 중심계열의 성질을 활용하여 nilmanifold와 비-nilmanifold infra-solvmanifold를 구분하는 것.

실험 결과

연구 질문

• RQ1 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• RQ2 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• RQ3 유니포텐트 뿌리와 대수적 군 구조가 solvmanifold 위의 계량의 형식성 결정에 어떤 역할을 하는가?
• RQ4 기하학적으로 볼 때, nilmanifold가 아닌 infra-solvmanifold는 형식성 측면에서 nilmanifold와 어떻게 다를까?
• RQ5 특히 저차원에서, 다양체의 코homological 및 호모토피적 성질을 통해 기하학적 형식성이 특성화될 수 있는가?

주요 결과

• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.
• 기본군이 거의 가환군인 컴팩트이고 올라운드된 비아스퍼럴 다양체 중에서 차원 $\leq 4$인 경우에 대해, 기하학적 형식성이 성립함과 동시에 토러스 또는 비-nilmanifold인 infra-solvmanifold로 미분형임이 필요충분조건임을 분류하는 것.