As part of my research, I have been trying to construct a spherical space at infinity for every right-angled artin group. I've been able to work it out for a certain class of defining graphs. I'd like to know how large this class is (I.e. does it consist of all graphs satisfying a certain invariant equation?), but I have very little graph theoretical background.

The class of graphs is invariant under disjoint union, join (connecting every vertex in one graph to every vertex in another), and the operation of identifying a single vertex in two disjoint graphs.

The "generating set" consists of all graphs not containing an induced square or an induced subgraph consisting of two triangles identified along a single edge (equivalently, it is the set of all graphs where every four-cycle bounds a tetrahedron). This set includes all trees and all graphs without 4-cycles, as well as all complete graphs.

My hope is that all or many hyperbolic 3-manifold groups virtually embed into RAAG's with such a defining graph. Some or all surface subgroups embed into such RAAG's (since any RAAG with a defining graph with an induced 5-cycle contains a surface subgroup). Thanks for your help!

**Edit:** I forgot to mention that RAAG's are subgroup separable iff their defining graphs have diameter at most 2 and contain no induced square.

virtuallyembed into these RAAGs. $\endgroup$ – HJRW Mar 13 '13 at 15:571more comment