The conjugacy problem for $\operatorname {Out}(F_3)$
Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e41

Voir la notice de l'article provenant de la source Cambridge University Press

We present a solution to the conjugacy problem in the group of outer automorphisms of $F_3$, a free group of rank 3. We distinguish according to several computable invariants, such as irreducibility, subgroups of polynomial growth and subgroups carrying the attracting lamination. We establish, by considerations on train tracks, that the conjugacy problem is decidable for the outer automorphisms of $F_3$ that preserve a given rank 2 free factor. Then we establish, by consideration on mapping tori, that it is decidable for outer automorphisms of $F_3$ whose maximal polynomial growth subgroups are cyclic. This covers all the cases left by the state of the art.
Dahmani, François; Francaviglia, Stefano; Martino, Armando; Touikan, Nicholas. The conjugacy problem for $\operatorname {Out}(F_3)$. Forum of Mathematics, Sigma, Tome 13 (2025) no. 1, p. e41. doi: 10.1017/fms.2025.3
@article{10_1017_fms_2025_3,
     author = {Dahmani, Fran\c{c}ois and Francaviglia, Stefano and Martino, Armando and Touikan, Nicholas},
     title = {The conjugacy problem for $\operatorname {Out}(F_3)$},
     journal = {Forum of Mathematics, Sigma},
     pages = {e41},
     year = {2025},
     volume = {13},
     number = {1},
     doi = {10.1017/fms.2025.3},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.3/}
}
TY  - JOUR
AU  - Dahmani, François
AU  - Francaviglia, Stefano
AU  - Martino, Armando
AU  - Touikan, Nicholas
TI  - The conjugacy problem for $\operatorname {Out}(F_3)$
JO  - Forum of Mathematics, Sigma
PY  - 2025
SP  - e41
VL  - 13
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.3/
DO  - 10.1017/fms.2025.3
ID  - 10_1017_fms_2025_3
ER  - 
%0 Journal Article
%A Dahmani, François
%A Francaviglia, Stefano
%A Martino, Armando
%A Touikan, Nicholas
%T The conjugacy problem for $\operatorname {Out}(F_3)$
%J Forum of Mathematics, Sigma
%D 2025
%P e41
%V 13
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2025.3/
%R 10.1017/fms.2025.3
%F 10_1017_fms_2025_3

[AHK22] Andrew, N., Hughes, S. and Kudlinska, M., ‘Torsion homology growth of polynomially growing free-by-cyclic groups’, (2022). Google Scholar

[AM22a] Andrew, N. and Martino, A., ‘Centralisers of linear growth automorphisms of free groups’, Preprint, 2022, . Google Scholar | arXiv

[AM22b] Andrew, N. and Martino, A., ‘Free-by-cyclic groups, automorphisms and actions on nearly canonical trees’, J. Algebra 604 (2022), 451–495. Google Scholar | DOI

[BFH97] Bestvina, M., Feighn, M. and Handel, M., ‘Laminations, trees, and irreducible automorphisms of free groups’, Geom. Funct. Anal. 7(2) (1997), 215–244. Google Scholar | DOI

[BFH00] Bestvina, M., Feighn, M. and Handel, M., ‘The tits alternative for . i: Dynamics of exponentially-growing automorphisms’, Ann. of Math. (2) 151(2) (2000), 517–623. Google Scholar | DOI

[BFH05] Bestvina, M., Feighn, M. and Handel, M., ‘The Tits alternative for . II: A Kolchin type theorem’, Ann. of Math. (2) 161(1) (2005), 1–59. Google Scholar | DOI

[BH92] Bestvina, M. and Handel, M., ‘Train tracks and automorphisms of free groups’, Ann. of Math. (2) 135(1) (1992), 1–51. Google Scholar | DOI

[BH99] Bridson, M. R. and Haefliger, A., Metric Spaces of Non-Positive Curvature (Grundlehren Math. Wiss.) vol. 319 (Berlin, Springer, 1999). Google Scholar | DOI

[BMMV06] Bogopolski, O., Martino, A., Maslakova, O. and Ventura, E., ‘The conjugacy problem is solvable in free-by-cyclic groups’, Bull. Lond. Math. Soc. 38(5) (2006), 787–794. Google Scholar | DOI

[BMV10] Bogopolski, O., Martino, A. and Ventura, E., ‘Orbit decidability and the conjugacy problem for some extensions of groups’, Trans. Amer. Math. Soc. 362(4) (2010), 2003–2036. Google Scholar | DOI

[Bog00] Bogopolski, O., ‘Classification of automorphisms of the free group of rank 2 by ranks of fixed-point subgroups’, J. Group Theory 3(3) (2000), 339–351. Google Scholar

[Bri00] Brinkmann, P., ‘Hyperbolic automorphisms of free groups’, Geom. Funct. Anal. 10(5) (2000), 1071–1089. Google Scholar | DOI

[CV91] Culler, M. and Vogtmann, K., ‘The boundary of outer space in rank two’, in Chern, S. S., Kaplansky, I., Moore, C. C., Singer, I. M. and Alperin, Roger C. (eds.), Arboreal Group Theory (Mathematical Sciences Research Institute Publications) vol. 19 (Springer, New York, 1991), 189–230. Google Scholar | DOI

[Dah16] Dahmani, F., ‘On suspensions and conjugacy of hyperbolic automorphisms’, Trans. Amer. Math. Soc. 368(8) (2016), 5565–5577. Google Scholar | DOI

[Dah17] Dahmani, F., ‘On suspensions, and conjugacy of a few more automorphisms of free groups’, in Hyperbolic Geometry and Geometric Group Theory (Adv. Stud. Pure Math) vol. 73 (Math. Soc. Japan, Tokyo, 2017), 135–158. Google Scholar

[DG13] Dahmani, F. and Guirardel, V., ‘Presenting parabolic subgroups’, Algebr. Geom. Topol. 13(6) (2013), 3203–3222. Google Scholar | DOI

[DL20] Dahmani, F. and Li, R., ‘Relative hyperbolicity for automorphisms of free products’, J. Topol. Anal. (2020), 1–38. . Google Scholar | arXiv

[DT21] Dahmani, F. and Touikan, N., ‘Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components’, Preprint, 2021, . Google Scholar | arXiv

[DT23] Dahmani, F. and Touikan, N., ‘Unipotent linear suspensions of free groups’, Preprint, 2023, . Google Scholar | arXiv

[FH11] Feighn, M. and Handel, M., ‘The recognition theorem for ’, Groups Geom. Dyn. 5(1) (2011), 39–106. Google Scholar | DOI

[FH18] Feighn, M. and Handel, M., ‘Algorithmic constructions of relative train track maps and CTs’, Groups Geom. Dyn. 12(3) (2018), 1159–1238. Google Scholar | DOI

[FH19] Feighn, M. and Handel, M., ‘The conjugacy problem for upg elements of ’, (2019). Google Scholar

[FM22] Francaviglia, S. and Martino, A., ‘Displacements of automorphisms of free groups. II: Connectivity of level sets and decision problems’, Trans. Amer. Math. Soc. 375(4) (2022), 2511–2551. Google Scholar

[Gho23] Ghosh, P., ‘Relative hyperbolicity of free-by-cyclic extensions’, Compos. Math. 159(1) (2023), 153–183. Google Scholar | DOI

[GJLL98] Gaboriau, D., Jaeger, A., Levitt, G. and Lustig, M., ‘An index for counting fixed points of automorphisms of free groups’, Duke Math. J. 93(3) (1998), 425–452. Google Scholar | DOI

[GL95] Gaboriau, D. and Levitt, G., ‘The rank of actions on -trees’, Ann. Sci. Éc. Norm. Supér. (4) 28(5) (1995), 549–570. Google Scholar | DOI

[GL17] Guirardel, V. and Levitt, G., ‘JSJ decompositions of groups’, Astérisque 395 (2017), vii+165. Google Scholar

[Gui08] Guirardel, V., ‘Actions of finitely generated groups on -trees’, Ann. Inst. Fourier (Grenoble) 58(1) (2008), 159–211. Google Scholar | DOI

[Hag19] Hagen, M., ‘A remark on thickness of free-by-cyclic groups’, Illinois J. Math. 63(4) (2019), 633–643. Google Scholar | DOI

[Hor14] Horbez, C., ‘The tits alternative for the automorphism group of a free product’, (2014). Google Scholar

[Kap14] Kapovich, I., ‘Algorithmic detectability of iwip automorphisms’, Bull. Lond. Math. Soc. 46(2) (2014), 279–290. Google Scholar | DOI

[KB19] Kapovich, I. and Bell, M. C., ‘Detecting fully irreducible automorphisms: A polynomial time algorithm’, Exp. Math. 28(1) (2019), 24–38. https://doi.org/10.1080/10586458.2017.1326326. Google Scholar | DOI

[KLV01] Krstí, S., Lustig, M. and Vogtmann, K., ‘An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms’, Proc. Edinb. Math. Soc., II. Ser. 44(1) (2001), 117–141. Google Scholar | DOI

[Krs89] Krstić, S., ‘Actions of finite groups on graphs and related automorphisms of free groups’, J. Algebra 124(1) (1989), 119–138. Google Scholar | DOI

[Lev09] Levitt, G., ‘Counting growth types of automorphisms of free groups’, Geom. Funct. Anal. 19(4) (2009), 1119–1146. Google Scholar | DOI

[Los96] Los, J. E., ‘On the conjugacy problem for automorphisms of free groups’, Topology 35(3) (1996), 779–806. Google Scholar | DOI

[LS01] Lyndon, R. C. and Schupp, P. E., Combinatorial Group Theory (Springer-Verlag, Berlin, 2001). Google Scholar | DOI

[Lus07] Lustig, M., ‘Conjugacy and centralizers for iwip automorphisms of free groups’, in Geometric Group Theory. Geneva and Barcelona Conferences (Basel, Birkhäuser, 2007), 197–224. Google Scholar | DOI

[Mac02] Macura, N., ‘Detour functions and quasi-isometries’, Q. J. Math. 53(2) (2002), 207–239. Google Scholar | DOI

[Mar02] Martino, A., ‘Maximal index automorphisms of free groups with no attracting fixed points on the boundary are Dehn twists’, Algebr. Geom. Topol. 2(2) (2002), 897–919. Google Scholar | DOI

[Mut21] Mutanguha, J. P., ‘Irreducibility of a free group endomorphism is a mapping torus invariant’, Comment. Math. Helv. 96(1) (2021), 47–63. Google Scholar | DOI

[Rod13] Rodenhausen, M., ‘Centralisers of polynomially growing automorphisms of free groups’, Thesis, 2013, Universitäts- und Landesbibliothek Bonn. Google Scholar

[RW15] Rodenhausen, M. and Wade, R. D., ‘Centralisers of Dehn twist automorphisms of free groups’, Math. Proc. Cambridge Philos. Soc. 159(1) (2015), 89–114. Google Scholar | DOI

[Sel95] Sela, Z., ‘The isomorphism problem for hyperbolic groups. I’, Ann. of Math. (2) 141(2) (1995), 217–283. Google Scholar | DOI

[She55] Shenitzer, A., ‘Decomposition of a group with a single defining relation into a free product’, Proc. Amer. Math. Soc. 6(2) (1955), 273–279. Google Scholar | DOI

[Swa86] Swarup, G. A., ‘Decompositions of free groups’, J. Pure Appl. Algebra 40 (1986), 99–102. Google Scholar | DOI

[Tou15] Touikan, N., ‘On the one-endedness of graphs of groups’, Pacific J. Math. 278(2) 2015), 463–478. Google Scholar | DOI

Cité par Sources :