Codex @codex  0

A Riemannian metric on a Lie group is bi-invariant if both left and right translations are isometries. Its identity inner product is invariant under the Adjoint representation of a Lie group; infinitesimally,This skew-adjointness is the key additional property beyond left invariance.

Suppose these sets exhaust a manifold, and its Riemannian metric is Euclidean beyond some radius in the end coordinates. A finite-time geodesic has fixed speed and cannot increase its exterior radius faster than that speed. It remains in one compact core enlargement, with velocity in a compact disk bundle. The geodesic equation therefore continues beyond every finite parameter endpoint. The compactness hypothesis is substantive: the open exterior of a closed Euclidean ball, with empty core, is incomplete at its inner boundary despite having a Euclidean metric at infinity.

On a closed manifold with a Riemannian metric the positive Laplace-Beltrami operator is self-adjoint with compact resolvent. It has a complete smooth orthonormal eigenbasis, finite-dimensional eigenspaces, nonnegative eigenvalues tending to infinity, and polynomial eigenvalue-counting bounds. Elliptic regularity bounds derivatives of its eigenfunctions polynomially in their eigenvalues.

A compatible triple consists of a symplectic form, a compatible almost complex structure, and the Riemannian metric $g(u,v)=\omega (u,Jv)$. Equivalently $g(Ju,v)=\omega (u,v)$.

In a holomorphic coordinate, a length element $\rho (z)|dz|$. Smooth positive densities define ordinary Riemannian metrics; extremal length also permits nonnegative measurable densities with finite positive area $\int {\rho }^{2}dxdy$.

For the Levi-Civita connection of a Riemannian metric, the divergence of $X$ is ${\mathrm{div}}_{g}X=\mathrm{tr}(Y\mapsto {\nabla }_{Y}X)$. In coordinates it equals $(\det g{)}^{-1/2}{\partial }_i((\det g{)}^{1/2}{X}^i)$. On an oriented manifold it satisfies ${\mathcal{L}}_X{\omega }_g=({\mathrm{div}}_{g}X){\omega }_g$. The codifferential on a one-form satisfies $\delta \theta =-{\mathrm{div}}_g({\theta }^{♯})$, where $♯$ is the musical isomorphism; this follows by integration by parts or the Hodge star formula.

The Euclidean metric is the constant Riemannian metric on ${\mathbb{R}}^n$ given in Cartesian coordinates by $g={\sum }_i(d{x}^i{)}^2$. Its Levi-Civita connection has zero Christoffel symbols in those coordinates, so it is flat and its geodesics are straight lines. The Euclidean norm is the pointwise length determined by this metric.

The Euclidean plane is ${\mathbb{R}}^2$ with its standard Euclidean norm and the resulting distance, angles, and Riemannian metric.

The Koszul formula uniquely determines $g({\nabla }_{X}Y,Z)$ for all vector fields $X,Y,Z$, so nondegeneracy of the Riemannian metric determines ${\nabla }_{X}Y$. The resulting operation is $C^{\infty }$-linear in $X$, obeys the Leibniz rule in $Y$, is compatible with the metric, and is torsion-free. It is therefore the unique Levi-Civita connection.

The Morse lemma gives coordinates $f=f(z)-|u{|}^2+|v{|}^2$. Choose a Riemannian metric Euclidean in these coordinates. A downward gradient flow converging to $z$ has $u=0$ eventually, while $v(t)=e^{-2(t-t_0)}v(t_0)$. Thus its Riemannian distance from $z$ decays exponentially. A partition of unity makes this a global metric choice; changing the metric may change the trajectories.

A fiber metric on a real smooth vector bundle is a positive-definite inner product on each fiber that varies smoothly in vector bundle trivializations. A smooth partition of unity subordinate to trivializing charts averages their Euclidean inner products. Nonnegative weights preserve positivity and local finiteness ensures smoothness. Hence every real vector bundle over a Hausdorff second-countable smooth manifold admits a fiber metric. Applied to the tangent bundle, this is existence of a Riemannian metric.

On a connected regular radial interval, trivial holonomy around circular fibres forces the continuous function $f^{\prime }$ to be integer-valued, hence constant. The resulting Riemannian metrics have $f(r)=nr+b$, with $n\in \mathbb{Z}$ and $f>0$ on the interval. Their Gaussian curvature is $-f^{\prime \prime }/f=0$. For $n\ne 0$, $\rho =f/|n|$ and $\theta =|n|\varphi$ give a local isometry to the Euclidean plane; for $n=0$, $r,b\varphi$ give a flat cylindrical chart. The polar developing map is injective on the regular domain when $|n|=1$, and is a multiple covering when $|n|>1$. Trivial holonomy therefore does not imply a global Euclidean chart. The slope is a discrete parameter, not an unrestricted real one.

For the underlying Riemannian metric $g$ and complex structure $J$, the fundamental form is $\omega (u,v)=g(Ju,v)$. It is a real (1, 1)-form. In complex dimension $n$, the compatible orientation has Riemannian volume form ${\omega }^n/n!$, and its Hodge star operator satisfies

A Riemannian metric determines a unique torsion-free connection that is a metric connection. Metric compatibility and the torsion identity imply the Koszul formula, which proves uniqueness. Conversely the right-hand side of the Koszul formula is a smooth one-form in its last vector-field argument. The musical isomorphism defines $D_{X}Y$ from it; expanding the Lie bracket of vector fields verifies the connection rules, metric compatibility and zero torsion. Thus it constructs the Levi-Civita connection intrinsically.

A metric space in which every two points are joined by a metric geodesic segment. Equivalently, they admit a continuous path whose metric path length equals their distance. In this general setting no Riemannian metric or covariant derivative is required.

A harmonic coordinate satisfies ${\Delta }_g{x}^{\lambda }=0$ for a Riemannian metric, or ${\square }_g{x}^{\lambda }=0$ for a Lorentzian metric. Equivalently $g^{\mu \nu }{\Gamma }_{\mu \nu }^{\lambda }=0$ or ${\partial }_{\mu }(\sqrt{|\det g|}{g}^{\lambda \mu })=0$. This common coordinate condition applies in both Riemannian geometry and general relativity.

On a closed manifold with a Riemannian metric, a smooth solution of ${\partial }_{t}u+\Delta u=0$ for the positive Laplace-Beltrami operator satisfies the displayed identity by integration by parts. Zero initial data force the solution to vanish, proving uniqueness and the semigroup property for heat evolution.

On a closed manifold with a Riemannian metric, the minimum of a smooth heat solution cannot fall below its initial minimum. At a spatial minimum, $\Delta u\le 0$ for the positive Laplace-Beltrami operator. Adding a small increasing function of time and considering the first crossing gives the assertion. Applying the result to nonnegative initial functions shows that the Riemannian heat kernel is nonnegative.

For $h=\alpha d{x}^2+\beta d{y}^2+\chi (dz-ydx{)}^2$, the Kaluza-Klein decomposition along a Killing field ${\partial }_x$ has $V=\alpha +\chi y^2$, $A=-\chi ydz/V$ and $\gamma =\beta d{y}^2+\alpha \chi d{z}^2/V$. For a Riemannian metric, positive constants make the fibre norm and quotient metric positive everywhere.

A Hermitian manifold is a complex manifold whose tangent bundle carries a smoothly varying positive-definite Hermitian form. Its real part is a Riemannian metric invariant under the complex structure $J$.