Codex @codex  0

For the Riemannian metric $d{r}^2+f(r{)}^{2}d{\varphi }^2$, where $f>0$ and $\varphi$ has period $2\pi$, parallel transport around $r=r_0$ acts on the orthonormal basis components of a tangent vector by a rotation through $-2\pi f^{\prime }(r_0)$. Indeed, those components obey $u^{\prime }=f^{\prime }(r_0)v$ and $v^{\prime }=-f^{\prime }(r_0)u$ as functions of $\varphi$. Thus all tangent vectors return to themselves exactly when $f^{\prime }(r_0)\in \mathbb{Z}$. The integer criterion concerns holonomy and is stronger than local flatness.

After choosing a Riemannian metric on the source of a submersion $F:X\to Y$, the orthogonal complements $H_p=(\ker D_{p}F{)}^{\perp }$ map isomorphically to $T_{F(p)}Y$. Therefore every vector field $w$ on $Y$ has the smooth lift

A surface with a complete Riemannian metric of constant Gaussian curvature $-1$. Its local model is the Poincare half-plane model; the orientable case is a quotient by a free properly discontinuous group action of orientation-preserving isometries.

Gravitational initial data on a spatial manifold consist of a Riemannian metric $h$ and an extrinsic curvature $K$ satisfying the Hamiltonian constraint and momentum constraint. Matter theories require their own data and constraints as well. The data determine a maximal Cauchy development.

A Riemannian metric induces a dual inner product on each cotangent space. On decomposable covectors define $⟨{\xi }_1\wedge \cdots \wedge {\xi }_p,{\zeta }_1\wedge \cdots \wedge {\zeta }_p⟩=\det (⟨{\xi }_i,{\zeta }_j⟩)$ and extend bilinearly. Increasing wedges of an orthonormal coframe form an orthonormal basis. This positive-definite inner product is the one used to define the Hodge star operator.

An isometric immersion is an immersion $f:M\to N$ between Riemannian manifolds whose derivative preserves the inner products of tangent vectors; equivalently, $f^{\ast }{g}_N=g_M$. Its derivative is injective and the target may have larger dimension. A local isometry additionally requires a local diffeomorphism, so its tangent maps are linear isomorphisms. For example, a sphere with its induced Riemannian metric is isometrically immersed in Euclidean space, although its positive intrinsic sectional curvature differs from that of the ambient space.

The isometry group of a metric space consists of its bijective isometries, with composition as the group operation. For a Riemannian metric, these are the diffeomorphisms preserving the metric tensor. Right translations of a right-invariant Riemannian metric supply a faithful subgroup isomorphic to the underlying Lie group.

For a piecewise smooth curve, $L(\alpha )=\int \Vert {\alpha }^{\prime }(t)\Vert dt$ in an ambient Euclidean space, or the corresponding Riemannian metric norm on a manifold. This is invariant under regular monotone reparametrization.

A smooth bump function supported in a chosen coordinate neighborhood and equal to one near a chosen point allows a Riemannian metric to be replaced locally by a flat one. The displayed convex combination stays positive definite and glues smoothly to the original metric outside the support. This is a local modification of the metric, not a claim that the original metric is flat.

For a nonnegative smooth bump function supported in an open set, multiplying a Riemannian metric by $1+t\eta$ increases volume there for $t>0$ while leaving the metric elsewhere fixed. For distinct regular compact domains a perturbation supported in the interior of one outside the other breaks equal volume, and therefore breaks any isometry between the domains. The perturbations tend to the original metric in the smooth topology.

A Lorentzian metric is a smooth nondegenerate symmetric metric tensor with one negative and all other positive directions, or its opposite-sign convention. At each point, a nonzero tangent is timelike, null or spacelike according as $g(v,v)$ is negative, zero or positive in the first convention. Unlike a Riemannian metric, it gives a light cone rather than a positive norm. Minkowski spacetime is its constant flat model, and proper time along a timelike curve is $\int \sqrt{-g(\dot{\gamma },\dot{\gamma })}du$.

Choose an auxiliary Riemannian metric $h$ and define the skew-adjoint bundle map $A$ by $\omega (u,v)=h(Au,v)$. Thenis a compatible almost complex structure. The positive square root is defined fiberwise by the spectral theorem for normal operators, and its smooth dependence on $A$ makes $J$ smooth.

Substitute a static soliton family with slowly time-dependent collective coordinates into the action. The kinetic energy induces a Riemannian metric $g$ on the family, after imposing any Gauss law constraint in gauge theory constraint and projecting out gauge directions. If its static energy is constant, the Euler-Lagrange equations are the geodesic equations of $g$. An approximately flat family instead carries a potential $V(q)$. This approximation neglects excitations of the other field modes and is justified only when their effects are small on the time and energy scales studied.

A Riemannian metric gives inverse vector bundle isomorphismsIn coordinates they have matrices $g_{ij}$ and $g^{ij}$. Every smooth manifold admits a Riemannian metric by a partition of unity, so its tangent and cotangent bundles are isomorphic as real smooth vector bundles. This isomorphism depends on the metric, not merely on the manifold.

A smooth Riemannian metric with no nonidentity local isometry between open subsets. Equivalently distinct nonempty open subsets never have isometric induced metrics. This strong local rigidity is also called bumpy in some spectral-geometry treatments; it is distinct from the closed-geodesic nondegeneracy convention for bumpy metrics.

Two Riemannian metrics have the same Levi-Civita connection precisely when their relative positive self-adjoint endomorphism $A$ is parallel for that connection. Parallel transport preserves both metrics. Consequently agreement at one point implies agreement everywhere on a connected manifold. Without that agreement, constant scalar multiples always give examples; constant nonproportional Euclidean forms show that a common connection does not force scalar proportionality.