[논문 리뷰] Remarks on Automorphism and Cohomology of Cyclic Coverings

Renjie Lyu, Xuanyu Pan|arXiv (Cornell University)|2017. 05. 18.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 6

한 줄 요약

이 논문은 두 이상의 차원을 가진 사영 공간의 매끄럽고 유한한 순환 피복에 대해, 자명하지 않은 코homology 군 $ H^n_{\text{ét}}(X, \bbQ_l) $ 에 대한 자동형사상 군 작용의 충실성을 확립한다. 특별히, 2차 곡면을 제외한 경우에 대해, 히오지 이론, 변형 이론, 양의 특성에서의 올림 기준을 사용하여, 비자명한 자동형사상이 에탈 코homology 군에 비자명하게 작용함을 증명한다. 이는 특성 0과 양의 특성 모두에서 이 클래스의 다양체에 대해 고전적인 Torelli 유사 결과를 확장한다.

ABSTRACT

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant deformation theory and automorphism groups for complex cyclic coverings. The proof uses the decomposition of the sheaf of differential forms due to Esnault and Viehweg. In positive characteristics, a lifting criterion of automorphisms reduces the faithfulness problem to characteristic zero. To apply this criterion, we prove the degeneration of the Hodge-de Rham spectral sequences for a family of smooth finite cyclic coverings, and the infinitesimal Torelli theorem for finite cyclic coverings defined over an arbitrary field.

연구 동기 및 목표

• 특성 0에서 사영 공간 $ \bbP^n_{\bbC} $ 의 매끄럽고 유한한 순환 피복 $ X \to \bbP^n_{\bbC} $ 에 대해 자동형사상 군 $ \operatorname{Aut}(X) $ 이 $ H^n(X, \bbC) $ 에 충실하게 작용하는지 판단하는 것.
• 올림 기법과 크리스탈린 코homology 를 사용하여 특성 0에서의 이 충실성 결과를 양의 특성으로 확장하는 것.
• 복소수 순환 피복에 대해 무한소 Torelli 정리와 변형 이론을 수립하여 자동형사상 표현을 분석하는 것.
• 기하학적 및 코homological 추론을 통해 2차원 순환 피복과 예외적 케이스의 충실성 문제를 해결하는 것.
• 비2차 곡면 순환 피복에 대해 자동형사상 군이 유한함을 증명하여 충실성 주장에 기여하는 것.

제안 방법

• Esnault과 Viehweg의 결과에 기반한 순환 피복 위의 미분형식층의 분해를 사용하여 코homological 행동을 분석한다.
• 등변 변형 이론과 Kodaira-Spencer 사상 을 적용하여, 코homology에 자명하게 작용하는 유한군 $ G $ 에 대해 변형 함자 $ \text{Def}_X^G $ 의 차단을 연구한다.
• 문헌 [23, 정리 1.7] 의 올림 기준을 활용하여, 자동형사상을 유희환 $ W(K) $ 에 올려 특성 0으로의 환원을 가능하게 한다.
• 히오지–드라마 스펙트럴 시퀀스의 분해와 임의의 체 위에서의 유한 순환 피복에 대한 무한소 Torelli 정리를 이용한다.
• 크리스탈린 코homology 와 에탈 및 크리스탈린 코homology 사이의 비교 동형사를 활용하여, 양의 특성에서 자동형사상의 작용을 특성 0에서의 작용과 연결한다.
• Grothendieck–Lefschetz 정리와 Picard 군의 토크션 자유성 을 이용하여 2차원 케이스에서 자동형사상 군의 유한성을 보인다.

실험 결과

연구 질문

• RQ1 특성 0에서 $ n \geq 2 $ 인 복소수 사영 공간 $ \bbP^n_{\bbC} $ 의 매끄럽고 유한한 순환 피복 $ X \to \bbP^n_{\bbC} $ 에 대해, 자동형사상 군 $ \operatorname{Aut}(X) $ 이 $ H^n(X, \bbC) $ 에 충실하게 작용하는가? (2차 곡면을 제외하고)
• RQ2 양의 특성에서 에탈 코homology 에 대한 자동형사상 작용의 충실성은 올림 기준을 통해 특성 0의 경우로 환원될 수 있는가?
• RQ3 코homology에 자명하게 작용하는 유한군 $ G \subset \operatorname{Aut}(X) $ 에 대해, 등변 변형 함자 $ \text{Def}_X^G $ 가 차단을 받지 않는 조건은 무엇인가?
• RQ4 순환 피복에 대한 무한소 Torelli 정리는 자동형사상 표현의 충실성에 어떻게 기여하는가?
• RQ5 2차원 순환 피복에 대한 자동형사상 군 $ \operatorname{Aut}(X) $ 의 구조는 어떠한가? 그리고 이 경우 표준적 추론이 실패하는 이유는 무엇인가?

주요 결과

• 매끄럽고 복소수 유한 순환 피복 $ X \to \bbP^n_{\bbC} $ 에 대해 $ n \geq 2 $ 이면, $ X $ 가 2차 곡면이 아니면 자동형사상 군이 $ H^n(X, \bbC) $ 에 충실하게 작용한다.
• 양의 특성에서 $ n \geq 2 $ 이면, $ X $ 가 2차 곡면이 아니면 자동형사상 군 $ \operatorname{Aut}(X) $ 이 $ H^n_{\text{ét}}(X, \bbQ_l) $ 에 충실하게 작용한다.
• 복소수 순환 피복에 대해 무한소 Torelli 정리가 성립하여, Kodaira–Spencer 사상이 쌍 $ (X, G) $ 의 비자명한 변형을 탐지할 수 있다.
• 임의의 체 위에서의 유한 순환 피복에 대해 히오지–드라마 스펙트럴 시퀀스가 분해되어 드라마 코homology 와 에탈 코homology 간 비교가 가능해진다.
• 비2차 곡면 순환 피복에 대해 자동형사상 군 $ \operatorname{Aut}(X) $ 는 $ \operatorname{Aut}_L(D) $ 의 유한성과 무한소 자동형사상의 자명성에 의해 유한함을 보였다.
• 3중 피복이 $ \bbP^2 $ 에서 삼차 곡선을 분지로 가지는 경우와 2중 피복이 4차 곡선을 분지로 가지는 경우의 두 예외적 케이스에 대해, 블로업 추론과 팔로 표면의 구조를 통해 충실성이 확립되었다.