---
title: One-Leg Orbifold Topological Vertex
url: https://www.emergentmind.com/topics/one-leg-orbifold-topological-vertex
type: topic
---

# One-Leg Orbifold Topological Vertex

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 [1008.4205].

**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 [2302.02342]. 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 [2601.17321].

**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$ [2510.15662].

## 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 [2510.15662].
- **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 [1008.4205, 2302.02342, 2601.17321].
- **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 [2512.24196].

## 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}$ [2510.15662].
- **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 [2412.19655].
- **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 [1204.1753].

## 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\}$ [2510.15662].

**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 [1008.4205, 2302.02342].

**Gromov–Witten Theory (Effective and Gerby Leg):**
- Effective-leg vertices computed via localization and convolution identities produce explicit generating series in Schur-function language [2601.17321].
- Gerby-leg vertices involve $\mathbb{Z}_m$-weighted partitions and are determined by zero-framed data via explicit character sum formulae and invertible matrices [1204.1753].

**$\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 [2512.24196].

## 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 [2510.15662, 2412.19655].
- **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 [2302.02342, 1008.4205].
- **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 [2601.17321].

## 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 [1008.4205, 2512.24196].
- **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 [2512.24196, 2302.02342].
- **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 [2510.15662, 2412.19655].

## 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)}$         | [1008.4205], [2302.02342] |
| GW, Effective-leg              | $K^*_\mu(x) = (i)^{|\mu|} (...)\sum_{|\nu|=|\mu|} s_{\nu'}(...) \frac{\chi_\nu(\mu)}{z_\mu}$       | [2601.17321]             |
| GW, Gerby-leg                  | $G_\mu(\lambda;T;x)_m = \sum_\nu G_\nu(\lambda;0;x)_m \frac{\chi^\nu(\mu)}{z_\mu} ...$             | [1204.1753]              |
| $\mathbb{Z}_2$-vertex (O7$^+$) | $V_\mu^{\mathbb{Z}_2} = \sum_{\alpha = \alpha^T} (-1)^{|\alpha|} q^{\frac12 \kappa(\alpha)} C_{\alpha, \alpha, \mu}$       | [2510.15662]             |
| $\mathbb{Z}_2\times\mathbb{Z}_2$ (DT) | Explicit MacMahon-corrected formulas for staircase 1-leg     | [2512.24196]             |

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.

Source: https://www.emergentmind.com/topics/one-leg-orbifold-topological-vertex