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.      

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.     

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.     

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.     

Artin Algebras of Finite Type and Finite Categories of Δ-Good Modules

We give an alternative proof to the fact that, if the square of the infinite radical of the module category of an Artin algebra is equal to zero, then the algebra is of finite type by making use of the theory of postprojective and preinjective partitions. Further, we use this new approach in order to get a characterization of finite subcategories of Δ-good modules of a quasi-hereditary algebra in terms of depth of morphisms similar to a recently obtained characterization of Artin algebras of finite type.     

Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups

It is known that a number of algebraic properties of the braidgroups extend to arbitrary finite Coxeter-type Artin groups.Here we show how to extend the results to more general groupsthat we call Garside groups. Define a Gaussian monoid to be a finitely generated cancellativemonoid where the expressions of a given element have boundedlengths, and where left and right lowest common multiples exist.A Garside monoid is a Gaussian monoid in which the left andright lowest common multiples satisfy an additional symmetrycondition. A Gaussian group is the group of fractions of a Gaussianmonoid, and a Garside group is the group of fractions of a Garsidemonoid. Braid groups and, more generally, finite Coxeter-typeArtin groups are Garside groups. We determine algorithmic criteriain terms of presentations for recognizing Gaussian and Garsidemonoids and groups, and exhibit infinite families of such groups.We describe simple algorithms that solve the word problem ina Gaussian group, show that these algorithms have a quadraticcomplexity if the group is a Garside group, and prove that Garsidegroups have quadratic isoperimetric inequalities. We constructnormal forms for Gaussian groups, and prove that, in the caseof a Garside group, the language of normal forms is regular,symmetric, and geodesic, has the 5-fellow traveller property,and has the uniqueness property. This shows in particular thatGarside groups are geodesically fully biautomatic. Finally,we consider an automorphism of a finite Coxeter-type Artin groupderived from an automorphism of its defining Coxeter graph,and prove that the subgroup of elements fixed by this automorphismis also a finite Coxeter-type Artin group that can be explicitlydetermined. 1991 Mathematics Subject Classification: primary20F05, 20F36; secondary 20B40, 20M05.     

Parabolic subgroups in FC-type Artin groups

Parabolic subgroups are the building blocks of Artin groups. This paper extends previous results of Cumplido, Gebhardt, Gonzales-Meneses and Wiest, known only for parabolic subgroups of finite type Artin groups, to parabolic subgroups of FC-type Artin groups. We show that the class of finite type parabolic subgroups is closed under intersection. We also study an analog of the curve complex for mapping class group constructed by Cumplido et al. using parabolic subgroups. We extend the construction of this complex, called the complex of parabolic subgroups, to FC-type Artin groups. We show that this simplicial complex is, in most cases, infinite diameter and conjecture that it is δ-hyperbolic.     

Derived equivalences and Cohen-Macaulay Auslander algebras

Let A and B be Artin R-algebras of finite Cohen-Macaulay type. Then we prove that, if A and B are standard derived equivalent, then their Cohen-Macaulay Auslander algebras are also derived equivalent. And we show that Gorenstein projective conjecture is an invariant under standard derived equivalence between Artin R-algebras.     

Finiteness properties of automorphism groups of right-angled Artin groups

We study the algebraic structure of the outer automorphism groupof a general right-angled Artin group. We show that this groupis virtually torsion-free and has finite virtual cohomologicaldimension. This generalizes results proved earlier by the authorsand Crisp for 2-dimensional right-angled Artin groups.     

Coxeter-like groups for set-theoretic solutions of the Yang–Baxter equation

We attach with every finite, involutive, nondegenerate set-theoretic solution of the Yang–Baxter equation a finite group that plays for the associated structure group the role that a finite Coxeter group plays for the associated Artin–Tits group.     

Finite Flat Group Schemes over Local Artin Rings

Let R be a local Artin ring with maximal ideal m and residue class field of characteristic p > 0. We show that every finite flat group scheme over R is annihilated by its rank, whenever m ^p = pm = 0. This implies that any finite flat group scheme over an Artin ring the square of whose maximal ideal is zero, is annihilated by its rank.     

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.      

Generic Flatness and the Jacobson Conjecture

A result of Artin, Small, and Zhang is used to show that a Noetherian algebra over a commutative, Noetherian Jacobson ring will be Jacobson if the algebra possesses a locally finite, Noetherian associated graded ring. This result is extended to show that if an algebra over a commutative Noetherian ring has a locally finite, Noetherian associated graded ring, then the intersection of the powers of the Jacobson radical is nilpotent. The proofs rely on a weak generalization of generic flatness and some observations about G-rings.     

Note on local structure of Artin stacks

In this Note we show that an Artin stack with finite inertia stack is étale locally isormorphic to the quotient of an affine scheme by an action of a general linear group.     

Extreme Values of Artin L-Functions and Class Numbers

Assuming the generalized Riemann hypothesis (GRH) and Artin conjecture for Artin L-functions, we prove that there exists a totally real number field of any fixed degree (>1) with an arbitrarily large discriminant whose normal closure has the full symmetric group as Galois group and whose class number is essentially as large as possible. One ingredient is an unconditional construction of totally real fields with small regulators. Another is the existence of Artin L-functions with large special values. Assuming the GRH and Artin conjecture it is shown that there exist an Artin L-functions with arbitrarily large conductor whose value at s=1 is extremal and whose associated Galois representation has a fixed image, which is an arbitrary nontrivial finite irreducible subgroup of GL(n, ) with property Gal _T .     

On proper coverings of Artin stacks

We prove that every separated Artin stack of finite type over a noetherian base scheme admits a proper covering by a quasi-projective scheme. An application of this result is a version of the Grothendieck existence theorem for Artin stacks.     

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.     

Homological behavior of idempotent subalgebras and Ext algebras

Let A be a(left and right) Noetherian ring that is semiperfect. Let e be an idempotent of A and consider the ring Γ :=(1-e)A(1-e) and the semi-simple right A-module Se := e A/e rad A. In this paper, we investigate the relationship between the global dimensions of A and Γ, by using the homological properties of Se. More precisely, we consider the Yoneda ring Y(e) := Ext_A~*(Se, Se) of e. We prove that if Y(e) is Artinian of finite global dimension, then A has finite global dimension if and only if so does Γ. We also investigate the situation where both A and Γ have finite global dimension. When A is Koszul and finite dimensional, this implies that Y(e) has finite global dimension. We end the paper with a reduction technique to compute the Cartan determinant of Artin algebras. We prove that if Y(e) has finite global dimension, then the Cartan determinants of A and Γ coincide. This provides a new way to approach the long-standing Cartan determinant conjecture.     

A functorial approach to categorical resolutions

Using a relative version of Auslander's formula, we give a functorial approach to show that the bounded derived category of every Artin algebra admits a categorical resolution. This, in particular, implies that the bounded derived categories of Artin algebras of finite global dimension determine bounded derived categories of all Artin algebras. Hence, this paper can be considered as a typical application of functor categories,introduced in representation theory by Auslander(1971), to categorical resolutions.