Showing 1–13 of 13 results for author: Grossi, C H

Complete totally geodesic subsets of the complex hyperbolic plane: an elementary classification

Authors: Hugo C. Botós, Carlos H. Grossi

Abstract: The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementar… ▽ More The non-trivial complete totally geodesic submanifolds of the complex hyperbolic plane $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes. We present two new proofs for this fact. One is a short proof based on an algebraic formula for the Riemann curvature tensor due to S. Anan'in and C. Grossi and resembles the traditional proof using Lie theory. The other is purely elementary and geometric, relying on the structures in $\mathbb H_{\mathbb C}^2$ instead of general theories. In this second approach, we prove a slightly stronger result: the only non-trivial complete totally geodesic subsets of $\mathbb H_{\mathbb C}^2$ are the complex geodesics and the real planes without assuming that the subsets are submanifolds a priori. This second proof is also intriguing for only making use of elementary geometric constructions. △ Less

Submitted 15 April, 2024; originally announced April 2024.

MSC Class: 51M10 (Primary) 53A20; 53A35 (Secondary)

Quotients of the holomorphic 2-ball and the turnover

Authors: Hugo C. Botós, Carlos H. Grossi

Abstract: We construct two-dimensional families of complex hyperbolic structures on disc orbibundles over the sphere with three cone points. This contrasts with the previously known examples of the same type, which are locally rigid. In particular, we obtain examples of complex hyperbolic structures on trivial and cotangent disc bundles over closed Riemann surfaces. We construct two-dimensional families of complex hyperbolic structures on disc orbibundles over the sphere with three cone points. This contrasts with the previously known examples of the same type, which are locally rigid. In particular, we obtain examples of complex hyperbolic structures on trivial and cotangent disc bundles over closed Riemann surfaces. △ Less

Submitted 12 April, 2025; v1 submitted 17 September, 2021; originally announced September 2021.

Comments: 42 pages, 21 figures, 3 tables. In this version, we restructured the text and provided an alternative proof of Proposition 44 in Remark 45

MSC Class: 57S30 (Primary); 51M10; 57M50; 57R18 (Secondary)

Special elliptic isometries, relative SU(2,1)-character varieties, and bendings

Authors: Felipe A. Franco, Carlos H. Grossi

Abstract: We study relations between special elliptic isometries in the complex hyperbolic plane. Relations of lengths 2, 3, and 4 are fully classified. Some relative SU(2,1)-character varieties of the quadruply punctured sphere are described and applied to the study of length 5 relations. We study relations between special elliptic isometries in the complex hyperbolic plane. Relations of lengths 2, 3, and 4 are fully classified. Some relative SU(2,1)-character varieties of the quadruply punctured sphere are described and applied to the study of length 5 relations. △ Less

Submitted 27 October, 2020; v1 submitted 27 August, 2019; originally announced August 2019.

Comments: 31 pages, 11 figures

MSC Class: 57S25; 51M10; 30F60

Seidel's conjectures in hyperbolic 3-space

Authors: Omar Chavez Cussy, Carlos H. Grossi

Abstract: We prove, in the case of hyperbolic 3-space, a couple of conjectures raised by J. J. Seidel in "On the volume of a hyperbolic simplex", Stud. Sci. Math. Hung. 21, 243-249, 1986. These conjectures concern expressing the volume of an ideal hyperbolic tetrahedron as a monotonic function of algebraic maps. More precisely, Seidel's first conjecture states that the volume of an ideal tetrahedron in hype… ▽ More We prove, in the case of hyperbolic 3-space, a couple of conjectures raised by J. J. Seidel in "On the volume of a hyperbolic simplex", Stud. Sci. Math. Hung. 21, 243-249, 1986. These conjectures concern expressing the volume of an ideal hyperbolic tetrahedron as a monotonic function of algebraic maps. More precisely, Seidel's first conjecture states that the volume of an ideal tetrahedron in hyperbolic 3-space is determined by (the permanent and the determinant of) the doubly stochastic Gram matrix $G$ of its vertices; Seidel's fourth conjecture claims that the mentioned volume is a monotonic function of both the permanent and the determinant of $G$. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Comments: 22 pages, 4 figures

MSC Class: 51M10; 51M20; 51M25

Hyperbolic 2-spheres with cone singularities

Authors: Sasha Anan'in, Carlos H. Grossi, Jaejeong Lee, João dos Reis jr

Abstract: We study the space $C(a_0,a_1,\dots,a_n)$ of hyperbolic 2-spheres with cone points of prescribed apex curvatures $2a_0,2a_1,\dots,2a_n\in]0,2π[$ and some related spaces. For $n=3$, we get a detailed description of such spaces. The euclidean 2-spheres were considered by W. P. Thurston: for $n=4$, the corresponding spaces provide the famous 7 examples of nonarithmetic compact holomorphic 2-ball quot… ▽ More We study the space $C(a_0,a_1,\dots,a_n)$ of hyperbolic 2-spheres with cone points of prescribed apex curvatures $2a_0,2a_1,\dots,2a_n\in]0,2π[$ and some related spaces. For $n=3$, we get a detailed description of such spaces. The euclidean 2-spheres were considered by W. P. Thurston: for $n=4$, the corresponding spaces provide the famous 7 examples of nonarithmetic compact holomorphic 2-ball quotients previously constructed by Deligne-Mostow. △ Less

Submitted 26 March, 2020; v1 submitted 1 January, 2018; originally announced January 2018.

Comments: 21 pages

MSC Class: 30F60; 22E40; 20H10

Journal ref: Topology and its Applications, Volume 272, 1 March 2020, 107073

Poincaré's polyhedron theorem for cocompact groups in dimension 4

Authors: Sasha Anan'in, Carlos H. Grossi, Júlio C. C. da Silva

Abstract: We prove a version of Poincaré's polyhedron theorem whose requirements are as local as possible. New techniques such as the use of discrete groupoids of isometries are introduced. The theorem may have a wide range of applications and can be generalized to the case of higher dimension and other geometric structures. It is planned as a first step in a program of constructing compact $\mathbb C$-surf… ▽ More We prove a version of Poincaré's polyhedron theorem whose requirements are as local as possible. New techniques such as the use of discrete groupoids of isometries are introduced. The theorem may have a wide range of applications and can be generalized to the case of higher dimension and other geometric structures. It is planned as a first step in a program of constructing compact $\mathbb C$-surfaces of general type satisfying $c_1^2=3c_2$. △ Less

Submitted 25 October, 2013; v1 submitted 24 December, 2011; originally announced December 2011.

Comments: 15 pages, 1 figure, 9 references. Introduction revised. Example 3.16 added

MSC Class: 22E40 (Primary) 14J29; 20L05 (Secondary)

Journal ref: Moscow Math. J. 14, 4 (2014): 645-667

Basic coordinate-free non-Euclidean geometry

Authors: Sasha Anan'in, Carlos H. Grossi

Abstract: These lecture notes are based on [arXiv: math/0702714, 0907.4469, 0907.4470]. We introduce and study basic aspects of non-Euclidean geometries from a coordinate-free viewpoint. These lecture notes are based on [arXiv: math/0702714, 0907.4469, 0907.4470]. We introduce and study basic aspects of non-Euclidean geometries from a coordinate-free viewpoint. △ Less

Submitted 1 July, 2011; originally announced July 2011.

Comments: 37 pages,14 pictures

MSC Class: 53A35; 51M10

Differential geometry of grassmannians and Plucker map

Authors: Sasha Anan'in, Carlos H. Grossi

Abstract: Using the Plucker map between grassmannians, we study basic aspects of classic grassmannian geometries. For `hyperbolic' grassmannian geometries, we prove some facts (for instance, that the Plucker map is a minimal isometric embedding) that were previously known in the `elliptic' case. Using the Plucker map between grassmannians, we study basic aspects of classic grassmannian geometries. For `hyperbolic' grassmannian geometries, we prove some facts (for instance, that the Plucker map is a minimal isometric embedding) that were previously known in the `elliptic' case. △ Less

Submitted 22 February, 2010; v1 submitted 26 July, 2009; originally announced July 2009.

Comments: 12 pages. 2010 edition

MSC Class: 53A20 (Primary) 53A35; 51M10 (Secondary)

Journal ref: Central European Journal of Mathematics, Volume 10 (2012), Issue 3, pp. 873--884

Grassmannians and conformal structure on absolutes

Authors: Sasha Anan'in, Eduardo C. Bento Goncalves, Carlos H. Grossi

Abstract: We study grassmannians associated with a linear space with a nondegenerate hermitian form. The geometry of these grassmannians allows us to explain the relation between a (pseudo-)riemannian projective geometry and the conformal structure on its ideal boundary (absolute). Such relation encompasses, for instance, the usual conformal structure on the absolute of real hyperbolic space, the usual conf… ▽ More We study grassmannians associated with a linear space with a nondegenerate hermitian form. The geometry of these grassmannians allows us to explain the relation between a (pseudo-)riemannian projective geometry and the conformal structure on its ideal boundary (absolute). Such relation encompasses, for instance, the usual conformal structure on the absolute of real hyperbolic space, the usual conformal structure on the absolute of de Sitter space, the conformal contact structure on the absolute of complex hyperbolic space, and the causal structure on the absolute of anti-de Sitter space. △ Less

Submitted 24 January, 2020; v1 submitted 26 July, 2009; originally announced July 2009.

Comments: 8 pages. Dedicated to the memory of Waldyr Rodrigues Jr

MSC Class: 53A20 (Primary) 53A35; 51M10 (Secondary)

Journal ref: Adv. Appl. Clifford Algebras 29, 5 (2019)

Yet Another Poincare's Polyhedron Theorem

Authors: Sasha Anan'in, Carlos H. Grossi

Abstract: Poincaré's Polyhedron Theorem is a widely known valuable tool in constructing manifolds endowed with a prescribed geometric structure. It is one of the few criteria providing discreteness of groups of isometries. This work contains a version of Poincaré's Polyhedron Theorem that is applicable to constructing fibre bundles over surfaces and also suits geometries of nonconstant curvature. Most condi… ▽ More Poincaré's Polyhedron Theorem is a widely known valuable tool in constructing manifolds endowed with a prescribed geometric structure. It is one of the few criteria providing discreteness of groups of isometries. This work contains a version of Poincaré's Polyhedron Theorem that is applicable to constructing fibre bundles over surfaces and also suits geometries of nonconstant curvature. Most conditions of the theorem, being as local as possible, are easy to verify in practice. △ Less

Submitted 29 July, 2011; v1 submitted 22 December, 2008; originally announced December 2008.

Comments: 9 pages, 2 figures, 5 references. Final version

MSC Class: 51M10 (Primary) 22E40; 51H05 (Secondary)

Journal ref: Proceedings of the Edinburgh Mathematical Society, Volume 54 (2011), Issue 2, pp. 297--308

On the type of triangle groups

Authors: Carlos H. Grossi

Abstract: We prove a conjecture of R. Schwartz about the type of some complex hyperbolic triangle groups. We prove a conjecture of R. Schwartz about the type of some complex hyperbolic triangle groups. △ Less

Submitted 24 July, 2007; originally announced July 2007.

Comments: 10 pages, 3 figures

MSC Class: 53A35

Journal ref: Geometriae Dedicata (2007) 130 (1): 137-148

Coordinate-free classic geometries

Authors: Sasha Anan'in, Carlos H. Grossi

Abstract: This paper is devoted to a coordinate-free approach to several classic geometries such as hyperbolic (real, complex, quaternionic), elliptic (spherical, Fubini-Study), and lorentzian (de Sitter, anti de Sitter) ones. These geometries carry a certain simple structure that is in some sense stronger than the riemannian structure. Their basic geometrical objects have linear nature and provide natural… ▽ More This paper is devoted to a coordinate-free approach to several classic geometries such as hyperbolic (real, complex, quaternionic), elliptic (spherical, Fubini-Study), and lorentzian (de Sitter, anti de Sitter) ones. These geometries carry a certain simple structure that is in some sense stronger than the riemannian structure. Their basic geometrical objects have linear nature and provide natural compactifications of classic spaces. The usual riemannian concepts are easily derivable from the strong structure and thus gain their coordinate-free form. Many examples illustrate fruitful features of the approach. The framework introduced here has already been shown to be adequate for solving problems concerning particular classic spaces. △ Less

Submitted 26 July, 2011; v1 submitted 23 February, 2007; originally announced February 2007.

Comments: 20 pages, 2 pictures, 1 table, 32 references. Final version

MSC Class: 53A20 (Primary) 53A35; 51M10 (Secondary)

Journal ref: Moscow Mathematical Journal (2011) 11 (4): 633-655

Complex Hyperbolic Structures on Disc Bundles over Surfaces

Authors: Sasha Anan'in, Carlos H. Grossi, Nikolay Gusevskii

Abstract: We study complex hyperbolic disc bundles over closed orientable surfaces that arise from discrete and faithful representations H_n->PU(2,1), where H_n is the fundamental group of the orbifold S^2(2,...,2) and thus contains a surface group as a subgroup of index 2 or 4. The results obtained provide the first complex hyperbolic disc bundles M->Σ that: admit both real and complex hyperbolic structure… ▽ More We study complex hyperbolic disc bundles over closed orientable surfaces that arise from discrete and faithful representations H_n->PU(2,1), where H_n is the fundamental group of the orbifold S^2(2,...,2) and thus contains a surface group as a subgroup of index 2 or 4. The results obtained provide the first complex hyperbolic disc bundles M->Σ that: admit both real and complex hyperbolic structures; satisfy the equality 2(χ+e)=3τ; satisfy the inequality χ/2<e; and induce discrete and faithful representations π_1Σ->PU(2,1) with fractional Toledo invariant; where χ is the Euler characteristic of Σ, e denotes the Euler number of M, and τ stands for the Toledo invariant of M. To get a satisfactory explanation of the equality 2(χ+e)=3τ, we conjecture that there exists a holomorphic section in all our examples. In order to reduce the amount of calculations, we systematically explore coordinate-free methods. △ Less

Submitted 26 July, 2011; v1 submitted 30 November, 2005; originally announced November 2005.

Comments: 52 pages, 12 pictures, 10 tables, 20 references. Changes: final version

MSC Class: 57S30 (Primary) 30F35; 51M10; 57M50 (Secondary)

Journal ref: International Mathematics Research Notices (2011) 2011 (19): 4295-4375