# How large is this “algebra” of defining graphs for Right-angled Artin groups?

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.

-
Small correction: at best, you can hope for hyperbolic 3-manifolds to virtually embed into these RAAGs. – HJRW Mar 13 '13 at 15:57
As far as I know, there are very few known constraints on the RAAGs into which hyperbolic 3-manifolds virtually embed. – HJRW Mar 13 '13 at 15:58
In graph theory these are called C4,diamond-free graphs. – Benjamin Steinberg Mar 13 '13 at 16:22
(Deleted a slightly glib comment. I'm not sure that your operations buy you any new finite-volume hyperbolic 3-manifolds. Certainly free and amalgamated-over-cyclic products don't. I'm not certain about direct products (ie joins) but I'd be surprised if they did.) – HJRW Mar 13 '13 at 16:32
A related question I was curious about is which hyperbolic 3-manifold groups virtually embed into a hyperbolic right-angled Coxeter group. Most likely the sorts of cubulations produced by Kahn-Markovic/Bergeron-Wise would not be suitable for this sort of embedding. – Ian Agol Mar 13 '13 at 19:02