Relative hyperbolicity and Artin groups

This paper considers the question of relative hyperbolicity of an Artin group with regard to the geometry of its associated Deligne complex. We prove that an Artin group is weakly hyperbolic relative to its finite (or spherical) type parabolic subgroups if and only if its Deligne complex is a Gromov hyperbolic space. For a two-dimensional Artin group the Deligne complex is Gromov hyperbolic precisely when the corresponding Davis complex is Gromov hyperbolic, that is, precisely when the underlying Coxeter group is a hyperbolic group. For Artin groups of FC type we give a sufficient condition for hyperbolicity of the Deligne complex which applies to a large class of these groups for which the underlying Coxeter group is hyperbolic. The key tool in the proof is an extension of the Milnor-Svarc Lemma which states that if a group G admits a discontinuous, co-compact action by isometries on a Gromov hyperbolic metric space, then G is weakly hyperbolic relative to the isotropy subgroups of the action.      

A Geometric Rational Form for Artin Groups of FC Type

If A is an Artin group whose poset of finite type special subgroups is a flag complex, then A is said to be of FC type. Such groups act cocompactly on a CAT(0) cubical complex with finite type Artin groups as stabilizers. We use the geometry of this complex to obtain a rational normal form for the group.     

On loxodromic actions of Artin–Tits groups

Artin–Tits groups act on a certain delta-hyperbolic complex, called the “additional length complex”. For an element of the group, acting loxodromically on this complex is a property analogous to the property of being pseudo-Anosov for elements of mapping class groups. By analogy with a well-known conjecture about mapping class groups, we conjecture that “most” elements of Artin–Tits groups act loxodromically. More precisely, in the Cayley graph of a subgroup G of an Artin–Tits group, the proportion of loxodromically acting elements in a ball of large radius should tend to one as the radius tends to infinity. In this paper, we give a condition guaranteeing that this proportion stays away from zero. This condition is satisfied e.g. for Artin–Tits groups of spherical type, their pure subgroups and some of their commutator subgroups.     

Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups

Consider the mapping class group Mod _g,p of a surface ?? _g,p of genus g with p punctures, and a finite collection {f₁, . . . , f_k} of mapping classes, each of which is either a Dehn twist about a simple closed curve or a pseudo-Anosov homeomorphism supported on a connected subsurface. In this paper we prove that for all sufficiently large N, the mapping classes ${\{f_1^N,\ldots,f_k^N\}}$ generate a right-angled Artin group. The right-angled Artin group which they generate can be determined from the combinatorial topology of the mapping classes themselves. When {f₁, . . . , f_k} are arbitrary mapping classes, we show that sufficiently large powers of these mapping classes generate a group which embeds in a right-angled Artin group in a controlled way. We establish some analogous results for real and complex hyperbolic manifolds. We also discuss the unsolvability of the isomorphism problem for finitely generated subgroups of Mod _g,p , and recover the fact that the isomorphism problem for right-angled Artin groups is solvable. We thus characterize the isomorphism type of many naturally occurring subgroups of Mod _g,p .     

Isomorphisms of Kac-Moody groups which preserve bounded subgroups

A subgroup of a Kac-Moody group is called bounded if it is contained in the intersection of two finite type parabolic subgroups of opposite signs. In this paper, we study the isomorphisms between Kac-Moody groups over arbitrary fields of cardinality at least 4, which preserve the set of bounded subgroups. We show that such an isomorphism between two such Kac-Moody groups induces an isomorphism between the respective twin root data of these groups. As a consequence, we obtain the solution of the isomorphism problem for Kac-Moody groups over finite fields of cardinality at least 4.     

Presentations of subgroups of the braid group generated by powers of band generators

According to the Tits conjecture proved by Crisp and Paris (2001) [4], the subgroups of the braid group generated by proper powers of the Artin elements σi are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups.The case of subgroups generated by powers of the band generators aij is more involved. We show that the groups are right-angled Artin groups again, if all generators are proper powers with exponent at least 3. We also give a presentation in cases at the other extreme, when all generators occur with exponent 1 or 2. Such presentations are distinctively more complicated than those of right-angled Artin groups.     

Finite index subgroups of graph products

We prove that every quasiconvex subgroup of a right-angled Coxeter group is an intersection of finite index subgroups. From this we deduce similar separability results for other types of groups, including graph products of finite groups and right-angled Artin groups.      

Solution of the generalized conjugacy problem for words in pure subgroups of Artin groups of finite type

The notion of pure subgroup of an Artin group of finite type is introduced. The decidability of the generalized conjugacy problem for pure subgroups of Artin groups of finite type is proved.     

Continuity of topological entropy for perturbation of time-one maps of hyperbolic flows

In this paper we derive necessary and sufficient homological and cohomological conditions for profinite groups and modules to be of type FP_n over a profinite ring R, analogous to the Bieri–Eckmann criteria for abstract groups. We use these to prove that the class of groups of type FP_n is closed under extensions, quotients by subgroups of type FP_n, proper amalgamated free products and proper HNN-extensions, for each n. We show, as a consequence of this, that elementary amenable profinite groups of finite rank are of type FP_∞ over all profinite R. For any class C of finite groups closed under subgroups, quotients and extensions, we also construct pro-C groups of type FP_n but not of type FP_n+1 over Z_? for each n. Finally, we show that the natural analogue of the usual condition measuring when pro-p groups are of type FP_n fails for general profinite groups, answering in the negative the profinite analogue of a question of Kropholler.     

Open subgroups of locally compact Kac–Moody groups

Let $G$ be a complete Kac–Moody group over a finite field. It is known that $G$ possesses a BN-pair structure, all of whose parabolic subgroups are open in $G$ . We show that, conversely, every open subgroup of $G$ is contained with finite index in some parabolic subgroup; moreover there are only finitely many such parabolic subgroups. The proof uses some new results on parabolic closures in Coxeter groups. In particular, we give conditions ensuring that the parabolic closure of the product of two elements in a Coxeter group contains the respective parabolic closures of those elements.     

Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Axiomatization of abelian-by-G groups for a finite group G

We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M ⁿ in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra. Received: 15 March 1996 / Published online: 18 July 2001     

A lattice isomorphism theorem for cluster groups of mutation-Dynkin type An

Each quiver appearing in a seed of a cluster algebra determines a corresponding group, which we call a cluster group, which is defined via a presentation. Grant and Marsh showed that, for quivers appearing in seeds of cluster algebras of finite type, the associated cluster groups are isomorphic to finite reflection groups. As for finite Coxeter groups, we can consider parabolic subgroups of cluster groups. We prove that, in the type $A_n$ case, there exists an isomorphism between the lattice of subsets of the defining generators of the cluster group and the lattice of its parabolic subgroups. Moreover, each parabolic subgroup has a presentation given by restricting the presentation of the whole group.     

Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.     

On L-functions of cyclotomic function fields

We study two criterions of cyclicity for divisor class groups of function fields, the first one involves Artin L-functions and the second one involves “affine” class groups. We show that, in general, these two criterions are not linked.     

Séries de poincaré des groupes géométriquement finis

In this paper, we study the behaviour of the Poincaré series of a geometrically finite group Γ of isometries of a riemannian manifoldX with pinched curvature, in the case when Γ contains parabolic elements. We give a sufficient condition on the parabolic subgroups of Γ in order that Γ be of divergent type. When Γ is of divergent type, we show that the Sullivan measure on the unit tangent bundle ofX/Γ is finite if and only if certain series which involve only parabolic elements of Γ are convergent. We build also examples of manifoldsX on which geometrically finite groups of convergent type act.

---

---

Durant la rédaction de cet article, M. Peigné a bénéficié d'un détachement au Centre National de la Recherche Scientifique, URA 305.     

On Growth Types of Quotients of Coxeter Groups by Parabolic Subgroups

The principal objects studied in this note are infinite, non-affine Coxeter groups W. A well-known result of de la Harpe asserts that such groups have exponential growth. We study the growth type of quotients of W by parabolic subgroups and by a certain class of reflection subgroups. Our main result is that these quotients have exponential growth as well.     

On <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript>-supplemented subgroups of finite groups

Suppose that F is a formation of finite groups. We introduce the concept of F _h -supplemented subgroups and investigate the structure of finite groups on assuming that some maximal subgroups of Sylow subgroups, maximal subgroups, minimal subgroups, and 2-maximal subgroup are F _h -supplemented, respectively. Some available results are generalized.