Manifolds with fibered hyperbolic cusp metrics include hyperbolic manifolds with cusps and locally symmetric spaces of Q-rank one. We extend Vaillant's treatment of Dirac-type operators associated to these metrics by weaking the hypotheses on the boundary families through the use of Fredholm perturbations as in the family index theorem of Melrose and Piazza and by treating the index of families of such operators. We also extend the index theorem of Moroianu and Leichtnam-Mazzeo-Piazza to families of perturbed Dirac-type operators associated to fibered cusp metrics (sometimes known as fibered boundary metrics).
We extend the notion of what it means for a complete Ricci flow to have a given initial metric, and consider the resulting well-posedness issues that arise in the 2D case. On one hand we construct examples of nonuniqueness by showing that surfaces with cusps can evolve either by keeping the cusps or by contracting them. On the other hand, by adding a noncollapsedness assumption for the initial metric, we establish a uniqueness result.
We show that every finite volume hyperbolic manifold of dimension greater or equal to 3 is stable under rescaled Ricci flow, i.e. that every small perturbation of the hyperbolic metric flows back to the hyperbolic metric again. Note that we do not need to make any decay assumptions on this perturbation. It will turn out that the main difficulty in the proof comes from a weak stability of the cusps which has to do with infinitesimal cusp deformations. We will overcome this weak stability by using a new analytical method developed by Koch and Lamm.
An HCMU metric is a conformal metric which has a finite number of singularities on a compact Riemann surface and satisfies the equation of the extremal Kähler metric. In this paper, we give a necessary and sufficient condition for the existence of a kind of HCMU metrics which has both cusp singularities and conical singularities.
In this paper we study a special case of the completion of cusp Kähler-Einstein metric on the regular part of varieties by taking the continuity method proposed by La Nave and Tian. The differential geometric and algebro-geometric properties of the noncollapsing limit in the continuity method with cusp singularities will be investigated.
We consider an inverse problem associated with some 2-dimensional non-compact surfaces with conical singularities, cusps and regular ends. Our motivating example is a Riemann surface $\mathcal M = Γ\backslash{\bf H}^2$ associated with a Fuchsian group of the 1st kind $Γ$ containing parabolic elements. $\mathcal M$ is then non-compact, and has a finite number of cusps and elliptic singular points, which is regarded as a hyperbolic orbifold. We introduce a class of Riemannian surfaces with conical singularities on its finite part, having cusps and regular ends at infinity, whose metric is asympt…
In this paper, we prove an equality which involves Reidemeister torsion, complex volume, and Zograf infinite product for hyperbolic 3-manifolds with cusps.
We consider smooth 1-parameter families of plane curves tangent to a semicubic parabola, when the curvature radius of their curves at the tangency point vanishes at the cusp point. We find the $\A$-normal form of these families, their envelopes and local patterns near the cusp. We obtain a new codimension 2 singularity of envelopes (two transversal semicubic cusps), and we describe its perestroikas under generic small deformations.
We prove that a 3-dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by the metric induced on its boundary. Furthemore, any hyperbolic metric on the torus with cone singularities of positive curvature can be realized as the induced metric on the boundary of a convex polyhedral cusp. The proof uses the total scalar curvature functional on the space of ``cusps with particles'', which are hyperbolic cone-manifolds with the singular locus a union of half-lines. We prove, in addition, that convex polyhedral cusps with particles are rigid with respect to the induced m…
Motivated by classical theorems on minimal surface theory in compact hyperbolic three-manifolds, we investigate the questions of existence and deformations for least area minimal surfaces in complete noncompact hyperbolic three-manifold of finite volume. We prove any closed immersed incompressible surface can be deformed to a closed immersed least area surface within its homotopy class in any cusped hyperbolic three-manifold. Our techniques highlight how special structures of these cusped hyperbolic three-manifolds prevent any least area minimal surface going too deep into the cusped region.
We derive a sharp cusp count for finite volume complex hyperbolic surfaces which admit smooth toroidal compactifications. We use this result, and the techniques developed in [DiC12], to study the geometry of cusped complex hyperbolic surfaces and their compactifications.
For a Riemann surface with cusps we define a theta function using the eigenvalues of the Laplacian and the singularities of the scattering determinant. We provide its meromorphic continuation and discuss its singularities.
This article is the second in a series of two whose aim is to extend a recent result of Guillarmou-Lefeuvre [arXiv:1806.04218] on the local rigidity of the marked length spectrum from the case of compact negatively-curved Riemannian manifolds to the case of manifolds with hyperbolic cusps. We deal with the nonlinear version of the problem and prove that such manifolds are locally rigid for nonlinear perturbations of the metric that slightly decrease at infinity. Our proof relies on the linear theory addressed in [arXiv:1907.01809] and on a careful analytic study of the generalized X-ray transf…
As was pointed out by Nikulin [8] and Vinberg [10], a right-angled polyhedron of finite volume in hyperbolic n-space $\mathbb{H}^n$ has at least one cusp for $n\geq 5$. We obtain non-trivial lower bounds on the number of cusps of such polyhedra. For example, right-angled polyhedra of finite volume must have at least three cusps for $n=6$. Our theorem also says that the higher the dimension of a right-angled polyhedron becomes, the more cusps it must have.
The waist size of a cusp in an orientable hyperbolic 3-manifold is the length of the shortest nontrivial curve generated by a parabolic isometry in the maximal cusp boundary. Previously, it was shown that the smallest possible waist size, which is 1, is realized only by the cusp in the figure-eight knot complement. In this paper, it is proved that the next two smallest waist sizes are realized uniquely for the cusps in the $5_2$ knot complement and the manifold obtained by (2,1)-surgery on the Whitehead link. One application is an improvement on the universal upper bound for the length of an u…
We study how the spin structures on finite-volume hyperbolic n-manifolds restrict to cusps. When a cusp cross-section is a (n-1)-torus, there are essentially two possible behaviours: the spin structure is either bounding or Lie. We show that in every dimension n there are examples where at least one cusp is Lie, and in every dimension n <= 8 there are examples where all the cusps are bounding. By work of C. Bar, this implies that the spectrum of the Dirac operator is R in the first case, and discrete in the second. We therefore deduce that there are cusped hyperbolic manifolds whose spectrum o…
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of special values of Ruelle zeta functions as well as on recent work of Pere Menal-Ferrer and Joan Porti.
On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold. In a companion paper, this formula is used to derive exponential growth of torsion in cohomology of arithmetic groups.
In this paper we deepen the analysis of certain classes M_{g,k} of hyperbolic 3-manifolds that were introduced in a previous work by B. Martelli, C. Petronio and the author. Each element of M_{g,k} is an oriented complete finite-volume hyperbolic 3-manifold with compact connected geodesic boundary of genus g and k cusps. We study small deformations of the complete hyperbolic structure of manifolds in M_{g,k} via a close analysis of their geodesic triangulations. We prove that several elements in M_{g,k} admit non-homeomorphic hyperbolic Dehn fillings sharing the same volume, homology, cusp vol…
We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.
In this paper, we adopt combinatorial Ricci curvature flow methods to study the existence of cusped hyperbolic structure on 3-manifolds with torus boundary. For general pseudo 3-manifolds, we prove the long-time existence and the uniqueness for the extended Ricci flow for decorated hyperbolic polyhedral metrics. We prove that the extended Ricci flow converges to a decorated hyperbolic polyhedral metric if and only if there exists a decorated hyperbolic polyhedral metric of zero Ricci curvature. If it is the case, the flow converges exponentially fast. These results apply for cusped hyperbolic …
We prove that non-compact finite volume hyperbolic 3-manifolds that satisfy a mild cohomological condition (infinitesimal rigidity) admit a family of properly convex deformations of their complete hyperbolic structure where the ends become generalized cusps of type 1 or type 2. We also discuss methods for controlling which types of cusp occur. Using these methods we produce the first known example of a 1-cusped hyperbolic 3-manifold that admits a convex projective structure with a type 2 cusp. We also use these techniques to produce new 1-cusped manifolds that admit a convex projective structu…
We study the eta invariants of Dirac operators and the regularized determinants of Dirac Laplacians over hyperbolic manifolds with cusps. We follow Werner M"uller and use relative traces to define these spectral invariants. We show the regularity of eta and zeta functions at s=0. The Selberg trace formula and the detailed analysis of the unipotent terms give the relation between the eta invariant and the Selberg zeta function of odd type. This allows us to show the vanishing of the unipotent contribution. We show that the eta invariant and the Selberg zeta function of odd type satisfy certain …
We prove a bound relating the volume of a curve near a cusp in a hyperbolic manifold to its multiplicity at the cusp. The proof uses a hybrid technique employing both the geometry of the uniformizing group and the algebraic geometry of the toroidal compactification. There are a number of consequences: we show that for an $n$-dimensional toroidal compactification $\bar X$ with boundary $D$, $K_{\bar X}+(1-\frac{n+1}{2π}) D$ is nef, and in particular that $K_{\bar X}$ is ample for $n\geq 6$. By an independent algebraic argument, we prove that every hyperbolic manifold of dimension $n\geq 3$ is o…
This paper introduces pedal curves of spacelike frontals in the hyperbolic 2-space. We mainly investigate the singularities of these hyperbolic pedal curves of spacelike frontals for non-singular and singular dual curve germs. We then show that for non-singular dual curve germs, the singularities of a pedal curve are dependent on the singularities of the first hyperbolic Legendrian curvature germ and the location of the pedal point, while for singular dual curve germs, they depend upon the singularities of both hyperbolic Legendrian curvature germs and also the location of the pedal point. We …
For an odd-dimensional oriented hyperbolic manifold with cusps and strongly acyclic coefficient systems we define the Reidemeister torsion of the Borel-Serre compactification of the manifold using bases of cohomology classes defined via Eisenstein series by the method of Harder. In the main result of this paper we relate this combinatorial torsion to the regularized analytic torsion. Together with results on the asymptotic behaviour of the regularized analytic torsion, established previously, this should have applications to study the growth of torsion in the cohomology of arithmetic groups. O…
Recent work of Ballas, Cooper, and Leitner identifies $(n+1)$ types of $n$-dimensional convex projective cusps, one of which is the standard hyperbolic cusp. Work of Ballas-Marquis, and Ballas-Danciger-Lee give examples of these exotic (non-hyperbolic) type cusps in dimension $3$. Here an extension of the techniques of Ballas-Marquis shows the existence of all cusp types in all dimensions, except diagonalizable (type $n$).
We prove that a 3--dimensional hyperbolic cusp with convex polyhedral boundary is uniquely determined by its Gauss image. Furthermore, any spherical metric on the torus with cone singularities of negative curvature and all closed contractible geodesics of length greater than $2π$ is the metric of the Gauss image of some convex polyhedral cusp. This result is an analog of the Rivin-Hodgson theorem characterizing compact convex hyperbolic polyhedra in terms of their Gauss images. The proof uses a variational method. Namely, a cusp with a given Gauss image is identified with a critical point of a…
