Abstract
We study the ∗-Ricci operator on Hopf real hypersurfaces in the complex quadric. We prove that for Hopf real hypersurfaces in the complex quadric, the ∗-Ricci tensor is symmetric if and only if the unit normal vector field is singular. In the following, we obtain that if the ∗-Ricci tensor of Hopf real hypersurfaces in the complex quadric is symmetric, then the ∗-Ricci operator is both Reeb-flow-invariant and Reeb-parallel. As the correspondence to the semi-symmetric Ricci tensor, we give a classification of real hypersurfaces in the complex quadric with the semi-symmetric ∗-Ricci tensor.
Keywords:
Reeb-flow-invariant ∗-Ricci operator; Reeb-parallel ∗-Ricci operator; semi-symmetric ∗-Ricci tensor; singular-unit normal vector field MSC:
53C40; 53C55
1. Introduction
There are many Hermitian symmetric spaces of rank 2. For example, complex two-plane Grassmannians and complex hyperbolic two-plane Grassmannians, which are denoted by and , respectively. They are Hermitian symmetric spaces and quaternionic Kähler symmetric spaces equipped with the Kähler structure J and quaternionic Kähler structure .
The complex quadric is another kind of compact Hermitian symmetric space different from the above ones. For , the maximal sectional curvature of is equal to 4 (see [1,2]). It is the complex hypersurface in complex projective space [3], and it is also a kind of real Grassmannian manifold with rank 2 [4]. So, we know that apart from the Kähler structure J, there is another distinguished geometric structure, namely, a parallel rank two vector field bundle that contains an -bundle of real structures, that is, complex conjugations A on the tangent spaces of . The complex conjugation A and the Kähler structure J anti-commute with each other, that is, .
The Kähler manifold is the subject of symplectic geometry. Contact geometry appears as the odd dimensional counterpart of symplectic geometry, in which the almost-contact manifold corresponds to the almost complex manifold. Mathematicians are interested in submanifolds or hypersurfaces with some certain structure or curvature properties (see [5,6,7,8,9,10,11]). The real hypersurface M in the complex quadric is naturally an almost contact metric manifold. Many mathematicians have investigated it from various aspects. For example, some classifications of M related to the parallel Ricci tensor and Reeb-parallel Ricci tensor were obtained in Suh [12,13]. Moreover, Suh studied the real hypersurface M with the commuting Ricci tensor and the Ricci soliton in [14,15]. In [16], Suh and his partner Pérez gave the classification of the real hypersurface M in with the killing shape operator, and in [17], Pérez obtained some results when the structure vector field of the almost contact structure of M was of the Jacobi type.
The real hypersurface M is a Hopf hypersurface when the integral curves of the Reeb vector field are geodesic. Moreover, the integral curves of are geodesic if and only if is a principal curvature vector of M everywhere, that is,
where S is the shape operator of M, and is Reeb function. The classification of the Hopf hypersurface M in with some other geometric properties can be found in [12].
The unit normal vector field N of the real hypersurface M in has a great impact on the geometric properties of the hypersurface M. Usually, N can be put into two classes: N is -principal or -isotropic. In [18], Berndt and Suh proved that if M has isometric Reeb flow, then N is -isotropic, and it is locally congruent to a tube over a totally geodesic in . When M is in contact with the -principal unit normal vector field N, then the classification of M can be found in [19].
In differential geometry, the Ricci tensor is very significant to the nature of a manifold. For example, in [12] Suh proved that there was no Hopf real hypersurface with a parallel Ricci tensor in the complex quadric , . Moreover, in [20], Lee, Suh, and Woo showed that there were not any Hopf real hypersurfaces in the complex quadric with the semi-symmetric Ricci tensor and the -principal unit normal vector field and gave the classification when the unit normal vector field was -isotropic. In [21], Suh classified the the real hypersurface in the complex quadric with the Reeb-invarient Ricci tensor, and some classification about the Reeb-parallel Ricci tensor could be found in [13]. In [22], we obtained several properties on Lorentzian generalized Sasakian space-forms, which are related to the Ricci tensor.
Apart from the Ricci tensor, there is another important curvature tensor for the almost-contact manifold, that is, the ∗-Ricci tensor . The notion of the ∗-Ricci tensor was introduced by Tachibana in [23], and Hamada extended this notion to almost-contact manifolds in [24]. Its definition is similar to the Ricci tensor, but its properties are different from the Ricci tensor. For instance, it may be not symmetric since it is related to the structure tensor . If the ∗-Ricci tensor is symmetric, we can directly investigate it. Many authors has investigated the ∗-Ricci soliton, which replaced Ricci tensor with the ∗-Ricci tensor in the Ricci soliton (see [25,26]). In [27], we gave the classification of the trans-Sasakian three-manifolds with the Reeb invariant ∗-Ricci opertator. In [28], we gave the notion of the semi-symmetric ∗-Ricci tensor and investigated the properties of it on the -contact manifold.
In the present paper, we study the real hypersurface M in with the Reeb invariant and the Reeb-parallel ∗-Ricci operator. We also investigate the Hopf real hypersurfaces with the semi-symmetric ∗-Ricci tensor.
Generally, the conditions of the Reeb invariant ∗-Ricci operator and the Reeb-parallel ∗-Ricci operator are not the same since the Reeb invariant ∗-Ricci operator is defined by and the Reeb-parallel ∗-Ricci operator is ; in other words, one is a Lie derivative and the other is a connection derivative. However, we can see from the following theorem that they are the same for the Hopf real hypersurface in the complex quadric with the singular-unit normal vector field.
Theorem 1.
Let M be a Hopf real hypersurface in the complex quadric , , with the -principal or -isotropic unit normal vector field N; then,
where is the ∗- operator, ξ is Reeb vector field, L is Lie derivative, and ∇ is Riemannian connection of M. That is, the ∗- operator on a Hopf real hypersurface in the complex quadric , , with a singular-unit normal vector field that is both Reeb-flow-invariant and Reeb-parallel.
Aa an analogue to the notion of the semi-symmetric Ricci tensor, we consider the notion of the semi-symmetric ∗-Ricci tensor defined by
for any vector field , and W on the manifold. It has been proved that there are no Hopf hypersurfaces in the complex quadric with the semi-symmetric Ricci tensor and the -principal unit normal vector field in [20]. For the ∗-Ricci tensor, we draw the conclusion that:
Theorem 2.
Hopf real hypersurfaces with the semi-symmetric ∗-Ricci tensor and -principal unit normal vector field do not exist in the complex quadric , .
2. Some General Equations and Key Lemmas
As we have mentioned above, the complex quadric is the complex hypersurface in the complex projective space . If are the homogeneous coordinates of , then is the image of the equation . Now, we denote the Kähler structure of by , where is the Fubini–Study metric on , which has constant holomorphic sectional curvature 4. We know that the complex hypersurface of a Kähler manifold has an induced Kähler structure; in other words, it is a Kähler manifold. Then, the complex quadric has a canonical induced Kähler structure , where g is the Riemannian metric on induced from the Fubini–Study metric . Now, we explain why is . Firstly, it is known that the complex projective space because it is a Hermitian symmetric space of the special unitary group . As the subgroup of , acts on with cohomogeneity one. If the orbit of contains the fixed point of the action of the stabilizer , namely, , then this orbit is a totally geodesic real projective space The complex quadric is just the second singular orbit of this action. It also gives the geometric interpretation of why is the Grassmann manifold of oriented 2-planes in . In this paper, we focus on the condition of because is just and is .
Let us denote the unit normal vector field of by , and is the shape operator of respect to . is anti-commuting with the Kähler structure J, and it is involution. Then, the shape operator is one of the complex conjugations A restricted to . In some sense, we can consider the set of all shape operators of as the complex conjugations on . Then, the tangent space of can be decomposed as
where and are the -eigenspace and ()-eigenspace, respectively. So, defines a real structure, and since the real codimension of in is 2, there is an -subbundle of the endomorphism bundle End consisting of complex conjugations.
In terms of the complex conjugations and the Kähler structure J, we can obtain the curvature tensor of from the Gauss equation for
A nonzero vector field is singular if it is -principal or -isotropic. For these two types of singular vector fields, we have
1. If there is a conjugation so that , then Z is -principal.
2. If there is a conjugation and two orthonormal vector fields so that , then Z is -isotropic.
Let M be the real hypersurface of and be its induced almost contact structure. Then, we have the following basic equations [29]:
where is the structure tensor, is Reeb vector field, and is the dual 1-form of , for any vector fields X and Y. Moreover, where J is the Kähler structure of and N is the unit normal vector field of M. The structure tensor and the Kähler structure J are related by
Thus, and J coincide with each other when restricted to the kernel of .
For any complex conjugation , we can choose two orthonormal vectors , such that
where (see [12]). The -principal unit normal vector field N corresponds to the value ; thus, we have , . The -isotropic unit normal vector field N corresponds to the value , so we have . Thus, .
In particular, we see that is always the tangent on M (because it holds
for two orthonormal vectors ). So, from this and the property of , we obtain
In fact, on a real hypersurface M in the complex quadric , for any vector field X on M, we can put
here, denotes the tangential part of and 1-form is given by
so
and
where denotes the tangential component of the vector in .
Denote the induced Riemannian connection and the shape operator on M by , respectively. Then, the Gauss–Weingarten equations are
where is the Riemannian connection on with respect to . Moreover, we have the following two equations:
Additionally, from the Gauss–Weingarten equation, in terms of the Kähler structure J and the complex conjugation , the curvature tensor R of M induced from of is
For an almost contact metric manifold, the ∗-Ricci tensor is (see [24,25])
So, we can calculate the ∗-Ricci tensor of M
where is a local orthonormal basis of M.
Generally, is not symmetric because it has an asymmetric part and . So, it is not a geometric invariant. The asymmetric ∗-Ricci tensor is just a tensor on a manifold; it makes little sense of geometry or physics. Hence, when we investigate the ∗-Ricci tensor, we only focus on the symmetric ∗-Ricci tensor or the symmetric part of the ∗-Ricci tensor. The following theorem tells us when the ∗-Ricci tensor is symmetric on a Hopf hypersurface in the complex quadric.
Theorem 3.
Let M be a Hopf hypersurface in the complex quadric . Then, the ∗- tensor of M is symmetric if and only if the unit normal vector field N of M is singular, that is, N is either -principal or -isotropic.
In particular, if N is -principal, then
if N is -isotropic, then
for any vector fields on M.
Proof.
In [25], it has been proved that if M is Hopf, then . So, we have
Now, we calculate :
First, we assume the ∗-Ricci tensor is symmetric, that is, . From the above equation, there must be
If , that is, N is -isotropic. If , putting , we have . We know
where . According to these facts, , that is, . It implies that the normal vector field N is -principal.
Conversely, if N is -principal, from , , we have
If N is -isotropic, from , we have
From the above two equations, we know that when the condition of N is singular, the ∗-Ricci tensor is symmetric. □
When the ∗-Ricci tensor is symmetric, we can define the ∗-Ricci operator by
The following are some important theorems that will be used in the proof of our main theorems.
Theorem 4
([30]). Let M be a real hypersurface in the complex quadric , , with -principal normal vector field N. Then,
(a) ,
(b) ,
(c) and ,
for any .
In particular, if M is Hopf, then we obtain for any tangent vector field X on M.
Theorem 5
([12]). Let M be a Hopf real hypersurface in the complex quadric , . Then, M has an -principal singular normal vector field N if and only if M is a contact real hypersurface with constant mean curvature and non-vanishing Reeb function in .
Moreover, for a contact manifold, we have
Theorem 6
([29]). Let M be a hypersurface of a KȨhler manifold, its induced almost contact metric structure, and S its shape operator. Then, is a contact metric structure if and only if .
Theorem 7
([31]). Let M be a Hopf hypersurface in the complex quadric with the singular unite normal vector field; then, the Reeb function α is the constant function.
3. Proof of Theorem 1 with -Principal Unit Normal VECTOR Field
Firstly, let us calculate the derivative and Lie derivative of along . Now
So, we have
From , we have
Then, Equation (1) becomes
From the above equation, we have
In this section, we assume the real hypersurface M in is Hopf and the unit normal vector field is -principal. From Theorem 3, we have
we have
Now, we prove that when N is -principal, then The Codazzi equation (see [12]) is
Putting in (3) and in considerationation of , we have
Since M is Hopf, and are constant from Lemma 7,
In [12], Suh proved that for a Hopf hypersurface M in , the following equation:
holds for all vector fields on M. From Equations (6) and (7), in consideration of , we have
When the unit normal vector field N is -principal, we have that the ∗-Ricci tensor on M is
from Theorem 3. Applying to both side of this equation, we have
by . Putting Equation (8) in Equation (9), we have
by and if N is -principal.
From Lemma 4 and Equation (10), we have
That is
4. Proof of Theorem 1 with -Isotropic Unit Normal Vector Field
In this section, we assume the real hypersurface M in is Hopf and the unit normal vector field is -isotropic. We have and .
In [12], the authors have proved that for a Hopf hypersurface M in , , with -isotropic unit normal vector field N, the following two equations are satisfied:
Thus, we have
In the following, we give the proof of
From Equation (7) and , we have
Then, we have
From and , we have
From Equation (14), we have
Thus, we prove Equation (12).
So, there must be . So
5. Proof of Theorem 2
First, we assume that the ∗-Ricci tensor of the Hopf real hypersurface of the complex quadric is semi-symmetric, that is,
Putting and from the fact that
and
since the unit normal vector filed N is -principal, we have and , ; then, the above equation becomes
Then, from Theorem 3, we have
where we have used the fact that since M is Hopf.
By replacing Z by in the above equation, we have
So, we have
since is a nonzero constant from Lemma 5 and the arbitrariness of vector field X.
From Lemmas 5 and 6, we know the Hopf hypersurface M is in contact and . So,
Then, we will have
That is, , which cannot happen. Thus, we complete the proof of Theorem 2.
6. Conclusions
In our paper, we study the Hopf real hypersurface M in the complex quadric , , with some certain ∗-Ricci operator properties. We give the necessary and sufficient condition that the ∗-Ricci tensor on the Hopf real hypersurface in the complex quadric is symetric. We know that the ∗-Ricci operator on the Hopf real hypersurface M with the singular-unit normal vector field N is Reeb-invariant and Reeb-parallel. Moveover, we prove that the ∗-Ricci tensor on the Hopf real hypersurface M in the complex quadric with the -principal unit normal vector field cannot be semi-symmetric.
Author Contributions
Writing—original draft preparation, R.M.; writing—review and editing, D.P.; and funding acquisition, D.P. and R.M. All authors have read and agreed to the published version of the manuscript.
Funding
The first author is funded by Yanshan University Basic Innovation Scientific Research Cultivation Project (Youth Project). The second author is funded by the National Natural Science Foundation of China grant number 11671070.
Data Availability Statement
Not applicable.
Acknowledgments
The authors wish to express their sincere thanks to the referees.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Klein, S. Totally geodesic submanifolds of the complex quadric. Differ. Geom. Appl. 2008, 26, 79–96. [Google Scholar] [CrossRef]
- Reckziegel, H. On the geometry of the complex quadric. In Geometry and Topology of Submanifolds VIII; World Scientific Publishing: Brussels, Belgium, 1995; Nordfjordeid, Norway, 1995; River Edge, NJ, USA, 1996; pp. 302–315. [Google Scholar]
- Smyth, B. Differential geometry of complex hypersurfaces. Ann. Math. 1967, 85, 246–266. [Google Scholar] [CrossRef]
- Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Wiley Classics Library; John Wiley & Sons, Inc.: New York, NY, USA, 1996; Volume II, p. xvi+468, Reprint of the 1969 original, A Wiley-Interscience Publication. [Google Scholar]
- Crasmareanu, M.; Hreţcanu, C.E.; Munteanu, M.I. Golden- and product-shaped hypersurfaces in real space forms. Int. J. Geom. Methods Mod. Phys. 2013, 10, 1320006. [Google Scholar] [CrossRef]
- Li, Y.; Abdel-Salam, A.; Saad, M.K. Primitivoids of curves in Minkowski plane. AIMS Math 2023, 2023, 2386–2406. [Google Scholar] [CrossRef]
- Li, Y.; Eren, K.; Ayvacı, K.H.; Ersoy, S. The developable surfaces with pointwise 1-type Gauss map of Frenet type framed base curves in Euclidean 3-space. AIMS Math 2023, 2023, 2226–2239. [Google Scholar] [CrossRef]
- Li, Y.; Eren, K.; Ayvacı, K.H.; Ersoy, S. Simultaneous characterizations of partner ruled surfaces using Flc frame. AIMS Math 2022, 7, 20213–20229. [Google Scholar] [CrossRef]
- Li, Y.; Prasad, R.; Haseeb, A.; Kumar, S.; Kumar, S. A study of Clairaut semi-invariant Riemannian maps from cosymplectic manifolds. Axioms 2022, 11, 503. [Google Scholar] [CrossRef]
- Li, Y.; Nazra, S.H.; Abdel-Baky, R.A. Singularity properties of Timelike sweeping surface in Minkowski 3-space. Symmetry 2022, 14, 1996. [Google Scholar] [CrossRef]
- Li, Y.; Alkhaldi, A.H.; Ali, A.; Laurian-Ioan, P. On the Topology of Warped Product Pointwise Semi-Slant Submanifolds with Positive Curvature. Mathematics 2021, 9, 3156. [Google Scholar] [CrossRef]
- Lee, H.; Suh, Y.J. A new classification on parallel Ricci tensor for real hypersurfaces in the complex quadric. P. Roy. Soc. Edinb. A 2020, 151, 1846–1868. [Google Scholar] [CrossRef]
- Suh, Y.J. Real hypersurfaces in the complex quadric with Reeb parallel Ricci tensor. J. Geom. Anal. 2019, 29, 3248–3269. [Google Scholar] [CrossRef]
- Suh, Y.J. Pseudo-anti commuting Ricci tensor and Ricci soliton real hypersurfaces in the complex quadric. J. Math. Pures Appl. 2017, 107, 429–450. [Google Scholar] [CrossRef]
- Suh, Y.J.; Hwang, D.H. Real hypersurfaces in the complex quadric with commuting Ricci tensor. Sci. China Math. 2016, 59, 2185–2198. [Google Scholar] [CrossRef]
- Pérez, J.D.D.; Jeong, I.; Ko, J.; Suh, Y.J. Real hypersurfaces with Killing shape operator in the complex quadric. Mediterr. J. Math. 2018, 15, 15. [Google Scholar] [CrossRef]
- Pérez, J.D.D. On the structure vector field of a real hypersurface in complex quadric. Open Math. 2018, 16, 185–189. [Google Scholar] [CrossRef]
- Berndt, J.; Suh, Y.J. Real hypersurfaces with isometric Reeb flow in complex quadrics. Internat. J. Math. 2013, 24, 1350050. [Google Scholar] [CrossRef]
- Berndt, J.; Suh, Y.J. Contact hypersurfaces in Kähler manifolds. Proc. Amer. Math. Soc. 2015, 143, 2637–2649. [Google Scholar] [CrossRef]
- Lee, H.; Suh, Y.J.; Woo, C. A classification of Ricci semi-symmetric real hypersurfaces in the complex quadric. J. Geom. Phys. 2021, 164, 104177. [Google Scholar] [CrossRef]
- Suh, Y.J.; Hwang, D.H.; Woo, C. Real hypersurfaces in the complex quadric with Reeb invariant Ricci tensor. J. Geom. Phys. 2017, 120, 96–105. [Google Scholar] [CrossRef]
- Ma, R.; Pei, D. Some curvature properties on Lorentzian generalized Sasakian-space-forms. Adv. Math. Phys. 2019, 2019, 5136758. [Google Scholar] [CrossRef]
- Tachibana, S.i. On almost-analytic vectors in certain almost-Hermitian manifolds. Tohoku Math. J. 1959, 11, 351–363. [Google Scholar] [CrossRef]
- Hamada, T. Real hypersurfaces of complex space forms in terms of Ricci *-tensor. Tokyo J. Math. 2002, 25, 473–483. [Google Scholar] [CrossRef]
- Chen, X. Real hypersurfaces of complex quadric in terms of star-Ricci tensor. Tokyo J. Math. 2018, 41, 587–601. [Google Scholar] [CrossRef]
- Ghosh, A.; Patra, D.S. ∗-Ricci soliton within the frame-work of Sasakian and (κ,μ)-contact manifold. Int. J. Geom. Methods Mod. Phys. 2018, 15, 1850120. [Google Scholar] [CrossRef]
- Ma, R.; Pei, D. Reeb-flow-invariant ∗-Ricci operators on trans-Sasakian three-manifolds. Math. Slovaca 2021, 71, 749–756. [Google Scholar] [CrossRef]
- Ma, R.; Pei, D. ∗-Ricci tensor on (κ,μ)-contact manifolds. AIMS Math. 2022, 7, 11519–11528. [Google Scholar] [CrossRef]
- Blair, D.E. Riemannian Geometry of Contact and Symplectic Manifolds. In Progress in Mathematics, 2nd ed.; Birkhäuser Boston, Ltd.: Boston, MA, USA, 2010; Volume 203, p. xvi+343. [Google Scholar] [CrossRef]
- Lee, H.; Suh, Y.J. A new classification of real hypersurfaces with Reeb parallel structure Jacobi operator in the complex quadric. J. Korean Math. Soc. 2021, 58, 895–920. [Google Scholar] [CrossRef]
- Suh, Y.J. Real hypersurfaces in the complex quadric with Reeb parallel shape operator. Internat. J. Math. 2014, 25, 1450059. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).