3
votes
1answer
95 views

Instantons in Witten's supersymmetry and Morse theory

I'm reading Witten's paper on supersymmetry and Morse theory and am confused about the details of the instanton calculation which he uses to define a Morse complex (beginning at page 11 of the pdf) . ...
10
votes
2answers
276 views

What kind of manifold can be the phase space of a Hamiltonian system?

Of course it should have dimension $2n$. But any more conditions? For example, can a genus-2 surface be the phase space of a Hamiltonian system?
5
votes
3answers
136 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
0answers
48 views

Scalar product of torsional forms - how are the standard identities modified?

It is known that for any smooth, orientable, compact manifold $X$ without boundary and $\alpha \in \Omega^{r}(X), \beta \in \Omega^{r-1}(X)$ it holds \begin{equation} (d\beta,\alpha)= (\beta, ...
4
votes
0answers
79 views

Lie derivative of Dirac Delta

In the setting of general relativity, I came across a source term of the wave equation of the following form: $$ \frac{1}{\sqrt{q}}\,\delta^{(3)}(p-\gamma(t)) $$ where $p\in M$ is a point in our 4d ...
7
votes
1answer
102 views

Recommendation on mathematical physics book of Symplectic geometry

I want to learn the applications of symplectic geometry in physics. Which mathematical physics textbook will have a detailed and heuristic explanation of this aspect?
5
votes
1answer
92 views

What is the relationship between Cyclic Coordinates and Killing Vector Fields?

My question is related to this question. There are three or four other questions on Killing Vector Fields here, however none of them that I have seen address my question. $\\$ I've been studying ...
2
votes
0answers
46 views

What is the Levi--Civita connection of a Wick rotated metric?

A Wick rotation is a transformation that allows to change from a Lorentzian manifold to a Riemaniann manifold. In the cases when this is possible, is the Levi-Civita connection of the Riemaniann ...
4
votes
1answer
94 views

The properity of $\mathbb{R}^4$ that has infinitely many differential structures is related to Yang-Mills field?

I heard a saying that $\mathbb{R}^4$ having infinitely many differential structures which are not diffeomorphic to each other has a relationship with Yang-Mills field. Does anyone can explain it, and ...
3
votes
3answers
329 views

Why Hausdorff and Paracompact manifold in GR?

What can we say about the transition map if the manifold is a Hausdorff space? Why do we need the manifolds to be Hausdorff and paracompact in General Relativity?
4
votes
0answers
66 views

Intuitively what's the relationship between forces and connections?

In Einstein's General Relativity we relate the effects of gravity with the curvature of the Levi-Civita connection on the spacetime manifold. Also, when we get the electromagnetic tensor $F = dA$ ...
1
vote
1answer
66 views

Deriving Cartan formula

I have trouble deriving Cartan formula of the form: $$ \mathrm{d} \omega (X,Y) = X[\omega(Y)] - Y[\omega(X)] - \omega([X,Y]) \tag{1} $$ where $\mathrm{d}$ is the exterior derivative, $\omega$ is a ...
4
votes
2answers
191 views

Why do we require manifolds to be a topological space?

Roughly speaking, we define a manifold $M$ to be covered by a set of charts $\{(U_i , \varphi_i)\}$ such that locally the $n$-dimensional manifolds looks like $\mathbb{R}^n$. One of the conditions is ...
6
votes
1answer
302 views

Why is the Hodge dual so essential?

It seems unnatural to me that it is so often worthwhile to replace physical objects with their Hodge duals. For instance, if the magnetic field is properly thought of as a 2-form and the electric ...
3
votes
1answer
122 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 ...
6
votes
3answers
208 views

Resources showing how to use differential forms in Physics

I've been learning for a while about multivectors and forms and how they simplify many things that in simple vector calculus seems to be complicated. The only problem until now is that differently ...
0
votes
0answers
32 views

How to express “curvature scalars” in terms of "discrete curvature values $\kappa_n$?

We know from MTW [1] and Synge [2] how, for participants who were (pairwise) rigid to each other, it may be determined whether or not they were straight to each other, plane to each other, or ...
5
votes
4answers
176 views

Kähler and complex manifolds

I was woundering if anyone knows any good references about Kähler and complex manifolds? I'm studying supergravity theories and for the simplest $\mathcal{N}=1$ supergravity we'll get these. Now in ...
2
votes
0answers
68 views

A question about polarization in quantum mechanics

We start our question we a definition A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if \ $P$ is Lagrangian P involutive dim$P\cap\bar ...
3
votes
0answers
95 views

Geometric quantization AND nuclear physics

Classical mechanics has a natural mathematical setting in symplectic geometry and it may be asked if the same is true for quantum mechanics. Geometric quantization is one formalization of the notion ...
1
vote
0answers
76 views

Prereqs for The Geometry of Physics by Frankel [duplicate]

I'm interested in giving The Geometry of Physics a read, and I was wondering what the mathematical and (more importantly) physical prerequisites are. My background is a bit stronger on the ...
7
votes
1answer
210 views

Are identity types interpreted physically in an infinity-topos formulation of equations of motion?

In reference to Urs Schreibers paper/book on foundations of field theory Differential cohomology in a cohesive infinity-topos I wonder: are identity types there used "only" for the computations, or ...
3
votes
0answers
80 views

On the Geroch's argument

During the study of Geroch's argument to prove positive mass theorem, I faced a problem explained below: Suppose $(M,g_{\mu \nu})$ is a four dimensional Lorentzian Manifold and $\Sigma$ is a ...
10
votes
1answer
313 views

What's the physical intuition for symplectic structures?

I always thought about symplectic forms as elements of areas in little subspaces because of the Darboux theorem, however I cannot get the physical intuition for it and for the hamiltonian vector ...
2
votes
1answer
126 views

Is any apparent horizon a minimal surface?

I faced "any apparent horizon is a minimal surface", but I don't know how I can relate a physical concept (apparent horizon) to pure mathematical concept (minimal surface). How can I prove it?
8
votes
2answers
239 views

What are orbifolds and why are they useful and interesting for physics?

Just what the title says. What's the basic definition of an orbifold? How do they arise in physics and why are they interesting?
2
votes
1answer
190 views

Christoffel symbols and Dirac matrices mathematical similarities?

Maybe mine is a silly question, but are there mathematical similarities or common roots between the Christoffel symbols: $ \nabla - \partial = \Gamma $ and the Dirac matrices $ ( \gamma^\mu ...
1
vote
1answer
114 views

Does Clifford algebra depend on the topology of manifold?

We know the greatest feature of Clifford algebra is coordinate-free. One can do vector operations without knowing the representation of vectors. And due to its very characteristc, Clifford or ...
33
votes
2answers
1k views

Intuitively, why are bundles so important in Physics?

This question probably seems silly and I don't really know if it fits properly here, but the point is the following: I've seem the notion of bundles, fiber bundles, connections on bundles and so on ...
6
votes
2answers
466 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 ...
4
votes
0answers
213 views

What are endomorphism bundle valued $p$-forms and exterior covariant derivatives and their use in Chern-Simons theory?

Chern-Simons Forms appears in several places in physics for examples, Fractional Quantum Hall Effect, response of Topological Insulator, invariant of knot, electromagnetism in 2+1 space-time, ...
3
votes
1answer
77 views

Are there any restrictions on building the topology of spacetime out of the complement of open balls?

I assume that for a Lorentzian manifold (i.e. with Minkowski signature), the analog of an open ball is the interior of a light cone. My question is motivated by the observation that whereas any point ...
9
votes
6answers
557 views

In coordinate-free relativity, how do we define a vector?

Relativity can be developed without coordinates: Laurent 1994 (SR), Winitzski 2007 (GR). I would normally define a vector by its transformation properties: it's something whose components change ...
12
votes
1answer
501 views

Is there a “covariant derivative” for conformal transformation?

A primary field is defined by its behavior under a conformal transformation $x\rightarrow x'(x)$: $$\phi(x)\rightarrow\phi'(x')=\left|\frac{\partial x'}{\partial x}\right|^{-h}\phi(x)$$ It's fairly ...
3
votes
1answer
108 views

Energy Functional

I am a graduate student in pure mathematics, during my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, ...
1
vote
0answers
68 views

Geometry for Physics [duplicate]

I am currently a high school student interested in a research career in physics. I have self taught myself single variable calculus and elementary physics upto the level of IPHO . And I am comfortable ...
3
votes
1answer
436 views

Change of coordinates from an arbitrary frame to a locally inertial frame in General Relativity

If I have the following metric: $$ds^2=(1-2\phi)c^2 dt^2 - (1-2 \phi)(dx^2+dy^2+dz^2)$$ $\phi$ being the gravitational potential with $|\phi| << 1$ everywhere. How do I find a coordinate ...
9
votes
3answers
777 views

What is a dual / cotangent space?

Dual spaces are home to bras in quantum mechanics; cotangent spaces are home to linear maps in the tensor formalism of general relativity. After taking courses in these two subjects, I've still never ...
13
votes
3answers
685 views

Representing forces as one-forms

First of all, sorry if any of those things are silly or nonsense, I'm just trying to understand better how the concepts of forms, exterior derivative and so on can be used in physics. This question ...
0
votes
0answers
77 views

Is there a book that discusses General Relativity in terms of Modern Differential Geometry? [duplicate]

All of the physics books that I've seen which discuss General Relativity do so in terms of coordinates - the tensor calculus - even though the naturally relevant entities are invariant under general ...
8
votes
1answer
616 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$ ...
3
votes
1answer
126 views

An issue about the compactness and the existence of CTCs

There is a well known fact that a compact spacetime necessarily contains a closed timelike curve (CTC). Proof can be found in several books on GR (e.g. Hawking, Ellis, Proposition 6.4.2), and in ...
4
votes
2answers
512 views

Electromagnetism for Mathematician

I am trying to find a book on electromagnetism for mathematician (so it has to be rigorous). Preferably a book that extensively uses Stoke's theorem for Maxwell's equations (unlike other books that on ...
2
votes
0answers
73 views

A doubt about fuchsian functions in physics?

I'm not sure if this is the right place (or math.stackexchange?) to ask the next What is the difference between fuchsian, theta-fuchsian, and kleinian functions? Please, suggest me an introductory ...
8
votes
1answer
245 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 ...
2
votes
1answer
265 views

Killing vectors for SO(3) (rotational) symmetry

I am reading a paper$^1$ by Manton and Gibbons on the dynamics of BPS monopoles. In this, they write the Atiyah-Hitchin metric for a two-monopole system. The first part is for the one monopole moduli ...
3
votes
4answers
360 views

Complete set of observables in classical mechanics

I'm reading "Symplectic geometry and geometric quantization" by Matthias Blau and he introduces a complete set of observables for the classical case: The functions $q^k$ and $p_l$ form a complete ...
3
votes
2answers
440 views

Is there an analogue of configuration space in quantum mechanics?

In classical mechanics coordinates are something a bit secondary. Having a configuration space $Q$ (manifold), coordinates enter as a mapping to $\mathbb R^n$, $q_i : Q \to \mathbb R$. The primary ...
1
vote
1answer
141 views

what is wrong with the following argument about stokes law in compact universes?

I want to understand what is wrong with the following argument: in a topologically compact spacetime, a closed 3D boundary separates the spacetime in two connected components, because of this ...
3
votes
3answers
679 views

Equations of fluid dynamics and differential geometry [closed]

Where can I look for equations of fluid motion written in terms of nifty things from differential geometry like exterior derivative, Hodge dual, musical isomorphism? Preferably both with and without ...