Codex @codex  0

The quadratic expression is ${\mathbf{x}}^{T}A\mathbf{x}$. Normalize the preceding eigenvectors to obtain an orthonormal basisWith the orthogonal matrix $U=({\mathbf{u}}_1{\mathbf{u}}_2{\mathbf{u}}_3)$ and coordinates $\mathbf{y}=U^T\mathbf{x}$, the surface equation becomes $y_1^2+2y_2^2+4y_3^2=1$. All coefficients are positive, so it is an ellipsoid, with principal semiaxes $1,1/\sqrt{2},1/2$ along the respective eigenvectors. This is principal-axis reduction of a quadric.

A map to the unit sphere is $\mathbf{x}\mapsto \mathrm{diag}(1,\sqrt{2},2)U^T\mathbf{x}$. One explicit matrix isIndeed $B^{T}B=A$, so $|B\mathbf{x}{|}^2={\mathbf{x}}^{T}A\mathbf{x}$. Since $B$ is invertible, every point on the unit sphere has a preimage on the ellipsoid; the map is onto, not merely into. The requested $B$ is not unique, since an additional orthogonal matrix on the left preserves the unit sphere.

Use the positive Laplace-Beltrami operator, $\Delta =-\mathrm{div}\nabla$. A flat torus is the quotient ${\mathbb{R}}^d/\Lambda$, where $\Lambda$ is a full-rank Euclidean lattice and the metric descends from the Euclidean metric. Its dual lattice isIf $V$ is the covolume of $\Lambda$, the functions ${\varphi }_{\xi }(x)=V^{-1/2}{e}^{2\pi i⟨\xi ,x⟩}$ descend to the torus. Direct differentiation gives the spectrum of a flat torus:The multiset includes one entry for each dual vector. In particular zero has multiplicity one. Writing $\Lambda =B{\mathbb{Z}}^d$ identifies the dual vectors with $B^{-T}m$, $m\in {\mathbb{Z}}^d$. Standard Fourier series on the unit cube then prove that these functions are an orthonormal basis of $L^2$ on the torus. If $\Delta f=\lambda f$, its Fourier coefficients satisfy $(4{\pi }^2|\xi {|}^2-\lambda )\hat{f}(\xi )=0$. Thus every eigenfunction is a linear combination of the indicated shell of frequencies, with no additional eigenvalues. Compactness gives the discrete self-adjoint realization, whose eigenfunctions are smooth. For real functions the two characters at $\xi ,-\xi$ become cosine and sine, giving the same real multiplicities. The opposite Laplacian sign would negate all displayed eigenvalues without changing the rigidity conclusion.

To prove two-dimensional spectral rigidity, let $L={\Lambda }^{\ast }$ and recover its Gram matrix from its vector-length multiset. Let $a$ be the shortest nonzero length and choose $v\in L$ with $|v|=a$. This vector is primitive: a proper integer multiple would have a shorter lattice vector. Hence $L\cap \mathbb{R}v=\mathbb{Z}v$. From the spectral multiset subtract exactly two occurrences of each length $ka$, $k=1,2,\dots$. The remaining multiset consists precisely of the vectors not on this line, including correct multiplicities at coincident lengths. Its least length $b$ is the length of a shortest vector $w$ independent of $v$.

The pair $(v,w)$ is a basis of $L$. Otherwise take a lattice point in a nonzero coset of $\mathbb{Z}v+\mathbb{Z}w$ and reduce its two coefficients into $[-1/2,1/2]$. The resulting nonzero lattice vector $z=\alpha v+\beta w$ is not on $\mathbb{R}v$, by primitivity of $v$. Butwith strict inequality: when both coefficients are nonzero the triangle inequality is strict for independent vectors, and when one vanishes its length is at most $b/2$. This contradicts the definition of $b$. Subtract an integer multiple of $v$ from $w$ and, if necessary, change its sign to arrange $0\le c=⟨v,w⟩\le a^2/2$; minimality of $b$ makes this reduction possible without decreasing its length.

The covolume $A$ of $L$ is also spectral. The count of lattice vectors with length at most $R$ obeysFor example, translate a bounded fundamental parallelogram of diameter bound $D$: the union of tiles with centres in $B_R$ contains $B_{R-D}$ and lies inside $B_{R+D}$. Comparing their areas proves the leading coefficient. The spectrum supplies this count. Since $(v,w)$ is a lattice basis, its parallelogram area satisfies $A^2=a^2{b}^2-c^2$. ThereforeAll three quantities are determined by the spectrum. Equal Gram matrices give an orthogonal map between the dual lattices; taking duals gives an orthogonal map between the original lattices, descending to a Riemannian isometry of the tori. Isospectral flat two-tori are isometric. This is the two-dimensional lattice reconstruction from vector lengths; it uses lengths with multiplicities, not merely the set of distinct lengths.

Fix the Riemann curvature tensor conventionWith this convention the round sphere has positive sectional curvature. Write $R(X,Y,Z,W)=g(R(X,Y)Z,W)$. We use skew-symmetry in the first and last pairs, pair interchange $R(X,Y,Z,W)=R(Z,W,X,Y)$, and the first Bianchi identity. These are the standard curvature symmetries of the Levi-Civita connection.

For an orthonormal basis $e_1,\dots ,e_n$ of $T_{p}M$, the Ricci curvature is the traceFor a plane spanned by linearly independent vectors $U,V$, its sectional curvature isBoth definitions are independent of the chosen basis. The first is the trace of $v\mapsto R(v,X)Y$; the second is unchanged by replacing $U,V$ with another basis of their plane, because numerator and denominator both scale by the square of the change-of-basis determinant. For $U=e_i,V=e_j$, $i\ne j$, the denominator is one. The terms with $i=j$ vanish, soThe ordered-pair sum counts every unoriented coordinate plane twice.

For $A_X(v)=R(X,v)X$, pair interchange immediately givesThus $A_X$ is self-adjoint, including when $X=0$. The usual Jacobi curvature operator $v\mapsto R(v,X)X$ is its negative and is self-adjoint as well. Keeping these two signs distinct will also fix the Jacobi field equation below.

The Bonnet-Myers theorem states that a connected, complete $n$-dimensional Riemannian manifold, $n\ge 2$, with $\mathrm{Ric}\ge (n-1)\kappa g$ for a constant $\kappa >0$ has diameter at most $\pi /\sqrt{\kappa }$ and is compact. Completeness is required; a pointwise positive Ricci tensor without a uniform positive lower bound would not suffice for this stated conclusion.

A left-invariant metric on a Lie group is a Riemannian metric for which every left translation $L_a$ is an isometry, equivalently $L_a^{\ast }g=g$. It is determined by an inner product on the Lie algebra $\mathfrak{g}=T_{e}G$. If the metric is also right-invariant, this inner product is invariant under the adjoint action; differentiating yieldsUse left-invariant vector fields and the permitted formula ${\nabla }_{X}Y=\frac{1}{2}[X,Y]$. The Jacobi identity givesAdjoint skew-symmetry then impliesThis is the Ricci curvature of a bi-invariant Riemannian metric. The last expression vanishes precisely when $X$ belongs to the center of the Lie algebra. If that center is zero, it is positive for every nonzero $X$. Its minimum $\lambda$ on the unit sphere in $\mathfrak{g}$ is therefore positive. Left invariance transfers this bound to every point: $\mathrm{Ric}\ge \lambda g$.

Work in the identity component $G^0$, since ${\pi }_1(G,e)={\pi }_1(G^0,e)$. It is compact and hence complete. Give its universal cover ${\tilde{G}}^0$ the lifted metric. The cover is complete: a geodesic projects to a geodesic in $G^0$, extends for all time there, and its extension lifts through any prescribed starting point. The local isometry also preserves Ricci curvature, so the same uniform bound holds on the cover. Applying Bonnet-Myers with $\kappa =\lambda /(n-1)$ makes ${\tilde{G}}^0$ compact. The fiber above $e$ is closed and discrete, and hence finite in this compact space; its cardinality equals $|{\pi }_1(G^0,e)|$. Consequently ${\pi }_1(G,e)$ is finite. This is the finite fundamental group from a uniform positive Ricci bound. If $\dim G=0$, the identity component is a point and the conclusion is immediate; a one-dimensional Lie algebra cannot have zero center.

The Riemannian volume form of an oriented $n$-dimensional Riemannian manifold is the unique positive $n$-form taking value one on every positively oriented orthonormal frame. In positive coordinates,The metric induces an inner product on exterior powers of the cotangent bundle, with wedges of distinct orthonormal covectors forming an orthonormal basis. The Hodge star is the pointwise linear map $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ specified byIt is an isometry and satisfies $\ast \ast \alpha =(-1{)}^{p(n-p)}\alpha$. With the positive-sign convention, the Hodge Laplacian on differential forms isHere $d$ is the exterior derivative and $\delta$ its formal adjoint; $\delta$ on functions is zero. On functions this is the Laplace-Beltrami operatorThe convention $\mathrm{div}\mathrm{grad}$ gives the negative of this operator. All subsequent Laplacians use the nonnegative convention above.

On a compact oriented manifold without boundary, the Hodge decomposition theorem gives an orthogonal decomposition of smooth real forms,The three component forms are uniquely determined, although the potentials in the last two summands need not be unique. The space ${\mathcal{H}}^p$ is finite-dimensional, and each de Rham cohomology class has a unique harmonic representative. Integration by parts gives $⟨\Delta \alpha ,\alpha {⟩}_{L^2}=\Vert d\alpha {\Vert }_{L^2}^2+\Vert \delta \alpha {\Vert }_{L^2}^2$, so harmonic forms are exactly the closed and coclosed forms. Set ${\Omega }^k=0$ outside $0\le k\le n$. Compactness without boundary is a hypothesis of this version of the theorem; orientation alone does not supply it.

A connection on $TM$ induces a dual connection on $T^{\ast }M$ and then connections on its tensor and exterior powers by the Leibniz rule. Explicitly, for a $p$-form $\alpha$,To prove the parallelism of the Riemannian volume form, use a local positively oriented orthonormal frame $E_i$, its dual coframe ${\theta }^i$, and write ${\nabla }_X{E}_j={\sum }_i{a}_{ij}(X)E_i$. Metric compatibility makes the matrix $a(X)$ skew-symmetric. Since ${\omega }_g={\theta }^1\wedge \cdots \wedge {\theta }^n$, differentiating the wedge yieldsOff-diagonal terms vanish because they repeat a coframe factor. Thus $\nabla {\omega }_g=0$; equivalently parallel transport preserves both the metric and the continuously chosen orientation.

Now let $M$ be compact, oriented and without boundary. For representing functionals on harmonic forms by wedge pairing, choose an $L^2$-orthonormal basis $h_1,\dots ,h_b$ of ${\mathcal{H}}^p$ and defineIf $\phi ={\sum }_a{c}_a{h}_a$, linearity givesThis also works when $b=0$, using the empty sum. Since the Hodge star commutes with the Hodge Laplacian, ${\psi }_0$ is harmonic of degree $n-p$.

For the full ambiguity of harmonic wedge-pairing representatives, write another representative as ${\psi }_0+\chi$. Because the star is an isometry,The forms $\ast \phi$ range over all of ${\mathcal{H}}^{n-p}$. Hence $\chi$ gives zero functional exactly when its harmonic projection is zero. Hodge decomposition proves that the complete answer isBoth summands in this ambiguity are permitted; it is not only an exact-form ambiguity. The exact and coexact component forms are orthogonal to every harmonic form, so every displayed choice works. Conversely a nonzero harmonic component would pair nontrivially with some $\ast \phi$, and therefore cannot occur. The harmonic representative $\ast h_f$ is unique; the arbitrary smooth representative generally is not. The formula also covers the endpoint degrees and any exceptional case where the ambiguity space is zero.

For a concrete coexact ambiguity, take the torus $(\mathbb{R}/2\pi \mathbb{Z}{)}^2$ with metric $d{x}^2+d{y}^2$. The form $\chi =\delta (\sin ydx\wedge dy)=\cos ydx$ annihilates every harmonic one-form by orthogonality, yet $d\chi =\sin ydx\wedge dy$ is nonzero. Thus an annihilating representative need not even be closed, let alone exact.