The Hamiltonian surface of $\Aut(F_2)$

Abstract

The group of automorphisms of the free group on two generators is known to act geometrically, in an essentially unique way, on a 2-dimensional CAT(0) space X. We prove that X contains precisely two Hamiltonian surfaces. By this we mean a surface in X which visits every vertex and every edge precisely once.