[논문 리뷰] The double Gromov-Witten invariants of Hirzebruch surfaces are piecewise polynomial

Federico Ardila, Erwan Brugallé|arXiv (Cornell University)|2014. 12. 15.

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

한 줄 요약

이 논문은 히르체브루흐 표면에 대해 이중 Gromov-Witten 불변량을 도입하고, 곡선의 교차 프로파일을 나타내는 변수들에 대해 이들이 조각다항식 함수임을 증명한다. 바닥 다이어그램과 Ehrhart 이론을 활용하여, 각 다항식 조각의 차수는 $ n_2 + 3g + 2a - 2 $ 임을 규명하고, 이들이 짝수 또는 홀수임을 밝혀내며, 이는 이중 허리츠 수의 조각다항식성의 고차원 심플렉틱 및 대수기하학적 설정으로의 일반화이다.

ABSTRACT

We define the double Gromov-Witten invariants of Hirzebruch surfaces in analogy with double Hurwitz numbers, and we prove that they satisfy a piecewise polynomiality property analogous to their 1-dimensional counterpart. Furthermore we show that each polynomial piece is either even or odd, and we compute its degree. Our methods combine floor diagrams and Ehrhart theory.

연구 동기 및 목표

• 히르체브루흐 표면에 대해 이중 Gromov-Witten 불변량을 정의하여, 이중 허리츠 수의 고차원 해석으로서의 역할을 하도록 한다.
• 이러한 불변량에 대해 이중 허리츠 수와 유사한 조각다항식성 성질을 확립한다.
• 채널 분해에서 각 다항식 조각의 차수와 기함수 또는 홀함수 성질(짝수 또는 홀수)을 규명한다.
• 이 구조를 통해 2차원 일반화된 ELSV 공식의 가능성을 탐색한다.

제안 방법

• 불변량은 $ \Lambda \subset \mathbb{R}^{n_1} \times \mathbb{R}^{n_2} $ 에서 정의된 함수 $ F_{a,k,g}^{n_1,n_2}({\bf x},{\bf y}) $ 로 표현되며, 선형 제약 조건 $ \sum x_i + \sum y_j + ak = 0 $ 을 만족한다.
• 채널 구조는 초평면 배열로 정의되며, 부분집합 $ S \subseteq [n_1], T \subseteq [n_2], 0 \leq r \leq a $ 에 대해 $ \sum_{i \in S} x_i + \sum_{j \in T} y_j + k r = 0 $ 과 $ i < j $ 인 $ y_i = y_j $ 의 등식들로 구성된다.
• 홀로모르픽 곡선을 모델링하기 위해 바닥 다이어그램이 사용되며, 정점과 간선의 구성에 대한 가중합으로 다중도가 계산된다.
• Ehrhart 이론이 이 다이어그램과 관련된 다각형 내의 정수 점 수를 분석하는 데 적용되어 다항식 불변량과 연결된다.
• 각 다항식 조각의 차수는 다이어그램의 조합적 자료, 특히 회색 정점의 수와 간선 가중치에 의해 유도된다.
• 각 다항식 조각의 기함수 또는 홀함수 성질은 곡면의 종수 $ g $ 와 바닥 다이어그램의 가중치 분포의 구조에 의해 결정된다.

실험 결과

연구 질문

• RQ1 히르체브루흐 표면에서의 이중 Gromov-Witten 불변량은 교차 프로파일 변수에 대해 조각다항식인가?
• RQ2 이 불변량의 채널 분해에서 각 다항식 조각의 차수는 얼마인가?
• RQ3 각 다항식 조각은 짝수 또는 홀수이며, 그 기함수 또는 홀함수 성질은 종수와 구성에 따라 어떻게 달라지는가?
• RQ4 인접한 채널 간의 벽을 넘는 행동은 이중 허리츠 수의 경우와 유사하게 기술될 수 있는가?
• RQ5 이 논문에서 사용된 방법은 다른 토릭 표면이나 토르oidal Welschinger 불변량과 같은 보다 정교한 불변량으로 확장 가능한가?

주요 결과

• 이중 Gromov-Witten 불변량 $ F_{a,k,g}^{n_1,n_2}({\bf x},{\bf y}) $ 는 초평면 배열 $ \sum_{i \in S} x_i + \sum_{j \in T} y_j + k r = 0 $ 과 $ i < j $ 인 $ y_i = y_j $ 에 의해 정의된 채널 구조에 대해 조각다항식이다.
• 각 다항식 조각의 차수는 $ n_2 + 3g + 2a - 2 $ 이며, 이는 $ y $-변수의 수, 종수 $ g $, 이중도수 $ a $ 에 따라 달라진다.
• 각 다항식 조각은 짝수 또는 홀수이며, 그 기함수 또는 홀함수 성질은 종수 $ g $ 와 일치한다. 이는 가중치 분포 함수 $ \Gamma_g(w) $ 의 행동을 통해 입증된다.
• 종수 $ g = 0 $ 인 경우, 가중치 분포 함수는 $ \Gamma_0(w) = w^2 $ 이며, $ g = 1 $ 인 경우 $ \Gamma_1(w) = \frac{(w-1)w(w+1)(w^2+1)}{30} $ 이다. 이 둘 다 차수 $ 3g + 2 $ 를 가지며, 종수 $ g $ 와 같은 기함수 또는 홀함수 성질을 갖는다.
• 이 불변량은 각 그룹 내 변수 $ x_i $ 와 $ y_j $ 의 재라벨링에 대해 불변이며, 주어진 선형 제약 조건을 만족하는 래티스 $ \Lambda $ 에서 잘 정의된 함수이다.
• 이 구조는 2차원 ELSV 유사 공식의 존재 가능성을 시사하며, 특히 작은 경우의 명시적 표를 통해 매개변수 $ k $ 에 대해 다항식적으로 변화하는 것으로 나타난다.