[논문 리뷰] Bi-canonical representations of finite automorphisms acting on Enriques surfaces

Hisanori Ohashi|arXiv (Cornell University)|2015. 04. 03.

Advanced Algebra and Geometry참고 문헌 3인용 수 3

한 줄 요약

이 논문은 에리퀘스 표면 위의 유한한 비-반대칭 심플렉틱 자명형 변환을 그 이중 캐논칼 표현을 통해 분류하며, 오직 세 가지 유형 뿐임을 증명한다: (순서 4, 지수 2), (순서 8, 지수 4), 및 (순서 8, 지수 2). 호리카와의 비유계 모델과 K3 커버를 이용하여 명시적인 예를 구성하고, 최대 차원 모듈리 가닥에 대한 유일성 정리를 확립하며, 각각 최대 모듈리 차원이 5, 2, 2임을 보인다.

ABSTRACT

We classify the bi-canonical representations of finite automorphisms on Enriques surfaces. There are three types of non-trivial cases and examples are given explicitly by Horikawa models. In particular, finite non-semi-symplectic automorphisms exist only in orders 4 and 8. One corollary is that any finite cyclic subgroup in the automorphism group of an Enriques surface has order 1, 2, 3, 4, 5, 6, 8. Moreover, for two of the three types, a uniqueness theorem for maximal-dimensional families is given.

연구 동기 및 목표

• 에리퀘스 표면 위의 유한한 비-반대칭 심플렉틱 자명형 변환을 그 이중 캐논칼 표현을 통해 분류하기.
• 특히 비-반대칭 경우에서 이러한 자명형 변환의 가능한 순서와 지수를 규명하기.
• 타원형 에리퀘스 표면이 P¹×P¹ 위를 이중 쌍대하는 호리카와의 비유계 모델을 사용하여 이러한 자명형 변환의 명시적 예를 구성하기.
• 세 가지 유형 중 두 가지에서 최대 차원 가닥에 대한 유일성 정리를 확립하기.
• 이러한 자명형 변환의 가닥에 대해 가능한 최대 모듈리 차원을 규명하기.

제안 방법

• 순서 4와 8인 자명형 변환에 대해 불변인 명시적 방정식을 구성하기 위해, 타원형 에리퀘스 표면의 호리카와의 비유계 프로젝티브 모델을 사용한다.
• 자명형 변환 σ의 지수 I(σ)를 결정하기 위해, 전역 이중 2형식의 공간 H⁰(OS(2KS)) 위에서 자명형 변환의 작용을 분석한다.
• 에리퀘스 표면 S의 자명형 변환을 그 K3 커버 X로 올리기 위해, H⁰(OX(KX)) 위의 작용을 이용하여 지수와 순서를 정의한다.
• 해석적 레프셰츠 고정점 정리를 적용하여 고정점 집합을 분석하고, 예를 들어 H²(X,Z)^φ² ≅ U(2)와 같은 격자 동형을 유도한다.
• 네론-세버리 격자와 몫 기하학을 이용하여 X/φ² ≅ P¹×P¹임을 보이고, 잔류군 K₄ ≅ (Z/2)²의 몫 위에서의 작용을 규명한다.
• PGL(2,C)×PGL(2,C)의 부분군이 P¹×P¹ 위에서 작용하는 것을 분류하며, 특정한 정규형만 나타나며, 이는 동형 사상에 관해 유일성을 이끌어낸다.

실험 결과

연구 질문

• RQ1 에리퀘스 표면 위의 유한한 비-반대칭 심플렉틱 자명형 변환의 가능한 순서와 지수는 무엇인가?
• RQ2 호리카와 모델을 사용하여 이러한 자명형 변환의 명시적 가닥을 구성할 수 있는가?
• RQ3 이러한 자명형 변환의 모듈리 가닥에 대해 가능한 최대 차원은 얼마인가?
• RQ4 비-반대칭 자명형 변환의 최대 차원 가닥에 대해 유일성 결과가 존재하는가?
• RQ5 K3 커버 위의 자명형 변환군은 몫 표면의 기하학과 어떻게 관련이 있는가?

주요 결과

• 에리퀘스 표면 위의 유한한 비-반대칭 심플렉틱 자명형 변환은 오직 순서 4와 8에서만 존재하며, 지수는 2 또는 4이다.
• 유일한 가능한 이중 캐논칼 표현 유형은 (4,2), (8,4), (8,2)이며, 이는 정리 1.4에서 증명된다.
• (4,2)의 경우, 최대 모듈리 차원은 5이며, 예제 1.1이 이 값을 달성한다.
• (8,4)와 (8,2)의 경우, 최대 모듈리 차원은 각각 2이며, 예제 1.2와 1.3이 이 값을 달성한다.
• (4,2)의 경우, K₄가 P¹×P¹ 위에 작용하는 분류를 통해 최대 차원 가닥에 대한 유일성 정리가 성립한다.
• 이러한 자명형 변환이 존재하는 에리퀘스 표면의 K3 커버 X는 피카르 수가 10이며, 고정 격자 H²(X,Z)^φ²는 U(2)와 동형이다.