Showing 1–50 of 56 results for author: Lafont, J

An explicit description of the Kähler-Einstein metrics of Guenancia-Hamenstädt

Authors: Jean-François Lafont, Barry Minemyer

Abstract: Fine and Premoselli (FP) constructed the first examples of manifolds that do not admit a locally symmetric metric but do admit a negatively curved Einstein metric. The manifolds here are hyperbolic branched covers like those used by Gromov and Thurston, and the construction of their model Einstein metric is a variation of the hyperbolic metric written in polar coordinates. Very recently, Guenancia… ▽ More Fine and Premoselli (FP) constructed the first examples of manifolds that do not admit a locally symmetric metric but do admit a negatively curved Einstein metric. The manifolds here are hyperbolic branched covers like those used by Gromov and Thurston, and the construction of their model Einstein metric is a variation of the hyperbolic metric written in polar coordinates. Very recently, Guenancia and Hamenstädt (GH) proved the existence of the first examples of manifolds that are not locally symmetric but admit a negatively curved Kähler-Einstein metric. The GH metrics are realized on complex hyperbolic branched covers constructed by Stover and Toledo. In this article we generalize the construction of FP to the complex hyperbolic setting and show that this yields a negatively curved Einstein metric that asymptotically approaches the metric of GH. △ Less

Submitted 1 May, 2025; originally announced May 2025.

MSC Class: Primary 53C25; 53C35; 51M15; Secondary 53C55; 53B20; 57R18

High dimensional hyperbolic Coxeter groups that virtually fiber

Authors: Jean-Francois Lafont, Barry Minemyer, Gangotryi Sorcar, Matthew Stover, Joseph Wells

Abstract: This paper provides an iterative procedure for constructing hyperbolic Coxeter groups that virtually fiber over $\mathbb{Z}$ that is flexible enough to yield infinitely many isomorphism classes in each virtual cohomological dimension (vcd) $n\geq 2$. Our procedure combines results of Jankiewicz, Norin, and Wise with a generalization of a construction due to Osajda involving a new simplicial thicke… ▽ More This paper provides an iterative procedure for constructing hyperbolic Coxeter groups that virtually fiber over $\mathbb{Z}$ that is flexible enough to yield infinitely many isomorphism classes in each virtual cohomological dimension (vcd) $n\geq 2$. Our procedure combines results of Jankiewicz, Norin, and Wise with a generalization of a construction due to Osajda involving a new simplicial thickening process. We also give a topological argument showing that the vcd of the right-angled Coxeter groups produced by our construction increases by exactly one with each iteration, guaranteeing that our process produces examples of every vcd. △ Less

Submitted 18 February, 2025; originally announced February 2025.

On signatures of the atoroidal bundles of Kent-Leininger

Authors: Jean-François Lafont, Nicholas Miller, Lorenzo Ruffoni

Abstract: We show that there are infinitely many homeomorphism types of atoroidal surface bundles over surfaces which have signature zero. We show that there are infinitely many homeomorphism types of atoroidal surface bundles over surfaces which have signature zero. △ Less

Submitted 23 October, 2024; originally announced October 2024.

Relative cubulation of relative strict hyperbolization

Authors: Daniel Groves, Jean-François Lafont, Jason Fox Manning, Lorenzo Ruffoni

Abstract: We prove that many relatively hyperbolic groups obtained by relative strict hyperbolization admit a cocompact action on a CAT(0) cubical complex. Under suitable assumptions on the peripheral subgroups, these groups are residually finite and even virtually special. We include some applications to the theory of manifolds, such as the construction of new non-positively curved Riemannian manifolds wit… ▽ More We prove that many relatively hyperbolic groups obtained by relative strict hyperbolization admit a cocompact action on a CAT(0) cubical complex. Under suitable assumptions on the peripheral subgroups, these groups are residually finite and even virtually special. We include some applications to the theory of manifolds, such as the construction of new non-positively curved Riemannian manifolds with residually finite fundamental group, and the existence of non-triangulable aspherical manifolds with virtually special fundamental group. △ Less

Submitted 2 April, 2025; v1 submitted 28 April, 2023; originally announced April 2023.

Comments: 29 pages, 5 figures. Main document by J.-F. Lafont and L. Ruffoni, appendix by D. Groves and J. F. Manning. Comments welcome! v2: revised final version to appear on the Journal of the London Mathematical Society

MSC Class: 20F67; 53C23; 20E26; 57Q15

Golden Ratio Base Expansions of the Logarithm and Inverse Tangent of Fibonacci and Lucas Numbers

Authors: Kunle Adegoke, Jaume Oliver Lafont

Abstract: Let $α=(1+\sqrt 5)/2$, the golden ratio, and $β=-1/α=(1 - \sqrt 5)/2$. Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, defined by $F_n=(α^n -β^n)/\sqrt 5$ and $L_n=α^n + β^n$, for all non-negative integers. We derive base~$α$ expansions of $\log F_n$, $\log L_n$, $\arctan\dfrac1{F_n}$ and $\arctan\dfrac1{L_n}$ for all positive integers $n$. Let $α=(1+\sqrt 5)/2$, the golden ratio, and $β=-1/α=(1 - \sqrt 5)/2$. Let $F_n$ and $L_n$ be the Fibonacci and Lucas numbers, defined by $F_n=(α^n -β^n)/\sqrt 5$ and $L_n=α^n + β^n$, for all non-negative integers. We derive base~$α$ expansions of $\log F_n$, $\log L_n$, $\arctan\dfrac1{F_n}$ and $\arctan\dfrac1{L_n}$ for all positive integers $n$. △ Less

Submitted 19 March, 2023; originally announced March 2023.

Comments: 18 pages, no figures or tables

MSC Class: 11Y60; 30B99

Special cubulation of strict hyperbolization

Authors: Jean-François Lafont, Lorenzo Ruffoni

Abstract: We prove that the Gromov hyperbolic groups obtained by the strict hyperbolization procedure of Charney and Davis are virtually compact special, hence linear and residually finite. Our strategy consists in constructing an action of a hyperbolized group on a certain dual CAT(0) cubical complex. As a result, all the common applications of strict hyperbolization are shown to provide manifolds with vir… ▽ More We prove that the Gromov hyperbolic groups obtained by the strict hyperbolization procedure of Charney and Davis are virtually compact special, hence linear and residually finite. Our strategy consists in constructing an action of a hyperbolized group on a certain dual CAT(0) cubical complex. As a result, all the common applications of strict hyperbolization are shown to provide manifolds with virtually compact special fundamental group. In particular, we obtain examples of closed negatively curved Riemannian manifolds whose fundamental groups are linear and virtually algebraically fiber. △ Less

Submitted 2 May, 2024; v1 submitted 7 June, 2022; originally announced June 2022.

Comments: 70 pages, 32 figures, comments are welcome. v2: Corollary 1.6 in v1 needed a relative version of our main theorem, so it has been moved to arXiv:2304.14946. v3: Theorem 1.2 has been improved and now works for any compact simplicial complex. Various minor edits to improve the exposition. Figure 20 is new. v4: minor edits. Final version to appear in Inventiones Mathematicae

MSC Class: 20F67; 53C23; 20E26; 57Q05

Virtually cyclic dimension for 3-manifold groups

Authors: Kyle Joecken, Jean-François Lafont, Luis Jorge Sánchez Saldaña

Abstract: Let G be the fundamental group of a connected, closed, orientable 3-manifold. We explicitly compute its virtually cyclic geometric dimension. Among the tools we use are the prime and JSJ decompositions of M, several push-out type constructions, as well as some Bredon cohomology computations. Let G be the fundamental group of a connected, closed, orientable 3-manifold. We explicitly compute its virtually cyclic geometric dimension. Among the tools we use are the prime and JSJ decompositions of M, several push-out type constructions, as well as some Bredon cohomology computations. △ Less

Submitted 9 April, 2019; originally announced April 2019.

Journal ref: Groups Geom. Dyn. 15 (2021), pgs. 577-606

Strong symbolic dynamics for geodesic flow on CAT(-1) spaces and other metric Anosov flows

Authors: David Constantine, Jean-François Lafont, Daniel J. Thompson

Abstract: We prove that the geodesic flow on a locally CAT(-1) metric space which is compact, or more generally convex cocompact with non-elementary fundamental group, can be coded by a suspension flow over an irreducible shift of finite type with Hölder roof function. This is achieved by showing that the geodesic flow is a metric Anosov flow, and obtaining Hölder regularity of return times for a special cl… ▽ More We prove that the geodesic flow on a locally CAT(-1) metric space which is compact, or more generally convex cocompact with non-elementary fundamental group, can be coded by a suspension flow over an irreducible shift of finite type with Hölder roof function. This is achieved by showing that the geodesic flow is a metric Anosov flow, and obtaining Hölder regularity of return times for a special class of geometrically constructed local cross-sections to the flow. We obtain a number of strong results on the dynamics of the flow with respect to equilibrium measures for Hölder potentials. In particular, we prove that the Bowen-Margulis measure is Bernoulli except for the exceptional case that all closed orbit periods are integer multiples of a common constant. We show that our techniques also extend to the geodesic flow associated to a projective Anosov representation, which verifies that the full power of symbolic dynamics is available in that setting. △ Less

Submitted 18 December, 2019; v1 submitted 13 August, 2018; originally announced August 2018.

Comments: v4: 28 pages, 4 figures. Final version, to appear in Journal de l'Ecole polytechnique

Journal ref: J. Éc. Polytech. Math. 7 (2020), pgs. 201-231

Steenrod problem and the domination relation

Authors: Jean-François Lafont, Christoforos Neofytidis

Abstract: We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod powers. We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod powers. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Comments: 9 pages

Journal ref: Topology Appl. 255 (2019), pgs. 32-40

Finiteness of Maximal Geodesic Submanifolds in Hyperbolic Hybrids

Authors: David Fisher, Jean-François Lafont, Nicholas Miller, Matthew Stover

Abstract: We show that large classes of non-arithmetic hyperbolic $n$-manifolds, including the hybrids introduced by Gromov and Piatetski-Shapiro and many of their generalizations, have only finitely many finite-volume immersed totally geodesic hypersurfaces. In higher codimension, we prove finiteness for geodesic submanifolds of dimension at least $2$ that are maximal, i.e., not properly contained in a pro… ▽ More We show that large classes of non-arithmetic hyperbolic $n$-manifolds, including the hybrids introduced by Gromov and Piatetski-Shapiro and many of their generalizations, have only finitely many finite-volume immersed totally geodesic hypersurfaces. In higher codimension, we prove finiteness for geodesic submanifolds of dimension at least $2$ that are maximal, i.e., not properly contained in a proper geodesic submanifold of the ambient $n$-manifold. The proof is a mix of structure theory for arithmetic groups, dynamics, and geometry in negative curvature. △ Less

Submitted 5 March, 2018; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: v2. Improved writing, improved Theorem 1.3, other results unchanged. 31 pages, 9 figures. v1. 28 pages, 9 figures

Journal ref: J. Eur. Math. Soc. (JEMS) 23 (2021), pgs. 3591-3623

Sets of degrees of maps between SU(2)-bundles over the 5-sphere

Authors: Jean-François Lafont, Christoforos Neofytidis

Abstract: We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each integer that occurs as a mapping degree. Added Erratum. After this manuscript wa… ▽ More We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each integer that occurs as a mapping degree. Added Erratum. After this manuscript was accepted for publication by Transformation Groups, Xueqi Wang pointed out a mistake in our paper. At the end of this arXiv version we add an erratum, where we correct the statement and the proof of Theorem 1.1. △ Less

Submitted 18 October, 2019; v1 submitted 28 October, 2017; originally announced October 2017.

Comments: 10 pages; v3: final version (to appear in Transformation Groups) with erratum (Section 6)

Journal ref: Transform. Groups 24 (2019), 1147--1155

Some Kähler structures on products of 2-spheres

Authors: Jean-François Lafont, Gangotryi Sorcar, Fangyang Zheng

Abstract: We consider a family of Kähler structures on products of 2-spheres, arising from complex Bott manifolds. These are obtained via iterated $\mathbb P^1$-bundle constructions, generalizing the classical Hirzebruch surfaces. We show that the resulting Kähler structures all have identical Chern classes. We construct Bott diagrams, which are rooted forests with an edge labelling by positive integers, an… ▽ More We consider a family of Kähler structures on products of 2-spheres, arising from complex Bott manifolds. These are obtained via iterated $\mathbb P^1$-bundle constructions, generalizing the classical Hirzebruch surfaces. We show that the resulting Kähler structures all have identical Chern classes. We construct Bott diagrams, which are rooted forests with an edge labelling by positive integers, and show that these classify these Kähler structures up to biholomorphism. △ Less

Submitted 26 August, 2017; originally announced August 2017.

Comments: 12 pages

MSC Class: 32Q15 (primary); 32L05; 32Q10; 53C55 (secondary)

Journal ref: L'Enseign. Math. 64 (2018), 127--142

Equivariant $K$-homology for hyperbolic reflection groups

Authors: Jean-François Lafont, Ivonne J. Ortiz, Alexander Rahm, Rubén J. Sánchez-García

Abstract: We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the group, via the Baum-Connes conjecture. We show that, for any such reflection group, the associated $K$-theory groups are torsion-free. As a result we can promote… ▽ More We compute the equivariant $K$-homology of the classifying space for proper actions, for compact 3-dimensional hyperbolic reflection groups. This coincides with the topological $K$-theory of the reduced $C^\ast$-algebra associated to the group, via the Baum-Connes conjecture. We show that, for any such reflection group, the associated $K$-theory groups are torsion-free. As a result we can promote previous rational computations to integral compu- tations. Our proof relies on a new efficient algebraic criterion for checking torsion-freeness of K-theory groups, which could be applied to many other classes of groups. △ Less

Submitted 3 April, 2018; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 29 pages (main text and bibliography) plus appendices (28 pages) Minor revisions

Journal ref: Quart. J. Math. 69 (2018), 1475--1505

Fat flats in rank one manifolds

Authors: D. Constantine, J. -F. Lafont, D. B. McReynolds, D. J. Thompson

Abstract: We study closed non-positively curved Riemannian manifolds $M$ which admit `fat $k$-flats': that is, the universal cover $\tilde M$ contains a positive radius neighborhood of a $k$-flat on which the sectional curvatures are identically zero. We investigate how the fat $k$-flats affect the cardinality of the collection of closed geodesics. Our first main result is to construct rank $1$ non-positive… ▽ More We study closed non-positively curved Riemannian manifolds $M$ which admit `fat $k$-flats': that is, the universal cover $\tilde M$ contains a positive radius neighborhood of a $k$-flat on which the sectional curvatures are identically zero. We investigate how the fat $k$-flats affect the cardinality of the collection of closed geodesics. Our first main result is to construct rank $1$ non-positively curved manifolds with a fat $1$-flat which corresponds to a twisted cylindrical neighborhood of a geodesic on $M$. As a result, $M$ contains an embedded closed geodesic with a flat neighborhood, but $M$ nevertheless has only countably many closed geodesics. Such metrics can be constructed on finite covers of arbitrary odd-dimensional finite volume hyperbolic manifolds. Our second main result is to prove a closing theorem for fat flats, which implies that a manifold $M$ with a fat $k$-flat contains an immersed, totally geodesic $k$-dimensional flat closed submanifold. This guarantees the existence of uncountably many closed geodesics when $k \geq 2$. Finally, we collect results on thermodynamic formalism for the class of manifolds considered in this paper. △ Less

Submitted 7 February, 2019; v1 submitted 3 April, 2017; originally announced April 2017.

Comments: v3: 22 pages, 1 figure. Fixed some typos. To appear in the Michigan Mathematical Journal

Journal ref: Michigan Math. J. 68 (2019), pgs. 251--275

Vanishing simplicial volume for certain affine manifolds

Authors: Michelle Bucher, Chris Connell, Jean-François Lafont

Abstract: We show that closed aspherical manifolds supporting an affine structure, whose holonomy map is injective and contains a pure translation, must have vanishing simplicial volume. This provides some further evidence for the veracity of the Auslander Conjecture. Along the way, we provide a simple cohomological criterion for aspherical manifolds with normal amenable subgroups of $π_1$ to have vanishing… ▽ More We show that closed aspherical manifolds supporting an affine structure, whose holonomy map is injective and contains a pure translation, must have vanishing simplicial volume. This provides some further evidence for the veracity of the Auslander Conjecture. Along the way, we provide a simple cohomological criterion for aspherical manifolds with normal amenable subgroups of $π_1$ to have vanishing simplicial volume. This answers a special case of a question due to Lück. △ Less

Submitted 3 October, 2016; originally announced October 2016.

MSC Class: 22E41; 53A15

Journal ref: Proc. Amer. Math. Soc. 146 (2018), pgs. 1287-1294

The weak specification property for geodesic flows on CAT(-1) spaces

Authors: David Constantine, Jean-François Lafont, Daniel J. Thompson

Abstract: We prove that the geodesic flow on a compact locally CAT(-1) space has the weak specification property, and give various applications. We show that every Hölder potential on the space of geodesics has a unique equilibrium state. We establish the equidistribution of weighted periodic orbits and the large deviations principle for all such measures. The thermodynamic results are proved for the class… ▽ More We prove that the geodesic flow on a compact locally CAT(-1) space has the weak specification property, and give various applications. We show that every Hölder potential on the space of geodesics has a unique equilibrium state. We establish the equidistribution of weighted periodic orbits and the large deviations principle for all such measures. The thermodynamic results are proved for the class of expansive flows with weak specification. △ Less

Submitted 17 May, 2019; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 30 pages, 2 figures. v5: minor corrections. To appear in Groups, Geometry and Dynamics

MSC Class: 37D40; 37D35; 51F99

Journal ref: Groups Geom. Dyn. 14 (2020), pgs. 297-336

A class of digit extraction BBP-type formulas in general binary bases

Authors: Kunle Adegoke, Jaume Oliver Lafont, Olawanle Layeni

Abstract: BBP-type formulas are usually discovered experimentally, one at a time and in specific bases, through computer searches. In this paper, however, we derive directly, without doing any searches, explicit digit extraction BBP-type formulas in general binary bases $b=2^{12p}$, for $p$ positive odd integers. As particular examples, new binary formulas are presented for $π\sqrt 3$, $π\sqrt 3\log 2$,… ▽ More BBP-type formulas are usually discovered experimentally, one at a time and in specific bases, through computer searches. In this paper, however, we derive directly, without doing any searches, explicit digit extraction BBP-type formulas in general binary bases $b=2^{12p}$, for $p$ positive odd integers. As particular examples, new binary formulas are presented for $π\sqrt 3$, $π\sqrt 3\log 2$, $\sqrt 3\;{\rm Cl}_2(π/3)$ and a couple of other polylogarithm constants. A variant of the formula for $π\sqrt 3\log 2$ derived in this paper has been known for over ten years but was hitherto unproved. Binary BBP-type formulas for the logarithms of an infinite set of primes and binary BBP-type representations for the arctangents of an infinite set of rational numbers are also presented. Finally, new binary BBP-type zero relations are established. △ Less

Submitted 23 March, 2016; originally announced March 2016.

Comments: arXiv admin note: text overlap with arXiv:1603.05810

MSC Class: 11Y60; 30B99

Journal ref: Notes on Number Theory and Discrete Mathematics (2011) 17 (4): 18-32

On the Hausdorff dimension of CAT($κ$) surfaces

Authors: David Constantine, Jean-Francois Lafont

Abstract: We prove that a closed surface with a CAT($κ$) metric has Hausdorff dimension = 2, and that there are uniform upper and lower bounds on the two-dimensional Hausdorff measure of small metric balls. We also discuss a connection between this uniformity condition and some results on the dynamics of the geodesic flow for such surfaces. Finally, we give a short proof of topological entropy rigidity for… ▽ More We prove that a closed surface with a CAT($κ$) metric has Hausdorff dimension = 2, and that there are uniform upper and lower bounds on the two-dimensional Hausdorff measure of small metric balls. We also discuss a connection between this uniformity condition and some results on the dynamics of the geodesic flow for such surfaces. Finally, we give a short proof of topological entropy rigidity for geodesic flow on certain CAT(-1) manifolds. △ Less

Submitted 1 March, 2016; originally announced March 2016.

Comments: 13 pages, 3 figures

MSC Class: 57M50; 28A78; 53C24

Journal ref: Anal. Geom. Metr. Spaces. 4 (2016), pgs. 266-277

Aspherical products which do not support Anosov diffeomorphisms

Authors: Andrey Gogolev, Jean-François Lafont

Abstract: We show that the product of infranilmanifolds with certain aspherical closed manifolds do not support Anosov diffeomorphisms. As a special case, we obtain that products of a nilmanifold and negatively curved manifolds of dimension at least 3 do not support Anosov diffeomorphisms. We show that the product of infranilmanifolds with certain aspherical closed manifolds do not support Anosov diffeomorphisms. As a special case, we obtain that products of a nilmanifold and negatively curved manifolds of dimension at least 3 do not support Anosov diffeomorphisms. △ Less

Submitted 18 April, 2016; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: 19 pages

Journal ref: Ann. Henri Poincaré. 17 (2016), pgs. 3005-3026

Combinatorial systolic inequalities

Authors: Ryan Kowalick, Jean-François Lafont, Barry Minemyer

Abstract: We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We… ▽ More We establish combinatorial versions of various classical systolic inequalities. For a smooth triangulation of a closed smooth manifold, the minimal number of edges in a homotopically non-trivial loop contained in the $1$-skeleton gives an integer called the combinatorial systole. The number of top-dimensional simplices in the triangulation gives another integer called the combinatorial volume. We show that a class of smooth manifolds satisfies a systolic inequality for all Riemannian metrics if and only if it satisfies a corresponding combinatorial systolic inequality for all smooth triangulations. Along the way, we show that any closed Riemannian manifold has a smooth triangulation which "remembers" the geometry of the Riemannian metric, and conversely, that every smooth triangulation gives rise to Riemannian metrics which encode the combinatorics of the triangulation. We give a few applications of these results. △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: 37 pages, 6 figures, comments and suggestions welcome

MSC Class: 51K10; 57Q15; 57Q65; 57R05; 52B70

Hyperbolic groups with boundary an n-dimensional Sierpinski space

Authors: Jean-François Lafont, Bena Tshishiku

Abstract: For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=π_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct, for each n>3, examples of aspherical manifolds with boundary, whose fundamental group G is hyperbolic, but with visual boundary not homeomorphic to an (n-2)-dimensi… ▽ More For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=π_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct, for each n>3, examples of aspherical manifolds with boundary, whose fundamental group G is hyperbolic, but with visual boundary not homeomorphic to an (n-2)-dimensional Sierpinski space. △ Less

Submitted 14 May, 2015; originally announced May 2015.

Comments: 11 pages

Journal ref: J. Topol. Anal. 11 (2019), pgs. 233-247

Barycentric straightening and bounded cohomology

Authors: Jean-François Lafont, Shi Wang

Abstract: We study the barycentric straightening of simplices in irreducible symmetric spaces of non-compact type. We show that, for an n-dimensional symmetric space of rank r>1, the p-Jacobian has uniformly bounded norm, as soon as p is at least n-r+2. As a consequence, for a non-compact, connected, semisimple real Lie group G, in degrees n-r+2 and higher, every cohomology class has a bounded representativ… ▽ More We study the barycentric straightening of simplices in irreducible symmetric spaces of non-compact type. We show that, for an n-dimensional symmetric space of rank r>1, the p-Jacobian has uniformly bounded norm, as soon as p is at least n-r+2. As a consequence, for a non-compact, connected, semisimple real Lie group G, in degrees n-r+2 and higher, every cohomology class has a bounded representative. This answers Dupont's problem in small codimension. We also give examples of symmetric spaces where the barycentrically straightened simplices of dimension n-r have unbounded volume, showing that the range in which we obtain boundedness of the p-Jacobian is very close to optimal. △ Less

Submitted 20 November, 2018; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: 22 pages. Final version to appear in J. Eur. Math. Soc

Journal ref: J. Eur. Math. Soc. 21 (2019), 381--403

Marked length rigidity for Fuchsian buildings

Authors: David Constantine, Jean-François Lafont

Abstract: We consider finite 2-complexes X that arise as quotients of Fuchsian buildings by subgroups of the combinatorial automorphism group, which we assume act freely and cocompactly. We show that locally CAT(-1) metrics on X which are piecewise hyperbolic and satisfy a natural non-singularity condition at vertices are marked length spectrum rigid within certain classes of negatively curved, piecewise Ri… ▽ More We consider finite 2-complexes X that arise as quotients of Fuchsian buildings by subgroups of the combinatorial automorphism group, which we assume act freely and cocompactly. We show that locally CAT(-1) metrics on X which are piecewise hyperbolic and satisfy a natural non-singularity condition at vertices are marked length spectrum rigid within certain classes of negatively curved, piecewise Riemannian metrics on X. As a key step in our proof, we show that the marked length spectrum function for such metrics determines the volume of X. △ Less

Submitted 19 December, 2017; v1 submitted 4 March, 2015; originally announced March 2015.

Comments: 29 pages; this replaces an earlier version in which there was an error

MSC Class: 51E24; 53C24; 37D40

Journal ref: Ergod. Th. Dynam. Sys. 39 (2019) 3262-3291

Quasicircle boundaries and exotic almost-isometries

Authors: Jean-Francois Lafont, Benjamin Schmidt, Wouter van Limbeek

Abstract: We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are classified, up to bi-Lipschitz equivalence, by their Hausdorff dimension. This resu… ▽ More We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are classified, up to bi-Lipschitz equivalence, by their Hausdorff dimension. This result applies in particular to boundaries at infinity of the universal cover of a locally CAT(-1) surface. We show that any two periodic CAT(-1) metrics on $\mathbb H^2$ can be scaled so as to be almost-isometric (though in general, no equivariant almost-isometry exists). We also construct, on each higher genus surface, $k$-dimensional families of equal area Riemannian metrics, with the property that their lifts to the universal covers are pairwise almost-isometric but are not isometric to each other. Finally, we exhibit a gap phenomenon for the optimal multiplicative constant for a quasi-isometry between periodic CAT(-1) metrics on $\mathbb H^2$. △ Less

Submitted 30 September, 2014; originally announced September 2014.

Comments: 16 pages

Journal ref: Ann. Inst. Fourier 67 (2017), pgs. 863-877

Rigidity of Almost-Isometric Universal Covers

Authors: Aditi Kar, Jean-Francois Lafont, Benjamin Schmidt

Abstract: Almost-isometries are quasi-isometries with multiplicative constant one. Lifting a pair of metrics on a compact space gives quasi-isometric metrics on the universal cover. Under some additional hypotheses on the metrics, we show that there is no almost-isometry between the universal covers. We show that Riemannian manifolds which are almost-isometric have the same volume growth entropy. We establi… ▽ More Almost-isometries are quasi-isometries with multiplicative constant one. Lifting a pair of metrics on a compact space gives quasi-isometric metrics on the universal cover. Under some additional hypotheses on the metrics, we show that there is no almost-isometry between the universal covers. We show that Riemannian manifolds which are almost-isometric have the same volume growth entropy. We establish various rigidity results as applications. △ Less

Submitted 10 September, 2014; originally announced September 2014.

Journal ref: Indiana Univ. Math. J. 65 (2016), pgs. 585-613

Surface subgroups for lattices in Fuchsian buildings

Authors: David Constantine, Jean-Francois Lafont, Izhar Oppenheim

Abstract: We consider finite 2-dimensional polyhedral complexes, equipped with piecewise non-positively curved, locally CAT(0) metrics. We give conditions on the complex X that ensure that its fundamental group contains a surface subgroup. Concrete examples covered by our methods include compact quotients of sufficiently thick Fuchsian buildings, where the lattice acts freely and the quotient has at least t… ▽ More We consider finite 2-dimensional polyhedral complexes, equipped with piecewise non-positively curved, locally CAT(0) metrics. We give conditions on the complex X that ensure that its fundamental group contains a surface subgroup. Concrete examples covered by our methods include compact quotients of sufficiently thick Fuchsian buildings, where the lattice acts freely and the quotient has at least two vertices. △ Less

Submitted 3 September, 2014; v1 submitted 15 July, 2014; originally announced July 2014.

Comments: This paper has been withdrawn by the authors due to an error in the proof of Fact 3

MSC Class: 20F67; 57M20; 57M07

Revisiting Farrell's nonfiniteness of Nil

Authors: Jean-François Lafont, Stratos Prassidis, Kun Wang

Abstract: We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that any finite group that occurs in such a Farrell Nil-group occurs with infinite multiplicity. If the original finite group is a direct summand, then the countably… ▽ More We study Farrell Nil-groups associated to a finite order automorphism of a ring $R$. We show that any such Farrell Nil-group is either trivial, or infinitely generated (as an abelian group). Building on this first result, we then show that any finite group that occurs in such a Farrell Nil-group occurs with infinite multiplicity. If the original finite group is a direct summand, then the countably infinite sum of the finite subgroup also appears as a direct summand. We use this to deduce a structure theorem for countable Farrell Nil-groups with finite exponent. Finally, as an application, we show that if $V$ is any virtually cyclic group, then the associated Farrell or Waldhausen Nil-groups can always be expressed as a countably infinite sum of copies of a finite group, provided they have finite exponent (which is always the case in dimension $0$). △ Less

Submitted 16 July, 2014; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: add some remarks, references, 17 pages

Journal ref: AKT 1 (2016) 209-225

Primitive geodesic lengths and (almost) arithmetic progressions

Authors: Jean-François Lafont, D. B. McReynolds

Abstract: In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed… ▽ More In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length spectrum. Concerning genuine arithmetic progressions, we prove that every non-compact, locally symmetric, arithmetic manifold has arbitrarily long arithmetic progressions in its primitive length spectrum. We end with a conjectural characterization of arithmeticity in terms of arithmetic progressions in the primitive length spectrum. We also suggest an approach to a well known spectral rigidity problem based on the scarcity of manifolds with arithmetic progressions. △ Less

Submitted 15 November, 2018; v1 submitted 29 January, 2014; originally announced January 2014.

Comments: v3: 23 pages. To appear in Publ. Mat

Journal ref: Publ. Mat. 63 (2019), 183--218

Aspherical manifolds that cannot be triangulated

Authors: Michael W. Davis, Jim Fowler, Jean-François Lafont

Abstract: Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that,… ▽ More Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that, indeed, there were no such homology 3-spheres and hence, non-triangulable manifolds exist in each dimension >4. It follows from work of Freedman in 1982 that there are 4-manifolds that cannot be triangulated. In 1991 Davis and Januszkiewicz applied a hyperbolization procedure to Freedman's 4-manifolds to get closed aspherical 4-manifolds that cannot be triangulated. In this paper we apply hyperbolization techniques to the Galewski-Stern manifolds to show that there exist closed aspherical n-manifolds that cannot be triangulated for each n> 5. The question remains open in dimension 5. △ Less

Submitted 18 April, 2013; v1 submitted 12 April, 2013; originally announced April 2013.

Comments: 9 pages

MSC Class: 57Q15; 57Q25; 20F65 (Primary); 57R58 (Secondary)

Journal ref: Algebr. Geom. Topol. 14 (2014) 795-803

Marked length rigidity for one dimensional spaces

Authors: David Constantine, Jean-François Lafont

Abstract: We prove that for compact, non-contractible, one dimensional geodesic spaces, a version of the marked length spectrum conjecture holds. For a compact one dimensional geodesic space X, we define a subspace Conv(X). When X is non-contractible, we show that X deformation retracts to Conv(X). If two such spaces X, Y have the same marked length spectrum, we prove that Conv(X) and Conv(Y) are isometric… ▽ More We prove that for compact, non-contractible, one dimensional geodesic spaces, a version of the marked length spectrum conjecture holds. For a compact one dimensional geodesic space X, we define a subspace Conv(X). When X is non-contractible, we show that X deformation retracts to Conv(X). If two such spaces X, Y have the same marked length spectrum, we prove that Conv(X) and Conv(Y) are isometric to each other. △ Less

Submitted 17 September, 2012; originally announced September 2012.

Comments: 39 pages, 6 figures. Corrected and substantially expanded version of arXiv:math/0301309

MSC Class: 51F99; 53C24

Journal ref: J. Topol. Anal. 11 (2019), pgs. 585-621

Rational equivariant K-homology of low dimensional groups

Authors: Jean-François Lafont, Ivonne J. Ortiz, Rubén J. Sánchez-García

Abstract: We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of… ▽ More We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of G. We illustrate our algorithm on some concrete examples. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 32 pages, 5 figures

Journal ref: Clay Math. Proceedings 16 (2012), pgs. 131-164

Isomorphism versus commensurability for a class of finitely presented groups

Authors: Goulnara Arzhantseva, Jean-Francois Lafont, Ashot Minasyan

Abstract: We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable. These are first examples of such a contrastive complexity behaviour with respect to the isomorphism p… ▽ More We construct a class of finitely presented groups where the isomorphism problem is solvable but the commensurability problem is unsolvable. Conversely, we construct a class of finitely presented groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable. These are first examples of such a contrastive complexity behaviour with respect to the isomorphism problem. △ Less

Submitted 10 July, 2012; v1 submitted 10 September, 2011; originally announced September 2011.

Comments: v. 2: 15 pages, a new section (5) has been added

MSC Class: 20F10 (Primary) 20F69; 03D40; 20F65 (Secondary)

Journal ref: J. Group Theory 17 (2014), pgs. 361-378

Rigidity of high dimensional graph manifolds

Authors: Roberto Frigerio, Jean-Francois Lafont, Alessandro Sisto

Abstract: We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic manifold with toric cusps. The various pieces are attached together via affine maps of the boundary tori. We require all the hyperbolic factors in the pieces to have… ▽ More We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic manifold with toric cusps. The various pieces are attached together via affine maps of the boundary tori. We require all the hyperbolic factors in the pieces to have dimension at least 3. Our main goal is to study this class of graph manifolds from the viewpoint of rigidity theory. We show that, in high dimensions, the Borel conjecture holds for our graph manifolds. We also show that smooth rigidity holds within the class: two graph manifolds are homotopy equivalent if and only if they are diffeomorphic. We introduce the notion of irreducible graph manifolds, which form a subclass which has better coarse geometric properties. We establish some structure theory for finitely generated groups which are quasi-isometric to the fundamental group of an irreducible graph manifold: any such group has a graph of groups splitting with strong constraints on the edge and vertex groups. Finally, we prove that in every dimension >3 there exist examples of irreducible graph manifolds which do not support any locally CAT(0) metric. △ Less

Submitted 21 December, 2013; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 191 pages; 3 figures. When possible, we generalized our statements to the context of fundamental groups of graphs of groups. We also added new results for special classes of higher dimensional graph manifolds

MSC Class: 53C24; 20F65 (primary); 53C23; 20E08; 20F67; 20F69; 19D35 (secondary)

Journal ref: Asterisque Vol. 372 (2015)

4-dimensional locally CAT(0)-manifolds with no Riemannian smoothings

Authors: M. Davis, T. Januszkiewicz, J. -F. Lafont

Abstract: We construct examples of smooth 4-dimensional manifolds M supporting a locally CAT(0)-metric, whose universal cover X satisfy Hruska's isolated flats condition, and contain 2-dimensional flats F with the property that the boundary at infinity of F defines a nontrivial knot in the boundary at infinity of X. As a consequence, we obtain that the fundamental group of M cannot be isomorphic to the fu… ▽ More We construct examples of smooth 4-dimensional manifolds M supporting a locally CAT(0)-metric, whose universal cover X satisfy Hruska's isolated flats condition, and contain 2-dimensional flats F with the property that the boundary at infinity of F defines a nontrivial knot in the boundary at infinity of X. As a consequence, we obtain that the fundamental group of M cannot be isomorphic to the fundamental group of any Riemannian manifold of nonpositive sectional curvature. In particular, M is a locally CAT(0)-manifold which does not support any Riemannian metric of nonpositive sectional curvature. △ Less

Submitted 23 February, 2010; v1 submitted 22 February, 2010; originally announced February 2010.

Comments: 20 pages, 3 figures

Journal ref: Duke Math. J. 161, no. 1 (2012), 1-28

Large scale detection of half-flats in CAT(0)-spaces

Authors: S. Francaviglia, J. -F. Lafont

Abstract: For a k-flat F inside a locally compact CAT(0)-space X, we identify various conditions that ensure that F bounds a (k+1)-dimensional half flat in X. Our conditions are formulated in terms of the ultralimit of X. As applications, we obtain (1) constraints on the behavior of quasi-isometries between tocally compact CAT(0)-spaces, (2) constraints on the possible non-positively curved Riemannian met… ▽ More For a k-flat F inside a locally compact CAT(0)-space X, we identify various conditions that ensure that F bounds a (k+1)-dimensional half flat in X. Our conditions are formulated in terms of the ultralimit of X. As applications, we obtain (1) constraints on the behavior of quasi-isometries between tocally compact CAT(0)-spaces, (2) constraints on the possible non-positively curved Riemannian metrics supported by certain manifolds, and (3) a correspondence between metric splittings of a complete, simply connected, non-positively curved Riemannian manifold and the metric splittings of its asymptotic cones. Furthermore, combining our results with the Ballmann, Burns-Spatzier rigidity theorem and the classical Mostow rigidity theorem, we also obtain (4) a new proof of Gromov's rigidity theorem for higher rank locally symmetric spaces. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 21 pages. This article is a substantially improved version of our earlier preprint arXiv:0801.3636. It features more general results, with shorter, cleaner proofs. Applications remain the same

Journal ref: Indiana Univ. Math. J. 59 (2010), pgs. 395-415

Lower algebraic K-theory of certain reflection groups

Authors: J. -F. Lafont, B. A. Magurn, I. J. Ortiz

Abstract: For a finite volume geodesic polyhedron P in hyperbolic 3-space, with the property that all interior angles between incident faces are integral submultiples of Pi, there is a naturally associated Coxeter group generated by reflections in the faces. Furthermore, this Coxeter group is a lattice inside the isometry group of hyperbolic 3-space, with fundamental domain the original polyhedron P. In t… ▽ More For a finite volume geodesic polyhedron P in hyperbolic 3-space, with the property that all interior angles between incident faces are integral submultiples of Pi, there is a naturally associated Coxeter group generated by reflections in the faces. Furthermore, this Coxeter group is a lattice inside the isometry group of hyperbolic 3-space, with fundamental domain the original polyhedron P. In this paper, we provide a procedure for computing the lower algebraic K-theory of the integral group ring of such Coxeter lattices in terms of the geometry of the polyhedron P. As an ingredient in the computation, we explicitly calculate some of the lower K-groups of the dihedral groups and the product of dihedral groups with the cyclic group of order two. △ Less

Submitted 31 March, 2009; originally announced April 2009.

Comments: 35 pages, 2 figures

Journal ref: Math. Proc. Cambridge Philos. Soc. 148 (2010), pgs. 193-226

A note on strong Jordan separation

Authors: J. -F. Lafont

Abstract: We provide a strengthening of Jordan separation, to the setting of maps from a compact topological space X into a sphere, where the source space X is not necessarily a codimension one sphere, and the map is not necessarily injective. We provide a strengthening of Jordan separation, to the setting of maps from a compact topological space X into a sphere, where the source space X is not necessarily a codimension one sphere, and the map is not necessarily injective. △ Less

Submitted 31 July, 2008; originally announced July 2008.

Comments: 8 pages

Journal ref: Publ. Mat. 53 (2009), pgs. 515-525

Asymptotic cones, bi-Lipschitz ultraflats, and the geometric rank of geodesics

Authors: S. Francaviglia, J. -F. Lafont

Abstract: Given a geodesic inside a simply-connected, complete, non-positively curved Riemannian (NPCR) manifold M, we get an associated geodesic inside the asymptotic cone Cone(M). Under mild hypotheses, we show that if the latter is contained inside a bi-Lipschitz flat, then the original geodesic supports a non-trivial, orthogonal, parallel Jacobi field. As applications we obtain (1) constraints on the… ▽ More Given a geodesic inside a simply-connected, complete, non-positively curved Riemannian (NPCR) manifold M, we get an associated geodesic inside the asymptotic cone Cone(M). Under mild hypotheses, we show that if the latter is contained inside a bi-Lipschitz flat, then the original geodesic supports a non-trivial, orthogonal, parallel Jacobi field. As applications we obtain (1) constraints on the behavior of quasi-isometries between complete, simply connected, NPCR manifolds, and (2) constraints on the NPCR metrics supported by certain manifolds, and (3) a correspondence between metric splittings of complete, simply connected NPCR manifolds, and metric splittings of its asymptotic cones. Furthermore, combining our results with the Ballmann-Burns-Spatzier rigidity theorem and the classic Mostow rigidity, we also obtain (4) a new proof of Gromov's rigidity theorem for higher rank locally symmetric spaces. △ Less

Submitted 24 January, 2008; v1 submitted 23 January, 2008; originally announced January 2008.

Comments: 35 pages, 7 figures; modified file to orient graphics correctly

Splitting formulas for certain Waldhausen Nil-groups

Authors: J. -F. Lafont, I. J. Ortiz

Abstract: For a group G that splits as an amalgamation of A and B over a common subgroup C, there is an associated Waldhausen Nil-group, measuring the "failure" of Mayer-Vietoris for algebraic K-theory. Assume that (1) the amalgamation is acylindrical, and (2) the groups A,B,G satisfy the Farrell-Jones isomorphism conjecture. Then we show that the Waldhausen Nil-group splits as a direct sum of Nil-groups… ▽ More For a group G that splits as an amalgamation of A and B over a common subgroup C, there is an associated Waldhausen Nil-group, measuring the "failure" of Mayer-Vietoris for algebraic K-theory. Assume that (1) the amalgamation is acylindrical, and (2) the groups A,B,G satisfy the Farrell-Jones isomorphism conjecture. Then we show that the Waldhausen Nil-group splits as a direct sum of Nil-groups associated to certain (explicitly describable) infinite virtually cyclic subgroups of G. We note that a special case of an acylindrical amalgamation includes any amalgamation over a finite group C. △ Less

Submitted 15 November, 2007; originally announced November 2007.

Comments: 12 pages

Journal ref: J. London Math. Soc. 79 (2009), pgs. 309-322

Algebraic K-theory of hyperbolic 3-simplex reflection groups

Authors: J. -F. Lafont, I. J. Ortiz

Abstract: A hyperbolic 3-simplex reflection group is a Coxeter group arising as a lattice in the isometry group of hyperbolic 3-space, with fundamental domain a geodesic simplex (possibly with some ideal vertices). The classification of these groups is known, and there are exactly 9 cocompact examples, and 23 non-cocompact examples. We provide a complete computation of the lower algebraic K-theory of the… ▽ More A hyperbolic 3-simplex reflection group is a Coxeter group arising as a lattice in the isometry group of hyperbolic 3-space, with fundamental domain a geodesic simplex (possibly with some ideal vertices). The classification of these groups is known, and there are exactly 9 cocompact examples, and 23 non-cocompact examples. We provide a complete computation of the lower algebraic K-theory of the integral group ring of all the hyperbolic 3-simplex reflection groups. △ Less

Submitted 6 May, 2007; originally announced May 2007.

Comments: 33 pages, 2 figures, 7 tables

Journal ref: Comment. Math. Helv. 84 (2009), pgs. 297-337

Relating the Farrell Nil-groups to the Waldhausen Nil-groups

Authors: J. -F. Lafont, I. J. Ortiz

Abstract: We prove that the Waldhausen Nil-group associated to a virtually cyclic groups that surjects onto the infinite dihedral group vanishes if and only if the corresponding Farrell Nil-group associated to the canonical index two subgroup is trivial. The proof uses the transfer map to establish one direction, and uses controlled pseudo-isotopy techniques of Farrell-Jones to establish the reverse impli… ▽ More We prove that the Waldhausen Nil-group associated to a virtually cyclic groups that surjects onto the infinite dihedral group vanishes if and only if the corresponding Farrell Nil-group associated to the canonical index two subgroup is trivial. The proof uses the transfer map to establish one direction, and uses controlled pseudo-isotopy techniques of Farrell-Jones to establish the reverse implication. △ Less

Submitted 25 September, 2006; originally announced September 2006.

Comments: 10 pages

Journal ref: Forum Math. 20 (2008), pgs. 445-455

Blocking light in compact Riemannian manifolds

Authors: J. -F. Lafont, B. Schmidt

Abstract: We study compact Riemannian manifolds for which the light between any pair of points is blocked by finitely many point shades. Compact flat Riemannian manifolds are known to have this finite blocking property. We conjecture that amongst compact Riemannian manifolds this finite blocking property characterizes the flat metrics. Using entropy considerations, we verify this conjecture amongst metric… ▽ More We study compact Riemannian manifolds for which the light between any pair of points is blocked by finitely many point shades. Compact flat Riemannian manifolds are known to have this finite blocking property. We conjecture that amongst compact Riemannian manifolds this finite blocking property characterizes the flat metrics. Using entropy considerations, we verify this conjecture amongst metrics with nonpositive sectional curvatures. Using the same approach, K. Burns and E. Gutkin have independently obtained this result. Additionally, we show that compact quotients of Euclidean buildings have the finite blocking property. On the positive curvature side, we conjecture that compact Riemannian manifolds with the same blocking properties as compact rank one symmetric spaces are necessarily isometric to a compact rank one symmetric space. We include some results providing evidence for this conjecture. △ Less

Submitted 30 July, 2006; originally announced July 2006.

Comments: 19 pages

Journal ref: Geom. Topol. 11 (2007) 867-887

On submanifolds in locally symmetric spaces of noncompact type

Authors: Jean-Francois Lafont, Benjamin Schmidt

Abstract: Given a connected, compact, totally geodesic submanifold Y^m of noncompact type inside a compact locally symmetric space of noncompact type X^n, we provide a sufficient condition that ensures that [Y^m] is nonzero in H_m(X^n; R); in low dimensions, our condition is also necessary. We provide conditions under which there exist a tangential map of pairs from a finite cover (X-bar,Y-bar) to the non… ▽ More Given a connected, compact, totally geodesic submanifold Y^m of noncompact type inside a compact locally symmetric space of noncompact type X^n, we provide a sufficient condition that ensures that [Y^m] is nonzero in H_m(X^n; R); in low dimensions, our condition is also necessary. We provide conditions under which there exist a tangential map of pairs from a finite cover (X-bar,Y-bar) to the nonnegatively curved duals (X_u,Y_u). △ Less

Submitted 29 July, 2009; v1 submitted 10 July, 2006; originally announced July 2006.

Comments: This is the version published by Algebraic & Geometric Topology on 15 December 2006

MSC Class: 53C35; 55R37; 57R42; 57R45; 57T15

Journal ref: Algebr. Geom. Topol. 6 (2006) 2455-2472

A boundary version of Cartan-Hadamard and applications to rigidity

Authors: J. -F. Lafont

Abstract: In this paper, we prove a version of the classical Cartan-Hadamard theorem for negatively curved manifolds, of dimension $n\neq 5$, with non-empty totally geodesic boundary. More precisely, if $M_1^n,M_2^n$ are any two such manifolds, we show that (1) $\partial ^\infty \tilde M_1^n$ is homeomorphic to $\partial ^\infty \tilde M_2^n$, and (2) $\tilde M_1^n$ is homeomorphic to $\tilde M_2^n$. As a… ▽ More In this paper, we prove a version of the classical Cartan-Hadamard theorem for negatively curved manifolds, of dimension $n\neq 5$, with non-empty totally geodesic boundary. More precisely, if $M_1^n,M_2^n$ are any two such manifolds, we show that (1) $\partial ^\infty \tilde M_1^n$ is homeomorphic to $\partial ^\infty \tilde M_2^n$, and (2) $\tilde M_1^n$ is homeomorphic to $\tilde M_2^n$. As a sample application, we show that simple, thick, negatively curved P-manifolds of dimension $\geq 6$ are topologically rigid. We include some straightforward consequences of topological rigidity (diagram rigidity, weak co-Hopf property, and Nielson realization problem). △ Less

Submitted 24 June, 2006; originally announced June 2006.

Comments: 16 pages

Journal ref: J. Topol. Anal. 1 (2009), pgs. 431-459

Relative hyperbolicity, classifying spaces, and lower algebraic K-theory

Authors: J. -F. Lafont, I. J. Ortiz

Abstract: For $Γ$ a relatively hyperbolic group, we construct a model for the universal space among $Γ$-spaces with isotropy on the family VC of virtually cyclic subgroups of $Γ$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^n)$. We use the information we obtain to explicitly compute the lower algebrai… ▽ More For $Γ$ a relatively hyperbolic group, we construct a model for the universal space among $Γ$-spaces with isotropy on the family VC of virtually cyclic subgroups of $Γ$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^n)$. We use the information we obtain to explicitly compute the lower algebraic K-theory of the Coxeter group $\gt$ (a non-uniform lattice in $O^+(3,1)$). Part of this computation involves calculating certain Waldhausen Nil-groups for $\mathbb Z[D_2]$, $\mathbb Z[D_3]$. △ Less

Submitted 19 June, 2006; originally announced June 2006.

Comments: 24 pages, some commutative diagrams

Journal ref: Topology 46 (2007), pgs. 527-553

Rigidity of hyperbolic P-manifolds: a survey

Authors: J. -F. Lafont

Abstract: In this survey paper, we outline the proofs of the rigidity results for simple, thick, hyperbolic P-manifolds found in our three earlier papers math.GR/0506518, math.GT/0410476, and math.GR/0409586. We discuss how the arguments change in the two, three, and higher dimensional settings. This paper was written for the 22nd Annual Workshop in Geometric Topology (Colorado Springs, June 2005). In this survey paper, we outline the proofs of the rigidity results for simple, thick, hyperbolic P-manifolds found in our three earlier papers math.GR/0506518, math.GT/0410476, and math.GR/0409586. We discuss how the arguments change in the two, three, and higher dimensional settings. This paper was written for the 22nd Annual Workshop in Geometric Topology (Colorado Springs, June 2005). △ Less

Submitted 12 October, 2005; originally announced October 2005.

Comments: 11 pages, written for the 22nd Annual Workshop in Geometric Topology

Journal ref: Geom. Dedicata 124 (2007), pgs. 143-152

Diagram rigidity for geometric amalgamations of free groups

Authors: J. -F. Lafont

Abstract: We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for certain amalgamations of free groups: the direct limits of two such diagrams are isomorphic if and only if there is an isomorphism between the respective diagrams… ▽ More We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for certain amalgamations of free groups: the direct limits of two such diagrams are isomorphic if and only if there is an isomorphism between the respective diagrams. △ Less

Submitted 24 June, 2005; originally announced June 2005.

Comments: 16 pages

Journal ref: J. Pure Appl. Algebra 209 (2007), pgs. 771-780

Simplicial volume of closed locally symmetric spaces of non-compact type

Authors: J. -F. Lafont, B. Schmidt

Abstract: We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow from positivity of the simplicial volume. We show that compact, locally symmetric spaces of non-compact type have positive simplicial volume. This gives a positive answer to a question that was first raised by Gromov in 1982. We provide a summary of results that are known to follow from positivity of the simplicial volume. △ Less

Submitted 26 April, 2005; v1 submitted 18 April, 2005; originally announced April 2005.

Comments: 15 pages; minor typos corrected, typesetting changes, some references added

Journal ref: Acta Math. 197 (2006), pgs. 129-143

Roundness properties of groups

Authors: J. -F. Lafont, S. Prassidis

Abstract: Roundness of metric spaces was introduced by Per Enflo as a tool to study uniform structures of linear topological spaces. The present paper investigates geometric and topological properties detected by the roundness of general metric spaces. In particular, we show that geodesic spaces of roundness 2 are contractible, and that a compact Riemannian manifold with roundness $>1$ must be simply conn… ▽ More Roundness of metric spaces was introduced by Per Enflo as a tool to study uniform structures of linear topological spaces. The present paper investigates geometric and topological properties detected by the roundness of general metric spaces. In particular, we show that geodesic spaces of roundness 2 are contractible, and that a compact Riemannian manifold with roundness $>1$ must be simply connected. We then focus our investigation on Cayley graphs of finitely generated groups. One of our main results is that every Cayley graph of a free abelian group on $\geq 2$ generators has roundness $=1$. We show that if a group has no Cayley graph of roundness $=1$, then it must be a torsion group with every element of order $2,3,5$, or 7. △ Less

Submitted 10 December, 2004; originally announced December 2004.

Comments: 22 pages, 2 figures

Journal ref: Geom. Dedicata 117 (2006), pgs. 137-160

Strong Jordan separation and applications to rigidity

Authors: J. -F. Lafont

Abstract: We prove that simple, thick hyperbolic P-manifolds of dimension >2 exhibit Mostow rigidity. We also prove a quasi-isometry rigidity result for the fundamental groups of simple, thick hyperbolic P-manifolds of dimension >2. The key tool in the proofs of these rigidity results is a strong form of the Jordan separation theorem, for maps from S^n to S^{n+1} which are not necessarily injective. We prove that simple, thick hyperbolic P-manifolds of dimension >2 exhibit Mostow rigidity. We also prove a quasi-isometry rigidity result for the fundamental groups of simple, thick hyperbolic P-manifolds of dimension >2. The key tool in the proofs of these rigidity results is a strong form of the Jordan separation theorem, for maps from S^n to S^{n+1} which are not necessarily injective. △ Less

Submitted 13 June, 2005; v1 submitted 21 October, 2004; originally announced October 2004.

Comments: 25 pages; shorter proofs of Lemmas 2.4, 2.5, minor typos corrected, added references

Journal ref: J. London Math. Soc. 73 (2006), pgs. 681-700