Coherence for elementary amenable groups

Sam Hughes,Dawid Kielak,Peter H. Kropholler,Ian J. Leary

2023-11-06

Abstract:We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups.

Group Theory,Rings and Algebras

What problem does this paper attempt to address?

Coherence for elementary amenable groups

Sam Hughes,Dawid Kielak,Peter Kropholler,Ian Leary

DOI: https://doi.org/10.1090/proc/16656

IF: 0.9709

2024-01-13

Proceedings of the American Mathematical Society

Abstract:We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups.

mathematics, applied
On the coherence of one-relator groups and their group algebras

Andrei Jaikin-Zapirain,Marco Linton

2023-07-19

Abstract:We prove that one-relator groups are coherent, solving a well-known problem of Gilbert Baumslag. Our proof strategy is readily applicable to many classes of groups of cohomological dimension two. We show that fundamental groups of two-complexes with non-positive immersions are homologically coherent, we show that groups with staggered presentations and many Coxeter groups are coherent and we show that group algebras over fields of characteristic zero of groups with reducible presentations without proper powers are coherent.

Group Theory
On the Coherency of Completed Group Algebra

David Burns,Yu Kuang,Dingli Liang

2024-01-16

Abstract:We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.

K-Theory and Homology,Group Theory,Number Theory,Rings and Algebras,Representation Theory
Coherence and Confluence

K. Dosen,Z. Petric

DOI: https://doi.org/10.48550/arXiv.math/0506310

2005-07-21

Abstract:Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that ``all diagrams commute''. This note is about this analogy, paying particular attention to cases where the category for which coherence is proved is not a groupoid.

Category Theory,Logic
Coherence of relatively quasi-free algebras

Alexey Bondal,Ilya Zhdanovskiy

DOI: https://doi.org/10.48550/arXiv.1501.02521

2015-01-12

Abstract:We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.

Rings and Algebras
$\ell^2$ Betti numbers and coherence of random groups

Dawid Kielak,Robert Kropholler,Gareth Wilkes

DOI: https://doi.org/10.48550/arXiv.2003.06354

2022-06-14

Abstract:We study $\ell^2$ Betti numbers, coherence, and virtual fibring of random groups in the few-relator model. In particular, random groups with negative Euler characteristic are coherent, have $\ell^2$ homology concentrated in dimension 1, and embed in a virtually free-by-cyclic group with high probability. Similar results are shown with positive probability in the zero Euler characteristic case.

Group Theory
Cohomology ring of non-compact abelian arrangements

Evienia Bazzocchi,Roberto Pagaria,Maddalena Pismataro

2024-04-08

Abstract:We give a Orlik-Solomon type presentation for the cohomology ring of arrangements in a non-compact abelian Lie group. The new insight consists in comparing arrangements in different abelian groups. Our work is based on the Varchenko-Gelfand ring for real hyperplane arrangements and from that we deduce the cohomology rings of all other abelian arrangements. As by-product, we obtain a new proof of the Orlik-Solomon relations and De Concini-Procesi ones.

Algebraic Topology,Combinatorics
Homology groups of cubical sets

Ahmet A. Husainov

DOI: https://doi.org/10.1007/S10485-018-9550-2

2023-06-30

Abstract:The paper is devoted to homology groups of cubical sets with coefficients in contravariant systems of Abelian groups. The study is based on the proof of the assertion that the homology groups of the category of cubes with coefficients in the diagram of Abelian groups are isomorphic to the homology groups of normalized complex of the cubical Abelian group corresponding to this diagram. The main result shows that the homology groups of a cubical set with coefficients in a contravariant system of Abelian groups are isomorphic to the values of left derived functors of the colimit functor on this contravariant system. This is used to obtain the isomorphism criterion for homology groups of cubical sets with coefficients in contravariant systems, and also to construct spectral sequences for the covering of a cubical set and for a morphism between cubical sets. This version of the preprint contains a refinement of the proof of Lemma 3.2 corresponding to Lemma 4 from the paper of the same name published in the journal Appl. Category. Struct. 27, 199-216 (2019).

Algebraic Topology,Category Theory
Almost coherent modules and almost coherent sheaves

Bogdan Zavyalov

2024-05-21

Abstract:We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes. We show that these sheaves satisfy many properties similar to usual coherent sheaves, i.e. the Almost Proper Mapping Theorem, the Formal GAGA, etc. We also construct an almost version of the Grothendieck twisted image functor $f^!$ and verify its properties. Lastly, we study sheaves of $p$-adic nearby cycles on admissible formal models of rigid spaces and show that these sheaves provide examples of almost coherent sheaves. This gives a new proof of the finiteness result for étale cohomology of proper rigid spaces obtained before in the work of Peter Scholze "$p$-adic Hodge Theory For Rigid-Analytic Varieties".

Algebraic Geometry,Commutative Algebra
Homotopy cofinality for Non-Abelian homology of group diagrams

Ahmet A. Husainov

2024-03-26

Abstract:We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the homology of its inverse image under a homotopy cofinal functor. This also made it possible to establish that the non-Abelian homology of group diagrams are invariant under the left Kan extension along virtual discrete cofibrations. With the help of these results, we have constructed a non-Abelian Gabriel-Zisman homology theory for simplicial sets with coefficients in group diagrams. Moreover, we have generalized this theory to presheaves over an arbitrary small category, which play the role of simplicial sets. Sufficient conditions are found for the isomorphism of non-Abelian homology of presheaves over a small category with coefficients in group diagrams. It is proved that the non-Abelian homology of the factorization category for the small category is isomorphic to the Baues-Wirsching homology. A condition is found under which a functor between small categories induces an isomorphism of non-Abelian Baues-Wirsching homology.

Algebraic Topology,Category Theory,K-Theory and Homology
Topological proofs of categorical coherence

Pierre-Louis Curien,Guillaume Laplante-Anfossi

2024-05-08

Abstract:We give a short topological proof of coherence for categorified non-symmetric operads by using the fact that the diagrams involved form the 1-skeleton of simply connected CW complexes. We also obtain a "one-step" topological proof of Mac Lane's coherence theorem for symmetric monoidal categories, as suggested by Kapranov in 1993. Our analysis is based on a notion of combinatorial homotopy, which we further study in the special case of polyhedral complexes, leading to a second geometrical proof of coherence which is very close to Mac Lane's original argument. We use Morse theory to show that this second method is (strictly) less general than the first. We provide a detailed analysis of how both methods allow us to deduce these two categorical coherence results and discuss possible generalizations to higher categories.

Algebraic Topology,Combinatorics,Category Theory,Quantum Algebra
Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

Xin Li

2024-11-26

Abstract:Inspired by work of Szymik and Wahl on the homology of Higman-Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids. Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui's AH-conjecture for all minimal, ample groupoids with comparison.

Group Theory,Algebraic Topology,Dynamical Systems,K-Theory and Homology,Operator Algebras
The low dimensional homology groups of the elementary group of rank two

Behrooz Mirzaii,Elvis Torres Pérez

2024-07-25

Abstract:In this article we study the first, the second and the third homology groups of the elementary group $\textrm{E}_2(A)$, where $A$ is a commutative ring. In particular, we prove a refined Bloch-Wigner type exact sequence over a semilocal ring (with some mild restriction on its residue fields) such that $-1\in (A^{\times})^2$ or $|A^{\times}/(A^{\times})^2|\leq 4$.

K-Theory and Homology
Coherence conditions for the characters of trivial source modules and strong isotypies

John Revere McHugh

2023-10-17

Abstract:We introduce a new type of equivalence between blocks of finite group algebras called a strong isotypy. A strong isotypy is equivalent to a $p$-permutation equivalence and restricts to an isotypy in the sense of Broué. To prove these results we first establish that the group $T_{\mathcal{O}}(B)$ of trivial source $B$-modules, where $B$ is a block of a finite group algebra, is isomorphic to groups of ``coherent character tuples.'' This provides a refinement of work by Boltje and Carman which characterizes the ring $T_{\mathcal{O}}(G)$ of trivial source $\mathcal{O}G$-modules, where $G$ is a finite group, in terms of coherent character tuples.

Representation Theory
Galois cohomology and profinitely solitary Chevalley groups

Holger Kammeyer,Ryan Spitler

DOI: https://doi.org/10.1007/s00208-024-02808-w

2024-02-26

Mathematische Annalen

Abstract:For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. Assuming Grothendieck rigidity, we essentially solve the problem by Galois cohomological means.

mathematics
On Amenable and Coamenable Coideals

Benjamin Anderson-Sackaney

2023-08-03

Abstract:We study relative amenability and amenability of a right coideal $\widetilde{N}_P\subseteq \ell^\infty(\mathbb{G})$ of a discrete quantum group in terms of its group-like projection $P$. We establish a notion of a $P$-left invariant state and use it to characterize relative amenability. We also develop a notion of coamenability of a compact quasi-subgroup $N_\omega\subseteq L^\infty(\widehat{\mathbb{G}})$ that generalizes coamenability of a quotient as defined by Kalantar, Kasprzak, Skalski, and Vergnioux, where $\widehat{\mathbb{G}}$ is the compact dual of $\mathbb{G}$. In particular, we establish that the coamenable compact quasi-subgroups of $\widehat{\mathbb{G}}$ are in one-to-one correspondence with the idempotent states on the reduced $C^*$-algebra $C_r(\widehat{\mathbb{G}})$. We use this work to obtain results for the duality between relative amenability and amenability of coideals in $\ell^\infty(\mathbb{G})$ and coamenability of their codual coideals in $L^\infty(\widehat{\mathbb{G}})$, making progress towards a question of Kalantar et al{.}.

Operator Algebras,Functional Analysis
Weakly right coherent monoids

Levent Michael Dasar,Victoria Gould,Craig Miller

2024-11-06

Abstract:A monoid $S$ is said to be weakly right coherent if every finitely generated right ideal of $S$ is finitely presented as a right $S$-act. It is known that $S$ is weakly right coherent if and only if it satisfies the following conditions: $S$ is right ideal Howson, meaning that the intersection of any two finitely generated right ideals of $S$ is finitely generated; and the right annihilator congruences of $S$ are finitely generated as right congruences. We examine the behaviour of these two conditions (in the more general setting of semigroups) under certain algebraic constructions and deduce closure results for the class of weakly right coherent monoids. We also show that the property of being right ideal Howson is related to the axiomatisability of a class of left acts satisfying a condition related to flatness.

Rings and Algebras
Coherent confluence modulo relations and double groupoids

Benjamin Dupont,Philippe Malbos

DOI: https://doi.org/10.48550/arXiv.1810.08184

2021-10-04

Abstract:A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by confluence diagrams of critical branchings. This article introduces a procedure to compute coherent presentations when the rewrite relations are defined modulo a set of axioms. Our coherence results are formulated using the structure of n-categories enriched in double groupoids, whose horizontal cells represent rewriting paths, vertical cells represent the congruence generated by the axioms and square cells represent coherence cells induced by diagrams of confluence modulo. We illustrate our constructions on rewriting systems modulo commutation relations in commutative monoids, isotopy relations in pivotal monoidal categories, and inverse relations in groups.

Category Theory
Coherent Springer theory and the categorical Deligne-Langlands correspondence

David Ben-Zvi,Harrison Chen,David Helm,David Nadler

DOI: https://doi.org/10.1007/s00222-023-01224-2

2023-11-07

Abstract:Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields $F$ with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from $K$-theory to Hochschild homology and thereby identify $\mathcal{H}$ with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, the coherent Springer sheaf. As a result the derived category of $\mathcal{H}$-modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues-Scholze, Hellmann and Zhu). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement: we construct a full embedding of the derived category of smooth representations of $\mathrm{GL}_n(F)$ into coherent sheaves on the stack of Langlands parameters.

Representation Theory,Algebraic Geometry,Number Theory
Uniform negative immersions and the coherence of one-relator groups

Larsen Louder,Henry Wilton

DOI: https://doi.org/10.1007/s00222-024-01246-4

IF: 3.128

2024-03-02

Inventiones mathematicae

Abstract:Previously, the authors proved that the presentation complex of a one-relator group satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of is free. Here, we prove that one-relator groups with negative immersions are coherent, answering a question of Baumslag in this case. Other strong constraints on the finitely generated subgroups also follow such as, for example, the co-Hopf property. The main new theorem strengthens negative immersions to uniform negative immersions , using a rationality theorem proved with linear-programming techniques.

mathematics

Coherence for elementary amenable groups

Coherence for elementary amenable groups

On the coherence of one-relator groups and their group algebras

On the Coherency of Completed Group Algebra

Coherence and Confluence

Coherence of relatively quasi-free algebras

$\ell^2$ Betti numbers and coherence of random groups

Cohomology ring of non-compact abelian arrangements

Homology groups of cubical sets

Almost coherent modules and almost coherent sheaves

Homotopy cofinality for Non-Abelian homology of group diagrams

Topological proofs of categorical coherence

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

The low dimensional homology groups of the elementary group of rank two

Coherence conditions for the characters of trivial source modules and strong isotypies

Galois cohomology and profinitely solitary Chevalley groups

On Amenable and Coamenable Coideals

Weakly right coherent monoids

Coherent confluence modulo relations and double groupoids

Coherent Springer theory and the categorical Deligne-Langlands correspondence

Uniform negative immersions and the coherence of one-relator groups