[논문 리뷰] Second variation of Zhang's lambda-invariant on the moduli space of curves

Robin de Jong|arXiv (Cornell University)|2010. 02. 08.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 4

한 줄 요약

이 논문은 곡선의 모듈리 공간에서 Zhang의 λ-불변량의 제2차 미분을 계산하여, $(8g+4)\lambda$ 가 $g$에 의존하는 상수를 제외하고 Hain-Reed의 β-불변량과 동일하다는 것을 증명한다. Kawazumi의 제2차 미분에 관한 연구와 Ceresa 사이클의 성질을 활용하여, 히퍼엘리프틱 곡선에서 λ-불변량을 페테르손 노름으로 표현한 명시적 공식을 유도함으로써, 산술 불변량과 자동형식 사이의 깊은 연관성을 확립한다.

ABSTRACT

We compute the second variation of the λ-invariant, recently introduced by S. Zhang, on the complex moduli space M_g of curves of genus g>1, using work of N. Kawazumi. As a result we prove that (8g+4)λis equal, up to a constant, to the β-invariant introduced some time ago by R. Hain and D. Reed. We deduce some consequences; for example we calculate the λ-invariant for each hyperelliptic curve, expressing it in terms of the Petersson norm of the discriminant modular form.

연구 동기 및 목표

• 고도수 $g \geq 2$ 의 곡선의 모듈리 공간 $\mathcal{M}_g$ 에서 Zhang의 λ-불변량의 제2차 미분을 계산하는 것.
• 제2차 미분 기법을 통해 λ-불변량과 Hain-Reed의 β-불변량을 연결하는 것.
• 히퍼엘리프틱 곡선에 대해 λ-불변량을 명시적으로 계산하여, 판별 모듈라 형식의 페테르손 노름으로 표현하는 것.
• 모듈리 공간에서 산술 불변량과 자동형식 사이의 정확한 관계를 설정하는 것.

제안 방법

• Zhang의 λ-불변량과 관련된 φ-불변량의 제2차 미분 공식을 제공하는 Kawazumi의 공식을 활용한다.
• Ceresa 사이클에 관련된 이중확장 선다발과 정규 함수를 통해 Hain-Reed의 β-불변량을 구성한다.
• λ-불변량과 β-불변량의 제2차 미분을 비교하여 그 비례성을 확립한다.
• 히퍼엘리프틱 곡선에서 Ceresa 사이클가 0이 되므로, 이중확장 계량이 히퍼엘리프틱 부분공간에서 일정하다는 점을 이용한다.
• Hodge 계량과 이중확장 계량을 $\mathcal{L}^{\otimes 8g+4}$ 의 Hodge 번들의 결정식에 적용하여 노름을 비교한다.
• Yamaki의 비-아르키메데스 공식과 국소 Cornalba-Harris 등식을 활용하여 λ-β 관계에서의 상수를 계산한다.

실험 결과

연구 질문

• RQ1 Zhang의 λ-불변량의 제2차 미분은 곡선의 모듈리 공간에서 알려진 불변량과 어떻게 관련이 있는가?
• RQ2 히퍼엘리프틱 곡선에서 λ-불변량은 전통적인 모듈라 형식으로 표현될 수 있는가?
• RQ3 Hain-Reed의 β-불변량은 제2차 미분을 통해 직접적으로 λ-불변량과 연결될 수 있는가?
• RQ4 $(8g+4)\lambda$ 와 β-불변량 사이의 정확한 비례 상수는 무엇인가?
• RQ5 관계 $(8g+4)\lambda = \beta + C_g$ 에서 상수 $C_g$ 는 히퍼엘리프틱 곡선에서 0이 되는가?

주요 결과

• Kawazumi의 공식을 통해 Zhang의 λ-불변량의 제2차 미분이 계산되며, 이는 보편 곡선 위의 표준 2형식과 연결된다.
• 상수 $g$ 에만 의존하는 상수를 제외하고 $(8g+4)\lambda = \beta$ 가 성립함을 보여, λ-불변량과 Hain-Reed의 β-불변량 사이의 직접적 연결 고리를 확립한다.
• 히퍼엘리프틱 곡선에서는 $(8g+4)\lambda = -\log\|\Lambda\|_{\mathrm{Hdg}}$ 로 주어지며, 여기서 $\Lambda$ 는 $\mathcal{L}^{\otimes 8g+4}$ 의 전역 정규화 단위 섹션이다.
• 비-아르키메데스 분석과 국소 Cornalba-Harris 등식을 통해, $(8g+4)\lambda = \beta + C_g$ 관계에서의 상수가 히퍼엘리프틱 곡선에서 0임을 보였다.
• 히퍼엘리프틱 곡선에서의 λ-불변량은 $\|\Lambda\|_{\mathrm{Hdg}}^{n} = (2\pi)^{4g^2r}\|\Delta_g\|^{g}$ 를 통해 판별 모듈라 형식 $\Delta_g$ 의 페테르손 노름으로 표현된다.
• 공식 $(8g+4)\lambda = g\xi_0 + \sum_{j=1}^{[(g-1)/2]} 2(j+1)(g-j)\xi_j + \sum_{i=1}^{[g/2]} 4i(g-i)\delta_i$ 는 반안정 모델의 특이 섬유의 유형과 하위유형에 따라 λ-불변량을 계산한다.