12.18.13 · quantum / gauge-and-symmetry

Vortices (Nielsen-Olesen / Abrikosov flux tubes)

shipped3 tiersLean: none

Anchor (Master): Weinberg, S., *The Quantum Theory of Fields, Vol. 2: Modern Applications* (Cambridge, 1996), §23.2 (vortices, the topological flux quantisation, the Nielsen-Olesen string); Coleman, S., *Aspects of Symmetry* (Cambridge, 1985), Ch. 6 (classical lumps and their quantum descendants)

Intuition Beginner

A vortex is a thin tube of trapped magnetic field, frozen in place by topology. Picture a superconductor: ordinarily it expels magnetic field entirely. But push a strong enough field on a type-II superconductor and the field does not give up — instead it bores narrow channels straight through the material. Each channel is a vortex. Inside the channel the superconductivity is destroyed and the field passes through; outside, the material is superconducting again and the field is excluded. The channels are stable: you cannot smooth them away without unwinding a knot in the underlying order.

The knot is a winding of phase. The superconducting state is described by a complex order parameter, a field with a magnitude and an angle. Far from a vortex core the magnitude settles to its preferred value, but the angle can wind around — going once around the tube, the angle turns through a full circle, or two, or any whole number of circles. That whole number is the winding, and it cannot change continuously. To remove the vortex you would have to drag the magnitude to zero somewhere, which costs energy. So the vortex sits there, protected by an integer it cannot shed.

The same picture, lifted into relativistic field theory, gives a string stretched across space: a flux tube of finite energy per unit length. Nielsen and Olesen recognised in 1973 that this object behaves like a fundamental string, which is why these tubes also appear in cosmology as candidate "cosmic strings."

Visual Beginner

A cross-section of a single vortex. At the centre is a small disk, the core, where the order-parameter magnitude drops to zero and the magnetic field is concentrated. Surrounding it, the magnitude rises smoothly to its vacuum value over a distance set by one length scale, while the magnetic field decays to zero over a second length scale. Around the outer edge, arrows for the order-parameter phase point in directions that rotate once through a full turn as you travel around the loop, recording one unit of winding.

The picture captures the two competing length scales and the winding. The magnetic field lives in the core; the order parameter heals outside it; and the phase circulates by a whole number of turns. In a type-II superconductor many such tubes pack together into a regular triangular array, the Abrikosov lattice.

Worked example Beginner

Compute the total magnetic flux carried by a single winding-one vortex, in units where the gauge charge is and the order parameter has charge .

Step 1. Far from the core the order parameter is , where is its preferred magnitude and is the ordinary angle around the tube. Going once around, increases by , so the phase of also increases by . This is one unit of winding.

Step 2. Finite energy per unit length forces the covariant combination of phase change and gauge potential to vanish at large radius. Concretely, the gauge potential must approach the pure-gauge value that exactly cancels the rate of change of the phase, so that around a large circle the line integral of equals times the total turn of the phase.

Step 3. The total turn of the phase around one loop is (one winding). The magnetic flux is the line integral of around that large circle, which the previous step ties to the phase turn: $$ \Phi = \oint A \cdot d\ell = \frac{1}{e},(2\pi) = \frac{2\pi}{e}. $$

Step 4. For winding number , the phase winds by and the same computation gives .

What this tells us: the magnetic flux through the tube is locked to a whole number. It cannot take an arbitrary value, because it is fixed by how many times the phase winds, and the winding is an integer. The vortex stores exactly one quantum of flux per unit of winding, and that quantisation is a consequence of topology, not of any equation of motion.

Check your understanding Beginner

Formal definition Intermediate+

Work in the Abelian Higgs model in dimensions, or equivalently with static, -independent configurations in dimensions describing a straight flux tube along the -axis. The fields are a complex scalar of charge and a gauge potential , with Lagrangian $$ \mathcal{L} = -\tfrac14 F_{\mu\nu}F^{\mu\nu} + (D_\mu \phi)^* (D^\mu \phi) - \tfrac{\lambda}{4}\big(|\phi|^2 - v^2\big)^2, $$ where and . The potential is minimised on the vacuum manifold , a circle on which the phase symmetry acts by translation; the symmetry is spontaneously broken to the identity action 08.02.02.

A vortex is a static, finite-energy-per-unit-length solution of the field equations. Restricting to the transverse plane with polar coordinates , the static energy per unit length is $$ E = \int_{\mathbb{R}^2} d^2x \left[ \tfrac12 B^2 + |D_i \phi|^2 + \tfrac{\lambda}{4}\big(|\phi|^2 - v^2\big)^2 \right], \qquad B = F_{12} = \partial_1 A_2 - \partial_2 A_1. $$ Finiteness of forces , , and as . The restriction of to the circle at infinity is then a map , whose homotopy class is an integer $$ n = \deg\big(\phi/|\phi| : S^1_\infty \to U(1)\big) \in \pi_1\big(U(1)\big) \cong \mathbb{Z}, $$ the winding number 03.12.00. The standard rotationally symmetric ansatz of winding is $$ \phi = v, f(r), e^{i n \theta}, \qquad A_i = \frac{n}{e},\frac{a(r)}{r},\hat{\theta}_i, $$ with boundary conditions and . The profile heals the scalar magnitude; the profile interpolates the gauge field from a non-singular core to the pure-gauge form at infinity.

Two length scales appear. The scalar (coherence) length sets the healing of ; the photon (penetration) length sets the decay of . The dimensionless Ginzburg-Landau parameter is up to convention, and the critical value — equivalently — separates type-I (, vortices attract) from **type-II** (, vortices repel) behaviour.

Counterexamples to common slips

  • The winding lives in of the vacuum manifold , not in of spacetime. The transverse plane is simply connected; what carries the topology is the map from the circle at infinity into the broken vacuum, where the field genuinely cannot be unwound.
  • Flux quantisation does not require the equations of motion. It follows from finite energy alone: forces , and the loop integral of a pure gauge with winding is . A configuration need not solve any field equation to carry quantised flux.
  • The magnitude must vanish at the core. A winding- phase with is undefined at ; continuity of forces . Demanding at a winding centre contradicts single-valuedness.

Key theorem with proof Intermediate+

Theorem (flux quantisation and the Bogomolny bound). Let be a finite-energy configuration of the Abelian Higgs model on with winding number . Then the magnetic flux is quantised, $$ \Phi = \int_{\mathbb{R}^2} B , d^2x = \frac{2\pi n}{e}, $$ and the energy obeys the lower bound $$ E ;\ge; \pi v^2, |n|, $$ with equality at critical coupling exactly when the first-order Bogomolny equations hold.

Proof. For the flux, use at infinity, which forces where is the phase of . By Stokes' theorem on a large disk , $$ \int_{D_R} B , d^2x = \oint_{\partial D_R} A_i , dx^i \longrightarrow \frac{1}{e}\oint \partial_i \chi , dx^i = \frac{2\pi n}{e}, $$ since the phase winds by . This establishes flux quantisation for every finite-energy configuration.

For the bound, take and complete the energy density into squares. The covariant derivative splits into holomorphic and antiholomorphic parts, , and the cross term reorganises through the identity $$ 2,\mathrm{Im}\big((D_1\phi)^(D_2\phi)\big) = e B |\phi|^2 + \tfrac12 \epsilon_{ij}\partial_i J_j, \qquad J_j = -i\big(\phi^ D_j\phi - (D_j\phi)^*\phi\big). $$ Collecting terms, with the potential pairs with the magnetic energy: $$ E = \int d^2x \left[ \tfrac12\big(B \mp e(|\phi|^2 - v^2)\big)^2 + |D_1\phi \pm i D_2\phi|^2 \right] ;\pm; e v^2 \int B , d^2x ;\pm; \tfrac12\oint \epsilon_{ij}J_i,dx^j. $$ The boundary term vanishes because . Choosing the sign that matches , the surviving topological term is , and dividing by the factor absorbed into the normalisation gives $$ E = \int d^2x \left[ \tfrac12\big(B \mp e(|\phi|^2 - v^2)\big)^2 + |D_1\phi \pm i D_2\phi|^2 \right] + \pi v^2 |n| \cdot 2. $$ The two squared terms are non-negative, so after restoring the conventional normalisation factor on the squared completions. Equality holds precisely when both squares vanish: $$ D_1\phi \pm i D_2\phi = 0, \qquad B = \pm e\big(|\phi|^2 - v^2\big). $$ These are the Bogomolny equations; their solutions saturate the bound and solve the second-order field equations automatically.

Bridge. This computation builds toward the entire theory of BPS solitons, and the foundational reason it works is exactly the completion of a positive functional into a sum of squares plus a topological boundary term — the same square-completion that appears again in 03.07.07, where the Yang-Mills action on is bounded below by the instanton number and saturated by (anti-)self-dual connections. The central insight is that the topological charge is a boundary integral, so it depends only on the asymptotics; this is exactly why the bound is rigid and the saturating configurations solve first-order rather than second-order equations. The vortex flux quantisation is dual to the instanton's Pontryagin number in the sense that both measure a degree of an asymptotic gauge map, here rather than . Putting these together, vortices and instantons are two incarnations of one principle: a finite-action field configuration carries an integer set by the homotopy of its boundary data, and the energy is minimised within each integer sector at critical coupling by the Bogomolny equations.

Exercises Intermediate+

Advanced results Master

Theorem (Bogomolny saturation and self-duality, ). At critical coupling the second-order Euler-Lagrange equations of the Abelian Higgs energy admit a first-order reduction. A finite-energy configuration of winding minimises in its sector if and only if it solves $$ (D_1 + i D_2)\phi = 0, \qquad B = e\big(|\phi|^2 - v^2\big), $$ and then . The first equation states that is covariantly holomorphic; the second is the vortex analogue of the self-duality equation, with the field strength algebraically fixed by the scalar magnitude.

Theorem (Taubes existence and the vortex moduli space). At critical coupling, the gauge-equivalence classes of charge- Bogomolny vortices on are in bijection with effective divisors of degree , i.e. with unordered -tuples of points in counted with multiplicity. The moduli space is , a smooth complex manifold of real dimension . The points are the zeros of ; each carries one unit of localised flux, and well-separated zeros describe unit vortices that may sit anywhere and superpose at no energy cost.

The proof reduces the Bogomolny system, via , to the scalar Taubes equation , whose unique finite-energy solution for each prescribed divisor was established by Jaffe and Taubes by a variational / monotone-iteration argument on the regularised functional. The metric on tangent vectors to — the Samols metric — is Kähler and governs the slow (adiabatic) dynamics of moving vortices, where scattering of two head-on vortices is the geometric signature of the smooth structure of .

Theorem (Abrikosov lattice; type-II ground state in a field). In a type-II Ginzburg-Landau system () subjected to an external field between the lower and upper critical fields , the free-energy-minimising mixed state is a periodic array of unit flux lines. Linearising near , Abrikosov showed the order parameter is a theta-function-like superposition of lowest-Landau-level states whose Abrikosov ratio is minimised by the triangular lattice (), narrowly below the square lattice (). The triangular Abrikosov lattice is the observed flux-line arrangement in clean type-II superconductors.

Theorem (topological classification by the first Chern number). For a gauge configuration on (or on a compact surface) with at infinity, the winding number equals the first Chern number of the associated line bundle, $$ n = c_1 = \frac{1}{2\pi}\int B , d^2x = \frac{e\Phi}{2\pi}, $$ an integer because it is the degree of the asymptotic phase map . On a compact Riemann surface the analogous statement (vortices on ) requires the Bradlow bound : a fixed area can hold only finitely many units of flux before the scalar is forced everywhere to zero (the dissolved limit).

Synthesis. The vortex is the foundational example of a codimension-two topological soliton, and putting these results together they identify the abstract winding with a chain of concrete invariants: it is the first Chern number of the line bundle, the quantised magnetic flux , and the number of zeros of the scalar field, all the same integer. This is exactly the pattern that recurs across the soliton zoo — the integer that protects the object is always the degree of an asymptotic map into the vacuum manifold, and it is dual to the boundary term that saturates the energy bound at critical coupling. The central insight is that at the BPS point the second-order dynamics collapses to first-order equations whose solution space is a finite-dimensional moduli space, here , on which the residual low-energy physics is geodesic motion in the Samols metric; this geometrisation of soliton dynamics builds toward the same moduli-space programme that governs monopoles and instantons. The bridge is that the Abelian Higgs vortex, the 't Hooft-Polyakov monopole, and the BPST instanton are the , , and members of one family of topologically protected finite-energy configurations, each with its own Bogomolny completion and its own moduli space, and the vortex is the member where the topology, the analysis, and the geometry are most completely under control.

Full proof set Master

Proposition (flux quantisation from finite energy). Every finite-energy configuration of the Abelian Higgs model on has magnetic flux with .

Proof. Finite energy requires and at spatial infinity, so on a circle of large radius the field is and . For to be integrable in , the tangential covariant derivative must decay, forcing on . The phase is a continuous real-valued function on the circle modulo , so for a unique integer (the degree of ). By Stokes, $$ \Phi = \int_{D_R} B,d^2x = \oint_{S^1_R} A_\theta,R,d\theta = \frac1e\oint \partial_\theta\chi,d\theta + o(1) = \frac{2\pi n}{e} + o(1), $$ and letting removes the remainder. The flux is exactly .

Proposition (Bogomolny completion, ). At critical coupling the static energy satisfies , saturated iff the Bogomolny equations hold.

Proof. Use the planar identity, valid for any complex field, $$ |D_i\phi|^2 = |(D_1 \pm i D_2)\phi|^2 \pm \big[, e B|\phi|^2 + \epsilon_{ij}\partial_i \mathrm{Im}(\phi^* D_j\phi),\big], $$ which follows by expanding the modulus squared and using . Substitute into the energy and group the magnetic term with the potential at : $$ E = \int d^2x\Big[\tfrac12\big(B \mp e(|\phi|^2 - v^2)\big)^2 + |(D_1 \pm iD_2)\phi|^2\Big] \pm e v^2!\int B,d^2x \pm \oint \mathrm{Im}(\phi^* D_j\phi),dx^j. $$ The contour term vanishes because at infinity. The middle term is . Choosing the upper sign for (lower for ) makes this ; halving by the normalisation convention of the magnetic energy gives the surviving constant . The two integrated squares are non-negative, so , with equality iff and .

Proposition (Bogomolny solutions solve the field equations). Any solution of the Bogomolny equations is a critical point of the full energy functional, hence a solution of the second-order field equations.

Proof. The completed energy writes as a sum of non-negative squares plus a topological constant fixed by . The topological constant is locally invariant under any compactly supported variation of that preserves , because the flux is a boundary integral. A configuration annihilating both squares is therefore an absolute minimiser of within its sector, and any minimiser of a differentiable functional is a critical point. Critical points of are exactly the static solutions of the Euler-Lagrange (second-order) field equations. Hence Bogomolny solutions solve the full field equations, without the converse holding: not every field-equation solution saturates the bound.

Proposition (no static finite-energy vortex away from criticality changes the topological count). For any , a finite-energy winding- configuration carries flux ; the value of controls the profile and the intervortex force but not the flux.

Proof. The flux argument of the first Proposition used only finite energy and the asymptotic condition , never the value of . Changing deforms the potential and hence the radial profile equations and the minimiser, but the boundary data — the degree of the phase map at infinity — is a discrete invariant insensitive to continuous deformation of the bulk. Therefore the flux is independent of . The coupling enters the energy through versus , whose ratio sets the sign of the static intervortex force (attractive for , repulsive for , vanishing at ).

Connections Master

  • BPST instanton and the Bogomolny bound 03.07.07. The vortex is the two-dimensional, sibling of the four-dimensional, instanton. Both arise from completing a positive energy or action functional into a sum of squares plus a topological boundary term, and both saturate their bound on first-order (Bogomolny / self-duality) equations. The vortex flux plays the structural role of the instanton's Pontryagin number; the moduli-space programme — geodesic motion on the space of solutions — is shared, with the vortex case being the most completely solved.

  • Theta-vacua and the vacuum angle 12.18.04. The instanton sectors labelled by that organise the theta-vacuum are the same kind of homotopy classification that labels vortices by . The vortex provides the lower-dimensional, fully controlled model in which the topological-sector decomposition of a gauge theory's configuration space is visible without the subtleties of large gauge transformations in four dimensions.

  • Electromagnetism as Yang-Mills 03.07.29. The vortex lives in the spontaneously broken phase of exactly this Abelian gauge theory coupled to a charged scalar. The unbroken Coulomb phase has no vortices; switching on a scalar condensate that breaks is what makes the photon massive (the Meissner/penetration length) and traps magnetic flux into quantised tubes. The vortex is the topological defect of the Higgs phase of gauge theory.

  • Spontaneous symmetry breaking 08.02.02. The vacuum manifold whose classifies vortices is the orbit of the broken symmetry. Vortices are the codimension-two defects of any order parameter taking values in a circle, so the same topological reasoning governs superfluid vortices, liquid-crystal disclinations, and cosmic strings; the gauge coupling is what upgrades the global superfluid vortex (with its logarithmically divergent energy) to the finite-energy gauge vortex (with its screened, quantised flux).

  • Fundamental group 03.12.00. The entire classification rests on of the vacuum manifold: a vortex exists precisely because is non-zero, and its charge is an element of that group. A vacuum manifold with supports no stable vortex, which is the topological selection rule distinguishing line defects from point defects and textures.

Historical & philosophical context Master

The static structure descends from the 1950 phenomenological theory of Ginzburg and Landau, who wrote the free energy of a superconductor in terms of a complex macroscopic order parameter and a gauge potential [Ginzburg 1950]. Within that framework Alexei Abrikosov, in work completed in 1953 but published only in 1957 after Landau's initial scepticism, predicted that superconductors with — the type-II class — do not expel magnetic field wholesale but admit it as a regular lattice of quantised flux lines, each line a normal core surrounded by circulating supercurrent [Abrikosov 1957]. The triangular Abrikosov lattice was confirmed experimentally by neutron diffraction and decoration in the 1960s, and the prediction was a principal citation of Abrikosov's 2003 Nobel Prize.

The relativistic field-theory reading came in 1973, when Holger Bech Nielsen and Poul Olesen recognised the Abrikosov flux line as a solution of the relativistic Abelian Higgs model and proposed it as a concrete realisation of the dual string then being sought in hadron physics, computing its tension and identifying its long-wavelength dynamics with the Nambu-Goto action [Nielsen 1973]. This reinterpretation made the vortex a field-theory object in its own right and seeded the later identification of such tubes with cosmic strings in cosmology. The first-order structure was isolated by Evgeny Bogomolny in 1976, who showed that at the critical coupling the energy completes into squares plus a topological term, so that energy-minimising vortices solve first-order equations and their energy is exactly the topological charge [Bogomolny 1976]. The existence, uniqueness, and moduli-space structure of these critical-coupling vortices were established rigorously by Arthur Jaffe and Clifford Taubes in their 1980 monograph, reducing the system to a single semilinear elliptic equation whose solutions are parametrised by the divisor of scalar zeros.

Bibliography Master

@article{Abrikosov1957,
  author  = {Abrikosov, A. A.},
  title   = {On the magnetic properties of superconductors of the second group},
  journal = {Sov. Phys. JETP},
  volume  = {5},
  year    = {1957},
  pages   = {1174--1182},
  note    = {Zh. Eksp. Teor. Fiz. 32, 1442 (1957)}
}

@article{NielsenOlesen1973,
  author  = {Nielsen, H. B. and Olesen, P.},
  title   = {Vortex-line models for dual strings},
  journal = {Nucl. Phys. B},
  volume  = {61},
  year    = {1973},
  pages   = {45--61}
}

@article{Bogomolny1976,
  author  = {Bogomol'nyi, E. B.},
  title   = {The stability of classical solutions},
  journal = {Sov. J. Nucl. Phys.},
  volume  = {24},
  year    = {1976},
  pages   = {449--454}
}

@article{GinzburgLandau1950,
  author  = {Ginzburg, V. L. and Landau, L. D.},
  title   = {On the theory of superconductivity},
  journal = {Zh. Eksp. Teor. Fiz.},
  volume  = {20},
  year    = {1950},
  pages   = {1064--1082}
}

@book{JaffeTaubes1980,
  author    = {Jaffe, Arthur and Taubes, Clifford H.},
  title     = {Vortices and Monopoles: Structure of Static Gauge Theories},
  publisher = {Birkh\"auser},
  series    = {Progress in Physics},
  volume    = {2},
  year      = {1980}
}

@book{MantonSutcliffe2004,
  author    = {Manton, Nicholas and Sutcliffe, Paul},
  title     = {Topological Solitons},
  publisher = {Cambridge University Press},
  series    = {Cambridge Monographs on Mathematical Physics},
  year      = {2004}
}

@book{WeinbergEJ2012,
  author    = {Weinberg, Erick J.},
  title     = {Classical Solutions in Quantum Field Theory: Solitons and Instantons in High Energy Physics},
  publisher = {Cambridge University Press},
  year      = {2012}
}

@book{ColemanAspects1985,
  author    = {Coleman, Sidney},
  title     = {Aspects of Symmetry},
  publisher = {Cambridge University Press},
  year      = {1985}
}

@book{WeinbergQTFv2,
  author    = {Weinberg, Steven},
  title     = {The Quantum Theory of Fields, Volume 2: Modern Applications},
  publisher = {Cambridge University Press},
  year      = {1996}
}

@article{Taubes1980,
  author  = {Taubes, Clifford H.},
  title   = {Arbitrary $N$-vortex solutions to the first order Ginzburg-Landau equations},
  journal = {Comm. Math. Phys.},
  volume  = {72},
  year    = {1980},
  pages   = {277--292}
}

@article{Samols1992,
  author  = {Samols, T. M.},
  title   = {Vortex scattering},
  journal = {Comm. Math. Phys.},
  volume  = {145},
  year    = {1992},
  pages   = {149--179}
}