Showing 1–27 of 27 results for author: Chatterji, I

Distortion in graphs of groups and Rapid Decay classification of 3-manifold groups

Authors: Indira Chatterji, François Gautero

Abstract: The fundamental group of a closed irreducible 3-dimensional manifold has the Rapid Decay property if and only if it is not virtually Sol. This is proved by studying distortion of length functions in graphs of groups, and the stability of the Rapid Decay property in polynomially distorted graphs of groups. The fundamental group of a closed irreducible 3-dimensional manifold has the Rapid Decay property if and only if it is not virtually Sol. This is proved by studying distortion of length functions in graphs of groups, and the stability of the Rapid Decay property in polynomially distorted graphs of groups. △ Less

Submitted 10 June, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 28 pages, 3 figures. Minor modifications: typos, additional references, acknowledgements. To be published in Journal of Noncommutative Geometry

MSC Class: 20F65; 20F67; 20F38

On the Idempotent Conjecture for Sidki Doubles

Authors: Indira Chatterji, Guido Mislin

Abstract: Let $G$ be a group and $X(G)$ its Sidki Double. The idempotent conjecture says that there should be no non-trivial idempotent in the complex group ring of a torsion-free group. We investigate this conjecture for the Sidki double of a torsion-free group, and obtain a partial result. Let $G$ be a group and $X(G)$ its Sidki Double. The idempotent conjecture says that there should be no non-trivial idempotent in the complex group ring of a torsion-free group. We investigate this conjecture for the Sidki double of a torsion-free group, and obtain a partial result. △ Less

Submitted 18 September, 2023; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 16 pages

Horospherical random graphs

Authors: Indira Chatterji, Austin Lawson

Abstract: Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as w… ▽ More Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as well as highly clustered ones. On those graphs, we study the speed at which random walks spread in the graph, and visit all vertices. As an illustration, we build a model for mainland France and study the spread of random walks under several types of lockdown. Our experiments show that completely closing medium and long distance travel to slow down the spread of a random walk is more efficient than than local restrictions. △ Less

Submitted 28 December, 2021; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: 12 pages, 5 figures

The first $\ell^2$-Betti number and groups acting on trees

Authors: Indira Chatterji, Sam Hughes, Peter Kropholler

Abstract: We generalise results of Thomas, Allcock, Thom-Petersen, and Kar-Niblo to the first $\ell^2$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs. We generalise results of Thomas, Allcock, Thom-Petersen, and Kar-Niblo to the first $\ell^2$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs. △ Less

Submitted 24 December, 2020; originally announced December 2020.

Comments: 6 pages

MSC Class: 20J05; 20E08; 20F05

Journal ref: Proc. Edinb. Math. Soc. (2) 64 (2021), no. 4, 916-923

Tangent bundles of hyperbolic spaces and proper affine actions on $L^p$ spaces

Authors: Indira Chatterji, François Dahmani, Thomas Haettel, Jean Lécureux

Abstract: We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. △ Less

Submitted 15 June, 2020; v1 submitted 22 January, 2019; originally announced January 2019.

Proper actions on $\ell^p$ spaces for relatively hyperbolic groups

Authors: Indira Chatterji, François Dahmani

Abstract: We show that for any group $G$ that is hyperbolic relative to subgroups that admit a proper affine isometric action on a uniformly convex Banach space, then $G$ acts properly on a uniformly convex Banach space as well. We show that for any group $G$ that is hyperbolic relative to subgroups that admit a proper affine isometric action on a uniformly convex Banach space, then $G$ acts properly on a uniformly convex Banach space as well. △ Less

Submitted 9 January, 2019; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 28 pages, revised

Journal ref: Annales Henri Lebesgue, Volume 3 (2020) , pp. 35-66

Median geometry for spaces with measured walls and for groups

Authors: Indira Chatterji, Cornelia Druţu

Abstract: We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of compatibility possible with the median geometry. Our theorem is also relevant for potential Rips-type theorems for median spaces. The result follows from an analysis of a q… ▽ More We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of compatibility possible with the median geometry. Our theorem is also relevant for potential Rips-type theorems for median spaces. The result follows from an analysis of a quasification of median geometry that provides a geometric characterization of spaces at finite Hausdorff distance from a median space. We explain how the case of complex hyperbolic metric spaces is different, and that such spaces cannot be at finite Hausdorff distance from a median space. △ Less

Submitted 3 August, 2023; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 27 pages, no figures

MSC Class: 20F65; 20F67; 22F50

Relative Property (T) for Nilpotent Subgroups

Authors: Indira Chatterji, Dave Witte Morris, Riddhi Shah

Abstract: We show that relative Property (T) for the abelianization of a nilpotent normal subgroup implies relative Property (T) for the subgroup itself. This and other results are a consequence of a theorem of independent interest, which states that if $H$ is a closed subgroup of a locally compact group $G$, and $A$ is a closed subgroup of the center of $H$, such that $A$ is normal in $G$, and… ▽ More We show that relative Property (T) for the abelianization of a nilpotent normal subgroup implies relative Property (T) for the subgroup itself. This and other results are a consequence of a theorem of independent interest, which states that if $H$ is a closed subgroup of a locally compact group $G$, and $A$ is a closed subgroup of the center of $H$, such that $A$ is normal in $G$, and $(G/A, H/A)$ has relative Property (T), then $(G, H^{(1)})$ has relative Property (T), where $H^{(1)}$ is the closure of the commutator subgroup of $H$. In fact, the assumption that $A$ is in the center of $H$ can be replaced with the weaker assumption that $A$ is abelian and every $H$-invariant finite measure on the unitary dual of $A$ is supported on the set of fixed points. △ Less

Submitted 24 June, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: 30 pages, plus 10 pages of notes to aid the referee. Version 2 adds a section on relative Property (T) for subsets, in addition to minor corrections and improvements

MSC Class: 22D10

Journal ref: Doc. Math. 23 (2018), 353-382

Cryptosystems using subgroup distortion

Authors: Indira Chatterji, Delaram Kahrobaei, Ni Yen Lu

Abstract: In this paper we propose cryptosystems based on subgroup distortion in hyperbolic groups. We also include concrete examples of hyperbolic groups as possible platforms. In this paper we propose cryptosystems based on subgroup distortion in hyperbolic groups. We also include concrete examples of hyperbolic groups as possible platforms. △ Less

Submitted 24 October, 2016; originally announced October 2016.

A note on the acylindrical hyperbolicity of groups acting on CAT(0) cube complexes

Authors: Indira Chatterji, Alexandre Martin

Abstract: We study the acylindrical hyperbolicity of groups acting by isometries on CAT(0) cube complexes, and obtain simple criteria formulated in terms of stabilisers for the action. Namely, we show that a group acting essentially and non-elementarily on a finite dimensional irreducible CAT(0) cube complex is acylindrically hyperbolic if there exist two hyperplanes whose stabilisers intersect along a fini… ▽ More We study the acylindrical hyperbolicity of groups acting by isometries on CAT(0) cube complexes, and obtain simple criteria formulated in terms of stabilisers for the action. Namely, we show that a group acting essentially and non-elementarily on a finite dimensional irreducible CAT(0) cube complex is acylindrically hyperbolic if there exist two hyperplanes whose stabilisers intersect along a finite subgroup. We also give further conditions on the geometry of the complex so that the result holds if we only require the existence of a single pair of points whose stabilisers intersect along a finite subgroup. △ Less

Submitted 30 January, 2018; v1 submitted 21 October, 2016; originally announced October 2016.

Comments: 16 pages, fixed a gap in the proof of Theorem 1.2

Introduction to the Rapid Decay property

Authors: Indira Chatterji

Abstract: This is an introduction to the Rapid Decay property, with a survey of known results and equivalent definitions of this property. We also discuss in details the easy case when G = Z. Everything in this paper is well-known by different sets of people. This is an introduction to the Rapid Decay property, with a survey of known results and equivalent definitions of this property. We also discuss in details the easy case when G = Z. Everything in this paper is well-known by different sets of people. △ Less

Submitted 9 May, 2016; v1 submitted 21 April, 2016; originally announced April 2016.

Flat bundles with complex analytic holonomy

Authors: Indira Chatterji, Guido Mislin, Christophe Pittet

Abstract: Let G be a connected complex Lie group. We show that any flat principal G-bundle over any finite CW-complex pulls back to a trivial bundle over some finite covering space of the base space if and only if each real characteristic class of positive degree of G vanishes. A third equivalent condition is that the derived group of the radical of G is simply connected. As a corollary, the same conditions… ▽ More Let G be a connected complex Lie group. We show that any flat principal G-bundle over any finite CW-complex pulls back to a trivial bundle over some finite covering space of the base space if and only if each real characteristic class of positive degree of G vanishes. A third equivalent condition is that the derived group of the radical of G is simply connected. As a corollary, the same conditions are equivalent if G is a connected amenable Lie group. In particular, if G is a connected compact Lie group then any flat principal G-bundle over any finite CW-complex pulls back to a trivial bundle over some finite covering space of the base space. △ Less

Submitted 6 August, 2013; originally announced August 2013.

Comments: 13 pages

MSC Class: 55R10; 22D05

The Median Class and Superrigidity of Actions on CAT(0) Cube Complexes

Authors: Indira Chatterji, Talia Fernós, Alessandra Iozzi

Abstract: We define a bounded cohomology class, called the {\em median class}, in the second bounded cohomology -- with appropriate coefficients --of the automorphism group of a finite dimensional CAT(0) cube complex X. The median class of X behaves naturally with respect to taking products and appropriate subcomplexes and defines in turn the {\em median class of an action} by automorphisms of X. We show… ▽ More We define a bounded cohomology class, called the {\em median class}, in the second bounded cohomology -- with appropriate coefficients --of the automorphism group of a finite dimensional CAT(0) cube complex X. The median class of X behaves naturally with respect to taking products and appropriate subcomplexes and defines in turn the {\em median class of an action} by automorphisms of X. We show that the median class of a non-elementary action by automorphisms does not vanish and we show to which extent it does vanish if the action is elementary. We obtain as a corollary a superrigidity result and show for example that any irreducible lattice in the product of at least two locally compact connected groups acts on a finite dimensional CAT(0) cube complex X with a finite orbit in the Roller compactification of X. In the case of a product of Lie groups, the Appendix by Caprace allows us to deduce that the fixed point is in fact inside the complex X. In the course of the proof we construct a Γ-equivariant measurable map from a Poisson boundary of Γwith values in the non-terminating ultrafilters on the Roller boundary of X. △ Less

Submitted 7 August, 2015; v1 submitted 7 December, 2012; originally announced December 2012.

Comments: Minor changes that clarify some confusion have been made. Some figures have been added

Bounded characteristic classes and flat bundles

Authors: Indira Chatterji, Yves Cornulier, Guido Mislin, Christophe Pittet

Abstract: Let G be a connected Lie group, G^d the underlying discrete group, and BG, BG^d their classifying spaces. Let R denote the radical of G. We show that all classes in the image of the canonical map in cohomology H^*(BG,R)->H^*(BG^d,R) are bounded if and only if the derived group [R,R] is simply connected. We also give equivalent conditions in terms of stable commutator length and distortion. Let G be a connected Lie group, G^d the underlying discrete group, and BG, BG^d their classifying spaces. Let R denote the radical of G. We show that all classes in the image of the canonical map in cohomology H^*(BG,R)->H^*(BG^d,R) are bounded if and only if the derived group [R,R] is simply connected. We also give equivalent conditions in terms of stable commutator length and distortion. △ Less

Submitted 18 February, 2012; originally announced February 2012.

Comments: 12 pages, no figure

MSC Class: Primary: 57T10; 55R40; Secondary: 20F65; 53C23; 22E15

Journal ref: J. Differential Geom. 95(1) (2013), 39-51

Atiyah's $L^2$-Index theorem

Authors: Indira Chatterji, Guido Mislin

Abstract: The $L^2$-Index Theorem of Atiyah \cite{atiyah} expresses the index of an elliptic operator on a closed manifold $M$ in terms of the $G$-equivariant index of some regular covering $\widetilde{M}$ of $M$, with $G$ the group of covering transformations. Atiyah's proof is analytic in nature. Our proof is algebraic and involves an embedding of a given group into an acyclic one, together with naturalit… ▽ More The $L^2$-Index Theorem of Atiyah \cite{atiyah} expresses the index of an elliptic operator on a closed manifold $M$ in terms of the $G$-equivariant index of some regular covering $\widetilde{M}$ of $M$, with $G$ the group of covering transformations. Atiyah's proof is analytic in nature. Our proof is algebraic and involves an embedding of a given group into an acyclic one, together with naturality properties of the indices. △ Less

Submitted 8 April, 2010; originally announced April 2010.

Comments: 7 pages

Journal ref: L'enseignement Mathématique 49 (2003), 85 - 93.

Hattori-Stallings trace and Euler characteristics for groups

Authors: Indira Chatterji, Guido Mislin

Abstract: We discuss properties of the complete Euler characteristic of a group G of type FP over the complex numbers and we relate it to the L2-Euler characteristic of the centralizers of the elements of G. We discuss properties of the complete Euler characteristic of a group G of type FP over the complex numbers and we relate it to the L2-Euler characteristic of the centralizers of the elements of G. △ Less

Submitted 22 October, 2009; originally announced October 2009.

Comments: To appear in: London Math. Society Lecture Note Series, Vol 358, 2009

MSC Class: 55N99; 20J05

Journal ref: London Math. Soc. Lecture Note Series, Vol 358 (2009), 256-271

On transfer in bounded cohomology

Authors: Indira Chatterji, Guido Mislin

Abstract: We define a transfer map in the setting of bounded cohomology with certain metric G-module coefficients. As an application, we extend a theorem of Chatterji, Mislin, Pittet and Saloff-Coste on the comparison map from Borel-bounded to Borel cohomology, to cover the case of Lie groups with finitely many connected components. We define a transfer map in the setting of bounded cohomology with certain metric G-module coefficients. As an application, we extend a theorem of Chatterji, Mislin, Pittet and Saloff-Coste on the comparison map from Borel-bounded to Borel cohomology, to cover the case of Lie groups with finitely many connected components. △ Less

Submitted 3 October, 2009; originally announced October 2009.

Comments: 8 pages

Discrete Linear Groups containing Arithmetic Groups

Authors: T. N. Venkataramana, Indira Chatterji

Abstract: We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of $SL_n({\mathbb R})$ which contains $SL_3({\mathbb Z})$ in the top left hand corner, is conjugate to $SL_n({\mathbb Z})$ . We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of $SL_n({\mathbb R})$ which contains $SL_3({\mathbb Z})$ in the top left hand corner, is conjugate to $SL_n({\mathbb Z})$ . △ Less

Submitted 12 May, 2009; originally announced May 2009.

MSC Class: 22E40; 20G30

On the bounded cohomology of Lie groups

Authors: Indira Chatterji, Guido Mislin, Christophe Pittet, Laurent Saloff-Coste

Abstract: We show that each integral Borel cohomology class of a connected Lie group G can be represented by a Borel bounded cocycle if and only if the radical of G is linear. This leads to a generalization of Gromov's boundedness theorem on characteristic classes of flat bundles. We show that each integral Borel cohomology class of a connected Lie group G can be represented by a Borel bounded cocycle if and only if the radical of G is linear. This leads to a generalization of Gromov's boundedness theorem on characteristic classes of flat bundles. △ Less

Submitted 13 May, 2009; v1 submitted 24 April, 2009; originally announced April 2009.

Comments: 46 pages, new version with added references

MSC Class: 57T10; 20F65.

Homotopy idempotents on manifolds and Bass' conjectures

Authors: A J Berrick, I Chatterji, G Mislin

Abstract: The Bass trace conjectures are placed in the setting of homotopy idempotent selfmaps of manifolds. For the strong conjecture, this is achieved via a formulation of Geoghegan. The weaker form of the conjecture is reformulated as a comparison of ordinary and L^2-Lefschetz numbers. The Bass trace conjectures are placed in the setting of homotopy idempotent selfmaps of manifolds. For the strong conjecture, this is achieved via a formulation of Geoghegan. The weaker form of the conjecture is reformulated as a comparison of ordinary and L^2-Lefschetz numbers. △ Less

Submitted 25 March, 2009; originally announced March 2009.

Comments: This is the version published by Geometry & Topology Monographs on 29 January 2007

MSC Class: 19A31; 54H25; 55M20; 58C30; 46L10; 57N50

Journal ref: Geom. Topol. Monogr. 10 (2007) 41--62

New examples of finitely presented groups with strong fixed point properties

Authors: Indira Chatterji, Martin Kassabov

Abstract: The aim of this note is to give an easy example of a finitely presented group that cannot act without a fix point on a CAT(0) space of finite dimension. Such an example has been recently constructed by Arjantseva et al., using other techniques The aim of this note is to give an easy example of a finitely presented group that cannot act without a fix point on a CAT(0) space of finite dimension. Such an example has been recently constructed by Arjantseva et al., using other techniques △ Less

Submitted 13 January, 2009; v1 submitted 22 September, 2008; originally announced September 2008.

Comments: 12 pages; to appear in Journal of Topology and Analysis

Kazhdan and Haagerup properties from the median viewpoint

Authors: Indira Chatterji, Cornelia Drutu, Frederic Haglund

Abstract: We prove the existence of a close connection between spaces with measured walls and median metric spaces. We then relate properties (T) and Haagerup (a-T-menability) to actions on median spaces and on spaces with measured walls. This allows us to explore the relationship between the classical properties (T) and Haagerup and their versions using affine isometric actions on $L^p$-spaces. It also a… ▽ More We prove the existence of a close connection between spaces with measured walls and median metric spaces. We then relate properties (T) and Haagerup (a-T-menability) to actions on median spaces and on spaces with measured walls. This allows us to explore the relationship between the classical properties (T) and Haagerup and their versions using affine isometric actions on $L^p$-spaces. It also allows us to answer an open problem on a dynamical characterization of property (T), generalizing results of Robertson-Steger. △ Less

Submitted 23 January, 2009; v1 submitted 29 April, 2007; originally announced April 2007.

Comments: final version

MSC Class: 20F65; 46B04; 20F67; 22F50

A characterization of hyperbolic spaces

Authors: Indira Chatterji, Graham A. Niblo

Abstract: We show that a geodesic metric space is hyperbolic in the sense of Gromov if and only if intersections of balls have bounded eccentricity. In particular, $\R$-trees are characterized among geodesic metric spaces by the property that the intersection of any two balls is always a ball. Both Gromov hyperbolicity and CAT($κ$) geometry can be characterised in terms of the geometry of the intersection… ▽ More We show that a geodesic metric space is hyperbolic in the sense of Gromov if and only if intersections of balls have bounded eccentricity. In particular, $\R$-trees are characterized among geodesic metric spaces by the property that the intersection of any two balls is always a ball. Both Gromov hyperbolicity and CAT($κ$) geometry can be characterised in terms of the geometry of the intersection of balls. △ Less

Submitted 19 May, 2006; v1 submitted 2 October, 2004; originally announced October 2004.

MSC Class: 20F67; 20F65; 20E08

Journal ref: Groups, Geometry and Dynamics, Volume 1, Issue 3 (2007) pp 281-299

Connected Lie groups and property RD

Authors: I. Chatterji, Ch. Pittet, L. Saloff-Coste

Abstract: For a locally compact group, property RD gives a control on the convolution norm of any compactly supported measure in terms of the $L^2$-norm of its density and the diameter of its support. We give a complete classification of those Lie groups with property RD. For a locally compact group, property RD gives a control on the convolution norm of any compactly supported measure in terms of the $L^2$-norm of its density and the diameter of its support. We give a complete classification of those Lie groups with property RD. △ Less

Submitted 21 September, 2004; originally announced September 2004.

Comments: 29 pages

MSC Class: 22D15; 22E30; 43A15 and 46L05

Some geometric groups with rapid decay

Authors: Indira Chatterji, Kim Ruane

Abstract: We explain some simple methods to establish the property of Rapid Decay for a number of groups arising geometrically. We also give new examples of groups with the property of Rapid Decay. In particular we establish the property of Rapid Decay for all lattices in rank one Lie groups. We explain some simple methods to establish the property of Rapid Decay for a number of groups arising geometrically. We also give new examples of groups with the property of Rapid Decay. In particular we establish the property of Rapid Decay for all lattices in rank one Lie groups. △ Less

Submitted 10 November, 2004; v1 submitted 22 October, 2003; originally announced October 2003.

Comments: 30 pages, 0 figures. There is a change in the content of the paper. The statement of Theorem 0.5 involving cube complexes in the original version fo the paper was incorrect. There is a change in the content of the paper. The proof of Lemma 2.10 needed the use of a result in Drutu-Sapir. This was pointed out to us by D. Groves. The paper has been accepted by GAFA for publication

From wall spaces to CAT(0) cube complexes

Authors: I. L. Chatterji, G. A. Niblo

Abstract: We explain how to adapt a construction of M. Sageev's to construct a proper action on a CAT(0) cube complex starting from a proper action on a wall space, and use this to deduce that if G is a group containing an amenable subgroup H of super-polynomial growth and G acts properly on a space with walls then there are arbitrarily large families of walls in the wall space which pairwise cross. We explain how to adapt a construction of M. Sageev's to construct a proper action on a CAT(0) cube complex starting from a proper action on a wall space, and use this to deduce that if G is a group containing an amenable subgroup H of super-polynomial growth and G acts properly on a space with walls then there are arbitrarily large families of walls in the wall space which pairwise cross. △ Less

Submitted 4 October, 2004; v1 submitted 2 September, 2003; originally announced September 2003.

Comments: Updated to submitted version

MSC Class: 20F65

Property (RD) for cocompact lattices in a finite product of rank one Lie groups with some rank two Lie groups

Authors: Indira Chatterji

Abstract: We apply V. Lafforgue's techniques to establish the rapid decay property for cocompact lattices in a finite product of rank one Lie groups with Lie groups whose restricted root system is of type A2. We apply V. Lafforgue's techniques to establish the rapid decay property for cocompact lattices in a finite product of rank one Lie groups with Lie groups whose restricted root system is of type A2. △ Less

Submitted 30 June, 2001; originally announced July 2001.

Comments: 13 pages

MSC Class: 22E40

Journal ref: Geometriae Dedicata 96 (2003), 161 - 177