# Tagged Questions

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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
64 views

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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 & ...
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 ...
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 ...
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 ...
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 ...
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, ...
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, ...
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 ...