격자 편극된 아벨리안 표면의 거울 대칭

초록

본 논문은 K3 표면에 대한 돌가코프‑니콜린‑핑햄 거울 대칭을 아벨리안 표면으로 확장한다. 격자‑편극된 아벨리안 표면을 정의하고, 그들의 조대 모듈리 공간과 문자열 Kähler 모듈리 공간을 구축한다. 두 공간은 거울 쌍에 대해 자연스럽게 동일시되며, 문자열 Kähler 모듈리 공간에는 자가역적인 전치가 존재한다. 전치는 거울 대칭 아래에서 아벨리안 표면과 그 듀얼을 연결한다. 또한, 거울 파트너 존재 조건을 피카드 수와 Néron‑Severi 격자의 판별형으로 완전히 기술하고, 자기‑거울 아벨리안 표면을 판별형의 2‑Sylow 부분에 대한 구체적 조건으로 분류한다.

상세 분석

이 연구는 먼저 격자‑편극(lattice‑polarized)이라는 개념을 아벨리안 표면에 도입한다. 전통적인 K3 경우와 달리, 아벨리안 표면에서는 첫 번째 동류군 H¹이 마킹의 대상이 되며, 이는 H²가 U⊕³ 형태의 짝대칭 격자를 이루기 때문이다. 저자들은 L≅ℤ⁴와 Λ=∧²L≅U⊕³을 고정하고, admissible basis를 이용해 복소 2‑토리의 마킹을 정의한다. 이를 통해 복소 구조의 주기(period) 공간 D를 {v∈ℙ(Λ⊗ℂ) | v·v=0, v·v̄>0} 로 식별하고, 조대 모듈리 공간 M_cpx(X) 를 NS(X)‑편극된 아벨리안 표면들의 군사적 분류체로 구축한다.

다음으로 문자열 Kähler 모듈리 공간 M_Kah(X)를 정의한다. 여기서는 복소화된 Kähler 클래스 ω∈NS(X)⊗ℂ가 Im ω∈Amp(X)를 만족하는 조건을 취하고, 이를 군 O⁺(NS(X))의 작용으로 나눈다. 핵심은 ω↦ι(ω)=−2 ω/ω² 라는 명시적 전치가 존재한다는 점이다. 이 전치는 vol(ω)=−½ ω² 를 역전시켜 vol(ι(ω))=vol(ω)⁻¹ 가 되며, M_Kah(X) 위에서 자가역적인 변환 D를 만든다. 거울 파트너 Y가 존재하면, T(Y)≅N(X) 와 N(Y)≅T(X) 가 성립하고, 위 전치를 통해 M_cpx(Y)와 M_Kah(X) 사이의 동형이 자연스럽게 유도된다. 즉, 복소 모듈리와 문자열 Kähler 모듈리가 거울 대칭 하에서 서로 교환된다.

거울 파트너 존재 조건은 피카드 수 ρ(X)와 NS(X)의 구조에 의해 완전히 결정된다. ρ≤2이면 언제든 파트너가 존재하고, ρ=3인 경우 NS(X)≅ℤ(−2n)⊕U (n>0) 일 때만 가능하다. 특히 ρ=2인 경우는 더 미묘한데, 두 표면이 같은 거울을 공유하려면 그들의 판별형(discriminant form)이 동형이어야 한다. 이는 K3 경우와 유사하지만, 여기서는 NS(X)⊕U 형태가 N(X)와 동형이므로 판별형의 2‑Sylow 부분에 대한 정밀한 분류가 필요하다. 저자들은 p≡3(mod 4)인 소수에 대해 A_p≅(ℤ/p^k)² 형태, 그리고 2‑Sylow 부분에 대해 네 가지 경우(i)–(iv)를 제시한다. 이 조건을 만족하면 X는 자기‑거울이며, 특히 주된 예는 서로 동형이 아닌 두 타원곡선의 곱이다. 주극화된 경우에는 판별형이 16이나 p≡3(mod 4)인 소수로 나누어지지 않으면 자기‑거울이 된다.

전반적으로 이 논문은 격자‑편극된 아벨리안 표면에 대한 거울 대칭 이론을 완전히 정립하고, 복소와 Kähler 측면을 Bridgeland 안정조건과 Mukai 페어링을 통해 연결한다. 또한 전치 ι와 판별형 분석을 통해 거울 파트너와 자기‑거울의 존재를 완전히 기술함으로써, 기존 K3 거울 대칭을 넘어선 새로운 사례 연구를 제공한다.