곡선 위 세레사와 그로스‑쇼엔 사이클의 높이와 북커트 성질

초록

이 논문은 제네시스 3 이상인 곡선의 모듈라이 공간에서 세레사 사이클과 그로스‑쇼엔 사이클의 베일린슨‑블록 높이를 연구한다. 저자들은 Zariski 열린 조밀 부분집합 𝑀_g^{amp}을 구성하여, 해당 부분에서 두 사이클의 높이가 양의 하한을 갖고, 북커트(Northcott) 성질을 만족함을 증명한다. 이를 위해 아델리케 라인 번들을 이용한 높이 정의, 베티 형태의 반양성, 그리고 부피 항등식을 활용한다.

상세 분석

본 연구는 베일린슨‑블록 높이의 산술적 정의를 곡선 모듈라이 공간 𝑀_g 위에 아델리케 라인 번들 ℒ 을 구축함으로써 시작한다. ℒ은 정수계수의 Q‑아델리케 라인 번들로, 그 곡률 형태 c₁(ℒ) 가 Hain이 정의한 베티 형태 β_{GS}와 동일함을 보인다. 베티 형태는 아키메데안 로컬 높이 쌍을 메트리즈된 비엑스텐션 라인 번들로부터 유도한 (1,1)‑형이며, Hain의 결과에 따라 반양성(semi‑positive)임을 확인한다.

다음으로 저자들은 ℒ의 기하학적 부분 fℒ (일반 섬유의 제한) 의 부피 vol(fℒ) 와 c₁(ℒ)^{dim 𝑀_g} 의 교차수를 동일시하는 부피 항등식(1.2)를 증명한다. 이 항등식은 전통적인 산술 Hilbert‑Samuel 정리의 적용이 어려운 상황에서, Demailly의 모스 불등식과 모델 헤르미티안 라인 번들의 근사 과정을 통해 얻어진다. 특히, ℒ가 nef가 아니더라도 모델 라인 번들을 이용해 부피를 근사함으로써 부피 항등식을 성립시킨 점이 기술적으로 핵심이다.

베티 형태의 비소멸성을 보이기 위해 저자들은 혼합 Ax‑Schanuel 정리와 o‑minimal 구조를 활용한다. 구체적으로, 베티 형태 β_{GS} 를 거듭 제곱한 뒤 dim 𝑀_g 차원에서의 전역 형태가 0이 아닌 것을 보이며, 그 영점 집합이 Zariski 닫힌 베티 스트라텀 𝑀_g^{Betti}(1) 임을 증명한다. 이 스트라텀은 곡선이 하이퍼엘립틱이거나 특수한 대수적 관계를 가질 때만 전체 모듈라이 공간을 차지한다는 점에서, 일반적인 곡선에서는 베티 형태가 비소멸함을 의미한다.

이러한 기하‑산술적 분석을 종합하면, ℒ의 높이 h_ℒ(s) 가 베일린슨‑블록 높이 ⟨GS(s),GS(s)⟩_{BB} 와 정확히 일치함을 확인하고, ℒ의 반양성 및 부피가 양수임을 통해 모든 s∈π^{-1}(𝑈)(ℚ) 에 대해 \