The boundary of the complex of free factors. (Q498675)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The boundary of the complex of free factors.
scientific article

    Statements

    The boundary of the complex of free factors. (English)
    0 references
    0 references
    0 references
    29 September 2015
    0 references
    Let \(F_N\) be the free group of free rank \(N\). With \(F_N\) is associated a complex \(\mathcal F=\mathcal F_N\) of free factors. Vertices of \(\mathcal F_N\) are conjugacy classes of non trivial proper free factors of \(F_N\) and higher-dimensional simplices correspond to chains of inclusions of free factors. \(\mathcal F_N\) is equipped with the simplicial metric and in [\textit{M. Bestvina} and \textit{M. Feighn}, Adv. Math. 256, 104-155 (2014; Zbl 1348.20028); corrigendum 259, 843 (2014)] it is proved that \(\mathcal F_N\) is Gromov hyperbolic. In the present paper the authors give a concrete description of the boundary \(\partial\mathcal F_N\) of \(\mathcal F_N\). Before stating the main result we quote the necessary definitions and terminology. The unprojectivized outer space of rank \(N\), denoted \(cv_N\), is the topological space whose underlying set consists of free, minimal, discrete, isometric actions of \(F_N\) on \(\mathbb R\)-trees. A minimal \(F_N\)-tree is completely determined by its translation length function [\textit{M. Culler} and \textit{J. W. Morgan}, Proc. Lond. Math. Soc., III. Ser. 55, 571-604 (1987; Zbl 0658.20021)]. This gives an inclusion \(cv_N\subseteq\mathbb R^{F_N}\) and a topology on \(cv_N\). Let \(\partial cv_N=\overline{cv_N}\setminus cv_N\) denote the boundary of \(cv_N\), where \(\overline{cv_N}\) is the closure of \(cv_N\) in \(\mathbb R^{F_N}\). The image of \(cv_N\) in the projective space \(\mathbb{PR}^{F_N}\) is the Culler-Vogtmann Outer space \(CV_N\) and the boundary \(\partial CV_N=\overline{CV_N}\setminus CV_{N}\) is the image of \(\partial cv_N=\overline{cv_N}\setminus cv_N\). Let \(\partial F_N\) be the Gromov boundary of \(F_N\), that is the boundary of any Cayley graph of \(F_N\). Let \(\partial^2(F_N)=\partial F_N\times\partial F_N\setminus\Delta\), where \(\Delta\) is the diagonal. The left action of \(F_N\) on a Cayley graph induces actions by homeomorphisms of \(F_N\) on \(\partial F_N\) and on \(\partial^2(F_N)\). Let \(i\colon\partial^2(F_N)\to\partial^2(F_N)\) denote the involution (the flip) that exchanges the factors. A lamination is a nonempty, closed \(F_N\)-invariant, \(i\)-invariant subset \(L\subseteq\partial^2(F_N)\). The elements of a lamination \(X\) are called leaves and it is called arational if no leaf is carried by a proper free factor of \(F_N\). Associated to a \(T\in\partial cv_N\) is a lamination \(L(T)\), which is constructed as follows. Let \(L_\varepsilon(T)=\overline{\{(g^{-\infty},g^\infty\mid\ell_T(g)<\varepsilon\}}\), and define \(L(T)=\bigcap_{\varepsilon>0}L_\varepsilon(T)\). Here, for a \(1\neq g\in F_N\), \(g^{-\infty}\) and \(g^\infty\) denote the attracting and repelling fixed points of \(g\) in \(\partial F_N\) and \(\ell_T\) is a length function on \(T\). A tree \(T\in\partial CV_N\) is called arational if the lamination \(L(T)\) is arational. Let \(\mathcal{AT}\subseteq\partial CV_N\) denote the set of arational trees, equiped with the subspace topology. Define a relation \(\sim\) on \(\mathcal{AT}\) by \(S\sim T\) if and only if \(L(S)=L(T)\), and give \(\mathcal{AT}/\sim\) the quotient topology. Now we can state the main theorem. Theorem. The space \(\partial\mathcal F\) is homeomorphic to \(\mathcal{AT}/\sim\). The arguments of the authors use the geometry of Outer space and folding paths as developed by \textit{M. Bestvina} and \textit{M. Feighn} [op. cit.] and the structure theory of trees in \(\partial CV_N\) developed by Coulbois, Hilion, Lustig, and Reynolds in recent series of papers. As the authors point out the theorem above is a very strong analogy of \textit{E. Klarreich}'s description, [in The boundary at infinity of the complex of curves and the relative Teichmüller space, preprint \texttt{https://pressfolios-production.s3.amazonaws.com/uploads/story/story-pdf/145710/1457101434403642.pdf}], of the boundary \(\partial\mathcal C(S)\) of the complex of curves \(\mathcal C(S)\) associated to a nonexceptional surface \(S\).
    0 references
    free groups
    0 references
    complexes of free factors
    0 references
    Gromov hyperbolic complexes
    0 references
    boundaries
    0 references
    outer space
    0 references
    translation length functions
    0 references
    Cayley graphs
    0 references
    arational trees
    0 references
    laminations
    0 references
    isometric actions on trees
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references