[논문 리뷰] The integral Chow ring of the stack of hyperelliptic curves of even genus

Dan Edidin, Damiano Fulghesu|ArXiv.org|2007. 12. 28.

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

한 줄 요약

이 논문은 등급이 짝수인 매끄러운 이중유리곡선의 스택의 적분 차우 링을 등급 이론을 사용하여 계산한다. 이를 통해 $A^*({/mathcal{H}}_g) \cong \mathbb{Z}[c_1, c_2]/(2(2g+1)c_1, g(g-1)c_1^2 - 4g(g+1)c_2)$ 를 보이며, 이러한 링에 대해 놀라울 정도로 단순한 구조를 드러내고, 자연스러운 계수가 2인 벡터(bundle)의 체르니클 클래스를 생성자로 식별한다.

ABSTRACT

Let $g$ be an even positive integer. In this paper we compute the integral Chow ring of the stack of smooth hyperelliptic curves of genus $g$.

연구 동기 및 목표

• 스택 $\mathcal{H}_g$ 의 매끄러운 이중유리곡선의 짝수 차수 $g$ 에 대한 적분 차우 링을 계산하는 것.
• 이전의 $\mathcal{M}_2$ 와 $\operatorname{Pic}(\mathcal{H}_g)$ 결과를 모든 짝수 $g$ 에 대해 전체 적분 차우 링으로 확장하는 것.
• 스택 $\mathcal{H}_g$ 에서 자연스러운 벡터 번들의 체르니클 클래스가 차우 링을 생성하는지 식별하는 것.
• 차우 링의 명시적인 관계를 통해 $A^*(\mathcal{H}_g)$ 의 완전한 표현을 제공하는 것.

제안 방법

• 스택 $\mathcal{H}_g$ 를 $[({\mathbb{A}}^{2g+3} \setminus \Delta_1)/\mathrm{GL}_2]$ 로서의 몫 스택으로서 식별하는 것, 여기서 $\Delta_1$ 은 판별식 위치이다.
• 등급 이론을 적용하여 $A^*(\mathcal{H}_g)$ 를 열린 집합 $\mathbb{A}^{2g+3} \setminus \Delta_1$ 의 $\mathrm{GL}_2$-등급 차우 링으로서 실현하는 것.
• 등급 차우 이론의 제약 정리들을 사용하여 계산을 $\mathrm{GL}_2$ 의 최대 토루스 $T \subset \mathrm{GL}_2$ 로 줄이는 것.
• 핵심 기술적 보조정리를 사용하여 $A^*_T(\mathbb{P}(\operatorname{Sym}^N E^*) \setminus \Delta_1)$ 가 $A^*_T(\mathbb{P}(\operatorname{Sym}^N E^*))$ 의 아이디얼에 의해 몫이 되는 것으로 보여주는 것.
• 특수한 성질을 지닌 $\mathrm{GL}_2$ 를 이용하여 토루스-등급 차우 링으로부터 $\mathrm{GL}_2$-등급 차우 링을 복원하는 것.
• 기하학적 실현을 통해 브라우어-세버스 가족에서 $\mathcal{V}_g$ 라는 자연스러운 계수 2 벡터 번들의 체르니클 클래스가 차우 링을 생성함을 식별하는 것.

실험 결과

연구 질문

• RQ1 짝수 차수 $g$ 에 대해 적분 차우 링 $A^*(\mathcal{H}_g)$ 의 구조는 무엇인가?
• RQ2 스택 $\mathcal{H}_g$ 의 차우 링이 자연스러운 벡터 번들의 체르니클 클래스에 의해 생성될 수 있는가?
• RQ3 근본이 다른 차수 $2g+2$ 의 이차형 다항식의 공간의 등급 차우 링과 $A^*(\mathcal{H}_g)$ 는 어떻게 관련이 있는가?
• RQ4 차우 링의 생성자들 사이의 정의 관계는 무엇인가?
• RQ5 왜 $\mathcal{H}_g$ 의 차우 링은 이중유리곡선 매핑 클래스 군의 호모로지보다 훨씬 단순한가?

주요 결과

• 짝수 $g$ 에 대해 $\mathcal{H}_g$ 의 적분 차우 링은 $\mathbb{Z}[c_1, c_2]/(2(2g+1)c_1, g(g-1)c_1^2 - 4g(g+1)c_2)$ 와 동형이다.
• 생성자 $c_1$ 과 $c_2$ 는 $\mathcal{H}_g$ 에서 자연스러운 계수 2 벡터 번들 $\mathcal{V}_g$ 의 체르니클 클래스이며, 일반적으로 타우토로지컬이 아니다.
• 이 결과는 $g=2$ 일 때 Vistoli 가 $A^*(\mathcal{M}_2)$ 를 유일하게 표현한 것을 복원한다. 왜냐하면 모든 차수 2 곡선이 이중유리곡선이기 때문이다.
• 이 결과는 Arsie 와 Vistoli 가 $\operatorname{Pic}(\mathcal{H}_g)$ 가 순서 $2(2g+1)$ 의 순환군임을 계산한 것을 복원한다.
• $\mathcal{V}_g$ 의 체르니클 클래스는 타우토로지컬이 아니다. 특히 $\lambda = (g/2)c_1$ 이므로, $g \equiv 0 \pmod{4}$ 일 때 허지 클래스 $\lambda$ 는 $\operatorname{Pic}(\mathcal{H}_g)$ 의 생성자가 아니다.
• 이 계산은 $\mathcal{H}_g$ 의 적분 차우 링이 이중유리곡선 매핑 클래스 군의 위상적 복잡성과는 대조적으로 놀랍도록 단순한 표현을 가짐을 보여준다.