1
vote
1answer
68 views

Has a metric formulation of electromagnetism ever been attempted? [duplicate]

I understand that electromagnetic fields carry energy, and this energy curves spacetime gravitationally. That's not my question. I'm asking if anyone has tried to formulate electromagnetism in such ...
5
votes
3answers
149 views

Global vs. local gauge group in mathematical sense - physics examples?

Upon reading about the principal bundle picture of (quantum) field theory I encountered two different definitions of the gauge group: Local gauge group $G$. Corresponds to the fibers of the ...
3
votes
1answer
130 views

What are type system examples of local gauge transformation- and field strength-like objects?

This is essentially a follow up motivated by this answer to my question about the gauge transformation interpretation of identity types. A field $$\psi:\mathcal M\to\mathbb C^n$$ is a section of the ...
1
vote
1answer
66 views

Gauge field with flat connection

Consider a gauge field $A_z^a$ with a flat connection $$F_{z{\bar z}}^a = \partial_z A_{\bar z} ^a - \partial_{\bar z} A_z^a + f_{bc}{}^a A_z^b A_{\bar z}^c = 0$$ where $f_{bc}{}^a$ is the structure ...
1
vote
1answer
88 views

How can I show non-Abelian CS term is a total derivative?

I want to show:$$ Tr\left (F\tilde{F} \right )=\partial_{\mu}K^{\mu }=\partial_{\mu}\left (\varepsilon _{\mu \nu \rho \sigma }Tr\left ( F_{\nu \varrho }A_{\sigma }-\frac{2}{3}A_{\nu }A_{\rho ...
3
votes
1answer
285 views

Vector potential $A$ on a 2-sphere $S^2$ of radius $R$ with some points removed

I am preparing myself for an exam and I got stuck with the following problem. If I wanted to calculate the vector potential $A$ on a sphere (not off or in), where some points are removed, how would I ...
3
votes
1answer
104 views

Hyperkahler manifolds and their use in theoretical physics

Just as the title says: What is the easiest definition of a Hyperkahler Manifold? Could you give some examples of Hyperkahler manifolds, and manifolds which fail to be hyperkahler? Why are such ...
6
votes
2answers
468 views

Vector Potential for Magnetic field when the field is not in simply-connected region

According to Poincare's Lemma, if $U\subset \mathbb{R}^n$ is a star-shaped set and if $\omega$ is a $k$-form defined in $U$ that is closed, then $\omega$ is exact, meaning that there's some ...
6
votes
1answer
293 views

Hodge star operator on curvature?

I've a question regarding the Hodge star operator. I'm completely new to the notion of exterior derivatives and wedge products. I had to teach it to myself over the past couple of days, so I hope my ...
8
votes
1answer
626 views

Diffeomorphisms, Isometries And General Relativity

Apologies if this question is too naive, but it strikes at the heart of something that's been bothering me for a while. Under a diffeomorphism $\phi$ we can push forward an arbitrary tensor field $F$ ...
8
votes
1answer
248 views

7 sphere, is there any physical interpretation of exotic spheres?

Basically an exotic sphere is topologically a sphere, but doesn't look like a one. Or more accurately: homeomorphic but not diffeomorphic to the standard Euclidean n-sphere The first exotic ...
6
votes
1answer
90 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 and then find applications to theoretical physics by: ...