The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
27 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
22 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
24 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
13 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
23 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
22 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
20 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
13 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
24 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 ...
13
votes
1answer
185 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
29 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
59 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
57 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
42 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
277 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
187 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
29 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
26 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
122 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
73 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 ...
1
vote
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
74 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
52 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
206 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
98 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
99 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
30 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
61 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 ...
1
vote
1answer
137 views

relation between the group O(3) and SU(2)

Base on relations between groups $O(3)$, $SO(3)$ and $SU(2)$: a) $O(3)=SO(3)\otimes \{1,-1\}$ b) $SO(3)\simeq SU(2)/Z_2$ Can I say $\{1,-1\}$, i.e. $Z_2$, also the center of the group $O(3)$? If ...
5
votes
1answer
261 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
84 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
147 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
68 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
106 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
185 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
106 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
133 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
74 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
82 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
331 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 ...
5
votes
3answers
2k views

Good textbook or lecture notes on Seiberg-Witten theory.

I am looking for a good introductory book for Seiberg-Witten theory. The only textbook I have now is Morgan's "The Seiberg-Witten Equations and Applications to the Topology of Smooth Four-Manifolds". ...
1
vote
1answer
131 views

Moduli space of instantons on non-compact manifolds

Are there any references about the moduli space of instantons on a general non-compact manifold?
2
votes
0answers
185 views

How does a geodesic equation on an n-manifold deal with singularities?

My general premise is that I want to investigate the transformations between two distinct sets of vertices on n-dimensional manifolds by: Minimalizing the change in the fundamental shape of the ...
0
votes
1answer
93 views

Reference request: Introductions to current mathematics derived from / related to gauge theories

I was searching for introductions to current mathematics related to gauge theories. Can someone suggest some good references? E.g. Topics in Physical Mathematics by K. Marathe
9
votes
3answers
934 views

Texts on Principal Bundles, Characteristic Classes, Intro to 4-manifolds / Gauge Theory

I am looking for a textbook that might serve as an introduction to principal bundles, curvature forms and characteristic classes, and perhaps towards 4-manifolds and gauge theory. Currently, the only ...