Showing posts with label Higgs field. Show all posts
Showing posts with label Higgs field. Show all posts

Thursday, August 25, 2016

Equations on Riemann surfaces

Recall that a Riemann surface is a complex 1-manifold $M$ with a complex structure $\Sigma$ (a class of analytically equivalent atlases on $X$). Here we consider equations that relate connections and Higgs fields with solutions on Riemann surfaces. Let $G=SU(2)$ (complex 2-matrices with determinant 1) or $SO(3)$ (real orthogonal 3-matrices with determinant 1), $\theta$ a Higgs field over $M$, and  $P$ a principal $G$-bundle over $M$.

Definition:
The curvature of a principal $G$-bundle $P$ is the map
\[
\begin{array}{r c l}
F_\nabla\ :\ \mathcal A^0_M(P) & \to & \mathcal A^2_M(P), \\
\omega s & \mapsto & (d_\nabla \circ \nabla)(\omega s),
\end{array}
\]
where the extension $d_\nabla:\mathcal A^k_M(P)\to \mathcal A^{k+1}_M(P)$ is defined by the Leibniz rule, that is $d_\nabla (\omega\otimes s) = (d\omega)\otimes s +(-1)^k\omega \wedge \nabla s$, for $\omega$ a $k$-form and $s$ a smooth section of $P$.

Since we may write $\mathcal A^1 = \mathcal A^{1,0}\oplus\mathcal  A^{0,1}$ as the sum of its holomorphic and anti-holomorphic parts, respectively (see post "Smooth projective varieties as Kähler manifolds," 2016-06-16), we may consider the restriction of $d_\nabla$ to either of these summands.

Definition: For a vector space $V$, define the Hodge star $*$ by
\[
\begin{array}{r c l}
*\ :\ \bigwedge^k(V^*) & \to & \bigwedge^{n-k}(V^*), \\
e^{i_1}\wedge \cdots \wedge e^{i_k} & \mapsto & e^{j_1}\wedge\cdots \wedge e^{j_{n-k}},
\end{array}
\]
so that $e^{i_1}\wedge\cdots \wedge e^{i_k}\wedge e^{j_1}\wedge\cdots \wedge e^{j_{n-k}} = e^1\wedge \cdots \wedge e^n$. Extend by linearity from the chosen basis.

The dual of the generalized connection $d_\nabla$ is written $d_\nabla^* = (-1)^{m+mk+1}*d_\nabla *$, where $\dim(M)=m$ and the argument of $d_\nabla^*$ is in $\mathcal A^k_M$ (this holds for manifolds $M$ that are not necessarily Riemann surfaces as well).

Now we may understand some equations on Riemann surfaces. They all deal with the connection $\nabla$, its generalization $d_\nabla$, its curvature $F_\nabla$, and the Higgs field $\theta$. Below we indicate their names and where they are mentioned (and described in further detail).
\begin{align*}
\text{Hitchin equations} && \left.d_\nabla\right|_{A^{0,1}}\theta & = 0 && [2],\ \text{Introduction}\\
&& F_\nabla + [\theta,\theta^*] & = 0\\[10pt]
\text{Yang-Mills equations} && d^*_\nabla d_\nabla \theta + *[*F_\nabla,\theta] & = 0 && [1],\ \text{Section 4} \\
&& d_\nabla^*\theta & = 0 \\[10pt]
\text{self-dual Yang-Mills equation} && F_\nabla  - *F_\nabla & = 0 && [2],\ \text{Section 1}\\[10pt]
\text{Yang-Mills-Higgs equations} && d_\nabla *F_\nabla + [\theta,d_\nabla \theta] & = 0 && [4],\ \text{equation (1)} \\
&& d_\nabla * d_\nabla \theta & = 0
\end{align*}

Recall the definitions of $\theta$ and $\theta*$ from a previous post ("Higgs fields of principal bundles," 2016-08-24). Now we look at these equations in more detail. The first of the Hitchin equations says that $\theta$ has no anti-holomorphic component, or in other words, that $\theta$ is holomorphic. In the second equation, the Lie bracket $[\cdot,\cdot]$ of the two 1-forms is
\begin{align*}
[\theta,\theta^*] & = \left[\textstyle\frac12f(dz+i\ dy), \frac12\bar f(dz - i\ dy) \right] \\
& = \textstyle -\frac i4f\bar f\ dx\wedge dy + \frac i4 f\bar f\ dy \wedge dx -\frac i4 f\bar f\ dx\wedge dy +\frac i4 f\bar f\ dy\wedge dx \\
& = -i|f|^2\ dx\wedge dy.
\end{align*}
In the Yang-Mills and Yang-Mills-Higgs equations, we can simplify some parts by noting that, for a section $s$ of the complexification of $P\times_\ad \mathfrak g$,
\begin{align*}
d_\nabla (\theta\otimes s) & = \textstyle \frac12d_\nabla (fdx\otimes s) + \frac i2 d_\nabla (fdy \otimes s) \\
& = \textstyle \frac12 (df\wedge dx \otimes s - fdx \wedge \nabla s) +\frac i2 (df\wedge dy - fdy \wedge \nabla s) \\
& = \left(\frac i2\frac{\dy f}{\dy x} - \frac 12 \frac{\dy f}{\dy y}\right)dx\wedge dy \otimes s - \underbrace{\textstyle \frac12f(dx+idy)}_{\theta}\wedge \nabla s.
\end{align*}
The Hodge star of $\theta$ is $*\theta = \frac 12f(dy -idx)$, so
\begin{align*}
d_\nabla *(\theta\otimes s) & = \textstyle \frac12d_\nabla (fdy\otimes s) - \frac i2 d_\nabla (fdx \otimes s) \\
& = \textstyle \frac12 (df\wedge dy \otimes s - fdy \wedge \nabla s) -\frac i2 (df\wedge dx - fdx \wedge \nabla s) \\
& = \left(\frac 12\frac{\dy f}{\dy x} + \frac i2 \frac{\dy f}{\dy y}\right)dx\wedge dy \otimes s + \underbrace{\textstyle \frac12f(idx-dy)}_{i\theta}\wedge \nabla s.
\end{align*}
We could express $\nabla s = (s_1dx + s_2dy)\otimes s^1$, but that would not be too enlightening. Next, note the self-dual Yang-Mills equation only makes sense over a (real) 4-dimensional space, since the degrees of the forms have to match up. In that case, with a basis $dz_1=dx_1+idy_1, dz_2 = dx_2+idy_2$ of $\mathcal A^1$, we have
\begin{align*}
F_\nabla & = F_{12} dx_1\wedge dy_1 + F_{13} dx_1 \wedge dx_2 + F_{14} dx_1\wedge dy_2 + F_{23} dy_1\wedge dx_2 + F_{24} dy_1\wedge dy_2 + F_{34} dx_2\wedge dy_2, \\
*F_\nabla & = F_{12} dx_2\wedge dy_2 - F_{13} dy_1 \wedge dy_2 + F_{14} dy_1\wedge dx_2 + F_{23} dx_1\wedge dy_2 - F_{24} dx_1\wedge dx_2 + F_{34} dx_1\wedge dy_1.
\end{align*}
Then the self-dual equation simply claims that
\[
F_{12} = F_{34}
\hspace{1cm},\hspace{1cm}
F_{13} = -F_{24}
\hspace{1cm},\hspace{1cm}
F_{14} = F_{23}.
\]

Remark:
This title of this post promises to talk about equations on Riemann surfaces, yet all the differential forms are valued in a principal $G$-bundle over $\R^2$ (or $\R^4$). However, since the given equations are conformally invariant (this is not obvious), and as a Riemann surface locally looks like $\R^2$, we may consider the solutions to the equations as living on a Riemann surface.

References:
[1] Atiyah and Bott (The Yang-Mills equations over Riemann surfaces)
[2] Hitchin (Self-duality equations on a Riemann surface)
[3] Huybrechts (Complex Geometry, Chapter 4.3)
[4] Taubes (On the Yang-Mills-Higgs equations)

Wednesday, August 24, 2016

Higgs fields of principal bundles

The goal here is to understand the setting of Higgs fields on Riemannian manifolds, in the manner of Hitchin. First we consider general topological spaces $X$ and groups $G$.

Definition: Let $X$ be a topological space and $G$ a group. A principal bundle (or principal $G$-bundle) $P$ over $X$ is a fiber bundle $\pi:P\to X$ together with a continuous, free, and transitive right action $P\times G\to P$ that preserves the fibers. That is, if $p\in \pi^{-1}(x)$, then $pg\in \pi^{-1}(x)$ for all $g\in G$ and $x\in X$.

Now suppose we have a principal bundle $\pi:P\to X$, a representation $\rho$ of $G$, and another space $Y$ on which $G$ acts on the left. Define an equivalence relation $(p,y)\sim (p',y')$ on $P\times Y$ iff there is some $g\in G$ for which $p'=pg$ and $y'=\rho(g^{-1})y$. This is an equivalence relation. We will be interested in the adjoint representation (induced by conjugation).

Proposition: The projection map $\pi':P\times_\rho Y := (P\times Y)/\sim\ \to X$, where $\pi'([p,y]) = \pi(p)$, defines a vector bundle over $X$, called the associated bundle of $P$.

Recall a Lie group $G$ is a group that is also a topological space, in the sense that there is a continuous map $G\times G\to G$, given by $(g,h)\mapsto gh^{-1}$. The Lie algebra $\mathfrak g$ of the Lie group $G$ is the tangent space $T_eG$ of $G$ at the identity $e$. We will be interested in principal $G$-bundles $P\to \R^2$ and associated bundles $P\times_\ad \mathfrak g\to \R^2$, where $\ad$ is the adjoint representation of $G$.

Next, recall we had the space $\mathcal A^k_M$ of $k$-differential forms on $M$ (see post "Smooth projective varieties as Kähler manifiolds," 2016-06-16), defined in terms of wedge products of elements in the cotangent bundle $(TM)^* = T^*M$ of $M$. Now we generalize this to get differential forms over arbitrary vector bundles.

Definition: Let $E\to M$ be a vector bundle. Let
\begin{align*}
\mathcal A^k_M(E) & := \Gamma(E\otimes \textstyle\bigwedge^k T^*M) = \Gamma(E)\otimes_{\mathcal A^0_M}\mathcal A^k_M, \\
\mathcal A^{p,q}_M(E) & := \Gamma(E\otimes \textstyle\bigwedge^p (T^{1,0}M)^*\otimes \bigwedge^q (T^{0,1}M)^*) = \Gamma(E)\otimes_{\mathcal A^0_M}\mathcal A^{p,q}_M
\end{align*}
be the spaces of $k$- and $(p,q)$-differential forms, respectively, over $M$ with values in $E$.

Equality above follows by functoriality. Now we are close to understanding where exactly the Higgs field lives, in Hitchin's context.

Definition: Given a function $f:\C\to \C$, the conjugate of $f$ is $\bar f$, defined by $\bar f(z) = \overline{f(\bar z)}$.

Hitchin denotes this as $f^*$, but we will stick to $\bar f$. Finally, let $P$ be a $G$-principal bundle over $\R^2$ and $P\times_\ad \mathfrak g$ the associated bundle of $P$. Given $f\in \mathcal A^0_{\R^2}( (P\times_\ad \mathfrak g)\otimes \C)$, set
\begin{align*}
\theta & = \textstyle \frac12 f(dx+i\ dy) \in \mathcal A^{1,0}_{\R^2}((P\times_\ad\mathfrak g)\otimes \C) ,\\
\theta^* & = \textstyle \frac12 \bar f(dx-i\ dy) \in \mathcal A^{0,1}_{\R^2}((P\times_\ad\mathfrak g)\otimes \C),
\end{align*}
called a Higgs field over $\R^2$ and (presumably) a dual (or conjugate) Higgs field over $\R^2$. Note this agrees with the definition in a previous post ("Connections, curvature, and Higgs bundles," 2016-07-25).

References: Hitchin (Self-duality equations on a Riemann surface), Wikipedia (article on associated bundles, article on vector-valued differential forms)