Mathematical discipline which uses the techniques of calculus to study geometric problems. General relativity is written in this language.

learn more… | top users | synonyms (1)

7
votes
1answer
396 views

What is the information geometry of 1D Ising model for a complex magnetic field?

Consider the one-dimensional Ising model with constant magnetic field and node-dependent interaction on a finite lattice, given by $$H(\sigma) = -\sum_{i = 1}^N J_i\sigma_i\sigma_{i + 1} - h\sum_{i = ...
7
votes
2answers
312 views

Non-trivial scalar quantity

Is there any scalar quantity made of only the Christoffel symbols, determinant of a metric and tensors, not derivatives? In other words, can we construct a scalar quantity which cannot be written in ...
7
votes
0answers
112 views

Metric transformation, polygons and gravitons

I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 471. At this point, he does some computations and obtains a metric: $$ \gamma dz d\bar{z}+\...
7
votes
1answer
475 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 ...
6
votes
4answers
780 views

Can general relativity be explained by equations describing a fabric of space embedded in a flat 5-dimensional Minkowski space?

Does such a set of equations exist or does our universe have an intrinsic curvature that can't be explained by an embedding in a flat Minkowski space of 1 higher dimension? Even if general relativity ...
6
votes
3answers
246 views

From Manifold to Manifold?

Tensor equations are supposed to stay invariant in form wrt coordinate transformations where the metric is preserved. It is important to take note of the fact that invariance in form of the tensor ...
6
votes
3answers
3k views

D'Alembertian for a scalar field

I have read that the D'Alembertian for a scalar field is $$ \Box = g^{\nu\mu}\nabla_\nu\nabla_\mu = \frac{1}{\sqrt{-g}}\partial_\mu (\sqrt{-g}\partial^\mu). $$ Exactly when is this correct? Only for ...
6
votes
5answers
195 views

Is $ds^2$ just a number or is it actually a quantity squared?

I originally thought $ds^2$ was the square of some number we call the spacetime interval. I thought this because Taylor and Wheeler treat it like the square of a quantity in their book Spacetime ...
6
votes
1answer
810 views

Conservative vector fields

I was always told that to find whether or not a vector field is conservative, see if the curl is zero. I have now been told that just because the curl is zero does not necessarily mean it is ...
6
votes
2answers
561 views

Why isn't invariant notation common?

In principle, one can write quantities in a manifestly invariant - rather than covariant - fashion in e.g. special relativity. For example, rather than writing just $x^\mu$, we could write the basis ...
6
votes
2answers
2k views

Coordinate Transformation of Scalar Fields in QFT

By definition scalar fields are independent of coordinate system, thus I would expect a scalar field $\psi [x]$ would not change under the transformation $x^\mu \to x^\mu + \epsilon^\mu $. Correct? ...
6
votes
3answers
633 views

In the static spacetime, the extrinsic curvature of hypersurface $t=constant$ is zero

How can I prove that in the static spacetime, the extrinsic curvature of hypersurface $t=constant$ is zero? My efforts all are failed. Any hint would be greatly appreciated.
6
votes
1answer
252 views

Geometric formulation of the equivalence principle

Let $(M,g)$ be a $4$-dimensional Lorentzian manifold. It is well know that given $(U,\psi=(x^1,\ldots,x^4))$ local chart around some $p\in M$, it is posible to find a change of coordinates given by $(...
6
votes
2answers
320 views

Is a local Lorentz frame a coordinate chart on a spacetime manifold?

I am just starting to learn GR. I'm alternating between studying physics books and studying math books. I keep seeing the term Lorentz frame and I'm not sure what it means mathematically. Is a ...
6
votes
3answers
522 views

Extending General Relativity with Kahler Manifolds?

Standard general relativity is based on Riemannian manifolds. However, the simplest extension of Riemannian manifolds seems to be Kahler manifolds, which have a complex (hermitian) structure, a ...
6
votes
3answers
129 views

Two Robertson-Walker observers, at what time will a light signal be received?

Here is a question I have that is inspired by this question here. The spacetime metric of a radiation-filled, spatially flat ($k = 0$) Robertson-Walker universe is given by$$ds^2 = - dT^2 + T[dx^2 + ...
6
votes
1answer
427 views

How does one write density as a form?

In vector calculus, given the density $\rho$ of a body with volume $V$, it's total mass $M$ is simply $M=\int_V \rho dV$. If density $\rho$ is a form, say dm it would need to be a volume form to ...
6
votes
1answer
330 views

Difference Between Algebra of Infinitesimal Conformal Transformations & Conformal Algebra

in Blumenhagen Book on conformal field theory, It is mentioned that the algebra of infinitesimal conformal transformation is different from the conformal algebra and on page 11, conformal algebra is ...
6
votes
2answers
291 views

What's the basic premise of General Relativity?

What is the basic assumption(s) required to explore general relativity? For example, if one merely assumes that the speed of light $c$ is the same for all observers, and the laws of physics are the ...
6
votes
1answer
1k views

Stokes' theorem in GR

I read this formula in Sean Carroll's book of GR: $$\int_{\Sigma}\nabla_{\mu}V^{\mu}\sqrt{g}d^nx~=~\int_{\partial\Sigma}n_{\mu}V^{\mu}\sqrt{\gamma}d^{n-1}x$$ where n is the 4-vector orthogonal to ...
6
votes
2answers
204 views

What manifold is spacetime?

In General Relativity, spacetime is a $4$-dimensional manifold with one Lorentzian metric tensor defined on it. In the Special Relativity case what manifold is spacetime is quite clear: it is ...
6
votes
2answers
3k views

What's the idea behind the Riemann curvature tensor?

The Riemann curvature tensor can be expressed using the Christoffel symbols like this: $R^m{}_{jkl} = \partial_k\Gamma^m{}_{lj} - \partial_l\Gamma^m{}_{kj} + \Gamma^m{}_{ki}\Gamma^i{}_{lj} ...
6
votes
2answers
338 views

Mathematical probabilistic interepretation of probability amplitude

As a warning, I come from an "applied math" background with next to no knowledge of physics. That said, here's my question: I'm looking at the possibility of using probability amplitude functions to ...
6
votes
1answer
1k views

Is 4-volume element a scalar or a pseudoscalar in special relativity?

In general relativity 4-volume element $\mathrm{d}^4 x = \mathrm{d} x^0\mathrm{d} x^1 \mathrm{d} x^2\mathrm{d} x^3$ is clearly a pseudoscalar (or scalar density) of weight 1 since it transforms as $\...
6
votes
1answer
103 views

how affine connection follows from Two derivative operator

IN wald's GR book in chapter 3 This is stated behind the definition of affine connection : First He showed that if we have two derivative operator $\nabla_a , \tilde\nabla_a$ (both of which ...
6
votes
2answers
244 views

What happens if the holonomy group lies in $SU(2)$ for a CY 3-fold?

I am a mathematician and reading a physics paper about the holonomy group of Calabi-Yau 3-folds. In that paper, a Calabi-Yau 3-fold $X$ is defined as a compact 3-dimensional complex manifold with ...
6
votes
1answer
769 views

Deriving the transformation under Weyl rescaling in Polchinski eq. (1.2.31)

I have another question in Polchinski's string theory book volume 1, namely how to derive Eq. (1.2.32)? $$(-\gamma')^{1/2} R'=(-\gamma)^{1/2} (R-2 \nabla^2 \omega) \tag{1.2.32}$$ I have awared his ...
6
votes
2answers
345 views

Sewing together flat spacetime pieces = flat spacetime?

I'm trying to imagine the geometry "operations" here: Angular deficit and Conical spacetime of cosmic string If we sew flat spacetime pieces together, what is the requirement for the sewing to not ...
6
votes
1answer
176 views

Continuity Equation in Differential Geometry

I'm looking for a derivation of the mass continuity that applies in general on symplectic manifolds. In particular the "the amount of change in the mass in a volume is just amount that flows in or out"...
6
votes
1answer
148 views

Where does the “Supersymmetry” in Witten's proof of the Morse inequalities come from?

Where does the "Supersymmetry" in Witten's proof of the Morse inequalities (original paper and outline of proof for mathematicians) come from? Hopefully someone can provide an intuitive understanding? ...
6
votes
1answer
819 views

Geodesic deviation equation - why does the ordinary second derivative give the correct answer?

I've calculated the correct answer to my problem, but don't understand one of the assumptions I made when doing so. I used the geodesic deviation equation $$\frac{D^{2}\xi^{\mu}}{D\lambda^{2}}+R_{\...
6
votes
1answer
133 views

In which field theories with fermions do string- and fivebrane structures not come up?

A year ago, username @Greg Graviton asked in a thread here about the Spin group as covering of the spatial rotations. A subquestion was: What other groups, even larger than SU(2) are there that (...
6
votes
1answer
385 views

Einstein action as a functional of the tetrad (first order formulation of gravity)

Let the Einstein-Hilbert action be rewritten as a functional of the tetrad $e$ (units shall be set to $1$) such that $S_{EH}(e)=\int \frac{1}{2}\epsilon_{IJKL}~e^I\wedge e^J\wedge F^{KL}(\omega(e))$, ...
6
votes
1answer
475 views

Diffeomorphisms and boundary conditions

I am trying to find out how did the authors in this paper (arXiv:0809.4266) found out the general form of the diffeomorphism which preserve the boundary conditions in the same paper. I found this ...
6
votes
3answers
230 views

How do we measure Schwarzschild coordinates?

In special relativity, we make a big fuss about setting up inertial frames of reference, and then constructing coordinate systems using networks of clocks and rulers. This gives an unambiguous ...
6
votes
1answer
419 views

What is discrete phase space?

I've been reading a little about the usual, continuous Wigner functions and phase space quasi-distributions in general, and I believe I understand the idea behind them. The Wigner function arises when ...
6
votes
1answer
323 views

Are conformal, Killing and homothetic vector fields the same in pseudo-riemannian manifolds?

I work in the Lorentzian manifolds, more generally in pseudo Riemannian manifolds and applications to general relativity. I know the definitions of conformal, Killing and homothetic vector fields in ...
6
votes
2answers
618 views

A simple conjecture on the Chern number of a 2-level Hamiltonian $H(\mathbf{k})$?

For example, let's consider a quadratic fermionic Hamiltonian on a 2D lattice with translation symmetry, and assume that the Fourier transformed Hamiltonian is described by a $2\times2$ Hermitian ...
6
votes
1answer
118 views

Use partial or covariant derivatives when deriving equations of a field theory?

I feel like this question has been asked before but I can't find it. would the Euler Lagrange equation for, say, the standard model Lagrangian be $$\frac{\partial L}{\partial \phi}=\partial_\mu \frac{\...
6
votes
1answer
289 views

Why are the quantum observables defined on opens sets a presheaf and not a sheaf?

In local quantum field theory or AQFT one can mathematically describe over each open set $U$ of a spacetime $M$ the quantum states or observables of the theory. This structure is commonly referred as ...
6
votes
3answers
335 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 ...
6
votes
1answer
799 views

Two formulas for a particle's acceleration

While on a class my teacher was taking about particle's motion in space. At some point she said the following: Consider that the particle's path is described by a curve in space defined by the ...
6
votes
2answers
275 views

Are Poisson brackets of second-class constraints independent of the canonical coordinates?

Say we have a constraint system with second-class constraints $\chi_N(q,p)=0$. To define Dirac brackets we need the Poisson brackets of these constraints: $C_{NM}=\{\chi_N(q,p),\chi_M(q,p)\}_P$ . Is ...
6
votes
1answer
2k views

Maxwell's equations in microscopic and macroscopic forms, and quantization

The macroscopic Maxwell's equations can be put in terms of differential forms as $$\mathrm{d}\mathrm{F}=0,\quad\delta \mathrm{D}=j\implies \delta j=0,\quad \mathrm{D}=\mathrm{F}+\mathrm{P}.$$ $\mathrm{...
6
votes
1answer
186 views

If a fundamental theory exibits e.g. a mirror symmetry, in what sense it the underlying geometry real?

Are the more recently discovered symmetries in string theory such that the theories based on mirroring geometries are absolutely the same from an observable point of view? I have mirror symmetry in ...
6
votes
1answer
136 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: ...
6
votes
4answers
235 views

Is differential geometry used in solid state?

I'm an undergraduate in physics interested in a career in solid state. While I know that any additional math is helpful--I am on time constraints, and can only take a few supplemental classes. That ...
6
votes
2answers
183 views

Akin to gauge field, why GR's lagrangian is not $R_{abcd}R^{abcd}$? What's the mathematical or physical meaning of $R_{abcd}R^{abcd}$?

For gauge field theory, the Lagrangian of the gauge field is $$\mathcal{L}=-\frac{1}{4}\mathrm{tr}(\mathcal{F}_{\mu\nu}\mathcal{F}^{\mu\nu})=-\frac{1}{8}F_{a\ \mu\nu}F^{a \ \mu\nu}$$ The field ...
6
votes
1answer
115 views

Does nature of singularity in black hole depend on material that fell in?

Electromagnetic waves have a tracesless stress energy tensor, and therefore if they are the only fields in a region of spacetime, the Ricci curvature scalar $R=0$ according to GR. However $R^{\mu\nu} ...
6
votes
1answer
998 views

Fourier Transform on a Riemannian Manifold

The question is quite simple: What would be the definition of Fourier Transform (and it's inverse) on a Riemannian Manifold? I've found that a similar question has been asked at Mathematics.SE but ...