Non-existence of Shimura curves of Mumford type generically in the non-hyperelliptic locus

기술적 요약: 비초타원곡선 영역에서 일반적으로 존재하지 않는 무드포드 유형의 시무라 곡선

문제 제기
본 논문은 시무라 곡선과 대수적 곡선의 토렐리 (Torelli) 영역의 교차점을 다룹니다. 구체적으로, PEL 유형이 아닌 호지 유형의 특정 클래스인 "무드포드 유형"의 시무라 곡선 중 비초타원곡선 (non-hyperelliptic) 의 토렐리 영역에 일반적으로 포함되는 것이 존재하는지 조사합니다.

저자들은 오오트 (Oort) 가 제기한 종수 $g=4$에 대한 질문, 즉 토렐리 영역 $T_4$에 일반적으로 포함되는 무드포드 유형의 시무라 곡선이 존재하는지에 초점을 맞춥니다. 더 일반적으로, 이 논문은 $g \ge 4$인 모든 종수에서 비초타원곡선 영역 내에 그러한 곡선이 존재하는지 판단하고자 합니다. 이 조사는 충분히 큰 $g$에 대해 양의 차원을 가진 특수 부분다양체 (시무라 곡선) 가 토렐리 영역에 일반적으로 존재하지 않는다는 콜먼 - 오오트 (Coleman-Oort) 추측이라는 더 넓은 맥락에 위치합니다.

방법론
증명은 호지 이론, 준안정 곡선 가족의 기하학, 그리고 기울기 부등식 (slope inequalities) 의 결합에 의존합니다. 방법론은 다음과 같은 단계를 거쳐 진행됩니다:

1. 히그스 다발 (Higgs Bundles) 을 통한 특징화: 저자들은 비에브베크 (Viehweg) 와 주오 (Zuo) 가 확립한 시무라 곡선의 특징화를 활용합니다. 곡선 $C_0 \subseteq \mathcal{A}_g$가 무드포드 유형의 시무라 곡선인 것은 필요충분조건으로, 연관된 로그 히그스 다발이 *엄격히 최대인 히그스 필드 (strictly maximal Higgs field)*를 허용하는 것입니다. 이 조건은 호지 다발의 차수에 대한 아라케로프 등식 (Arakelov equality) 이 성립하는 것과 동치입니다: $\deg E^{1,0}_C = \frac{g}{2} \deg \Omega^1_C(\log \Delta_C)$.

2. 준안정 가족으로의 리프팅: 토렐리 영역에 일반적으로 포함된 시무라 곡선 $C_0$에 대해, 저자들은 토렐리 사상을 통해 $C_0$를 나타내는 준안정 곡선 가족 $f: S \to B$를 구성합니다.

   • $C_0$가 초타원곡선 영역에 포함되지 않는다면, 곡선 공간의 모듈라이 공간에서 곡선의 역상 정규화에서 곡선 자체로의 사상은 동형사상이거나 2 차 덮개입니다.
   • 사상이 동형사상인 경우는 이전 결과 (LZ19) 에 의해 배제됩니다. 따라서 분석은 사상이 $\pi: B \to C$인 2 차 덮개이며 분지 영역 (ramification locus) $\Lambda$를 갖는 경우에 초점을 맞춥니다.

3. 기울기 부등식 유도: 핵심 기술적 기여는 가족 $f: S \to B$에 대한 정교화된 기울기 부등식을 유도하는 것입니다.

   • 저자들은 2 차 덮개와 특이 섬유에서의 초타원 involutions 와 연관된 involutions 을 리프팅하는 특정 비분기 기저 변화 $\psi: \tilde{B} \to B$를 구성합니다.
   • 이러한 involutions 에 의한 가족의 몫을 분석함으로써, 자기 교차수 $\omega^2_{S/B}$에 대한 하한을 유도합니다 (정리 3.1). 이 하한은 분지 영역 $\Lambda$에 의존하는 항과 특이 섬유의 기하학 (특히 특정 종수의 기약 성분의 수) 에 의존하는 항을 포함합니다.

4. 상한을 통한 모순 도출: 저자들은 유도된 $\omega^2_{S/B}$의 하한을 이전 작업 (LZ19, 정리 4.3) 에서 확립된 기존 상한과 비교합니다.

   • 상한은 호지 다발의 차수와 특이 섬유의 구성에 의존합니다.
   • 엄격히 최대인 히그스 필드 조건 (이는 기저에 대한 호지 다발의 차수를 고정함) 과 기울기 부등식을 결합함으로써, 저자들은 특정 유형의 특이 섬유 ($\Delta_{ct,b}$) 의 수에 관한 부등식을 유도합니다.

주요 결과

• 정리 1.2: 종수 $g=4$인 비초타원곡선의 토렐리 영역에 일반적으로 포함되는 무드포드 유형의 시무라 곡선은 존재하지 않습니다.
• 정리 1.4: 임의의 종수 $g \ge 4$에 대해, 비초타원곡선의 토렐리 영역에 일반적으로 엄격히 최대인 히그스 필드를 갖는 시무라 곡선은 존재하지 않습니다.
• 계 1.5: 만약 $g > 4$라면, 엄격히 최대인 히그스 필드를 갖는 시무라 곡선은 토렐리 영역 $T_g$에 일반적으로 포함되지 않습니다.

정리 1.4 의 증명은 모순법으로 진행됩니다. 그러한 곡선의 존재를 가정하면 다음과 같은 형태의 부등식이 도출됩니다:
$$\frac{7-g}{6} |\Delta_{ct,b}| > \deg f^*\omega_{S/B} \ge \frac{(g-1)^2}{2g+1} |\Delta_{ct,b}|$$
$g \ge 4$인 경우, 좌변의 계수는 음수가 되거나 우변의 양수 하한을 만족하기에 불충분하여 모순을 야기합니다.

의의와 주장
본 논문은 비초타원곡선 영역에서 그러한 곡선의 부존재를 증명함으로써 종수 4 에 대한 오오트의 질문 1.1 을 해결했다고 주장합니다. 또한, 이 결과를 모든 종수 $g \ge 4$로 일반화합니다.

그 의의는 다음과 같습니다:

• 이전 작업의 확장: 저자들은 이전에 $g \ge 8$인 초타원곡선 영역에서 그러한 곡선의 부존재를 증명했으며 (LZ17), 초타원곡선 (superelliptic curves) 에 대한 유한성 결과를 확립했습니다 (CLZ21). 본 논문은 부존재 결과를 모든 $g \ge 4$에 대한 비초타원곡선 영역으로 확장합니다.
• 콜먼 - 오오트 추측에 대한 지지: 이 결과는 콜먼 - 오오트 추측에 대한 강력한 증거를 제공하며, 특히 $g \ge 4$인 비초타원 토렐리 영역에서 잠재적 반례의 주요 클래스 (무드포드 유형의 시무라 곡선) 를 배제합니다.
• 방법론적 정교화: 본 논문은 무드포드 유형의 시무라 곡선을 나타내는 가족의 특정 기하학, 특히 2 차 덮개의 분기와 특이 섬유의 구조를 처리하는 정교화된 기울기 부등식 (정리 3.1) 을 도입합니다.

저자들은 모든 특수 부분다양체나 모든 종수에 대한 콜먼 - 오오트 추측 전체를 해결했다고 주장하는 것이 아니라, 비초타원곡선 영역에서 무드포드 유형의 시무라 곡선이라는 특정 클래스에 대해 결정적인 부정적 결과를 확립한 것입니다.