[논문 리뷰] On the enumeration of rational plane curves with tangency conditions

Charles Cadman|ArXiv.org|2005. 09. 28.

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

한 줄 요약

이 논문은 매끄러운 케이브릭 곡선 $E \subset \mathbb{P}^2$ 위의 지정된 점들을 통과하고, 지정된 점들과 미지의 점들에서 주어진 접촉 조건(1차 및 2차)을 만족하며, $\mathbb{P}^2$ 안의 추가적인 일반 점들을 통과하는 차수 $d$의 유리 평면 곡선을 세는 재귀 공식을 개발한다. $E$를 따라 제곱근 구성법을 적용하여 얻어진 스택 $\mathbb{P}^2_{E,2}$로 향하는 낙관적 안정 사상들을 사용하여, 저자는 콘체비치의 재귀 공식을 일반화하고 케이프라소-헤르스 타입의 공식을 케이브릭 곡선으로 확장하며, 이 설정에서 그로모프-위튼 불변량이 계산 가능하다는 것을 증명한다.

ABSTRACT

We use twisted stable maps to answer the following question. Let E\subset P^2 be a smooth cubic. How many rational degree d curves pass through a general points of E, have b specified tangencies with E and c unspecified tangencies, and pass through 3d-1-a-2b-c general points of P^2? The answer is given as a generalization of Kontsevich's recursion. We also investigate more general enumerative problems of this sort, and prove an analogue of a formula of Caporaso and Harris.

연구 동기 및 목표

• 매끄러운 케이브릭 곡선 $E$에 대해 지정된 점들과 미지의 점들에서 주어진 접촉 조건(1차 및 2차)을 만족하고, $\mathbb{P}^2$ 안의 일반 점들을 통과하는 유리 차수 $d$ 곡선을 세는 계산 문제를 해결하는 것.
• 일반 점들을 통과하는 유리 곡선에 대한 콘체비치의 재귀 공식을 $E$와의 접촉 조건을 포함하도록 일반화하는 것.
• 스택 $\mathbb{P}^2_{E,2}$ 상의 그로모프-위튼 불변량이 계산 가능하다는 것을 확립하여, 주어진 접촉 차수를 가진 곡선을 실제로 세는 데 기여하는지 확인하는 것.
• 직선이나 이차 곡선이 아닌 매끄러운 평면 케이브릭 곡선과의 접촉을 고려한 케이프라소-헤르스 공식을 일반화하는 것.
• 이러한 곡선의 수를 계산할 수 있는 재귀 알고리즘을 제공하고, 이를 매플러 프로그램으로 구현 가능하게 하는 것.

제안 방법

• 논문은 매끄러운 케이브릭 곡선 $E \subset \mathbb{P}^2$를 따라 제곱근 구성법을 적용하여 얻어진 델리네-멈포르 스택 $\mathbb{P}^2_{E,2}$로 향하는 낙관적 안정 사상을 사용한다.
• 스택 상에서 $\mu_2$-작용을 통해 접촉 유형을 정의하며, 이는 표시된 점들에서 곡선이 $E$와 접촉하는 차수를 코딩한다.
• 세기 문제의 해는 $\mathbb{P}^2_{E,2}$로 향하는 낙관적 안정 사상의 모듈리 공간에서의 교차 수 계산으로 귀결되며, 짝수 차수의 접촉을 가진 사상은 스택으로 올라가는 것을 이용한다.
• 변형 이론적 접근을 통해, 그로모프-위튼 불변량에 기여하는 것은 오직 기대 차원을 가진 성분들 뿐임을 보이며, 이는 계산 가능성의 보장을 한다.
• 노드 분리의 행동을 분석하고 도메인 곡선의 노드 수에 대한 귀납법을 사용하여 재귀식을 유도한다.
• 핵심 기술적 도구는 모듈리 스택 상의 평가 사상이 일반적으로 전성임을 보이고, 기대 차원을 초과하는 성분들은 불변량에 영향을 주지 않는다는 증명이다.

실험 결과

연구 질문

• RQ1 매끄러운 케이브릭 곡선 $E$ 위의 일반 점 $a$개, $E$와의 지정된 2차 접촉 조건 $b$개, $E$와의 미지의 2차 접촉 조건 $c$개, 그리고 $\mathbb{P}^2$ 안의 일반 점 $3d-1-a-2b-c$개를 통과하는 유리 차수 $d$ 곡선은 총 몇 개인가?
• RQ2 일반 점들을 통과하는 유리 곡선에 대한 콘체비치의 재귀 공식은 매끄러운 평면 케이브릭 곡선과의 접촉 조건을 포함하도록 일반화될 수 있는가?
• RQ3 주어진 접촉 차수를 가진 곡선을 세는 그로모프-위튼 불변량은 계산 가능한가? 즉, 실제로 그러한 곡선의 수와 일치하는가?
• RQ4 낙관적 안정 사상의 모듈리 공간 $\mathbb{P}^2_{E,2}$의 구조는 무엇이며, 고전적 계산 기하학과 어떻게 관련되어 있는가?
• RQ5 직선이나 이차 곡선의 경우와 유사하게, 매끄러운 평면 케이브릭 곡선과의 접촉을 고려한 케이프라소-헤르스 타입의 재귀식을 수립할 수 있는가?

주요 결과

• 지정된 접촉 조건과 점 조건을 만족하는 유리 차수 $d$ 곡선의 수 $N_d(a,b,c)$는 콘체비치 공식을 일반화한 재귀식으로 주어진다.
• $\mathbb{P}^2_{E,2}$ 스택의 그로모프-위튼 불변량은 계산 가능하다. 즉, 기하학적 제약 조건을 만족하는 실제 곡선의 수를 세는 데 기여한다.
• 재귀식은 낙관적 안정 사상의 변형 이론을 분석하고 도메인 곡선의 노드 수에 대한 귀납법을 사용하여 도출된다.
• 낙관적 안정 사상의 모듈리 스택 상의 평가 사상은 일반적으로 전성이며, 이는 기대 차원 조건이 계산 가능성에 충분함을 보장한다.
• 지정된 접촉점은 $E$ 위의 고정된 점을 요구하고, 미지의 접촉점은 변할 수 있도록 허용함으로써, 지정된 점과 미지의 점 모두를 고려한 공식이 구성된다.
• 저자의 웹사이트에서 재귀식을 구현한 매플러 프로그램을 이용할 수 있어, 작은 $d$에 대해 $N_d(a,b,c)$의 수치 계산이 가능하다.