[논문 리뷰] Stable maps to rational curves and the relative Jacobian

Steffen Marcus, Jonathan Wise|arXiv (Cornell University)|2013. 10. 22.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 25

한 줄 요약

이 논문은 컴acts type 곡선의 모듈리 공간 위에서 두 기하학적 사이클 사이의 기본적인 등가성을 확립한다: 고무적인 유리 목표로 향하는 상대적 안정 맵의 허구적 기본 클래스의 후퇴와 상대 장비의 영 섹션과의 교차를 통해 얻어진 더블 램프 사이클 사이의 등가성이다. 주요 결과는 이러한 사이클이 전체 컴팩트 타입 국소에서 일치함을 확인하며, 이는 이전 연구가 유리 꼬리 곡선에 국한되어 있던 것을 초월하여 두 주요 접근 방식을 통합한다.

ABSTRACT

We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.

연구 동기 및 목표

• 컴팩트 타입 곡선의 모듈리 공간 위에서 두 자연스러운 사이클 클래스 사이의 기하학적 비교를 수립하기 위해.
• 기존에 알려진 더블 램프 사이클과 허구적 기본 클래스 후퇴 간의 일치 관계를 유리 꼬리 국소에서 전체 컴팩트 타입 국소로 확장하기 위해.
• 두 가지 서로 다른 더블 램프 사이클의 구성 방식을 통합하기 위해: 하나는 고무적 목표로 향하는 상대적 안정 맵을 통한 것이고, 다른 하나는 상대 장비 위의 교차 이론을 통한 것이다.
• 타우토로지컬 클래스와 더블 허리츠 수의 맥락에서 기초적인 비교를 제공하기 위해.

제안 방법

• 각 구성 요소에서 차수 0인 선다발을 사용하여 컴팩트 타입 곡선의 모듈리 공간 위에서 일반 상대 장비의 정규화된 섹션을 구성한다. 이는 경계 디바이더를 통해 조정된다.
• 고무적 목표 $\mathscr{P} = [\mathbb{P}^1 / \mathbf{G}_m]$의 모듈러적 해석을 이용하여, 지정된 분기 프로파일을 가진 상대적 안정 맵을 정의한다.
• Costello의 가상 후퇴 정리에 따라 상대적 안정 맵의 모듈리 공간의 허구적 기본 클래스와 교차 사이클을 연결한다.
• 상대 장비와 영 섹션 사이의 카르테시안 도형을 수립하여, 더블 램프 사이클이 피보트 곱임을 보여주며, 이는 사이클의 기하학적 대응을 확인한다.
• 경계 디바이더를 이용하여 컴팩트 타입 곡선의 각 구성 요소에서 차수 0인 선다발의 귀납적 구성 방법을 사용한다.
• 분할 $f^{-1}(\mathscr{D}_+^{\exp}) - f^{-1}(\mathscr{D}_-^{\exp})$에 대응하는 선다발은 정규화된 섹션과 경계 성분을 제외하고 동일하므로, 구성 전반에 걸쳐 일관성이 보장된다.

실험 결과

연구 질문

• RQ1 고무적 유리 곡선으로 향하는 상대적 안정 맵의 허구적 기본 클래스 후퇴와 더블 램프 사이클은 전체 컴팩트 타입 국소에서 일치하는가?
• RQ2 기존에 상대 장비를 통한 정의로 내려진 더블 램프 사이클은 기하학적으로 상대적 안정 맵의 모듈리 공간에서의 후퇴로 표현될 수 있는가?
• RQ3 이전에 유리 꼬리 국소에서만 알려진 두 사이클 구성 간의 일치 관계는 더 큰 컴팩트 타입 국소로 확장 가능한가?
• RQ4 경계 디바이더 조정을 통해 컴팩트 타입 곡선 위에서 상대 장비의 잘 정의된 섹션을 어떻게 확보할 수 있는가?

주요 결과

• 허구적 기본 클래스 후퇴 $\Pi_*[\overline{M}^{\rm ct}(\mathscr{P}/\mathcal{B}\mathbf{G}_m)]^{\rm vir}$ 는 컴팩트 타입 곡선의 모듈리 공간에서 더블 램프 사이클 $\mathbf{DR}$ 과 일치한다.
• 두 구성 간의 일치는 $\overline{M}^{\rm ct}$ 전역에서 일반적으로 성립하며, [CMW12]의 결과를 유리 꼬리 국소를 초월하여 확장한다.
• 경계 디바이더를 통해 $\mathcal{O}_C(\sum x_i p_i)$를 조정하여 구성된 상대 장비의 정규화된 섹션은 각 구성 요소에서 차수 0인 잘 정의되고 유일한 선다발을 제공한다.
• 섹션의 구성은 상대적 안정 맵의 구조와 호환되며, 경계 성분을 조정한 후 두 장비로의 사상이 일치함을 보장한다.
• 상대 장비, 영 섹션, 그리고 $\overline{M}^{\rm ct}(\mathscr{P}/\mathcal{B}\mathbf{G}_m)$를 포함하는 카르테시안 도형은 더블 램프 사이클이 피보트 곱임을 확인하여 기하학적 대응을 검증한다.
• 이 결과는 안정 맵의 모듈리와 장비 교차 이론을 모두 활용하여 더블 허리츠 수와 타우토로지컬 클래스를 연구하기 위한 통합된 프레임워크를 제공한다.