6
votes
0answers
61 views

Is there a null incomplete spacetime which is spacelike and timelike complete?

Geodesic completeness, the fact we can make the domain of the geodesic parametrized with respect an affine parameter the whole real line, is an important concept in GR. Especially, because the lack of ...
1
vote
2answers
63 views

Good Fiber Bundles reference for Physicists

I'm a student of Physics and I have interest on the theory of Fiber Bundles because of the applications they have in Physics (gauge theory for example). What are good books to learn the theory of ...
1
vote
0answers
16 views

Differenational in Lie groups [migrated]

I am trying to make sense of the Lie group machinery and relate it to the calculus. Suppose that $\psi(t)=\phi(s)\phi(t), s, t \in I$. Here $\phi(t)$ is a one-parameter subgroup of the Lie group ...
2
votes
0answers
31 views

Connectedness of $O(3)$ group manifold [migrated]

A topological space is said to be connected if it cannot be written as $X=X_1\cup X_2$, where $X_1,X_2$ are both open and $X_1\cap X_2=\emptyset$. Otherwise, X is called disconnected. Is it wrong to ...
5
votes
1answer
56 views

What's the definition of incompleteness of a coordinate system and a spacetime?

I always see in GR textbooks that some coordinates or some spacetime is incomplete, such as Rindler spacetime and spacetially flat FRW universe with only positive cosmological constant. This ...
5
votes
1answer
74 views

Relation between cohomology and the BRST operator

Given a manifold $M$, we may define the $p$th de Rham cohomology group $H^p(M)$ as the quotient, $$C^p(M) \, / \, Z^p(M)$$ where $C^p$ and $Z^p$ are the groups of closed and exact $p$-forms ...
4
votes
0answers
120 views

Level quantization of 7d $SO(N)$ Chern-Simons action

In 3d, one can write down the $SO(N)$ Chern-Simons action to be $$S(A)=\frac{k}{192\pi}\int_{M}\text{Tr}(A d A +\frac{2}{3}A^3),$$ where $A$ is an $SO(N)$ connection. The level quantization can be ...
2
votes
0answers
54 views

What is elliptic genera?

What is elliptic genera in physics? Reading many relevant papers, they just defined elliptic genus as sort of partition function. I try to find useful materials to explain it, but I couldn't find ...
2
votes
0answers
39 views

Mathematical books to become a successful mathematical physicists [duplicate]

My understanding of algebraic topology and Riemannian geometry come from Nakahara's Geometry, Topology, and Physics, which I do not think is sufficient. I am first year PhD student, and I want to do ...
1
vote
1answer
70 views

The Euler-Poincare equation

Can anyone tell me very basically how the Euler-Poincare equation generalises the Euler-Lagrange equation? Further does anyone know if there is an "easy" relationship between the two, i.e. can anyone ...
4
votes
1answer
141 views

Wick Rotation in Curved space

So over time I have learned to do exhaustive searches before asking things here. Wick rotations are cool if you are trying to work in qft and make statements about the thermodynamics of some physical ...
2
votes
3answers
110 views

Configuration manifolds and constraints

In Classical Mechanics there's this notion of configuration manifold. Although I've heard about that a lot and although I often use that concept, I'm not sure I really understand them well because ...
2
votes
0answers
82 views

Interesting Hamiltonian System

The definition of a Hamiltonian system I am working with is a triple $(X,\omega, H)$ where $(X,\omega)$ is a symplectic manifold and $H\in C^\infty(X)$ is the Hamiltonian function. I am wondering if ...
2
votes
1answer
136 views

Can Minkowski spacetime be redefined as a non-flat riemannian manifold?

Minkowski space time is defined in terms of a flat pseudo-Riemannian manifold. I have wondered if it can be redefined as Riamannian manifold and in the case what type of curvature would there appear. ...
3
votes
1answer
142 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) . ...
11
votes
3answers
330 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
174 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
49 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
97 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
126 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
119 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
48 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
95 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
344 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?
5
votes
0answers
80 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$ ...
2
votes
1answer
72 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
201 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 ...
7
votes
1answer
387 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
142 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
239 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
47 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
204 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
69 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
100 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
77 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
225 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
82 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
359 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
135 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
266 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
199 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
119 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 ...
35
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
474 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
222 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
84 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
616 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
544 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
109 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
71 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 ...