Finiteness properties of arithmetic groups over function fields

A new proof of finiteness of maximal arithmetic reflection groups

We give a new proof of the finiteness of maximal arithmetic reflection groups. Our proof is novel in that it makes no use of trace formulas or other tools from the theory of automorphic forms and instead relies on the arithmetic Margulis lemma of Fraczyk, Hurtado and Raimbault.

Higher finiteness properties of arithmetic approximate lattices: The Rank Theorem for number fields

We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups without infinite places we show that the finiteness length is finite and compute this finiteness length explicitly. In the simple case it is one less than the sum of the local ranks. This extends the Rank Theorem of Bux, Köhl and the second author from positive characteristic to characteristic zero. Our proof is based on a geometric version of their proof, b…

Quantifying residual finiteness of arithmetic groups

The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G).

Arithmetic group symmetry and finiteness properties of Torelli groups

We examine groups whose resonance varieties, characteristic varieties and Sigma-invariants have a natural arithmetic group symmetry, and we explore implications on various finiteness properties of subgroups. We compute resonance varieties, characteristic varieties and Alexander polynomials of Torelli groups, and we show that all subgroups containing the Johnson kernel have finite first Betti number, when the genus is at least four. We also prove that, in this range, the $I$-adic completion of the Alexander invariant is finite-dimensional, and the Kahler property for the Torelli group implies t…

On the geometry of global function fields, the Riemann-Roch theorem, and finiteness properties of S-arithmetic groups

Harder's reduction theory provides filtrations of euclidean buildings that allow one to deduce cohomological and homological properties of S-arithmetic groups over global function fields. In this survey I will sketch the main points of Harder's reduction theory starting from Weil's geometry of numbers and the Riemann-Roch theorem, describe a filtration that is particularly useful for deriving finiteness properties of S-arithmetic groups, and state the rank conjecture and its partial verifications that do not restrict the cardinality of the underlying field of constants. As a motivation for fur…

Residual finiteness of extensions of arithmetic subgroups of SU(d,1) with cusps

Let $Γ$ be an arithmetic subgroup of $SU(d,1)$ with cusps, and let $X_Γ$ be the associated locally symmetric space. We prove that if the first inner cohomology group $H^1_!(X_Γ,\mathbb{C})$ is non-zero then the pre-image of $Γ$ in each connected cover of $SU(d,1)$ is residually finite. We also give an example of a such a group $Γ$ for which $H^1_!(X_Γ,\mathbb{C})$ is non-zero.

Effective virtual and residual properties of some arithmetic hyperbolic 3-manifolds

We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fixed commensurability class we show that the index of such a subgroup is asymptotically smaller than any fractional power of the volume of the manifold. We also give effective bounds on the geodesic residual finiteness growths of closed hyperbolic manifolds that totally geodesicall…

Connectivity Properties of Horospheres in Euclidean Buildings and Applications to Finiteness Properties of Discrete Groups

Let G(O_S) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(O_S) provided the K-rank of G is 1. This shows that the general upper bound for the finiteness length of G(O_S) established in an earlier paper is sharp in this case. The geometric analysis underlying our result determines the conectivity properties of horospheres in thick Euclidean buildings.

Filling boundaries of coarse manifolds in semisimple and solvable arithmetic groups

We provide partial results towards a conjectural generalization of a theorem of Lubotzky-Mozes-Raghunathan for arithmetic groups (over number fields or function fields) that implies, in low dimensions, both polynomial isoperimetric inequalities and finiteness properties. As a tool in our proof, we establish polynomial isoperimetric inequalities and finiteness properties for certain solvable groups that appear as subgroups of parabolic groups in semisimple groups, thus generalizing a theorem of Bux. We also develop a precise version of reduction theory for arithmetic groups whose proof is, for …

Finiteness Properties of Non-Uniform Lattices on CAT(0) Polyhedral Complexes

We show that the homological finiteness length of a non-uniform lattice on a locally finite CAT(0) n-dimensional polyhedral complex is less than n. As a corollary, we obtain an upper bound for the homological finiteness length of arithmetic groups over function fields. This gives an easier proof of a result of Bux and Wortman that solved a long-standing conjecture.

Residual Finiteness Growths of Virtually Special Groups

Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$, for $k > 2$, has residual finiteness growth $n^{k-1}$.

双曲混合流形中极大测地子流形的有限性

Finiteness of Maximal Geodesic Submanifolds in Hyperbolic Hybrids

该研究证明大类非算术双曲n-流形（含Gromov等的混合流形）的有限体积浸入全测地超曲面有限，且高余维下维数≥2的极大测地子流形有限，证明结合算术群结构、动力系统与负曲率几何。

渐近刚性柄体群的有限性性质

Finiteness properties of asymptotically rigid handlebody groups

本文引入渐近刚性柄体映射类群，研究其有限性性质如何依赖于柄体的端空间，并证明在某些情形下其同调与柄体群的稳定同调一致。

Thompson groups for systems of groups, and their finiteness properties

We describe a procedure for constructing a generalized Thompson group out of a family of groups that is equipped with what we call a cloning system. The previously known Thompson groups F, V, Vbr and Fbr arise from this procedure using, respectively, the systems of trivial groups, symmetric groups, braid groups and pure braid groups. We give new examples of families of groups that admit a cloning system and study how the finiteness properties of the resulting generalized Thompson group depend on those of the original groups. The main new examples here include upper triangular matrix groups, mo…

On the residual finiteness of outer automorphisms of relatively hyperbolic groups

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable relatively hyperbolic group is residually finite. As a direct consequence, we obtain that the outer automorphism group of a limit group is residually finite.

Dehn functions and finiteness properties of subgroups of perturbed right-angled Artin groups

We introduce the class of perturbed right-angled Artin groups. These are constructed by gluing Bieri double groups into standard right-angled Artin groups. As a first application of this construction we obtain families of CAT(0) groups containing finitely presented subgroups which are not of type $\mathrm{FP}_3$, and have exponential, or polynomial Dehn functions of prescribed degree.

Residual finiteness of certain 2-dimensional Artin groups

We show that many $2$-dimensional Artin groups are residually finite. This includes $3$-generator Artin groups with labels $\geq 4$ except for $(2m+1, 4,4)$ for any $m\geq 2$. As a first step towards residual finiteness we show that these Artin groups, and many more, split as free products with amalgamation or HNN extensions of finite rank free groups. Among others, this holds for all large type Artin groups with defining graph admitting an orientation, where each simple cycle is directed.

Vertex finiteness for splittings of relatively hyperbolic groups

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal G-trees with edge stabilizers in $\mathcal{A}$. We show vertex finiteness when G is a toral relatively hyperbolic group and $\mathcal{A}$ is the family of abelian subgroups. We also show vertex finiteness when G is hyperbolic relative to virtually polycyclic subgroups and $\mathcal{A}$ is the family of virtually cyclic subgroups; if moreover G is one-ended, …

群扩张的代数纤维的有限性性质

Finiteness properties of algebraic fibers of group extensions

本综述总结了群扩张的代数纤维化存在性及其代数纤维的有限性性质，并探讨了这些结果在抽象群、pro-p群及高阶相干性中的应用。

Residual finiteness, QCERF, and fillings of hyperbolic groups

We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.

On the Residual Finiteness Growths of Particular Hyperbolic Manifold Groups

We give a quantification of residual finiteness for the fundamental groups of hyperbolic manifolds that admit a totally geodesic immersion to a compact, right-angled Coxeter orbifold of dimension 3 or 4. Specifically, we give explicit upper bounds on residual finiteness that are linear in terms of geodesic length. We then extend the linear upper bounds to hyperbolic manifolds with a finite cover that admits such an immersion. Since the quantifications are given in terms of geodesic length, we define the geodesic residual finiteness growth and show that this growth is equivalent to the usual re…

映射类群的同余子群性质与双曲群的剩余有限性

The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

本文在假设所有双曲群剩余有限的前提下，证明了有限型双曲曲面映射类群的同余子群性质，并由此推出profinite等价的双曲3-流形必为commensurable。

Picard模曲面的剩余有限性与尖点上同调

Residual finiteness and cuspidal cohomology of Picard modular surfaces

本文证明SU(2,1)中非均匀算术格在万有覆盖及连通有限覆盖中的逆像均剩余有限，关键新输入是每个可公度类含同余格使尖点第一上同调非零，证明基于Rogawski内窥镜分类及作者先前上同调判据。

Finiteness Properties of Chevalley Groups over a Polynomial Ring over a Finite Field

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true without any assumption on q and for any isotropic, absolutely almost simple group G defined over Fq.

Finiteness properties for some rational Poincaré duality groups

A combination of Bestvina--Brady Morse theory and an acyclic reflection group trick produces a torsion-free finitely presented Q-Poincaré duality group which is not the fundamental group of an aspherical closed ANR Q-homology manifold. The acyclic construction suggests asking which Q-Poincaré duality groups act freely on Q-acyclic spaces, i.e., which groups are FH(Q). For example, the orbifold fundamental group Γ of a good orbifold satisfies Q-Poincaré duality, and we show Γ is FH(Q) if the Euler characteristics of certain fixed sets vanish.

Quantifying Residual Finiteness

We introduce the concept of quantifying the extent to which a finitely generated group is residually finite. The quantification is carried out for some examples including free groups, the first Grigorchuk group, finitely generated nilpotent groups, and certain arithmetic groups such as $SL_n(\mathbb{Z})$. In the context of finite nilpotent quotients, we find a new characterization of nilpotent groups.

On the residual finiteness of outer automorphisms of relatively hyperbolic groups

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite. As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is resudually finite. We also generalize the main result for relatively hyperbolic groups.

Recent developments in the theory of linear algebraic groups: Good reduction and finiteness properties

This is a survey article on some recent developments in the arithmetic theory of linear algebraic groups over higher-dimensional fields, written for the Notices of the AMS.

Finiteness Theorems for Gromov-Hyperbolic Spaces and Groups

In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the hyperbolicity constant and of an upper bound of the entropy of the space and of an upper bound of the diameter of its quotient. As a consequence we show that the set of non cyclic torsion-free $δ$-hyperbolic marked groups whose entropy is bounded above by a number $H$ is finite with cardinality depending on $δ$ and $H$ alone. From these results, we draw homo…

Finiteness Properties of Chevalley Groups over the Ring of (Laurent) Polynomials over a Finite Field

In these notes we determine the finiteness length of the groups G(O_S) where G is an F_q-isotropic, connected, noncommutative, almost simple F_q-group and O_S is one of F_q[t], F_q[t^{-1}], and F_q[t,t^{-1}]. That is, k = F_q(t) and S contains one or both of the places s_0 and s_\infty corresponding to the polynomial p(t) = t respectively to the point at infinity. The statement is that the finiteness length of G(O_S) is n-1 if S contains one of the two places and is 2n-1 if it contains both places, where n is the F_q-rank of G. For example, the group SL_3(F_q[t,t^{-1}]) is of type F_3 but not …

Homological finiteness in the Johnson filtration of the automorphism group of a free group

We examine the Johnson filtration of the (outer) automorphism group of a finitely generated group. In the case of a free group, we find a surprising result: the first Betti number of the second subgroup in the Johnson filtration is finite. Moreover, the corresponding Alexander invariant is a non-trivial module over the Laurent polynomial ring. In the process, we show that the first resonance variety of the outer Torelli group of a free group is trivial. We also establish a general relationship between the Alexander invariant and its infinitesimal counterpart.

Finite presentations for Kähler groups with arbitrary finiteness properties

We construct the first explicit finite presentations for a family of Kähler groups with arbitrary finiteness properties, answering a question of Suciu.

不可约格的升链、双可逆自动机与仿射算术群

Ascending chains of irreducible lattices, bi-reversible automata and affine arithmetic groups

研究在\(n\)个齐次树乘积中构造不可约格升链，以及定义双可逆自动机使其定义的群有特定有限性长度，核心方法是借助全局函数域仿射群中\(S -\)算术群，贡献是实现相关构造。

Bounding the homological finiteness length

We give a criterion for bounding the homological finiteness length of certain HF-groups. This is used in two distinct contexts. Firstly, the homological finiteness length of a non-uniform lattice on a locally finite n-dimensional contractible CW-complex is less than n. In dimension two it solves a conjecture of Farb, Hruska and Thomas. As another corollary, we obtain an upper bound for the homological finiteness length of arithmetic groups over function fields. This gives an easier proof of a result of Bux and Wortman that solved a long-standing conjecture. Secondly, the criterion is applied t…

Finiteness properties of profinite groups

Broadly speaking, a finiteness property of groups is any generalisation of the property of having finite order. A large part of infinite group theory is concerned with finiteness properties and the relationships between them. Profinite groups are an important case of this, being compact topological groups that possess an intimate connection with their finite images. This thesis investigates the relationship between several finiteness properties that a profinite group may have, with consequences for the structure of finite and profinite groups.

Arbitrarily Large Residual Finiteness Growth

The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups.

群对的有限性性质与准等距性

Finiteness properties and quasi-isometry of group pairs

本文研究了群对的有限性性质在准等距下的不变性。

Finiteness Theorems for Kac-Moody Groups Over Nonarchimedean Local Fields

We prove the finiteness of formal analogues of the spherical function (Spherical Finiteness), the ${\mathbf c}$-function (Gindikin-Karpelevich Finiteness), and obtain a formal analogue of Harish-Chandra's limit (Approximation Theorem) relating spherical and ${\mathbf c}$-function in the setting of $p$-adic Kac-Moody groups. The finiteness theorems imply that the formal analogue of the Gindikin-Karpelevich integral is well defined in local Kac-Moody settings. These results extend the Braverman-Garland-Kazhdan-Patnaik's affine Gindikin-Karpelevich finiteness theorems and provide an algebraic ana…

Quantifying Residual Finiteness of Linear Groups

Normal residual finiteness growth measures how well a finitely generated group is approximated by its finite quotients. We show that any linear group $Γ\leq \mathrm{GL}_d(K)$ has normal residual finiteness growth asymptotically bounded above by $(n\log n)^{d^2-1}$; notably this bound depends only on the degree of linearity of $Γ$. We also give precise asymptotics in the case that $Γ$ is a subgroup of a higher rank Chevalley group $G$ and compute the non-normal residual finiteness growth in these cases. In particular, finite index subgroups of $G(\mathbb{Z})$ and $G(\mathbb{F}_p[t])$ have norma…

Finiteness of profinite groups with a rational probabilistic zeta function

We prove that every profinite group in a certain class with a rational probabilistic zeta function has only finitely many maximal subgroups.

Finiteness of the topological rank of diffeomorphism groups

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of dim M = k = 1.

Groups with near exponential residual finiteness growth

A function $\mathbb{N} \to \mathbb{N}$ is near exponential if it is bounded above and below by functions of the form $2^{n^c}$ for some $c > 0$. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchuk group, the family of Gupta-Sidki groups and their variations, and Fabrykowski-Gupta groups. We also show that the family of Gupta-Sidki p-groups, for $p\geq 5$, have super-exponential residual finit…

Residual finiteness growths of Lamplighter groups

Residual finiteness growth gives an invariant that indicates how well-approximated a finitely generated group is by its finite quotients. We briefly survey the state of the subject. We then improve on the best known upper and lower bounds for lamplighter groups. Notably, any lamplighter group has super-linear residual finiteness growth. In our proof, we quantify a congruence subgroup property for lamplighter groups.

Branched covers of elliptic curves and Kähler groups with exotic finiteness properties

We construct Kähler groups with arbitrary finiteness properties by mapping products of closed Riemann surfaces holomorphically onto an elliptic curve: for each $r\geq 3$, we obtain large classes of Kähler groups that have classifying spaces with finite $(r-1)$-skeleton but do not have classifying spaces with finitely many $r$-cells. We describe invariants which distinguish many of these groups. Our construction is inspired by examples of Dimca, Papadima and Suciu.

Kodaira fibrations, Kähler groups, and finiteness properties

We construct classes of Kähler groups that do not have finite classifying spaces and are not commensurable to subdirect products of surface groups. Each of these groups is the fundamental group of the generic fibre of a holomorphic map from a product of Kodaira fibrations onto an elliptic curve.

Cohomological finiteness conditions for a class of metabelian groups

We consider a class of metabelian groups first studied by Baumslag and Stammbach and we show that these groups are consistent with the Bieri-Groves conjecture which relates cohomological finiteness conditions to the Bieri-Neumann-Strebel sigma invariant.

具有换位子群有限性条件的群

Groups with Finiteness Conditions on commutator subgroups

本文研究了特定换位子群集合为有限的群的结构，重点分析了这类群与具有有限导出子群的群之间的关系。

通过锥猜想建立自同构群的几何有限性

Geometrical finiteness for automorphism groups via cone conjecture

本文通过锥猜想研究K3、恩里ques、Coble表面及不可约辛流形的自同构群在超球面上的等距作用的几何有限性，证明此类群非正曲率特性，并揭示K3表面的Kleinian晶格与(-2)曲线关系。

Finiteness Properties of Chevalley Groups over the Laurent Polynomial Ring over a Finite Field

We show that if G is a Chevalley group of rank n and F_q[t,t^{-1}] is the ring of Laurent polynomials over a finite field, then G(F_q[t,t^{-1}]) is of type F_{2n-1}. This bound is optimal because it is known -- and we show again -- that the group is not of type F_{2n}.

Probabilistic finiteness properties for profinite groups

We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the second author on positively finitely related groups. Using the theory of projective covers, we define and characterise a probabilistic version of the $\mathrm{FP}_n$ property for profinite groups, called $\mathrm{PFP}_n$. Finally, we prove how these conditions are related to previously defined finiteness conditions and each other.

Deciding finiteness of matrix groups in positive characteristic

We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over an arbitrary field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic. Our MAGMA implementations of these algorithms are publicly available.

Finiteness properties of totally disconnected locally compact groups

In this paper we investigate finiteness properties of totally disconnected locally compact groups for general commutative rings $R$, in particular for $R = \mathbb{Z}$ and $R= \mathbb{Q}$. We show these properties satisfy many analogous results to the case of discrete groups, and we provide analogues of the famous Bieri's and Brown's criteria for finiteness properties and deduce that both $FP_n$-properties and $F_n$-properties are quasi-isometric invariant. Moreover, we introduce graph-wreath products in the category of totally disconnected locally compact groups and discuss their finiteness p…

A criterion for residual $p$-finiteness of arbitrary graphs of finite $p$-groups

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also valid for infinite graphs of groups.

On Commutativity and Finiteness in Groups

The second author introduced notions of weak permutability and commutativity between groups and proved the finiteness of a group generated by two weakly permutable finite groups. Two groups H,K weakly commute provided there exists a bijection f: H -> K which fixes the identity element and such that h commutes with its image h^f for all h in H. The present paper gives support to conjectures about the nilpotency of groups generated by two weakly commuting finite abelian groups H,K.