[논문 리뷰] Lattices, cohomology and models of six dimensional almost abelian solvmanifolds

Sergio Console, Maura Macrì|arXiv (Cornell University)|2012. 06. 26.

Geometry and complex manifolds참고 문헌 12인용 수 11

한 줄 요약

이 논문은 Mostow 조건이 실패하는 6차원 거의 아벨 초타원군에서 격자를 구성하여, de Rham 코homology가 리 대수가 아닌 격자에 의존하게 되는 경우를 다룬다. 수정된 리 군과 Oprea-Tralle 방법을 사용하여 코homology와 최소 모델을 계산하고, 일부 초타원군이 비불변 심플렉틱 구조를 가질 수 있음을 보이며, 형식성과 Lefschetz 성질을 분석한다. 주요 결과로는 특정 경우에서 비형식 모델과 비불변 심플렉틱 형식이 존재한다.

ABSTRACT

We construct lattices on six dimensional not completely solvable almost abelian Lie groups, for which the Mostow condition does not hold. For the corresponding compact quotients, we compute the de Rham cohomology (which does not agree in general with the Lie algebra one) and a minimal model. We show that some of these solvmanifolds admit not invariant symplectic structures and we study formality and Lefschetz properties.

연구 동기 및 목표

• 6차원 거의 아벨 가환 초타원군에서 Mostow 조건이 실패하는 격자를 구성하여, 코homology가 격자에 의존하게 되는 경우를 다루는 것.
• 해당 초타원군의 de Rham 코homology와 최소 모델을 계산하여, 이 경우에 리 대수 코homology와 다름을 보이는 것.
• 이 초타원군에서 비불변 심플렉틱 구조의 존재를 조사하는 것.
• 구성된 초타원군에 대한 형식성과 하드 Lefschetz 성질을 분석하는 것.

제안 방법

• 논문 [3]의 기준(정리 2.1)을 사용하여 6차원 거의 아벨 리 군에서 격자를 구성하는 것.
• 가환 초타원군의 코homology를 수정된 군의 리 대수 코homology와 연결하기 위해 가환 초타원군의 수정 방법을 적용하는 것.
• Felix와 Thomas의 결과를 바탕으로 Oprea-Tralle 방법을 사용하여 비노름형 피브리션에 대한 Koszul-Sullivan 모델을 구성하는 것.
• 특정 초타원군에 대해 미분가환대수 기법을 사용하여 최소 모델을 직접 계산하는 것.
• s-형식성의 개념과 정리 5.2를 활용하여 형식성을 평가하는 것. 특히 4차원 모델의 경우 (n−1)-형식성, 특히 1-형식성을 검토하는 것.
• 코homology에서 항등사상을 유도하는 c.g.d.a. 준동형사상의 존재를 통해 형식성을 검증하거나, 그러한 사상이 실패할 경우 모순을 통해 비형식성을 증명하는 것.

실험 결과

연구 질문

• RQ1 Mostow 조건이 실패하는 6차원 거의 아벨 초타원군에서 격자를 구성할 수 있는가? 이 경우 코homology가 격자에 의존하게 되는가?
• RQ2 이 초타원군은 비불변 심플렉틱 구조를 가질 수 있으며, 이를 어떻게 탐지할 수 있는가?
• RQ3 이 초타원군 중 어떤 것은 형식적인가? 최소 모델의 미분이 형식성 결정에 어떤 역할을 하는가?
• RQ4 이 초타원군에서 하드 Lefschetz 성질은 어떻게 행동하는가? 어떤 조건에서 실패하게 되는가?

주요 결과

• G_{6.8}^{p=0}/\tilde{\rho}_{2\tau}의 경우, 베텨 수는 b_1=3, b_2=3, b_3=2이며, 리 대수 코homology의 b_1=1, b_2=1, b_3=2와 다름을 보인다.
• G_{6.10}^{a=0}/\tilde{\rho}_{2\tau} 초타원군은 b_1=4, b_2=7, b_3=8이며, 비형식적임이 입증된다. 비형식성은 0으로 보내지 않는 비자명한 코homology 클래스 [Ap]가 가짜 형식성 사상에서의 행동으로 확인된다.
• G_{5.17}^{p,-p,r}\times\bbR/\tilde{\rho}_{2\tau} 초타원군은 p \neq 0 이고 r \neq \pm1 인 경우 비불변 심플렉틱 구조를 가진다. 이 경우 b_1=6, b_2=15, b_3=20이다.
• G_{5.17}^{p,-p,r}\times\bbR/\tilde{\rho}_{2\tau}의 최소 모델은 \mathcal{M}=(\Lambda(u_1,A_1,x_2,y_2\beta_3,\gamma_3),D)이며, Du=DA=Dx=Dy=0, D\beta=x^2, D\gamma=y^2로 주어지며, 이는 비자명한 미분 구조를 나타낸다.
• G_{5.18}^0\times\bbR/\Gamma_{2\pi} 초타원군의 최소 모델은 \mathcal{M}=(\Lambda(u_1,A_1,x_1,y_1,z_1,t_1),D)이며, Dz=Ax, Dt=Ay이고, D|_{\mathcal{M}_U} \equiv d 이므로 형식적임이 확인된다.
• G_{3.5}^0\times\bbR^3/\Gamma_{2\pi}의 최소 모델은 \mathcal{M}=(\Lambda(w_1,v_1,A_1,x_1,y_1),0)로 주어지며, 이는 미분이 자명한 형식적 모델을 나타낸다.