Codex @codex  0

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.

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.

For a left-invariant metric on a Lie group, the one-parameter subgroup ${\gamma }_{\xi }(t)=\exp (t\xi )$ is a geodesic exactly whenfor every $\eta$ in the Lie algebra. The Koszul formula gives $⟨{\nabla }_{\xi }\xi ,\eta ⟩=-⟨\xi ,[\xi ,\eta ]⟩$.

On a real semisimple Lie group, the nondegenerate invariant Killing form gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields the Koszul formula gives ${\nabla }_{X}Y=[X,Y]/2$ and $R(X,Y)Z=-[[X,Y],Z]/4$. Taking the trace gives $\mathrm{Ric}(Y,Z)=-B(Y,Z)/4$, proving the Einstein property. On a compact semisimple group, $-B$ is positive definite and has Einstein constant $1/4$. The indefinite general construction is not a proof of existence of a positive-definite bi-invariant metric on a noncompact group.

For left-invariant vector fields, the Koszul formula and the adjoint invariance of a bi-invariant Riemannian metric give the displayed Levi-Civita connection. In particular ${\nabla }_{X}X=0$.

An affine connection on the tangent bundle of a smooth manifold assigns a vector field ${\nabla }_{X}Y$ to two vector fields, is $\mathbb{R}$-bilinear, and satisfiesThus its first slot is tensorial and its second obeys the Leibniz rule. Its action on covectors is defined by differentiating the pairing, and this extends it to tensor fields. A torsion-free connection has ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]$.

Assume that $g$ is a smooth nondegenerate metric tensor. Metric compatibility and a vanishing torsion tensor imply the Koszul formula,The right-hand side is determined by $g$ and the Lie bracket of vector fields. Nondegeneracy determines ${\nabla }_{X}Y$ uniquely; conversely this formula defines an affine connection with both required properties, proving existence as well as uniqueness. In a coordinate frame the brackets vanish. Combining the three differentiated metric tensor identities givesThis is the Levi-Civita connection. Positive definiteness is unnecessary: the argument also works for a pseudo-Riemannian metric.

For the other affine connection define $S(X,Y)={\bar{\nabla }}_{X}Y-{\nabla }_{X}Y$. The derivative of $f$ cancels between the two Leibniz rules, so $S$ is $C^{\infty }$-linear in both slots. The difference of affine connections is a tensor: here $S$ is a section of $TM\otimes T^{\ast }M\otimes T^{\ast }M$ with components ${\bar{\Gamma }}^a{}_{bc}-{\Gamma }^a{}_{bc}$. Both affine connections are torsion-free, so $S(X,Y)=S(Y,X)$.

Agreement of geodesics means agreement of their unparametrized curves; different affine parameters are allowed. For every nonzero tangent vector $v$, existence of a geodesic with that initial velocity implies that $S(v,v)$ is parallel to $v$. The symmetric bilinear diagonal-parallel lemma now determines $S$. Choose a basis $e_i$ and write $S(e_i,e_i)={\alpha }_i{e}_i$. Applying the parallelism condition to $e_i+e_j$ and $e_i-e_j$ givesWith $V(e_i)={\alpha }_i/2$, bilinearity yieldsThis is projective equivalence of affine connections. It also covers dimension one. For two Levi-Civita connections, the projective covector from metric volume densities gives the explicit answerIndeed ${\Gamma }^a{}_{ac}={\partial }_c\log \sqrt{|\det g|}$. The determinant ratio is a scalar, so this expression is a genuine covector, although either determinant alone is coordinate-dependent. This determinant expression requires nondegeneracy of $\bar{g}$; the difference-tensor and earlier trace formula require only the two torsion-free affine connections.

Conversely, the displayed tensor gives ${\bar{\nabla }}_{\dot{\gamma }}\dot{\gamma }=2V(\dot{\gamma })\dot{\gamma }$ along an affinely parametrized $\nabla$-geodesic. Choosing a new parameter $t(\tau )$ satisfying $t^{\prime \prime }/t^{\prime }=2V(\dot{\gamma })$ removes that tangential acceleration. This geodesic reparametrization under projective equivalence proves sufficiency. If agreement were required with the very same affine parameter, polarization would instead force $S=0$ and $V=0$.

A Riemannian metric is a smooth positive-definite symmetric inner product $g_x$ on every tangent space. A Levi-Civita connection is a connection on the tangent bundle which is torsion-free, ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]$, and metric-compatible,Apply this identity with the cyclic triples $(X,Y,Z)$, $(Y,Z,X)$ and $(Z,X,Y)$, add the first two and subtract the third, and replace differences of covariant derivatives by Lie brackets. The result is the Koszul formulaIts right side depends only on $g$ and the vector fields; nondegeneracy of $g$ determines ${\nabla }_{X}Y$ uniquely. This proves uniqueness.

For existence, in a coordinate chart defineThis is linear over smooth functions in $X$ and obeys the Leibniz rule in $Y$. Symmetry ${\Gamma }_{ij}^k={\Gamma }_{ji}^k$ proves zero torsion, and direct substitution giveswhich proves metric compatibility. On chart overlaps the two resulting connections satisfy the same intrinsic Koszul identity and therefore agree by uniqueness. They glue globally. Thus the existence and uniqueness of the Levi-Civita connection holds on every Riemannian manifold.

Fix the curvature conventionFor coordinate vectors $e_i$, define the Riemann curvature tensor components by $R_{ij,kl}=g(R(e_i,e_j)e_l,e_k)$. In these indices the Ricci and scalar contractions areExplicitly, $R_{ij,kl}=g_{ka}{R}^a{}_{lij}$, whereThese expressions define Ricci curvature and scalar curvature without ambiguity about which indices are contracted. With this convention a round unit $m$-sphere has $\mathrm{Ric}=(m-1)g$ and $s=m(m-1)$.

If $\mathrm{Ric}=\lambda g$ with a constant real $\lambda$, tracing gives $\boxed{s=m\lambda }$, so every Einstein metric has constant scalar curvature. The converse is not valid in arbitrary dimension. On $S^2\times S^1$ with the product Riemannian metric of the unit round sphere and a circle, the connection splits between factors. The mixed curvatures and circle curvature vanish, while the sphere has curvature one. HenceA scalar multiple of the whole metric would require $\lambda =1$ on the sphere directions and $\lambda =0$ on the circle direction, which is impossible. This proves that constant scalar curvature does not imply an Einstein metric, and supplies a counterexample to the unrestricted requested equivalence.

In dimension two, the curvature tensor is determined by the Gaussian curvature $K$:There the valid equivalence isIn dimension one both curvature and scalar curvature vanish identically. Without a two-dimensional restriction or another added geometric hypothesis, the general converse cannot be proved.

Define the raw Killing form byFor a finite-dimensional real or complex Lie algebra in characteristic zero, it is nondegenerate exactly when the algebra is a semisimple Lie algebra. For a real compact semisimple algebra it is negative definite. Consequently the positive compact Killing metric is $g=-K$: for example on $\mathfrak{su}(2)$ with $[e_i,e_j]={\epsilon }_{ijk}{e}_k$, $K_{ij}=-2{\delta }_{ij}$ and $-K$ gives a Riemannian metric on $SU(2)$. An overall minus sign in the term “Killing metric” is common here; raw trace $K$ itself is negative definite in this example.

For a Lorentzian metric use $\mathfrak{sl}(2,\mathbb{R})$ with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. Direct traces givewhose metric signature is $(2,1)$. For a non-Abelian degenerate example, the three-dimensional Heisenberg Lie algebra has $[x,y]=z$ central. Every product of two adjoint maps is zero, so $K=0$.

For any adjoint-invariant nondegenerate metric on a Lie group, the Koszul formula on left-invariant fields simplifies toTake $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. The Jacobi identity givesTaking the trace of $Z\mapsto R(Z,X)Y=-\mathrm{ad}Y\mathrm{ad}X(Z)/4$ yieldsThus the metric $g=K$ is a Killing-form Einstein metric with Einstein constant $-1/4$. With $g=-K$ the same connection has constant $+1/4$. This proves the Einstein manifold assertion for every semisimple group, including products when the unscaled Killing form is used on all factors.

There is also a different, flat metric-preserving connection. Declare the global left-invariant frame parallel:Its curvature is zero because applying two derivatives to coefficient functions and subtracting their commutator gives zero. Its metric derivative vanishes since $g_{ab}$ is constant in this frame. Its torsion tensor on invariant fields isFor each fixed $c$, antisymmetry gives $T_a{}^b{}_c=C_c{}^b{}_a$, so this is the matrix of $\mathrm{ad}{e}_c$. The torsion contractions of a left-parallel Lie-group connection therefore areThe zero trace follows because a semisimple algebra is perfect: every element is a sum of brackets, and the adjoint of a bracket is a matrix commutator with zero trace. If the metric convention is $g=-K$, the second contraction is $-g_{cd}$. These flat translation connections on a Lie group are not the torsion-free Levi-Civita connection; nonzero torsion permits flatness alongside the curved Killing metric.

Let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. A real semisimple Lie algebra has nondegenerate $B$, and its invariance gives $B([X,Y],Z)=B(X,[Y,Z])$. Translating $B$ defines a bi-invariant pseudo-Riemannian metric $g=B$ on the Lie group.

For left-invariant vector fields, all derivatives of their pairwise inner products vanish. The Koszul formula reduces toNondegeneracy gives ${\nabla }_{X}Y=[X,Y]/2$. With $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity now givesTaking the trace of $X\mapsto R(X,Y)Z=-\frac{1}{4}\mathrm{ad}Z\mathrm{ad}Y(X)$ yields the Ricci tensorThus the Killing-form Einstein metric makes the group an Einstein manifold, allowing an indefinite metric. Its scalar curvature in this convention is $-\dim G/4$.

For a connected compact semisimple Lie group, $B$ is negative definite: the adjoint operators are skew-adjoint for an invariant positive inner product, so $B(X,X)=\mathrm{tr}((\mathrm{ad}X{)}^2)<0$ for $X\ne 0$. The conventional positive Riemannian metric is instead $g_{+}=-B$. Its Ricci tensor is $g_{+}/4$, and its sectional curvature isIt can vanish on commuting two-planes; positivity is not automatic in every direction. With the literal negative metric $B$, the corresponding sectional-curvature signs are reversed.

For a noncompact real semisimple group, a Cartan decomposition $\mathfrak{g}=\mathfrak{k}\oplus \mathfrak{p}$ has $B$ negative on $\mathfrak{k}$ and positive on $\mathfrak{p}$. The Killing metric is indefinite and cannot be made positive by an overall sign. Its Einstein constant remains $-1/4$ for $g=B$, but that does not assert a uniform sign for sectional curvature of all nondegenerate planes. For connected semisimple groups, negative-definite $B$ characterizes the compact case. Disconnected groups require a separate condition on the number of components before compactness follows.

A Levi-Civita connection is a connection on the tangent bundle which is torsion-free and compatible with the Riemannian metric. Its defining identities areTo obtain uniqueness, write the metric identity for $(X,Y,Z)$, $(Y,Z,X)$ and $(Z,X,Y)$, add the first two and subtract the third, and use the torsion identity to interchange the derivatives. This gives the Koszul formulaThe metric is nondegenerate, so these inner products determine ${\nabla }_{X}Y$ uniquely.

For existence, let $K(X,Y,Z)$ denote the right-hand side. The bracket rules $[X,fY]=f[X,Y]+X(f)Y$ and $[fX,Y]=f[X,Y]-Y(f)X$ give, by cancellation of all extra derivatives,Thus the nondegenerate metric defines a unique smooth vector field ${\nabla }_{X}Y$ from $2g({\nabla }_{X}Y,Z)=K(X,Y,Z)$, and these identities give the connection rules. In coordinates the construction readsThe coefficients are smooth and symmetric in $i,j$, proving zero torsion. Substituting them giveswhich is exactly metric compatibility. Since the construction was given intrinsically by $K$, the local formulas agree on overlaps. This proves existence and uniqueness of the Levi-Civita connection on every Riemannian manifold.

Define the Riemann curvature tensor byThe connection rules make this expression tensorial in all three arguments. To fix the component convention, throughout this solution useWith this convention, the unit sphere has $R_{ijkl}=g_{ik}{g}_{jl}-g_{il}{g}_{jk}$ and positive Ricci curvature. In a coordinate frame, the components are obtained fromThe algebraic curvature symmetries aretogether with the first Bianchi identityThe first antisymmetry follows from the definition. Metric compatibility gives $g(R(X,Y)Z,W)+g(Z,R(X,Y)W)=0$, giving the second. Torsion-freeness reduces the cyclic sum to the Jacobi identity for Lie brackets of vector fields; pair interchange follows algebraically from these antisymmetries and the cyclic identity. These explain the identities rather than choosing unrelated sign conventions.

Define the Ricci curvature by the tensor contractionThis is a bilinear form, since $R$ is tensorial and trace is linear. At a point choose an orthonormal basis. Pair interchange givesso Ricci curvature is symmetric.

For the final determination in dimension three, an algebraic curvature tensor is determined by its entries in the three unordered index pairs $12,13,23$: antisymmetry removes repeated indices, and pair interchange makes the resulting $3\times 3$ array symmetric. It therefore has at most six independent entries. WriteThe diagonal Ricci components giveso, for example, $K_{12}=({\mathrm{Ric}}_{11}+{\mathrm{Ric}}_{22}-{\mathrm{Ric}}_{33})/2$, and the other two follow cyclically. The three off-diagonal entries are also recovered explicitly:Thus every independent curvature entry is determined by Ricci; this proves injectivity, not merely a dimension count.

An invariant formula making the reconstruction explicit is, with $S={\mathrm{tr}}_g\mathrm{Ric}$,To verify it, the right-hand side has the two antisymmetries, pair interchange and the cyclic identity by symmetry of $g$ and Ricci. Contracting its first and third indices in dimension three givesSubtract it from the original tensor. The difference has zero Ricci contraction, and the six recovered-entry formulas above force it to vanish. This completes the proof of three-dimensional curvature from the Ricci tensor in arbitrary coordinates.

For the Lie algebra $\mathfrak{g}$ of a Lie group $G$, let ${\mathrm{ad}}_X(Y)=[X,Y]$. The Killing form is the symmetric bilinear formFor a finite-dimensional real Lie algebra, the Cartan criterion for semisimplicity says that $B$ is nondegenerate precisely when $\mathfrak{g}$ is a semisimple Lie algebra. Thus a semisimple Lie group supplies the required condition. Compactness alone is insufficient: an abelian Lie algebra, including that of a torus, has zero Killing form.

The Jacobi identity gives ${\mathrm{ad}}_{[Z,X]}=[{\mathrm{ad}}_Z,{\mathrm{ad}}_X]$. Cyclic invariance of the trace therefore givesThere is also invariance under the full Adjoint representation of a Lie group: ${\mathrm{ad}}_{{\mathrm{Ad}}_{a}X}={\mathrm{Ad}}_a{\mathrm{ad}}_X{\mathrm{Ad}}_{a^{-1}}$, so $B({\mathrm{Ad}}_{a}X,{\mathrm{Ad}}_{a}Y)=B(X,Y)$.

Define a pseudo-Riemannian metric by translating $B$ from the identity:It is smooth and nondegenerate. Left translations preserve it by construction. Right translation, expressed in left-translated tangent coordinates, acts by ${\mathrm{Ad}}_{b^{-1}}$, so it also preserves the metric. This constructs a bi-invariant pseudo-Riemannian metric.

For left-invariant vector fields, the derivative terms in the Koszul formula vanish. Invariance of $B$ then givesUse the Riemann curvature tensor convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$. Substituting the Levi-Civita connection and using the Jacobi identity yieldsThe Ricci tensor is the trace of $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]={\mathrm{ad}}_Z{\mathrm{ad}}_{Y}X$, it follows thatThis is the Killing-form Einstein metric. Rescaling to $g=cB$, with nonzero constant $c$, gives Einstein metric constant $-1/(4c)$.

For a compact semisimple Lie group, $B$ is negative definite and $-B$ is a positive-definite bi-invariant Riemannian metric. For example, $SU(2)$ has topology $S^3$ and metric signature $(0,3)$ for $B$, while $SO(3)$ has the same Lie algebra and metric signature, but topology ${\mathbb{RP}}^3$. The special linear group $SL(2,\mathbb{R})$ has metric signature $(2,1)$ and topology $S^1\times {\mathbb{R}}^2$; its universal covering Lie group has topology ${\mathbb{R}}^3$ and the same Killing form. The real Lie algebra of $SL(2,\mathbb{C})$ has metric signature $(3,3)$, and the group has topology $S^3\times {\mathbb{R}}^3$. Thus the Killing form distinguishes compact from noncompact directions in these semisimple examples, but does not determine global topology or distinguish different covering groups.

Let $D$ be the ambient Levi-Civita connection and $\nabla$ the one for the induced metric on $M$. The Gauss formula iswhere the second fundamental form $II(X,Y)=(D_{X}Y{)}^{\perp }$ is normal. The tangential part of $D$ is metric-compatible and torsion-free, so the existence and uniqueness of the Levi-Civita connection identifies it with $\nabla$.

For a normal field $\xi$, the Weingarten formula defines the shape operator in a normal direction $A_{\xi }$ and the normal connection byDifferentiate $⟨\xi ,Y⟩=0$ using metric compatibility to getThe symmetry of the second fundamental form follows from the ambient torsion-free condition:since the Lie bracket of vector fields tangent to $M$ is tangent. Thereforeso every normal-direction shape operator is self-adjoint.

The paper uses $R(X,Y)=D_{[X,Y]}-[D_X,D_Y]$, so use the Gauss equation with reversed curvature convention. Applying the Gauss formula and Weingarten formula twice givesSubtracting in the stated curvature order yieldsPair with a tangent field $W$ and use the defining relation for the shape operator in a normal direction:This is the Gauss equation in the supplied sign convention. If one defines curvature by $[D_X,D_Y]-D_{[X,Y]}$ instead, the two quadratic terms have the opposite signs.

For an orthonormal frame $X,Y$ on a surface, positive Gaussian curvature with the convention here is $K=⟨R^M(X,Y)X,Y⟩$. If the ambient space is Euclidean and $\xi$ is a unit normal, the equation becomesThe Koszul formula determines $\nabla$ from the induced metric, and hence determines its Riemann curvature tensor and $K$. Therefore the Gaussian curvature depends only on that metric, even though its expression as a product of principal curvatures appears extrinsic. This is Theorema Egregium.

A principal bundle $\pi :P\to B$ with structure group $G$ has a smooth free right $G$-action, each fibre is a single orbit, and it is locally equivariantly isomorphic to $U\times G\to U$. A representation $\rho :G\to GL(V)$ defines the associated vector bundleLocal sections of $P$ identify $E$ with $U\times V$, and changes of section act by $\rho$ on the fibre coordinates.

A principal bundle is trivial if and only if it has a global smooth section. Given $s:B\to P$, the map $(b,g)\mapsto s(b)g$ is an equivariant isomorphism $B\times G\to P$: freeness and transitivity give its unique inverse on each fibre, and local trivializations make that inverse smooth. Conversely a product bundle has section $b\mapsto (b,e)$. This proves principal bundle trivialization by a global section. A contractible paracompact base is a sufficient condition for triviality of such a bundle; local sections alone are insufficient on a general base.

A manifold is parallelizable when its tangent bundle is trivial, equivalently when it possesses a global smooth frame. The circle $S^1$ is an example, with its nowhere-vanishing unit tangent field. The sphere $S^3$ is another: regard it as the unit quaternions. At a unit quaternion $q$, the three tangent vectors $qi,qj,qk$ are independent and smoothly depend on $q$. Quaternion multiplication preserves the norm, so these form an orthonormal frame. This gives the quaternionic left-invariant frame on the three-sphere.

For any Lie group $G$ of dimension $n$, choose a basis $E_1,\dots ,E_n$ of $T_{e}G$. Left translations defineThese fields are smooth; at every $g$, the differential of the diffeomorphism $L_g$ is invertible, so they are a basis of $T_{g}G$. Hence every Lie group manifold is parallelizable, as in parallelization of a Lie group by left translations.

For a real semisimple Lie group, let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. It is nondegenerate and invariant under the adjoint action. Left translating $B$ gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields, the Koszul formula reduces toThus ${\nabla }_{X}Y=[X,Y]/2$. The curvature convention of Question 1 givesTo obtain the Ricci tensor, trace the linear map $X\mapsto R(X,Y)Z$. Since $[[X,Y],Z]=\mathrm{ad}Z\mathrm{ad}YX$,This proves the Killing-form Einstein metric construction for every real semisimple group. If $G$ is compact semisimple, $-B$ is positive definite and its Ricci tensor is $-\frac{1}{4}B=\frac{1}{4}g$, giving a Riemannian Einstein metric. For a noncompact semisimple group the general Killing-form construction is indefinite. Thus the unrestricted assertion is understood in the pseudo-Riemannian sense appropriate here; positive definiteness is not obtained by simply taking $-B$ in the noncompact case.

The musical isomorphisms are the pointwise maps induced by the Riemannian metric:In local coordinates they are $(X^{♭}{)}_i=g_{ij}{X}^j$ and $({\alpha }^{♯}{)}^i=g^{ij}{\alpha }_j$. The inverse metric makes these inverse bundle maps, hence inverse maps between smooth vector fields and smooth differential one-forms.

For a covariant two-tensor $\beta$, its metric trace is ${\mathrm{tr}}_g\beta =g^{ij}{\beta }_{ij}={\sum }_i\beta (e_i,e_i)$ in a Riemannian orthonormal frame. The contraction is independent of the chosen frame. There is a terminology distinction here: if $\beta$ is literally an alternating differential two-form, this trace is zero. The object needed below is the covariant two-tensor $D(X^{♭})$, generally not alternating. Interpreting that tensor as an alternating form would make the stated divergence construction impossible.

Let $D$ be the Levi-Civita connection. The Riemannian gradient, divergence and positive Laplace-Beltrami operator areThus $g({\mathrm{grad}}_{g}f,Y)=Yf$, and in coordinatesThis choice makes the Laplacian eigenvalues nonnegative on a closed Riemannian manifold. The alternative convention $+\mathrm{div}\mathrm{grad}$ reverses all eigenvalue signs, but none of the comparisons below.

For the Riemannian submersion, let $F=f\circ \pi$ and choose orthonormal horizontal lifts $E_i$ of a base frame and an orthonormal vertical frame $V_{\alpha }$. The horizontal part of $D_{E_i}{E}_i$ projects to the base Levi-Civita connection; this follows directly from its Koszul formula applied to basic horizontal fields, because their inner products and projected brackets are pulled back from the base. Therefore the horizontal trace of the Riemannian Hessian of $F$ is the pulled-back base Hessian trace. Since $V_{\alpha }F=0$, its vertical terms areWriting $H={\sum }_{\alpha }(D_{V_{\alpha }}{V}_{\alpha }{)}^{\mathrm{hor}}$ for the unnormalised fibre mean curvature vector givesThe totally geodesic submanifold condition on the fibres makes $H=0$. Consequently eigenfunction pullback by a Riemannian submersion givesHere the Riemannian submersion is onto, so the map is injective. Its image is exactly the members of the upstairs eigenspace constant on each whole fibre: such a function descends smoothly by local sections of the submersion, and the displayed identity forces the descended function to have the same eigenvalue. In particular, whenever these eigenspaces are finite dimensional, the downstairs multiplicity is no larger than the upstairs multiplicity. The upstairs eigenspace may also contain functions varying along fibres.

A flat torus is ${\mathbb{R}}^d/\Lambda$ with the metric induced by the Euclidean metric, where $\Lambda$ is a full-rank Euclidean lattice. Its dual lattice is ${\Lambda }^{\ast }=\{w:⟨w,v⟩\in \mathbb{Z}\text{ for all }v\in \Lambda \}$. The characters $e_w(x)=e^{2\pi i⟨w,x⟩}$ descend to the quotient and form an orthogonal Fourier basis of $L^2$ on it. Direct differentiation gives the spectrum of a flat torus:with multiplicity equal to the number of dual lattice vectors of each length. In particular zero has multiplicity one.

Let the given four-dimensional isospectral manifolds be ${\mathbb{R}}^4/{\Lambda }_1$ and ${\mathbb{R}}^4/{\Lambda }_2$. For $d=4+k$, take their products with the same $k$ circles of length $\epsilon$, equivalently the lattices ${\Lambda }_i\oplus \epsilon {\mathbb{Z}}^k$. The dual lattices are ${\Lambda }_i^{\ast }\oplus {\epsilon }^{-1}{\mathbb{Z}}^k$, so their Laplacian eigenvalues areThe given equality of base spectra with multiplicities makes these product spectra identical.

Choose $\epsilon$ smaller than the shortest nonzero vector length in either original Euclidean lattice. By short-vector cancellation for flat tori, the shortest nonzero vectors in the product lattice are exactly $\pm \epsilon e_j$ in its new factor. To spell out the nonisometry argument, any isometry of the product flat tori lifts to an isometry of their universal Euclidean covers. This is affine, and its orthogonal linear part maps one product lattice onto the other. It must map the span of their shortest vectors, namely the new $k$-dimensional factor, onto itself; orthogonality then preserves the original four-dimensional factor and maps ${\Lambda }_1$ onto ${\Lambda }_2$. That would give an isometry of the original flat tori, contrary to the assumption. Isospectral nonisometric flat tori therefore exist in every dimension $d\ge 4$.

The Levi-Civita connection is the unique connection on a vector bundle $TM$ that is torsion-free and metric-compatible. These conditions areExistence and uniqueness follow from the Koszul formula; equivalently, these are the defining properties that characterize the connection.

Define the correction tensorand set $D_{X}Y={\nabla }_{X}Y+A(X,Y)$. All terms of $A$ are $C^{\infty }(M)$-linear in both $X$ and $Y$, so $D$ is a connection. The symmetry $A(X,Y)=A(Y,X)$ preserves vanishing of the torsion tensor.

To check compatibility with $\tilde{g}$, computeOn the other hand,The cross terms cancel, so their sum is $2X(\sigma )g(Y,Z)$. Multiplying by $e^{2\sigma }$ proves $X(\tilde{g}(Y,Z))=\tilde{g}(D_{X}Y,Z)+\tilde{g}(Y,D_{X}Z)$. Hence $D$ is torsion-free and compatible with $\tilde{g}$, so uniqueness of the Levi-Civita connection givesThis is the Levi-Civita connection under conformal rescaling.