arXiv++ Combinatorics

We propose a factorization of the graph isomorphism problem for Bestvina-Brady groups (BBGs) through matroid theory. In particular, we show that finitely presented BBGs depend on their defining graphs only through their cycle matroids. On the other hand, we construct graphs of arbitrarily high connectivity such that they have non-isomorphic cycle matroids but their BBGs are isomorphic. To do so, we prove that if a graph admits a tree clique-spanner, then the Dicks-Leary presentation of its BBG can be explicitly simplified to a right-angled Artin group presentation. In particular, we show that BBGs defined by dually chordal graphs are right-angled Artin groups.

We show that given an infinite triangulation $K$ of a surface with punctures (i.e., with no vertices at the punctures) and a set of target cone angles smaller than $π$ at the punctures that satisfy a Gauss-Bonnet inequality, there exists a hyperbolic metric that has the prescribed angles and supports a circle packing in the combinatorics of $K$. Moreover, if $K$ is very symmetric, then we can identify the underlying Riemann surface and show that it does not depend on the angles. In particular, this provides examples of a triangulation $K$ and a conformal class $X$ such that there are infinitely many conical hyperbolic structures in the conformal class $X$ with a circle packing in the combinatorics of $K$. This is in sharp contrast with a conjecture of Kojima-Mizushima-Tan in the closed case.

A finitely presented Bestvina-Brady group (BBG) admits a presentation involving only commutators. We show that if a graph admits a certain type of spanning trees, then the associated BBG is a right-angled Artin group (RAAG). As an application, we obtain that the class of BBGs contains the class of RAAGs. On the other hand, we provide a criterion to certify that certain finitely presented BBGs are not isomorphic to RAAGs (or more general Artin groups). This is based on a description of the Bieri-Neumann-Strebel invariants of finitely presented BBGs in terms of separating subgraphs, analogous to the case of RAAGs. As an application, we characterize when the BBG associated to a 2-dimensional flag complex is a RAAG in terms of certain subgraphs.