[논문 리뷰] On the slope of the moduli space of genus 15 and 16 curves

Dennis Tseng|arXiv (Cornell University)|2019. 05. 01.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 창과 란(1986)가 사용한, 종수 15 및 16 곡선의 모듈리 공간의 기울기를 계산하는 데 쓰인 공식에서 기호 오류를 수정한다. 수정된 공식을 1매개변수 공간 곡선의 가닥을 통해 재적용함으로써, 저자는 기울기 경계를 재계산한다: $ s(\overline{\mathscr{M}_{15}}) > 6.53 $, 이는 비틀림성의 확인을 의미하며, $ s(\overline{\mathscr{M}_{16}}) \gtrsim 6.008 $, 이는 그 비틀림성에 대한 여부는 열려 있다.

ABSTRACT

We revisit the work of Chang and Ran on bounding the slopes of $\overline{\mathscr{M}_{15}}$ and $\overline{\mathscr{M}_{16}}$, correct one of the formulas used at the conclusion of the argument, and recompute the lower bounds on the slopes, yielding $s(\overline{\mathscr{M}_{15}})>6.5$ but not for $\overline{\mathscr{M}_{16}}$. Our contribution only involves plugging in formulas.

연구 동기 및 목표

• 창과 란(1986)가 종수 $ \overline{\mathscr{M}_{15}} $ 및 $ \overline{\mathscr{M}_{16}} $의 기울기를 계산하는 데 사용한 채르 수식에서 기호 오류를 수정하는 것.
• 수정된 공식을 사용하여 종수 15 및 16 곡선의 모듈리 공간 기울기의 하한을 재계산하는 것.
• 수정된 계산을 바탕으로 원래의 주장인 $ s(\overline{\mathscr{M}_{16}}) > 6.5 $ 가 여전히 성립하는지 평가하는 것.
• 수정된 기울기 추정에 기반하여 $ \overline{\mathscr{M}_{16}} $의 비틀림성이 여전히 열린 질문인지 판단하는 것.

제안 방법

• HT84에서 제시한 $ \mathbb{P}^1 \times \mathbb{P}^3 $ 내 표면의 가상 채르 수의 열화 위치 공식을 재검토하여, 원래 공식의 기호 오류를 수정한다.
• 수정된 정리 2.1을 적용하여, 가닥을 통한 공간 곡선의 가닥에 대해 $ c_1(Z)^2 $ 및 $ c_2(Z) $ 를 계산한다.
• 수정된 채르 수 계산을 사용하여 $ \overline{\mathscr{M}_{15}} $의 기울기를 재유도함으로써, $ s(\overline{\mathscr{M}_{15}}) = \frac{98}{15} \approx 6.53 $ 을 도출한다.
• 동일한 수정된 공식을 종수 16 곡선의 타입 $ \beta $ 가닥([CR91] 참조)에 적용하여, $ \delta_0 $ 및 $ \delta_1 $ 에서의 기울기 기여도를 재계산한다.
• 기저 변경 및 블로우업 구조를 통한 $ \lambda $, $ \delta_0 $, $ \delta_1 $ 의 역상 계산을 통해, $ \overline{\mathscr{M}_{16}} $ 로의 유도된 사상의 기울기를 결정한다.
• 수정된 $ \delta_0 $ 의 보정 항이 [CR91]에 기재된 것과 일치함을 확인함으로써, $ \overline{\mathscr{M}_{16}} $ 의 재계산된 기울기의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 CR86에서 사용된 $ \overline{\mathscr{M}_{15}} $ 의 기울기를 계산하는 데 쓰인 원래 공식에 기울기 경계에 영향을 주는 기호 오류가 존재하는가?
• RQ2 CR86의 공식을 수정한 후, $ \overline{\mathscr{M}_{15}} $ 의 기울기 하한이 올바른가?
• RQ3 수정된 계산이 $ \overline{\mathscr{M}_{15}} $ 가 비틀림성을 띤다는 원래의 주장에 영향을 주는가?
• RQ4 CR91의 공식을 수정한 후에도 $ \overline{\mathscr{M}_{16}} $ 의 기울기가 여전히 6.5 초과인가?
• RQ5 수정된 $ \overline{\mathscr{M}_{16}} $ 의 기울기 추정에 기반하여, 그 비틀림성은 여전히 열린 질문인가?

주요 결과

• 수정된 $ \overline{\mathscr{M}_{15}} $ 의 기울기 경계는 $ \frac{98}{15} \approx 6.53 $ 이며, 이는 6.5를 초과하여 원래의 비틀림성 결과를 확인한다.
• 원래의 주장인 $ s(\overline{\mathscr{M}_{15}}) > 6.66 $ 는 수정되어 $ s(\overline{\mathscr{M}_{15}}) > 6.53 $ 로 수정되었지만, $ \overline{\mathscr{M}_{15}} $ 가 비틀림성을 띤다는 결론은 그대로 유지된다.
• 재계산된 $ \overline{\mathscr{M}_{16}} $ 의 기울기는 $ \frac{1472}{245} \approx 6.008 $ 로, 원래의 주장인 6.567보다 현저히 낮다.
• 수정된 $ \overline{\mathscr{M}_{16}} $ 의 기울기는 비틀림성을 결론 내리기에 부족하여, 여전히 여전히 열린 질문으로 남아 있다.
• 이 보정은 HT84의 기호 오류와 그에 따른 CR86 및 CR91로의 영향을 해결하며, 특히 $ (-c_1(M) + 2c_1)c_3 $ 표현에서 잘못된 기호가 수정됨을 확인한다.
• 계산은 [CR91]에서 $ \delta_0 $ 의 보정 항이 수정된 공식과 일치함을 확인함으로써, $ \overline{\mathscr{M}_{16}} $ 의 재계산된 기울기의 타당성을 검증한다.