[논문 리뷰] Formality and hard Lefschetz property of aspherical manifolds

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

Geometry and complex manifolds참고 문헌 17인용 수 7

한 줄 요약

이 논문은 특정 비구형 다성분의 기본군이 거의 폴리사이클릭일 경우, 그 유니포텐트 힐이 아벨일 때 형식성과 하드 레프셰츠 성질을 만족함을 증명한다. 기본군의 대수적 힐을 이용하여, 특정 단순 가환 리 군 $\mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 에서의 격자에 대한 유한 확장이 형식적인 단순 다성분의 하드 레프셰츠 성질을 만족함을 증명한다. 이들 중 많은 것은 카이러 구조를 갖지 않는다.

ABSTRACT

For a Lie group $G=\R^{n}\ltimes_ϕ\R^{m}$ with the semi-simple action $ϕ:\R^{n} o { m Aut}(\R^{m})$, we show that if $Γ$ is a finite extension of a lattice of $G$ then $K(Γ, 1)$ is formal. Moreover we show that a compact symplectic aspherical manifold with the fundamental group $Γ$ satisfies the hard Lefschetz property. By those results we give many examples of formal solvmanifolds satisfying the hard Lefschetz property but not admitting Kähler structures.

연구 동기 및 목표

• 유비폴리사이클릭 군에 대응하는 $K(\Gamma,1)$ 공간이 형식적인 조건을 규명하는 것.
• 이러한 기본군을 가진 컴actsymplectic 비구형 다성분에서 하드 레프셰츠 성질을 조사하는 것.
• 카이러 구조를 갖지 않는 형식적이고 하드 레프셰츠 성질을 만족하는 다성분의 구체적 예를 제시하는 것.
• 유니포텐트 힐과 대수적 힐이 형식성과 하드 레프셰츠 성질을 결정하는 데서 수행하는 역할를 명확히 하는 것.
• 대수적 힐을 이용한 구축적 프레임워크를 제공하여 단순 다성분 및 인프라-다성분의 코homological 성질을 분석하는 것.

제안 방법

• 자기다중성 군 $\Gamma$ 의 대수적 힐 $\mathbf{H}_\Gamma$ 를 사용하며, 이는 $\Gamma \to \mathbf{H}_\Gamma$ 에 대한 고유한 단사 준동형사상 $\psi$ 를 가지며, 그 이미지가 자리스키-밀도를 가진다.
• 유니포텐트 힐 $\mathbf{U}_\Gamma$ 는 $\mathbf{H}_\Gamma$ 의 유니포텐트 라디칼로 정의되며, $K(\Gamma,1)$ 의 형식성이 $\mathbf{U}_\Gamma$ 가 아벨임과 동치임을 증명한다.
• Baues의 표준 $\Gamma$-다성분 $M_\Gamma$ 의 구성법을 적용하여, $K(\Gamma,1)$ 을 계산 가능한 de Rham 코homology 를 가진 컴팩트 비구형 다성분으로 실현한다.
• 복소수 $\bigwedge \mathfrak{u}^*$ 의 $\{\pm1\}$-불변 부분복소와 de Rham 복소수 $A^\ast(M_\Gamma)$ 사이의 준동형사상이 형식성을 분석하는 데 사용된다.
• 불변 2형식 $\omega = x_1 \wedge y + x_2 \wedge x_3$ 를 이용하여 $M_\Gamma \times S^1$ 에 심플렉틱 형식을 구성함으로써 하드 레프셰츠 성질을 검증한다.
• $\{\pm1\}$ 이 유니포텐트 힐의 리 대수 $\mathfrak{u}$ 에 작용하는 방식을 분석하여, 불변 부분복소의 코homology 를 결정한다.

실험 결과

연구 질문

• RQ1 유비폴리사이클릭 군 $\Gamma$ 에 대해 $K(\Gamma,1)$ 공간이 형식적인 조건은 무엇인가?
• RQ2 기본군이 $\Gamma$ 인 컴팩트 심플렉틱 비구형 다성분이 하드 레프셰츠 성질을 만족하는 조건은 무엇인가?
• RQ3 유니포텐트 힐 $\mathbf{U}_\Gamma$ 가 아벨일 경우가 형식성과 하드 레프셰츠 성질을 위한 충분조건이 될 수 있는가?
• RQ4 비아벨이면서 유형 (I) 가 아닌 단순 가환 리 군에서 유래한 형식적이고 하드 레프셰츠 성질을 만족하는 다성분의 예가 존재하는가?
• RQ5 비-레프셰츠 성질을 만족하는 다성분의 유한 커버가 여전히 하드 레프셰츠 성질을 만족할 수 있는가? 이는 기본군의 구조와 어떻게 관련되는가?

주요 결과

• 자기다중성 유비폴리사이클릭 군 $\Gamma$ 의 유니포텐트 힐 $\mathbf{U}_\Gamma$ 는 아벨일 필요충분조건으로, $\Gamma$ 가 리 군 $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 에서의 격자의 유한 확장임을 의미한다. 단, $\phi$ 는 단순 가환 작용을 한다.
• 만약 $\mathbf{U}_\Gamma$ 가 아벨이라면, 불변 부분복소 $\bigwedge \mathfrak{u}^{* \{\pm1\}}$ 에서의 도함수의 자명성에 의해 $K(\Gamma,1)$ 이 형식적임을 증명한다.
• 위 조건을 만족하는 기본군 $\Gamma$ 를 가진 컴팩트 심플렉틱 비구형 다성분은 하드 레프셰츠 성질을 만족한다. 이는 $[\omega] \wedge: H^1 \to H^3$ 의 동형사상으로 증명된다.
• $\Gamma = \mathbb{Z} \ltimes_\phi \mathbb{Z}^2$ 이고 $\phi(t)$ 가 주어진 경우, $M_\Gamma$ 는 비록 일반적으로 $U_\Gamma$ 가 아벨이 아니지만, 형식적이며 하드 레프셰츠 성질을 만족한다.
• $M_\Gamma \times S^1$ 은 4차원 컴팩트 심플렉틱 비구형 다성분이며, 하드 레프셰츠 성질을 만족한다. 그러나 그 유한 커버인 $M_\Delta$ (여기서 $\Delta = \Gamma \times \mathbb{Z}$) 는 성질을 만족하지 못한다.
• 형식적이고 하드 레프셰츠 성질을 만족하지만 카이러가 아닌 다성분이 존재한다. 예를 들어 $G = \mathbb{R}^n \ltimes_\phi \mathbb{R}^m$ 이 유형 (I) 가 아닐 경우, $M_\Gamma$ 는 카이러 성질에 대한 명백한 반례를 제공한다.