# Questions tagged [gauge-theory]

Gauge theory in physics and mathematics refers to a field theory whose fields include principal bundles with connection.

196
questions

3
votes

1
answer

115
views

### Do we have $d(P_{+}(\omega\wedge \theta))=d_{+}\omega\wedge \theta-\omega\wedge d_{+}\theta$ on a self-dual manifold?

Let $(X, g)$ be a smooth, oriented, Riemannian 4-diemnsional manifold. Let $\Lambda^2$ denote the bundle of 2-forms on $X$. Then the Hodge-star operator decomposes $\Lambda^2$ into the space of self-...

3
votes

1
answer

133
views

### Hyperkähler structure of framed instantons over $\smash{\overline{\mathbb{C}P}}^2$

When underlying $4$ manifold is compact and hyperkähler, the philosophy of infinite dimensional moment map tells us that its instantons moduli space is also hyperkähler. I'm curious about the ...

1
vote

0
answers

107
views

### Heat kernel coefficients for Laplacian in instanton background

The heat kernel coefficients $b_{2k}(x,y)$ of the covariant Laplacian in an $SU(2)$ instanton background (for simplicity let's say $q=1$ topological charge, so the 't Hooft solution) on $R^4$ is ...

7
votes

0
answers

208
views

### Existence of Yang-Mills connection

My question is about what we know, in dimension $4$, about the loss of compactness of Yang–Mills connections with $L^2$-bounded curvature. My background is more analytical than geometrical and it is ...

6
votes

1
answer

257
views

### "Neck cutting" and why gauge theory doesn't work on homotopy 4-spheres

I attended a talk recently and the speaker said, essentially, that gauge theory invariants are expected to never be able to detect exotic 4-spheres because they always vanish, for a reason related to ...

1
vote

0
answers

71
views

### Instantons on the 4-sphere with respect to other Riemannian metrics

It is known that the moduli space of $\text{SU}(2)$ instantons of charge $1$ on $S^4$ is diffeomorphic to the five-ball $B^5$ if $S^4$ is endowed with the round metric.
Question: what does the moduli ...

1
vote

0
answers

86
views

### Sufficient condition for moduli space of slope-stable bundles to be non-empty

I'm trying to find to a statement concerning the non-emptiness of the moduli space of slope stable vector bundles over a Kähler surface in the literature.
Let $X$ be a Kähler surface. Let $\mathscr{M}(...

2
votes

0
answers

67
views

### Weitzenbock- Anti-selfdual

In "The Theory of Gauge Fields in Four Manifolds", B.Lawson proves the Bochner-Weitzenbock, for an anti-self-dual field $\Psi \in \Omega^2_-(\mathfrak{G}_E)$,where $\mathfrak{G}_E$ is the ...

0
votes

0
answers

174
views

### Finding a unitary operator on L^{2}(\mathbb{R}^{2},dxdy)

I have a one parameter (r) family of self-adjoint representations of the universal enveloping algebra of some nilpotent Lie group on $L^{2}(\mathbb{R}^{2},dxdy)$ as follows:
$$\hat{X}^{r}=\hat{x}-i(r-...

1
vote

0
answers

62
views

### Uhlenbeck's compactness for abelian gauge

I am looking for a simpler proof (if possible) for the Uhlenbeck's compactness result (bound on connection up-to gauge from bound on curvature) on an open ball. I know that a proof exists using Hodge-...

7
votes

1
answer

432
views

### Is there a program to solve The Yang–Mills Existence and Mass Gap problem similar to the Hamilton's program to solve Poincaré Conjecture?

According to Wikipedia:
"Hamilton's program was started in his 1982 paper in which he introduced the Ricci flow on a manifold and showed how to use it to prove some special cases of the Poincaré ...

2
votes

0
answers

104
views

### Gauge invariance of a QFT path integral

If we consider the usual formal construction of a path integral over fields with gauge symmetries e.g as in Weinbergs "The Quantum Theory of Fields - Volume 2" the notion of gauge invariance ...

3
votes

1
answer

189
views

### Moduli space of flat connection over homology 3-sphere

I'm trying to understand the space of flat connections of the trivial $\mathrm{SU}(2)$-bundle over a closed, oriented homology three-sphere (for the purpose of understanding the instanton Floer ...

12
votes

1
answer

371
views

### Does $(S^1\times S^3)\#(S^1\times S^3)\#(S^2\times S^2)$ admit a symplectic form?

This is a crosspost from this MSE question from a year ago.
Consider the smooth four-manifold $M = (S^1\times S^3)\#(S^1\times S^3)\#(S^2\times S^2)$. Does $M$ admit a symplectic form?
If $\omega$ ...

5
votes

1
answer

290
views

### In search of a combinatorial proof on particular set of partitions

Given a partition $\lambda=(\lambda_1\geq\lambda_2\geq\dots)$, denote the conjugate partition by $\lambda'=(\lambda_1'\geq\lambda_2'\geq\dots)$. For example, if $\lambda=(4,2,2)$ then $\lambda'=(3,3,1,...

5
votes

1
answer

181
views

### Different definitions of "charged spinors": "bundle splicing" vs. "twisted spinor bundles"

Currently I study the mathematical formulation of the (classical) standard model of particle physics using the language of gauge theory and spin geometry. One of the central objects in the standard ...

0
votes

1
answer

123
views

### Non existence of preferred Horizontal subspace on a bundle [closed]

If I choose a principal bundle, let us say $G\rightarrow P \rightarrow B$, with $G=U(1)$, $P=S^1 \times S^1$ and $B=S^1$. Can I follow the identity element of the group over a curve at the base. How ...

1
vote

0
answers

79
views

### Vortex equation on Riemann surface and a similar equation

Let's take a Riemann surface $(X,\omega)$ and a holomorphic line bundle $L$ on it with a hermitian metric $h$ on $L$. $g$ be a real valued smooth function on $X$ and we consider the following two sets ...

2
votes

1
answer

417
views

### Understanding the slice theorem

I was reading Morgan's book: "The Seiberg-Witten equations and applications to the topology of smooth four-manifolds" and find it hard to understand the slice theorem (page 62-64).
Here are ...

5
votes

0
answers

160
views

### Curvature of the line bundle $\mathcal{O}(2)$ on the twistor space

Let $M^4$ be a closed Riemannian manifold and $Z:=S\big(\Lambda^2_+(M)\big)$ denote the twistor space of $M,$ i.e., the sphere bundle of the self-dual 2-forms on $M$. Now at a point $(m,J)\in Z$ the ...

4
votes

2
answers

496
views

### How much do characteristic classes fail to characterize bundles?

Given a group $G$, let $E \to B$ be a principal $G$-bundle. It is
well-known that when $B$ is a nice enough topological space (e.g.
CW-complex), such a thing corresponds to a connected component of
$...

6
votes

0
answers

420
views

### Yang–Mills existence and mass gap official statement on Euclidean $\mathbb{R}^4$, why not Minkowski $ \mathbb{R}^{3,1}$?

Yang–Mills existence and mass gap problem is officially stated by Clay Mathematics Institute:
Yang–Mills Existence and Mass Gap.'' Prove that for any compact simple gauge group G, a non-trivial ...

2
votes

0
answers

88
views

### Chern-Simons Functional for $S^1$-bundles over Riemann Surfaces

If $M$ is a closed, orientable 3-manifold $M$ and also happens to be an $S^1$ bundle over some Riemann surface $\Sigma$, then it seems like a natural Heegaard splitting of $M$ could come from ...

4
votes

0
answers

215
views

### Moduli spaces of rank 2 stable bundles over curves as projective varieties

Let $\Sigma$ be a Riemann surface of genus $g$. Let's consider the moduli space of rank $2$ stable vector bundles with determinant $L$ such that $\deg(L)$ is odd. Denote this space by $\mathcal{M}_{\...

9
votes

0
answers

192
views

### Donaldson invariants for piecewise-linear $4$-manifolds

It is well known that in dimension $4$, the notion of piecewise linear manifolds and the notion of smooth manifolds are the same [1][2]. On the other hand, the computations of Donaldson invariants ...

8
votes

0
answers

268
views

### Infinitely many nonempty Seiberg-Witten moduli spaces

The classic "finiteness" statement in Seiberg-Witten (SW) theory is that, for any smooth closed connected 4-manifold, there are only finitely many spin-c structures with nontrivial SW ...

4
votes

1
answer

724
views

### The Yang-Mills Higgs Lagrangian

Let's say we have a principal bundle $(P,B,\pi;G)$ and associated bundle $E=P \times_{(G,\rho)}V$and $Ad(P)=P\times_{(G,Ad)} \mathfrak{g}$ the adjoint bundle. The Yang-Mills-Higgs action (without ...

5
votes

1
answer

266
views

### Spin connection in the tetradic Palatini-formalism of general relativity

$\DeclareMathOperator\SO{SO}$I am trying to understand the tetradic Palatini-formalism of general relativity from a mathematical point of view. I am graduate student and quite new to mathematical ...

3
votes

0
answers

191
views

### Tensor product of associated vector bundles

Let $(P, X, \pi, G)$ and $(P', X, \pi', G')$ be two principal bundles (with Lie groups $G$, $G'$ respectively). Given a vector space $V$ and representations $\rho, \rho'$ of the Lie groups in this ...

4
votes

0
answers

163
views

### Compactly supported geometric representatives for Seiberg-Witten invariant

The question is introduced at the end of the second paragraph.
Readers familiar with Seiberg-Witten theory may well skip the first paragraph.
The first paragraph is meant to set up some notation which ...

3
votes

1
answer

260
views

### Local coordinates of one form on a principal bundle

I am reading "Natural and Gauge Natural Formalism for Classical Field Theory" by Lorenzo Fatibene and I am really confused by his definition of a connection in local coordinates.
Let's say ...

2
votes

0
answers

255
views

### Maxwell $U(1)$ gauge theory's electric and magnetic sources turned on simultaneously in the classical differential geometry

Question:
How do we couple $U(1)$ electric (E) and magnetic (M) sources simultaneously in the classical differential geometry language, in a $U(1)$ gauge theory based on $U(1)$ gauge bundle and its $U(...

1
vote

0
answers

153
views

### About irreducible connection

The irreducible connection is a connection whose holonomy group is just $G$ (let us just assume the base space $X$ is just connected). Otherwise, it is called reducible if the holonomy group $H_A$ ...

1
vote

1
answer

133
views

### The notion of a "relatively" flat connection

Suppose that $X$ is a connected smooth manifold and $\Gamma$ is a group acting smoothly, freely, properly and discretely on $X$, so that $Y=X/\Gamma$ is another smooth manifold endowed with a covering ...

5
votes

1
answer

357
views

### Stabilizer groups of Yang-Mills connections

Let $G$ be a compact Lie group with complexification $G^c$, and consider a principal $G^c$-bundle $P^c \to M$ together with a reduction $P \subseteq P^c$ to $G$. Assume that $M$ is a Riemann surface.
...

5
votes

1
answer

301
views

### Curvature as infinitesimal holonomy 2

This question may be seen as a follow up of this original question. I'm learning Cheeger-Simons differential characters (reading Differential Characters of Bär and Becker).
If I understand correctly, ...

8
votes

1
answer

141
views

### Spin networks as functionals on the moduli space of connections modulo gauge transformations on a graph

I have just read a big part of John Baez's nice article Spin network states in Gauge theory. The definitions are quite clear in that article. However, there is a part which is not explained explicitly ...

9
votes

0
answers

183
views

### Is there a contact instanton connection on the tangent bundle of the 5-sphere?

A well-known example of a contact manifold is $S^5$, arising from it being a circle bundle over $\mathbb{CP^2}$. This is somewhat related to the reduction of the structure group from $SO(5)$ to $SU(2)$...

4
votes

0
answers

242
views

### Instanton numbers for diverse gauge bundles on diverse manifolds --- their relations to characteristic classes

It is standard (?) that the $SU(N)$ gauge theory has the instanton number $n$ quantized as $n \in \mathbb{Z}$
$$
n = { 1 \over 8\pi^2} \int_{\mathcal{M}_{4}} \text{tr} \left(F \wedge F\right) = {1 \...

1
vote

0
answers

83
views

### Geometry of the complex Gauge group

Let $E\rightarrow X$ be holomorphic vector bundle on a complex manifold $X$. Denote by $\mathcal{G}=\Gamma(Aut(E))$ the group of complex smooth automorphisms of $E$.
Is there a way to endow $\...

9
votes

1
answer

363
views

### Langlands dual group in math vs. Goddard-Nyuts-Olive dual group in physics

Given a group $G$, there is a so-called Langlands dual group $G^{∨}$.
Given a group $G$, there is also a so-called Goddard-Nyuts-Olive dual group $G^{'}$ that relates to the magnetic charge.
Are ...

6
votes

0
answers

271
views

### Spectral flow of Dirac operator twisted by instanton

Suppose $E$ is a $SU(2)$-bundle over a closed three manifold $M$ and $S$ is the spinor bundle over $M$. Also assume $D_{A(t)}:\Gamma(S\otimes_{\mathbb c} E)\to \Gamma(S\otimes_{\mathbb c} E)$ is a ...

6
votes

1
answer

248
views

### Cobordism monopole Floer homology

From the famous book: Monopole and three manifold, Kronheimer and Mrowka(https://www.maths.ed.ac.uk/~v1ranick/papers/kronmrowka.pdf). It is known that:
Let $Y$ be a closed oriented $3$ manifold, ...

3
votes

1
answer

302
views

### What can be an appropriate notion of principal bundle over a category (with an appropriate notion of local trivialisation)?

Motivation for my question:
It is a well-known fact that there exists a bijection between the set of isomorphism class of
principal $G$ bundles over a nice topological space $X$ and the set $[X,B'G]$ ...

5
votes

1
answer

366
views

### Derivative of the Bott-Chern forms

The Bott-Chern forms are constructed formally in Bismut's "Analytic Torsion and Holomorphic Determinant Bundle I" (page 74). This construction can be found as well in "Lectures on Arakelov Geometry" ...

2
votes

1
answer

225
views

### Canonical connection on $\mathcal{A}\times X$

Let $E\rightarrow X$ be a vector bundle and let $\mathcal{A}$ denote the space of connections on $E$. Pulling back $E$ by the second projection we obtain a vector bundle $\mathbb{E}=p_2^*E\rightarrow ...

2
votes

0
answers

44
views

### Solving equations of motion of holomorphic BF theory - pure gauge in complex coordinates

In this paper by Bailieu and Tanzini, aspects of holomorphic BF theory are presented.
Holomorphic BF theory on a four dimensional Kahler manifold is discussed from page 5, and on page 8 the ...

7
votes

0
answers

232
views

### Weak 2-groups and non-abelian gerbe over a manifold

In literature, a strict 2-group is defined as a group object in the category of categories or groupoids. It has many well known equivalent descriptions viz:
1. A strict monoidal category in which all ...

2
votes

0
answers

79
views

### Poincaré connection encode torsion and curvature

I'm trying to understand something that is written in Baez & Wise paper "Teleparallel Gravity as a Higher Gauge Theory". In section 4, they discuss Poincaré connection and, first of all, split ...

5
votes

0
answers

102
views

### Uniqueness of Witten-Dijkgraaf 2D TQFT at 0th dimension

If I understand correctly, Dijkgraaf-Witten TQFT in dimension 2 is the
following. Fix any finite group $G$, we define a field over a closed
2-manifold to be a principle $G$ bundle (it's automatically ...