One-Leg Orbifold Topological Vertex

• One-leg orbifold topological vertex is a generating function defined for a singular toric leg in orbifolded Calabi–Yau threefolds using colored Young diagrams and 3D partitions.
• It unifies DT/PT, GW, and orientifold formalisms by employing MacMahon functions, Schur function expansions, and framing factors for precise partition computations.
• The vertex is pivotal in constructing global partition functions in gauge and string theories, facilitating the gluing of orbifold and orientifold geometries through vertex-operator algebra techniques.

A one-leg orbifold topological vertex is a central object in the theory of topological strings, Donaldson–Thomas (DT)/Pandharipande–Thomas (PT) invariants, and orbifold Gromov–Witten (GW) theory for toric Calabi–Yau threefolds with orbifold singularities. It encodes the contribution to the partition function from a local geometry where only one toric leg carries nontrivial orbifold/stacky structure or partition data, with the other two legs trivial. This notion arises in the study of gauge theories with orientifold and orbifold backgrounds, refined and unrefined vertex formalisms, and is crucial for constructing global partition functions associated to orbifold geometries, such as those with O7$^+$-planes and ADE surface singularities.

1. Definition and Formalism

The one-leg orbifold topological vertex is defined as a generating function for certain weighted configurations associated with a single nontrivial leg in the toric diagram, where the configuration is typically a Young diagram or colored 3D partition. Its explicit form depends on the context (DT, PT, GW, refined or unrefined), the orbifold group $G$ acting on $\mathbb{C}^3$, and the imposed boundary conditions at the chosen leg.

DT/PT formalism (Abelian orbifolds $G = \mathbb{Z}_n$):

A $G$-colored 3D partition asymptotic to a partition $\lambda$ on a single coordinate axis, colored by representations of $G$ via $i-j$ mod $n$, yields the one-leg vertex

$$V^n_{\lambda\emptyset\emptyset}(q_0, ..., q_{n-1}) = V^n_{\emptyset\emptyset\emptyset}(q) \; q^{-A_\lambda}\; \overline{s_{\lambda'}(q_\bullet)},$$

where $q^{-A_\lambda}$ is a framing factor, $s_{\lambda'}$ is the Schur function of the conjugate partition, and $V^n_{\emptyset\emptyset\emptyset}$ is the orbifold MacMahon function (Bryan et al., 2010).

PT formalism and the DT/PT correspondence:

In the stable pairs framework, one has

$$Z^{PT,\mathbb{Z}_n}_{one-leg}(q_0, ..., q_{n-1}; Q) = \sum_{\eta} s^{loop}_\eta(x_0, ..., x_{n-1})\, q^{\kappa(\eta)/2}\, Q^{|\eta|},$$

where $s^{loop}_\eta$ is the loop Schur function and $\kappa(\eta) = \sum_i \eta_i(\eta_i - 2i + 1)$ is the standard quadratic partition statistic (Lin, 2023). This coincides with the DT case in the one-leg geometry.

GW formalism (stack-theoretic targets):

For orbifold GW theory with a marked stacky point of order $a$ at 0,

$$K^*_\mu(x) = (i)^{|\mu|} \left( t^{1/2}q_1^{-1/a} ... q_{a-1}^{-(a-1)/a} \right)^{|\mu|} \sum_{|\nu|=|\mu|} s_{\nu'}(\tilde{t}_\bullet) \frac{\chi_\nu(\mu)}{z_\mu},$$

where $x$ tracks the twisting data, $s_{\nu'}$ is a Schur function, and $\chi_\nu(\mu)$ is a symmetric-group character (Yu et al., 24 Jan 2026).

Orientifold (O7$^+$-plane) case:

One-leg $\mathbb{Z}_2$-orbifold vertex arises in 5-brane web constructions with an NS5 ending on an O7$^+$, with operator presentation

$$V_\mu^{\mathbb{Z}_2} = \langle 0 | \mathbb{O}_{\mathbb{Z}_2} | \mu \rangle, \qquad \mathbb{O}_{\mathbb{Z}_2} = \exp\left( -\sum_{n=1}^\infty \frac{1}{2n} J_n^2 \right),$$

selecting self-conjugate partitions $\mu = \mu^T$ (Kim et al., 17 Oct 2025).

2. Combinatorics and Partition Functions

The one-leg orbifold vertex encodes the partition function as a sum over colored or labeled Young diagrams reflecting the orbifold group action and leg asymptotics. The key structures are:

• Colored Partitions: For $G = \mathbb{Z}_n$, boxes are assigned weight $q_{i-j \mod n}$ based on their coordinates.
• Self-conjugacy: For the $\mathbb{Z}_2$ orientifold vertex, only self-conjugate partitions contribute, reflecting the orbifold symmetry (Kim et al., 17 Oct 2025).
• MacMahon/Schur Function Expansions: Partition functions admit expansions in terms of Schur or loop Schur functions, with closed forms matched across DT, PT, and GW theories (Bryan et al., 2010, Lin, 2023, Yu et al., 24 Jan 2026).
• Vertex-Operator Realizations: The generating functions can be written as matrix elements of products of vertex operators on Fock space, providing algebraic control and access to representation-theoretic invariants (Lin, 30 Dec 2025).

3. Gluing Rules and Framing

To construct global amplitudes, one-leg orbifold vertices are glued via internal edges using explicit edge weights (Kähler parameters) and framing factors:

• Framing Factors: For general leg $\mu$, $f_\mu = (-1)^{|\mu|} q^{\kappa(\mu)/2}$, or the orbifold analogues; for the $\mathbb{Z}_2$-vertex, the parity factor may be dropped since $V_{\mu^T}^{\mathbb{Z}_2} = V_\mu^{\mathbb{Z}_2}$ (Kim et al., 17 Oct 2025).
• Gluing to Ordinary/FD Vertex: Sums over $\mu$ are performed with each term weighted by vertex amplitudes, framing, and Kähler parameters, and—if relevant—frozen flavor contributions (Kim et al., 2024).
• GW Orbifold Vertex Framing: The full framed vertex is determined from the zero-framed vertex by an explicit invertible trigonometric matrix $P_d(T)$, reflecting monodromy and orbifold isotropy (Zong, 2012).

4. Examples and Constructions

O7$^+$-plane and $\mathbb{Z}_2$-vertex (5-brane web):

• For a $(p,1)$-brane ending on O7$^+$, the contribution is $V_\mu^{\mathbb{Z}_2}$ at the fixed point and $(-Q)^{|\mu|}f_\mu^n$ on the adjacent edge.
• Partition function example: $$Z(Q) = \sum_\mu Q^{|\mu|} \prod_{(i,j)\in\mu} \frac{\sinh(\frac{\hbar}{2}(2(i-j)+m\pm\hbar))\prod_{f=1}^4 \sinh(\frac{\hbar}{2}(i-j+\frac{m}{2} \pm m_f))}{\sinh^2(\frac{\hbar}{2}(i-j))}$$ with $m_f = \{0, \hbar/2, \pi i, \hbar/2 + \pi i\}$ (Kim et al., 17 Oct 2025).

Toric orbifolds with $G=\mathbb{Z}_n$ (DT/PT):

• One-leg DT/PT partition functions are built from colored Young diagrams, loop Schur functions, and closed MacMahon prefactors (Bryan et al., 2010, Lin, 2023).

Gromov–Witten Theory (Effective and Gerby Leg):

• Effective-leg vertices computed via localization and convolution identities produce explicit generating series in Schur-function language (Yu et al., 24 Jan 2026).
• Gerby-leg vertices involve $\mathbb{Z}_m$-weighted partitions and are determined by zero-framed data via explicit character sum formulae and invertible matrices (Zong, 2012).

$\mathbb{Z}_2 \times \mathbb{Z}_2$-vertex (restricted pyramid configurations):

• Pyramid partitions colored by $G$, with interlacing conditions and explicit MacMahon-type corrections, yield closed vertex formulas for the 1-leg case, especially for "staircase" partitions (Lin, 30 Dec 2025).

5. Applications and Physical Context

The one-leg orbifold topological vertex is a fundamental building block in:

• Topological String Partition Functions: Computation of amplitudes for orbifolded, orientifolded, or symmetric-matter compactifications.
• 5d $\mathcal{N}=1$ SYM and SU(N)/SO(N) Gauge Theories: Partition functions for brane webs with O7$^+$-planes or involutive orbifolds (Kim et al., 17 Oct 2025, Kim et al., 2024).
• DT/PT, GW/DT/PT Correspondence: Underpins correspondences for orbifolded toric Calabi–Yau geometries, crepant resolutions, and leads to explicit combinatorial formulas for enumerative invariants (Lin, 2023, Bryan et al., 2010).
• Refined Invariants and Local "Football": Adopted for computation of refined GW invariants of Calabi–Yau threefolds with a single stacky or gerby leg, and their degenerations (Yu et al., 24 Jan 2026).

6. Generalizations and Outlook

• Higher Order Abelian Groups: The vertex formalism generalizes to higher $\mathbb{Z}_n$ and products $\mathbb{Z}_k \times \mathbb{Z}_l$ using similar combinatorial and representation-theoretic structures (Bryan et al., 2010, Lin, 30 Dec 2025).
• Full Three-Leg Vertices: While one-leg cases admit explicit closed formulas, general three-leg orbifold vertices for finite abelian groups remain challenging due to nontrivial interlacing and gluing; progress has mainly focused on "staircase" or symmetric partitions.
• Vertex Operator Algebra Control: Algebraic Fock space models and Heisenberg/vertex operator techniques are instrumental in matching combinatorial identities and proving correspondences, notably in the identification between DT and PT orbifold vertices (Lin, 30 Dec 2025, Lin, 2023).
• Orientifold/Mirror Symmetry: Connections with orientifolded backgrounds and symmetric matter, as realized in O7$^+$ constructions, clarify the role of the orbifold topological vertex in physical string theory settings (Kim et al., 17 Oct 2025, Kim et al., 2024).

7. Summary Table: Core Formulas for One-Leg Orbifold Vertices

Context	Generating Function/Formula	Reference
DT/PT, $G = \mathbb{Z}_n$	$$V^n_{\lambda\emptyset\emptyset} = V^n_{\emptyset\emptyset\emptyset}(q)\; q^{-A_\lambda}\; \overline{s_{\lambda'}(q_\bullet)}$$	(Bryan et al., 2010, Lin, 2023)
GW, Effective-leg	$$K^*_\mu(x) = (i)^{|\mu|} (...)\sum_{|\nu|=|\mu|} s_{\nu'}(...) \frac{\chi_\nu(\mu)}{z_\mu}$$	(Yu et al., 24 Jan 2026)
GW, Gerby-leg	$$G_\mu(\lambda;T;x)_m = \sum_\nu G_\nu(\lambda;0;x)_m \frac{\chi^\nu(\mu)}{z_\mu} ...$$	(Zong, 2012)
$\mathbb{Z}_2$-vertex (O7$^+$)	$$V_\mu^{\mathbb{Z}_2} = \sum_{\alpha = \alpha^T} (-1)^{|\alpha|} q^{\frac12 \kappa(\alpha)} C_{\alpha, \alpha, \mu}$$	(Kim et al., 17 Oct 2025)
$\mathbb{Z}_2\times\mathbb{Z}_2$ (DT)	Explicit MacMahon-corrected formulas for staircase 1-leg	(Lin, 30 Dec 2025)

The one-leg orbifold topological vertex thus serves as a universal algebraic-combinatorial construct for localization, gluing, and explicit partition function computations in orbifold and orientifold topological string backgrounds. Its diverse incarnations unify approaches from DT/PT theory, Gromov–Witten theory, and brane web/vertex operator algebra frameworks.