Questions tagged [gauge-theory]
Gauge theory in physics and mathematics refers to a field theory whose fields include principal bundles with connection.
203
questions
1
vote
0
answers
61
views
Spin(7)-instanton
Let $M$ be a Spin$(7)$-manifold with a spin-bundle $S=S_+\oplus S_-$. There's an obvious connection on $S$ which comes from lifting the Levi-Civita connection. And it induces a connection on the ...
2
votes
0
answers
107
views
Changing the sign of the moment map in the Seiberg Witten equations
The Seiberg-Witten equations on a closed four manifold
$$
D_A \varphi = 0, F_A^+ = \mu(\varphi)
$$
are elliptic (up to gauge transformations), and so the equations
$$
D_A \varphi = 0, F_A^+ = -\mu(\...
1
vote
0
answers
101
views
Does a gauge-invariant Caccioppoli inequality hold?
(I previously asked this question on Math.SE but got no responses after two weeks.)
Let $V \Subset U$ be domains in a Riemannian manifold $M$, and $W := U \setminus \overline V$. If $u: U \to \mathbb ...
2
votes
0
answers
139
views
Understanding the Seiberg-Witten equations in dimension $3$
I am trying to understand the dimensional reduction of Seiberg-Witten equations from dimension $4$ to $3$, more specifically my concern is about ellipticity of the new equations in dimension $3$ under ...
1
vote
0
answers
99
views
Is this a correct description of the BPS monopole of charge $1$?
I am reading the book "The Geometry and Dynamics of Magnetic Monopoles", by M.F. Atiyah and N.J. Hitchin, and I got to this part:
"... let $H$ be the Hopf line bundle over $S^2$ and ...
2
votes
1
answer
410
views
A question about the book "the geometry and dynamics of magnetic monopoles"
In chapter 2 of the book "The geometry and dynamics of magnetic monopoles", by M.F. Atiyah and N.J. Hitchin (the chapter is called "Geometry of the monopole spaces"), it is written:...
1
vote
1
answer
224
views
Spin connection vs. Cartan connection
I am studying the tetradic Palatini formalism of general relativity. In this formalism, one usually considers a manifold $M$, which is either non-compact or compact with Euler-characteristic $\chi(M)=...
3
votes
1
answer
164
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
181
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
123
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
309
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
299
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
106
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
87
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
78
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
220
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
74
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
605
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
134
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
234
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
465
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
298
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,...
6
votes
1
answer
247
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
138
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 ...
2
votes
0
answers
94
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
645
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
166
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
516
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
475
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
95
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
297
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
197
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
277
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
810
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
329
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
235
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
167
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
416
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
281
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
266
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
146
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
372
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
361
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
154
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
210
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
265
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
92
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
409
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
306
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
257
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, ...