4
votes
0answers
43 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
49 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
147 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
235 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
87 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
188 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
20 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 ...
4
votes
4answers
145 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
64 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
88 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
72 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
179 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
73 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 ...
2
votes
1answer
100 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
208 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
181 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
98 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 ...
26
votes
2answers
819 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
445 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
190 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
66 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 ...
8
votes
6answers
481 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 ...
10
votes
1answer
425 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
107 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
66 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
375 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 ...
7
votes
3answers
656 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 ...
12
votes
3answers
588 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
75 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 ...
7
votes
1answer
556 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
115 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
397 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 ...
5
votes
0answers
210 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
251 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
341 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
406 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
138 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
590 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 ...
1
vote
1answer
78 views

Smooth trajectory on a smooth manifold

Physicists talk about a smooth trajectory of a particle on a smooth manifold and they label it as q(t) where q_1(t)....q_n(t) are component functions coming from the homeomorphism. I don't see how we ...
3
votes
4answers
627 views

Topology needed for Differential Geometry [duplicate]

I am a physics undergrad, and need to study differential geometry ASAP to supplement my studies on solitons and instantons. How much topology do I need to know. I know some basic concepts reading from ...
2
votes
0answers
167 views

What are the topics of string theory that are comprehensible with only a mathematical background on Manifolds and Algebraic Topology?

What are the topics of string theory that are comprehensible with only a mathematical background on manifolds and algebraic topology? Also, I have read only the first four chapters in Peskin & ...
2
votes
1answer
245 views

Vanishing Ricci flow on a curved manifold

If I understand this right the Ricci flow on a compact manifold given by $\partial g_{\mu \nu} = - 2R_{\mu \nu} + \frac{2}{n}\!R_{\alpha}^{\alpha} \,g_{\mu \nu}$ tends to expand negatively curved ...
8
votes
0answers
329 views

Classical mechanics: Generating function of lagrangian submanifold

I have a short question regarding the geometrical interpretation of the Hamilton-Jacobi-equation. One has the geometric version of $H \circ dS = E$ as an lagrangian submanifold $L=im(dS)$, which is ...
9
votes
1answer
216 views

Can Fermionic symmetries be fully integrated into geometric deformation complexes or symplectic reduction?

How should a geometer think about quotienting out by a Fermionic symmetry? Is this a formal concept? A strictly linear concept? A sheaf theoretic concept? How does symplectic reduction work with odd ...
6
votes
1answer
348 views

The role of metric in the Wave Equation

The wave equation is often written in the form $$(\partial^2_t-\Delta)u=0,$$ involving the Laplace-Beltrami operator $\Delta$. However, the Laplace-Beltrami operator $\Delta$ is defined only in the ...
11
votes
5answers
1k views

What does a frame of reference mean in terms of manifolds?

Because of my mathematical background, I've been finding it hard to relate the physics-talk I've been reading, with mathematical objects. In (say special) relativity, we have a Lorentzian manifold, ...
2
votes
3answers
141 views

Length of a curve in D dimensional euclidean space

In a book I am reading on special relativity, the infinitesimal line element is defined as $dl^2=\delta_{ij}dx^idx^j$ (Einstein summation convention) where $\delta_{ij}$ is the euclidean metric. Next, ...
16
votes
7answers
2k views

Quantum mechanics on a manifold

In quantum mechanics the state of a free particle in three dimensional space is $L^2(\mathbb R^3)$, more accurately the projective space of that Hilbert space. Here I am ignoring internal degrees of ...
2
votes
1answer
147 views

Does the positive mass conjecture indicate a necessity of interactions in our universe?

The positive mass conjecture was proved by Schoen and Yau and later reproved by Witten. Total mass in a gravitating system must be positive except in the case of flat Minkowski space, where energy is ...