[논문 리뷰] Some intersection numbers of divisors on toroidal compactifications of A_g

Cord Erdenberger, Samuel Grushevsky외 1명|ArXiv.org|2007. 07. 09.

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

한 줄 요약

이 논문은 주로 극대 원추 타원적 복합체 $\mathcal{A}_g^{\operatorname{Perf}}$ 에서 히오지 선다발 $L$ 과 경계 초평면 $D$ 의 최고 차수 교차수를 계산한다. 부분 복합체에서의 교차 이론과 생성 함수를 이용하여, 모든 이러한 교차수가 $L$ 의 거듭제곱이 $\mathcal{A}_k$ 의 차원과 일치할 때만 비영이 되며, 이는 $k \leq g$ 인 경우에 해당한다. 유일하게 비영인 값은 세 가지뿐이다: $L^G$, $L^{G-g}D^g$, 그리고 $L^{G-2g+1}D^{2g-1}$이며, 마지막 항은 세 개의 항 (I), (II), (III) 로 분해하여 명시적으로 계산된다.

ABSTRACT

We study the top intersection numbers of the boundary and Hodge class divisors on toroidal compactifications of the moduli space $A_g$ of principally polarized abelian varieties and compute those numbers that live away from the stratum which lies over the closure of $A_{g-3}$ in the Satake compactification.

연구 동기 및 목표

• 주로 극대 원추 복합체 $\mathcal{A}_g^{\operatorname{Perf}}$ 에서의 $\mathcal{A}_g$ 의 주로 극대화된 아벨 다양체 모듈리 공간의 복합체에서의 최고 차수 교차수 $\langle L^{G-N}D^N \rangle_{\mathcal{A}_g^{\operatorname{Perf}}}$ 를 계산하는 것. 여기서 $G = \frac{g(g+1)}{2}$ 는 차원이다.
• 특히 $N < 3g - 3$ 인 범위에서 비영인 교차수를 특정하고, 히오지 번들의 생성하는 $\operatorname{Pic}$ 그룹의 구조를 중심으로 분석한다.
• 기존의 낮은 차수의 경우 ($g \leq 4$) 에서의 결과를 확장하여, 이전까지 알려지지 않았던 교차수 $a_{2g-1}^{(g)} = \langle L^{(g-2)(g-1)/2} D^{2g-1} \rangle_{\mathcal{A}_g^{\operatorname{Perf}}}$ 를 계산하는 것.
• Satake 복합체에서 $\mathcal{A}_{g-3}$ 의 폐포 위의 스트라툼을 초월하는 영역에서 교차수의 0화 패턴이 다른 타원적 복합체에 일반화될 수 있음을 보여주는 프레임워크를 제공하는 것.

제안 방법

• Satake 복합체에서 $\mathcal{A}_{g-3}$ 의 스트라툼에 대응하는 $\beta_3$ 를 제외한 부분 복합체 $\mathcal{A}_g^{\operatorname{Perf}} \setminus \beta_3$ 에서의 교차 이론을 적용한다.
• 특히 $\frac{2x}{1 - e^{-2x}}$ 와 $\frac{e^x - 1}{x}$ 를 포함한 생성 함수와 멱급수 전개를 사용하여 교차수와 관련된 계수를 계산한다.
• 교차수 $a_{2g-1}^{(g)}$ 를 세 개의 구성요소 (I), (II), (III) 로 분해하며, 각각 별도의 정리(정리 9.5, 8.3, 7.5)에 의해 계산된다. (I) 항은 낮은 차수의 불변량의 조합으로 표현된다.
• 히르체브루흐-무디 프로포르션랄리티를 이용하여 히오지 번들의 자기교차수 $L^G$ 를 계산하고, 반데르 게어의 방법을 $D^g$ 의 경우에 적응한다.
• 특히 $g \leq 3$ 인 경우에 모든 타원적 복합체가 일치하므로, 적합한 팬의 구조와 타원적 복합체에서의 호환 조건에 의존한다.
• 기호 계산(마이플)을 사용하여 $g = 2$ 에서 $7$ 까지의 결과를 수치적으로 검증하였으며, $g \leq 4$ 에서는 이전 연구와 일치하고, $g > 4$ 에서는 새로운 값을 제공한다.

실험 결과

연구 질문

• RQ1 비영인 교차수 $\langle L^{G-N}D^N \rangle_{\mathcal{A}_g^{\operatorname{Perf}}}$ 는 $N < 3g - 3$ 인 경우에 어떤 것들이 존재하는가?
• RQ2 이전까지 알려지지 않았던 교차수 $a_{2g-1}^{(g)} = \langle L^{(g-2)(g-1)/2} D^{2g-1} \rangle_{\mathcal{A}_g^{\operatorname{Perf}}}$ 의 명시적 공식은 무엇인가?
• RQ3 교차수의 0화 패턴은 다른 타원적 복합체로 일반화될 수 있는가?
• RQ4 교차수는 부분 복합체의 기하학적 구조와 $\operatorname{Pic}$ 그룹의 구조와 어떻게 관련이 있는가?
• RQ5 $\mathcal{A}_g^{\operatorname{Perf}}$ 에서의 교차수는 바르노이 또는 이구사 복합체와 같은 다른 타원적 모델로 확장될 수 있는가?

주요 결과

• 비영인 교차수는 $N < 3g - 3$ 인 범위에서 오직 $N = 0$, $N = g$, $N = 2g - 1$ 에서만 발생하며, 나머지는 모두 0이다.
• 최고 자기교차수 $\langle L^G \rangle_{\mathcal{A}_g^{\operatorname{Perf}}} = (-1)^G 2^{-g} G! \prod_{k=1}^g \frac{\zeta(1-2k)}{(2k-1)!!}$ 는 히르체브루흐-무디 프로포르션랄리티를 통해 계산된다.
• 두 번째 비영인 값은 $\langle L^{G-g} D^g \rangle_{\mathcal{A}_g^{\operatorname{Perf}}} = \frac{1}{2}(-1)^{G-1} (g-1)! (G-g)! \prod_{k=1}^{g-1} \frac{\zeta(1-2k)}{(2k-1)!!}$ 로, 반데르 게어의 방법으로 유도된다.
• 세 번째 비영인 값 $\langle L^{G-2g+1} D^{2g-1} \rangle_{\mathcal{A}_g^{\operatorname{Perf}}} = (I) + (II) + (III)$ 는 명시적으로 계산되었으며, (I) 항은 낮은 차수의 불변량과 생성 함수의 조합으로 표현된다.
• 수치적으로 $g = 2$ 에서 $7$ 까지의 값을 계산하고 표로 정리하였으며, 각각 $a_{2g-1}^{(g)} = -11/12, -203/240, -1759/3360, -59123/45360, -976649/13860, -49254708341/2332800$ 이다.
• 결과는 $a_N^{(g)} = 0$ 이며, $G - N = \dim \mathcal{A}_k = k(k+1)/2$ 를 만족하는 어떤 $k \leq g$ 가 존재할 때에만 비영이 된다는 추측과 일치하며, 교차환의 링 내에서 깊이 있는 구조적 패턴을 시사한다.