Connections on principal bundles, gauge groups, Yang-Mills connections, (anti-)self-dual connections, stability of vector bundles, Donaldson invariants, the Seiberg-Witten equations and invariants, the Bogomolnyi (monopole) equation, Chern-Simons invariant, Donaldson-Thomas theory, relations to ...

learn more… | top users | synonyms

0
votes
2answers
18 views

Are there multiple non-isomorphic principal $G$-bundles on Euclidean space? [duplicate]

I'm pretty sure the answer is out there, see this MathOverflow question, but that is unfortunately way over my head :). I'm interested in the case that $G$ is a Lie group (e.g. $U(1)$), but I don't ...
4
votes
0answers
35 views

What is the mathematical understanding behind what physicists call a gauge fixing?

I'm learning fiber bundle from my poor physicist point of view. I understand that a gauge transformation (physicist language) corresponds to the transformation of the connections built from an ...
5
votes
2answers
125 views

How do I derive this formula from gauge theory?

This is Exercise 3.4.14 in R. W. Sharpe's Differential Geometry. Suppose $G$ is a Lie group with Lie algebra $\mathfrak{g}$ and $H$ is a Lie subgroup of $G$. Let $\theta$ be a ...
3
votes
0answers
40 views

Can I split this integral to a sum over three contours?

I have the following integral $$ Z = \frac{1}{2\pi i} \int dx \, \frac{1}{(x-a_1)(x-a_2)(x-a_3)}\times \frac{1}{(x+\epsilon - a_1)(x + \epsilon - a_2)(x+ \epsilon - a_3)} $$ and this integral has ...
1
vote
2answers
52 views

Gauge transformations for line bundle where the manifold is simply connected.

Im trying to understand the significance of the manifold being simply connected for the following (or any really) case to do with basic yang mills theory. We are considering a U(1) line bundle, L, ...
3
votes
0answers
54 views

Sobolev Multiplication theorem for Fibre bundles

Let $X$ be a compact, oriented, four dimensional Riemannian manifold and $Q\longrightarrow X$ be a principal $G$-bundle over $X$ for a smooth, compact Lie group $G$. Let $M$ be a manifold admitting a ...
2
votes
0answers
39 views

Proof of $d^\ast A =0$ where $D=d+A$ is Yang Mill connection

Recall $$ F =( dA_{ij} + A_{il}\wedge A_{lj} )\mu_i \otimes \mu_j^\ast $$ Hence if rank of $E$ is $2$, then $$ F= dA $$ since $A$ is skewsymmetric. If $D$ is Yang Mill connection then $ D^\ast F=0$. ...
5
votes
0answers
84 views

Does a left group action on a principal bundle induce an action on associated vector bundles?

Let $G\hookrightarrow P\xrightarrow{\pi}M$ be a principal $G$-bundle with right action $\cdot $ and suppose we are also given a left action $\rho: U\times P\rightarrow P$ of some group $U$ on $P$. ...
0
votes
1answer
15 views

Difficulty proving gauge invariance on an SU(N)-valued potential

Say we have a four-dimensional spherically symmetric $\mathfrak{su}(N)$ gauge potential in standard Schwarzschild co-ordinates which can be written \begin{equation} ...
2
votes
2answers
61 views

About gauge transformation

If $E$ is a vector bundle with a bundle metric, so we have ${\rm Aut}\ (E)$ whose fiber at $x\in M$ is the group of orthogonal transformation in $E_x$. Then gauge transformation is a section of ${\rm ...
2
votes
1answer
43 views

Curvature of $K$-invariant connection (principal bundles)

Here is a proposition from Kobayashi & Nomizu's Foundations of Differential Geometry. I don't understand how they obtain the final line of the proof. They write: \begin{align} ...
3
votes
0answers
56 views

Rigorously what is this integral?

I've been studying some gauge theories approach to problems in mechanics in order to get a better understanding of the ideas from gauge theories and to see some applications of fibre bundle theory. ...
0
votes
1answer
13 views

Compute variation left action subgroup

I consider a Lie group $G$, with a group element $g$ parametrised in some manner with parameter $\theta_i$, $i=1,\cdots, \dim G$. Suppose that $K\subset G$. I want to compute the variation of an group ...
0
votes
0answers
12 views

The bicategory Bibun

Are all the $2$-morphisms in the bicategrory (of Lie groupoids, right-principal bibundles and bibundle morphisms) Bibun isomorphisms?
1
vote
1answer
33 views

'Large' closed subgroup

I am working through a paper in the field of differential geometry (Yang-Mills theory) and the author writes: 'We assume the Riemannian manifold $(M,h)$ admits a large closed subgroup $K$ of the ...
1
vote
2answers
134 views

Cartan's structural equation

I am reading through a proof of Cartan's Structural equation: $$\Omega=d\omega + \frac{1}{2}[\omega\wedge\omega]$$ In the case when the input is two vertical vectors $V_1$ and $V_2$, we can ...
1
vote
0answers
44 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature ...
1
vote
1answer
45 views

Gauge transformation on a principal bundle

I am reading through lecture notes found here and on pg 11 they define a map $\overline{\phi}_{\alpha}:\pi^{-1}(U_{\alpha})\rightarrow G$ by ...
0
votes
1answer
31 views

Adjoint representation for matrix groups (Gauge theory)

This is a question in regards to an identity in Gauge theory. Let $\omega$ be the connection one form on a principal bundle $\pi:P\rightarrow M$ and let $A_{\alpha}:=s_{\alpha}^*\omega$ be the gauge ...
0
votes
0answers
31 views

Sections of associated bundles isomorphism between spaces

I am reading some lecture notes which can be found here . They say that sections of $P\times_G F$ are represented by the functions $f:P\rightarrow F$ satisfying $f(pg)=\rho(g^{-1})\circ f$. Or ...
1
vote
0answers
26 views

Trouble proving identity - Gauge theory/Maurer-Carton one-form/Adjoint representation

The Identity I am trying to prove is the one in this already asked question how to show that ${ad}_{g_{\alpha\beta}} \circ g_{\alpha\beta}^{\star}\theta=-g_{\beta\alpha}^{\star}\theta$? The author ...
0
votes
1answer
44 views

Gauge theory on a trivial bundle

I am learning gauge theory, so I tried to understand what happens in the case of a trivial principal bundle. However I have some problems understanding how a connection looks like in that case. Here's ...
15
votes
1answer
253 views

Intuition for Exotic $\mathbb R^4$'s

Today one of my professors told me that $\mathbb R^4$ admits uncountably many non-diffeomorphic differential structures. When I asked him whether there's an intuitive reason to expect a result like ...
2
votes
0answers
40 views

Contraction of second exterior covariant derivative with metric

Let $G \hookrightarrow P \to M$ be a principal $G$ bundle, $P \times_\rho V$ be a vector bundle associated to representation $\rho$ of $G$ on $V$. If $\omega$ is a connection $1$-form on $P$ then we ...
2
votes
0answers
79 views

How to calculate the Maurer-Cartan form in the adjoint representation?

While I am reading a paper, I come across a difficulty. Here, we have a Lie group and we know its Lie algebra defined as $[G_a,G_b]=f_{ab}^{\phantom{ab}c}G_c$ with $G_a\in\mathfrak g$. Under the ...
1
vote
0answers
78 views

Lecture notes on holomorphic Yang-Mills theory

Some time ago I've found these lecture notes on the gauge theory. In particular, in these lecture notes the author introduces and studies the Yang-Mills equations in the case of real bundles and ...
1
vote
0answers
78 views

Gauge covariant derivative on principal bundle over $\mathbb R^d$

I try to understand the physical definition of covariant derivative in gauge theories in terms of the exterior covariant derivative of vector-valued forms defined as the horizontal projection wrt a ...
11
votes
2answers
304 views

Non-ellipticity of Yang-Mills equations

Let $D=\text{d}+A$ be a metric connection on a vector bundle with curvature $F=F_D$. How does one prove that the Yang-Mills equations $$ \frac{\partial}{\partial x^i}F_{ij}+[A_i,F_{ij}]=0 $$ from ...
4
votes
1answer
302 views

Principle G bundles v.s. Flat G connection

What is the difference between Principle G bundles v.s. Flat G connection? I heard that for a discrete group $G$ (in physics, or a finite group $G$ in math), the principle G bundles is the same ...
0
votes
0answers
33 views

Differentiable structure on the gauge group?

In this paper I have come across a formulation involving differentiation in the gauge group of a principal bundle which I do not understand (found at the very top of p. 369). Let $P\rightarrow M$ be ...
1
vote
0answers
38 views

Equivalence between pullback connections of smoothly homotopic maps

Let $f,g:M\rightarrow N$ be smooth maps between smooth manifolds such that there exist a smooth homotopy $H:M\times [0,1]\rightarrow N$ between them. If we have a principal bundle $P\rightarrow N$, we ...
3
votes
1answer
139 views

Connections in non-Riemannian geometry

In case of Riemannian geometry the connection $\Gamma^i_{jk}$ as is derived from the derivatives of the metric tensor $g_{ij}$ is ought to be symmetric wrt to its lower two indices. But in the case of ...
2
votes
0answers
91 views

The magnetic monopole and the Hopf bundle

Consider the vector field $\textbf{B} = \frac{1}{\rho^2}\textbf{e}_\rho$ on $\mathbb{R}^3 - \{0\}$ where $(\rho, \theta, \phi)$ are the usual spherical coordinates and $\textbf{e}_\rho = ...
1
vote
0answers
28 views

Conjugating an operator with a gauge transformation; how is the kernel affected.

For the differential operator $$ D := i I \frac{d}{dx} + A(x) \colon C^\infty_T([0,\beta]),\mathbb{C}^m) \to C^\infty_T ([0,\beta],\mathbb{C}^m) $$ where $A(x)$ is Hermitian and $C^\infty_T ...
4
votes
1answer
2k views

Trace of tensor product vs Tensor contraction

I have come across various sources that talk about traces of tensors. How does that work? In particular, there seem to be such an equality: $$ \text{Tr}(T_1\otimes ...
0
votes
0answers
103 views

The trace of a wedge product of matrices

I'm trying understand a computation on Besse's book (p. 371). I already know the curvature operator $R:\bigwedge^2\to\bigwedge^2$ may be written in block diagonal form relative to the direct sum ...
4
votes
0answers
61 views

Natural Action of Killing vector fields on space of connections

I try to understand some mathematical aspects of supersymmetric Yang Mills theory following the book "Quantum fields and strings - a course for mathematicians". In this context the following question ...
2
votes
2answers
327 views

Principal bundle automorphism generating global gauge transformations

Consider a principal $G$-bundle $P$ with connection form $\omega$. An automorphism $f$ of $P$ is by definition a (smooth) $G$-equivariant map: $f(p \cdot g) =f(p) \cdot g$ for all $p\in P$ and $g\in ...
2
votes
1answer
106 views

Any $1$-form (only on $S^3$?) can be uniquely written as a sum of a closed $1$-form and a coclosed $1$-form?

What is meant by saying that any $1$-form (only on $S^3$?) can be uniquely written as a sum of a closed $1$-form and a "co-closed" $1$-form? [...Since $H^1$ of $S^3$ is trivial it follows that the ...
3
votes
1answer
122 views

Problem in Gauge theory

[...] one does not yet have a mathematically complete example of a quantum gauge theory in four-dimensional space-time, nor even a precise definition of quantum gauge theory in four dimensions. ...
1
vote
0answers
31 views

Obstruction of such gauge choice

Suppose we consider $\operatorname{ad}P_G \to T^k$ as the associated adjoint bundle (maybe this is not the correct name, but I just mean with the associated vector bundle ${\rm Lie}G$ as standard ...
5
votes
1answer
65 views

local gauge invariance of field's homotopy class? Every map $S^2\rightarrow \mathrm{group } G$ is homotopic to a constant map?

In a discussion of a gauge field theory with gauge group $G$, someone says we can use a celebrated result of E. Cartan to show the gauge invariance of matter field's homotopy class. And Cartan's ...
5
votes
1answer
305 views

Holonomy and Differential Characters

This question is going to be rather vague, but I'm just trying to see if there are obvious connections between these two concepts. So the holonomy of a vector bundle with Lie group $G$ is ...
3
votes
1answer
101 views

Definition of Gauge group

I have a problem with an example of Gauge group. I'm reading ""Yang-Mills equations over Riemann surfaces"" (Atiyah, Bott). Let $P$ be a principal $G$-bundle over $X$. We define the adjoint bundle ...
3
votes
2answers
174 views

Obstruction to extending $G$-bundle to 4-dimensions in Chern-Simons theory

I am reading Dijkgraaf and Witten's paper on Chern-Simons and finite gauge groups and something they have written about the obstruction to extending the bundle to the 4-manifold confuses me. My ...
5
votes
2answers
77 views

Why this definition for “symmetry transformation”?

This question concerns section 8.5.1 in these notes: I don't understand why a symmetry transformation is defined as such. What implications is there if $\delta \mathcal L$ is a total ...
6
votes
1answer
119 views

Formal Definition of Yang Mills Lagrangian

I have a question regarding the Lagrangian in non abelian gauge theory. Say, $G$ is the gauge group and $\mathfrak g$ the associated Lie algebra. The Lagrangian is often written as $$ \mathcal ...
6
votes
0answers
239 views

Group actions and associated bundles

Let $P$ be a principal $G$-bundle over $B$, and let $G$ act on some space $F$ (feel free to work in your favorite category of spaces, if this helps). Then $\text{Aut}{P}$ (aka the group of gauge ...
4
votes
1answer
72 views

Smoothness in Banach space

I need a reference about a definition. Let $n$ be an integer and $G$ be a group of $H^n$(Sobolev) automorphisms of a vector bundle $E$ on some manifold $M$ and $C$ be the space of connections of class ...
4
votes
0answers
113 views

The classifying space of a gauge group

Let $G$ be a Lie group and $P \to M$ a principal $G$-bundle over a closed Riemann surface. The gauge group $\mathcal{G}$ is defined by $$\mathcal{G}=\lbrace f : P \to G \mid f(p \cdot g) = ...