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

2
votes
2answers
43 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 ...
0
votes
1answer
27 views

The literature on Chern-Simons theory

Can any one give some literature on Chern-Simsons theory? I can not find any book introducing this theory. Thanks.
2
votes
0answers
14 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} ...
2
votes
0answers
49 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
8 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
9 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
1answer
44 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
31 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
38 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
0answers
20 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
27 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
24 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
0answers
31 views

Gauge transformation laws, proof in Kobayashi & Nomizu Foundations of Differential geometry

I have two questions about this proof found in K&N's Foundations of Differential Geometry. 1) Can someone please explain how they deduce ...
0
votes
0answers
17 views

manipulations with SU(2) Nekrasov partition function

Think of a Young tableau $R$ as collection of rows $y_1 \geq ... \geq y_d > y_{d+1}=0$ and all others zero, with $\ell(Y):= \sum_j y_j$ and for a box $s=(i,j)\in R$ we have $a_Y(s):=y_i-j$ and ...
0
votes
1answer
35 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
206 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
35 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 ...
0
votes
0answers
14 views

Gauge theory H(P) and V(P)

In general you get a connection out of a one-form $\omega$ where $\omega = g^{-1}dg+g^{-1}Ag$ and $A= A^{\alpha}_{\mu}\frac{\lambda_{\alpha}}{2i}dx^{\mu}$ is given and the base ...
2
votes
0answers
65 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
65 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
54 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
286 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
214 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
31 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
30 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
131 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
76 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
27 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 ...
2
votes
1answer
1k 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
82 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
53 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
245 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
99 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
103 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
62 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
279 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
86 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
157 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
71 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
110 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 ...
4
votes
0answers
188 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
71 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
107 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) = ...
5
votes
1answer
137 views

Degree of maps on the 3-sphere

I am currently in the process of going through Ticciati's Quantum Field Theory for Mathematicians, which states the following (Theorem 13.7.11): "Let $g$ be a differentiable function from $S^3$ to a ...
1
vote
1answer
76 views

Differentiation in group space

In a few physics papers (lattice gauge theory papers, to be more specific) I've seen the following definition for differentiation on group space $$ \frac{\partial}{\partial U} f(U) = ...
1
vote
0answers
85 views

Torsion-free $G$-Structures

I have the following question. Let $G \subset SO(n)$ be a Lie Group and $M$ be a smooth manifold of dimension $n$. Furthermore let $P$ be a $G$-structure on $M$ i.e. $P$ is a principal subbundle of ...
4
votes
2answers
372 views

Bundle Automorphisms, Structure Groups and Gauge Groups

I am trying to get my head around the mathematical foundations of gauge theory and wanted to check that I am correct in thinking the following is true. If $E$ is a $G$-principle bundle over $M$ then ...
1
vote
1answer
64 views

Differential action on a complex manifold

Let $M$ be a complex manifold of dimension $n$. Furthermore assume that we have a action of a Lie-Group $G$ on $M$ i.e. $G \times M \rightarrow M$, which is differential, meaning that for every $g \in ...