[논문 리뷰] On arithmetic Zariski pairs in degree 6

Ichiro Shimada|ArXiv.org|2006. 11. 20.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 짝수 차수 평면 대수곡선에 대한 새로운 위상적 불변량 $N_C$ 를 도입하며, 이는 $\mathbb{P}^2$ 에서 곡선의 여집합에서 미묘한 호메오모르피적 차이를 감지한다. 총 밀뇌르 수가 19인 최대화 6차 곡선(6차 곡선)에 이 불변량을 적용함으로써, 기본군의 프로파일 completion이 서로 이sovolumetric인 반면 위상적으로 다른 쌍을 이루는 네 가지의 새로운 산술 자르스키 쌍(arithmetic Zariski pairs)을 구성한다.

ABSTRACT

We define a topological invariant of complex projective plane curves. As an application, we present new examples of arithmetic Zariski pairs.

연구 동기 및 목표

• 복소 프로젝티브 평면 곡선의 짝수 차수에 대해 새로운 위상적 불변량 $N_C$ 를 정의하여, 기본군을 넘어서는 호메오모르피 타입을 포착하는 것.
• 기본군의 프로파일 completion이 서로 이sovolumetric이지만, 서로 호메오모르피가 아닌 켤레 곡선들을 구별하는 데 도전하는 것.
• 기하학적 및 산술적 불변량을 사용하여, 서로 켤레이지만 호메오모르피가 아닌 곡선 쌍인 산술 자르스키 쌍을 명시적으로 구성하는 것.
• Milnor 수가 최대인 $ADE$-6차 곡선의 모듈리 공간의 연결성분을 분류하는 것을 확장하는 것.
• 6차 곡선의 기하학을 그에 대응하는 $K3$ 곡면의 초월적 격자와 연결하는 것.

제안 방법

• $N_C$ 를 $(\mathbb{P}^2, C)$ 의 $\Gamma$-등가류의 불변량으로 정의하여, 이 쌍의 호메오모르피 타입을 보다 정교하게 refining하는 것.
• 최대화 6차 곡선(밀뇌르 수 19)의 경우, $N_C$ 가 이에 대응하는 이중 쌍대 분지 곡선 $C$ 에서의 $K3$ 곡면 $X_C$ 의 초월적 격자와 일치함을 보이는 것.
• 랭크 19인 $R$ 에 대해 $\mathcal{M}(R)$ 의 연결성분을 분류한 Degtyarev의 결과를 적용하여 $\mathcal{M}(R)$ 의 구조를 분석하는 것.
• 허미트 이차수체의 힐버트 클래스체 이론을 응용하여 네 번째 산술 자르스키 쌍의 예를 구성하는 것.
• 켤레 곡선이 수체 위에서 동일한 $K3$ 곡면을 유도하며, 갈루아 강하를 통해 불변량 $N_C$ 와 $N_{C'}$ 를 연결하는 사실을 활용하는 것.
• 초월적 격자 $T(X_C) \not\cong T(X_{C'})$ 의 비이sovolumetric성으로부터, $C$ 와 $C'$ 가 비록 켤레이지만 호메오모르피가 아님을 증명하는 것.

실험 결과

연구 질문

• RQ1 기본군이 충분하지 않을 경우, 평면 곡선의 호메오모르피 비등가성을 감지할 수 있는 위상적 불변량 $N_C$ 가 존재하는가?
• RQ2 총 밀뇌르 수가 19인 최대화 6차 곡선 중 특정 다이노프 타입을 가진 곡선들 사이에 산술 자르스키 쌍이 존재하는가?
• RQ3 관련 $K3$ 곡면의 초월적 격지가 켤레 곡선들을 구별하는 데 사용될 수 있는가?
• RQ4 랭크 19인 $R$ 에 대해 모듈리 공간 $\mathcal{M}(R)$ 의 연결성분은 몇 개인가? 그리고 이들은 산술 불변량과 어떻게 관련되는가?
• RQ5 허미트 이차수체의 힐버트 클래스체 이론을 사용하여 6차에서 새로운 산술 자르스키 쌍을 구성할 수 있는가?

주요 결과

• $N_C$ 는 $(\mathbb{P}^2, C)$ 의 $\Gamma$-등가류의 불변량이며, $C$ 가 최대화 6차 곡선일 경우, 이는 관련된 $K3$ 곡면 $X_C$ 의 초월적 격자와 일치한다.
• 다이노프 타입 $A_{16}+A_2+A_1$, $A_{16}+A_3$, $A_{18}+A_1$ 에서, 모듈리 공간 $\mathcal{M}(R)$ 은 $N_C$ 로 구별되는 최소 두 개의 연결성분을 가지며, 이로 인해 산술 자르스키 쌍이 유도된다.
• 다이노프 타입 $A_{10}+A_9$ 에서, 힐버트 클래스체 이론을 통해 산술 자르스키 쌍이 존재하며, $N_C \cong \Lambda[2,1,28]$ 이고 $N_{C'} \cong \Lambda[8,3,8]$ 이다.
• 초월적 격자 $T(X_C) \not\cong T(X_{C'})$ 의 비이sovolumetric성은, $C$ 와 $C'$ 가 비록 켤레이지만 호메오모르피가 아님을 의미한다.
• $\mathcal{M}(A_{10}+A_9)$ 의 연결성분 수는 네 개인데, 이 쌍 $(C,C')$ 은 모듈리 공간 내에서 서로 다른 갈루아 궤도에서 유래한다.
• 이 구성은 $N_C$ 가 6차 곡선에서 켤레 곡선을 구별하는 데 강력한 불변량임을 확인하며, 기본군과 같은 표준 불변량이 프로파일 completion이 동일하여 실패할 경우에도 유용함을 보여준다.