ScalingStacks

Proof. [04ZY]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We write the full matrix expression of the metric gg as

(3.53) g=[gα​β00gi​j]+[0SSt0],g=\left[{\begin{array}[]{cc}g_{\alpha\beta}&0\\ 0&g_{ij}\\ \end{array}}\right]+\left[{\begin{array}[]{cc}0&S\\ S^{t}&0\\ \end{array}}\right],

where S=(gα​i)=O~​(r)S=(g_{\alpha i})=\widetilde{O}(r). We denote by (hα​β)(h_{\alpha\beta}) and (hi​j)(h_{ij}) the inverse matrix of (gα​β)(g_{\alpha\beta}) and (gi​j)(g_{ij}) respectively. Then by elementary consideration

(3.74) g−1\displaystyle g^{-1} =\displaystyle= [hα​β00hi​j]−[hα​β00hi​j]​[0SSt0]​[hα​β00hi​j]\displaystyle\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]-\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]\left[{\begin{array}[]{cc}0&S\\ S^{t}&0\\ \end{array}}\right]\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]
+\displaystyle+ [hα​β00hi​j]​[0SSt0]​[hα​β00hi​j]​[0SSt0]​[hα​β00hi​j]\displaystyle\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]\left[{\begin{array}[]{cc}0&S\\ S^{t}&0\\ \end{array}}\right]\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]\left[{\begin{array}[]{cc}0&S\\ S^{t}&0\\ \end{array}}\right]\left[{\begin{array}[]{cc}h_{\alpha\beta}&0\\ 0&h_{ij}\\ \end{array}}\right]
+\displaystyle+ O~​(r3).\displaystyle\widetilde{O}(r^{3}).

Notice the third term does not have off-diagonal contributions, so the inverse matrix g−1=(gI​J)g^{-1}=(g^{IJ}) satisfies

(3.75) gi​α\displaystyle g^{i\alpha} =−hi​j​gj​β​hβ​α+O~​(r3)\displaystyle=-h_{ij}g_{j\beta}h_{\beta\alpha}+\widetilde{O}(r^{3})
(3.76) gi​j\displaystyle g^{ij} =hi​j+O~​(r2),\displaystyle=h_{ij}+\widetilde{O}(r^{2}),
(3.77) gα​β\displaystyle g^{\alpha\beta} =hα​β+O~​(r2)=δα​β+O~​(r2),\displaystyle=h_{\alpha\beta}+\widetilde{O}(r^{2})=\delta_{\alpha\beta}+\widetilde{O}(r^{2}),

where we used Lemma 3.4. The definition of ηα\eta_{\alpha} requires ⟨ηα,d​xj⟩=0\langle\eta_{\alpha},dx_{j}\rangle=0, which implies that

(3.78) pi​α​gi​j+gj​α=0.p_{i\alpha}g^{ij}+g^{j\alpha}=0.

Let (g^i​j)(\hat{g}_{ij}) be the inverse of the matrix (gi​j)(g^{ij}) with 1≤i,j≤m−31\leq i,j\leq m-3 such that gi​j​g^j​k=δi​kg^{ij}\hat{g}_{jk}=\delta_{ik}. Multiplying by g^j​k\hat{g}_{jk}, we have

(3.79) pi​α​gi​j​g^j​k+gj​α​g^j​k=0,p_{i\alpha}g^{ij}\hat{g}_{jk}+g^{j\alpha}\hat{g}_{jk}=0,

and hence

(3.80) pk​α=−gj​α​g^j​k.p_{k\alpha}=-g^{j\alpha}\hat{g}_{jk}.

We claim that for any 1≤i,j≤m−31\leq i,j\leq m-3,

(3.81) g^i​j−gi​j=O~​(r2).\hat{g}_{ij}-g_{ij}=\widetilde{O}(r^{2}).

In fact, since

(3.82) gi​j​gj​k+gi​α​gα​k=δi​k.g^{ij}g_{jk}+g^{i\alpha}g_{\alpha k}=\delta_{ik}.

Multipling by the inverse of the submatrix (gi​j)(g^{ij}),

(3.83) g^l​i​(gi​j​gj​k+gi​α​gα​k)=g^l​k.\hat{g}_{li}(g^{ij}g_{jk}+g^{i\alpha}g_{\alpha k})=\hat{g}_{lk}.

So this implies that

(3.84) g^l​k−gl​k=g^l​i​gi​α​gα​k=O~​(r2).\hat{g}_{lk}-g_{lk}=\hat{g}_{li}g^{i\alpha}g_{\alpha k}=\widetilde{O}(r^{2}).

Therefore, combining (3.75),(3.77), (3.80) and (3.84), we obtain

(3.85) pk​α\displaystyle p_{k\alpha} =\displaystyle= −(gk​j+O~​(r2))​gj​α\displaystyle-(g_{kj}+\widetilde{O}(r^{2}))g^{j\alpha}
=\displaystyle= −gk​j​gj​α+O~​(r3)\displaystyle-g_{kj}g^{j\alpha}+\widetilde{O}(r^{3})
=\displaystyle= hα​β​gk​β+O~​(r3)\displaystyle h_{\alpha\beta}g_{k\beta}+\widetilde{O}(r^{3})
=\displaystyle= gk​α+O~​(r3).\displaystyle g_{k\alpha}+\widetilde{O}(r^{3}).

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.