Abstract:We investigate vortex partition functions defined from integrals over the handsaw quiver varieties of type $A_{1}$ via wall-crossing phenomena. We consider vortex partition functions defined by two types of cohomology classes, and get functional equations for each of them. We also give explicit formula for these partition functions. This gives proofs to formula suggested by physicsts. In particular, we obtain geometric interpretation of formulas for multiple hypergeometric functions including rational limit of the Kajihara transformation formula.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper mainly studies vortex partition functions defined on type \(A_1\) handsaw quiver variety through the wall - crossing phenomenon. Specifically, it explores the following aspects:
1. **Definition and Functional Equations**:
- It studies two types of vortex partition functions defined by different cohomology classes and derives their respective functional equations.
- It gives the specific formulas of these partition functions.
2. **Proof of Physical Formulas**:
- It provides strict mathematical proofs for some formulas proposed by physicists. For example, the formulas proposed by Gomis - Floch [4] and Honda - Okuda [9] are verified in this paper.
3. **Geometric Interpretation**:
- It obtains the geometric interpretation of multiple hypergeometric function formulas, including the rational limit of Kajihara transformation formula.
4. **Wall - crossing Formula**:
- It derives the wall - crossing formula of vortex partition functions in two - dimensional \(N=(2,2)\) supersymmetric gauge theory and establishes the exact relationship between the wall - crossing phenomenon and the formulas in previous physical literature.
5. **Connection with Other Results**:
- It compares the obtained results with the wall - crossing formula in three - dimensional \(N = 2\) gauge theory and shows the corresponding relationship under specific parameters.
6. **Methods and Techniques**:
- It uses Mochizuki's method to prove key theorems, especially the results about the wall - crossing formula.
- It applies combinatorial descriptions and algebraic geometry tools, such as flag bundle and tautological bundles, etc.
### Formula Representation
To ensure the accuracy and readability of formulas, the following are some key formulas involved in the paper:
#### Specific Expression of Partition Function
For a positive integer \(r>0\), consider the partition \(J=(J_0,J_1)\) of \([r]\), where \(r_0 = |J_0|\) and \(r_1=|J_1|\). The specific form of the partition function is as follows:
\[
Z_J^{\pm\text{fund}}(\varepsilon, a, m, p)=\sum_{k\in\mathbb{Z}_{J_i}^{\geq0}}p^{|k|}\prod_{\beta\in J_i}(-1)^{r|k|}\prod_{f = 1}^r\left(\frac{a_\beta + m_f}{\varepsilon}-k_\beta\right)^{k_\beta}\prod_{\alpha\in J_i}\left(\frac{a_\alpha - a_\beta}{\varepsilon}-k_\beta\right)^{k_\alpha}\prod_{\alpha\in J_0}\left(\frac{a_\alpha - a_\beta}{\varepsilon}-k_\beta\right)^{k_\beta}
\]
#### Wall - crossing Formula
The wall - crossing formula is:
\[
Z_J^{+ \text{fund}}(\varepsilon, a, m, p)=(1+(-1)^{r_1}p)^{-A + r_0}Z_J^{- \text{fund}}(\varepsilon, a, m, p)
\]
where \(A=\sum_{\alpha = 1}^r\frac{a_\alpha}{\varepsilon}+\frac{m_\alpha}{\vare