arXiv subjects
Publications and source records attributed to Carlos H. Grossi.
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.
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.
Information geometry promotes an investigation of the geometric structure of statistical manifolds, providing a series of elucidations in various areas of scientific knowledge. In the physical sciences, especially in quantum theory, this geometric method has an incredible parallel with the distinguishability of states, an ability of great value for determining the effectiveness in implementing physical processes. This gives us the context for this work. Here we will approach a problem of uniparametric statistical inference from an information-geometric perspective. We will obtain the generalised Bhattacharyya higher-order corrections for the Cramér-Rao bound, where the statistics is given by a mixed quantum state. Using an unbiased estimator $T$, canonically conjugated to the Hamiltonian $H$ that generates the dynamics, we find these corrections independent of the specific choice of estimator. This procedure is performed using information-geometric techniques, establishing connections with corrections to the pure states case.
The classifying space of inertial reference frames in special relativity is naturally hyperbolic. There is a remarkable interplay between central elements of hyperbolic geometry and those of special relativity -- which, to a certain extent, have already been observed in the past -- that we present and further discuss in the paper. We aim at a geometrization of special relativity at the level of kinematic space by giving to physical concepts/phenomena purely geometric definitions/descriptions. In this way, the differences between special relativity and classical mechanics can be seen as a manifestation of the distinct geometric natures of their kinematic spaces.
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 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.
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.
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$.
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$.
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.
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.
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 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.
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.
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.
We prove a conjecture of R. Schwartz about the type of some complex hyperbolic triangle groups.