4
$\begingroup$

Consider a Coxeter group presentation $< s_1, \ldots s_n \mid (s_i s_j)^{m_{ij}}>$ with $m_{ii}=1$ for all $i$. I can prove (using http://arxiv.org/abs/1011.4255) that if for each $i$ there are at most two $j\neq i$ with $m_{ij}< \infty$, then the corresponding Cayley graph is planar. Is this fact known?

In fact I can do a bit more, namely prove that by defining two 2-cells of the cayley complex to be parallel if they have the same boundary, and deleting all but one 2-cells from each parallel class, we obtain a planar 2-complex. This might be interesting as it gives a nice action of the group on the 2-sphere.

$\endgroup$
0

1 Answer 1

5
$\begingroup$

Let $\Gamma$ be the Coxeter group in question. Order the $s_i$ so that if $m_{ij}\neq\infty$ then $|i-j|\leq 1$. Now let $P$ be a polygon with edges $e_i$ and angles $\pi/m_{i,i+1}$ between consecutive edges. Note that some vertices are 'ideal', meaning that they have interior angle zero.

The polygon $P$ can be realized geometrically in $X$, where $X$ is one of $S^2$, $\mathbb{R}^2$ or $\mathbb{H}^2$, and $\Gamma$ is the corresponding reflection group. There is a corresponding tiling of $X$ by copies of $P$, and the Cayley graph is just the dual graph to this tiling. So one sees that the Cayley graph is indeed planar, and furthermore the action of $\Gamma$ preserves a natural metric.

This is all quite standard. For further details, I suggest looking at Peter Scott's article 'The geometries of 3-manifolds'. So, yes, it is indeed known that these Cayley graphs are planar.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .