[논문 리뷰] Descendents on local curves: Stationary theory

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|2011. 09. 06.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 6

한 줄 요약

이 논문은 토르스 등변 삽입을 가진 국소 곡선의 안정 쌍 이론에서 정적 후손에 대한 감소 규칙을 수립하며, 인수분해와 국소화를 통해 유리성과 함수방정식을 증명한다. 안정 쌍 정점과 양자 미분방정식의 해를 사용하여 열린 형태의 표현식을 포함하는 매크로닉 함수와 $q$에 대한 유리 생성함수를 포함하는 키 시리즈 $\mathsf{Z}^\mathsf{cap}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$의 정확한 계산을 제공한다. 이 방법은 등변 3차원 기하학에서 정적 후손 불변량의 효과적인 계산을 가능하게 한다.

ABSTRACT

The stable pairs theory of local curves in 3-folds (equivariant with respect to the scaling 2-torus) is studied with stationary descendent insertions. Reduction rules are found to lower descendents when higher than the degree. Factorization then yields a simple proof of rationality in the stationary case and a proof of the functional equation related to inverting q. The method yields an effective determination of stationary descendent integrals. Particular descendent series in the cap geometry play a special role and are calculated exactly using the stable pairs vertex and an analysis of the solution of the quantum differential equation for the Hilbert scheme of points of the plane.

연구 동기 및 목표

• 국소 곡선의 안정 쌍 이론에서 $T$-등변 삽입을 가진 정적 후손 $\tau_k(\mathsf{p})$에 대한 감소 규칙을 개발한다.
• 인수분해와 국소화를 사용하여 정적 후손 불변량의 생성함수의 유리성을 증명한다.
• 안정 쌍 정점과 점의 Hilbert 스킴에 대한 양자 미분방정식의 해를 사용하여 키 시리즈 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$를 정확히 계산한다.
• 유도된 유리 구조를 통해 $q \to -q$ 역전에 대한 함수방정식을 수립한다.
• 다중 삽입 $\tau_{m_i}([0])$를 가진 더 넓은 불변량의 계산에 이 방법을 확장하고 조합 계수를 포함한 닫힌 형태의 공식을 유도한다.

제안 방법

• 감소 규칙은 $k > d$인 $\tau_k(\mathsf{p})$에 대해 유니버설 다항식으로 표현되며, $\mathbb{Q}(s_1,s_2)$ 계수를 가진 $\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$의 다항식으로 표현되며, 높은 차수의 후손을 감소시키는 데 유용하다.
• 상대 조건의 인수분해와 삽입이 없는 이론의 알려진 유리성을 활용하여 전체 생성함수의 유리성을 증명한다.
• 등변 잔여물과 안정 쌍 정점을 사용하여 국소화 기법을 적용하여 키 불변량 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$를 계산한다.
• 점의 Hilbert 스킴 $\mathrm{Hilb}^d(\mathbb{C}^2)$에 대한 양자 미분방정식의 해를 분석하여 생성함수의 구조를 규명한다.
• 조합 항등식을 사용하여 $A_r + B_r$의 기여도 합을 단순화하여 모든 $1 \leq r \leq d$에 대해 $A_r + B_r = \frac{1}{d!}$임을 증명하고, 닫힌 형태의 표현식을 도출한다.
• 다중 삽입 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$로의 방법을 확장하여, 부분집합 합과 주기 궤도 수를 통해 정의된 계수 $C_r(m_1,\dots,m_k)$를 포함한 공식을 도출한다.

실험 결과

연구 질문

• RQ1 국소 곡선의 안정 쌍 이론에서 $k > d$인 높은 차수의 후손 $\tau_k(\mathsf{p})$는 $\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$의 조합으로 감소시킬 수 있는가?
• RQ2 국소 곡선의 정적 이론은 $q \to -q$ 역전에 대해 유리성과 함수방정식을 보이며, 만약 그렇다면 그 이유는 무엇인가?
• RQ3 생성함수 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$의 정확한 값은 알려진 특수함수로 어떻게 표현되는가?
• RQ4 이 방법은 다중 정적 삽입 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$를 가진 불변량을 계산하는 데 일반화될 수 있는가?
• RQ5 도널드슨-타우버그 및 안정 쌍 파artition 함수는 $d > 1$일 때 같으며, $d=1$일 때는 어떻게 다를까?

주요 결과

• 감소 규칙 $\tau_k(\mathsf{p}) \mapsto f_{k,d}(\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p}))$는 $k > d$일 때 성립하며, $f_{k,d}$는 $\mathbb{Q}(s_1,s_2)[x_1,\dots,x_d]$에 속하는 유니버설 다항식이므로 고차 후손의 효과적인 계산이 가능하다.
• 생성함수 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$는 $\frac{1}{2 \cdot d!} \sum_{r=1}^d \frac{1 + (-q)^r}{1 - (-q)^r}$로 정확히 계산되며, 이는 $q \to -q$에 대한 유리성과 함수방정식을 증명한다.
• 시리즈 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$는 $\mathbb{Q}(s_1,s_2)$ 계수를 가진 $q$에 대한 유리함수이며, 항등식 $A_r + B_r = \frac{1}{d!}$를 통해 함수방정식이 확인된다.
• 다중 삽입 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$의 경우, 생성함수는 $\frac{q^d}{m_1!\cdots m_k!} \left(\frac{s_1+s_2}{s_1 s_2}\right) \frac{1}{2} \sum_{r=1}^d C_r(m_1,\dots,m_k) \frac{1 + (-q)^r}{1 - (-q)^r}$로 주어지며, $C_r$은 조합적 부분집합 합으로 정의된다.
• 정규화된 도널드슨-타우버그 파artition 함수 $\mathsf{Z}^{\mathsf{DT,cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$는 $d > 1$일 때 안정 쌍의 경우와 같지만, $d = 1$일 때는 $q \frac{d}{dq} \log M(-q)$를 포함하는 덧셈 항으로 다릅니다. 여기서 $M(q)$는 매크로닉 함수입니다.
• 항등식 $\sum_{r=1}^d C_r(m_1,\dots,m_k) = \sum_{f \text{ with one periodic orbit}} \prod_{i=1}^k m_{f(i)}$는 재귀를 통해 증명되어 계수의 조합적 구조가 확인된다.