[논문 리뷰] Higher genus curves on toric varieties

Mihai Halic|ArXiv.org|2001. 01. 11.

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

한 줄 요약

이 논문은 매끄럽고 컴act한, 고정된 종수 g를 가진 곡선에서 매끄럽고 사영인 토릭 다양체로의 사상의 공간의 컴팩티피케이션 위에서 교차수를 계산하기 위한 조합론적 방법을 개발한다. 사상의 차수는 충분히 크다고 가정한다. 등변 cohomology와 곡선의 Picard 토르스 위의 localization을 사용하여 특정 교차곱의 명시적 공식을 유도하고, 토릭 다양체의 팬을 정의하는 원시적 집합 기반의 퇀장 결과를 확립한다.

ABSTRACT

Given a smooth and projective curve C and a smooth and projective toric variety X, we first describe a compactification of the space of morphisms from C to X representing a fixed homology class, and after we study the intersection theory on this variety.

연구 동기 및 목표

• 고정된 매끄럽고 사영인 종수 g 곡선에서 매끄럽고 사영인 토릭 다양체로의 사상이 차수가 충분히 클 경우, 그 사상 공간을 기술한다.
• 이 사상 공간의 매끄럽고 사영인 컴팩티피케이션 V를 구성하며, 이는 Kontsevich-Manin 안정 사상 공간의 기약 성분과 비라션스럽게 관련된다.
• 등변 cohomology와 localization 기법을 사용하여 이 컴팩티피케이션 위에서의 교차수를 계산한다.
• 특정 교차곱에 대한 명시적 공식을 도출하고, 토릭 다양체의 팬의 조합론적 성질에 기반한 퇴적 조건을 설정한다.

제안 방법

• 토릭 다양체의 팬 구조를 사용하여 C^r 위에 T-작용을 정의하고, X를 Ω/T의 몫으로 표현하며, Z_X = C^r ∕ Ω의 codimension은 ≥2이다.
• 다중차수 d인 사상 Mor_d(C,X)의 컴팩티피케이션 V를 구성한다. d가 크면 V는 매끄럽고 기대되는 차원을 가진다.
• 곡선 C의 Picard 토르스 위에 등변 localization을 적용하여, V 위의 적분을 Picard 다양체의 곱에서 고정점 위의 적분으로 감소시킨다.
• 팬의 구조를 사용하여 θ-클래스와 컴팩티피케이션 위의 선다발 Λ_ρ를 정의하고, 알려진 프로젝티브 다발 결과를 사용하여 (q_x)_*(∏Λ_ρ^{k_ρ})의 푸시포워드를 계산한다.
• 정리 4.5의 localization 공식을 적용하여, V 위의 적분을 고정점 x ∈ X^S 위의 합으로 표현하며, 각 x에 대한 기여는 ρ가 σ_n(x)에 속하는지 여부에 따라 달라진다.
• 지수 m_ρ에 조건을 도입하여, r ∈ σ_n(x)인 항들이 퇴적되도록 하여 변수를 0으로 설정함으로써 단순화하고, 이를 통해 명시적 공식(정리 4.7)을 도출한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영인 토릭 다양체로의 사상이 충분히 큰 차수를 가지며, 사상 공간이 매끄럽고 기대되는 차원을 가질 경우, 종수 g 곡선에서의 사상 공간 위에서 교차수를 어떻게 계산할 수 있는가?
• RQ2 이러한 사상 공간의 컴팩티피케이션의 구조는 어떠한가? 그리고 Kontsevich-Manin 안정 사상 컴팩티피케이션과의 관계는 무엇인가?
• RQ3 등변 localization을 사용하여 이 컴팩티피케이션 공간 위에서 특정 교차곱에 대한 명시적 공식을 유도할 수 있는가?
• RQ4 팬의 조합론적 조건이 Λ_ρ 클래스의 다항식 적분이 퇴적되는가에 따라 어떻게 결정되는가?
• RQ5 Picard 다양체의 θ-클래스와 팬의 조합론이 함께 작용하여 교차수를 어떻게 결정하는가?

주요 결과

• 충분히 큰 차수일 경우, 사상 공간 Mor_d(C,X)는 매끄럽고 기대되는 차원을 가지며, 잘 정의된 컴팩티피케이션 V를 허용한다.
• 지수 {ρ} 중에서 m_ρ ≥ N_ρ + g 를 만족하는 것이 팬의 원시적 집합이면, ∫_V Λ_1^{m_1}⋯Λ_r^{m_r} 는 퇴적된다.
• m_ρ = d_ρ + 1 + a_ρ (ρ=1,…,r−1) 이고 m_r = d_r − ng − (l + a_r − 1) 이며 d_r 가 충분히 크면, 적분은 r ∉ σ_n(x) 인 고정점 x ∈ X^S 위의 합으로 단순화되며, 기여는 (q_x)_*에 의해 Λ_ρ^{m_ρ} 곱과 θ_ρ^b / b! 를 포함하는 수정 항들로 주어진다.
• 정리 4.7의 공식은 고정점 x 중 r ∉ σ_n(x) 인 것들 위의 합으로 q_*Λ^{m_ρ} 를 표현하며, 알려진 차수 공식을 가진 프로젝티브 다발 위의 푸시포워드를 포함한다.
• 정리 4.8의 퇴적 결과는, J ⊂ Σ(1) 이 원시적 집합이고 모든 ρ ∈ J 에 대해 m_ρ ≥ N_ρ + g 이면, 적분이 퇴적됨을 보여주며, 이는 J ⊂ σ_n(x) 인 고정점 x 가 존재하지 않기 때문이다.
• V 위의 전체 적분 문제는 팬의 조합론적 자료와 Picard 다양체의 θ-클래스에 의해 환원되며, 이는 교차수가 오직 토릭 다양체의 조합론적 성질과 곡선의 모듈라이에 의존한다는 것을 보여준다.