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
0answers
12 views

Local gauge transformation law on a principal bundle

I am referring to the answer by Henry to a related old question. Since it has been a long time I post it up as a new question instead of appending to the old one as a comment. The local gauge ...
1
vote
1answer
21 views

Choice of a horizontal tangent space of a principal bundle

Let $\pi:P\to M$ be a principal bundle with group $G=\pi^{-1}(p)$, and let $u\in P$ and $p=\pi(u)$. As I understand it, the choice of the vertical tangent space $V_uP=\mathrm{ker}(\pi_*)$ is natural, ...
1
vote
0answers
38 views

A question about Levi-Civita connection and curvature over 3 manifold

Give a 3-manifold M and Riemannian metric $g$, denote $A$ as the Levi-Civita connection on 3-manifold M corresponds to the metric $g$. Denote the curvature of $A$ as $F_A$, choose three bases ...
2
votes
1answer
61 views

The Moduli Space of Gauge Theory

Physicists often speak of "Connections modulo gauge transformations" as the natural configuration space of a gauge field. In this sense, the fundamental object of study in gauge theory is the space of ...
0
votes
0answers
19 views

Number of SU(2) that can be embedded in SU(n)

Consider the Lie algebra su(3). Its generators $\lambda_i$ span 3-1 = 2 different Cartan subalgebra, which can be used to form two sets of ladder operators for each generator $H_i$ of the Cartan ...
6
votes
1answer
67 views

Poincaré duality for currents and non-closed forms

In page 8 of Quantization of Higher Abelian Gauge Theory in Generalized Differential Cohomology by Szabo, the author claims that Poincaré duality holds for non-closed forms as long as the other form ...
0
votes
1answer
25 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 ...
5
votes
0answers
49 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
132 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
46 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
54 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
55 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 ...
3
votes
0answers
42 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
91 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
16 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
62 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
48 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
57 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
14 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
186 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
51 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
52 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
33 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 ...
1
vote
0answers
30 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
49 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
270 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
41 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
83 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
85 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
90 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
312 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
375 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
36 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
43 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
146 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
96 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
29 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
113 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
63 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 ...
3
votes
2answers
387 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
110 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
126 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
68 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
316 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
105 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
181 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 ...