Questions tagged [gauge-theory]
Gauge theory in physics and mathematics refers to a field theory whose fields include principal bundles with connection.
184
questions
2
votes
0
answers
46
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
147
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
251
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
266
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,...
4
votes
1
answer
115
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
85
views
Non existence of a preferred Horizontal subspace on a bundle. Why not ? (Basics) [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 choose to put my finger on the identity element of the group over a ...
1
vote
0
answers
63
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
264
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
142
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
469
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
327
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
73
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
129
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}_{\...
8
votes
0
answers
178
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
240
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 ...
3
votes
1
answer
618
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 ...
4
votes
1
answer
200
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
141
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
150
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
159
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
202
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
97
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
121
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
335
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
238
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
121
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 ...
8
votes
0
answers
150
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
217
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
72
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
315
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
238
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
231
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
278
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
349
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
205
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
43
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
216
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
76
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
90
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 ...
6
votes
2
answers
644
views
1-dimensional pure gauge theory
I am learning TQFT from compact Lie groups by Freed, Hopkins, Lurie,
and Teleman: https://arxiv.org/abs/0905.0731 , and got stuck very hard
even in the first section ($n = 1$), which was "trivial but ...
5
votes
3
answers
448
views
Electromagnetism as a $U(1)$-gauge theory
I would like to learn gauge theory, starting from the simplest case. I have heard that I should start with electromagnetism, which is just the $U(1)$-gauge theory. All the references I know are ...
4
votes
0
answers
119
views
Inverse semigroups and partial symmetries
I recently ran across the idea of inverse semi-groups in the context of partial symmetries, where the symmetry only acts on part of the system and not the entire system (e.g., in quasi-crystals).
My ...
4
votes
1
answer
163
views
Self-dual differential on $4$-manifold with boundary
Let $(M,g)$ be an oriented compact Riemannian $4$-manifold with boundary $\partial M$.
Let $a\in \Omega^1$ such that $*a\big|_{\partial M}=0$, i.e. $a(\nu)=0$ on $\partial M$, where $\nu$ denotes the ...
4
votes
0
answers
199
views
Does Dijkgraaf-Witten theory have a time-reversal symmetry?
By having a time-reversal symmetry I mean that there is a local anti-unitary symmetry (representing the non-trivial element of $Z_2$) of the state-sum construction (or, if you want, of the associated ...
2
votes
1
answer
188
views
Construction of $G$-invariant map between manifolds
Let $M,N$ be two closed differential manifolds and let $G$ be a compact Lie group. Assume that $G$ acts on both manifolds $M,N$ nicely (i.e. free and proper so that $M/G$ and $N/G$ have the structure ...
7
votes
1
answer
399
views
Reference request: Gauge natural bundles, and calculus of variation via the equivariant bundle approach
Let $P\rightarrow M$ be a principal fibre bundle with structure group $G$, $F$ a manifold and $\alpha: G\times F\rightarrow F$ a smooth left action.
There is an associated fibre bundle $E\rightarrow ...
4
votes
1
answer
199
views
Orientability of moduli space and determinant bundle of ASD operator
Setting
In instanton gauge theory, given a $G$-principal bundle $P\to X^4$, the orientability of the moduli space of ASD connections
$$\mathcal{M}_k = \{A \in L^{2}_{k}(X, \Lambda^1 \otimes\mathrm{...
3
votes
2
answers
455
views
When is the action of the gauge group on the space of connections free?
Let $G$ be a compact Lie group. Let $\mathcal{A}$ be the space of connections on the principal trivial $G$-bundle $G\times \mathbb{R}^4$ possibly with some growth condition (to specify it is a part of ...
3
votes
0
answers
231
views
Gauge structure of teleparallel gravity
I am interested in references that treat teleparallel gravity in a mathematically rigorous manner, especially in regards to it being a "gauge theory of the translation group".
The standard reference ...
4
votes
0
answers
104
views
Airy stress, Beltrami stress and gauge fields
The following problem comes from the theory of elasticity, but reduces to a pure geometric problem. Consider a $d$-dimensional Riemannian manifold $(M,g)$ with boundary representing the intrinsic ...