대칭곱과 캠파나‑특수 다양체의 구멍 뚫기 현상에 대한 새로운 시각

초록

본 논문은 Hassett‑Tschinkel이 제시한 산술·기하학적 구멍 뚫기 추측을 대칭곱을 이용한 반례로 부정하고, 캠파나의 특수 다양체 이론에 기반한 수정된 추측을 제안한다. 특히 곡선과 직선의 곱의 대칭곱이 특수함을 보이며, 이러한 대칭곱은 원래 표면이 잠재적으로 유리점이 조밀하지 않더라도 유리점이 조밀하고 약한 힐베르트 성질을 만족함을 증명한다.

상세 분석

이 논문은 먼저 Campana가 정의한 “특수(special) 다양체” 개념을 복습하고, 이를 복소해석적(Body, Kobayashi), 산술적(arithmetic), 그리고 기하학적(geometric) 특수성으로 확장한다. 특수성은 Bogomolov‑sheaf가 존재하지 않는다는 조건으로 정의되며, 이는 로그 미분형식의 존재와 Iitaka 차원 제한을 통해 검증된다. Campana는 이러한 세 가지 특수성이 서로 동치임을 conjecture했으며, 이와 연계된 산술적 특수성은 Z‑유한 생성 서브링을 통한 근접 적분점(near‑integral points)의 조밀성으로 정의된다.

핵심은 대칭곱 Symⁿ(X) 의 특수성 전이 현상을 탐구하는데 있다. 일반적으로 X가 특수이면 모든 대칭곱도 특수하지만, 반대는 성립하지 않는다. 저자들은 C×ℙ¹ (C는 genus g≥2인 매끄러운 곡선) 의 대칭곱 Symᵐ(C×ℙ¹) (m≥g) 가 특수함을 보이며, 이는 Campana–Cadorel–Rousseau의 결과(정리 1.13)를 확장한다. 특히 이 대칭곱은 몸체 특수성뿐 아니라 산술적·기하학적 특수성도 만족한다(정리 A).

산술적 측면에서, 원래 표면 C×ℙ¹ 은 잠재적으로 유리점이 조밀하지 않을 수 있지만, 그 대칭곱은 근접 적분점이 조밀하고, 심지어 Corvaja‑Zannier가 제안한 약한 힐베르트 성질(weak Hilbert property)을 만족한다(정리 B). 이를 위해 저자들은 최근 증명된 Abelian 다양체에 대한 힐베르트 불가산성 정리를 활용하고, 대칭곱 Symᵐ(C) 에 대한 새로운 힐베르트 불가산성 정리를 구축한다. 이 과정에서 Sₘ‑Galois 점들의 무한성도 도출된다.

또한, 곡선 C와 타원곡선 E의 곱 C×E 에 대해, C가 E를 지배할 경우(m≥g) Symᵐ(C×E) 가 산술·기하학적으로 특수함을 보인다(정리 C). 여기서는 그래프들의 조밀성을 보장하는 새로운 기준(정리 4.5)을 도입했으며, 이는 Hilbert 스킴의 성질을 이용해 증명된다.

마지막으로, 일반적인 밀도 기준을 추상화한 정리 D를 제시한다. 이는 Y→X의 여러 사상들의 그래프 합이 Y×X 전체에 조밀해지는 충분조건을 제공한다. 이 정리는 대칭곱의 특수성 검증뿐 아니라, 다른 복합 구조에서도 그래프 밀도 문제를 다루는 데 유용하다.

전체적으로, 논문은 “구멍 뚫기” 추측이 대칭곱에 대해 성립하지 않음을 반례로 제시하고, Campana의 특수성 프레임워크를 바탕으로 새로운 예측과 정리를 제시함으로써 산술기하학과 복소해석 사이의 교류를 심화시킨다.