1 Introduction
2 Cartan Connection: Theory
2.1 The Cartan Connection
$$\begin{array}{ccc}\mathfrak{g}={\mathfrak{g}}_{-k}\oplus \dots \oplus {\mathfrak{g}}_{0}\oplus \dots \oplus {\mathfrak{g}}_{k},& & \end{array}$$ |
$$\begin{array}{ccc}{G}_{0}& =& \{g\in G:Ad(g){\mathfrak{g}}_{i}\subseteq {\mathfrak{g}}_{i},\forall i\},\end{array}$$ |
$$\begin{array}{ccc}P& =& \{g\in G:Ad(g){\mathfrak{g}}_{i}\subseteq {\Sigma}_{j\ge i}{\mathfrak{g}}_{j},\forall i\}.\end{array}$$ |
2.2 Conformal Geometry
$$\begin{array}{ccc}\mathfrak{g}={\mathbb{R}}^{n}\oplus co\left(n\right)\oplus {\mathbb{R}}^{n*},& & \end{array}$$ |
$$\begin{array}{ccc}{\mathcal{G}}_{0}{\times}_{{G}_{0}}\mathfrak{g}.& & \end{array}$$ |
$$\begin{array}{ccc}{\mathcal{G}}_{0}{\times}_{{G}_{0}}\mathfrak{g}=T\oplus co\left(T\right)\oplus {T}^{*}.& & \end{array}$$ |
$$\begin{array}{ccc}[t,{s}^{*}]=t\otimes {s}^{*}-(t\otimes {s}^{*}{)}^{\tau}+{s}^{*}(t)\delta ,& & \end{array}$$ |
$$\begin{array}{ccc}\mathcal{\mathcal{E}}\left[w\right]={\mathcal{G}}_{0}{\times}_{\rho}\mathbb{R},\rho \left(c\right)\left(y\right)=-w\frac{det\left(c\right)}{2n}y.& & \end{array}$$ |
$$\begin{array}{ccc}{g}^{\xi}={\xi}^{-2}\mathbf{g},& & \end{array}$$ |
$$\begin{array}{ccc}{\widehat{\nabla}}_{X}s={\nabla}_{X}s+[\Upsilon ,X].s,& & \end{array}$$ |
$$\begin{array}{ccc}\left[\right[\Upsilon ,X],Y]-\left[\right[\Upsilon ,Y],X]=-\left[\right[X,Y],\Upsilon ]=0,& & \end{array}$$ |
$$\begin{array}{ccc}\stackrel{~}{\nabla}=\stackrel{~}{\nabla}+a,& & \end{array}$$ |
$$\begin{array}{ccc}\Upsilon ={f}^{-1}df=d\left(logf\right).& & \end{array}$$ |
$$\begin{array}{ccc}{R}_{ijkl}={W}_{ijkl}+2{\mathbf{g}}_{k[i}{\mathsf{P}}_{j]l}-2{\mathbf{g}}_{l[i}{\mathsf{P}}_{j]k}-2{\mathsf{P}}_{\left[ij\right]}{\mathbf{g}}_{kl}& & \end{array}$$ | (1) |
$$\begin{array}{ccc}{\mathsf{P}}_{ij}=-\frac{1}{n-2}(\frac{1}{n}\mathsf{R}\mathsf{i}{\mathsf{c}}_{ij}+\frac{n-1}{n}\mathsf{R}\mathsf{i}{\mathsf{c}}_{ji}-\frac{1}{2n-2}R{\mathbf{g}}_{ij})& & \end{array}$$ |
$$\begin{array}{ccc}{\mathsf{P}}_{ij}=-\frac{1}{n-2}(\mathsf{R}\mathsf{i}{\mathsf{c}}_{ij}-\frac{1}{2n-2}R{\mathbf{g}}_{ij}).& & \end{array}$$ |
$$\begin{array}{ccc}C{Y}_{ijk}=2{\nabla}_{[i}{\mathsf{P}}_{j]k}.& & \end{array}$$ | (2) |
$$\begin{array}{ccc}\widehat{\mathsf{P}}\left(\xi \right)=\mathsf{P}\left(\xi \right)-{\nabla}_{\xi}\Upsilon +\frac{1}{2}[\Upsilon ,[\Upsilon ,\xi \left]\right],& & \end{array}$$ | (3) |
2.2.1 Equivalences
$$\begin{array}{ccc}0\u27f6{\odot}^{2}{T}^{*}\left[1\right]\u27f6& {J}^{2}(\mathcal{\mathcal{E}}[1\left]\right)& \u27f6{J}^{1}(\mathcal{\mathcal{E}}[1\left]\right)\u27f60,\end{array}$$ |
$$\begin{array}{ccc}0\u27f6{T}^{*}\left[1\right]\u27f6& {J}^{1}(\mathcal{\mathcal{E}}[1\left]\right)& \u27f6\mathcal{\mathcal{E}}\left[1\right]\u27f60.\end{array}$$ |
$$\begin{array}{ccc}0\u27f6\left({\odot}^{2}{T}^{*}{)}_{0}\right[1]\u27f6& {J}^{2}(\mathcal{\mathcal{E}}[1\left]\right)& \u27f6{\mathcal{T}}^{*}\u27f60.\end{array}$$ |
$$\begin{array}{ccc}Ds\left(b\right)\to \left(s\right(b),{\nabla}_{i}s(b),\frac{1}{n}{\mathbf{g}}^{ij}(-{\nabla}_{i}{\nabla}_{j}s\left(b\right)+{\mathsf{P}}_{ij}s\left(b\right)\left)\right)& & \end{array}$$ |
$$\begin{array}{ccc}\left(\begin{array}{c}x\\ {\omega}_{i}\\ z\end{array}\right)\to \left(\begin{array}{c}x\\ {\omega}_{i}-{\Upsilon}_{i}x\\ z+{\mathbf{g}}^{ij}{\omega}_{i}{\Upsilon}_{j}-\frac{1}{2}{\mathbf{g}}^{ij}{\Upsilon}_{i}{\Upsilon}_{j}x\end{array}\right).& & \end{array}$$ |
$$\begin{array}{ccc}{\widehat{\nabla}}_{i}{\widehat{\nabla}}_{j}=({\nabla}_{i}+{\Upsilon}_{i})({\nabla}_{j}+{\Upsilon}_{j})={\nabla}_{i}{\nabla}_{j}+{\nabla}_{i}{\Upsilon}_{j}+{\Upsilon}_{i}{\nabla}_{j}+{\Upsilon}_{ij}^{2}.& & \end{array}$$ |
$$\begin{array}{ccc}{\widehat{\mathsf{P}}}_{ij}={\mathsf{P}}_{ij}-{\nabla}_{j}{\Upsilon}_{i}+\frac{1}{2}{\Upsilon}_{ij}^{2}.& & \end{array}$$ |
$$\begin{array}{ccc}(-{\widehat{\nabla}}_{i}{\widehat{\nabla}}_{j}+{\widehat{\mathsf{P}}}_{ij}).x& =& (-{\nabla}_{i}{\nabla}_{j}+{\mathsf{P}}_{ij}).x+{\Upsilon}_{i}{\nabla}_{j}x-\frac{1}{2}{\Upsilon}_{ij}^{2}x\end{array}$$ |
$$\begin{array}{ccc}& & -({\nabla}_{j}{\Upsilon}_{i}+{\nabla}_{i}{\Upsilon}_{j})x\end{array}$$ |
$$\begin{array}{ccc}\frac{1}{n}{\mathbf{g}}^{ij}(-{\widehat{\nabla}}_{i}{\widehat{\nabla}}_{j}+{\widehat{\mathsf{P}}}_{ij})s& =& \frac{1}{n}{\mathbf{g}}^{ij}(-{\nabla}_{i}{\nabla}_{j}+{\mathsf{P}}_{ij}+{\Upsilon}_{i}\circ {\nabla}_{j}-\frac{1}{2}{\Upsilon}_{ij}^{2})s\end{array}$$ |
$$\begin{array}{ccc}& =& z+{\mathbf{g}}^{ij}{\omega}_{i}{\Upsilon}_{j}-\frac{1}{2}{\mathbf{g}}^{ij}{\Upsilon}_{i}{\Upsilon}_{j}x.\end{array}$$ |
$$\begin{array}{ccc}\left(\begin{array}{c}x\\ Y\\ z\end{array}\right)\to \left(\begin{array}{c}x\\ Y+{\Upsilon}^{*}x\\ z-\Upsilon \left(Y\right)-\frac{1}{2}\mathbf{g}(\Upsilon ,\Upsilon )x\end{array}\right),& & \end{array}$$ |
$$\begin{array}{ccc}\langle \left(\begin{array}{c}x\\ Y\\ z\end{array}\right),\left(\begin{array}{c}{x}^{\prime}\\ {Y}^{\prime}\\ {z}^{\prime}\end{array}\right)\rangle =x{z}^{\prime}+{x}^{\prime}z+\mathbf{g}(Y,{Y}^{\prime}).& & \end{array}$$ |
$$\begin{array}{ccc}\mathcal{\mathcal{E}}[-1]\hookrightarrow T\oplus \mathcal{\mathcal{E}}[-1]\hookrightarrow \mathcal{T},& & \end{array}$$ |
$$\begin{array}{ccc}{\pi}^{1}:& \mathcal{T}\to & \mathcal{\mathcal{E}}\left[1\right]\oplus T,\end{array}$$ |
$$\begin{array}{ccc}{\pi}^{2}:& \mathcal{T}\to & \mathcal{\mathcal{E}}\left[1\right].\end{array}$$ |
$$\begin{array}{ccc}\mathcal{A}=T\oplus co\left(T\right)\oplus {T}^{*}.& & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{X}={\nabla}_{X}+ad\left(X\right)+ad\mathsf{P}\left(X\right),& & \end{array}$$ |
$$\begin{array}{ccc}\left(\begin{array}{c}X\\ \Psi \\ \omega \end{array}\right)\to \left(\begin{array}{c}X\\ \Psi +[\Upsilon ,X]\\ \omega +[\Upsilon ,\Psi ]+\frac{1}{2}[\Upsilon ,[\Upsilon ,X\left]\right]\end{array}\right),& & \end{array}$$ |
$$\begin{array}{ccc}\overrightarrow{\nabla}=\nabla +\rho \left(X\right)+\rho \mathsf{P}\left(X\right).& & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{X}\left(\begin{array}{c}x\\ Y\\ z\end{array}\right)=\left(\begin{array}{c}{\nabla}_{X}x-\mathbf{g}(X,Y)\\ {\nabla}_{X}Y+zX-x\mathsf{P}\left(X\right)\\ {\nabla}_{X}z+\mathsf{P}(X,Y)\end{array}\right),& & \end{array}$$ | (4) |
$$\begin{array}{ccc}d+{j}^{*}{i}^{*}\omega =d+{j}^{*}\mu & & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{X}\left(\begin{array}{c}0\\ 0\\ z\end{array}\right)=\left(\begin{array}{c}0\\ zX\\ {\nabla}_{X}z\end{array}\right),& & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{i}{\overrightarrow{\nabla}}_{j}& =& {\nabla}_{i}{\nabla}_{j}+({\delta}_{j}^{l}{\nabla}_{i}+{\delta}_{i}^{l}{\nabla}_{j})+({\mathsf{P}}_{jk}{\nabla}_{i}+{\mathsf{P}}_{ik}{\nabla}_{j})+{\nabla}_{i}\left({\mathsf{P}}_{jk}\right)\end{array}$$ |
$$\begin{array}{ccc}& & +{\delta}_{i}^{l}\circ {\delta}_{j}^{m}+{\delta}_{i}^{l}\circ {\mathsf{P}}_{jn}+{\mathsf{P}}_{ik}\circ {\delta}_{j}^{m}+{\mathsf{P}}_{ik}\circ {\mathsf{P}}_{jn}.\end{array}$$ |
$$\begin{array}{ccc}{R}_{ij}^{\overrightarrow{\nabla}}& =& {R}_{ij}^{\nabla}+{\nabla}_{[i}\left({\mathsf{P}}_{j]k}\right)+{\delta}_{[i}^{l}\circ {\mathsf{P}}_{j]n}+{\mathsf{P}}_{k[i}\circ {\delta}_{j]}^{m}.\end{array}$$ |
$$\begin{array}{ccc}{R}_{X,Y}^{\overrightarrow{\nabla}}=\left(\begin{array}{c}0\\ W(X,Y)\\ CY(X,Y)\end{array}\right).& & \end{array}$$ |
3 Conformally Einstein Manifolds
3.1 Important Note
$$\begin{array}{ccc}f\left(c\right)={\pi}^{2}\left(u\right)\tau .& & \end{array}$$ |
$$\begin{array}{ccc}X.f\left(b\right)=\left({\nabla}_{X}x\right)\tau =-\mathbf{g}(X,Y)\tau .& & \end{array}$$ |
$$\begin{array}{ccc}Z.(X.f)\left(b\right)& =& \left({\nabla}_{Z}{\nabla}_{X}x\right)\tau \end{array}$$ |
$$\begin{array}{ccc}& =& -\mathbf{g}(X,{\nabla}_{Z}Y)\tau \end{array}$$ |
$$\begin{array}{ccc}& =& -\mathbf{g}(X,-zZ)\tau .\end{array}$$ |
3.2 Einstein Spaces
$$\begin{array}{ccc}\mathsf{P}=-\frac{\lambda}{2n-2}\mathbf{g}.& & \end{array}$$ |
$$\begin{array}{ccc}\overrightarrow{\nabla}\left(\begin{array}{c}1\\ 0\\ -\frac{\lambda}{2n-2}\end{array}\right)=\left(\begin{array}{c}0\\ \frac{\lambda}{2n-2}-\frac{\lambda}{2n-2}\\ 0\end{array}\right)=0,& & \end{array}$$ |
$$\begin{array}{ccc}{R}_{ikl}^{i}& =& -{R}_{kli}^{i}-{R}_{lik}^{i}\end{array}$$ |
$$\begin{array}{ccc}& =& \mathsf{R}\mathsf{i}{\mathsf{c}}_{kl}-\mathsf{R}\mathsf{i}{\mathsf{c}}_{lk},\end{array}$$ |
$$\begin{array}{ccc}g={\eta}^{-2/n}\mathbf{g}& & \end{array}$$ |
4 Decomposition Theorem
4.1 Preparatory Results
$$\begin{array}{ccc}{\nabla}_{X}^{{g}^{\prime}}Y& =& {\nabla}_{X}^{g}Y+\left[\right[\Upsilon ,X],Y]\end{array}$$ |
$$\begin{array}{ccc}& =& {\nabla}_{X}^{g}Y+\Upsilon \left(X\right)Y+\Upsilon \left(Y\right)X-g(X,Y){\Upsilon}^{*},\end{array}$$ |
$$\begin{array}{ccc}{S}^{{g}^{\prime}}={S}^{g}-({\Upsilon}^{*}{)}^{\perp}g.& & \end{array}$$ |
$$\begin{array}{ccc}f=1+\sigma {e}_{j}{x}^{j},& & \end{array}$$ |
$$\begin{array}{ccc}\left(\begin{array}{c}x\\ Y\\ z\end{array}\right)\to \left(\begin{array}{c}x\\ Y-{\Upsilon}_{f}x\\ z+{\Upsilon}_{f}\left(Y\right)-\frac{1}{2}\mathbf{g}({\Upsilon}_{f},{\Upsilon}_{f})x\end{array}\right)& & \end{array}$$ |
$$\begin{array}{ccc}{\nabla}^{g}h={\nabla}^{g}{h}^{\prime}=0.& & \end{array}$$ |
$$\begin{array}{ccc}{\nabla}^{g}\left(TN\right)\subset {T}^{*}\otimes TN\text{and}{\nabla}^{g}\left(TL\right)\subset {T}^{*}\otimes TL.& & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{X}\left(\begin{array}{c}x\\ Y\\ z\end{array}\right)=\left(\begin{array}{c}{\nabla}_{X}x-g(X,Y)\\ {\nabla}_{X}Y+zX-x\mathsf{P}\left(X\right)\\ {\nabla}_{X}z+\mathsf{P}(X,Y)\end{array}\right),& & \end{array}$$ |
4.2 Decomposition Theorem
$$\begin{array}{ccc}0={S}^{g}({X}_{i}+{X}_{j},{X}_{i}-{X}_{j})={S}^{g}({X}_{i},{X}_{i})-{S}^{g}({X}_{j},{X}_{j}).& & \end{array}$$ |
4.2.1 Split Metrics in the Conformal Class
$$\begin{array}{ccc}\mathsf{P}=c({h}_{U}-{h}_{V}).& & \end{array}$$ |
$$\begin{array}{ccc}\mathsf{P}=-\frac{1}{n-2}\left(\mathsf{R}\mathsf{i}\mathsf{c}-\frac{1}{2n-2}Rg\right),& & \end{array}$$ |
$$\begin{array}{ccc}c+\frac{1}{n-2}\left(a-\frac{al+b(n-l)}{2n-2}\right)=0& & \end{array}$$ |
$$\begin{array}{ccc}-c+\frac{1}{n-2}\left(b-\frac{al+b(n-l)}{2n-2}\right)=0& & \end{array}$$ |
$$\begin{array}{ccc}a& =& (1-l)c\end{array}$$ |
$$\begin{array}{ccc}b& =& (n-1-l)c.\end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{X}={\nabla}_{X}+\rho \left(X\right)+\rho \left({\mathsf{P}}^{M}\right(X\left)\right).& & \end{array}$$ |
$$\begin{array}{ccc}{\mathsf{P}}^{U}=-\frac{a}{2l-2}{h}_{U}.& & \end{array}$$ |
$$\begin{array}{ccc}{\mathsf{P}}^{M}{|}_{U}& =& -\frac{1}{n-2}(a-\frac{la+(n-l)b}{2n-2}){h}_{U}\end{array}$$ |
$$\begin{array}{ccc}& =& -\frac{a}{2l-2}{h}_{U}={\mathsf{P}}^{U},\end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{R}}_{XY}=\left(\begin{array}{c}0\\ {R}_{XY}^{U}-a(X\circ {h}_{U}(Y)-Y\circ {h}_{U}(X\left)\right)\\ 0\end{array}\right),& & \end{array}$$ |
$$\begin{array}{ccc}{R}_{XY}^{U}=a(X\circ {h}_{U}(Y)-Y\circ {h}_{U}(X\left)\right)& & \end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{A}s=\left({\nabla}_{A}+\rho \left(A\right)+\rho \mathsf{P}\left(A\right)\right)s=0& & \end{array}$$ |
4.2.2 Converse to the Decomposition
5 Einstein Spaces: Metric Cones
$$\begin{array}{ccc}h=\frac{1}{\mu}d{t}^{2}+{t}^{2}g,& & \end{array}$$ |
$$\begin{array}{ccc}2\langle {\nabla}_{X}Y,Z\rangle & =& X.\langle Y,Z\rangle +Y.\langle X,Z\rangle -Z.\langle X,Y\rangle \end{array}$$ |
$$\begin{array}{ccc}& & +\langle [X,Y],Z\rangle +\langle [Z,X],Y\rangle +\langle [Z,Y],X\rangle ,\end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{T}T& =& 0,\end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{{X}_{i}}T& =& \frac{1}{t}{X}_{i},\end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{T}{X}_{i}& =& \frac{1}{t}{X}_{i},\end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{{X}_{i}}{X}_{j}& =& {\stackrel{~}{\nabla}}_{{X}_{i}}{X}_{j}-t\mu g({X}_{i},{X}_{j})T,\end{array}$$ |
$$\begin{array}{ccc}Y(t,x)=\frac{1}{t}{Y}^{\perp}\left(x\right)+a\left(x\right)T.& & \end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{T}\left(\frac{1}{t}{Y}^{\perp}\right)& =& T\left(\frac{1}{t}\right){Y}^{\perp}+\frac{1}{{t}^{2}}{Y}^{\perp}\end{array}$$ |
$$\begin{array}{ccc}& =& (-\frac{1}{{t}^{2}}+\frac{1}{{t}^{2}}){Y}^{\perp}\end{array}$$ |
$$\begin{array}{ccc}& =& 0,\end{array}$$ |
$$\begin{array}{ccc}0={\stackrel{~}{\nabla}}_{Z}{Y}^{\perp}-\mu g(Z,{Y}^{\perp})T+aZ+Z\left(a\right)T.& & \end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{Z}Y& =& \frac{1}{t}{\stackrel{~}{\nabla}}_{Z}{Y}^{\perp}-\frac{t}{t}\mu g(Z,{Y}^{\perp})T+\frac{a}{t}Z+Z\left(a\right)T\end{array}$$ |
$$\begin{array}{ccc}& =& \frac{1}{t}({\stackrel{~}{\nabla}}_{Z}{Y}^{\perp}+aZ)+(-\mu g(Z,{Y}^{\perp})+Z(a\left)\right)T\end{array}$$ |
$$\begin{array}{ccc}& =& 0.\end{array}$$ |
$$\begin{array}{ccc}{\overrightarrow{\nabla}}_{{X}_{i}}R=\left(\begin{array}{c}0\\ {X}_{i}\\ 0\end{array}\right)and{\overrightarrow{\nabla}}_{{X}_{i}}\left(\begin{array}{c}0\\ {X}_{j}\\ 0\end{array}\right)=\left(\begin{array}{c}0\\ {\stackrel{~}{\nabla}}_{{X}_{i}}{X}_{j}\\ 0\end{array}\right)-\mu g({X}_{i},{X}_{j})R.& & \end{array}$$ |
$$\begin{array}{ccc}{R}_{T,-}& =& 0,\end{array}$$ |
$$\begin{array}{ccc}{R}_{{X}_{i}{X}_{j}}{X}_{k}& =& {\stackrel{~}{R}}_{{X}_{i}{X}_{j}}{X}_{k}-\mu g({X}_{j},{X}_{k}){X}_{i}+\mu g({X}_{i},{X}_{k}){X}_{j},\end{array}$$ |
$$\begin{array}{ccc}\mathsf{R}\mathsf{i}\mathsf{c}(T,-)& =& 0,\end{array}$$ |
$$\begin{array}{ccc}\mathsf{R}\mathsf{i}\mathsf{c}({X}_{j},{X}_{k})& =& \stackrel{~}{\mathsf{R}\mathsf{i}\mathsf{c}}({X}_{j},{X}_{k})+(1-n)\mu g({X}_{j},{X}_{k})\end{array}$$ |
$$\begin{array}{ccc}& =& \lambda g({X}_{j},{X}_{k})-\lambda g({X}_{j},{X}_{k})\end{array}$$ |
$$\begin{array}{ccc}& =& 0.\end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{X}\psi +\frac{1}{n}X.D\psi =0,& & \end{array}$$ |
$$\begin{array}{ccc}{\nabla}_{X}\psi =\lambda X.\psi & & \end{array}$$ |
6 Ricci-Flat Spaces