[논문 리뷰] No cohomologically trivial non-trivial automorphism of generalized Kummer manifolds

Keiji Oguiso|arXiv (Cornell University)|2012. 08. 18.

Geometry and complex manifolds참고 문헌 15인용 수 15

한 줄 요약

이 논문은 일반화된 쿠머 다양체와 변형 동치인 임의의 히퍼카일러 다양체의 자기동형군이 전체 정수 코homology 군에 충실하게 작용함을 증명한다. 보이에르, 니에페르-비스키르첸, 사르티의 제2 cohomology에 대한 결과를 확장하여, 자동형사가 H²에서 자명하게 작용하더라도 전체 cohomology에서 자명하지 않음을, 변형 이론과 켈러 모듈리 공간 상의 조밀성 추론을 통해 보여준다.

ABSTRACT

We prove that the natural representaion, on the total Betti cohomolgy group, of the automorphism group of a hyperkähler manifold deformation equivalent to a generalized Kummer manifold is faithful. This is a sort of generalization of an earlier work of Beauville and a recent work of Boissére, Nieper-Wisskirchan and Sarti, concerning the representation on the second cohomology group.

연구 동기 및 목표

• 변형 동치가 일반화된 쿠머 다양체인 히퍼카일러 다양체의 전체 코homology에 대한 자동형군 작용이 충실한지 판별하는 것.
• 보에브르 및 보이에르 등에 의한 제2 cohomology에 대한 이전 결과를 전체 cohomology 링으로 확장하는 것.
• 두사 맥더프가 제기한 코homologically 자명하지만 비자명한 자동형사가 존재하는가에 대한 질문을 해결하는 것.
• 일반화된 쿠머 다양체와 그 변형에 대해, 전역 토렐리 유형의 추론을 사용하여 코homological 충실성 결과를 확립하는 것.

제안 방법

• 원래의 일반화된 쿠머 다양체 K_{n-1}(A)에 대해, H² 작용의 핵에 속하는 비자명한 원소들(T(n) ⋊ ⟨ι⟩)이 고차 cohomology 군에서 비자명하게 작용함을 확인하여 전체 cohomology에서의 충실성을 증명한다.
• n- torsion 점들에 의해 유도되는 자동형사와 역전환 자동형사의 cohomological 작용을 명시적으로 계산한다.
• 켈러 모듈리 공간 상의 마크만과 메르로트라의 조밀성 결과를 적용하여, K_{n-1}(A)에서의 충실성을 일반화된 쿠머 다양체의 모든 변형 Y로 확장한다.
• 코homologically 자명한 자동형사가 H¹(Y, T_Y)에 자명한 작용을 유도하면, 전체 가정의 가정에서 자명한 단일화 작용을 유도함을 이용한다.
• 심플렉틱 형식을 통한 H¹(Y, T_Y)와 H¹(Y, Ω¹_Y) 사이의 동형을 이용하여, 탄성 및 코탄성 벡터 장에 대한 자동형사 작용을 연결한다.
• 켈러 모듈리 공간의 연속성과 하우스도르프 성질을 이용하여, 모든 섬유에서 자명한 전역 자동형사가 자명함을 결론짓는다.

실험 결과

연구 질문

• RQ1 일반화된 쿠머 다양체의 자동형군은 H² 이외의 전체 정수 코homology에 대해 충실하게 작용하는가?
• RQ2 H²에서의 작용 핵(T(n) ⋊ ⟨ι⟩)이 고차 cohomology에서 자명하게 확장될 수 있는가?
• RQ3 일반화된 쿠머 다양체의 변형 Y에 대해 자동형군의 전체 cohomology에 대한 작용은 충실한가?
• RQ4 H²에서 자명한 코homologically 자명한 자동형사가 여전히 고차 cohomology에서 비자명하게 작용할 수 있는가?

주요 결과

• 변형 동치가 일반화된 쿠머 다양체인 임의의 히퍼카일러 다양체 Y에 대해, 자동형군의 전체 코homology H*(Y, ℤ)에 대한 작용은 충실하다.
• 원래의 일반화된 쿠머 다양체 K_{n-1}(A)에서, T(n) ⋊ ⟨ι⟩에 속하는 자동형사들은 H²에서 자명하게 작용하더라도 어떤 k ≥ 4에 대해 H^k에서 비자명하게 작용한다.
• H²에서의 작용 핵(T(n) ⋊ ⟨ι⟩)은 전체 cohomology 링에서 코homologically 자명한 자동형사로 확장되지 않는다.
• 켈러 모듈리 공간의 조밀성과 단일화 추론을 통해, 이 결과는 K_{n-1}(A)의 모든 변형 Y로 확장된다.
• 이 증명은 코homologically 자명한 자동형사가 H¹(Y, T_Y)에 자명한 작용을 유도하면, 기저 공간의 연속성과 하우스도르프 구조로 인해 전역적으로 자명해야 한다는 사실에 기반한다.
• 이 결과는 두사 맥더프의 질문에 대한 부정적 답변을 제공한다: 항등사상과 호모토피적일 수는 있지만 코homologically 자명한 비자명한 자동형사가 존재하지 않는다.