Abstract:Göttsche-Nakajima-Yoshioka K-theoretic blowup equations characterize the Nekrasov partition function of five dimensional $\mathcal{N}=1$ supersymmetric gauge theories compactified on a circle, which via geometric engineering correspond to the refined topological string theory on $SU(N)$ geometries. In this paper, we study the K-theoretic blowup equations for general local Calabi-Yau threefolds. We find that both vanishing and unity blowup equations exist for the partition function of refined topological string, and the crucial ingredients are the $\bf r$ fields introduced in our previous paper. These blowup equations are in fact the functional equations for the partition function and each of them results in infinite identities among the refined free energies. Evidences show that they can be used to determine the full refined BPS invariants of local Calabi-Yau threefolds. This serves an independent and sometimes more powerful way to compute the partition function other than the refined topological vertex in the A-model and the refined holomorphic anomaly equations in the B-model. We study the modular properties of the blowup equations and provide a procedure to determine all the vanishing and unity $\bf r$ fields from the polynomial part of refined topological string at large radius point. We also find that certain form of blowup equations exist at generic loci of the moduli space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about how to determine the partition function of the refined topological string theory on any local Calabi - Yau three - fold by generalizing the blow - up equations in K - theory. Specifically, the paper explores two types of blow - up equations - the vanishing blow - up equation and the unified blow - up equation, and studies the applications of these equations on different Calabi - Yau manifolds and their effectiveness in determining the refined BPS invariants.
### Main problems of the paper
1. **Generalizing the blow - up equations in K - theory**:
- The main objective of the paper is to generalize the Göttsche - Nakajima - Yoshioka K - theory blow - up equations from specific geometric structures (such as SU(N) geometry) to any local Calabi - Yau three - fold.
- It is found that for the partition function of the refined topological string, there are two types of blow - up equations: the vanishing blow - up equation and the unified blow - up equation. These equations can be regarded as functional equations of the partition function, and each type of equation generates infinitely many identities between the refined free energies.
2. **Determining the refined BPS invariants**:
- Evidence shows that these blow - up equations can be used to determine the complete refined BPS invariants of local Calabi - Yau three - folds.
- This provides an independent and sometimes more powerful method to calculate the partition function, rather than just relying on the refined topological vertex in the A - model or the refined holomorphic anomaly equation in the B - model.
3. **Solving the modular properties and the r - field**:
- The modular properties of the blow - up equations are studied, and a procedure is provided to determine all the vanishing and unified r - fields from the polynomial part of the refined topological string at the large - radius point.
- It is found that certain forms of the blow - up equations also exist at the generic positions in the moduli space.
### Formula summary
- **Partition function of the refined topological string**:
\[
Z_{\text{inst}}^{\text{ref}}(\epsilon_1, \epsilon_2, t)=\prod_{j_L, j_R, d}\left(\prod_{m_L = -J_L}^{J_L}\prod_{m_R = -J_R}^{J_R}\prod_{m_1, m_2 = 1}^{\infty}\left(1 - q_L^{m_L}q_R^{m_R}q_1^{m_1-\frac{1}{2}}q_2^{m_2-\frac{1}{2}}e^{-d\cdot t}\right)^{(-1)^{2(j_L + j_R)}N_d^{j_L, j_R}}\right)
\]
where \(q_1, q_2 = e^{\epsilon_1, \epsilon_2}\), \(q_R/L = e^{\epsilon_R/L}\).
- **Blow - up equations**:
\[
\sum_{n\in\mathbb{Z}^g}(-1)^{|n|}\hat{Z}_{\text{ref}}(\epsilon_1, \epsilon_2-\epsilon_1; t+\epsilon_1R)\cdot\hat{Z}_{\text{ref}}(\epsilon_1-\epsilon_2, \epsilon_2; t+\epsilon_2R)=
\begin{cases}
0, & \text{for }r\in S_{\text{vanish}},\\
\Lambda(\epsilon_1, \epsilon_2; m, r)\hat{Z}_{\text{ref}}(\epsilon_1, \epsilon_2; t), & \text{for }r\in S_{\text{unity}}
\end{cases}
\]
where \(|n|=\sum_{i = 1}^g n_i\)