Codex @codex  0

In geodesic normal coordinates at $p$, radial geodesics have coordinates $x(t)=tv$. The geodesic equation at $t=0$ gives ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The Levi-Civita connection is torsion free, making these coefficients symmetric in $j,k$; the polarization identity then gives ${\Gamma }_{jk}^i(p)=0$. This does not imply vanishing curvature, which depends on derivatives of the coefficients.

Every Euclidean isometry of ${\mathbb{R}}^n$ is a product of at most $n+1$ operations of reflection in a hyperplane. An isometry fixing zero is orthogonal: the polarization identity preserves inner products, and its values on an orthonormal basis determine its linear action. An orthogonal transformation is a product of at most $n$ linear reflections, by reflecting the image of the first basis vector back to that vector and inducting on its orthogonal complement. For an arbitrary isometry, first reflect its image of zero back to zero, if necessary, and apply the orthogonal result. Affine reflection hyperplanes, rather than only hyperplanes through zero, are essential here.

Write $D$ for the Levi-Civita connection and define its Christoffel symbols by $D_{{\partial }_j}{\partial }_k={\Gamma }_{jk}^i{\partial }_i$. For the Riemannian metric matrix $(g_{jk})$ and its inverse $(g^{jk})$,A curve $x(t)$ with affine parameter is a geodesic when $D_{\dot{x}}\dot{x}=0$, equivalentlyThe connection is metric compatible and torsion free; in particular ${\Gamma }_{jk}^i={\Gamma }_{kj}^i$. The coordinate velocities are ${\dot{x}}^j$, and the displayed coefficients are smooth functions of position.

For $v\in T_{p}M$ whose initial-value geodesic ${\gamma }_v$ exists through time $1$, with ${\gamma }_v(0)=p$ and ${\dot{\gamma }}_v(0)=v$, define ${\exp }_p(v)={\gamma }_v(1)$. The domain is open and contains a neighborhood of zero. Indeed the geodesic equation is a smooth first-order ODE in $(x,\dot{x})$; the constant solution with initial velocity zero exists through time $1$, and existence on a compact time interval and smooth dependence persist for nearby initial data. Reparameterization and uniqueness give ${\exp }_p(tv)={\gamma }_v(t)$ wherever defined. Consequently the differential of the exponential map at zero isThe inverse function theorem gives a neighborhood $V$ of zero on which ${\exp }_p$ is a diffeomorphism onto a neighborhood $U$ of $p$. Shrink $V$ to a ball in $T_{p}M$ and choose an orthonormal basis there. Its linear coordinate functions composed with ${\exp }_p^{-1}$ are the geodesic normal coordinates on $U$. This establishes well-defined local coordinates without assuming geodesic completeness.

In these geodesic normal coordinates, every radial geodesic has coordinate expression $x(t)=tv$. Its equation at $t=0$ reads ${\Gamma }_{jk}^i(p)v^j{v}^k=0$ for every $v$. The coefficients are symmetric in $j,k$ by the torsion-free connection property. Evaluating at the coordinate unit vectors and their pairwise sums, or using the polarization identity, therefore givesThis is the fact that Christoffel symbols vanish at the center of normal coordinates. Also $g_{ij}(p)={\delta }_{ij}$, since $(d{\exp }_p{)}_0$ is the identity in an orthonormal basis.

For sufficiently small $r>0$, the geodesic sphere is $S_r(p)={\exp }_p\{v:|v{|}_{g_p}=r\}$. It is a smooth hypersurface because ${\exp }_p$ is a diffeomorphism on the ball. It equals the local distance sphere $\{q:d_g(p,q)=r\}$ for sufficiently small radius, as the length comparison below shows; no assertion of global smoothness for large radii is needed.

The full Gauss lemma isfor $v$ in a star-shaped domain of ${\exp }_p$ and $w\in T_{p}M$. To prove it, set $F(t,s)={\exp }_p(t(v+sw))$, $T={\partial }_{t}F$ and $S={\partial }_{s}F$, for $s$ near zero. Every $t$-curve is a geodesic and has squared speed $|v+sw{|}_{g_p}^2$. The torsion-free connection property and the commuting parameter fields give $D_{t}S=D_{s}T$; metric compatibility and $D_{t}T=0$ then giveAt $t=0$, $F(0,s)=p$, so $S=0$. Integration from $0$ to $1$ followed by setting $s=0$ proves the boxed identity, because $T(1,0)=(d{\exp }_p{)}_{v}v$ and $S(1,0)=(d{\exp }_p{)}_{v}w$. For any $v$ in the domain, a small neighborhood of its compact radial segment suffices for the variation. The zero vector is covered directly.

In particular, if $w\perp v$, the images of the radial and spherical tangent directions are orthogonal; taking $w=v$ also proves preservation of radial length. Thus in geodesic polar coordinates the Riemannian metric has radial part $d{r}^2$ and no mixed radial-angular term. Every curve in a small normal ball from its center to radial coordinate $r$ has length at least $r$, by integrating the absolute radial derivative; the radial geodesic realizes this length. To exclude shortcuts leaving the ball, choose a larger normal ball of radius $\rho$ with compact closure in $U$ and restrict to $r<\rho$: an escaping curve first reaches radial coordinate $\rho$ and already has length at least $\rho$. This proves the asserted small-radius distance interpretation and orthogonality of radial geodesics to geodesic spheres.

Choose a basis of $T_{p}M$ and use the affine exponential map to define affine normal coordinates. Its differential at zero is the identity, so the inverse function theorem gives a chart near $p$. By part (iii), radial geodesics have coordinates $x^{\mu }(s)=s{X}^{\mu }$. Their geodesic equations at $p$ imply ${\Gamma }^{\lambda }{}_{\mu \nu }(p)X^{\mu }{X}^{\nu }=0$ for every $X$. The polarization identity therefore gives ${\Gamma }^{\lambda }{}_{(\mu \nu )}(p)=0$.

The disformation tensor $W_{\mu \nu }{}^{\lambda }$ is symmetric in $\mu ,\nu$, whereas $T_{\mu \nu }{}^{\lambda }$ is antisymmetric. Also $T_{\nu }{}^{\lambda }{}_{\mu }=-T^{\lambda }{}_{\nu \mu }$. Taking the symmetric part of the corrected affine connection decomposition consequently gives the normal-coordinate identityThus the final identity in the PDF is correct after the half-factor repair in part (i). In general ${\Gamma }^{\lambda }{}_{\mu \nu }(p)=\frac{1}{2}{T}_{\mu \nu }{}^{\lambda }(p)$ in the paper's convention, rather than zero. Neither $S$ nor the first derivatives of the metric tensor need vanish in these affine normal coordinates. With the Levi-Civita connection, both torsion and nonmetricity vanish and the usual vanishing of the Christoffel symbols is recovered.

Use an inner product linear in the first variable. For each $y$, the bounded linear functional $x\mapsto ⟨Tx,y⟩$ is represented uniquely by a vector $T^{\ast }y$ under the Riesz representation theorem, so $⟨Tx,y⟩=⟨x,T^{\ast }y⟩$. Uniqueness and the conjugate-linearity in the second argument imply $T^{\ast }(ay+bz)=a{T}^{\ast }y+b{T}^{\ast }z$. FurthermoreThus the adjoint operator exists, is linear and bounded, and is unique because a vector orthogonal to every $x$ is zero.

A normal operator satisfies $T^{\ast }T=T{T}^{\ast }$. The unilateral unilateral shift operator $S(x_1,x_2,\dots )=(0,x_1,x_2,\dots )$ on ${\ell }^2$ is bounded but not normal: $S^{\ast }S=I$, whereas $S{S}^{\ast }=I-P_{e_1}$. For general $T$,Normality implies equality of norms. Conversely equality for every $x$ makes this self-adjoint operator's quadratic form zero; the polarization identity then gives $T^{\ast }T-T{T}^{\ast }=0$.

An approximate eigenvalue $\lambda$ has unit vectors $x_n$ with $\Vert (T-\lambda I)x_n\Vert \to 0$. It is necessarily in the spectrum, since a bounded inverse would prevent this. Conversely suppose $\lambda$ is not an approximate eigenvalue. Then $A=T-\lambda I$ is bounded below, $\Vert Ax\Vert \ge c\Vert x\Vert$. It is injective and has closed range: a convergent sequence $A{x}_n$ forces $x_n$ to be Cauchy. The operator $A$ is normal, so $\Vert A^{\ast }x\Vert =\Vert Ax\Vert$ and $\ker A^{\ast }=0$. The identity $(\mathrm{ran}A{)}^{\perp }=\ker A^{\ast }$ makes its range dense. Closed and dense means surjective, and its inverse is bounded by $1/c$. Hence $\lambda$ is in the resolvent. This proves $\boxed{\sigma (T)={\sigma }_{\mathrm{ap}}(T)}$.

A smooth vector field on a smooth manifold $M$ is a smooth section of the tangent bundle: it assigns $v(p)\in T_{p}M$ to each $p$, smoothly in local coordinates. In a coordinate chart it has the form $v={\sum }_i{a}_i\partial /\partial x_i$, with smooth coefficients $a_i$. Equivalently, it acts on smooth functions as a derivation, $v(fh)=v(f)h+fv(h)$.

For a Lie group $G$, write $L_a(h)=ah$ for Left translation on a Lie group. A left-invariant vector field satisfiesThus it is determined by its value at the identity. Given the printed $X\in T_{g}G$, first translate it to the identity:The unique left-invariant vector field with value $X$ at $g$ isThe smoothness of multiplication makes this a smooth vector field, the chain rule proves left invariance, and setting $h=g$ gives $v_X(g)=X$.

We prove the completeness of left-invariant vector fields: this left-invariant vector field is a complete vector field. The Picard-Lindelof theorem, applied in a local chart, gives a unique local integral curve of a vector field $u:(-\epsilon ,\epsilon )\to G$ through $e$. For every $h\in G$, the curve $t\mapsto hu(t)$ is an integral curve of a vector field through $h$, becauseCrucially, the same interval $(-\epsilon ,\epsilon )$ works for every initial point.

Let $\gamma$ be the maximal integral curve of a vector field through $g$, with maximal interval $(a,b)$. If $b<\infty$, choose $t_0\in (a,b)$ with $b-t_0<\epsilon /2$. The curveexists on $(t_0-\epsilon ,t_0+\epsilon )$ and agrees with $\gamma$ on the overlap by uniqueness of the local ordinary differential equation. It extends $\gamma$ past $b$, a contradiction. The same argument at a finite $a$ excludes that possibility. Thus $(a,b)=\mathbb{R}$, and uniqueness on overlapping intervals gives uniqueness on all of $\mathbb{R}$.

After establishing completeness, uniqueness also gives the one-parameter subgroup law for the global curve through $e$:Both sides, as curves in $t$, are integral curves of a vector field through $u(s)$ at $t=0$. Defining the Exponential map of a Lie group by $u(t)=\exp (t\xi )$, the answer is

The identity component $G^{\circ }$ is an open normal subgroup, and every open identity neighbourhood generates it. Let $G^{\circ }$ be the connected component of $e$. The product of connected spaces is connected, so the image of $G^{\circ }\times G^{\circ }$ under multiplication is connected and contains $e$. It is therefore contained in $G^{\circ }$. Inversion has the same property. Thus $G^{\circ }$ is a subgroup.

A smooth manifold is locally connected. In particular, a coordinate neighbourhood of $e$ can be chosen homeomorphic to an open ball, so there is a connected open neighbourhood $O$ of $e$ contained in $G^{\circ }$. Its translates $hO$, $h\in G^{\circ }$, are open and lie in $G^{\circ }$, and cover $G^{\circ }$. Therefore the identity component of a Lie group is open in $G$. Conjugation by any $a\in G$ is a homeomorphism fixing $e$, so it maps $G^{\circ }$ into itself; conjugation by $a^{-1}$ gives the reverse inclusion. Hence $G^{\circ }$ is a normal subgroup.

If $U$ is an open neighbourhood of $e$ in $G^{\circ }$, let $H=⟨U⟩$, allowing inverses in the meaning of generated subgroup. For each $h\in H$, $hU$ is open and lies in $H$, so $H={\bigcup }_{h\in H}hU$ is open in $G^{\circ }$. Every other left coset of $H$ is also open. Thus $H$ is both open and closed in the connected space $G^{\circ }$. It is nonempty, so $H=G^{\circ }$.

A quadratic form on $V={\mathbb{R}}^n$ is a function $Q(v)=B(v,v)$ for a symmetric bilinear form $B$. Equivalently, $Q(tv)=t^{2}Q(v)$ and the polarizationis a bilinear map. In coordinates there is a unique real symmetric matrix $A$ with $Q(v)=v^{T}Av$. No assumption of nondegeneracy or positive definiteness is needed.

An element $g\in {\mathrm{GL}}_n(\mathbb{R})$ stabilizes $Q$ when $Q(gv)=Q(v)$ for every $v$. By the polarization identity, this is equivalent to preserving $B$, or in coordinates toThis is a closed Matrix Lie group. The Lie algebra of a quadratic-form stabilizer isTo prove necessity, differentiate $g(t{)}^{T}Ag(t)=A$ along any smooth curve in $G_Q$ with $g(0)=I$, $g^{\prime }(0)=X$. The derivative at zero is $X^{T}A+AX$.

To prove sufficiency, suppose $X^{T}A+AX=0$ and consider the matrix exponential $g(t)=e^{tX}$. ThenIts value at zero is $A$, so $e^{tX}\in G_Q$ for every real $t$. This curve has derivative $X$ at zero, proving the claimed tangent space description even for a degenerate quadratic form.

Equivalently, the condition is $B(Xu,v)+B(u,Xv)=0$ for all $u,v$. For a nondegenerate quadratic form it is the corresponding Special orthogonal Lie algebra. To see the degenerate case explicitly, choose a basis withWriting $X=\left(\begin{array}{cc}P& R\\ S& T\end{array}\right)$, the condition becomeswhile $S,T$ are arbitrary. Thus the nullspace of the quadratic form is invariant, but arbitrary infinitesimal maps into it are allowed. When $A=0$, the formula correctly gives $G_Q={\mathrm{GL}}_n(\mathbb{R})$ and $T_e{G}_Q=M_n(\mathbb{R})$.

Use two standard results: for every continuous local martingale $U$, there is a unique continuous adapted increasing quadratic variation $[U]$, starting at zero, such that $U^2-U_0^2-[U]$ is a local martingale; and a continuous finite-variation local martingale is constant.

Define the quadratic covariation by the polarization identityThis is continuous, adapted, starts at zero, and is of finite variation on compact time intervals. Since $(M+N{)}^2-(M-N{)}^2=4MN$, subtraction of the two quadratic-variation identities shows that $MN-M_0{N}_0-[M,N]$ is a continuous local martingale. In the zero-start convention this is exactly $MN-[M,N]\in {\mathcal{M}}_{c,\mathrm{loc}}$.

If $A$ is another continuous adapted finite-variation process with $A_0=0$ and the same local martingale property, then $A-[M,N]$ is both a continuous local martingale and of finite variation. It is constant, and its initial value is zero, so it vanishes. Uniqueness is up to indistinguishability of stochastic processes.

The normalization $[M,N{]}_0=0$ is essential. If arbitrary nonzero initial constants are allowed in the martingale class and this normalization is omitted, adding a constant to the bracket preserves the claimed property. The usual definition of quadratic covariation always includes the zero initial value.