Showing 1–25 of 25 results for author: Saldaña, L J S

A spine for the decorated Teichmüller space of a punctured non-orientable surface

Authors: Nestor Colin, Rita Jiménez Rolland, Porfirio L. León Álvarez, Luis Jorge Sánchez Saldaña

Abstract: Building on work of Harer \cite{Ha86}, we construct a spine for the decorated Teichmüller space of a non-orientable surface with at least one puncture and negative Euler characteristic. We compute its dimension, and show that the deformation retraction onto this spine is equivariant with respect to the pure mapping class group of the non-orientable surface. As a consequence, we obtain a model for… ▽ More Building on work of Harer \cite{Ha86}, we construct a spine for the decorated Teichmüller space of a non-orientable surface with at least one puncture and negative Euler characteristic. We compute its dimension, and show that the deformation retraction onto this spine is equivariant with respect to the pure mapping class group of the non-orientable surface. As a consequence, we obtain a model for the classifying space for proper actions of the pure mapping class group of a punctured non-orientable surface, which is of minimal dimension in the case there is a single puncture. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 15 pages, 5 figures

MSC Class: 57K20; 55R35; 20J05; 57M07; 57M50; 57M60

A note on finiteness properties of vertex stabilisers

Authors: Kevin Li, Luis Jorge Sánchez Saldaña

Abstract: We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a result of Haglund--Wise for groups acting on trees to higher dimensions. As an application, for $n\ge 2$, we deduce the existence of uncountably many quasi-isom… ▽ More We prove a criterion for the geometric and algebraic finiteness properties of vertex stabilisers of $G$-CW-complexes, given the finiteness properties of the group $G$ and of the stabilisers of positive dimensional cells. This generalises a result of Haglund--Wise for groups acting on trees to higher dimensions. As an application, for $n\ge 2$, we deduce the existence of uncountably many quasi-isometry classes of one-ended groups that are of type $\mathsf{FP}_n$ and not of type $\mathsf{FP}_{n+1}$. △ Less

Submitted 20 February, 2025; originally announced February 2025.

Comments: 8 pages

MSC Class: 20J05; 57M07; 20F65

The proper geometric dimension of the mapping class group of an orientable surface with punctures

Authors: Nestor Colin, Rita Jiménez Rolland, Porfirio L. León Álvarez, Luis Jorge Sánchez Saldaña

Abstract: We show that the {\it full} mapping class group of any orientable closed surface with punctures admits a cocompact classifying space for proper actions of dimension equal to its virtual cohomological dimension. This was proved for closed orientable surfaces and for {\it pure} mapping class groups by Aramayona and Martínez Pérez. As a consequence of our result we also obtain the proper geometric… ▽ More We show that the {\it full} mapping class group of any orientable closed surface with punctures admits a cocompact classifying space for proper actions of dimension equal to its virtual cohomological dimension. This was proved for closed orientable surfaces and for {\it pure} mapping class groups by Aramayona and Martínez Pérez. As a consequence of our result we also obtain the proper geometric dimension of {\it full} spherical braid groups. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 17 pages. 11 tables

On the $K$-theory of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ square-free

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: We provide an explicit computation of the topological $K$-theory groups $K_*(C_r^*(\mathbb{Z}^n\rtimes \mathbb{Z}/m))$ of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}Z/m$ with $m$ square-free. We want to highlight the fact that we are not impossing any conditions on the $\Z/m$-action on $\mathbb{Z}^n$. This generalizes previous computations of Lück-Davis and Langer-Lück. We provide an explicit computation of the topological $K$-theory groups $K_*(C_r^*(\mathbb{Z}^n\rtimes \mathbb{Z}/m))$ of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}Z/m$ with $m$ square-free. We want to highlight the fact that we are not impossing any conditions on the $\Z/m$-action on $\mathbb{Z}^n$. This generalizes previous computations of Lück-Davis and Langer-Lück. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: 10 pages. Comments are welcome

On the dimension of Harer's spine for the decorated Teichmüller space

Authors: Nestor Colin, Rita Jiménez Rolland, Porfirio L. León Álvarez, Luis Jorge Sánchez Saldaña

Abstract: In \cite{Ha86} Harer explicitly constructed a spine for the decorated Teichmüller space of orientable surfaces with at least one puncture and negative Euler characteristic. In this paper we point out some instances where his computation of the dimension of this spine is off by $1$ and give the correct dimension. In \cite{Ha86} Harer explicitly constructed a spine for the decorated Teichmüller space of orientable surfaces with at least one puncture and negative Euler characteristic. In this paper we point out some instances where his computation of the dimension of this spine is off by $1$ and give the correct dimension. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Comments: 10 pages, 4 figures

On the group cohomology of groups of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: We provide an explicit computation of the cohomology groups (with untwisted coefficients) of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares, by means of formulas that only depend on $n$, $m$ and the action of $\mathbb{Z}/m$ on $\mathbb{Z}^n$. We want to highlight the fact that we are not impossing any conditions on the $\mathbb{Z}/m$-action on… ▽ More We provide an explicit computation of the cohomology groups (with untwisted coefficients) of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}/m$ with $m$ free of squares, by means of formulas that only depend on $n$, $m$ and the action of $\mathbb{Z}/m$ on $\mathbb{Z}^n$. We want to highlight the fact that we are not impossing any conditions on the $\mathbb{Z}/m$-action on $\mathbb{Z}^n$, and as far as we know our formulas are the first in the literature in this generality. This generalizes previous computations of Lück-Davis and Adem-Ge-Pan-Petrosyan. In order to show that our formulas are usable, we develop a concrete example of the form $\mathbb{Z}^5\rtimes \mathbb{Z}/6$ where its cohomology groups are described in full detail. △ Less

Submitted 21 March, 2024; originally announced March 2024.

MSC Class: 20J06; 55T25; 20K25; 20H15

Centralisers and the virtually cyclic dimension of $\mathrm{Out}(F_N)$

Authors: Yassine Guerch, Sam Hughes, Luis Jorge Sánchez Saldaña

Abstract: We prove that the virtually cyclic (geometric) dimension of the finite index congruence subgroup $\mathrm{IA}_N(3)$ of $\mathrm{Out}(F_N)$ is $2N-2$. From this we deduce the virtually cyclic dimension of $\mathrm{Out}(F_N)$ is finite. Along the way we prove Lück's property (C) holds for $\mathrm{Out}(F_N)$, we prove that the commensurator of a cyclic subgroup of $\mathrm{IA}_N(3)$ equals its centr… ▽ More We prove that the virtually cyclic (geometric) dimension of the finite index congruence subgroup $\mathrm{IA}_N(3)$ of $\mathrm{Out}(F_N)$ is $2N-2$. From this we deduce the virtually cyclic dimension of $\mathrm{Out}(F_N)$ is finite. Along the way we prove Lück's property (C) holds for $\mathrm{Out}(F_N)$, we prove that the commensurator of a cyclic subgroup of $\mathrm{IA}_N(3)$ equals its centraliser, we give an $\mathrm{IA}_N(3)$ analogue of various exact sequences arising from reduction systems for mapping class groups, and give a near complete description of centralisers of infinite order elements in $\mathrm{IA}_3(3)$. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 35 pages, comments welcome

MSC Class: 20E36; 20F28; 20F65; 55R35; 57M07

The classifying space for commutativity of geometric orientable 3-manifold groups

Authors: Omar Antolín-Camarena, Luis Eduardo García-Hernández, Luis Jorge Sánchez Saldaña

Abstract: For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of compact Lie groups; but in this paper we focus on the case of infinite discrete groups. For a discrete group $G$, the space $E_{\textsf{com}}(G)$ is homotopy equiva… ▽ More For a topological group $G$ let $E_{\textsf{com}}(G)$ be the total space of the universal transitionally commutative principal $G$-bundle as defined by Adem--Cohen--Torres-Giese. So far this space has been most studied in the case of compact Lie groups; but in this paper we focus on the case of infinite discrete groups. For a discrete group $G$, the space $E_{\textsf{com}}(G)$ is homotopy equivalent to the geometric realization of the order complex of the poset of cosets of abelian subgroups of $G$. We show that for fundamental groups of closed orientable geometric $3$-manifolds, this space is always homotopy equivalent to a wedge of circles. On our way to prove this result we also establish some structural results on the homotopy type of $E_{\textsf{com}}(G)$. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 36 pages, 4 figures, comments very welcome!

Commensurators of abelian subgroups and the virtually abelian dimension of mapping class groups

Authors: Rita Jiménez Rolland, Porfirio L. León Álvarez, Luis Jorge Sánchez Saldaña

Abstract: Let $\mathrm{Mod}(S)$ be the mapping class group of a compact connected orientable surface $S$, possibly with punctures and boundary components, with negative Euler characteristic. We prove that for any infinite virtually abelian subgroup $H$ of $\mathrm{Mod}(S)$, there is a subgroup $H'$ commensurable with $H$ such that the commensurator of $H$ equals the normalizer of $H'$. As a consequence we g… ▽ More Let $\mathrm{Mod}(S)$ be the mapping class group of a compact connected orientable surface $S$, possibly with punctures and boundary components, with negative Euler characteristic. We prove that for any infinite virtually abelian subgroup $H$ of $\mathrm{Mod}(S)$, there is a subgroup $H'$ commensurable with $H$ such that the commensurator of $H$ equals the normalizer of $H'$. As a consequence we give, for each $n \geq 2$, an upper bound for the geometric dimension of $\mathrm{Mod}(S)$ for the family of abelian subgroups of rank bounded by $n$. These results generalize work by Juan-Pineda--Trujillo-Negrete and Nucinkis--Petrosyan for the virtually cyclic case. △ Less

Submitted 29 March, 2023; originally announced March 2023.

Comments: 19 pages, 1 figure

A survey on quasi-isometries of pairs: invariants and rigidity

Authors: Sam Hughes, Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity rea… ▽ More This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity realm. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: 14 pages

Bowditch Taut Spectrum and dimensions of groups

Authors: Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: For a finitely generated group $G$, let $H(G)$ denote Bowditch's taut loop length spectrum. We prove that if $G=(A\ast B) / \langle\!\langle \mathcal R \rangle\!\rangle $ is a $C'(1/12)$ small cancellation quotient of a the free product of finitely generated groups, then $H(G)$ is equivalent to $H(A) \cup H(B)$. We use this result together with bounds for cohomological and geometric dimensions, as… ▽ More For a finitely generated group $G$, let $H(G)$ denote Bowditch's taut loop length spectrum. We prove that if $G=(A\ast B) / \langle\!\langle \mathcal R \rangle\!\rangle $ is a $C'(1/12)$ small cancellation quotient of a the free product of finitely generated groups, then $H(G)$ is equivalent to $H(A) \cup H(B)$. We use this result together with bounds for cohomological and geometric dimensions, as well as Bowditch's construction of continuously many non-quasi-isometric $C'(1/6)$ small cancellation $2$-generated groups to obtain our main result: Let $\mathcal{G}$ denote the class of finitely generated groups. The following subclasses contain continuously many one-ended non-quasi-isometric groups: $\bullet\left\{G\in \mathcal{G} \colon \underline{\mathrm{cd}}(G) = 2 \text{ and } \underline{\mathrm{gd}}(G) = 3 \right\}$ $\bullet\left\{G\in \mathcal{G} \colon \underline{\underline{\mathrm{cd}}}(G) = 2 \text{ and } \underline{\underline{\mathrm{gd}}}(G) = 3 \right\}$ $\bullet\left\{G\in \mathcal{G} \colon \mathrm{cd}_{\mathbb{Q}}(G)=2 \text{ and } \mathrm{cd}_{\mathbb{Z}}(G)=3 \right\}$ On our way to proving the aforementioned results, we show that the classes defined above are closed under taking relatively finitely presented $C'(1/12)$ small cancellation quotients of free products, in particular, this produces new examples of groups exhibiting an Eilenberg-Ganea phenomenon for families. We also show that if there is a finitely presented counter-example to the Eilenberg-Ganea conjecture, then there are continuously many finitely generated one-ended non-quasi-isometric counter-examples. △ Less

Submitted 15 December, 2021; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 21 pages

Quasi-isometry invariance of relative filling functions

Authors: Sam Hughes, Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combina… ▽ More For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combinatorial $G$-$2$-complex $X$ with finite edge stabilisers, the combinatorial Dehn function is well-defined if and only if the $1$-skeleton of $X$ is fine. We also show that if $H$ is a hyperbolically embedded subgroup of a finitely presented group $G$, then the relative Dehn function of the pair $(G, H)$ is well-defined. In the appendix, it is shown that show that the Baumslag-Solitar group $\mathrm{BS}(k,l)$ has a well-defined Dehn function with respect to the cyclic subgroup generated by the stable letter if and only if neither $k$ divides $l$ nor $l$ divides $k$. △ Less

Submitted 25 January, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: Appendix by Ashot Minasyan

Journal ref: Groups Geom. Dyn. 17(4), 1483--1515, 2023

Classifying spaces for the family of virtually abelian subgroups of orientable $3$-manifold groups

Authors: Porfirio L. León Álvarez, Luis Jorge Sánchez Saldaña

Abstract: For a group $G$, let $\mathcal{F}_{n}$ be the family of all the subgroups of $G$ containing a subgroup isomorphic to $\mathbb{Z}^{r}$ for some $r=0,1,2,\dots ,n$ of finite index. Joecken, Lafont and Sánchez Saldaña computed the $\mathcal{F}_1$-dimension of 3-manifold groups. The goal of this article is to compute the $\mathcal{F}_n$-geometric dimension of 3-manifold groups for all $n\geq 2$. For a group $G$, let $\mathcal{F}_{n}$ be the family of all the subgroups of $G$ containing a subgroup isomorphic to $\mathbb{Z}^{r}$ for some $r=0,1,2,\dots ,n$ of finite index. Joecken, Lafont and Sánchez Saldaña computed the $\mathcal{F}_1$-dimension of 3-manifold groups. The goal of this article is to compute the $\mathcal{F}_n$-geometric dimension of 3-manifold groups for all $n\geq 2$. △ Less

Submitted 3 February, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: 22 pages, 1 table. Proofs of Theorem 3.1, Theorem 4.5 c), and Proposition 5.1 were expanded for the sake of clarity. Title was changed

Quasi-isometric rigidity of subgroups and Filtered ends

Authors: Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer. The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a f… ▽ More Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer. The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a finite collection of subgroups, there is a notion of quasi-isometry of pairs, and quasi-isometrically characteristic collection of subgroups. A subgroup is qi-characteristic if it belongs to a qi-characteristic collection. Distinct classes of qi-characteristic collections of subgroups have been studied in the literature on quasi-isometric rigidity, we list in the article some of them and provide other examples. The first part of the article proves: if $G$ and $H$ are finitely generated quasi-isometric groups and $\mathcal{P}$ is a qi-characteristic collection of subgroups of $G$, then there is a collection of subgroups $\mathcal{Q}$ of $H$ such that $ (G, \mathcal{P})$ and $(H, \mathcal{Q})$ are quasi-isometric pairs. The second part of the article studies the number of filtered ends $\tilde e (G, P)$ of a pair of groups, a notion introduced by Bowditch, and provides an application of our main result: if $G$ and $H$ are quasi-isometric groups and $P\leq G$ is qi-characterstic, then there is $Q\leq H$ such that $\tilde e (G, P) = \tilde e (H, Q)$. △ Less

Submitted 3 August, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: Version 3. 25 pages. Updated list of references. Version accepted for publication in AGT

Journal ref: Algebr. Geom. Topol. 22 (2022) 3023-3057

On the algebraic K-theory of 3-manifold groups

Authors: Daniel Juan-Pineda, Luis Jorge Sánchez Saldaña

Abstract: We provide descriptions of the Whitehead groups, and the algebraic $K$-theory groups, of the fundamental group of a connected, oriented, closed $3$-manifold in terms of Whitehead groups of their finite subgroups and certain Nil-groups. The main tools we use are: the K-theoretic Farrell-Jones isomorphism conjecture, the construction of models for the universal space for the family of virtually cycl… ▽ More We provide descriptions of the Whitehead groups, and the algebraic $K$-theory groups, of the fundamental group of a connected, oriented, closed $3$-manifold in terms of Whitehead groups of their finite subgroups and certain Nil-groups. The main tools we use are: the K-theoretic Farrell-Jones isomorphism conjecture, the construction of models for the universal space for the family of virtually cyclic subgroups in 3-manifold groups, and both the prime and JSJ-decompositions together with the well-known geometrization theorem. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 21 pages

On the dimension of the mapping class groups of a non-orientable surface

Authors: Cristhian E. Hidber, Luis Jorge Sánchez Saldaña, Alejandra Trujillo-Negrete

Abstract: Let $\mathcal{N}_g$ be the mapping class group of a non-orientable closed surface. We prove that the proper cohomological dimension, the proper geometric dimension, and the virtual cohomological dimension of $\mathcal{N}_g$ are equal whenever $g\neq 4,5$. In particular, there exists a model for the classifying space of $\mathcal{N}_g$ for proper actions of dimension… ▽ More Let $\mathcal{N}_g$ be the mapping class group of a non-orientable closed surface. We prove that the proper cohomological dimension, the proper geometric dimension, and the virtual cohomological dimension of $\mathcal{N}_g$ are equal whenever $g\neq 4,5$. In particular, there exists a model for the classifying space of $\mathcal{N}_g$ for proper actions of dimension $\mathrm{vcd}(\mathcal{N}_g)=2g-5$. Similar results are obtained for the mapping class group of a non-orientable surface with boundaries and possibly punctures, and for the pure mapping class group of a non-orientable surface with punctures and without boundaries. △ Less

Submitted 6 December, 2021; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: 20 pages. Version accepted for publication in Homology, Homotopy and Applications

On the dimension of groups that satisfy certain conditions on their finite subgroups

Authors: Luis Jorge Sánchez Saldaña

Abstract: We prove that the Bredon cohomological dimension and the virtual cohomological dimension coincide for groups that admit a cocompact model for $\underline{E}G$ and satisfy properties (M) and (NM). Among the examples of groups satisfying these hypothesis are cocompact and arithmetic Fuchsian groups, one relator groups, the Hilbert modular group and $3$-manifold groups. We prove that the Bredon cohomological dimension and the virtual cohomological dimension coincide for groups that admit a cocompact model for $\underline{E}G$ and satisfy properties (M) and (NM). Among the examples of groups satisfying these hypothesis are cocompact and arithmetic Fuchsian groups, one relator groups, the Hilbert modular group and $3$-manifold groups. △ Less

Submitted 7 October, 2020; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: Version accepted for publication in Glasgow Mathematical Journal. The title was changed, also some other minor corrections

Groups acting on trees and the Eilenberg-Ganea problem for families

Authors: Luis Jorge Sánchez Saldaña

Abstract: We construct new examples of groups with cohomological dimension 2 and geometric dimension 3 with respect to the families of finite subgroups, virtually abelian groups of bounded rank, and the family of virtually poly-cyclic subgroups. Our main ingredients are the examples constructed by Brady-Leary-Nucinckis and Fluch-Leary, and Bass-Serre theory. We construct new examples of groups with cohomological dimension 2 and geometric dimension 3 with respect to the families of finite subgroups, virtually abelian groups of bounded rank, and the family of virtually poly-cyclic subgroups. Our main ingredients are the examples constructed by Brady-Leary-Nucinckis and Fluch-Leary, and Bass-Serre theory. △ Less

Submitted 7 October, 2020; v1 submitted 7 November, 2019; originally announced November 2019.

Comments: Version accepted for publication in Proceedings of the AMS. Minor corrections

Brown's Criterion and classifying spaces for families

Authors: Eduardo Martínez-Pedroza, Luis Jorge Sánchez Saldaña

Abstract: Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model fo… ▽ More Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model for $E_\mathcal{F} G$ with $n$-skeleton with compact orbit space. The main result of the article provides is a characterization of $\mathcal{F}\text{-}\mathrm{F}_{n}$ analogue to Brown's criterion for $\mathrm{FP}_n$. As applications we provide criteria for this type of finiteness properties with respect to families to be preserved by finite extensions, a result that contrast with examples of Leary and Nucinkis. We also recover Lück's characterization of property $\underline{\mathrm{F}}_n$ in terms of the finiteness properties of the Weyl groups. △ Less

Submitted 22 April, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: Version accepted for publication in JPAA

MSC Class: 20J05; 20J06

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

Relative group (co)homology theories with coefficients and the comparison homomorphism

Authors: José Antonio Arciniega-Nevárez, José Luis Cisneros-Molina, Luis Jorge Sánchez Saldaña

Abstract: Let $G$ be a group, let $H$ be a subgroup of $G$ and let $\Or(G)$ be the orbit category. In this paper we extend the definition of the relative group (co)homology theories of the pair $(G,H)$ defined by Adamson and Takasu to have coefficients in an $\Or(G)$-module. There is a canonical comparison homomorphism defined by Cisneros-Molina and Arciniega-Nevárez from Takasu's theory to Adamson's one. W… ▽ More Let $G$ be a group, let $H$ be a subgroup of $G$ and let $\Or(G)$ be the orbit category. In this paper we extend the definition of the relative group (co)homology theories of the pair $(G,H)$ defined by Adamson and Takasu to have coefficients in an $\Or(G)$-module. There is a canonical comparison homomorphism defined by Cisneros-Molina and Arciniega-Nevárez from Takasu's theory to Adamson's one. We give a necessary and sufficient condition on the subgroup $H$ for which the comparison homomorphism is an isomorphism for all coefficients. We also use the Lück-Wiermann construction to introduce a long exact sequence for Adamson (co)homology. Finally, we provide some examples of explicit computations for the comparison homomorphism. △ Less

Submitted 13 May, 2020; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: Shortened version. This version was accepted for publication in Quaestiones Mathematicae

The algebraic and topological K-theory of the Hilbert Modular Group

Authors: Luis Jorge Sánchez Saldaña, Mario Velásquez

Abstract: In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space… ▽ More In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Connes conjecture respectively. We also construct a model for the classifying space of the Hilbert modular group for the family of virtually cyclic subgroups. △ Less

Submitted 14 June, 2017; originally announced June 2017.

On the ranks of the algebraic $K$-Theory of hyperbolic groups

Authors: Daniel Juan-Pineda, Luis Jorge Sánchez Saldaña

Abstract: Let $G$ be a word hyperbolic group. We prove that the algebraic $K$-theory groups of $\dbZ [G]$, $K_n(\dbZ[G])$, have finite rank for all $n\in \dbZ$. For a few classes of groups, we give explicit formulas for the ranks of the algebraic $K$-theory groups of their group rings. Let $G$ be a word hyperbolic group. We prove that the algebraic $K$-theory groups of $\dbZ [G]$, $K_n(\dbZ[G])$, have finite rank for all $n\in \dbZ$. For a few classes of groups, we give explicit formulas for the ranks of the algebraic $K$-theory groups of their group rings. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: 9 pages, 1 figure

The $K$ and $L$ theoretic Farrell-Jones isomorphism conjecture for braid groups

Authors: Daniel Juan-Pineda, Luis Jorge Sánchez Saldaña

Abstract: We prove the $K$ and $L$ theoretic versions of the Fibered Isomorphism Conjecture of F. T. Farrell and L. E. Jones for braid groups on a surface. We prove the $K$ and $L$ theoretic versions of the Fibered Isomorphism Conjecture of F. T. Farrell and L. E. Jones for braid groups on a surface. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: To appear in OSU special year proceedings

On the algebraic $K$-theory of the Hilbert modular group

Authors: Mauricio Bustamante, Luis Jorge Sánchez Saldaña

Abstract: We give formulas for the Whitehead groups and the rational $K$-theory groups of the (integer group ring of the) Hilbert modular group in terms of its maximal finite subgroups. We give formulas for the Whitehead groups and the rational $K$-theory groups of the (integer group ring of the) Hilbert modular group in terms of its maximal finite subgroups. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Comments: 15 pages

Journal ref: Algebr. Geom. Topol. 16 (2016) 2107-2125