---
title: Vertex Functions in Enumerative Geometry
url: https://www.emergentmind.com/topics/vertex-functions
type: topic
---

# Vertex Functions in Enumerative Geometry

Vertex functions are generating series attached to geometric, algebraic, or statistical data, but in contemporary enumerative geometry the term most often denotes the \(K\)-theoretic analog of an \(I\)-function, defined by counting equivariant quasimaps from \(\mathbb P^1\) to a holomorphic symplectic variety. For finite type \(A\) bow varieties, they are formal series in Kähler variables whose coefficients lie in localized equivariant \(K\)-theory, and they are controlled by explicit localization formulas, \(q\)-difference equations, and 3d mirror symmetry. In that setting, vertex functions furnish a bridge among quasimap enumerative geometry, Macdonald theory, elliptic stable envelopes, and the Higgs/Coulomb branch duality of 3d \(N=4\) gauge theories [2507.13219].

## 1. Geometric definition and parameter space

A finite type \(A\) bow variety \(X\) is a smooth holomorphic symplectic variety constructed from a brane diagram \(D\) consisting of NS5 and D5 branes arranged along a line, separated by D3 segments. It carries an action of a torus
\[
T=A\times \mathbb C^\times_\hbar,
\]
with \(A\) generated by the \(GL(1)\) factors for each D5 brane and \(\mathbb C^\times_\hbar\) scaling the symplectic form with weight \(\hbar\). Vertex functions are \(K\)-theoretic analogs of \(I\)-functions, defined by counting equivariant quasimaps from \(\mathbb P^1\) to \(X\). They depend on Kähler or Novikov variables \(Q=(Q_1,\dots,Q_{m-1})\), equivariant or flavor parameters \(a_i\), the symplectic weight \(\hbar\), and the parameter \(q\) coming from the maximal torus \(\mathbb C^\times_q\subset \mathrm{Aut}(\mathbb P^1)\) acting on the domain. The Kähler variables can be written as \(Q_i=z_i/z_{i+1}\), where \(z=(z_1,\dots,z_m)\) are coordinates on the Kähler torus \(Z=(\mathbb C^\times)^m\) [2507.13219].

Bow varieties \(X(D)\) are realized as GIT quotients \(M \mathbin{/\!/}^{\chi} G\) from suitable linear data associated to the brane diagram, with stability conditions denoted \((S1)\)–\((S2)\). For separated or co-separated diagrams, \(X\) admits a polarization \(\alpha\in K_T(X)\) such that
\[
TX=\alpha+\hbar\,\alpha^\vee.
\]
The dual variety \(X^!\) is obtained from the diagram \(D^!\) by swapping NS5 and D5 branes, and the fixed points of \(X\) and \(X^!\) are in bijection. Important examples arise from cotangent bundles of flag varieties: when all D5 branes have weight \(1\), \(X\) is isomorphic to \(T^*\mathrm{Fl}\), and when all NS5 branes also have weight \(1\), \(X\simeq T^*\mathrm{Fl}_n\) [2507.13219].

## 2. Quasimaps, virtual structure, and localization

Let \(X=M\mathbin{/\!/}^{\chi}G\) be a bow variety. The relevant moduli stack is the stack of quasimaps
\[
QM(X)=QM(\mathbb P^1\to M/G)
\]
with finite base points, together with the open substack \(QM_{\mathrm{ns}\,p}(X)\) of quasimaps nonsingular at a fixed point \(p\in (\mathbb P^1)^{\mathbb C^\times_q}\). The perfect obstruction theory produces a virtual structure sheaf, and after choosing a polarization one defines the symmetrized virtual structure sheaf \(\widehat{\mathcal O}_{\mathrm{vir}}^d\). The vertex function is then
\[
V^X(Q):=\sum_d \operatorname{ev}_{p,*}\!\bigl(\widehat{\mathcal O}_{\mathrm{vir}}^d\bigr)\,Q^d
\in K_{T\times \mathbb C^\times_q}(X)_{\mathrm{loc}}[[Q_1,\dots,Q_{m-1}]].
\]
Restriction to a fixed point \(f\in X^A\) gives
\[
V^X_f(Q)\in \mathbb Q(a_1,\dots,a_n,\hbar,q)[[Q_1,\dots,Q_{m-1}]].
\]
Because \(\operatorname{ev}_p\) is proper in localized \(K\)-theory, the pushforward is well defined [2507.13219].

The fixed-quasimap combinatorics is explicit. Fixed quasimaps are classified as stable reverse plane partitions of the butterfly diagram attached to the fixed point, and Proposition 3.5 gives a localization formula in which \(V^X_f(Q)\) is a sum over \(\pi\in \mathrm{RPP}^{\mathrm{st}(f)}\), weighted by powers of \((-q\hbar)^{N(\pi)/2}\), \(Q^{\deg(\pi)}\), and products of \(q\)-Pochhammer symbols
\[
(x)_d=\frac{\Phi(x)}{\Phi(q^d x)},\qquad \Phi(x)=\prod_{i\ge 0}(1-xq^i).
\]
For flag cases with all D5 weights equal to \(1\), there is a refined series formula in terms of difference variables \(\theta_k^i\), and this formula matches the “Macdonald function/non-stationary Ruijsenaars function.” To streamline mirror-symmetry statements, the vertex is normalized by the rescaling
\[
\mathrm{MS}V^X(Q):=V^X(Q)\Big|_{Q_i\mapsto Q_i(-\hbar^{1/2})^{\mathrm{wt}(\mathsf Z_i)-\mathrm{wt}(\mathsf Z_{i+1})}},
\]
with a corresponding convention for \(X^!\) [2507.13219].

## 3. \(q\)-difference equations and Macdonald structure

For \(T^*\mathrm{Fl}\) with all D5 weights equal to \(1\), the vertex functions satisfy Macdonald difference equations. The first operator acting in the equivariant variables \(a_i\) is
\[
\mathsf H_1(a;q,t)=\sum_{i=1}^{n}\prod_{j\neq i}\frac{t a_i-a_j}{a_i-a_j}\,T_{q,a_i},
\]
and in the notation used for bow varieties,
\[
\mathrm{Mac}_n=\sum_{i=1}^n\left(\prod_{j\neq i}\frac{\hbar q\,a_i-a_j}{a_i-a_j}\right)T_{a_i},
\qquad t=\hbar^{-1}.
\]
After introducing a gauge factor \(\mathrm{Pref}_f\) and setting \(\widetilde V_f^X=\mathrm{Pref}_f\cdot \Phi_f\cdot V_f^X\), Theorem 6.1 states
\[
\mathrm{Mac}_n\cdot \widetilde V_f^X=e^X(Q)\cdot \widetilde V_f^X,
\]
where \(e^X(Q)\) is an explicit linear combination depending on the brane weights and on whether the diagram is separated or co-separated [2507.13219].

The analytic structure of these solutions is equally rigid. For \(X=T^*\mathrm{Fl}_n\) with all weights equal to \(1\), \(V_f^X(Q)\) admits analytic continuation with simple poles at
\[
\hbar\,q^{i-j}\,\prod_{i\le l\le j}Q_l=q^{-d},
\]
and the product \(\mathrm{MSflaglim}^X(Q)^{-1}\mathrm{MS}V_f^X(Q)\) is entire. A uniqueness theorem states that solutions
\[
F\in \mathbb Q[[Q]] [[\text{repelling } a\text{-ratios}]]
\]
to \(\mathrm{Mac}_nF=e^X(Q)F\) are uniquely determined by their constant term in the equivariant variables. This uniqueness is one of the structural inputs in the mirror-symmetry argument, because it turns the enumerative problem into a rigid \(q\)-difference problem with controlled asymptotics [2507.13219].

## 4. Elliptic stable envelopes and the mirror-symmetry matrix relation

The elliptic stable envelope \(\mathrm{Stab}_{\mathfrak C}(F)\) is a distinguished meromorphic section on \(\mathrm{Ell}_T(F\times X)\), characterized by diagonal and support axioms. For a finite fixed set \(X^A=\{f_1,\dots,f_s\}\), the stable-envelope restrictions form a matrix
\[
(S_{\mathfrak C})_{ij}:=\frac{\mathrm{Stab}_{\mathfrak C}(f_i)|_{f_j}}{\mathrm{Stab}_{\mathfrak C}(f_j)|_{f_j}},
\]
which is upper-triangular with respect to the chamber order. There is also an opposite-chamber matrix satisfying
\[
\bigl(S_{\mathfrak C}(a,z,\hbar)\bigr)^{-1}
=
\bigl(S^{\mathrm{opp}}_{\mathfrak C_{\mathrm{opp}}}(a,z^{-1},\hbar)\bigr)^T.
\]
For dual bow varieties \(X\) and \(X^!\), Theorem 4.3 identifies the normalized stable-envelope matrices after swapping Kähler and equivariant parameters and inverting \(\hbar\), thereby matching the expected mirror transformation [2507.13219].

The central mirror-symmetry statement for vertex functions is the matrix relation
\[
\mirmap\Bigl(\Phi^+_{f^!}\,\mathrm{MS}V^{X^!}_{f^!}(Q^!)\Bigr)
=
\sum_{g\in X^A}\mathrm{MSstab}^{X}_{gf}\,\Phi^-_g\,\mathrm{MS}V^X_g(Q^{-1}),
\]
where \(\mirmap\) sends
\[
q^!\mapsto q,\qquad
\hbar^!\mapsto \frac{1}{\hbar q},\qquad
(q^!)^{-\mathrm{wt}(\mathsf Z_i^!)}Q_i^!\mapsto u_i=\frac{a_i}{a_{i+1}},\qquad
u_i^!\mapsto q^{\mathrm{wt}(\mathsf Z_i)}Q_i.
\]
Here \(\Phi_f^\pm=\Phi((q-\hbar^{-1})N_f^\pm)\) are \(q\)-gamma factors from the attracting and repelling parts with respect to the standard chamber. In this form, the elliptic stable-envelope matrix is exactly the matrix relating the vertex functions of \(X\) and \(X^!\), and its entries form a basis of solutions to the joint \(q\)-difference system [2507.13219].

## 5. Resolution procedures, flag specialization, and degeneration

A large part of the theory is a reduction mechanism. For D5 resolutions, one constructs a closed embedding \(j:X\hookrightarrow \widetilde X\) together with a torus inclusion \(\varphi:T\hookrightarrow \widetilde T\). Theorem 5.4 states
\[
j^*\,\varphi^*\,\mathrm{MS}V^{\widetilde X}=\mathrm{MS}V^X.
\]
This compatibility is described as behaving like fusion of \(R\)-matrices at the enumerative level. For NS5 resolutions, one relates \(X\) to a finer space \(\overline X\) through a Lagrangian correspondence
\[
\overline X \xleftarrow{\;j\;} L \xrightarrow{\;p\;} X,
\]
where \(p\) is a Grassmannian fibration and \(j\) is a closed immersion. In flag-variety language, \(\overline X\) is the cotangent bundle of a finer flag [2507.13219].

The NS5 step is analytically subtler. A specialization \(\psi^*\) of Kähler parameters forces the finer-flag vertex function to a boundary point of convergence. The analytic continuation of \(\mathrm{MS}V^{\overline X}\) then has a simple pole, canceled by a universal factor \(\mathrm{MSflaglim}^Y\). The resulting specialization identity recovers the vertex functions of the coarser flag from those of the finer flag, with simple poles proved in Corollary 6.7. Combining the D5 and NS5 statements reduces mirror symmetry of vertex functions to the complete-flag case \(X\simeq T^*\mathrm{Fl}_n\), where the \(q\)-difference equations can be identified explicitly with the Macdonald system [2507.13219].

The basic example is \(T^*\mathbb P^1\). Its two fixed-point vertex functions are basic hypergeometric series,
\[
V_{f_1}^X(Q)=\sum_{d\ge 0}
\frac{(\hbar^{-1})_d(\hbar^{-1}a_1/a_2)_d}{(q)_d(q\,a_1/a_2)_d}
(\hbar Q)^d
=
{}_2\phi_1\!\Bigl(\hbar^{-1},\hbar^{-1}a_1/a_2;\,q\,a_1/a_2;\,\hbar Q\Bigr),
\]
with the second fixed point obtained by swapping \(a_1/a_2\). Mirror symmetry is verified here using Heine’s transformation and Watson’s connection formula. At the other end of the theory, the formal limit \(\hbar\to\infty\) degenerates the \(K\)-theoretic picture to a cohomological one:
\[
\mathrm{MS}V_g^X(Q^{-1})\to 1,\qquad
\mathrm{MSstab}_{gf}^X\to \delta_{g,f},\qquad
\Phi^-_g\to \prod_{w\in \mathrm{wt}(N^-_g)}(1-w)^{-1}.
\]
A plausible implication is that the bow-variety statements interpolate between elliptic and \(K\)-theoretic mirror symmetry on one side and Givental-type \(I\)-function phenomena on the other [2507.13219].

## 6. Related developments and alternative usages

Closely related work extends the quasimap meaning of vertex functions beyond finite type \(A\) bow varieties. For type \(A\) Nakajima quiver varieties, an explicit embedding into a quiver variety with all framings at the rightmost vertex preserves vertex functions up to a simple \(q\)-shift of Kähler variables,
\[
\Phi^*(V'(z))=V(\tilde z),
\]
thereby reducing general computations to cotangent bundles of partial flag varieties [2308.05094]. For type \(D\) Nakajima quiver varieties with isolated torus fixed points, the fixed-point coefficients are described through reverse plane partitions on minuscule posets, and for minuscule framings the vertex functions admit product formulas
\[
V(z)=\prod_{\alpha\in \Phi'} F\!\bigl((q/\hbar)\,a_\alpha z_\alpha\bigr),
\]
which prove a degeneration of the conjectured 3d mirror symmetry and identify spin vertex functions with partition functions of half-space Macdonald processes [2502.13937]. For \(\mathrm{Hilb}^n(\mathbb C^2)\), capped descendent vertex functions with exterior-algebra insertions admit explicit Fock-space formulas that provide a one-parameter deformation of the generating function for normalized Macdonald polynomials, and the capped vertex is a rational function of the quantum parameter [2406.00498]. For \(X=T^*Gr(k,n)\), 3D mirror symmetry yields integral polynomials \(T_s(z)\) solving the quantum differential equation modulo \(p^s\), and \(T_s(z)\) converges in the \(p\)-adic norm to the vertex function while satisfying Dwork-type congruences and infinite-product formulas modulo \(p^s\) [2302.03092].

The phrase “vertex function” is also used in several non-enumerative senses. The following table records representative usages already established in the literature.

| Domain | Meaning of “vertex function” | Representative paper |
|---|---|---|
| Many-body theory | Three-point or multipoint interaction vertex extracted from correlators | [1511.07930], [2310.12098] |
| Stochastic or integrable vertex models | Symmetric rational functions or partition functions of path ensembles | [1605.01349], [2101.01605] |
| Vertex operator algebras | Graded trace functions or one-point theta functions | [1612.02117], [1810.04790], [1712.10160] |
| Graph theory | Partition function of a vertex model as a graph parameter | [1102.4985] |

In many-body theory, the term can denote the three-point vertex coupling fermionic particle-hole pairs to spin or charge fluctuations at finite momentum, or the multipoint vertices entering parquet, fRG, and nonequilibrium transport; recent work constructs symmetric improved estimators that separate core and asymptotic contributions and avoid unstable leg amputation [1511.07930], [2310.12098]. In solvable lattice models, vertex functions are symmetric rational functions such as \(F_\lambda\) and \(G_\lambda\), realized as partition functions of path ensembles and controlled by Yang–Baxter and Cauchy identities, or their colored fermionic analogues related to LLT and Macdonald polynomials [1605.01349], [2101.01605]. In vertex-operator-algebra theory, the same phrase can denote graded trace functions, McKay–Thompson series, or one-point theta functions with modular transformation laws under \(SL_2(\mathbb Z)\) [1612.02117], [1810.04790], [1712.10160]. In graph theory, a vertex function is the partition function of a vertex model over an algebraically closed field, characterized by multiplicativity and antisymmetrizer identities [1102.4985].

This terminological dispersion suggests that “vertex function” is not a single invariant notion. In current algebraic and enumerative geometry, however, the dominant usage is the quasimap-generated \(K\)-theoretic series controlled by localization, \(q\)-difference equations, and mirror symmetry, with finite type \(A\) bow varieties providing a fully worked-out model in which the mirror matrix is identified with the elliptic stable-envelope matrix [2507.13219].

Source: https://www.emergentmind.com/topics/vertex-functions