arXiv Science⌕ Search

arXiv subjects

Alexander Rahm

Publications and source records attributed to Alexander Rahm.

15 recordsLinked to original sources
arXiv2021

An introduction to torsion subcomplex reduction

This survey paper introduces to a technique called Torsion Subcomplex Reduction (TSR) for computing torsion in the cohomology of discrete groups acting on suitable cell complexes. TSR enables one to skip machine computations on cell complexes, and to access directly the reduced torsion subcomplexes, which yields results on the cohomology of matrix groups in terms of formulas. TSR has already yielded general formulas for the cohomology of the tetrahedral Coxeter groups as well as, at odd torsion, of SL2 groups over arbitrary number rings. The latter formulas have allowed to refine the Quillen conjecture. Furthermore, progress has been made to adapt TSR to Bredon homology computations. In particular for the Bianchi groups, yielding their equivariant K-homology, and, by the Baum-Connes assembly map, the K-theory of their reduced C *-algebras. As a side application, TSR has allowed to provide dimension formulas for the Chen-Ruan orbifold cohomology of the complexified Bianchi orbifolds, and to prove Ruan's crepant resolution conjecture for all complexified Bianchi orbifolds.

math.KT↗
arXiv2020

Bianchi's additional symmetries

In a 2012 note in Comptes Rendus Math{\'e}matique, the author did try to answer a question of Jean-Pierre Serre; it has recently been announced that the scope of that answer needs an adjustment, and the details of this adjustment are given in the present paper. The original question is the following. Consider the ring of integers O in an imaginary quadratic number field, and the Borel-Serre compactification of the quotient of hyperbolic 3-space by SL 2 (O). Consider the map $\alpha$ induced on homology when attaching the boundary into the Borel-Serre compactification. How can one determine the kernel of $\alpha$ (in degree 1) ? Serre used a global topological argument and obtained the rank of the kernel of $\alpha$. He added the question what submodule precisely this kernel is.

math.AT↗
arXiv2017

Verification of the Quillen conjecture in the rank 2 imaginary quadratic case

We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\rm SL}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}]\thinspace)$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m}\thinspace)}$ is an imaginary quadratic ring of integers. To make explicit the free module structure on the cohomology ring conjectured by Quillen, we compute the mod $2$ cohomology of ${\rm SL}_2({\mathbb{Z}}[\sqrt{-2}\thinspace][\frac{1}{2}])$ via the amalgamated decomposition of the latter group.

math.AT↗
arXiv2017

The mod 2 cohomology rings of congruence subgroups in the Bianchi groups

We provide new tools for the calculation of the torsion in the cohomology of congruence subgroups in the Bianchi groups : An algorithm for finding particularly useful fundamental domains, and an analysis of the equivariant spectral sequence combined with torsion subcomplex reduction.\_\_\_\_\_\_\_\_\_\_With an appendix by Bui Anh Tuan and Sebastian Sch{\"o}nnenbeck

math.KT↗
arXiv2017

Equivariant $K$-homology for hyperbolic reflection groups

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.

math.KT↗
arXiv2017

Genuine Bianchi modular forms of higher level, at varying weight and discriminant

Bianchi modular forms are automorphic forms over an imaginary quadratic field, associated to a Bianchi group. Even though modern studies of Bianchi modular forms go back to the mid 1960's, most of the fundamental problems surrounding their theory are still wide open. Only for certain types of Bianchi modular forms, which we will call non-genuine, it is possible at present to develop dimension formulas: They are (twists of) those forms which arise from elliptic cuspidal modular forms via the Langlands Base-Change procedure, or arise from a quadratic extension of the imaginary quadratic field via automorphic induction (so-called CM-forms). The remaining Bianchi modular forms are what we call genuine, and they are of interest for an extension of the modularity theorem (formerly the Taniyama-Shimura conjecture, crucial in the proof of Femat's Last Theorem) to imaginary quadratic fields. In a preceding paper by Rahm and Sengun, an extreme paucity of genuine cuspidal Bianchi modular forms has been reported, but those and other computations were restricted to level One. In this paper, we are extending the formulas for the non-genuine Bianchi modular forms to deeper levels, and we are able to spot the first, rare instances of genuine forms at deeper level and heavier weight.

math.NT↗
arXiv2016

The Farrell--Tate and Bredon homology for PSL\_4(Z) via cell subdivisions

We provide some new computations of Farrell--Tate and Bredon (co)homology for arithmetic groups. For calculations of Farrell--Tate or Bredon homology, one needs cell complexes wherecell stabilizers fix their cells pointwise. We provide two algorithms computing an efficient subdivision of a complex to achieve this rigidity property. Applying these algorithms to available cell complexes for PSL4(Z) provides computations of Farrell--Tate cohomology for small primes as well as the Bredon homology for the classifying spaces of proper actions with coefficients in the complex representation ring.

math.KT↗
arXiv2015

The mod 2 cohomology rings of SL\_2 of the imaginary quadratic integers

We establish general dimension formulae for the second page of the equivariant spectral sequence of the action of the SL\_2 groups over imaginary quadratic integers on their associated symmetric space. On the way, we extend the torsion subcomplex reduction technique to cases where the kernel of the group action is nontrivial. Using the equivariant and Lyndon-Hochschild-Serre spectral sequences, we investigate the second page differentials and show how to obtain the mod 2 cohomology rings of our groups from this information.

math.KT↗
arXiv2015

On the equivariant K-homology of PSL\_2 of the imaginary quadratic integers

We establish formulae for the part due to torsion of the equivariant K-homology of all the Bianchi groups (PSL\_2 of the imaginary quadratic integers), in terms of elementary number-theoretic quantities. To achieve this, we introduce a novel technique in the computation of Bredon homology: representation ring splitting, which allows us to adapt the recent technique of torsion subcomplex reduction from group homology to Bredon homology.

math.KT↗
arXiv2015

A refinement of a conjecture of Quillen

We present some new results on the cohomology of a large scope of SL\_2-groups in degrees above the virtual cohomological dimension; yielding some partial positive results for the Quillen conjecture in rank one. We combine these results with the known partial positive results and the known types of counterexamples to the Quillen conjecture, in order to formulate a refined variant of the conjecture.

math.KT↗
arXiv2014

On Farrell-Tate cohomology of SL\_2 over S-integers

In this paper, we provide number-theoretic formulas for Farrell-Tate cohomology for SL\_2 over rings of S-integers in number fields satisfying a weak regularity assumption. These formulas describe group cohomology above the virtual cohomological dimension, and can be used to study some questions in homology of linear groups. We expose three applications, to (I) detection questions for the Quillen conjecture,(II) the existence of transfers for the Friedlander--Milnor conjecture,(III) cohomology of SL\_2 over number fields.

math.KT↗
arXiv2012

The homological torsion of PSL_2 of the imaginary quadratic integers

Denote by Q(sqrt{-m}), with m a square-free positive integer, an imaginary quadratic number field, and by A its ring of integers. The Bianchi groups are the groups SL_2(A). We reveal a correspondence between the homological torsion of the Bianchi groups and new geometric invariants, which are effectively computable thanks to their action on hyperbolic space. We expose a novel technique, the torsion subcomplex reduction, to obtain these invariants. We use it to explicitly compute the integral group homology of the Bianchi groups. Furthermore, this correspondence facilitates the computation of the equivariant K-homology of the Bianchi groups. By the Baum/Connes conjecture, which is verified by the Bianchi groups, we obtain the K-theory of their reduced C*-algebras in terms of isomorphic images of their equivariant K-homology.

math.KT↗
arXiv2011

On Ruan's Cohomological Crepant Resolution Conjecture for the complexified Bianchi orbifolds

We give formulae for the Chen-Ruan orbifold cohomology for the orbifolds given by a Bianchi group acting on complex hyperbolic 3-space. The Bianchi groups are the arithmetic groups PSL\_2(A), where A is the ring of integers in an imaginary quadratic number field. The underlying real orbifolds which help us in our study, given by the action of a Bianchi group on real hyperbolic 3-space (which is a model for its classifying space for proper actions), have applications in physics.We then prove that, for any such orbifold, its Chen-Ruan orbifold cohomology ring is isomorphic to the usual cohomology ring of any crepant resolution of its coarse moduli space.By vanishing of the quantum corrections, we show that this result fits in with Ruan's Cohomological Crepant Resolution Conjecture.

math.KT↗
arXiv2010

The integral homology of $PSL_2$ of imaginary quadratic integers with non-trivial class group

We show that a cellular complex described by Floege allows to determine the integral homology of the Bianchi groups $PSL_2(O_{-m})$, where $O_{-m}$ is the ring of integers of an imaginary quadratic number field $\rationals[\sqrt{-m}]$ for a square-free natural number $m$. We use this to compute in the cases m = 5, 6, 10, 13 and 15 with non-trivial class group the integral homology of $PSL_2(O_{-m})$, which before was known only in the cases m = 1, 2, 3, 7 and 11 with trivial class group.

math.KT↗