TY - JOUR

T1 - On graphic arrangement groups

AU - Cohen, Daniel C.

AU - Falk, Michael J.

N1 - Funding Information:
M.F. partially supported by Fulbright U.S. Scholar Program.
Publisher Copyright:
© 2020 Elsevier Inc.

PY - 2021/5

Y1 - 2021/5

N2 - A finite simple graph Γ determines a quotient PΓ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a K4-free graph Γ, a product of deletion maps is injective, embedding PΓ in a product of free groups. Then PΓ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show PΓ is of homological finiteness type Fm−1, but not Fm, where m is the number of copies of K3 in Γ, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of PΓ into the product of pure braid groups corresponding to maximal cliques of Γ. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group BΓ as a natural extension of PΓ by the automorphism group of Γ, and extend our homological finiteness result to these groups.

AB - A finite simple graph Γ determines a quotient PΓ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior joint work with R. Randell. We show that, for a K4-free graph Γ, a product of deletion maps is injective, embedding PΓ in a product of free groups. Then PΓ is residually free, torsion-free, residually torsion-free nilpotent, and acts properly on a CAT(0) cube complex. We also show PΓ is of homological finiteness type Fm−1, but not Fm, where m is the number of copies of K3 in Γ, except in trivial cases. The embedding result is extended to graphs whose 4-cliques share at most one edge, giving an injection of PΓ into the product of pure braid groups corresponding to maximal cliques of Γ. We give examples showing that this map may inject in more general circumstances. We define the graphic braid group BΓ as a natural extension of PΓ by the automorphism group of Γ, and extend our homological finiteness result to these groups.

KW - Graphic arrangement

KW - Homological finiteness type

KW - Hyperplane arrangement

KW - K-free graph

KW - Pure braid group

UR - http://www.scopus.com/inward/record.url?scp=85096178081&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85096178081&partnerID=8YFLogxK

U2 - 10.1016/j.aam.2020.102130

DO - 10.1016/j.aam.2020.102130

M3 - Article

AN - SCOPUS:85096178081

SN - 0196-8858

VL - 126

JO - Advances in Applied Mathematics

JF - Advances in Applied Mathematics

M1 - 102130

ER -