Rotational Hypersurfaces Satisfying ∆ = in the Four-Dimensional

Total Page:16

File Type:pdf, Size:1020Kb

Rotational Hypersurfaces Satisfying ∆ = in the Four-Dimensional POLİTEKNİK DERGİSİ JOURNAL of POLYTECHNIC ISSN: 1302-0900 (PRINT), ISSN: 2147-9429 (ONLINE) URL: http://dergipark.org.tr/politeknik Rotational hypersurfaces satisfying ∆푰퐑 = 퐀퐑 in the four-dimensional Euclidean space Dört-boyutlu Öklid uzayında ∆퐼푹 = 푨푹 koşulunu sağlayan dönel hiperyüzeyler Yazar(lar) (Author(s)): Erhan GÜLER ORCID : 0000-0003-3264-6239 Bu makaleye şu şekilde atıfta bulunabilirsiniz (To cite to this article): Güler E., “Rotational hypersurfaces satisfying ∆퐼퐑 = 퐀퐑 in the four-dimensional Euclidean space”, Politeknik Dergisi, 24(2): 517-520, (2021). Erişim linki (To link to this article): http://dergipark.org.tr/politeknik/archive DOI: 10.2339/politeknik.670333 Rotational Hypersurfaces Satisfying 횫퐈퐑 = 퐀퐑 in the Four-Dimensional Euclidean Space Highlights ❖ Rotational hypersurface has zero mean curvature iff its Laplace-Beltrami operator vanishing ❖ Each element of the 4×4 order matrix A, which satisfies the condition 훥퐼푅 = 퐴푅, is zero ❖ Laplace-Beltrami operator of the rotational hypersurface depends on its mean curvature and the Gauss map Graphical Abstract Rotational hypersurfaces in the 4-dimensional Euclidean space are discussed. Some relations of curvatures of hypersurfaces are given, such as the mean, Gaussian, and their minimality and flatness. The Laplace-Beltrami operator has been defined for 4-dimensional hypersurfaces depending on the first fundamental form. In addition, it is indicated that each element of the 4×4 order matrix A, which satisfies the condition 훥퐼푅 = 퐴푅, is zero, that is, the rotational hypersurface R is minimal. Aim We consider the rotational hypersurfaces in 피4 to find its Laplace-Beltrami operator. Design & Methodology We indicate fundamental notions of 피4. Considering differential geometry formulas in 3-space, we transform them in 4-space. Moreover, we use straight calculations by hand. Originality All findings in the paper are original. Findings We define rotational hypersurface using rotation matrix. We calculate curvatures of rotational hypersurface. Defining the Laplace-Beltrami operator (LBo for short), we compute the LBo of rotational hypersurface. Finally, we give the rotational hypersurface satisfying 훥퐼푅 = 퐴푅. Conclusion Rotational hypersurface has zero mean curvature iff its Laplace-Beltrami operator vanishing. Then, each element of the 4×4 order matrix A, which satisfies the condition 훥퐼푅 = 퐴푅, is zero. Finally, the Laplace-Beltrami operator of the rotational hypersurface depends on its mean curvature and the Gauss map. Declaration of Ethical Standards The author of this article declare that the materials and methods used in this study do not require ethical committee permission and/or legal-special permission. Politeknik Dergisi, 2021; 24(2) : 517-520 Journal of Polytechnic, 2021; 24 (2): 517-520 Rotational Hypersurfaces Satisfying ∆퐼퐑 = 퐀퐑 in the Four-Dimensional Euclidean Space Araştırma Makalesi / Research Article Erhan GÜLER* Bartın University, Faculty of Sciences, Department of Mathematics 74100 Bartın, Turkey (Received / Geliş: 04.01.2020 ; Accepted / Kabul: 21.04.2020) ABSTRACT In this study, rotational hypersurfaces in the 4-dimensional Euclidean space are discussed. Some relations of curvatures of hypersurfaces are given, such as the mean, Gaussian, and their minimality and flatness. In addition, Laplace-Beltrami operator has been defined for 4-dimensional hypersurfaces depending on the first fundamental form. Moreover, it is shown that each element of the 4 × 4 order matrix 퐀, which satisfies the condition ∆퐼퐑 = 퐀퐑, is zero, that is, the rotational hypersurface 퐑 is minimal. Keywords: 4-dimensional Euclidean space, Laplace-Beltrami operator, rotational hypersurface, curvature. Dört-Boyutlu Öklid Uzayında ∆퐼퐑 = 퐀퐑 Koşulunu Sağlayan Dönel Hiperyüzeyler ÖZ Bu çalışmada, 4-boyutlu Öklid uzayındaki dönel hiperyüzeyler ele alınmıştır. Hiperyüzeylerin ortalama, Gauss eğrilikleri hesaplanıp aralarındaki minimal ve düzlemsel olma durumları gibi bazı bağıntılar verilmiştir. Ayrıca, 4-boyutlu hiperyüzeyler için birinci temel forma bağlı olarak Laplace-Beltrami operatörü tanımlanmıştır. Üstelik, dönel yüzeyin ∆퐼퐑 = 퐀퐑 koşulunu sağlayan 4 × 4 mertebeli 퐀 matrisinin her elemanının sıfır olduğu, yani 퐑 dönel hiperyüzeyinin minimal olduğu gösterildi. Anahtar Kelimeler: 4-boyutlu Öklid uzayı, Laplace-Beltrami operatörü, dönel hiperyüzey, eğrilik 1. INTRODUCTION Section 3, we define rotational hypersurface using After Chen [5], finite type submanifold, (i.e. for rotation matrix. We calculate curvatures of rotational Laplacian, coordinate functions are finite sum of eigen- hypersurface. Defining the Laplace-Beltrami operator functions) has been studied by [1-3,5-16,18,21-23,25- (LBo for short) in Section 4, we compute the LBo of 26]. rotational hypersurface. Finally, we give the rotational hypersurface satisfying ∆푰퐑 = 퐀퐑 in Section 5. We give In 피3, Takahashi [24] constructed spheres and minimal a conclusion in Section 6. surfaces are the only surfaces with Δ푟 = 휆푟, 푟 ∈ ℝ. Ferrandez et al [12] found Δ퐻 = (퐴)3×3퐻 which are either an open part of sphere or of a right circular cylinder 2. PRELIMINARIES or minimal. Choi and Kim [8] classified the helicoid We introduce shape operator matrix 퐒, Gaussian depends on the first kind pointwise 1-type Gauss map. curvature (GC for short) 퐾, and the mean curvature (MC Dillen et al [9] gave Δ푟 = (퐴)3×3푟 + (퐵)3×1 which are for short) 퐻 of hypersurface (hypface for short) the circular cylinders, spheres, minimal surfaces. 4 퐌(푟, 휃1, 휃2) in 피 . Senoussi and Bekkar [23] introduced helicoidal surfaces Whole work, we identify its transpose with a vector. Let depends on three fundamental forms. Lawson [17] be an isometric immersion of a hypface 3 in 4. revealed general Laplace-Beltrami operator. 퐌 푀 피 ( ) General rotational surfaces were originated by Moore Definition 1. Inner product of 푥⃗ = 푥1, 푥2, 푥3, 푥4 , 푦⃗ = ( ) ( ) 4 [19,20] in 피4. Ganchev and Milousheva [13] gave the 푦1, 푦2, 푦3, 푦4 , 푧⃗ = 푧1, 푧2, 푧3, 푧4 in 피 is defined by 4 counterpart of them in 피1. 푥⃗ ⋅ 푦⃗ = 푥1푦1 + 푥2푦2 + 푥3푦3+푥4푦4. Arslan et al [2] worked generalized rotation surfaces, Definition 2. Triple vector product of 푥⃗ = Dursun and Turgay [11] considered pseudo umbilical, (푥1, 푥2, 푥3, 푥4), 푦⃗ = (푦1, 푦2, 푦3, 푦4), 푧⃗ = (푧1, 푧2, 푧3, 푧4) in 4 minimal rotational surfaces. Recently, Altın et al [1] E is given by worked Monge hypersurfaces with density in 피4. 푒1 푒2 푒3 푒4 We consider the rotational hypersurfaces in 피4. We 푥1 푥2 푥3 푥4 indicate fundamental notions of 피4 in Section 2. In 푥⃗ × 푦⃗ × 푧⃗ = 푑푒푡 ( ). 푦1 푦2 푦3 푦4 푧 푧 푧 푧 *Sorumlu Yazar (Corresponding Author) 1 2 3 4 e-posta : [email protected] 4 Definition 3. For a hypface 퐌(푟, 휃1, 휃2) in 피 , 517 Erhan GÜLER / POLİTEKNİK DERGİSİ, Politeknik Dergisi,2021;24(2): 517-520 2 2 2 det퐼 = (퐸퐺 − 퐹 )퐶 − 퐴 퐺 + 2퐴퐵퐹 − 퐵 퐸, (1) cos휃1 cos휃2 − sin휃1 − cos휃1 sin휃2 0 sin휃 cos휃 cos휃 − sin휃 sin휃 0 det퐼퐼 = (퐿푁 − 푀2)푉 − 푃2푁 + 2푃푇푀 − 푇2퐿, (2) ( 1 2 1 1 2 ), (7) sin휃2 0 cos휃2 0 where 퐼 and 퐼퐼 are fundamental form matrices, 0 0 0 1 respectively, with coefficients: with 휃1, 휃2 ∈ ℝ. Matrix 푍 supplies: 퐸 = 퐌푟 ⋅ 퐌푟, 퐹 = 퐌푟 ⋅ 퐌휃 , 퐺 = 퐌휃 ⋅ 퐌휃 , 푡 푡 1 1 1 푍ℓ = ℓ, 푍 푍 = 푍푍 = 퐼4, det푍 = 1. 퐴 = 퐌푟 ⋅ 퐌휃2, 퐵 = 퐌휃1 ⋅ 퐌휃2, 퐶 = 퐌휃2 ⋅ 퐌휃2, Profile curve is given by 퐿 = 퐌푟푟 ⋅ 푒, 푀 = 퐌푟휃1 ⋅ 푒, 푁 = 퐌휃1휃1 ⋅ 푒, 훾(푟) = (푟, 0,0, 휑(푟)), ∞ 푃 = 퐌푟휃2 ⋅ 푒, 푇 = 퐌휃1휃2 ⋅ 푒, 푉 = 퐌휃2휃2 ⋅ 푒. where 휑(푟): I ⊂ ℝ ⟶ ℝ is 퐶 for all 푟 ∈ I. Rotational hypface, spanned by the vector (0,0,0,1)푡, holds: Here, the Gauss map is defined by 푡 퐑(푟, 휃1, 휃2) = 푍(휃1, 휃2). 훾(푟) . (8) 퐌푟 × 퐌휃 × 퐌휃 푒 = 1 2 . (3) In 피4, let us rewrite (8) as follows ‖퐌푟 × 퐌휃1 × 퐌휃2‖ Definition 4. Resulting matrix of (퐼)−1. (퐼퐼) indicates 푟cos휃1cos휃2 shape operator matrix as follows 푟sin휃1cos휃2 퐑(푟, 휃1, 휃2) = ( ), (9) 푟sin휃2 1 퐒 = (푠 ) , (4) 휑(푟) det퐼 푖푗 3×3 where 푟 ∈ ℝ − {0} and 휃 , 휃 ∈ [0,2휋). where 1 2 Using derivatives of (9) depends on 푟, 휃1 and 휃2, get 2 푠11 = (퐴퐵 − 퐶퐹)푀 + (퐵퐹 − 퐴퐺)푃 + (퐶퐺 − 퐵 )퐿, 1 + 휑′2 0 0 푠 = (퐴퐵 − 퐶퐹)푁 + (퐵퐹 − 퐴퐺)푇 + (퐶퐺 − 퐵2)푀, 12 퐼 = ( 0 푟2 cos2휃 0 ) (10) 푠 = (퐴퐵 − 퐶퐹)푇 + (퐵퐹 − 퐴퐺)푉 + (퐶퐺 − 퐵2)푃, 2 13 0 0 푟2 2 푠21 = (퐴퐵 − 퐶퐹)퐿 + (퐴퐹 − 퐵퐸)푃 + (퐶퐸 − 퐴 )푀, 2 and 푠22 = (퐴퐵 − 퐶퐹)푀 + (퐴퐹 − 퐵퐸)푇 + (퐶퐸 − 퐴 )푁, 2 ′′ 2 −푟 휑 cos휃2 푠23 = (퐴퐵 − 퐶퐹)푃 + (퐴퐹 − 퐵퐸)푉 + (퐶퐸 − 퐴 )푇, 0 0 2 √det퐼 푠31 = (퐵퐹 − 퐴퐺)퐿 + (퐴퐹 − 퐵퐸)푀 + (퐸퐺 − 퐹 )푃, 3 ′ 3 −푟 휑 cos 휃2 푠 = (퐵퐹 − 퐴퐺)푀 + (퐴퐹 − 퐵퐸)푁 + (퐸퐺 − 퐹2)푇, 퐼퐼 = 0 0 (11) 32 √det퐼 2 3 ′ 푠33 = (퐵퐹 − 퐴퐺)푃 + (퐴퐹 − 퐵퐸)푇 + (퐸퐺 − 퐹 )푇. −푟 휑 cos휃 0 0 2 Definition 5. The formulas of the GC and the MC of ( √det퐼 ) 푑휑 hypface are, respectively, as follows with 휑 = 휑(푟), 휑′ = , 푑푟 ( ) 퐾 = det 퐒 , (5) 4 2 2 det퐼 = 푟 (1 + 휑′ ) cos 휃2. 1 퐻 = tr(퐒), (6) Using (3) on (9), we find 3 2 ′ 2 where 푟 휑 cos휃1 cos 휃2 1 1 푟2휑′ sin휃 cos2휃 tr(퐒) = [−2(퐴푃퐺 + 퐵푇퐸 − 퐴퐵푀 − 퐴푇퐹 − 퐵푃퐹) 1 2 푒퐑 = 2 ′ , (12) det퐼 √det퐼 푟 휑 sin휃2 cos휃2 2 2 2 2 −퐴 푁 − 퐵 퐿 + (퐸푁 + 퐺퐿 − 2퐹푀)퐶+(퐸퐺 − 퐹 )푉]. ( −푟 cos휃2 ) When 퐻 = 0 on 퐌, hypface 퐌 is called minimal. Hence, we have −휑′′ 3. ROTATIONAL HYPERSURFACE 3/2 0 0 푊 −휑′ Let us 훾: I ⊂ ℝ ⟶ Π be a plane curve, ℓ be a line in Π in 퐒 = , 4 0 1/2 0 피 . 푟푊 ′ 4 −휑 Definition 6. A rotational hypface in 피 is hypface 0 0 rotating a profile curve 훾 about axis ℓ.
Recommended publications
  • Complete Hypersurfaces in Euclidean Spaces with Finite Strong Total
    Complete hypersurfaces in Euclidean spaces with finite strong total curvature Manfredo do Carmo and Maria Fernanda Elbert Abstract We prove that finite strong total curvature (see definition in Section 2) complete hypersurfaces of (n + 1)-euclidean space are proper and diffeomorphic to a com- pact manifold minus finitely many points. With an additional condition, we also prove that the Gauss map of such hypersurfaces extends continuously to the punc- tures. This is related to results of White [22] and and M¨uller-Sver´ak[18].ˇ Further properties of these hypersurfaces are presented, including a gap theorem for the total curvature. 1 Introduction Let φ: M n ! Rn+1 be a hypersurface of the euclidean space Rn+1. We assume that n n n+1 M = M is orientable and we fix an orientation for M. Let g : M ! S1 ⊂ R be the n Gauss map in the given orientation, where S1 is the unit n-sphere. Recall that the linear operator A: TpM ! TpM, p 2 M, associated to the second fundamental form, is given by hA(X);Y i = −hrX N; Y i; X; Y 2 TpM; where r is the covariant derivative of the ambient space and N is the unit normal vector in the given orientation. The map A = −dg is self-adjoint and its eigenvalues are the principal curvatures k1; k2; : : : ; kn. Key words and sentences: Complete hypersurface, total curvature, topological properties, Gauss- Kronecker curvature 2000 Mathematics Subject Classification. 57R42, 53C42 Both authors are partially supported by CNPq and Faperj. 1 R n We say that the total curvature of the immersion is finite if M jAj dM < 1, where P 21=2 n n n+1 jAj = i ki , i.e., if jAj belongs to the space L (M).
    [Show full text]
  • Linear Subspaces of Hypersurfaces
    LINEAR SUBSPACES OF HYPERSURFACES ROYA BEHESHTI AND ERIC RIEDL Abstract. Let X be an arbitrary smooth hypersurface in CPn of degree d. We prove the de Jong-Debarre Conjecture for n ≥ 2d−4: the space of lines in X has dimension 2n−d−3. d+k−1 We also prove an analogous result for k-planes: if n ≥ 2 k + k, then the space of k- planes on X will be irreducible of the expected dimension. As applications, we prove that an arbitrary smooth hypersurface satisfying n ≥ 2d! is unirational, and we prove that the space of degree e curves on X will be irreducible of the expected dimension provided that e+n d ≤ e+1 . 1. Introduction We work throughout over an algebraically closed field of characteristic 0. Let X ⊂ Pn be an arbitrary smooth hypersurface of degree d. Let Fk(X) ⊂ G(k; n) be the Hilbert scheme of k-planes contained in X. Question 1.1. What is the dimension of Fk(X)? In particular, we would like to know if there are triples (n; d; k) for which the answer depends only on (n; d; k) and not on the specific smooth hypersurface X. It is known d+k classically that Fk(X) is locally cut out by k equations. Therefore, one might expect the d+k answer to Question 1.1 to be that the dimension is (k + 1)(n − k) − k , where negative dimensions mean that Fk(X) is empty. This is indeed the case when the hypersurface X is general [10, 17]. Standard examples (see Proposition 3.1) show that dim Fk(X) must depend on the particular smooth hypersurface X for d large relative to n and k, but there remains hope that Question 1.1 might be answered positively for n large relative to d and k.
    [Show full text]
  • Solutions to the Maximal Spacelike Hypersurface Equation in Generalized Robertson-Walker Spacetimes
    Electronic Journal of Differential Equations, Vol. 2018 (2018), No. 80, pp. 1{14. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu SOLUTIONS TO THE MAXIMAL SPACELIKE HYPERSURFACE EQUATION IN GENERALIZED ROBERTSON-WALKER SPACETIMES HENRIQUE F. DE LIMA, FABIO´ R. DOS SANTOS, JOGLI G. ARAUJO´ Communicated by Giovanni Molica Bisci Abstract. We apply some generalized maximum principles for establishing uniqueness and nonexistence results concerning maximal spacelike hypersur- faces immersed in a generalized Robertson-Walker (GRW) spacetime, which is supposed to obey the so-called timelike convergence condition (TCC). As application, we study the uniqueness and nonexistence of entire solutions of a suitable maximal spacelike hypersurface equation in GRW spacetimes obeying the TCC. 1. Introduction In the previous decades, the study of spacelike hypersurfaces immersed in a Lorentz manifold has been of substantial interest from both physical and mathe- matical points of view. For instance, it was pointed out by Marsden and Tipler [24] and Stumbles [37] that spacelike hypersurfaces with constant mean curvature in a spacetime play an important role in General Relativity, since they can be used as initial hypersurfaces where the constraint equations can be split into a linear system and a nonlinear elliptic equation. From a mathematical point of view, spacelike hypersurfaces are also interesting because of their Bernstein-type properties. One can truly say that the first remark- able results in this branch were the rigidity theorems of Calabi [13] and Cheng and Yau [15], who showed (the former for n ≤ 4, and the latter for general n) that the only maximal (that is, with zero mean curvature) complete spacelike hypersurfaces of the Lorentz-Minkowski space Ln+1 are the spacelike hyperplanes.
    [Show full text]
  • Rotation Hypersurfaces in Sn × R and Hn × R
    Note di Matematica Note Mat. 29 (2009), n. 1, 41-54 ISSN 1123-2536, e-ISSN 1590-0932 DOI 10.1285/i15900932v29n1p41 Notehttp://siba-ese.unisalento.it, di Matematica 29, ©n. 2009 1, 2009, Università 41–54. del Salento __________________________________________________________________ Rotation hypersurfaces in Sn × R and Hn × R Franki Dillen i [email protected] Johan Fastenakels ii [email protected] Joeri Van der Veken iii Katholieke Universiteit Leuven, Department of Mathematics, Celestijnenlaan 200B Box 2400, BE-3001 Leuven, Belgium. [email protected] Received: 14/11/2007; accepted: 07/04/2008. Abstract. We introduce the notion of rotation hypersurfaces of Sn × R and Hn × R and we prove a criterium for a hypersurface of one of these spaces to be a rotation hypersurface. Moreover, we classify minimal rotation hypersurfaces, flat rotation hypersurfaces and rotation hypersurfaces which are normally flat in the Euclidean resp. Lorentzian space containing Sn ×R resp. Hn × R. Keywords: rotation hypersurface, flat, minimal MSC 2000 classification: 53B25 1 Introduction In[3]theclassicalnotionofarotationsurfaceinE3 was extended to rota- tion hypersurfaces of real space forms of arbitrary dimension. Motivated by the recent study of hypersurfaces of the Riemannian products Sn × R and Hn × R, see for example [2], [4], [5] and [6], we will extend the notion of rotation hyper- surfaces to these spaces. Starting with a curve α on a totally geodesic cylinder S1 × R resp. H1 × R and a plane containing the axis of the cylinder, we will construct such a hypersurface and we will compute its principal curvatures. Moreover, we will prove a criterium for a hypersurface of Sn × R resp.
    [Show full text]
  • Systems of Lines Amd Planes on the Quadric
    Systems of lines and planes on the quadric hypersurface in spaces of four and five dimensions Item Type text; Thesis-Reproduction (electronic) Authors Fish, Anne, 1924- Publisher The University of Arizona. Rights Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author. Download date 01/10/2021 14:55:47 Link to Item http://hdl.handle.net/10150/319188 SYSTEMS OF LINES■AMD PLANES ON THE QUADRIC HYPERSURFACE SPACES OF FOUR AND- FIVE DIMENSIONS - by Anne Fish A TLes is submitted to the faculty of the Department of Mathematics in partial fullfilment of the requirements for the degree of Master of Science in the Graduate College University of Arizona 1948 Approved: Direeto^ of Thesis t Date & R A& TABLE OF CONTENTS I? O (TU. O "fc X OH a a © © a © o © © © © o © o © © ©ooo oool Chapter I Geometry of M-Dirnensiona 1 Projective Space © » 2 II Ruled Surfaces in Three-Dimensional Projective Space © © © © © © © © © © © © 10 III Systems of Lines on a Quadric Surface in Three-Dimensional Projective Space © © « © 13 IV Systems of Lines on a Quadric Hypersurface in Four-Dimensional Projective Space « © © © 23 V Systems of Planes on a Quadric Hypersurface in a Projective Space of Five Dimensions © © 34 Bibliography © © © © © © © © © © © © © © © © © © © s © © © 4V 194189 INTRODUCTION It has long been common knowledge
    [Show full text]
  • Arxiv:2008.11018V1 [Math.DG]
    UNIQUENESS OF HYPERSURFACES OF CONSTANT HIGHER ORDER MEAN CURVATURE IN HYPERBOLIC SPACE BARBARA NELLI, JINGYONG ZHU Abstract. We study the uniqueness of horospheres and equidistant spheres in hyperbolic space under different conditions. First we generalize the Bernstein theorem by Do Carmo and Lawson [12] to the embedded hypersurfaces with constant higher order mean curva- ture. Then we prove two Bernstein type results for immersed hypersurfaces under different assumptions. Last, we show the rigidity of horospheres and equidistant spheres in terms of their higher order mean curvatures. 1. Introduction In 1927, S. N. Bernstein proved that the only entire minimal graphs in R3 are planes. The analogous problem in higher dimension is known as Bernstein problem. Namely, given u : Rn → R a minimal graph, is the graph of u a flat hyperplane? It turns out that the answer is yes for n ≤ 7 and that has been settled down by a series of very significative papers [4, 11, 16, 24]. On the contrary, for n ≥ 8, one has the famous counterexamples by E. Bombieri, E. De Giorgi and E. Giusti [6]. Afterwards, many generalizations of Bernstein theorem have arised. As an example, we mention [23] where R. Schoen, L. Simon and S. T. Yau studied a Bernstein type theorem for stable minimal hypersurfaces. Later on, Bernstein type theorems for constant mean curvature hypersurfaces in Euclidean and in hyperbolic space Hn+1 have been studied. Let us give a very simple example in the Euclidean space. Does it exist an entire graph M in Rn+1 with constant mean curvature H =6 0? It is well known that the answer is no and here is the proof.
    [Show full text]
  • Properties of Hypersurfaces Which Are Characteristic for Spaces of Constant
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze OLDRICHˇ KOWALSKI Properties of hypersurfaces which are characteristic for spaces of constant curvature Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3e série, tome 26, no 1 (1972), p. 233-245 <http://www.numdam.org/item?id=ASNSP_1972_3_26_1_233_0> © Scuola Normale Superiore, Pisa, 1972, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ PROPERTIES OF HYPERSURFACES WHICH ARE CHARACTERISTIC FOR SPACES OF CONSTANT CURVATURE OLD0159ICH KOWALSKI, Praha If is well-known that the spaces of constant curvature are characteri- zed among all Riemannian spaces by the following property : for any (n -1)- dimensional linear elements En-l of a Riemann space N (dim N = n &#x3E; 3) there is a totally geodesic hypersurface which is tangent to En-1. (Cf. [1]). The purpose of this Note is to present a number of theorems of the above type ; only the requirement that our hypersurfaces should be totally geodesic will be replaced be another geometrical or analytical postu- lates. Umbilical points of hypersurfaces and so called « normal Bianchi identity &#x3E;&#x3E; play the leading part here.
    [Show full text]
  • LINES on SMOOTH HYPERSURFACES Let K Be an Algebraically Closed Field of Characteristic P. If X Is a Subvariety of Pn K and X
    LINES ON SMOOTH HYPERSURFACES OLIVIER DEBARRE Let k be an algebraically closed field of characteristic p. If X is a n subvariety of Pk and x a point on X, we denote by TxX the projective closure of the embedded Zariski tangent space to X at x. It is known that the family of lines on a general hypersurface of degree d in Pn is smooth of dimension 2n − 3 − d. When n is very large with respect to d, any smooth hypersurface of degree d in Pn has this property ([HMP]). However, the bound in [HMP] is very large, whereas • the family of lines on a smooth cubic in Pn, with n ≥ 3, is smooth of the expected dimension 2n − 6. • the family of lines on a smooth quartic in Pn, with n ≥ 4, has the expected dimension 2n − 7 for p 6= 2; 3 (Collino). However, it may be reducible and non-reduced. Conjecture 1. Assume p = 0 or p ≥ d. The family of lines on a smooth hypersurface of degree d in Pn has the expected dimension 2n − 3 − d for n ≥ d. These bounds are the best possible: the family of lines contained in a Fermat hypersurface in Pn has dimension at least n − 3, which is larger than the expected dimension for n < d. Also, when p > 0, the family of lines contained in a Fermat hypersurface of degree p + 1 in Pn has dimension 2n − 4, which is larger than the expected dimension. Note that by taking general hyperplane sections,1 it is enough to prove Conjecture 1 in the case n = d.
    [Show full text]
  • Arxiv:1810.02861V1 [Math.AG] 5 Oct 2018 CP Oyoileuto N Ae Xeddt Ufcsadhge Dim Using Higher Besides and Equations
    October 9, 2018 ALGEBRAIC HYPERSURFACES JANOS´ KOLLAR´ Abstract. We give an introduction to the study of algebraic hypersurfaces, focusing on the problem of when two hypersurfaces are isomorphic or close to being isomorphic. Working with hypersurfaces and emphasizing examples makes it possible to discuss these questions without any previous knowledge of algebraic geometry. At the end we formulate the main recent results and state the most important open questions. Contents 1. Stereographic projection 2 2. Projective hypersurfaces 4 3. Rational and birational maps 5 4. The main questions 8 5. Rationality of cubic hypersurfaces 10 6. Isomorphism of hypersurfaces 12 7. Non-rationalityoflargedegreehypersurfaces 14 8. Non-rationalityoflowdegreehypersurfaces 17 9. Rigidity of low degree hypersurfaces 18 10. Connections with the classification of varieties 18 11. Openproblemsabouthypersurfaces 19 References 21 Algebraic geometry started as the study of plane curves C R2 defined by a polynomial equation and later extended to surfaces and higher⊂ dimensional sets defined by systems of polynomial equations. Besides using Rn, it is frequently more advantageous to work with Cn or with the corresponding projective spaces RPn and n arXiv:1810.02861v1 [math.AG] 5 Oct 2018 CP . Later it was realized that the theory also works if we replace R or C by other fields, for example the field of rational numbers Q or even finite fields Fq. When we try to emphasize that the choice of the field is pretty arbitrary, we use An to denote affine n-space and Pn to denote projective n-space. Conceptually the simplest algebraic sets are hypersurfaces; these are defined by 1 equation.
    [Show full text]
  • Tesis Doctoral Mean Curvature of a Spacelike
    TESIS DOCTORAL MEAN CURVATURE OF A SPACELIKE HYPERSURFACE IN A SPACETIME WITH CERTAIN CAUSAL SYMMETRIES José Antonio Sánchez Pelegrín Programa de Doctorado en Física y Matemáticas GRANADA, 2018 Editor: Universidad de Granada. Tesis Doctorales Autor: José Antonio Sánchez Pelegrín ISBN: 978-84-9163-816-2 URI: http://hdl.handle.net/10481/50135 MEAN CURVATURE OF A SPACELIKE HYPERSURFACE IN A SPACETIME WITH CERTAIN CAUSAL SYMMETRIES El doctorando / The doctoral candidate José Antonio Sánchez Pelegrín y los directores de la tesis / and the thesis supervisors: Dr. Alfonso Romero Sarabia y Dr. Rafael M. Rubio Ruiz Garantizamos, al firmar esta tesis doctoral, que el trabajo ha sido realizado por el doctor- ando bajo la dirección de los directores de la tesis y hasta donde nuestro conocimiento alcanza, en la realización del trabajo, se han respetado los derechos de otros autores a ser citados, cuando se han utilizado sus resultados o publicaciones. Guarantee, by signing this doctoral thesis, that the work has been done by the doctoral candidate under the direction of the thesis supervisors and, as far as our knowledge reaches, in the performance of the work, the rights of other authors to be cited (when their results or publications have been used) have been respected. Granada, 15 de enero de 2018 Fdo.:. José Antonio Sánchez Pelegrín Fdo.: Dr. Alfonso Romero Sarabia Dr. Rafael M. Rubio Ruiz Esta tesis doctoral ha sido realizado gracias a la beca FPI BES-2014-068969 asociada al proyecto de investigación Geometría Semi-Riemanniana y problemas variacionales en Física Matemática, MTM2013-47828-C2-1-P, del Ministerio de Economía y Competitividad y cofinan- ciado con fondos FEDER de la Unión Europea.
    [Show full text]
  • Mutual Position of Hypersurfaces in Projective Space
    MUTUAL POSITION OF HYPERSURFACES IN PROJECTIVE SPACE OLEG VIRO Abstract. In this paper elementary characteristics for mutual positions of several disjoint closed smooth hypersurfaces in a projective space are studied. In terms of these characteristics, new restrictions on topology of real algebraic hypersurfaces of a given degree are formulated. There is a small simple fragment, which appears repeatedly in papers on the topology of real plane projective algebraic curves. This is a purely topological description of possible mutual positions of several disjoint circles in the projective plane. Since one of the main problems on the topology of real plane projective algebraic curves is what topological pictures are realized by curves of a given degree, it is necessary to fix first terms in which these pictures can be discussed. The goal of this paper is to generalize this to the case of hypersurfaces of a projective space. In the case of plane projective curves the whole topology can be described in homological terms (although they are not called in this way, being simpler than almost everything related to homology): a circle can be positioned in the projective plane one- or two-sidedly and a two-sided circle can encircle another one. In higher dimensions there is topology which cannot be expressed in homology. This happens even in the next dimension: handles of surfaces in RP 3 can be knotted. However it makes sense to look first at the homological part of the story, since it catches the simplest and roughest phenomena. By the way, in the knot theory, which is considered a model for studying differences between embeddings, the homology part appears only after auxiliary geometric construction.
    [Show full text]
  • Joining Spacetimes on Fractal Hypersurfaces Arxiv:1810.10832V1
    Joining Spacetimes on Fractal Hypersurfaces Ayan Chatterjee∗ and Ankit Anandy Department of Physics and Astronomical Science Central University of Himachal Pradesh, Dharamshala-176206, India. Abstract The theory of fractional calculus is attracting a lot of attention from mathematicians as well as physicists. The fractional generalisation of the well- known ordinary calculus is being used extensively in many fields, par- ticularly in understanding stochastic process and fractal dynamics. In this paper, we apply the techniques of fractional calculus to study some specific modifications of the geometry of submanifolds. Our generalisation is applied to extend the Israel formalism which is used to glue together two spacetimes across a timelike, spacelike or a null hypersurface. In this context, we show that the fractional extrapolation leads to some striking new results. More precisely we demonstrate that, in contrast to the original Israel formalism, where many spacetimes can only be joined together through an intermediate thin hypersurface of matter satisfying some non- standard energy conditions, the fractional generalisation allows these spacetimes to be smoothly sewed together without any such requirements on the stress tensor of the matter fields. We discuss the ramifications of these results for spacetime structure and the possible implications for gravitational physics. 1 Introduction The theory of fractional calculus has been considered a classical but obscure corner of mathematics [1, 2, 3]. It remained, until a few decades, a field by mathemati- cians, for mathematicians and of purely theoretical interest. Though it played a crucial role in the development of Abel's theory of integral equations and many arXiv:1810.10832v1 [gr-qc] 25 Oct 2018 mathematicians like Liouville, Riemann, Heaviside and Hilbert took an active in- terest in it, fractional calculus found limited applications and was referred to only occasionally, to simplify complicated solutions.
    [Show full text]