[논문 리뷰] New explicit constructions of surfaces of general type

Lev Borisov, Enrico Fatighenti|arXiv (Cornell University)|2020. 04. 06.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $ℓ{Gr}(3,V_6)$ 내의 완전교차곡선의 자유 몫공간을 이용하여, $p_g = q = 0$, $K^2 = 3$, 순환 fundamental group $C_{14}$ 를 갖는 일반형 표면의 4차원 가속도를 새로운 방식으로 제시한다. 이 방법을 통해 고급 컴퓨터 대수 시스템을 활용해 6개의 새로운 허위 프로젝티브 평면 쌍의 방정식을 명시적으로 계산할 수 있었으며, 이러한 표면의 분류를 확장하였다.

ABSTRACT

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings.

연구 동기 및 목표

• 일반형 표면의 4차원 신규 가속도를 $p_g = q = 0$, $K^2 = 3$, 기본군 $C_{14}$ 를 갖도록 구성하기.
• 퇴화와 군 작용을 활용하여 허위 프로젝티브 평면(FPPs)의 명시적 방정식을 결정하는 계산 방법 개발하기.
• 기존 예제들과 같은 공통 유사성 클래스 내에서 새로운 쌍을 복구함으로써 허위 프로젝티브 평면의 분류를 확장하기.
• 고차 다항식과 수체를 포함한 복잡한 문제를 해결하기 위해 컴퓨터 대수 시스템의 적용 가능성을 입증하기.
• 낮은 $p_g$와 $q$ 를 갖는 표면의 명시적 구성에 적용 가능한 프레임워크 제공하기.

제안 방법

• 13차원 다양체 $W \subset \mathbb{P}^{12}$ 를 구성하되, $p_g(W) = 13$, $q(W) = 0$, $K^2_W = 42$ 를 만족하고, 자유로운 $C_{14}$-작용을 갖도록 하기.
• 필요로 하는 표면 $S$ 를 $S = W / C_{14}$ 로 정의하여, $p_g(S) = q(S) = 0$, $K^2_S = 3$, $\pi_1(S) \cong C_{14}$ 를 유도하기.
• 특히 알려진 FPP들의 $C_3$-몫을 통해 몫 표면를 허위 프로젝티브 평면과 연결하기 위해 퇴화 기법을 사용하기.
• 수체 $\mathbb{Q}(\sqrt{-15})$ 위에서 8개의 변수에 대한 10개의 동차 방정식 시스템을 해결하기 위해 컴퓨터 대수 시스템을 적용하기.
• 갈로아 대칭성과 자기동형사를 활용하여 방정식 수를 감소시키며, 기본 집합에서 $\sigma$-켤레 관계를 이용해 추가 방정식을 생성하기.
• 최종적으로 유도된 다양체가 $p_g = q = 0$, $K^2 = 3$, 기본군이 $C_{14}$ 를 갖는 일반형 표면임을 확인하여, 이것이 허위 프로젝티브 평면임을 검증하기.

실험 결과

연구 질문

• RQ1 기하학적 몫공간 방법을 통해 $p_g = q = 0$, $K^2 = 3$, $\pi_1 = C_{14}$ 를 갖는 일반형 표면의 4차원 가속도를 명시적으로 구성할 수 있는가?
• RQ2 퇴화와 군 작용을 어떻게 활용하여 기존 예제들로부터 허위 프로젝티브 평면의 명시적 방정식을 복구할 수 있는가?
• RQ3 수체 위에서 고차 다항식 다변수 방정식 시스템을 해결하기 위한 효과적인 계산 기법은 무엇인가?
• RQ4 동일한 공통 유사성 클래스 내에서 다른 허위 프로젝티브 평면 쌍을 찾는 데 이 방법을 일반화할 수 있는가?
• RQ5 갈로아 대칭성과 자기동형사는 이러한 표면의 방정식 복잡도를 낮추는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\mathrm{Gr}(3,V_6)$ 내의 완전교차곡선의 자유 몫공간으로서, $p_g = q = 0$, $K^2 = 3$, 기본군이 $C_{14}$ 인 일반형 표면의 4차원 가속도를 구성한다.
• 6개의 새로운 허위 프로젝티브 평면 쌍이 명시적으로 구성되었으며, 그 중 하나는 1차 호모로지가 $C_{14}$ 이고 대칭군이 $C_3 \times C_3$ 를 갖는 것으로 확인되어, 알려진 FPP들과 같은 공통 유사성 클래스 내 존재함을 확인한다.
• 저자들은 이 표면의 명시적 방정식을 계산하였다: $\mathbb{Q}(\sqrt{-15})$ 위에서 8개의 변수에 대한 10개의 동차 방정식으로, 6개의 삼차식과 4개의 짝수 삼차식을 포함하며, 계수에 $\sqrt{-15}$ 가 포함되어 있다.
• 컴퓨터 대수 시스템을 통해 유도된 방정식이 $p_g = q = 0$, $K^2 = 3$, 기본군이 $C_{14}$ 를 갖는 매끄러운 일반형 표면을 정의함을 검증하였으며, 이것이 허위 프로젝티브 평면임을 확인하였다.
• 이 방법은 동일한 공통 유사성 클래스 내에서 추가로 5개의 허위 프로젝티브 평면 쌍을 성공적으로 복구하였으며, 이는 이 분야에서 계산 기반 대수기하학의 강력함을 보여준다.
• 이 구성은 고차 다항식과 갈로아 켤레를 포함하는 비트리비얼한 컴퓨터 계산에 의존하며, 유사 문제의 표면 분류에 광범위하게 적용 가능할 것으로 암시된다.