[논문 리뷰] The Remark on Discriminants of K3 Surfaces Moduli as Sets of Zeros of Automorphic Forms

Viacheslav V. Nikulin|ArXiv.org|1995. 12. 29.

Advanced Algebra and Geometry참고 문헌 11인용 수 17

한 줄 요약

이 논문은 임의의 $ N > 0 $에 대해, $ n > N $인 짝수 $ n $이 존재하여, $ n $차수 K3 표면의 모듈리 공간의 판별식이 해당 유형 IV 도메인 위의 어떤 자동형 형식의 영점집합이 되지 않는다는 것을 보여준다. 판별식이 그러한 영점집합이 되기 위한 피카르 라티스 $ S \subset L_{K3} $ 에 대한 필요 조건을 확립하고, $ \text{rk}~S \leq 17 $ 일 때 이러한 $ S $ 가 유한 개 뿐이라는 추측을 내세우며, 이를 미러 대칭과 로렌츠형 카크-무디 대수와 연결한다.

ABSTRACT

We show that for any $N>0$ there exists a natural even $n>N$ such that the discriminant of moduli of K3 surfaces of the degree $n$ is not equal to the set of zeros of any automorphic form on the corresponding IV type domain. We give the necessary condition on a "condition $S\subset L_{K3}$ on Picard lattice of K3'' for the corresponding moduli $\M_{S\subset L_{K3}}$ of K3 to have the discriminant which is equal to the set of zeros of an automorphic form. We conjecture that the set of $S\subset L_{K3}$ satisfying this necessary condition is finite if $ k S \le 17$. We consider this finiteness conjecture as "mirror symmetric'' to the known finiteness results for arithmetic reflection groups in hyperbolic spaces and as important for the theory of Lorentzian Kac--Moody algebras and the related theory of automorphic forms.

연구 동기 및 목표

• K3 표면 모듈리 공간의 판별식이 유형 IV 도메인 위의 자동형 형식의 영점집합으로서 실현될 수 있는지 조사한다.
• 이러한 실현이 가능하기 위한 피카르 라티스 $ S \subset L_{K3} $ 에 대한 필요 조건을 규명한다.
• 특히 $ \text{rk}~S \leq 17 $ 일 때 이러한 $ S $ 가 유한 개 뿐이라는 유한성 추측을 제기하며, 이를 반사 대칭과 산술적 반사군 이론과 연결한다.
• 이러한 판별식의 유한성과 로렌츠형 카크-무디 대수 이론 및 자동형 형식 이론을 연결한다.

제안 방법

• 서명이 $ (2,k) $ 인 $ k \geq 2 $ 인 $ L $ 의 원시 부분라티스 $ T_1 \subset L $ 을 구성한다. 이 라티스는 $ (-2) $-클래스를 포함하지 않으며, 랭크 2의 등방성 부분라티스도 갖지 않는다.
• S_1 = T_1^{\perp} 이며, $ S_1 $ 과 $ T_1 $ 에 대한 수직투영 $ \pi_{S_1} $ 와 $ \pi_{T_1} $ 를 사용하여 판별식 다양체의 구조를 분석한다.
• $ h^2 > N $ 인 $ S_1 \otimes \mathbb{R} $ 내의 유리 레이 $ \mathbb{R}_{++}h $ 의 집합을 분석하여, 이들의 조밀성과 $ \delta^2 = -2 $ 인 경우의 초평면 $ \mathcal{H}_{\pi_{S_1}(\delta)} $ 의 국소 유한성을 보인다.
• S_1 의 양의 원뿔 내에서 초평면 $ \mathcal{H}_{\pi_{S_1}(\delta)} $ 의 합집합의 여집합이 비어 있지 않다는 기하적 추론을 적용하여 반례를 구성한다.
• 판별식이 자동형 형식의 영점집합이 되기 위한 $ S \subset L $ 에 대한 필요 조건을 유도하며, 이는 $ \Delta^{(2)}(S_1 \subset L) $ 에 속하는 $ \delta $ 와의 수직성 조건을 포함한다.
• 반사 대칭과 유사한 $ 2 $-반사 라티스의 성질을 바탕으로, $ \text{rk}~S \leq 17 $ 일 때의 유한성 추측을 제안한다.

실험 결과

연구 질문

• RQ1 피카르 라티스 조건 $ S \subset L_{K3} $ 가 어떤 경우에 K3 표면 모듈리 공간의 판별식이 유형 IV 도메인 위의 자동형 형식의 영점집합이 되는가?
• RQ2 임의로 큰 짝수 $ n $ 에 대해, $ n $차수 K3 표면 모듈리 공간의 판별식이 자동형 형식의 영점집합으로 실현될 수 있는가?
• RQ3 판별식이 그러한 영점집합이 되기 위한 $ S \subset L_{K3} $ 에 대한 기하학적 및 산술적 조건은 무엇인가?
• RQ4 $ \text{rk}~S \leq 17 $ 인 $ S \subset L_{K3} $ 중에서 판별식이 자동형 형식의 영점집합이 되는 경우가 동형을 제외하고 유한한가?
• RQ5 이 유한성 추측은 로렌츠형 카크-무디 대수 이론과 산술적 반사군 이론과 어떻게 관련되어 있는가?

주요 결과

• 임의의 $ N > 0 $ 에 대해, $ n > N $ 인 짝수 $ n $ 이 존재하여, $ n $차수 K3 표면 모듈리 공간의 판별식이 어떤 자동형 형식의 영점집합이 되지 않는다.
• 판별식이 자동형 형식의 영점집합이 되기 위한 필요 조건은, $ \text{rk}~S_1 \leq 18 $ 인 모든 $ S_1 \supset S $ 에 대해 $ T_1 = S_1^{\perp} $ 이 $ S \cdot \delta = 0 $ 를 만족하는 $ (-2) $-클래스 $ \delta $ 를 포함해야 한다는 것이다.
• $ \text{rk}~S = 18 $ 이고 $ T $ 가 랭크 1의 등방성 부분라티스를 포함한다면, 판별식이 영점집합이 되는 것은 $ T $ 가 $ (-2) $-클래스 또는 랭크 2의 등방성 부분라티스를 포함할 때에 한하여 성립한다.
• $ \text{rk}~S = 19 $ 이면, $ \dim \Omega(S \subset L) = 1 $ 이므로 판별식은 항상 자동형 형식의 영점집합이 된다.
• $ \text{rk}~S \geq 3 $ 일 때, $ 2 $-반사 라티스의 집합은 유한하며, 본 논문은 K3 모듈리의 판별식에 대해 반사 대칭적 유한성을 추측한다.
• 판별식이 자동형 형식의 영점집합이 되는 $ S \subset L_{K3} $ 중 $ \text{rk}~S \leq 17 $ 인 경우가 동형을 제외하고 유한하다는 추측을 제기하며, 이는 산술적 반사군 이론에서 알려진 유한성 결과와 대응되는 것으로 간주된다.