[논문 리뷰] Examples of vanishing Gromov--Witten--Welschinger invariants

Janós Kollár|arXiv (Cornell University)|2014. 01. 10.

Finite Group Theory Research참고 문헌 1인용 수 8

한 줄 요약

이 논문은 대수기하학에서 실수 해가 없는 실수 추측 문제의 명시적 예를 구성하며, Gromov–Witten–Welschinger 불변량이 0이 되는 경우를 중심으로 다룬다. ℙ³ 내의 차수 4 타원곡선 위에 놓인 점들의 구성에 대해 분석함으로써, 짝수 차수 d에 대해 2d개의 점이 실수 유리 곡선을 형성하지 못하는 경우를 보이며, 타원곡선의 토르션 점과 쌍곡면 기하학을 이용해 부호가 붙은 불변량과 분해 기법을 통해 존재하지 않음을 증명한다.

ABSTRACT

We give examples of real enumerative problems without real solutions. Most of the examples concern rational curves in ${\mathbb C}{\mathbb P}^3$ passing through a real set of points and lines.

연구 동기 및 목표

• 일부 ℙ³ 내 실수 추측 문제에서 예측된 불변량이 0이 아니지만 실수 해가 존재하지 않는다는 것을 보여주기 위해.
• 퇴화된 구성으로 알려진 Gromov–Witten–Welschinger 불변량의 0이 되는 예를 고차수의 짝수 차수로 확장하기 위해.
• 모든 점들이 차수 4 타원곡선 위에 놓여 있을 때, ℙ³ 내 2d개의 점을 통과하는 유리 곡선의 기하학을 분석하기 위해.
• 짝수 d에 대해 일반 위치에 있는 2d개의 점들에 대해 실수 유리 곡선이 존재하지 않는 구성이 존재함을 보여주기 위해.
• 쌍곡면과 원추 곡선 제약 조건을 사용해 다른 공간, 특히 ℙ^{4n−1}과 ℙ³ 내의 홀수 차수 곡선으로 이 방법을 일반화하기 위해.

제안 방법

• ℙ³ 내 8개의 일반 점들을 통과하는 쌍곡면의 붕괴를 이용해, 이들이 유일한 차수 4 타원곡선 E₄ 위에 놓여 있음을 보여준다.
• 2d개의 점을 통과하는 차수 d 곡선을 분석하기 위해, E₄를 포함하는 쌍곡면 표면으로 제한함으로써 문제를 E₄ 위의 선다발로 환원한다.
• Pic(E₄) 내에서 방정식 2L₂ ∼ P₂d − H₄를 적용해 가능한 곡선을 분류하며, 해는 2차 토르션 점에 대응한다.
• E₄ 위의 일부 선다발 L₂만이 실수 곡선을 유도할 수 있으며, 이는 쌍곡면 위의 실수 및 켤레 점 쌍의 기하학적 성질을 활용한다.
• 퇴화 기법을 적용: 특이 쌍곡면 위의 곡선을 변형하여 실수 종수 0 곡선의 극한이 모든 제약 조건을 만족할 수 없음을 보인다.
• 쌍곡면 위의 실수 및 복소 곡선의 구조(예: 분리된 직선 또는 원추 곡선)를 이용해 기하학적으로 연결된 실수 곡선의 존재를 배제한다.

실험 결과

연구 질문

• RQ1 ℙ³ 내 2d개의 실수 또는 복소 켤레 점들에 대해, 그들을 통과하는 실수 유리 곡선이 존재하지 않는 구성은 언제 존재하는가?
• RQ2 Gromov–Witten–Welschinger 불변량의 0이 되는 것이 고차수의 경우에 실제로 실수 해가 존재하지 않는 것으로 나타날 수 있는가?
• RQ3 타원곡선 위의 토르션 점은 쌍곡면 위의 실수 유리 곡선을 분류하는 데 어떤 역할을 하는가?
• RQ4 특이 쌍곡면 위의 곡선의 퇴화가 실수 유리 곡선의 극한 존재성에 어떻게 영향을 주는가?
• RQ5 이 방법은 ℙ^{4n−1}이나 ℙ³ 내 홀수 차수 곡선으로 일반화될 수 있는가?

주요 결과

• 모든 짝수 d에 대해, ℙ³ 내 일반 위치에 있는 2d개의 점들에 대해 실수 유리 곡선이 존재하지 않는 구성이 존재한다.
• 모든 2d개의 점들이 ℙ³ 내 차수 4 타원곡선 E₄ 위에 있을 경우, Pic(E₄) 내 해당 선다발 L₂가 실수가 아닐 경우, 차수 d의 실수 유리 곡선 수는 0이 된다.
• d=4일 때, 8개의 실수 점을 가진 4가지의 위상적으로 다른 구성과 4개의 켤레 점 쌍을 가진 11가지 구성이 존재하며, 모두 실수 유리 곡선을 유도하지 못한다.
• 이 방법은 두 개의 무한한 가족을 구성한다: 차수 4n−1의 ℙ^{4n−1} 내에서 4개의 2n−1 차원 선형 부분공간과 만나는 직선들, 그리고 ℙ³ 내에서 4d개의 점과 4개의 직선을 만족하는 홀수 차수 유리 곡선들.
• ℙ² 내 차수 3과 4 곡선의 경우, x²+y²+z²=0 인 빈 원추 위에 놓인 구성은 실수 유리 곡선을 유도하지 못한다. 이는 그러한 곡선이 비실수 성분을 가져야 하기 때문이다.
• ℙ² 내 곡선 Q¹_E + Q′ (Q¹_E 가 빈 경우, Q′ 가 원추)는 Q′ 가 켤레 직선 쌍이어야만 실수 종수 0 곡선의 극한이 될 수 있으며, 일반적인 선택에서는 이 조건이 성립하지 않는다.