Singularities, Vanishing Cycles, and Monodromies

A Coulomb-branch singularity occurs when the photon-only effective theory omits a state whose central charge vanishes. For one primitive mutually local BPS hypermultiplet, its logarithmic threshold determines an integral Picard–Lefschetz monodromy. The set of local monodromies, based paths, and their ordered product constrains the global special geometry.

Required background. Charge local systems and duality frames fixes transport conventions, and singular loci and light fields fixes the EFT interpretation. Helpful background. Branches and monodromy supplies the analytic-continuation language.

Local behavior near a massless hypermultiplet

Choose a duality frame in which the light charge is electric and let its special coordinate be $a_\gamma=Z_\gamma$. Integrating out one charged hypermultiplet produces a logarithmic coupling. In a rank-one normalization appropriate to pure $SU(2)$, a monopole point can be written locally as

$$a_D\sim c(u-u_*),$$

and

$$a\sim a_0+\frac{i}{\pi}a_D\log a_D+\text{holomorphic}.$$

A counterclockwise loop sends $\log a_D\mapsto\log a_D+2\pi i$, so

$$a_D\longmapsto a_D, \qquad a\longmapsto a-2a_D.$$

Thus, for the period column $\Pi=(a_D,a)^T$,

$$M_m=\begin{pmatrix}1&0\\-2&1\end{pmatrix}.$$

The factor two belongs to the conventional pure-$SU(2)$ charge normalization in which the massive $W$ boson has electric charge two. In a unimodular normalization with a single unit hypermultiplet, the elementary Picard–Lefschetz coefficient can be one. State the lattice before comparing matrices.

Monodromy from a vanishing charge

Let

$$\gamma=\binom{p}{q}, \qquad J=\begin{pmatrix}0&1\\-1&0\end{pmatrix}.$$

In the rank-one convention above, the monodromy acting on periods is

$$M_\gamma =\mathbf1+2(J\gamma)\gamma^T =\begin{pmatrix} 1+2pq&2q^2\\ -2p^2&1-2pq \end{pmatrix}.$$

It is integral, has determinant one, and preserves $J$. Moreover,

$$\gamma^TM_\gamma=\gamma^T,$$

so the vanishing period $Z_\gamma=\gamma^T\Pi$ is single-valued around its own singularity.

Changing the charge basis conjugates $M_\gamma$. Reversing the loop inverts it. Replacing $\gamma$ by $-\gamma$ leaves the matrix unchanged, as expected because a particle and antiparticle become massless together.

For several mutually local hypermultiplets of the same primitive charge, the coefficient is multiplied by their net protected contribution. A massless vector multiplet produces a different threshold sign and signals restored nonabelian gauge symmetry; do not use the hypermultiplet formula blindly.

Vanishing cycles

In a curve description, charges correspond to one-cycles and the Dirac pairing to their intersection. When a cycle $\gamma$ shrinks at a nodal fiber, Picard–Lefschetz transport acts on another cycle $\delta$ by

$$\delta\longmapsto \delta+\langle\delta,\gamma\rangle\gamma$$

in a unit-intersection convention, with orientation-dependent sign. Integrating the Seiberg–Witten differential over the transported cycles gives the period monodromy.

The geometric formula and the one-loop threshold must agree after translating cycle intersections to the physical charge normalization. This is an independent check on factors of two and signs.

Pure SU(2): two finite singularities

In the scale convention

$$y^2=(x-u)(x^2-\Lambda^4),$$

the discriminant has finite zeros at $u=\pm\Lambda^2$. Choose a weak-coupling base point on the positive real axis beyond $+\Lambda^2$, with branch cuts and counterclockwise loops fixed as on the pure-solution page.

Assign a monopole charge

$$\gamma_m=(1,0)$$

at $u=+\Lambda^2$ and a dyon charge

$$\gamma_d=(1,-1)$$

at $u=-\Lambda^2$. The matrices are

$$M_m=\begin{pmatrix}1&0\\-2&1\end{pmatrix}, \qquad M_d=\begin{pmatrix}-1&2\\-2&3\end{pmatrix}.$$

With the convention that the based loop at infinity corresponds to the ordered product $M_mM_d$,

$$M_\infty=M_mM_d =\begin{pmatrix}-1&2\\0&-1\end{pmatrix}.$$

This agrees with the semiclassical logarithm. A different cut system can exchange the dyon label or conjugate all three matrices; the based product must still match the transformed infinity monodromy. The singularity assignment and global monodromy product are derived in Seiberg and Witten 1994, §§5–6 and reconstructed with explicit continuation conventions in Bilal 1996, §§5–6.

Discriminant completeness

For a proposed curve, compute its discriminant as a function of Coulomb moduli and masses. Every zero is a candidate singular fiber, but multiplicity alone does not identify the light theory. One must determine:

• which cycle or set of cycles vanishes;
• whether each charge is primitive;
• their pairwise Dirac pairings;
• the local order of vanishing of periods;
• whether the singularity lies at finite distance;
• whether a weakly coupled electric frame exists.

Missing a discriminant component makes the global monodromy product fail. Adding a spurious component produces an unphysical light sector or incorrect asymptotics.

Mutually nonlocal collisions

Suppose two discriminant components collide and their vanishing charges satisfy

$$\langle\gamma_1,\gamma_2\rangle\neq0.$$

No electric frame contains both as local hypermultiplets. The collision can yield an interacting Argyres–Douglas fixed point. The product of local monodromies remains integral, but a sum of two weakly coupled QED logarithms is not a valid local description at the collision.

Scaling dimensions must then be extracted from the degenerating curve and differential, with $[\lambda_{\mathrm{SW}}]=1$. Existence of an interacting fixed point also requires consistent unitarity and protected data.

Global consistency procedure

1. Choose a base point and a symplectic charge basis.
2. Specify branch cuts and oriented loop generators.
3. Compute the complete discriminant.
4. Determine each vanishing charge in the base-point frame.
5. Construct local monodromies and verify integrality and symplecticity.
6. Multiply them in the declared path order.
7. Compare with the independently derived monodromy at infinity.
8. Transform charges by the inverse transpose and verify central-charge invariance.

The global product is a stringent check because local sign errors can preserve each determinant while failing the total monodromy.

Common pitfalls

Naming a vanishing charge without a path. Transport from the singularity to the base point is part of its charge label.

Multiplying matrices in an undeclared order. Loop composition and active action conventions determine whether $M_1M_2$ or $M_2M_1$ is correct.

Using the hypermultiplet formula at a mutually nonlocal collision. There is no single local electric QED frame there.

Exercises

Use the pure-$SU(2)$ matrices above to verify:

1. $\det M_m=\det M_d=1$;
2. $M_mM_d=M_\infty$;
3. $\gamma_m^TM_m=\gamma_m^T$ and $\gamma_d^TM_d=\gamma_d^T$.

Solution

The determinants are $1$ and $(-1)(3)-2(-2)=1$. Matrix multiplication gives

$$\begin{pmatrix}1&0\\-2&1\end{pmatrix} \begin{pmatrix}-1&2\\-2&3\end{pmatrix} =\begin{pmatrix}-1&2\\0&-1\end{pmatrix}.$$

Finally,

$$(1,0)M_m=(1,0), \qquad (1,-1)M_d=(1,-1).$$

Thus each vanishing central charge is invariant around its own singularity.

References

• Bilal, Adel. “Duality in $\mathcal N=2$ SUSY $SU(2)$ Yang–Mills Theory: A Pedagogical Introduction to the Work of Seiberg and Witten.” 1996. arXiv:hep-th/9601007.
• Seiberg, Nathan, and Edward Witten. “Electric–Magnetic Duality, Monopole Condensation, and Confinement in $\mathcal N=2$ Supersymmetric Yang–Mills Theory.” Nuclear Physics B 426 (1994): 19–52; erratum 430 (1994): 485–486. arXiv:hep-th/9407087.

Further reading

• Picard, Émile, and Georges Simart. Théorie des fonctions algébriques de deux variables indépendantes, vol. 2. Gauthier-Villars, 1906.