Ginzburg–Landau theory

In physics, Ginzburg–Landau theory, often called Landau–Ginzburg theory, named after Vitaly Ginzburg and Lev Landau, is a mathematical physical theory used to describe superconductivity. In its initial form, it was postulated as a phenomenological model which could describe type-I superconductors without examining their microscopic properties. One GL-type superconductor is the famous YBCO, and generally all cuprates.

Later, a version of Ginzburg–Landau theory was derived from the Bardeen–Cooper–Schrieffer microscopic theory by Lev Gor'kov, thus showing that it also appears in some limit of microscopic theory and giving microscopic interpretation of all its parameters. The theory can also be given a general geometric setting, placing it in the context of Riemannian geometry, where in many cases exact solutions can be given. This general setting then extends to quantum field theory and string theory, again owing to its solvability, and its close relation to other, similar systems.

Introduction

Based on Landau's previously established theory of second-order phase transitions, Ginzburg and Landau argued that the free energy density <math>f_s</math> of a superconductor near the superconducting transition can be expressed in terms of a complex order parameter field <math>\psi(r) = |\psi(r)|e^{i\phi(r)}</math>, where the quantity <math>|\psi(r)|^2</math> is a measure of the local density of superconducting electrons <math>n_s(r)</math> analogous to a quantum mechanical wave function. In this interpretation, ||2 indicates the fraction of electrons that have condensed into a superfluid.

Classification of superconductors

In the original paper Ginzburg and Landau observed the existence of two types of superconductors depending

on the energy of the interface between the normal and superconducting states. The Meissner state breaks down when the applied magnetic field is too large. Superconductors can be divided into two classes according to how this breakdown occurs. In Type I superconductors, superconductivity is abruptly destroyed when the strength of the applied field rises above a critical value Hc. Depending on the geometry of the sample, one may obtain an intermediate state consisting of a pattern of regions of normal material carrying a magnetic field mixed with regions of superconducting material containing no field. In Type II superconductors, raising the applied field past a critical value Hc1 leads to a mixed state (also known as the vortex state) in which an increasing amount of magnetic flux penetrates the material, but there remains no resistance to the flow of electric current as long as the current is not too large. At a second critical field strength Hc2, superconductivity is destroyed. The mixed state is actually caused by vortices in the electronic superfluid, sometimes called fluxons because the flux carried by these vortices is quantized. Most pure elemental superconductors, except niobium and carbon nanotubes, are Type I, while almost all impure and compound superconductors are Type II.

The most important finding from Ginzburg–Landau theory was made by Alexei Abrikosov in 1957. He used Ginzburg–Landau theory to explain experiments on superconducting alloys and thin films. He found that in a type-II superconductor in a high magnetic field, the field penetrates in a triangular lattice of quantized tubes of flux vortices.

Geometric formulation

The Ginzburg–Landau functional can be formulated in the general setting of a complex vector bundle over a compact Riemannian manifold. This is the same functional as given above, transposed to the notation commonly used in Riemannian geometry. In multiple interesting cases, it can be shown to exhibit the same phenomena as the above, including Abrikosov vortices (see discussion below).

For a complex vector bundle <math>E</math> over a Riemannian manifold <math>M</math> with fiber <math>\Complex^n</math>, the order parameter <math>\psi</math> is understood as a section of the vector bundle <math>E</math>. The Ginzburg–Landau functional is then a Lagrangian for that section:

:<math>

\mathcal{L}(\psi, A) =

\int_M \sqrt{|g|} dx^1 \wedge \dotsm \wedge dx^m \left[

\vert F \vert^2 + \vert D \psi\vert^2 + \frac{1}{4} \left(\sigma - \vert\psi\vert^2\right)^2

\right]

</math>

The notation used here is as follows. The fibers <math>\Complex^n</math> are assumed to be equipped with a Hermitian inner product <math>\langle\cdot,\cdot\rangle</math> so that the square of the norm is written as <math>\vert\psi\vert^2 = \langle\psi,\psi\rangle</math>. The phenomenological parameters <math>\alpha</math> and <math>\beta</math> have been absorbed so that the potential energy term is a quartic mexican hat potential; i.e., exhibiting spontaneous symmetry breaking, with a minimum at some real value <math>\sigma\in\R</math>. The integral is explicitly over the volume form

:<math>*(1) = \sqrt{|g|} dx^1 \wedge \dotsm \wedge dx^m</math>

for an <math>m</math>-dimensional manifold <math>M</math> with determinant <math>|g|</math> of the metric tensor <math>g</math>.

The <math>D = d + A</math> is the connection one-form and <math>F</math> is the corresponding curvature 2-form (this is not the same as the free energy <math>F</math> given up top; here, <math>F</math> corresponds to the electromagnetic field strength tensor). The <math>A</math> corresponds to the vector potential, but is in general non-Abelian when <math>n> 1</math>, and is normalized differently. In physics, one conventionally writes the connection as <math>d-ieA</math> for the electric charge <math>e</math> and vector potential <math>A</math>; in Riemannian geometry, it is more convenient to drop the <math>e</math> (and all other physical units) and take <math>A = A_\mu dx^\mu</math> to be a one-form taking values in the Lie algebra corresponding to the symmetry group of the fiber. Here, the symmetry group is SU(n), as that leaves the inner product <math>\langle\cdot,\cdot\rangle</math> invariant; so here, <math>A</math> is a form taking values in the algebra <math>\mathfrak{su}(n)</math>.

The curvature <math>F</math> generalizes the electromagnetic field strength to the non-Abelian setting, as the curvature form of an affine connection on a vector bundle . It is conventionally written as

:<math>\begin{align}

F = D \circ D = dA + A \wedge A = \left(\frac{\partial A_\nu}{\partial x^\mu} + A_\mu A_\nu\right) dx^\mu \wedge dx^\nu = \frac{1}{2} \left(\frac{\partial A_\nu}{\partial x^\mu} - \frac{\partial A_\mu}{\partial x^\nu} + [A_\mu, A_\nu]\right) dx^\mu \wedge dx^\nu \\

\end{align}</math>

That is, each <math>A_\mu</math> is an <math>n \times n</math> skew-symmetric matrix. (See the article on the metric connection for additional articulation of this specific notation.) To emphasize this, note that the first term of the Ginzburg–Landau functional, involving the field-strength only, is

:<math>\mathcal{L}(A) = YM(A) = \int_M *(1) \vert F \vert^2 </math>

which is just the Yang–Mills action on a compact Riemannian manifold.

The Euler–Lagrange equations for the Ginzburg–Landau functional are the Yang–Mills equations

:<math>D^*D\psi = \frac{1}{2}\left(\sigma - \vert\psi\vert^2\right)\psi</math>

and

:<math>D^*F = -\operatorname{Re}\langle D\psi, \psi\rangle</math>

where <math>D^*</math> is the adjoint of <math>D</math>, analogous to the codifferential <math>\delta = d^*</math>. Note that these are closely related to the Yang–Mills–Higgs equations.

Specific results

In string theory, it is conventional to study the Ginzburg–Landau functional for the manifold <math>M</math> being a Riemann surface, and taking <math>n = 1</math>; i.e., a line bundle. The phenomenon of Abrikosov vortices persists in these general cases, including <math>M=\R^2</math>, where one can specify any finite set of points where <math>\psi</math> vanishes, including multiplicity. The proof generalizes to arbitrary Riemann surfaces and to Kähler manifolds. In the limit of weak coupling, it can be shown that <math>\vert\psi\vert</math> converges uniformly to 1, while <math>D\psi</math> and <math>dA</math> converge uniformly to zero, and the curvature becomes a sum over delta-function distributions at the vortices. The sum over vortices, with multiplicity, just equals the degree of the line bundle; as a result, one may write a line bundle on a Riemann surface as a flat bundle, with N singular points and a covariantly constant section.

When the manifold is four-dimensional, possessing a spinc structure, then one may write a very similar functional, the Seiberg–Witten functional, which may be analyzed in a similar fashion, and which possesses many similar properties, including self-duality. When such systems are integrable, they are studied as Hitchin systems.

Self-duality

When the manifold <math>M</math> is a Riemann surface <math>M=\Sigma</math>, the functional can be re-written so as to explicitly show self-duality. One achieves this by writing the exterior derivative as a sum of Dolbeault operators <math>d=\partial+\overline\partial</math>. Likewise, the space <math>\Omega^1</math> of one-forms over a Riemann surface decomposes into a space that is holomorphic, and one that is anti-holomorphic: <math>\Omega^1=\Omega^{1,0}\oplus\Omega^{0,1}</math>, so that forms in <math>\Omega^{1,0}</math> are holomorphic in <math>z</math> and have no dependence on <math>\overline z</math>; and vice-versa for <math>\Omega^{0,1}</math>. This allows the vector potential to be written as <math>A=A^{1,0}+A^{0,1}</math> and likewise <math>D=\partial_A + \overline\partial_A</math> with <math>\partial_A=\partial+A^{1,0}</math> and <math>\overline\partial_A=\overline\partial+A^{0,1}</math>.

For the case of <math>n=1</math>, where the fiber is <math>\Complex</math> so that the bundle is a line bundle, the field strength can similarly be written as

:<math>F=-\left(\partial_A \overline\partial_A + \overline\partial_A \partial_A\right)</math>

Note that in the sign-convention being used here, both <math>A^{1,0}, A^{0,1}</math> and <math>F</math> are purely imaginary (viz U(1) is generated by <math>e^{i\theta}</math> so derivatives are purely imaginary). The functional then becomes

:<math>\mathcal{L}\left(\psi,A\right)=

2\pi\sigma \operatorname{deg} L +

\int_\Sigma \frac{i}{2} dz \wedge d\overline z

\left[2 \vert\overline\partial_A\psi\vert^2 +

\left(*(-iF) - \frac{1}{2} (\sigma - \vert\psi\vert^2 \right)^2 \right]

</math>

The integral is understood to be over the volume form

:<math>*(1) = \frac{i}{2} dz \wedge d\overline z</math>,

so that

:<math>\operatorname{Area}\Sigma = \int_\Sigma *(1)</math>

is the total area of the surface <math>\Sigma</math>. The <math>*</math> is the Hodge star, as before. The degree <math>\operatorname{deg} L</math> of the line bundle <math>L</math> over the surface <math>\Sigma</math> is

:<math>\operatorname{deg}L = c_1(L) = \frac{1}{2\pi} \int_\Sigma iF</math>

where <math>c_1(L) = c_1(L)[\Sigma]\in H^2(\Sigma)</math> is the first Chern class.

The Lagrangian is minimized (stationary) when <math>\psi,A</math> solve the Ginzberg–Landau equations

:<math>\begin{align}

\overline\partial_A \psi &= 0 \\

(iF) &= \frac{1}{2} \left(\sigma - \vert\psi\vert^2 \right) \\

\end{align}</math>

Note that these are both first-order differential equations, manifestly self-dual. Integrating the second of these, one quickly finds that a non-trivial solution must obey

:<math>4\pi \operatorname{deg}L \le \sigma \operatorname{Area} \Sigma</math>.

Roughly speaking, this can be interpreted as an upper limit to the density of the Abrikosov vortices. One can also show that the solutions are bounded; one must have <math>|\psi|\le\sigma</math>.

In string theory

In particle physics, any quantum field theory with a unique classical vacuum state and a potential energy with a degenerate critical point is called a Landau–Ginzburg theory. The generalization to N = (2,2) supersymmetric theories in 2 spacetime dimensions was proposed by Cumrun Vafa and Nicholas Warner in November 1988; in this generalization one imposes that the superpotential possess a degenerate critical point. The same month, together with Brian Greene they argued that these theories are related by a renormalization group flow to sigma models on Calabi–Yau manifolds. In his 1993 paper "Phases of N = 2 theories in two-dimensions", Edward Witten argued that Landau–Ginzburg theories and sigma models on Calabi–Yau manifolds are different phases of the same theory. A construction of such a duality was given by relating the Gromov–Witten theory of Calabi–Yau orbifolds to FJRW theory an analogous Landau–Ginzburg "FJRW" theory. Witten's sigma models were later used to describe the low energy dynamics of 4-dimensional gauge theories with monopoles as well as brane constructions.

References

Papers

V.L. Ginzburg and L.D. Landau, Zh. Eksp. Teor. Fiz. 20, 1064 (1950). English translation in: L. D. Landau, Collected papers (Oxford: Pergamon Press, 1965) p. 546
A.A. Abrikosov, Zh. Eksp. Teor. Fiz. 32, 1442 (1957) (English translation: Sov. Phys. JETP 5 1174 (1957)].) Abrikosov's original paper on vortex structure of Type-II superconductors derived as a solution of G–L equations for κ > 1/√2
L.P. Gor'kov, Sov. Phys. JETP 36, 1364 (1959)
A.A. Abrikosov's 2003 Nobel lecture: pdf file or video
V.L. Ginzburg's 2003 Nobel Lecture: pdf file or video