[논문 리뷰] The strong maximal rank conjecture and moduli spaces of curves

Fu Liu, Brian Osserman외 2명|arXiv (Cornell University)|2018. 08. 03.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 6

한 줄 요약

이 논문은 타원 곡선의 사슬으로의 분해(degeneration)를 이용하고, 연결된 선형 계열 기법을 활용하여, 종수 22와 23에 대한 Aprodu-Farkas의 강력한 최대질량 추측을 두 경우에 대해 증명한다. 핵심 결과는 각각 ℳ₂₂와 ℳ₂₃의 진부분집합인 𝒟₂₂와 𝒟₂₃가 성립한다는 것이며, 이는 이 모듈리 공간들이 일반 유형(general type)임을 보이는 데 핵심적인 단계를 확인한다.

ABSTRACT

Building on recent work of the authors, we use degenerations to chains of elliptic curves to prove two cases of the Aprodu-Farkas strong maximal rank conjecture, in genus $22$ and $23$. This constitutes a major step forward in Farkas' program to prove that the moduli spaces of curves of genus $22$ and $23$ are of general type. Our techniques involve a combination of the Eisenbud-Harris theory of limit linear series, and the notion of linked linear series developed by the second author.

연구 동기 및 목표

• ℳ₂₂와 ℳ₂₃가 일반 유형임을 보이는 데 핵심적인 단계인, 종수 22와 23에 대한 강력한 최대질량 추측을 확립하기 위함.
• 이미지가 쌍곡면에 놓이는 𝔤⁶_{25} 또는 𝔤⁶_{26}를 지닌 곡선으로 이루어진, 𝒟₂₂와 𝒟₂₃의 임의의 부분집합이 각각 ℳ₂₂와 ℳ₂₃의 진부분집합임을 보여주기 위함.
• Eisenbud-Harris의 극한 선형 계열 이론과 연결된 선형 계열 이론을 열린 곡선으로 확장하고, 곱셈 사상의 비퇴화성(non-degeneracy)을 증명하기 위함.
• Farkas의 계획에서 예상되는 유효한 분할이 실제로 유효함을 입증하기 위해, 다중도수(multidegrees)에서 특정 절편의 비영성(non-vanishing)을 증명하기 위함.

제안 방법

• 종수 1 곡선의 사슬으로의 분해를 통해 극한 선형 계열을 분석하고, 특수화 하에서 선형 계열의 행동을 연구하기 위함.
• Eisenbud-Harris의 극한 선형 계열 이론을 적용하여, 분해한 극한에서 절편의 다중도수와 지지부를 제어하기 위함.
• Osserman가 개발한 연결된 선형 계열 기법을 사용하여, 극한에서 절편의 독립성을 분석하기 위함.
• 잠재적으로 나타날 수 있는 절편이 다중도수 md(w)에서 선형 독립이 되도록 다중도수 w를 구성함으로써, 곱셈 사상의 비퇴화성을 확보하기 위함.
• 극한 선형 계열에서 0개, 1개 또는 2개의 교환(swap)이 발생하는 경우를 분석하고, 절편 지지부와 다중도수 제약 조건에 대한 조합론적 제어를 사용하기 위함.
• 절편의 텐서곱의 명시적 계산과 사슬 구성요소 전반에 걸친 구성요소 지지부 추적을 통해 독립성 기준을 검증하기 위함.

실험 결과

연구 질문

• RQ1 강력한 최대질량 추측은 종수 22와 23에서 성립하는가? 특히, 관련 곱셈 사상이 단사가 아닐 수 있는 𝔤⁶_{25} 또는 𝔤⁶_{26}의 존재성에 대해 성립하는가?
• RQ2 𝒟₂₂ ⊊ ℳ₂₂인가? 즉, 종수 22의 모든 곡선이 쌍곡면 위에 놓이는 𝔤⁶_{25}를 지니지 않는다는 의미인가?
• RQ3 𝒟₂₃ ⊊ ℳ₂₃인가? 이는 Farkas의 계획에서 예상되는 분할이 종수 23에서 실제로 유효함을 보장하는가?
• RQ4 타원 곡선의 사슬으로의 분해 방법을 사용하여, 이 경우의 대칭 제곱 곱셈 사상의 비퇴화성을 증명할 수 있는가?
• RQ5 극한에서 다중도수와 절편 지지부에 대한 조건이, 종수 22 또는 23의 일반 곡선에서 곱셈 사상이 여전히 단사임을 보장하는가?

주요 결과

• 𝒟₂₂는 ℳ₂₂의 진부분집합이므로, 종수 22의 일반 곡선은 쌍곡면 위에 놓이는 𝔤⁶_{25}를 지니지 않는다.
• 𝒟₂₃는 ℳ₂₃의 진부분집합이므로, 종수 23의 일반 곡선은 쌍곡면 위에 놓이는 𝔤⁶_{26}를 지니지 않는다.
• 𝒟₂₂의 클로처는 종수 1 곡선의 사슬의 곡선 집합을 포함하지 않으며, 이는 분해 설정에서 핵심적인 비퇴화 조건을 확인한다.
• 종수 22와 23에서 강력한 최대질량 추측은 성립한다: 일반 곡선과 일반 𝔤⁶_d에 대해 곱셈 사상 Sym²V → Γ(X,ℒ⊗²)는 단사이다.
• 이 증명은 특성 0에서 그대로 적용되며, 특성 p ≥ 29로도 확장되지만 기하학적 응용은 특성 0로 국한된다.
• 특히 절편 지지부 제어와 다중도수 독립성 기법을 사용한 기법은 다른 ρ = 2의 경우로 일반화 가능하며, 더 넓은 응용으로 이어질 수 있음을 시사한다.