Regular space-like hypersurfaces in \(\mathbb S^{m+1}_1\) with parallel para-Blaschke tensors (Q1682747)

If \(\mathbb{R}^{s+m}=\mathbb{R}^s\oplus\mathbb{R}^m\) is equipped with the non-degenerate inner product \(\langle\cdot,\cdot\rangle_s\) given by \(\langle\xi,\eta\rangle_s=-\xi_1\cdot\eta_1+\xi_2\cdot\eta_2\), where ``\(\cdot\)'' is the standard Euclidean inner product in \(\mathbb R^n\), then \(\mathbb R^{s+m}_s\) is the \((s+m)\)-dimensional pseudo-Euclidean space. The conformal space \(\mathbb Q^{m+1}_1\) is defined as \[ \mathbb Q^{m+1}_1=\{[\xi]\in\mathbb{RP}^{m+2};\;\xi\in\mathbb R^{m+3}_1, \langle\xi,\xi\rangle_2=0\}, \] where \(\mathbb{RP}^{m+2}\) is the real projective space of dimension \(m+2\). For \(a>0\), the standard sphere \(\mathbb S^{m+1}(a)\), the hyperbolic space \(\mathbb H^{m+1}(-\frac1{a^2})\), the de Sitter space \(\mathbb S^{m+1}_1(a)\), and the anti-de Sitter space \(\mathbb H^{m+1}_1(-\frac1{a^2})\) are defined respectively by \(\mathbb S^{m+1}(a)=\{\xi\in\mathbb R^{m+2};\;\xi\cdot\xi=a^2\}\), \(\mathbb H^{m+1}(-\frac1{a^2})=\{\xi\in\mathbb R^{m+2}_1;\;\langle\xi\cdot\xi\rangle_1=-a^2\}\), \(\mathbb S^{m+1}_1(a)=\{\xi\in\mathbb R^{m+2}_1;\;\langle\xi\cdot\xi\rangle_1=a^2\}\), \(\mathbb H^{m+1}_1(-\frac1{a^2})=\{\xi\in\mathbb R^{m+2}_2;\;\langle\xi\cdot\xi\rangle_2=-a^2\}\). Then \(\mathbb S^m\), \(\mathbb H^m\), and \(\mathbb R^m\) are called Riemannian space forms, while \(\mathbb S^m_1\), \(\mathbb H^m_1\), and \(\mathbb R^m_1\) are called Lorentzian space forms. The conformal space is the common conformal compactification of Lorentzian space forms. In this paper, the authors give a complete conformal classification of the regular space-like hypersurfaces in the de Sitter space \(\mathbb S^{m+1}_1\) with parallel para-Blaschke tensors. They show that if \(x:M^m\to\mathbb S^{m+1}_1\) is a regular space-like hypersurface in the de Sitter space \(\mathbb S^{m+1}_1\) with conformal form \(\Phi\), the conformal second fundamental form \(B\), the Blaschke tensor \(A\), some constant \(\lambda\), and the parallel corresponding para-Blaschke tensor \(D^\lambda=A+\lambda B\), then for \(\Phi\equiv 0\), \(x\) is locally conformal equivalent to one of the following three groups of hypersurfaces: (i)\, space-like hypersurfaces with constant scalar curvature and mean curvature in Lorentzian space forms, (ii)\, \(\mathbb{S}^{m-k}\times\mathbb{H}^{k}\), \(\mathbb{H}^{m-k}\times\mathbb{H}^{k}\), \(\mathbb{R}^{m-k}\times\mathbb{H}^{k}\), and \(\mathbb{S}^{p}\times\mathbb{H}^{q}\times\mathbb{R}^+\times\mathbb{R}^{m-p-q-1}\), (iii)\, hypersurfaces constructed by product of \(\mathbb{S}^{m-k}\), or \(\mathbb{H}^{m-k}\), and certain hypersurfaces with constant scalar and mean curvature in \((k+1)\)-dimensional Lorentzian space forms. For \(\Phi\not\equiv 0\), \(x\) has exactly two distinct principal curvatures, and \(x(M^m)\) is foliated by a family of \((m-1)\)-dimensional totally umbilical submanifolds of \(\mathbb S^{m+1}_1\).