| Journal of the London Mathematical Society (1999), 60:793-801 Cambridge University Press Copyright © The London Mathematical Society 1999 Notes and Papers THE BESTVINA–BRADY CONSTRUCTION REVISITED: GEOMETRIC COMPUTATION OF [sum L: summation operator]-INVARIANTS FOR RIGHT-ANGLED ARTIN GROUPSKAI-UWE BUX a1 and CARLOS GONZALEZ a2 a1 Department of Mathematics, Room 233, 155 S, 1400 E, University of Utah, Salt Lake City, UT 84122-0090, USA; kubux@gmx.net a2 Fachbereich Mathematik, Johann Wolfgang Goethe-Universität, D-60054 Frankfurt-am-Main, Germany; gonzalez@secude.com Abstract The starting point of our investigation is the remarkable paper [2] in which Bestvina and Brady gave an example of an infinitely related group of type FP2. The result about right-angled Artin groups behind their example is best interpreted by means of the Bieri–Strebel–Neumann–Renz [Sigma]-invariants. For a group G the invariants [Sigma]n(G) and [Sigma]n(G, [open face Z]) are sets of non-trivial homomorphisms [chi][ratio]G[rightward arrow][open face R]. They contain full information about finiteness properties of subgroups of G with abelian factor groups. The main result of [2] determines for the canonical homomorphism [chi], taking each generator of the right-angled Artin group G to 1, the maximal n with [chi] [set membership] [Sigma]n(G), respectively [chi] [set membership] [Sigma]n(G, [open face Z]). In [6] Meier, Meinert and VanWyk completed the picture by computing the full [Sigma]-invariants of right-angled Artin groups using as well the result of Bestvina and Brady as algebraic techniques from [Sigma]-theory. Here we offer a new account of their result which is totally geometric. In fact, we return to the Bestvina–Brady construction and simplify their argument considerably by bringing a more general notion of links into play. At the end of the first section we re-prove their main result. By re-computing the full [Sigma]-invariants, we show in the second section that the simplification even adds some power to the method. The criterion we give provides new insight on the geometric nature of the ‘n-domination’ condition employed in [6]. (Received September 22 1997)(Revised March 4 1998) |