[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

In mathematics, Out(Fn) is the outer automorphism group of a free group on n generators. These groups are at universal stage in geometric group theory, as they act on the set of presentations with generators of any finitely generated group.[1] Despite geometric analogies with general linear groups and mapping class groups, their complexity is generally regarded as more challenging, which has fueled the development of new techniques in the field.

Definition

edit

Let   be the free nonabelian group of rank  . The set of inner automorphisms of  , i.e. automorphisms obtained as conjugations by an element of  , is a normal subgroup  . The outer automorphism group of   is the quotient An element of   is called an outer class.

Relations to other groups

edit

Linear groups

edit

The abelianization map   induces a homomorphism from   to the general linear group  , the latter being the automorphism group of  . This map is onto, making   a group extension,

 .

The kernel   is the Torelli group of  .

The map   is an isomorphism. This no longer holds for higher ranks: the Torelli group of   contains the automorphism fixing two basis elements and multiplying the remaining one by the commutator of the two others.

Aut(Fn)

edit

By definition,   is an extension of the inner automorphism group   by  . The inner automorphism group itself is the image of the action by conjugation, which has kernel the center  . Since   is trivial for  , this gives a short exact sequence For all  , there are embeddings   obtained by taking the outer class of the extension of an automorphism of   fixing the additional generator. Therefore, when studying properties that are inherited by subgroups and quotients, the theories of   and   are essentially the same.

Mapping class groups of surfaces

edit

Because   is the fundamental group of a bouquet of n circles,   can be described topologically as the mapping class group of a bouquet of n circles (in the homotopy category), in analogy to the mapping class group of a closed surface which is isomorphic to the outer automorphism group of the fundamental group of that surface.

Given any finite graph with fundamental group  , the graph can be "thickened" to a surface   with one boundary component that retracts onto the graph. The Birman exact sequence yields a map from the mapping class group  . The elements of   that are in the image of such a map are called geometric. Such outer classes must leave invariant the cyclic word corresponding to the boundary, hence there are many non-geometric outer classes. A converse is true under some irreducibility assumptions,[2] providing geometric realization for outer classes fixing a conjugacy class.

Known results

edit
  • For  ,   is not linear, i.e. it has no faithful representation by matrices over a field (Formanek, Procesi, 1992);[3]
  • For  , the isoperimetric function of   is exponential (Hatcher, Vogtmann, 1996);[4]
  • The Tits Alternative holds in  : each subgroup is either virtually solvable or else it contains a free group of rank 2 (Bestvina, Feighn, Handel, 2000);[5]
  • For  ,   (Bridson and Vogtmann, 2000);[6]
  • Every solvable subgroup of   has a finitely generated free abelian subgroup of finite index (Bestvina, Feighn, Handel, 2004);[7]
  • For  , all but finitely many of the  th-degree homology morphisms induced by the sequence  are isomorphisms (Hatcher and Vogtmann, 2004);[8]
  • For  , if   is a finite index subgroup of  , then any subgroup of   isomorphic to   is a conjugate of   (Farb and Handel, 2007);[9]
  • For  ,   has Kazhdan's property (T) (Kaluba, Nowak, Ozawa, 2019 for  ; Kaluba, Kielak, Nowak, 2021 for  );[10]
  • Actions on hyperbolic complexes satisfying acylindricity conditions were constructed, in analogy with complexes like the complex of curves for mapping class groups;[11]
  • For  ,   is rigid with respect to measure equivalence (Guirardel and Horbez, 2021 preprint).[12]

Outer space

edit

Out(Fn) acts geometrically on a cell complex known as CullerVogtmann Outer space, which can be thought of as the Fricke-Teichmüller space for a bouquet of circles.

Definition

edit

A point of the outer space is essentially an  -graph X homotopy equivalent to a bouquet of n circles together with a certain choice of a free homotopy class of a homotopy equivalence from X to the bouquet of n circles. An  -graph is just a weighted graph with weights in  . The sum of all weights should be 1 and all weights should be positive. To avoid ambiguity (and to get a finite dimensional space) it is furthermore required that the valency of each vertex should be at least 3.

A more descriptive view avoiding the homotopy equivalence f is the following. We may fix an identification of the fundamental group of the bouquet of n circles with the free group   in n variables. Furthermore, we may choose a maximal tree in X and choose for each remaining edge a direction. We will now assign to each remaining edge e a word in   in the following way. Consider the closed path starting with e and then going back to the origin of e in the maximal tree. Composing this path with f we get a closed path in a bouquet of n circles and hence an element in its fundamental group  . This element is not well defined; if we change f by a free homotopy we obtain another element. It turns out, that those two elements are conjugate to each other, and hence we can choose the unique cyclically reduced element in this conjugacy class. It is possible to reconstruct the free homotopy type of f from these data. This view has the advantage, that it avoids the extra choice of f and has the disadvantage that additional ambiguity arises, because one has to choose a maximal tree and an orientation of the remaining edges.

The operation of Out(Fn) on the outer space is defined as follows. Every automorphism g of   induces a self homotopy equivalence g′ of the bouquet of n circles. Composing f with g′ gives the desired action. And in the other model it is just application of g and making the resulting word cyclically reduced.

Connection to length functions

edit

Every point in the outer space determines a unique length function  . A word in   determines via the chosen homotopy equivalence a closed path in X. The length of the word is then the minimal length of a path in the free homotopy class of that closed path. Such a length function is constant on each conjugacy class. The assignment   defines an embedding of the outer space to some infinite dimensional projective space.

Simplicial structure on the outer space

edit

In the second model an open simplex is given by all those  -graphs, which have combinatorically the same underlying graph and the same edges are labeled with the same words (only the length of the edges may differ). The boundary simplices of such a simplex consists of all graphs, that arise from this graph by collapsing an edge. If that edge is a loop it cannot be collapsed without changing the homotopy type of the graph. Hence there is no boundary simplex. So one can think about the outer space as a simplicial complex with some simplices removed. It is easy to verify, that the action of   is simplicial and has finite isotropy groups.

See also

edit

References

edit
  1. ^ Lubotzky, Alexander (2011-12-15), Dynamics of Aut(Fn) Actions on Group Presentations and Representations, arXiv:1109.0155
  2. ^ Bestvina, Mladen; Handel, Michael (1992). "Train Tracks and Automorphisms of Free Groups". Annals of Mathematics. 135 (1): 1–51. doi:10.2307/2946562. ISSN 0003-486X. JSTOR 2946562.
  3. ^ Formanek, Edward; Procesi, Claudio (1992-07-01). "The automorphism group of a free group is not linear". Journal of Algebra. 149 (2): 494–499. doi:10.1016/0021-8693(92)90029-L. ISSN 0021-8693.
  4. ^ Hatcher, Allen; Vogtmann, Karen (1996-04-01). "Isoperimetric inequalities for automorphism groups of free groups". Pacific Journal of Mathematics. 173 (2): 425–441. ISSN 0030-8730.
  5. ^ Bestvina, Mladen; Feighn, Mark; Handel, Michael (2000). "The Tits Alternative for out(Fn) I: Dynamics of Exponentially-Growing Automorphisms". Annals of Mathematics. 151 (2): 517–623. arXiv:math/9712217. doi:10.2307/121043. ISSN 0003-486X. JSTOR 121043.
  6. ^ Bridson, Martin R.; Vogtmann, Karen (2000-07-15). "Automorphisms of Automorphism Groups of Free Groups". Journal of Algebra. 229 (2): 785–792. doi:10.1006/jabr.2000.8327. ISSN 0021-8693.
  7. ^ Bestvina, Mladen; Feighn, Mark; Handel, Michael (2004-03-01). "Solvable Subgroups of Out(Fn) are Virtually Abelian". Geometriae Dedicata. 104 (1): 71–96. doi:10.1023/B:GEOM.0000022864.30278.34. ISSN 1572-9168.
  8. ^ Hatcher, Allen; Vogtmann, Karen (2004-12-24). "Homology stability for outer automorphism groups of free groups". Algebraic & Geometric Topology. 4 (2): 1253–1272. arXiv:math/0406377. doi:10.2140/agt.2004.4.1253. ISSN 1472-2739.
  9. ^ Farb, Benson; Handel, Michael (2007-06-01). "Commensurations of Out(Fn)". Publications mathématiques. 105 (1): 1–48. doi:10.1007/s10240-007-0007-7. ISSN 1618-1913.
  10. ^ Kaluba, Marek; Kielak, Dawid; Nowak, Piotr W. (2021-01-20), On property (T) for $\operatorname{Aut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$, arXiv:1812.03456, retrieved 2024-10-13
  11. ^ Bestvina, Mladen (2023-12-15). "Groups acting on hyperbolic spaces—a survey". ems.press. Retrieved 2024-10-13.
  12. ^ Guirardel, Vincent; Horbez, Camille (2021-03-29), Measure equivalence rigidity of $\mathrm{Out}(F_N)$, doi:10.48550/arXiv.2103.03696, retrieved 2024-12-03