Abstract
In this paper, we study the interesting open problem of classifying the locally strongly convex centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^{n+1}\) with constant sectional curvature. First, for arbitrary dimensions we solve the problem by assuming that the centroaffine shape operator vanishes. Second, extending the solved cases of \(n=2,3\), we continue working with the case \(n=4\). As the result, we establish a complete classification of the flat hyperbolic centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^5\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathbb {R}}^{n+1}\) be the \((n+1)\)-dimensional affine space equipped with the standard flat connection D. For an immersion \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) of an n-dimensional smooth manifold \(M^n\), if the position vector x(p) is transversal to \(x_*(T_pM^n)\) at each point \(p\in M^n\), we say that \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) defines a centroaffine hypersurface with centroaffine normalization. A centroaffine hypersurface is associated with the centroaffine metric h, a difference tensor K of type (1, 2), and a Tchebychev vector field defined by \(T:=\tfrac{1}{n}\mathrm{trace}_hK\). As is well-known, (h, K) are centroaffine invariants which determine x up to centroaffine transformations of \({\mathbb {R}}^{n+1}\). In this paper, we study locally strongly convex centroaffine hypersurfaces, i.e., the centroaffine metric h is definite.
The centroaffine normalization of every centroaffine hypersurface induces the identity as the Weingarten operator, from the point of view of relative differential geometry any centroaffine hypersurface is a relative hypersphere (see [20], Sects. 6.3 and 7.2). Thus, in centroaffine differential geometry the usually induced Weingarten operator contains no further geometric information. In 1994, Wang [24] made a significant contribution by reasonably introducing the operator \({\mathcal {T}}:={\hat{\nabla }} T\) as the centroaffine shape operator of the centroaffine hypersurface \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\), where \({\hat{\nabla }}\) denotes the Levi-Civita connection with respect to the centroaffine metric. Then, following [17], a centroaffine hypersurface is called a Tchebychev hypersurface if the operator \({\mathcal {T}}\) is proportional to the identity isomorphism \(\mathrm{id}:TM^n\rightarrow TM^n\), i.e., \({\mathcal {T}}=H\cdot \mathrm{id}\). Here, generally \(H:=(\mathrm{div}\,T)/n\) is called the centroaffine mean curvature of \(M^n\).
As the centroaffine totally umbilical hypersurfaces, Tchebychev hypersurfaces naturally generalize the notion of affine hyperspheres in equiaffine differential geometry. Indeed, it is known that both Tchebychev hypersurfaces and affine hyperspheres have exactly the similar structure equations (cf. e.g. [4, 7, 24]). Because of such nice similarity, the Tchebychev hypersurfaces have been studied extensively. For references, we refer to [1, 5, 6, 9, 11, 13, 15, 17, 18, 21]. Related to this similarity, we would highlight the recent result of Cheng-Hu-Vrancken [5] which proved that the ellipsoids are the only centroaffine Tchebychev hyperovaloids. Thus, after several preceding partial results of [6, 15, 17], it finally solves the longstanding problem of generalizing the well-known theorem of Blaschke and Deicke (cf. Theorem 3.35 in [14]) on affine hyperspheres in equiaffine differential geometry to that in centroaffine differential geometry.
Another interesting problem is the classification of non-degenerate affine hyperspheres with constant sectional curvature, that had been solved by Li-Penn [12] and Vrancken-Li-Simon [23] in the locally strongly convex case, and finally solved by Vrancken [22] in case of non-degenerate affine hyperspheres with nonzero Pick invariant. Motivated by the above mentioned similarity, we have the following natural and interesting problem:
Problem Classify all non-degenerate centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^{n+1}\) with constant sectional curvature.
Concerning this problem, there are only some partial results. As an early result, the flat centroaffine Tchebychev surfaces have been classified by Liu and Wang (see Theorem 4.2 of [17]). For arbitrary dimensions, Li and Wang [16] presented a classification of the canonical centroaffine hypersurfaces with \(N(h)\le 1\), where N(h) denotes the dimension of the maximal negative definite subspace of the centroaffine metric h induced by x. Here, a centroaffine hypersurface in \({\mathbb {R}}^{n+1}\) is said to be canonical if it has flat centroaffine metric and parallel cubic form. Then, Cheng-Hu-Moruz [3] (Corollary 1.1 therein) classified all the locally strongly convex (i.e., \(N(h)=0,n\) cases) canonical centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\). Recently, Lalléchère et al [13] proved that flat hyperbolic centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^4\) must be canonical ones. Then, applying the result of [16], one can obtain a classification of all flat hyperbolic centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^4\).
In this paper, we focus on the above problem for locally strongly convex centroaffine Tchebychev hypersurfaces. First, motivated by Liu and Wang’s classification theorem for all centroaffine surfaces with vanishing centroaffine shape operator (see Theorem 4.1 in [17]), we prove the following theorem for higher dimensions:
Theorem 1.1
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\ (n\ge 3)\) be a locally strongly convex centroaffine hypersurface with constant sectional curvature and vanishing centroaffine shape operator. Then, \(x(M^n)\) is locally centroaffinely equivalent to one of the following hypersurfaces:
-
(i)
a hyperquadric of proper affine hyperspheres centered at the origin of \({\mathbb {R}}^{n+1}\);
-
(ii)
\(x^{\alpha _1}_1x^{\alpha _2}_2\cdots x^{\alpha _{n+1}}_{n+1}=1\), where either \(\alpha _i>0\) for \(1\le i\le n+1\); or \(\alpha _j>0\) for \(2\le j\le n+1\) and \(\alpha _1+\cdots +\alpha _{n+1}<0\);
-
(iii)
\(x^{\alpha _1}_1x^{\alpha _2}_2\cdots x^{\alpha _{n-1}}_{n-1}(x^2_n+x^2_{n+1})^{ \alpha _n}\exp (\alpha _{n+1}\arctan \tfrac{x_n}{x_{n+1}})=1\), where \(\alpha _i<0\) for \(1\le i\le n-1\) and \(\alpha _1+\cdots +\alpha _{n-1}+2\alpha _n>0\);
-
(iv)
\(x_{n+1}=\tfrac{1}{2x_1}(x^2_2+\cdots +x^2_{v-1})-x_1(-\ln x_1+\alpha _v\ln x_v +\cdots +\alpha _n\ln x_n)\), where \(2\le v\le n+1\), \(\alpha _i>0\) for \(v\le i\le n\), and \(\alpha _v+\cdots +\alpha _n<1\).
Remark 1.1
Theorem 1.1 partially generalizes Theorem 1.3 of Li and Wang [16]. Moreover, by Corollary 1.1 of Cheng-Hu-Moruz [3], the examples (ii), (iii) and (iv) exhaust all locally strongly convex canonical centroaffine hypersurfaces of \({\mathbb {R}}^{n+1}\). The detailed calculations of these canonical hypersurfaces shall be given in Sect. 3 below.
Next, by definition, a hyperbolic centroaffine hypersurface is locally strongly convex with \(N(h)=0\). Then, motivated by that Liu and Wang [17] have classified all flat centroaffine Tchebychev surfaces in \({\mathbb {R}}^3\) and Lalléchère et al [13] have classified all flat hyperbolic centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^4\), as the second main result of this paper, we prove the following classification theorem for all flat hyperbolic centroaffine Tchebychev hypersurfaces in \({\mathbb {R}}^5\).
Theorem 1.2
Let \(x:M^4\rightarrow {\mathbb {R}}^5\) be a flat hyperbolic centroaffine Tchebychev hypersurface. Then, \(x(M^4)\) is centroaffinely equivalent to the hypersurfaces defined by:
where \(\alpha _i>0\) for \(1\le i\le 5\).
Remark 1.2
We would mention that the statement of Theorem 1 in Lalléchère et al [13] is not correct. Indeed, by Examples 1.1–1.2 and Theorem 1.3 in [16], all the hypersurfaces described in Theorem 1 of [13] except \(x^{\alpha _1}_1x^{\alpha _2}_2x^{\alpha _3}_3x^{\alpha _4}_4=1\) with \(\alpha _i>0\) for \(1\le i\le 4\) have the property \(N(h)=1\).
This paper is organized as follows. In Sect. 2, we first review the elementary facts of centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\), together with recalling the general property of the Tchebychev hypersurfaces. In Sect. 3, for better understanding of our results, we give the detailed calculations of the canonical centroaffine hypersurfaces described in Theorem 1.1. In Sect. 4, we present a proof of Theorem 1.1. In Sect. 5, we construct a typical orthonormal frame on the flat hyperbolic centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\). Then, by applying the Codazzi equations and the Tchebychev condition with respect to the above-mentioned typical orthonormal frame, we derive information of the connection coefficients and the difference tensor in Sects. 6 and 7, respectively. Finally, in Sect. 8, we complete the proof of Theorem 1.2.
2 Preliminaries
In this section, we briefly review some basic notions and facts about centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\). For more details, we refer to the monographs [14, 19, 20] and the references [8, 10, 24].
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\ (n\ge 2)\) be a locally strongly convex immersed centroaffine hypersurface as stated in the Introduction section. Then, for any vector fields X and Y tangent to \(M^n\), we have the centroaffine formula of Gauss:
where \(\varepsilon =\pm 1\) is chosen such that h is positive definite. Associated with (2.1), \(-\varepsilon x\) is called the centroaffine normal, \(\nabla \) and h are called the induced (centroaffine) connection and centroaffine metric induced by \(-\varepsilon x\), respectively. The centroaffine hypersurface is called elliptic type (resp. hyperbolic type) if \(\varepsilon =1\) (resp. \(\varepsilon =-1\)). For the geometric interpretation about the type of hypersurfaces, see Sect. 2 of [10] for more comments. However, we note that Li and Wang [16] fixed x to be the centroaffine normal and thus the centroaffine metric is negative definite for elliptic type centroaffine hypersurfaces.
Denote by \({\hat{\nabla }}\) the Levi-Civita connection with respect to the centroaffine metric h. Then the tensor K, defined by \(K(X,Y):=K_XY:=\nabla _X Y-\hat{\nabla }_XY\), is called difference tensor of the centroaffine hypersurface. K is symmetric as both connections \(\nabla \) and \({\hat{\nabla }}\) are torsion free. We also have a totally symmetric (0, 3)-type tensor \(C:=\nabla h\), called the cubic form of the centroaffine hypersurface. Moreover, K and C are related by
Then, associated to a centroaffine hypersurface \(x: M^n\rightarrow {\mathbb {R}}^{n+1}\), we can define the Tchebychev form \(T^\flat \) and the Tchebychev vector field T in implicit form by
It should be pointed out that if T vanishes, or equivalently \(\mathrm{trace}_h(K_X)=0\) for any tangent vector X, then \(x: M^n\rightarrow {\mathbb {R}}^{n+1}\) reduces to be the so-called proper affine hypersphere centered at the origin of \({\mathbb {R}}^{n+1}\) (cf. p.279 of [14] or Sect. 1.15.2–1.15.3 therein).
For a centroaffine hypersurface \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\), the covariant differentiation \({\hat{\nabla }} T\) is of deep meaning. Indeed, Wang [24] showed that
which implies that the Tchebychev vector field T is a closed vector field, in the sense that the Tchebychev form \(T^\flat \) is a closed form. Furthermore, Wang [24] considered the homomorphism mapping \({\mathcal {T}}:TM^n\rightarrow TM^n\), defined by
In [17], \({\mathcal {T}}\) is called the Tchebychev operator of \(x:M^n \rightarrow {\mathbb {R}}^{n+1}\). Thus, (2.4) implies that the Tchebychev operator \({\mathcal {T}}\) is self-adjoint with respect to the centroaffine metric h. It is worth mentioning that the geometric properties derived by Wang [24] allow him to define \({\mathcal {T}}\) as the centroaffine shape operator of \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\), and therefore, the well-defined function \(H:=(\mathrm{trace}_h {\mathcal {T}})/n=(\mathrm{div}\,T)/n\) is called the centroaffine mean curvature of \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\).
Denote by \({\hat{R}}\) the Riemannian curvature tensor of the centroaffine metric h. Then the equations of Gauss and Codazzi are given by, respectively,
Next, we choose an h-orthonormal tangential frame field \(\{e_1,\ldots ,e_n\}\) with dual frame field \(\{\omega ^1,\ldots ,\omega ^n\}\) and Levi-Civita connection forms \(\{\omega ^j_i\}\). We shall use the convention of indices: \(1\le i,j,k,l,m,p,q\le n\). We denote by \(K_{ij}^k=h(K_{e_i}e_j,e_k)\) and \(T^i=\tfrac{1}{n}\sum _jK^i_{jj}\) the components of K and T; and by \(K_{ij,l}^k\) and \(T^j_{,i}\) the components of the covariant differentiation \({\hat{\nabla }} K\) and \({\hat{\nabla }} T\) with respect to \(\{e_i\}\), respectively, defined by
Denote by \(R_{ijkl}\) the components of the Riemannian curvature tensor of the centroaffine metric h. Then, (2.6) and (2.7) can be written as:
Taking the contraction of the Gauss equation (2.8) twice, we derive that
where \(R_{ij}\) and R denote the components of the Ricci tensor and the scalar curvature of the centroaffine metric h, respectively, and that
As usual, J and \(\kappa \) are called the centroaffine Pick invariant and the normalized scalar curvature of the centroaffine hypersurface, respectively.
Similarly, the second covariant derivative \(K_{ij,lp}^{q}\) of K is defined by
Then, we have the Ricci identity
As stated in the first section, a centroaffine hypersurface is called Tchebychev if its centroaffine shape operator satisfies \({\mathcal {T}}=H\cdot \mathrm{id}\). As an important subclass of centroaffine hypersurfaces that we have introduced earlier, Tchebychev hypersurfaces have remarkable properties. For instance, using the assumption \({\mathcal {T}}=H\cdot \mathrm{id}\), the equality \(h({\hat{R}}(X,T)T,T)=0\) and the relation
we derive the following formulas:
where \({\hat{\nabla }}\) denotes the gradient operator with respect to the centroaffine metric h. In particular, from the second formula in (2.14) and (2.15), we further obtain that
3 Computations on Canonical Centroaffine Hypersurfaces
In [16], Li and Wang have made some calculations about the canonical centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\). In this section, to get the exact knowledge about locally strongly convex canonical centroaffine hypersurfaces, we compute their centroaffine invariants with more details. For convenience of the calculations, we begin with fixing x to be the centroaffine normal and finally we decide if it is of hyperbolic type or elliptic type.
Example 3.1
Given \(\alpha =(\alpha _1,\ldots ,\alpha _{n+1})\in {\mathbb {R}}^{n+1}\) that satisfies either (1) \(\alpha _i>0\) for \(1\le i\le n+1\); or (2) \(\alpha _j>0\) for \(2\le j\le n+1\) and \(\alpha _1+\alpha _2+\cdots +\alpha _{n+1}<0\), we define
Claim 3.1
\(M^{(1)}_\alpha \) is a locally strongly convex canonical centroaffine hypersurface in \({\mathbb {R}}^{n+1}\). Moreover, \(M^{(1)}_\alpha \) is of hyperbolic type in case (1), and of elliptic type in case (2).
Proof of Claim 3.1
Put \(\beta _j=-\tfrac{\alpha _j}{\alpha _1}\), \(2\le j\le n+1\). Then, \(M^{(1)}_\alpha \) can be rewritten as
where, in case (1) we have \(\beta _j<0\) for \(2\le j\le n+1\); whereas in case (2) we have \(\beta _j>0\) for \(2\le j\le n+1\) and \(\beta _2+\cdots +\beta _{n+1}<1\).
Now, taking local coordinates \((u_2,\ldots ,u_{n+1})\) of \(M^{(1)}_\alpha \) such that
we have
It follows that
where and later, \([\cdot ]\) denotes the standard determinant in \({\mathbb {R}}^{n+1}\).
By using \(x_{u_iu_j}=\sum \nolimits _{k=2}^{n+1}\Gamma ^k_{ij}x_{u_k}+h_{ij}x\), we have
Thus, the centroaffine metric h is flat. Moreover, from the fact
we see that the matrix \((h_{ij})\) is positive (resp. negative) definite, or equivalently, the hypersurface \(M^{(1)}_\alpha \) is hyperbolic (resp. elliptic) in case (1) (resp. case (2)).
Next, by definition and (3.3), the difference tensor of \(M^{(1)}_\alpha \) is given by
where in the numerator \(x_{u_iu_j}\) locates in the same position as that of \(x_k\) in the denominator. Then, straightforward calculations give that
From (3.3) and (3.5), we get \({\hat{\nabla }} K=0\). Thus, as claimed, \(M^{(1)}_\alpha \) is a locally strongly convex canonical centroaffine hypersurface in \({\mathbb {R}}^{n+1}\) for both cases (1) and (2). \(\square \)
Example 3.2
Given \(\alpha =(\alpha _1,\ldots ,\alpha _{n+1})\in {\mathbb {R}}^{n+1}\) with \(\alpha _i<0\) (\(1\le i\le n-1\)) and \(\alpha _1+\cdots +\alpha _{n-1}+2\alpha _n>0\), we define
Claim 3.2
\(M^{(2)}_\alpha \) is a locally strongly convex canonical centroaffine hypersurface in \({\mathbb {R}}^{n+1}\) of elliptic type.
Proof of Claim 3.2
Put \(\beta _i=-\tfrac{\alpha _i}{\alpha _1}\) for \(2\le i\le n+1\). Then, \(M^{(2)}_\alpha \) can be rewritten as
where \(\beta _i<0\) for \(2\le i\le n-1\) and \(\beta _2+\cdots +\beta _{n-1}+2\beta _n>1\).
Taking local coordinates \((u_2,\ldots ,u_{n+1})\) of \(M^{(2)}_\alpha \) such that
we have, letting \(\langle \cdot ,\cdot \rangle \) be the usual Euclidean inner product in \({\mathbb {R}}^{n+1}\),
where \({\bar{\beta }}=(\beta _2,\ldots ,\beta _{n-1},2\beta _n,\beta _{n+1})\), \(u=(u_2, \ldots ,u_{n+1})\). Moreover, for \(2\le i,j\le n-1\),
Thus, by \(x_{u_iu_j}=\sum \nolimits _{k=2}^{n+1}\Gamma ^k_{ij}x_{u_k}+h_{ij}x\), as in (3.3), direct calculations give that
where \(2\le i,j\le n-1\). This implies that the centroaffine metric h is flat.
Moreover, putting \((h_{ij})_{n\times n}=\tfrac{1}{1-2\beta _n-\sum ^{n-1}_{t=2}\beta _t}(A_{ij})_{n\times n}\), we can calculate the leading principal minors \(\{D_i\}_{1\le i\le n}\) of the matrix \((A_{ij})_{n\times n}\) to obtain:
Hence, the matrix \((h_{ij})_{n\times n}\) is negative definite, or equivalently, \(M^{(2)}_{\alpha }\) is of elliptic type.
Finally, direct calculations with the use of (3.4) and (3.7) show that all coefficients \(K_{ij}^k\) of the difference tensor are equal to \(\Gamma _{ij}^k\) which are all constant. Then, it follows that \({\hat{\nabla }} K=0\) and, as claimed, \(M^{(2)}_\alpha \) is a locally strongly convex canonical centroaffine hypersurface in \({\mathbb {R}}^{n+1}\). \(\square \)
Example 3.3
Given \(2\le v\le n+1\) and \(\alpha (v)=(\alpha _v,\ldots ,\alpha _n)\in {\mathbb {R}}^{n-v+1}\), with \(\alpha _k>0\) for \(v\le k\le n\) and \(\alpha _v+\cdots +\alpha _n<1\), we define the graph in \({\mathbb {R}}^{n+1}\) by
Claim 3.3
\(M^{(3)}_{\alpha (v)}\) with \(2\le v\le n+1\) are locally strongly convex canonical centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\) of elliptic type.
Proof of Claim 3.3
Because of similarity and simpler, the proof for both \(M^{(3)}_{\alpha (n+1)}\) and \(M^{(3)}_{\alpha (2)}\) are omitted. Below, we consider the cases \(3\le v\le n\). With the parameterization \((u_1,\ldots ,u_n)\), we can express \(M^{(3)}_{\alpha (v)}\) by
Then, as the preceding examples, by direct calculation of \(x_{u_i}\) for \(1\le i\le n\) and \(x_{u_iu_j}\) for \(1\le i,j\le n\), together with the equation \(x_{u_iu_j}=\mathop {\sum }\nolimits _{k=1}^n\Gamma ^k_{ij}x_{u_k}+h_{ij}x\), we can get
where \(2\le i,j\le v-1\) and \(v\le k,l\le n\). (3.10) implies that the centroaffine metric h is flat. Moreover, from the fact
we see that the matrix \((h_{ij})_{n\times n}\) is negative definite, or equivalently, the hypersurface \(M^{(3)}_{\alpha (v)}\) is of elliptic type.
Moreover, direct calculations show that all \(K_{ij}^k=\Gamma _{ij}^k\) are constant, which satisfy:
It follows from (3.10), (3.12) and (3.13) that \({\hat{\nabla }} K=0\). Hence, as claimed, \(M^{(3)}_{\alpha (v)}\) is a locally strongly convex canonical centroaffine hypersurface in \({\mathbb {R}}^{n+1}\). \(\square \)
Before ending this section, we give further remarks concerning the preceding examples.
Remark 3.1
Given an integer \(2\le v\le n\) and real numbers \(\{{\tilde{\alpha }}_i\}_{1\le i\le v-1}\) with \({\tilde{\alpha }}_1<0\), we have the centroaffine transformation of \({\mathbb {R}}^{n+1}\)
under which the locally strongly convex canonical centroaffine hypersurface \(M^{(3)}_{\alpha (v)}\), namely
is changed to be Example 1.2 of Li–Wang [16]:
where \({\tilde{\alpha }}_j=-{\tilde{\alpha }}_1\alpha _j,\ v\le j\le n\).
Moreover, corresponding to \(\alpha _k>0\) for \(v\le k\le n\) and \(\alpha _v+\cdots +\alpha _n<1\) in (3.15), it holds that \({\tilde{\alpha }}_k>0\) for \(v\le k\le n\) and \({\tilde{\alpha }}_1+{\tilde{\alpha }}_v+\cdots +{\tilde{\alpha }}_n<0\) in (3.16).
In [16], more information for the canonical centroaffine hypersurface (3.16) is given. This includes the conclusion that the canonical centroaffine hypersurfaces (3.16) are of Lorentzian centroaffine metric if \({\tilde{\alpha }}_j>0\) for \(v\le j\le n\) and \({\tilde{\alpha }}_1+{\tilde{\alpha }}_v+\cdots +{\tilde{\alpha }}_n>0\).
Next, we recall Corollary 1.1 of Cheng-Hu-Moruz [3] which shows that the centroaffine hypersurfaces described by the preceding examples are the only locally strongly convex canonical centroaffine hypersurfaces in \({\mathbb {R}}^{n+1}\).
Theorem 3.1
([3, 16]). Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\ (n\ge 2)\) be a locally strongly convex canonical centroaffine hypersurface. Then it is locally centroaffinely equivalent to one of the following hypersurfaces:
-
(i)
\(x^{\alpha _1}_1x^{\alpha _2}_2\cdots x^{\alpha _{n+1}}_{n+1}=1\), where either \(\alpha _i>0\) for \(1\le i\le n+1\); or \(\alpha _j>0\) for \(2\le j\le n+1\) and \(\alpha _1+\cdots +\alpha _{n+1}<0\);
-
(ii)
\(x^{\alpha _1}_1x^{\alpha _2}_2\cdots x^{\alpha _{n-1}}_{n-1}(x^2_n+x^2_{n+1})^{ \alpha _n}\exp (\alpha _{n+1}\arctan \tfrac{x_n}{x_{n+1}})=1\), where \(\alpha _i<0\) for \(1\le i\le n-1\) and \(\alpha _1+\cdots +\alpha _{n-1}+2\alpha _n>0\);
-
(iii)
\(x_{n+1}=\tfrac{1}{2x_1}(x^2_2+\cdots +x^2_{v-1})-x_1(-\ln x_1+\alpha _v\ln x_v +\cdots +\alpha _n\ln x_n)\), where \(2\le v\le n+1\), \(\alpha _i>0\) for \(v\le i\le n\) and \(\alpha _v+\cdots +\alpha _n<1\).
Remark 3.2
Theorem 3.1 complements Theorem 1.1 of [16] by giving all examples with \(N(h)=n\). Since a complete proof of Theorem 3.1 is omitted in [3], hereby we would give an outline: By Theorem 6.1 in [3], all locally strongly convex canonical centroaffine surfaces in \({\mathbb {R}}^3\) are given by (ii) \(\sim \) (v) therein. Then, from the conclusions of Theorem 1.1, Propositions 3.1 and 3.2 of [3], we see that all higher dimensional locally strongly convex canonical centroaffine hypersurfaces but that \(x_{n+1}=\tfrac{1}{2x_1}(x^2_2+\cdots +x_n^2)+x_1\ln x_1\) can be produced by the Calabi products of either two lower dimensional locally strongly convex canonical centroaffine hypersurfaces, or one lower dimensional locally strongly convex canonical centroaffine hypersurface with a point, defined by (1.3) and (1.4) of [3], respectively, depending on a parameter \(\lambda \). Then, by using Theorem 1.1 of [3] again, noting that as building blocks of the Calabi products, the standard immersions of the symmetric spaces \(\mathbf{SL}(m,{\mathbb {R}})/\mathbf{SO}(m)\), \(\mathbf{SL}(m,{\mathbb {C}})/\mathbf{SU}(m)\), \(\mathbf{SU}^*\big (2m\big )/\mathbf{Sp}(m)\) and \(\mathbf{E}_{6(-26)}/\mathbf{F}_4\) are not of flat centroaffine metric (cf. [2]), we can finally achieve the conclusion of Theorem 3.1.
4 Proof of Theorem 1.1
First of all, from (2.15) and (2.16), we immediately get the following lemma.
Lemma 4.1
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) be a locally strongly convex centroaffine Tchebychev hypersurface with constant sectional curvature c. Then it holds that
where \({\hat{\nabla }}\) and \(\Vert \cdot \Vert \) denote the gradient operator and the tensorial norm with respect to the centroaffine metric h, respectively. In particular, if the centroaffine metric is flat, i.e., \(c=0\), the centroaffine mean curvature H is a constant.
Next, before completing the proof of Theorem 1.1, with the notations of the second section and the indices convention, we are going to calculate the Laplacian \(\Delta J\) of the centroaffine Pick invariant J.
Lemma 4.2
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) be a locally strongly convex centroaffine hypersurface. Then, with respect to a local h-orthonormal frame \(\{e_1,\ldots ,e_n\}\) of \(M^n\), it holds that
Proof
By definition, we have
By using (2.9) and (2.13), we have the calculations
Now, from the fact
and (2.8), we obtain
Moreover, by using (2.10), we get
From the above calculations, we conclude that
The assertion of the lemma then follows from (4.3) and (4.8). \(\square \)
Completion of the Proof of Theorem 1.1.
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) be a locally strongly convex centroaffine hypersurface with constant sectional curvature c and vanishing centroaffine shape operator \({\mathcal {T}}={\hat{\nabla }} T=0\). Thus, \(H=0\) and \(\Vert T\Vert \) is a constant.
If \(T=0\), then x is an equiaffine normal, thus \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) is a proper affine hypersphere centered at the origin \(O\in {\mathbb {R}}^{n+1}\). By the Main theorem of Vrancken-Li-Simon [23], we conclude that \(x(M^n)\) is centroaffinely equivalent to either a hyperquadric of proper affine hyperspheres centered at the origin or the hypersurface \(x_1x_2\cdots x_{n+1}=1\) in \({\mathbb {R}}^{n+1}\).
If \(T\ne 0\), it is seen from Lemma 4.1 and the fact \(H=0\) that \(c=0\), i.e., \((M^n,h)\) is flat. It follows from (2.11) that J is a constant, and applying Lemma 4.2, we obtain
and therefore, \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) is of parallel difference tensor.
Hence, \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) is a locally strongly convex canonical centroaffine hypersurface. Now, combining with Theorem 3.1, we have completed the proof of Theorem 1.1. \(\square \)
5 Construction of a Typical h-orthonormal Frame
From now on, we assume that \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) is a flat hyperbolic centroaffine hypersurface. Then, from (2.11), for any point \(p\in M^n\), we have \(K(p)\ne 0\).
In this section, we will construct a typical h-orthonormal frame field on \(M^n\) that should be of independent meaning. First of all, we fix an arbitrary \(p\in M^n\) and construct a canonical basis of \(T_pM^n\).
Lemma 5.1
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\ (n\ge 2)\) be a flat hyperbolic centroaffine hypersurface. Then, at any \(p\in M^n\), there exists an h-orthonormal basis \(\{e_i\}^n_{i=1}\) of \(T_pM^n\) such that the difference tensor K takes the following form at p:
where the coefficients satisfy the following relations:
Proof
The argument is now standard, for readers not familiar are referred to [4, 23].
Denote by \(U^1_pM^n=\{u\in T_pM^n\,|\,h(u,u)=1\}\) which is a compact set. Define a continuous function \(f^1(u)=h(K_uu,u)\) on \(U^1_pM^n\). Since \(K(p)\ne 0\), the function \(f^1\) attains an absolute maximum at some \(e_1\in U^1_pM^n\) such that \(\lambda _1:=f^1(e_1)>0\). This implies that \(K_{e_1}e_1=\lambda _1e_1\). Then, considering the self-adjoint map \(K_{e_1}:T_pM^n\rightarrow T_pM^n\), we obtain an h-orthonormal basis \(\{e_i\}^n_{i=1}\) of \(T_pM^n\), consisting of the eigenvectors of \(K_{e_1}\) with associated eigenvalues \(\lambda _1\) and \(\lambda _{1j}\ (2\le j\le n)\) satisfying
Then, taking in (2.6) \(X=e_1,Y=Z=e_j\) for \(j\ge 2\), as \(\varepsilon =-1\), we can get
Given that \(\lambda _1\ge 2\lambda _{1j}\), we have \(\lambda _{12}=\cdots =\lambda _{1n}=\tfrac{1}{2}\big (\lambda _1-\sqrt{\lambda ^2_1+4}\,\big )=:\mu _1\not =0\).
Next, denote \(T^2_pM^n=\text {Span}\{e_2,\ldots ,e_n\}\) and \(U^2_pM^n=\{u\in T^2_pM^n\,| h(u,u)=1\}\). Then, the function \(f^2(u)=h(K_uu,u)\) defined on \(U^2_pM^n\) attains at an element \(e_2\in U^2_pM^n\) so that the absolute maximum \(\lambda _2:=f^2(e_2)\ge 0\). This implies that \(K_{e_2}e_2=\mu _1e_1+\lambda _2e_2\).
Consider now the self-adjoint operator \({\mathfrak {B}}_2:T^2_pM^n\rightarrow T^2_pM^n\) defined by
We can choose an h-orthonormal basis of \(\{e_1,e_2\}^\perp \), still denoted \(\{e_i\}^n_{i=3}\), consisting of eigenvectors of \({\mathfrak {B}}_2\) with associated eigenvalues \(\{\lambda _{2i}\}_{i=3}^n\) satisfying
Then, taking in (2.6) \(X=e_2,Y=Z=e_j\) for \(j\ge 3\), we get
which implies \(\lambda _2>0\) (if otherwise \(\lambda _2=0\), then \(\lambda _{2j} =h(K_{e_2}e_j,e_j)=0\) which gives a contradiction to the above equation). Therefore, as \(\lambda _2\ge 2\lambda _{2j}\), the above equation implies that \(\lambda _{23}=\cdots =\lambda _{2n}=\tfrac{1}{2} \big (\lambda _2-\sqrt{\lambda ^2_2+4(1+\mu ^2_1)}\,\big )=:\mu _2\not =0\).
Repeating the above procedure inductively, we then construct an h-orthonormal basis \(\{e_i\}^n_{i=1}\) of \(T_pM^n\) for which K takes the form (5.1) with coefficients satisfying (5.2). \(\square \)
Next, we are going to extend the above h-orthonormal basis \(\{e_i\}^n_{i=1}\) of \(T_pM^n\) to a local h-orthonormal frame field \(\{E_i\}^n_{i=1}\) on a neighbourhood U of \(p\in M^n\).
Lemma 5.2
Let \(x:M^n\rightarrow {\mathbb {R}}^{n+1}\) be a flat hyperbolic centroaffine hypersurface. For \(p\in M^n\), there exists a local h-orthonormal frame field \(\{E_i\}^n_{i=1}\) on a neighbourhood U of \(p\in M^n\) such that the difference tensor K takes the following form:
where, the functions \(\{f_i,g_k\}\) satisfy the relations:
Proof
We divided the proof process into three steps.
Step 1. There exists a unit vector field \(E_1\) on some neighborhood \(U'\) of p such that
where \(f_1>0,\ g_1=\tfrac{1}{2}\big (f_1-\sqrt{f^2_1+4}\,\big )\).
For the h-orthonormal basis \(\{e_i\}_{i=1}^n\) of \(T_pM^n\) as described in Lemma 5.1, we choose an arbitrary local differentiable h-orthonormal frame field \(\{{\tilde{E}}_1,\ldots ,{\tilde{E}}_n\}\) on a neighborhood \({\tilde{U}}\) of p such that \({\tilde{E}}_i(p)=e_i\) for \(1\le i\le n\). Then, we define a mapping
where
are regarded as functions on \({\mathbb {R}}^n\times {\tilde{U}}:\ b_k=b_k(a_1,a_2,\ldots ,a_n,q)\).
It is easily checked from (5.1) that \(b_k(1,0,\ldots ,0,p)=0\) for \(1\le k\le n\), and
Thus, \(\big (\tfrac{\partial b_k}{\partial a_j}\big )\) at the point \((1,0,\ldots ,0,p)\in {\mathbb {R}}^n\times {\tilde{U}}\) is invertible. By the implicit function theorem there exist differentiable functions \(\{a_i(q)\}_{1\le i\le n}\), defined on a neighborhood \({\tilde{U}}'\subset {\tilde{U}}\) of p such that \(a_1(p)=1,\ a_j(p)=0\) for \(2\le j\le n\), and
Put \(V=\mathop {\sum }\nolimits ^n_{i=1}a_i{\tilde{E}}_i\). Then \(V(p)=e_1\), (5.6) and (5.8) imply that \(K_VV=\lambda _1V\).
Since \(\Vert V(p)\Vert =\sqrt{h(V(p),V(p))}=1\), there exists a neighborhood \(U'\subset {\tilde{U}}'\) of p such that \(V\ne 0\) on \(U'\). Hence, the unit vector field \(E_1:=V/\Vert V\Vert \) on \(U'\) with \(E_1(p)=e_1\) satisfies
(5.9) implies that the distribution \(\{E_1\}^\bot \) orthogonal to \(\text {Span}\{E_1\}\) is \(K_{E_1}\)-invariant on \(U'\). For any \(q\in U'\), let \(\{X_j\}_{2\le j\le n}\subset \{E_1(q)\}^\bot \) be the orthnormal eigenvectors of \(K_{E_1(q)}\) with associated eigenvalues \(\{\alpha _j\}_{2\le j\le n}\): \(K_{E_1(q)}X_j=\alpha _jX_j\) for \(2\le j\le n\). Then, by using \({\hat{R}}(X_j,E_1(q))E_1(q)=0\), the Gauss equation (2.6) and \(\varepsilon =-1\), we derive
It follows that \(K_{E_1}(q)\) has at most three distinct eigenvalues as below:
On the other hand, by Lemma 5.1 and the continuity of the eigenvalue functions of \(K_{E_1}\), we see that \(\tfrac{1}{2}\big (f_1(q)+\sqrt{f^2_1(q)+4}\,\big )\) can not be attained. We have got the conclusion of Step 1.
Step 2. There exists a unit vector field \(E_2\in \{E_1\}^\bot \) on some neighborhood \({\tilde{U}}\subset U'\) of p such that
where \(g_2=\tfrac{1}{2}\big (f_2-\sqrt{f^2_2+4(1+g^2_1)}\,\big )\).
Similar to Step 1, we begin with choosing an arbitrarily h-orthonormal vector fields \(\{{\tilde{E}}'_2,\ldots ,{\tilde{E}}'_n\}\) of \(\{E_1\}^\bot \) on some neighborhood of p, still denoted by \(U'\), such that \({\tilde{E}}'_j(p)=e_j\) for \(2\le j\le n\). Then, we define a mapping
where
are regarded as functions on \({\mathbb {R}}^{n-1}\times {U}':{\tilde{b}}_k ={\tilde{b}}_k({\tilde{a}}_2,{\tilde{a}}_3,\ldots ,{\tilde{a}}_n,{\tilde{q}})\).
As \({\tilde{E}}'_j(p)=e_j\), from (5.1), we see that \({\tilde{b}}_k (1,0,\ldots ,0,p)=0\) for \(2\le k\le n\) and
Thus, \(\big (\tfrac{\partial {\tilde{b}}_k}{\partial {\tilde{a}}_j}\big )\) at the point \((1,0,\ldots ,0,p)\in {\mathbb {R}}^{n-1}\times {U}'\) is invertible. By the implicit function theorem, there exist differentiable functions \(\{{\tilde{a}}_j({\tilde{q}})\}_{2\le j\le n}\) defined on a neighborhood \({\tilde{U}}'\subset {U}'\) of p such that \({\tilde{a}}_2(p)=1\), \({\tilde{a}}_r(p)=0\) for \(3\le r\le n\) and
Put \({\tilde{V}}=\mathop {\sum }\nolimits ^n_{j=2}{\tilde{a}}_j{\tilde{E}}'_j\). Then \({\tilde{V}}(p)=e_2\). From (5.5), (5.12) and (5.14) we obtain
As \(\Vert {\tilde{V}}(p)\Vert =1\), there exists a neighborhood \({\tilde{U}} \subset {\tilde{U}}'\) of p such that \({\tilde{V}}\ne 0\) on \({\tilde{U}}\). Then \(E_2:={\tilde{V}}/\Vert {\tilde{V}}\Vert \) defines a unit vector field over \({\tilde{U}}\) with \(E_2(p)=e_2\) which satisfies
At any point \({q}\in {\tilde{U}}\), we then consider \({\mathfrak {B}}_2(q):\{E_1(q)\}^\perp \rightarrow \{E_1(q)\}^\bot \), defined by
which is a self-adjoint transformation. Besides \(E_2\), let \({\tilde{X}}_r\) be the other unit eigenvectors of \({\mathfrak {B}}_2(q)\) corresponding to eigenvalues \(\tilde{\alpha }_r\ (3\le r\le n)\). Then, it holds at q:
Now, using \({\hat{R}}({\tilde{X}}_r,E_2({q}))E_2({q})=0\) and the Gauss equation (2.6) with \(\varepsilon =-1\), we get
This shows that \({\mathfrak {B}}_2(q)\) has at most three distinct eigenvalues
On the other hand, from (5.1) and (5.2) that \(\lambda _2>2\mu _2\) at p, and by continuity of the eigenvalue functions of \({\mathfrak {B}}_2(q)\) for \(q\in {\tilde{U}}\), we see that \(\tfrac{1}{2}\big (f_2+\sqrt{f^2_2+4(1+g^2_1)}\,\big )\) can not be attained. Thus, for any \(Y\in \{E_1,E_2\}^\bot \) over \({\tilde{U}}\), it holds
This completes the proof of Step 2.
Step 3. The completion of Lemma 5.2’s proof.
After the construction of \(E_1\) and \(E_2\) satisfying (5.5) and (5.11) in the preceding two Steps, we can inductively prove the existence of \(\{E_i\}_{3\le i\le n}\) such that (5.3) and (5.4) hold.
Indeed, for any \(2\le j\le n-2\), after having h-orthonormal vector fields \(\{E_1,\ldots ,E_j\}\) over a neighborhood \({\bar{U}}\) of p, which satisfy corresponding relations in (5.3) and (5.4), we choose an arbitrary h-orthonormal vector fields \(\{{\bar{E}}_{j+1},\ldots , {\bar{E}}_n\}\) of \(\{E_1,\ldots ,E_j\}^\bot \) on \({\bar{U}}\) such that \({\bar{E}}_i(p)=e_i\) for \(j+1\le i\le n\). Then, we define a mapping
where
are regarded as functions on \({\mathbb {R}}^{n-j}\times {\bar{U}}:{\bar{b}}_k ={\bar{b}}_k({\bar{a}}_{j+1},{\bar{a}}_{j+2},\ldots ,{\bar{a}}_n,{\bar{q}})\).
As \({\bar{E}}_i(p)=e_i\), from (5.1), we see that \({\bar{b}}_k(1,0,\ldots ,0,p)=0\) for \(j+1\le k\le n\) and
By the implicit function theorem, there exist differentiable functions \(\{{\bar{a}}_i({\bar{q}})\}_{j+1\le i\le n}\), defined on a neighborhood \({\bar{U}}'\subset {\bar{U}}\) of p such that \({\bar{a}}_t(p)=0\) for \(j+2\le t\le n\), \({\bar{a}}_{j+1}(p)=1\) and
Put \({\bar{V}}=\mathop {\sum }\nolimits ^n_{k=j+1}{\bar{a}}_k{\bar{E}}_k\). Then \({\bar{V}}(p)=e_{j+1}\). By (5.18) and (5.20), we can derive that
Since \(\Vert {\bar{V}}(p)\Vert =1\), there exists a neighborhood \(U\subset {\bar{U}}'\) of p such that \({\bar{V}}\ne 0\) on U. Then \(E_{j+1}:={\bar{V}}/\Vert {\bar{V}}\Vert \) defines a unit vector field over U with \(E_{j+1}(p)=e_{j+1}\) which satisfies
At any point \(q\in U\), we then consider
defined by
which is a self-adjoint transformation. Besides \(E_{j+1}\), let \({\bar{X}}_t\) be the other unit eigenvectors of \({\mathfrak {B}}_{j+1}(q)\) corresponding to eigenvalues \(\bar{\alpha }_t\ (j+2\le t\le n)\). Then, it holds at q:
Now, using \({\hat{R}}({\bar{X}}_t,E_{j+1}(q))E_{j+1}(q)=0\) and (2.6) with \(\varepsilon =-1\), we get
From (5.22), we see that \({\mathfrak {B}}_{j+1}(q)\) has at most three distinct eigenvalues
On the other hand, from (5.1) and (5.2) that \(\lambda _{j+1}>2\mu _{j+1}\) at p, and by continuity of the eigenvalue functions of \({\mathfrak {B}}_{j+1}(q)\) for \(q\in U\), we see that eigenvalues of the first two possibilities can be attained. Thus, for any \(Y\in \{E_1,\ldots ,E_{j+1}\}^\bot \) over U, it holds
In summary, by induction, we can extend the vectors \(\{e_1,e_2,\ldots ,e_{n-1}\}\) to the h-orthonormal vector fields \(\{E_1,E_2,\ldots ,E_{n-1}\}\) which satisfy corresponding relations in (5.3) and (5.4). Finally, we choose a unit vector field \(E_n\in \{E_1,E_2,\ldots ,E_{n-1}\}^\bot \) so that \(\{E_i\}^n_{i=1}\) forms a local h-orthonormal frame on a neighbourhood \(U\subset M^n\) of p. Obviously, with respect to \(\{E_i\}^n_{i=1}\), the difference tensor K takes the form in (5.3) and (5.4), where \(f_i>0\ (1\le i\le n-1)\) follow from its continuity and that \(f_i(p)=\lambda _i>0\).
This completes the proof of Lemma 5.2. \(\square \)
6 Applying the Codazzi Equations
From this section on, we consider the case \(n=4\) and assume that \(x:M^4\rightarrow {\mathbb {R}}^5\) is a flat hyperbolic centroaffine hypersurface. With respect to the typical h-orthogonal frame field \(\{E_1,E_2,E_3,E_4\}\), described in Lemma 5.2, we shall derive by applying the Codazzi equation (2.7) the necessary information on the derivatives \(\{E_i(g_j)\}\) and the connection coefficients \(\{\Gamma ^k_{ij}\}\) of \({\hat{\nabla }}\). The computations below are complicated but straightforward.
Put \({\hat{\nabla }}_{E_i}E_j=\mathop {\sum }\nolimits _{k=1}^4\Gamma ^k_{ij}E_k\), where \(\Gamma ^k_{ij}+\Gamma ^j_{ik}=0\) for \(1\le i,j,k\le 4\).
Then, taking in (2.7) \(X=E_i\), \(Y=E_j\) and \(Z=E_k\) for \(1\le i,j,k\le 4\), we get
First of all, for \((i,j,k)=(1,2,1)\), we obtain from (6.1) and (5.3) that
Hence, we get
Similarly, letting \((i,j,k)=(1,2,2)\) in (6.1), and taking account of (6.2), we obtain
whereas letting \((i,j,k)=(1,3,1)\) in (6.1), and taking account of (6.2), we obtain
Letting \((i,j,k)=(1,3,4)\) in (6.1), and taking account of (6.2)–(6.4), we obtain
Letting \((i,j,k)=(1,4,1)\) in (6.1), and taking account of (6.2), we obtain
Letting \((i,j,k)=(1,4,4)\) in (6.1), taking account of (6.2), (6.3) and (6.6), we get
Letting \((i,j,k)=(2,3,2)\) in (6.1), taking account of (6.3) and (6.4), we get
Letting \((i,j,k)=(2,3,3)\) in (6.1), taking account of (6.2) and (6.8), we get
Letting \((i,j,k)=(2,4,2)\) in (6.1), taking account of (6.6), we get
Letting \((i,j,k)=(2,4,4)\) in (6.1), taking account of (6.10), we get
Letting \((i,j,k)=(3,4,3)\) in (6.1), taking account of (6.6) and (6.10), we get
Finally, letting \((i,j,k)=(3,4,4)\) in (6.1), taking account of (6.6), (6.10) and (6.12), we get
7 Determining the Connection Coefficients
For the purpose of proving Theorem 1.2, we now assume that \(x:M^4\rightarrow {\mathbb {R}}^5\) is a flat hyperbolic centroaffine Tchebychev hypersurface.
In this section, applying for the Tchebychev condition we shall solve the Eqs. (6.2)–(6.13) to express \(\{\Gamma _{ij}^k\}\) and \(E_4(f_4)\) by the coefficients \(\{f_i,g_j\}\) of the difference tensor in (5.3). Similar as in the last section, the computations below are complicated but straightforward.
First of all, by \(T=\tfrac{1}{4}\mathop {\sum }\nolimits ^4_{i=1}K(E_i,E_i)\) we express the Tchebychev condition as
Then, taking \(j=1\) in (7.1), by calculations with applying (5.3), we can derive that
From (5.4) we have
From (6.2), (6.3) and (6.6), we get
Then, from (7.2), taking account of (7.3) and (7.4), \(\Gamma _{ij}^k=-\Gamma _{ik}^j\), and the expressions of \(E_1(g_1)\), \(E_1(g_2)\), \(E_1(g_3)\) and \(E_1(f_4)\) in Sect. 6, we can derive a system of four equations with unknowns \(\Gamma ^2_{11}\), \(\Gamma ^2_{21}\), \(\Gamma ^3_{12}\) and \(\Gamma ^4_{13}\). Solving these equations, we then obtain
where
Similarly, we take \(j=2\) in (7.1). By straightforward calculations with applying (5.3), we can further use (7.5) to solve the unknowns \(\Gamma ^3_{22}\), \(\Gamma ^3_{32}\) and \(\Gamma ^4_{23}\). Then, we obtain
where
Finally, taking in (7.1) \(j=3\) and \(j=4\), respectively, by direct calculations with using (7.5) and (7.7), we can derive
where
8 Completion of Theorem 1.2’s Proof
Let \(x:M^4\rightarrow {\mathbb {R}}^5\) be a flat hyperbolic centroaffine Tchebychev hypersurface. In this section, with the materials we derived in preceding sections, we shall complete the proof of Theorem 1.2. We begin with the equation
By using the results in Sects. 6 and 7, we can calculate (8.1) to obtain that
From the fact \(g_1\ne 0\) and \(g_3\ne 0\), we then obtain
where
From (8.2), we shall divide the following discussions into three cases:
Case I: \(H=0\);
Case II: \(H\ne 0\) and \(f_4=0\);
Case III: \(H\ne 0\), \(f_4\ne 0\) and \(\mu =0\).
In Case I, we can apply Theorem 1.1. Then, combining with the results in Sect. 3 and taking into account that \(x:M^4\rightarrow {\mathbb {R}}^5\) is hyperbolic, we conclude that x is centroaffinely equivalent to one of the hypersurfaces (cf. Remark 1.2):
In Case II, substituting \(f_4=0\) into the expression of \(E_4(f_4)\) in (7.9), we obtain that
where
This is a contradiction to \(H\ne 0\). Hence, Case II does not occur.
In Case III, we first see from \(g_3\ne 0\) and (5.4) that \(1+g^2_1+g^2_2-g^2_3>0\). Moreover, replacing \(E_4\) by \(-E_4\) if necessary, we can assume \(f_4<0\). Then, from (8.3), we get
and that \(1+g^2_1+g^2_2-2g^2_3\ne 0\).
Since \(x:M^4\rightarrow {\mathbb {R}}^5\) is a Tchebychev hypersurface, from (2.15) we have
However, by Lemma 5.2, it holds that
Moreover, combining with (7.5), (7.7) and (7.9), we can rewrite \(E_3(g_1)\), \(E_3(g_2)\), \(E_3(g_3)\) and \(E_3(f_4)\) in Sect. 6 as
and
where \(\{\beta ,\gamma ,\varphi ,\psi ,\eta ,\theta \}\) are defined by (7.6), (7.8) and (7.10), respectively.
Now, combining (7.3), (8.4), (8.6), (8.7), (8.8) and (8.9), we can carry a straightforward calculation of (8.5) to obtain the following relation:
But this is impossible. Hence, Case III does not occur.
In conclusion, we have completed the proof of Theorem 1.2.
References
Binder, Th.: Relative Tchebychev hypersurfaces which are also translation hypersurfaces. Hokkaido Math. J. 38, 97–110 (2009)
Cheng, X., Hu, Z.: On the isolation phenomena of locally conformally flat manifolds with constant scalar curvature-submanifolds versions. J. Math. Anal. Appl. 464, 1147–1157 (2018)
Cheng, X., Hu, Z., Moruz, M.: Classification of the locally strongly convex centroaffine hypersurfaces with parallel cubic form. Results Math. 72, 419–469 (2017)
Cheng, X., Hu, Z., Moruz, M., Vrancken, L.: On product affine hyperspheres in \({\mathbb{R} }^{n+1}\). Sci China Math 63, 2055–2078 (2020)
Cheng, X., Hu, Z., Vrancken, L.: Every centroaffine Tchebychev hyperovaloid is ellipsoid. Pacific J. Math. 315, 27–44 (2021)
Cheng, X., Hu, Z., Yao, Z.: A rigidity theorem for centroaffine Chebyshev hyperovaloids. Colloq. Math. 157, 133–141 (2019)
Hu, Z., Li, H., Vrancken, L.: Locally strongly convex affine hypersurfaces with parallel cubic form. J. Differ. Geom. 87, 239–307 (2011)
Hu, Z., Xing, C.: A new centroaffine characterization of the ellipsoids. Proc. Amer. Math. Soc. 149, 3531–3540 (2021)
Li, M.: Rigidity theorems for relative Tchebychev hypersurfaces. Results Math. 70, 283–298 (2016)
Li, A.-M., Li, H., Simon, U.: Centroaffine Bernstein problems. Differ. Geom. Appl. 20, 331–356 (2004)
Li, A.-M., Liu, H., Schwenk-Schellschmidt, A., Simon, U., Wang, C.P.: Cubic form methods and relative Tchebychev hypersurfaces. Geom. Dedicata. 66, 203–221 (1997)
Li, A.-M., Penn, G.: Uniqueness theorems in affine differential geometry part II. Results Math. 13, 308–317 (1988)
Lalléchère, S., Ramifidisoa, L., Ravelo, B.: Flat hyperbolic centro-affine Tchebychev hypersurfaces of \(\mathbb{R}^4\). Results Math. 76: 71, 18 pp. (2021)
Li, A.-M., Simon, U., Zhao, G., Hu, Z.: Global Affine Differential Geometry of Hypersurfaces, 2nd edn. de Gruyter Expositions in Mathematics 11, Walter de Gruyter, Berlin/Boston (2015)
Liu, H., Simon, U., Wang, C.P.: Conformal structures in affine geometry: complete Tchebychev hypersurfaces. Abh. Math. Sem. Hamburg 66, 249–262 (1996)
Li, A.-M., Wang, C.P.: Canonical centroaffine hypersurfaces in \({\mathbb{R} }^{n+1}\). Results Math. 20, 660–681 (1991)
Liu, H., Wang, C.P.: The centroaffine Tchebychev operator. Results Math. 27, 77–92 (1995)
Liu, H., Wang, C.P.: Relative Tchebychev surfaces in \({\mathbb{R} }^3\). Kyushu J. Math. 50, 533–540 (1996)
Nomizu, K., Sasaki, T.: Affine Differential Geometry. Cambridge University Press, Cambridge (1994)
Simon, U., Schwenk-Schellschmidt, A., Viesel, H.: Introduction to the Affine Differential Geometry of Hypersurfaces. Lecture Notes of the Science University of Tokyo, Japan (1991)
Simon, U., Trabelsi, H., Vrancken, L.: Complete hyperbolic Tchebychev hypersurfaces. J. Geom. 89, 148–159 (2008)
Vrancken, L.: The Magid-Ryan conjecture for equiaffine hyperspheres with constant sectional curvature. J. Differ. Geom. 54, 99–138 (2000)
Vrancken, L., Li, A.-M., Simon, U.: Affine spheres with constant affine sectional curvature. Math. Z. 206, 651–658 (1991)
Wang, C.P.: Centroaffine minimal hypersurfaces in \({\mathbb{R} }^{n+1}\). Geom. Dedicata. 51, 63–74 (1994)
Acknowledgements
The authors are thankful to the referees for their comments and suggestions which have helped us to improve the presentation of the article.
Funding
The first author was supported by NSF of China, Grant Number 12001494; the second and third authors were supported by NSF of China, Grant Number 12171437.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
The authors hereby state that there are no conflicts of interest regarding the presented results.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Cheng, X., Hu, Z. & Xing, C. On Centroaffine Tchebychev Hypersurfaces with Constant Sectional Curvature. Results Math 77, 175 (2022). https://doi.org/10.1007/s00025-022-01715-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01715-3