Let $\gamma(t)=(x(t),y(t))$ be a positively-oriented simple closed curve in $\mathbb{R}^2$ with period $a$. The area of its interior is given by

$$A(\mathrm{int}(\gamma))=\int\int_{\mathrm{int}(\gamma)}dxdy=\frac{1}{2}\int_0^a(x\dot y-y\dot x)dt$$

The last line integral is obtained by applying Green’s Theorem to the second double integral. A rigid motion can be given by $M=T_b\circ R_{\theta}$ where $R_{\theta}=\begin{pmatrix}

\cos\theta & -\sin\theta\\

\sin\theta & \cos\theta

\end{pmatrix}$ is a rotation by an angle $\theta$ and $T_b$ is a translation by a constant vector $b=(b_1,b_2)$. So $\tilde\gamma=M(\gamma)$ is given by

$$\tilde\gamma=(\tilde x,\tilde y)=(x\cos\theta-y\sin\theta+b_1,x\sin\theta+y\cos\theta+b_2)$$

and

\begin{align*}\tilde x\dot{\tilde y}-\tilde y\dot{\tilde x}&=x\dot y-y\dot x+b_1(\dot x\sin\theta+\dot y\cos\theta)-b_2(\dot x\cos\theta-\dot y\sin\theta)\\&=x\dot y-y\dot x+b\cdot\begin{pmatrix}

\sin\theta & \cos\theta\\

-\cos\theta & \sin\theta

\end{pmatrix}\begin{pmatrix}

\dot x\\

\dot y

\end{pmatrix}\\&=x\dot y-y\dot x+b\cdot R_{\theta-\frac{\pi}{2}}(\dot\gamma)\end{align*}

\begin{align*}\int_0^a b\cdot R_{\theta-\frac{\pi}{2}}(\dot\gamma(t))dt&=b\cdot R_{\theta-\frac{\pi}{2}}\left(\int_0^a\dot\gamma(t)dt\right)\\

&=0\end{align*}

since $\int_0^a\dot\gamma(t)dt=\gamma(a)-\gamma(0)=0$. ($\gamma(t)$ is a simple closed curve with period $a$.) Therefore, $A(\mathrm{int}(\gamma))=A(\mathrm{int}(M(\gamma))$.

# Category Archives: Differential Geometry

# The Curvature of a Surface in Euclidean 3-Space $\mathbb{R}^3$

In here, it is seen that the curvature of a unit speed parametric curve $\alpha(t)$ in $\mathbb{R}^3$ can be measured by its acceleration $\ddot\alpha(t)$. In this case, the acceleration happens to be a normal vector field along the curve. Now we turn our attention to surfaces in Euclidean 3-space $\mathbb{R}^3$ and we would like to devise a way to measure the bending of a surface in $\mathbb{R}^3$, and it may be achieved by studying the change of a unit normal vector field on the surface. To study the change of a unit normal vector field on a surface, we need to be able to differentiate vector fields. But first let us review the directional derivative you learned in mutilvariable calculus. Let $f:\mathbb{R}^3\longrightarrow\mathbb{R}$ be a differentiable function and $\mathbf{v}$ a tangent vector to $\mathbb{R}^3$ at $\mathbf{p}$. Then the directional derivative of $f$ in the $\mathbf{v}$ direction at $\mathbf{p}$ is defined by

\begin{equation}

\label{eq:directderiv}

\nabla_{\mathbf{v}}f=\left.\frac{d}{dt}f(\mathbf{p}+t\mathbf{v})\right|_{t=0}.

\end{equation}

By chain rule, the directional derivative can be written as

\begin{equation}

\label{eq:directderiv2}

\nabla_{\mathbf{v}}f=\nabla f(\mathbf{p})\cdot\mathbf{v},

\end{equation}

where $\nabla f$ denotes the gradient of $f$

$$\nabla f=\frac{\partial f}{\partial x_1}E_1(\mathbf{p})+\frac{\partial f}{\partial x_2}E_2(\mathbf{p})+\frac{\partial f}{\partial x_3}E_3(\mathbf{p}),$$

where $E_1, E_2, E_3$ denote the standard orthonormal frame in $\mathbb{R}^3$. The directional derivative satisfies the following properties.

*Theorem*. Let $f,g$ be real-valued differentiable functions on $\mathbb{R}^3$, $\mathbf{v},\mathbf{w}$ tangent vectors to $\mathbb{R}^3$ at $\mathbf{p}$, and $a,b\in\mathbb{R}$. Then

- $\nabla_{a\mathbf{v}+b\mathbf{w}}f=a\nabla_{\mathbf{v}}f+b\nabla_{\mathbf{w}}f$
- $\nabla_{\mathbf{v}}(af+bg)=a\nabla_{\mathbf{v}}f+b\nabla_{\mathbf{v}}g$
- $\nabla_{\mathbf{v}}fg=(\nabla_{\mathbf{v}}f)g(\mathbf{p})+f(\mathbf{p})\nabla_{\mathbf{v}}g$

The properties 1 and 2 are linearity and the property 3 is Leibniz rule. The directional derivative \eqref{eq:directderiv} can be generalized to the *covariant derivative* $\nabla_{\mathbf{v}}X$ of a vector field $X$ in the direction of a tangent vector $\mathbf{v}$ at $\mathbf{p}$:

\begin{equation}

\label{eq:covderiv}

\nabla_{\mathbf{v}}X=\left.\frac{d}{dt}X(\mathbf{p}+t\mathbf{v})\right|_{t=0}.

\end{equation}

Let $X=x_1E_1+x_2E_2+x_2E_3$ in terms of the standard orthonormal frame $E_1,E_2,E_3$. Then $\nabla_{\mathbf{v}}X$ can be written as

\begin{equation}

\label{eq:covderiv2}

\nabla_{\mathbf{v}}X=\sum_{j=1}^3\nabla_{\mathbf{v}}x_jE_j.

\end{equation}

Here, $\nabla_{\mathbf{v}}x_j$ is the directional derivative of the $j$-th component function of the vector field $X$ in the $\mathbf{v}$ direction as defined in \eqref{eq:directderiv}. The covariant derivative satisfies the following properties.

*Theorem*. Let $X,Y$ be vector fields on $\mathbb{R}^3$, $\mathbf{v},\mathbf{w}$ tangent vectors at $\mathbf{p}$, $f$ a real-valued function on $\mathbb{R}^3$, and $a,b$ scalars. Then

- $\nabla_{\mathbf{v}}(aX+bY)=a\nabla_{\mathbf{v}}X+b\nabla_{\mathbf{v}}Y$
- $\nabla_{a\mathbf{v}+b\mathbf{w}}X=a\nabla_{\mathbf{v}}X+b\nabla_{\mathbf{v}}X$
- $\nabla_{\mathbf{v}}(fX)=(\nabla_{\mathbf{v}}f)X(\mathbf{p})+f(\mathbf{p})\nabla_{\mathbf{v}}X$
- $\nabla_{\mathbf{v}}(X\cdot Y)=(\nabla_{\mathbf{v}}X)\cdot Y+X\cdot\nabla_{\mathbf{v}}Y$

The properties 1 and 2 are linearity and the properties 3 and 4 are Leibniz rules.

Hereafter, I assume that surfaces are orientable and have nonvanishing normal vector fields. Let $\mathcal{M}\subset\mathbb{R}^3$ be a surface and $p\in\mathcal{M}$. For each $\mathbf{v}\in T_p\mathcal{M}$, define

\begin{equation}

\label{eq:shape}

S_p(\mathbf{v})=-\nabla_{\mathbf{v}}N,

\end{equation}

where $N$ is a unit normal vector field on a neighborhood of $p\in\mathcal{M}$. Since $N\cdot N=1$, $(\nabla_{\mathbf{v}}N)\cdot N=-2S_p(\mathbf{v})\cdot N=0$. This means that $S_p(\mathbf{v})\in T_p\mathcal{M}$. Thus, \eqref{eq:shape} defines a linear map $S_p: T_p\mathcal M\longrightarrow T_p\mathcal{M}$. $S_p$ is called the *shape operator of $\mathcal{M}$ at $p$ (derived from $N$)*.For each $p\in\mathcal{M}$, $S_p$ is a symmetric operator, i.e.,

$$\langle S_p(\mathbf{v}),\mathbf{w}\rangle=\langle S_p(\mathbf{w}),\mathbf{v}\rangle$$

for any $\mathbf{v},\mathbf{w}\in T_p\mathcal{M}$.

Let us assume that $\mathcal{M}\subset\mathbb{R}^3$ is a regular surface so that any differentiable curve $\alpha: (-\epsilon,\epsilon)\longrightarrow\mathcal{M}$ is a regular curve, i.e., $\dot\alpha(t)\ne 0$ for every $t\in(-\epsilon,\epsilon)$. If $\alpha$ is a differentiable curve in $\mathcal{M}\subset\mathbb{R}^3$, then

\begin{equation}

\label{eq:acceleration}

\langle\ddot\alpha,N\rangle=\langle S(\dot\alpha),\dot\alpha\rangle.

\end{equation}

$\langle\ddot\alpha,N\rangle$ is the normal component of the acceleration $\ddot\alpha$ to the surface $\mathcal{M}$. \eqref{eq:acceleration} says the normal component of $\ddot\alpha$ depends only on the shape operator $S$ and the velocity $\dot\alpha$. If $\alpha$ is represented by arc-length, i.e., $|\dot\alpha|=1$, then we get a measurement of the way $\mathcal{M}$ is bent in the $\dot\alpha$ direction. Hence we have the following definition:

*Definition*. Let $\mathbf{u}$ be a unit tangent vector to $\mathcal{M}\subset\mathbb{R}^3$ at $p$. Then the number $\kappa(\mathbf{u})=\langle S(\mathbf{u}),\mathbf{u}\rangle$ is called the normal curvature of $\mathcal{M}$ in $\mathbf{u}$ direction. The normal curvature $\kappa$ can be considered as a continuous function on the unit circle $\kappa: S^1\longrightarrow\mathbb{R}$. Since $S^1$ is compact (closed and bounded), $\kappa$ attains a maximum and a minimum values, say $\kappa_1$, $\kappa_2$, respectively. $\kappa_1$, $\kappa_2$ are called the principal curvatures of $\mathcal{M}$ at $p$. The principal curvatures $\kappa_1$, $\kappa_2$ are the eigenvalues of the shape operator $S$ and $S$ can be written as the $2\times 2$ matrix

\begin{equation}

\label{eq:shape2}

S=\begin{pmatrix}

\kappa_1 & 0\\

0 & \kappa_2

\end{pmatrix}.

\end{equation}

The arithmetic mean $H$ and the squared Gau{\ss}ian mean $K$ of $\kappa_1$, $\kappa_2$

\begin{align}

\label{eq:mean}

H&=\frac{\kappa_1+\kappa_2}{2}=\frac{1}{2}\mathrm{tr}S,\\

\label{eq:gauss}

K&=\kappa_1\kappa_2=\det S

\end{align}

are called, respectively, the *mean* and the* Gaußian curvatures* of $\mathcal{M}$. The definitions \eqref{eq:mean} and \eqref{eq:gauss} themselves however are not much helpful for calculating the mean and the Gaußian curvatures of a surface. We can compute the mean and the Gaußian curvatures of a parametric regular surface $\varphi: D(u,v)\longrightarrow\mathbb{R}^3$ using Gauß’ celebrated formulas

\begin{align}

\label{eq:mean2}

H&=\frac{G\ell+En-2Fm}{2(EG-F^2)},\\

\label{eq:gauss2}

K&=\frac{\ell n-m^2}{EG-F^2},

\end{align}

where

\begin{align*}

E&=\langle\varphi_u,\varphi_u\rangle,\ F=\langle\varphi_u,\varphi_v\rangle,\ G=\langle\varphi_v,\varphi_v\rangle,\\

\ell&=\langle N,\varphi_{uu}\rangle,\ m=\langle N,\varphi_{uv}\rangle,\ n=\langle N,\varphi_{vv}\rangle.

\end{align*}

It is straightforward to verify that

\begin{equation}

\label{eq:normal}

|\varphi_u\times\varphi_v|^2=EG-F^2.

\end{equation}

*Example*. Compute the Gaußian and the mean curvatures of helicoid

$$\varphi(u,v)=(u\cos v,u\sin v, bv),\ b\ne 0.$$

*Solution*. \begin{align*}

\varphi_u&=(\cos v,\sin v,0),\ \varphi_v=(-u\sin v,u\cos v,b),\\

\varphi_{uu}&=0,\ \varphi_{uv}=(-\sin v,\cos v,0),\ \varphi_{vv}=(-u\cos v,-u\sin v,0).

\end{align*}

$E$, $F$ and $G$ are calculated to be

$$E=1,\ F=0,\ G=b^2+u^2.$$

$\varphi_u\times\varphi_v=(b\sin v,-b\cos v,u)$, so the unit normal vector field $N$ is given by

$$N=\frac{\varphi_u\times\varphi_v}{\sqrt{EG-F^2}}=\frac{(b\sin v,-b\cos v,u)}{\sqrt{b^2+u^2}}.$$

Next, $\ell, m,n$ are calculated to be

$$\ell=0,\ m=-\frac{b}{\sqrt{b^2+u^2}},\ n=0.$$

Finally we find the Gaußian curvature $K$ and the mean curvature $H$:

\begin{align*}

K&=\frac{\ell n-m^2}{EG-F^2}=-\frac{b^2}{(b^2+u^2)^2},\\

H&=\frac{G\ell+En-2Fm}{2(EG-F^2)}=0.

\end{align*}

Surfaces with $H=0$ are called minimal surfaces.

For further reading on the topic I discussed here, I recommend:

Barrett O’Neil, *Elementary Differential Geometry*, Academic Press, 1967

# The Curvature of a Curve in Euclidean 3-space $\mathbb{R}^3$

The quantity *curvature* is intended to be a measurement of the bending or turning of a curve. Let $\alpha: I\longrightarrow\mathbb{R}^3$ be a regular curve (i.e. a smooth curve whose derivative never vanishes). If $\alpha$ were to have the unit speed, i.e.

\begin{equation}

\label{eq:unitspped}

||\dot\alpha(t)||^2=\alpha(t)\cdot\alpha(t)=1.

\end{equation}

Differentiating \eqref{eq:unitspped}, we see that $\dot\alpha(t)\cdot\ddot\alpha(t)=0$, i.e. the acceleration is normal to the velocity which is tangent to $\alpha$. Hence, measuring the acceleration is measuring the curvature. So, if we denote the curvature by $\kappa$, then

\begin{equation}

\label{eq:curvature}

\kappa=||\ddot\alpha(t)||.

\end{equation}

Remember that the definition of curvature \eqref{eq:curvature} requires the curve $\alpha$ to be a unit speed curve, but it is not necessarily always the case. What we know is that we can always reparametrize a curve and reparametrization does not change the curve itself but only changes its speed. There is one particular parametrization that we are interested in as it results a unit speed curve. It is called paramtrization by arc-length. This time let us assume that $\alpha$ is not a unit speed curve and define

\begin{equation}

\label{eq:arclength}

s(t)=\int_a^t||\dot\alpha(u)||du,

\end{equation}

where $a\in I$. Since $\frac{ds}{dt}>0$, $s(t)$ is an increasing function and so it is one-to-one. This means that we can solve \eqref{eq:arclength} for $t$ and this allows us to reparametrize $\alpha(t)$ by the arc-length parameter $s$.

*Example*. Let $\alpha: (-\infty,\infty)\longrightarrow\mathbb{R}^3$ be given by

$$\alpha(t)=(a\cos t,a\sin t,bt)$$

where $a>0$, $b\ne 0$. $\alpha$ is a right circular helix. Its speed is

$$||\dot\alpha(t)||=\sqrt{a^2+b^2}\ne 1.$$

$s(t)=\sqrt{a^2+b^2}t$, so $t=\frac{s}{\sqrt{a^2+b^2}}$. The reparametrization of $\alpha(t)$ by $s$ is given by

$$\alpha(s)=\left(a\cos\frac{s}{\sqrt{a^2+b^2}},b\sin\frac{s}{\sqrt{a^2+b^2}},\frac{bs}{\sqrt{a^2+b^2}}\right).$$

Hence the curvature $\kappa$ is

$$\kappa=\frac{a}{a^2+b^2}.$$

# Parallel Transport, Holonomy, and Curvature

Let $\gamma: [0,1]\longrightarrow M$ be a path. Using connection $\nabla$, one can consider the notion of moving a vector in $L_{\gamma(0)}$ to $L_{\gamma(1)}$ without changing it. This is *parallel transport*ing a vector from $L_{\gamma(0)}$ to $L_{\gamma(1)}$. The change is measured relative to $\nabla$, so if $\xi(t)\in L_{\gamma(t)}$ is moving without changing, it must satisfy the differential equation

$$\nabla_{\dot{\gamma}(t)}\xi=0,$$

where $\dot{\gamma}(t)$ is the tangent vector field to the curve $\gamma(t)$. The image of $\gamma(t)$ is covered by the $U_\alpha$’s on which $L$ has nowhere vanishing sections $s_\alpha$’s. Since $\gamma([0,1])$ is compact, the image of $\gamma$ is covered by only finitely many of such open sets. Let $U_\alpha$ be one of such open sets and assume that it contains $\gamma(0)$. Then $\xi|_{U_\alpha}(t)=\xi_\alpha(\gamma(t))s_\alpha(\gamma(t))$ where $\xi_\alpha: U_\alpha\longrightarrow\mathbb{C}$.

\begin{align*}

\nabla_{\dot{\gamma}(t)}\xi&=d\xi_\alpha(\dot{\gamma}(t))s_\alpha(\gamma(t))+A_\alpha(\dot{\gamma}(t))\xi_\alpha(\dot{\gamma}(t))s_\alpha(\gamma(t))\\

&=\left(\frac{d\xi_\alpha}{dt}(\gamma(t))+A_\alpha(\dot{\gamma}(t))\xi_\alpha(\dot{\gamma}(t))\right)s_\alpha(\gamma(t)).

\end{align*}

$\nabla_{\dot{\gamma}(t)}\xi=0$ implies that

$$\frac{d\xi_\alpha}{dt}=-A_\alpha(\dot{\gamma}(t))\xi_\alpha.$$

The solution of this equation is given by

$$\xi_\alpha(t)=\xi_\alpha(\gamma(0))\exp\left(-\int_0^tA_\alpha(\dot{\gamma}(u))du\right).$$

The standard existence and uniqueness theorems (Frobenius’ theorem) tell that parallel transport defines an isomorphism $L_{\gamma(0)}\cong L_{\gamma(t)}$ for any $\gamma(t)\in U_\alpha$. Suppose that the path $\gamma$ is covered by finitely many open sets $U_\alpha$, $U_{\alpha_1}$, $U_{\alpha_2}$, $\cdots$, $U_{\alpha_n}$ as shown in the following figure.

As discussed, we know that $L_{\gamma(0)}\cong L_{\gamma(t_1)}$. Using $\xi_{\alpha_1}(\gamma(t_1))=\xi_\alpha(\gamma(t_1))$ as the initial condition, we also find $\xi|_{U_{\alpha_1}}(t)=\xi_{\alpha_1}(\gamma(t))s_{\alpha_1}(\gamma(t))$ where

$$\xi_{\alpha_1}(t)=\xi_{\alpha_1}(\gamma(t_1))\exp\left(-\int_{t_1}^tA_{\alpha_1}(\dot{\gamma}(u))du\right).$$

This implies that $L_{\gamma(t_1)}\cong L_{\gamma(t_2)}$. Continuing this process, we obtain $L_{\gamma(t_2)}\cong L_{\gamma(t_3)}$, $\cdots$, $L_{\gamma(t_n)}\cong L_{\gamma(1)}$. Since the relation $\cong$ is transitive, we have

$$L_{\gamma(0)}\stackrel{P_\gamma}{\cong}L_{\gamma(1)}.$$

In general, $P_\gamma$ depends on $\gamma$ and $\nabla$. Now we are particularly interested in the case when $\gamma:[0,1]\longrightarrow M$ is a loop i.e. $\gamma(0)=\gamma(1)$. Then we can define the holonomy $\mathrm{hol}(\nabla,\gamma)$ of the connection $\nabla$ along the loop $\gamma$ by

$$P_\gamma(s)=\mathrm{hol}(\nabla,\gamma)s$$

for any nowhere vanishing section $s\in L_{\gamma(0)}$. So, what is really the meaning of the holonomy? In Euclidean space (the world we are familiar with), we can move a vector without changing its direction and magnitude by parallel translation. That is, in Euclidean space parallel translation is parallel transport. So, we do not distinguish vectors that have the same direction and magnitude in Euclidean space. In a curved manifold, there is no such parallel translation and parallel transport is considered relative to the connection $\nabla$ as we discussed above. For those who live in a manifold with connection $\nabla$, they will not know the difference when a vector is parallel transported relative to $\nabla$ along a loop. The initial vector and the one that comes back to the initial point after parallel transport must coincide. However, in our perspective (for those who live in Euclidean space) we notice a difference between them. The holonomy measures such a difference.

Since $\gamma$ is a loop, both $\gamma(0)$ and $\gamma(1)$ belong to the same open set, say $U_\alpha$.

\begin{align*}

P_\gamma(\xi(0))&=\xi(1)\\

&=\xi_\alpha({\gamma(1)})\exp\left(-\oint_{\gamma}A_\alpha(\dot{\gamma}(u))du\right)s(\gamma(1))\\

&=\xi_\alpha({\gamma(0)})\exp\left(-\oint_{\gamma}A_\alpha(\dot{\gamma}(u))du\right)s(\gamma(0)).

\end{align*}

On the other hand, $\xi(0)=\xi_\alpha(\gamma(0))s(\gamma(0))$. So

\begin{align*}

P_\gamma(\xi(0))&=P_\gamma(\xi_\alpha(\gamma(0))s(\gamma(0)))\\

&=\xi_\alpha(\gamma(0))P_\gamma(s(\gamma(0))).

\end{align*}

Hence, we see that

$$P_\gamma(s(\gamma(0)))=\exp\left(-\oint_{\gamma}A_\alpha(\dot{\gamma}(u))du\right)s(\gamma(0))$$

and that the holonomy is given by

$$\mathrm{hol}(\nabla,\gamma)=\exp\left(-\oint_\gamma A_\alpha\right).$$

If $\gamma$ is the boundary of a disk, then by Stokes’ theorem we have

\begin{align*}

\mathrm{hol}(\nabla,\gamma)&=\exp\left(-\int_DdA_\alpha\right)\\

&=\exp\left(-\int_D F\right)\ \ \ \ \ \ \ (1)

\end{align*}

where $D$ is the interior of the disk.

*Proposition*. If $L\stackrel{\pi}{\longrightarrow}M$ is a line bundle with connection $\nabla$ and $\Sigma$ is a compact submanifold of $M$ with boundary loop $\gamma=\partial M$, then

$$\mathrm{hol}(\nabla,\gamma)=\exp\left(-\int_\Sigma F\right).\ \ \ \ \ \ \ (2)$$

*Proof*. By compactness, we can triangulate $\Sigma$ so that each of the triangles is in some $U_\alpha$. Then we apply (1) to each triangle and the holonomy up and down the interior edges cancels to give the required result.

*Remark*. Clearly holonomy is a gauge invariant quantity. In gauge theory, (2) is called a *Wilson line* or a *Wilson loop*. It is important to note that the gauge connection may be constructed from the collection of Wilson loops up to gauge transformation.

*Example*. [Parallel Transport on the 2-Sphere] In this example, we calculate the holonomy of the standard connection on $TS^2$. Before we proceed, let us take look at the figure below.

It clearly shows that the holonomy is $e^{i\theta}$ since the discrepancy between the initial vector and the parallel transported vector along the loop is given by a rotation by angle $\theta$. Recall that

\begin{align*}

\frac{\partial}{\partial\theta}&=(-\sin\theta\sin\phi,\cos\theta\cos\phi,0),\\

\frac{\partial}{\partial\phi}&=(\cos\theta\cos\phi,\sin\theta\cos\phi,-\sin\phi).

\end{align*}

The unit normal vector field $\hat n$ is computed to be

\begin{align*}

\hat n&=(\cos\theta\sin\phi,\sin\theta\sin\phi,\cos\phi)\\

&=\sin\phi\frac{\partial}{\partial\phi}\times\frac{\partial}{\partial\theta}.

\end{align*}

Consider a nowhere vanishing section

$$s=(-\sin\theta,\cos\theta,0).$$

Then

$$ds=(-\cos\theta,-\sin\theta,0)d\theta.$$

\begin{align*}

\nabla s&=\pi(dx)\\

&=ds-\langle ds,\hat n\rangle\hat n\\

&=(-\cos\theta\cos^2\phi,-\sin\theta\cos^2\phi,\sin\theta\cos\phi)d\theta\\

&=\cos\phi\hat n\times s d\theta\\

&=i\cos\phi sd\theta.

\end{align*}

The last expression is obtained by the definition of scalar multiplication

$$(\alpha+i\beta)v=\alpha v+\beta\cdot u\times v$$

for $\alpha,\beta\in\mathbb{C}$ and $u,v\in T_\ast S^2$, as seen here. So the connection 1-form is

$$A=i\cos\phi d\theta$$

and the curvature is

\begin{align*}

F&=dA\\

&=-i\sin\phi d\phi\wedge d\theta.

\end{align*}

Note that $\sin\phi d\phi\wedge d\theta$ is the area form on $S^2$, so

$$F=-i\mathrm{area}.$$

The area of the region bounded by the loop is

$$\int_0^\theta\int_0^{\frac{\pi}{2}}\sin\phi d\phi d\theta=\theta.$$

Therefore, the holomony is

$$\mathrm{hol}(\nabla,\gamma)=e^{i\theta}$$

as we already know.

*References*:

[1] M. Murray, Notes on Line Bundles

# Sections of a Line Bundle II: Gauge Potential, Gauge Transformation, and Field Strength

A connection on a line bundle can be defined in a pretty much similar fashion to a connection on a manifold that is discussed here since sections are like vector fields. Let $L\longrightarrow M$ be a line bundle. A connection $\nabla$ is a bilinear map which maps a pair $(X,s)$ of a tangent vector field $X$ on $M$ and a section $s: M\longrightarrow L$ to a section $\nabla_Xs$ such that

\begin{align*}

\nabla_{fX+gY}s&=f\nabla_Xs+g\nabla_Ys\ (\mbox{linearity})\\

\nabla_Xfs&=df(X)s+f\nabla_Xs\ (\mbox{Leibniz rule})

\end{align*}

where $X,Y\in\mathfrak{X}(M)$, $f,g\in C^\infty (M)$ and $s:M\longrightarrow L$ is a section. Denote by $\Gamma(M,L)$ the set of sections $M\longrightarrow L$. If we omit specifying tangent vector field on which $\nabla$ acts, Liebniz rule can be written as

$$\nabla fs=df\otimes s+f\nabla s$$

where the tensor product $\otimes$ is evaluated as

$$df\otimes s(X(m),m)=df(X(m))s(m)$$

for $m\in M$.

*Example*. Trivial bundle $L=M\times\mathbb{C}$.

Let $\nabla$ be a general connection. Let $s$ be a nowhere vanishing section. Define a 1-form $A’$ on $M$ by $\nabla s=A’\times s$. If $\xi\in\Gamma(M,L)$ then $\xi=fs$ for some $f:M\longrightarrow\mathbb{C}$. By Leibniz,

\begin{align*}

\nabla\xi&=df\otimes s+f\nabla s\\

&=(df+fA’)s.

\end{align*}

Recall that every section of a trivial bundle looks like $s(x)=(x,g(x))$ for some function $g: M\longrightarrow\mathbb{C}$. By identifying sections with functions, the ordinary differentiation $d$ of functions defines a connection. More specifically,

$$ds:=dg\otimes s.$$

Now,

\begin{align*}

\nabla s-ds&=A’\otimes s-dg\otimes s\\

&=(A’-dg)\otimes s.

\end{align*}

Let $A:=A’-dg$. Then $A$ is a 1-form on $M$ and

$$\nabla s=ds+A\otimes s.$$

Hence, all connections on $L$ are of the form

$$\nabla=d+A$$

where $A$ is a 1-form on $M$.

Let $L\stackrel{\pi}{\longrightarrow}M$ be a line bundle and $s_\alpha: U_\alpha\longrightarrow L$ local nowhere vanishing sections, Define a one-form $A_\alpha$ on $U_\alpha$ by $\nabla s_\alpha=A_\alpha\otimes s_\alpha$. $A_\alpha$ is called a *connection one-form* (in differential geometry) or a *gauge potential* (in physics) on $U_\alpha$. If $\xi\in\Gamma(M,L)$ then $\xi|_{U_\alpha}=\xi_\alpha s_\alpha$ where $\xi_\alpha : U_\alpha\longrightarrow\mathbb{C}$. By Leibniz rule,

\begin{align*}

\nabla\xi|_{U_\alpha}&=d\xi_\alpha\otimes s_\alpha+\xi_\alpha\nabla s_\alpha\\

&=( d\xi_\alpha+A_\alpha\xi_\alpha)\otimes s_\alpha.

\end{align*}

Since each fibre $L_m$ is a one-dimensional complex vector space, the transition map would be $g_{\alpha\beta}: U_\alpha\cap U_\beta\longrightarrow\mathrm{GL}(1,\mathbb{C})\cong\mathbb{C}^\times$, where $\mathbb{C}^\times$ is the multiplicative group of non-zero complex numbers. The transition maps satisfy

\begin{equation}

\label{eq:transition}

s_\alpha=g_{\alpha\beta}s_\beta. \ \ \ \ \ (1)

\end{equation}

The collection of functions $\xi_\alpha$ defines a section $\xi$ if on any intersection $U_\alpha\cap U_\beta\ne\emptyset$, $\xi_\alpha=g_{\alpha\beta}\xi_\beta$. The transition map $g_{\alpha\beta}$ gives rise to the change of coordinates. Since $s_\alpha$ and $s_\beta$ are related by (1) on $U\alpha\cap U_\beta\ne\emptyset$,

$$\nabla s_\alpha=(dg_{\alpha\beta})\otimes s_\beta+g_{\alpha\beta}\nabla s_\beta.$$

Since $\nabla s_\alpha=A_\alpha\otimes s_\alpha$,

\begin{align*}

A_\alpha\otimes s_\alpha&=(dg_{\alpha\beta})\otimes s_\beta+g_{\alpha\beta}\nabla s_\beta\\

&=(dg_{\alpha\beta})\otimes s_\beta+g_{\alpha\beta}A_\beta\otimes s_\beta\\

&=(dg_{\alpha\beta}+g_{\alpha\beta}A_\beta)\otimes s_\beta.

\end{align*}

So, we obtain

\begin{equation}

\label{eq:gauge}

A_\alpha=g^{-1}_{\alpha\beta}dg_{\alpha\beta}+A_\beta.\ \ \ \ \ \ (2)

\end{equation}

In physics, this is the *gauge transformation* for electromagnetism. The converse is also true, namely if $\{A_\alpha\}$ is a collection of 1-forms satisfying (2) on $U_\alpha\cap U_\beta$, then there exists a connection $\nabla$ such that $\nabla s_\alpha=A_\alpha\otimes s_\alpha$. First define $\nabla s_\alpha=A_\alpha\otimes s_\alpha$ for each nowhere vanishing section $s_\alpha: U_\alpha\longrightarrow L$. On $U_\alpha\cap U_\beta\ne\emptyset$, by (1)

\begin{align*}

\nabla s_\alpha&=\nabla(g_{\alpha\beta}s_\beta)\\

&=dg_{\alpha\beta}\otimes s_\beta+g_{\alpha\beta}\nabla s_\beta.

\end{align*}

This must coincide with $A_\alpha\otimes s_\alpha$. By the gauge transformation (2)

\begin{align*}

A_\alpha\otimes s_\alpha&=g^{-1}_{\alpha\beta}dg_{\alpha\beta}\otimes s_\alpha+A_\beta\otimes s_\alpha\\

&=dg_{\alpha\beta}\otimes(g^{-1}_{\alpha\beta}s_\alpha)+A_\beta\otimes(g_{\alpha\beta}s_\beta)\\

&=dg_{\alpha\beta}\otimes s_\beta+g_{\alpha\beta}A_\beta\otimes s_\beta\\

&=\nabla s_\alpha.

\end{align*}

For $\xi\in\Gamma(M,L)$, $\nabla s_\alpha$ is linearly extended to $\nabla\xi$.

Next discussion requires some knowledge of differential forms, wedge product and exterior derivative. If you are not so familiar with these, please study them before you continue. One good source is Barrett O’Neil’s Elementary Differential Geometry [2].

Let $F_\alpha$ be the two-form

$$F_\alpha=dA_\alpha.$$

Physically $F_\alpha$ is the *field strength* relative to the section (field) $s_\alpha: U_\alpha\longrightarrow L$. Recall that on $U_\alpha\cap U_\beta\ne\emptyset$ the gauge potentials $A_\alpha$ and $A_\beta$ are related by the gauge transformation (2). If $F_\alpha$ and $F_\beta$ do not agree on $U_\alpha\cap U_\beta$, it would be a physically awkward situation. The following proposition tells us that it will not happen.

*Proposition*. If $s_\beta: U_\beta\longrightarrow L$ is another local section where $U_\alpha\cap U_\beta\ne\emptyset$, then $F_\alpha=F_\beta$.

*Proof*. \begin{align*}

F_\alpha&=dA_\alpha\\

&=d(g^{-1}_{\alpha\beta}dg_{\alpha\beta}+A_\beta)\\

&=dg^{-1}_{\alpha\beta}\wedge dg_{\alpha\beta}+g^{-1}_{\alpha\beta}d(dg_{\alpha\beta})+dA_\beta\\

&=-g^{-1}_{\alpha\beta}(dg_{\alpha\beta})g^{-1}_{\alpha\beta}\wedge dg_{\alpha\beta}+dA_\beta\\

&=dA_\beta=F_\beta.

\end{align*}

From second line to third line, $d(dg_{\alpha\beta})=d^2g_{\alpha\beta}=0$ and $dg^{-1}_{\alpha\beta}=-g^{-1}_{\alpha\beta}(dg_{\alpha\beta})g^{-1}_{\alpha\beta}$ (which is obtained from $g^{-1}_{\alpha\beta}g_{\alpha\beta}=I$) have been used.

Physically speaking the proposition says that the field strength is invariant under gauge transformation. The two-forms agree on the intersection of two open sets in the cover and hence define a global two-form. It is denoted by $F$ and is also called the *curvature* of the connection $\nabla$ in differential geometry.

*Remark*. In a principal G-bundle with a Lie group $G$, the transition map is given by $g_{\alpha\beta}:U_\alpha\cap U_\beta\longrightarrow G$and the connection 1-forms (gauge potentials) $A_\alpha$ take values in $\mathfrak{g}$, the Lie algebra of $G$. The gauge transformation is given by

$$A_\alpha=g^{-1}dg_{\alpha\beta}+g^{-1}_{\alpha\beta}A_\alpha g_{\alpha\beta}.$$

The curvature (field strength) $F$ is invariant under the gauge transformation and is given by

$$F=dA_\alpha+[A_\alpha,A_\alpha].$$

Note that for each pair of tangent vector fields $(X,Y)$, $F$ is evaluated as

$$F(X,Y)=dA_\alpha(X,Y)+[A_\alpha(X),A_\alpha(Y)].$$

*References*:

[1] M. Murray, Notes on Line Bundles

[2] B. O’Neill, Elementary Differential Geometry, Academic Press, 1966