[논문 리뷰] The Singular Locus of the Theta Divisor and Quadrics through a Canonical Curve

Marco Matone, Roberto Volpato|ArXiv.org|2007. 10. 11.

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

한 줄 요약

이 논문은 캐논칼 곡선에 대한 새로운 절단 K를 도입하여 아벨 곡선의 줄리어안에서의 싱귤러 분열자 Θs를 특징짓는 중심 도구로 사용한다. 해석적 다항식 관계와 조합적 항등식을 활용하여, 힐베르트 공간의 해석적 기저와 무드포르름을 타우 함수의 형태로 명시적으로 유도하며, K가 종래의 4종도의 헤시안을 임의의 종수로 일반화함으로써 줄리어안 다양체 위에 있는 싱귤러 분열자와 특수 스핀 구조를 포함하는 모듈라 절단을 제공한다.

ABSTRACT

A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacobian torus defined in terms of Theta_s. It also identifies sections of line bundles on the moduli space of algebraic curves, closely related to the Mumford isomorphism, whose zero loci characterize special varieties in the framework of the Andreotti-Mayer approach to the Schottky problem, a result which also reproduces the only previously known case g=4. This new approach, based on the combinatorics of determinantal relations for two-fold products of holomorphic abelian differentials, sheds light on basic structures, and leads to the explicit expressions, in terms of theta functions, of the canonical basis of the abelian holomorphic differentials and of the constant defining the Mumford form. Furthermore, the metric on the moduli space of canonical curves, induced by the Siegel metric, which is shown to be equivalent to the Kodaira-Spencer map of the square of the Bergman reproducing kernel, is explicitly expressed in terms of the Riemann period matrix only, a result previously known for the trivial cases g=2 and g=3. Finally, the induced Siegel volume form is expressed in terms of the Mumford form.

연구 동기 및 목표

• 캐논칼 곡선의 줄리어안에서 타우 분열자의 싱귤러 분열자 Θs에 대한 새로운 기하적 접근법을 개발한다.
• 곡선 위에 존재하는 표준 절단 K를 식별하여, Θs의 기하학적 성질을 기록하고 모듈리 공간 내 특수 분열자와 연관짓는다.
• 기존의 4종도 결과(타우 함수의 헤시안이 줄리어안 다양체 위에서 0이 되는 것)를 임의의 종수 g ≥ 4로 일반화한다.
• 리만 주기 행렬을 기반으로 하여 모듈리 공간 Mg 위에서 무드포르름과 시겔 메트릭을 명시적으로 표현한다.
• 조합적 타우 항등식을 사용하여, 줄리어안 다양체 위와 특수 스핀 구조 위에서 정확히 0이 되는 Mg 위의 해석적 절단을 구성한다.

제안 방법

• 캐논칼 곡선을 통과하는 이차형식의 선형 종속성과 관련된 절단 K를 도입하며, 이는 해석적 아벨 미분의 두 배 곱의 행렬식 관계를 통해 정의된다.
• 대칭 곱과 행렬식에 관한 조합적 보조정리를 사용하여 고차 타우 도함수를 해석적 미분과 연결한다.
• 페이의 항등식과 리만의 타우 관계를 적용하여, H⁰(KC)의 표준 기저와 무드포르름을 타우 함수의 형태로 표현한다.
• 베르그만 커널의 코다이라-스펜서 사상으로부터 Mg 위의 시겔 메트릭을 도출하며, 리만 주기 행렬에 의해 유도되는 메트릭과 동치임을 보인다.
• 짝수 종수 g ≥ 4에 대해, 소수 형식의 곱과 미분의 행렬식을 통해 정의된 λ₁^{d_g}의 모듈라 절단 k(g)를 구성한다.
• 반대칭성과 행렬식 비례성에 기반하여 k(g)가 점과 기저의 선택에 관계없이 불변임을 증명함으로써, 모듈리 자료에 독립적임을 입증한다.

실험 결과

연구 질문

• RQ1 임의의 종수 g ≥ 4에 대해, 타우 분열자의 싱귤러 분열자 Θs는 어떻게 기하학적으로 특징지을 수 있는가?
• RQ2 절단 K는 Θs의 기하학적 성질을 어떻게 기록하며, 모듈리 공간 내 특수 분열자와 어떻게 연관되는가?
• RQ3 4종도의 타우 함수 헤시안은 임의의 종수로 일반화되어 줄리어안 다양체 위에서 0이 되는 모듈라 절단으로서 존재할 수 있는가?
• RQ4 리만 주기 행렬을 기반으로 하여 Mg 위의 무드포르름과 시겔 메트릭은 어떻게 명시적으로 표현할 수 있는가?
• RQ5 줄리어안 다양체 위와 특수 스핀 구조 위에서 정확히 0이 되는 Mg 위의 해석적 절단의 구조는 어떠한가?

주요 결과

• 절단 K는 모듈리 공간 Mg 위의 선다발의 해석적 절단으로서, 정확히 줄리어안 다양체와 짝수 특수 스핀 구조를 가진 곡선에서 0이 된다.
• 종수 g = 4일 때, K는 타우 함수의 헤시안으로 간소화되며, 이는 이전까지 알려진 유일한 모듈라 절단을 통한 줄리어안 다양체의 명시적 특징화를 재현한다.
• g = 4일 때, k(4) = A₄ det_{i,j∈I₄} θ_{ij}(e)는 M₄ 위의 λ₁³⁴의 해석적 절단으로서, 히페르엘리프틱 다양체에서 차수 8로, 짝수 스핀 다양체에서 차수 1로 0이 된다.
• 짝수 종수 g ≥ 4에 대해, 절단 k(g)는 점과 기저의 선택에 관계없이 불변이며, d_g = (12−g)N_{g−3} + (g−2)[6(g−3)(g−4)+1]인 λ₁^{d_g}의 Mg 위의 해석적 절단을 정의한다.
• 무드포르름은 절단 K를 통해 타우 함수의 형태로 명시적으로 표현되며, Mg 위의 시겔 메트릭이 베르그만 커널의 제곱에 대한 코다이라-스펜서 메트릭과 동치임을 보였다.
• 페이의 항등식과 행렬식 조합 기법을 사용하여, H⁰(KC)의 표준 기저와 무드포르름의 상수 κ[ω]를 타우 함수의 형태로 명시적으로 도출하였다.