[논문 리뷰] Enumeration of plane unicuspidal curves of any genus via tropical geometry

Yaniv Ganor, Eugeniĭ Shustin|arXiv (Cornell University)|2018. 07. 30.

Polynomial and algebraic computation참고 문헌 29인용 수 4

한 줄 요약

이 논문은 단일 쿠스피와 노드를 가진 복소대수곡선과 그 토로이드 표면 위의 토로이드적 대응체 사이의 대응관계를 설정한다. 이는 수정된 격자 경로 알고리즘을 통해 토로이드 계수 기하학을 이용하여 이러한 곡선을 세는 데 사용된다. 주요 결과는 h-직교 다각형에 대해 유효한, 종수 g, 차수 Δ인 단일 쿠스피와 노드를 가진 곡선의 수를 담은 폐쇄형 조합 수식을 제공하는 것이다.

ABSTRACT

We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family, as $d o\infty$.

연구 동기 및 목표

• 토로이드 표면 위의 단일 쿠스피와 노드를 가진 복소대수곡선을 계수하기 위한 토로이드적 접근법을 개발한다.
• 미하루킨의 격자 경로 알고리즘을 수정하여 쿠스피 토로이드 곡선을 포함하도록 확장함으로써 효과적인 계수를 가능하게 한다.
• 지정된 특이점과 점 조건을 가진 대수곡선과 토로이드 곡선 사이의 대응관계를 수립한다.
• 토로이드 곡선 내 쿠스피 조각의 중복도에 대한 명시적 공식을 제공한다.
• 결과를 실수 계수 기하학으로 확장하여, 일반적인 가중치 가중족 내에서 실수 r-쿠스피 곡선의 점 渐近 등분포를 보여준다.

제안 방법

• 토로이드 기하학을 사용하여 토로이드 표면 위의 대수곡선을 마크된 점을 가진 거리 그래프(토로이드 곡선)로 모델링한다.
• 단일 쿠스피와 노드를 가진 대수곡선과 쿠스피 조각과 삼중 정점이 있는 토로이드 곡선 사이의 대응관계를 정의한다.
• 종수 g와 차수 Δ인 토로이드 곡선을 계수하기 위해 λ-단조 순서를 사용한 수정된 격자 경로 알고리즘을 도입한다.
• 각 토로이드 곡선의 중복도를 쿠스피 조각의 가중치와 미하루킨의 정점 가중치의 곱으로 계산한다.
• h-직교 다각형에 대해, 세 가지 유형의 쿠스피 조각(유리적 사각정점, 평탄한 삼중정점, 타원형 변)에 대해 명시적 폐쇄형 공식을 유도한다.
• 패치워킹 기법과 변형 이론을 적용하여 대수적 설정에서의 직교성과 중복도 계수를 검증한다.

실험 결과

연구 질문

• RQ1 토로이드 기하학은 어떻게 토로이드 표면 위의 단일 쿠스피와 노드를 가진 대수곡선을 계수하는 데 사용될 수 있는가?
• RQ2 단일 쿠스피 대수곡선에 대응하는 토로이드 곡선의 조합적 구조는 무엇인가?
• RQ3 쿠스피 토로이드 곡선을 세는 데 사용할 수 있는, 미하루킨의 격자 경로 알고리즘의 수정된 버전을 구성할 수 있는가?
• RQ4 토로이드 곡선 내 쿠스피 조각의 명시적 중복도 공식은 무엇인가?
• RQ5 일반적인 가중족 내에서 실수 계수 기하학적 계수의 r-쿠스피 곡선 수는 복소수 대응체와 점 渐近적으로 어떻게 비교되는가?

주요 결과

• 차수 Δ인 토로이드 표면 위의 복소종수 g 곡선 중 단일 쿠스피와 노드를 가진 곡선의 수는, N개의 일반적인 점을 통과하는 종수 g와 차수 Δ인 모든 토로이드 곡선에 대해 쿠스피 중복도의 합과 같다.
• h-직교 다각형에 대해, 쿠스피 조각 유형은 세 가지로 분류된다: 유리적 사각정점, 유리적 평탄한 삼중정점, 타원형 변으로, 각각 명시적 중복도 공식이 존재한다.
• 수정된 격자 경로 알고리즘은 길이 N인 Δ 내의 λ-단조 격자 경로의 합으로 총 계수를 계산하며, 각 경로는 계산 가능한 중복도를 기여한다.
• 쿠스피 조각의 중복도는 쿠스피에서의 국소 등등급 변형 중복도의 합으로 결정되며, 이는 mult(ℬ₂ₖ^{ec}) = k 로 주어진다.
• 실수 곡선의 경우, 임의의 2r차원 일반 가중족 내에서 차수 d ≥ 2r+3인 곡선에서 실수 r-쿠스피 곡선의 수는 d → ∞ 일 때 총 복소수 r-쿠스피 곡선 수와 점 渐近적으로 유사하다.
• 대수곡선과 토로이드 곡선 사이의 대응관계는 변형 공간의 직교성과 열거된 토로이드 극한을 이용한 열거의 기반에서 설정된다.