Makanin-Razborov diagrams for limit groups

Emina Alibegovic

DOI: https://doi.org/10.2140/gt.2007.11.643

2004-08-27

Abstract: We give a description of $Hom(G,L)$, where $L$ is a limit group (fully residually free group). We construct a finite diagram of groups, Makanin-Razborov diagram, that gives a convinient representation of all such homomorphisms.

Group Theory

What problem does this paper attempt to address?

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Binyong Sun

2011-01-01

Abstract:Let G be a real reductive group with an involution σ on it. Let H be an open subgroup of Gσ with a character χ on it. Associated to a “theta stable”, “σ-split” parabolic subalgebra, and using the Zuckerman functor, we construct representations of G together with χ-equivariant linear functionals on them. We apply this construction to prove a non-vanishing hypothesis of H. Grobner and A. Raghuram in the study of algebraicity of critical L-values.
On cardinalities in quotients of inverse limits of groups

Rami Grossberg,Saharon Shelah

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

1999-11-28

Logic

Abstract:Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega there is a homomorphism h:H_n-->G_n such that all the diagrams commute. If for every mu<lambda there exists (f_i in G_omega:i<mu) such that for distinct i,j we have: f_i f_j^{-1} notin h_omega(H_omega), then there exists (f_i in G_omega:i<2^lambda) such that for distinct i,j we have f_i f_j^{-1} notin h_omega(H_omega).
Homotopy types of diagrams of chain complexes

David Blanc,Surojit Ghosh,Aziz Kharoof

2024-04-05

Abstract:We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces.

Algebraic Topology
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
Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

Taro Fujisawa

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

2020-11-22

Abstract:We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural \textit{limiting} mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotnet orbit in several variables.

Algebraic Geometry
Limits via relations

Sergei O. Ivanov,Roman Mikhailov,Fedor Pavutnitskiy

2024-05-06

Abstract:In this paper, we study operations on functors in the category of abelian groups simplar to the derivation in the sense of Dold-Puppe. They are defined as derived limits of a functor applied to the relation subgroup over a category of free presentations of the group. The integral homology of the Eilenberg-Maclane space $K(\mathbb Z,3)$ appears as a part of description of these operations applied to symmetric powers.

K-Theory and Homology,Algebraic Topology
Ihara's Lemma for $\mathrm{GL}_n$: the limit case

Pascal Boyer

2024-04-25

Abstract:Clozel, Harris and Taylor proposed conjectural generalizations of the classical Ihara's lemma for $\mathrm{GL}_2$, to higher dimensional similitude groups. We prove these conjectures in the so called limit case, which after base change is the essential one, under any hypothesis allowing level raising as for example in the work of Gee.

Number Theory
Homological representations of low genus mapping class groups

Trent Lucas

2024-03-14

Abstract:Given a finite group $G$ acting on a surface $S$, the centralizer of G in the mapping class group $\textrm{Mod}(S)$ has a natural representation given by its action on the homology $H_1(S; \mathbb{Q})$. We consider the question of whether this representation has arithmetic image. Several authors have given positive and negative answers to this question. We give a complete answer when S has genus at most 3.

Geometric Topology,Group Theory,Representation Theory
Groups of cohomological codimension one

Alexander Margolis

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

2019-08-23

Abstract:We show that if $H$ is an almost normal subgroup of $G$ such that both $H$ and $G$ are of type $VFP$ and vcd($G$) = vcd($H$) + 1, then $G$ is the fundamental group of a graph of groups in which all vertex and edge groups are commensurable to $H$. We also investigate almost normal subgroups of one-relator groups and duality groups.

Group Theory
Dimension quotients as boundary limits

Roman Mikhailov

2024-05-07

Abstract:For a functor from the category of free presentations of a group to the category of all groups we define the boundary limit as an image of the natural map from limit to colimit. We show that the fourth dimension quotient of a group can be naturally described as the boundary limit of a simply-defined functor.

Group Theory,Category Theory
Conjugacy Limits of the Cartan Subgroup in SL(3,R)

Arielle Leitner

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

2014-06-17

Geometric Topology

Abstract:A limit group is the limit of a sequence of conjugates of the diagonal Cartan subgroup, C, of SL(3,R). We show C has 5 possible limit groups, up to conjugacy. Each limit group is determined by an equivalence class of nonstandard triangle, and we give a criterion for a sequence of conjugates of C to converge to each of the 5 limit groups.
Ample groupoid homology and étale correspondences

Alistair Miller

2024-09-06

Abstract:We show that étale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids, which generates a procedure for building resolutions of arbitrary groupoid modules. These resolutions can be used to work with the Tor picture of groupoid homology, enabling explicit descriptions of the maps in homology induced by étale correspondences.

K-Theory and Homology,Operator Algebras
The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

Guchuan Li,Ningchuan Zhang

2023-09-24

Abstract:In this paper, we study profinite descent theory for Picard groups in $K(n)$-local homotopy theory through their inverse limit topology. Building upon Burklund's result on the multiplicative structures of generalized Moore spectra, we prove that the module category over a $K(n)$-local commutative ring spectrum is equivalent to the limit of its base changes by a tower of generalized Moore spectra of type $n$. As a result, the $K(n)$-local Picard groups are endowed with a natural inverse limit topology. This topology allows us to identify the entire $E_1$ and $E_2$-pages of a descent spectral sequence for Picard spaces of $K(n)$-local profinite Galois extensions. Our main examples are $K(n)$-local Picard groups of homotopy fixed points $E_n^{hG}$ of the Morava $E$-theory $E_n$ for all closed subgroups $G$ of the Morava stabilizer group $\mathbb{G}_n$. The $G=\mathbb{G}_n$ case has been studied by Heard and Mor. At height $1$, we compute Picard groups of $E_1^{hG}$ for all closed subgroups $G$ of $\mathbb{G}_1=\mathbb{Z}_p^\times$ at all primes as a Mackey functor.

Algebraic Topology
Drinfeld type presentations of loop algebras

Fulin Chen,Naihuan Jing,Fei Kong,Shaobin Tan

DOI: https://doi.org/10.1090/tran/8120

2019-02-01

Abstract:Let $\mathfrak{g}$ be the derived subalgebra of a Kac-Moody Lie algebra of finite type or affine type, $\mu$ a diagram automorphism of $\mathfrak{g}$ and $L(\mathfrak{g},\mu)$ the loop algebra of $\mathfrak{g}$ associated to $\mu$. In this paper, by using the vertex algebra technique, we provide a general construction of current type presentations for the universal central extension $\widehat{\mathfrak{g}}[\mu]$ of $L(\mathfrak{g},\mu)$. The construction contains the classical limit of Drinfeld's new realization for (twisted and untwisted) quantum affine algebras ([Dr]) and the Moody-Rao-Yokonuma presentation for toroidal Lie algebras ([MRY]) as special examples. As an application, when $\mathfrak{g}$ is of simply-laced type, we prove that the classical limit of the $\mu$-twisted quantum affinization of the quantum Kac-Moody algebra associated to $\mathfrak{g}$ introduced in [CJKT1] is the universal enveloping algebra of $\widehat{\mathfrak{g}}[\mu]$.

Quantum Algebra
Generalized rook-Brauer algebras and their homology

Daniel Graves

2023-10-10

Abstract:Rook-Brauer algebras are a family of diagram algebras. They contain many interesting subalgebras: rook algebras, Brauer algebras, Motzkin algebras, Temperley-Lieb algebras and symmetric group algebras. In this paper, we generalize the rook-Brauer algebras and their subalgebras by allowing more structured diagrams. We introduce equivariance by labelling edges of a diagram with elements of a group $G$. We introduce braiding by insisting that when two strands cross, they do so as either an under-crossing or an over-crossing. We also introduce equivariant, braided diagrams by combining these structures. We then study the homology of our diagram algebras, as pioneered by Boyd and Hepworth, using methods introduced by Boyde. We show that, given certain invertible parameters, we can identify the homology of our generalized diagram algebras with the group homology of the braid groups $B_n$ and the semi-direct products $G^n\rtimes \Sigma_n$ and $G^n\rtimes B_n$. This allows us to deduce homological stability results for our generalized diagram algebras. We also prove that for diagrams with an odd number of edges, the homology of equivariant Brauer algebras and equivariant Temperley-Lieb algebras can be identified with the group homology of $G^n\rtimes \Sigma_n$ and $G^n$ respectively, without any conditions on parameters.

Algebraic Topology
Inverse Limits of Finite Rank Free Groups

Gregory Conner,Curt Kent

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

2011-08-04

Abstract:We will show that all inverse limits of finite rank free groups index by the natural numbers are isomorphic either to a finite rank free group or to a fixed universal group. In other words, any inverse system of finite rank free groups which is not equivalent to an eventually constant system has the universal group as its limit. This universal inverse limit is naturally isomorphic to the first shape group of the Hawaiian earring. We also give an example of a homomorphic image of a Hawaiian earring group which lies in the inverse limit of free groups but is neither a free group nor a Hawaiian earring group.

Group Theory
Manifold Diagrams for Higher Categories

Lukas Heidemann

2024-11-08

Abstract:We develop a graphical calculus of manifold diagrams which generalises string and surface diagrams to arbitrary dimensions. Manifold diagrams are pasting diagrams for $(\infty, n)$-categories that admit a semi-strict composition operation for which associativity and unitality is strict. The weak interchange law satisfied by composition of manifold diagrams is determined geometrically through isotopies of diagrams. By building upon framed combinatorial topology, we can classify critical points in isotopies at which the arrangement of cells changes. This allows us to represent manifold diagrams combinatorially and use them as shapes with which to probe $(\infty, n)$-categories, presented as $n$-fold Segal spaces. Moreover, for any system of labels for the singularities in a manifold diagram, we show how to generate a free $(\infty, n)$-category.

Algebraic Topology,Logic in Computer Science,Category Theory
Lax limits of model categories

Yonatan Harpaz

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

2019-02-13

Abstract:For a diagram of simplicial combinatorial model categories, we show that the associated lax limit, endowed with the projective model structure, is a presentation of the lax limit of the underlying $\infty$-categories. Our approach can also allow for the indexing category to be simplicial, as long as the diagram factors through its homotopy category. Analogous results for the associated homotopy limit (and other intermediate limits) directly follow.

Algebraic Topology
Gorenstein cohomological dimension and stable categories for groups

Wei Ren

2024-06-12

Abstract:First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature obtained over the coefficient ring $\mathbb{Z}$ or rings of finite global dimension are generalized to more general cases. Moreover, we establish a model structure on the weakly idempotent complete exact category $\mathcal{F}ib$ consisting of fibrant $RG$-modules, and show that the homotopy category $\mathrm{Ho}(\mathcal{F}ib)$ is triangle equivalent to both the stable category $\underline{\mathcal{C}of}(RG)$ of Benson's cofibrant modules, and the stable module category ${\rm StMod}(RG)$. The relation between cofibrant modules and Gorenstein projective modules is discussed, and we show that under some conditions such that ${\rm Gcd}_RG<\infty$, ${\rm Ho}(\mathcal{F}ib)$ is equivalent to the stable category of Gorenstein projective $RG$-modules, the singularity category, and the homotopy category of totally acyclic complexes of projective $RG$-modules.

K-Theory and Homology
Virtual homology of limit groups and profinite rigidity of direct products

Jonathan Fruchter,Ismael Morales

2024-05-21

Abstract:We show that the virtual second Betti number of a finitely generated, residually free group $G$ is finite if and only if $G$ is either free, free abelian or the fundamental group of a closed surface. We also prove a similar statement in higher dimensions. We then develop techniques involving rank gradients of pro-$p$ groups, which allow us to recognise direct product decompositions. Combining these ideas, we show that direct products of free and surface groups are profinitely rigid among finitely presented, residually free groups, partially resolving a conjecture of Bridson's. Other corollaries that we obtain include a confirmation of Mel'nikov's surface group conjecture in the residually free case, and a description of closed aspherical manifolds of dimension at least $5$ with a residually free fundamental group.

Group Theory,Geometric Topology

Makanin-Razborov diagrams for limit groups

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

On cardinalities in quotients of inverse limits of groups

Homotopy types of diagrams of chain complexes

Homotopy cofinality for Non-Abelian homology of group diagrams

Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

Limits via relations

Ihara's Lemma for $\mathrm{GL}_n$: the limit case

Homological representations of low genus mapping class groups

Groups of cohomological codimension one

Dimension quotients as boundary limits

Conjugacy Limits of the Cartan Subgroup in SL(3,R)

Ample groupoid homology and étale correspondences

The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

Drinfeld type presentations of loop algebras

Generalized rook-Brauer algebras and their homology

Inverse Limits of Finite Rank Free Groups

Manifold Diagrams for Higher Categories

Lax limits of model categories

Gorenstein cohomological dimension and stable categories for groups

Virtual homology of limit groups and profinite rigidity of direct products