Knowledge (XXG)

Outer space (mathematics)

Source 📝

6698: 1389: 3278: 6692: 6258: 2629: 477: 4459: 4354: 7274:-trees, considered up to equivariant isometry. It is known that the Gromov topology and the axes topology on the space of irreducible actions coincide, so the closure can be understood in either sense. The projectivization of 1213: 2990:
A basic general fact from the theory of group actions on real trees says that a point of the Outer space is uniquely determined by its translation length function. Namely if two trees with minimal free isometric actions of
3528: 3805: 6880: 6578: 5771: 7743: 5391: 1735: 6334: 5588: 6137: 2833: 2495: 627: 3129: 6505: 7526: 7119: 5954: 5696: 5627: 5143: 3431: 296: 5915: 6743: 5287: 6411: 7350: 7311: 7167: 5423: 5175: 703: 664: 566: 3049: 6550: 2698: 397: 3838: 3724: 501: 7272: 7030: 3653: 2981: 2734: 753: 5807: 5519: 7737: 3686: 2860: 6950: 5851: 3928: 3863: 1918: 1774: 994: 7384: 7197: 6918: 6011: 5726: 5657: 5483: 5453: 5317: 5238: 5205: 5055: 5016: 7487: 7460: 7411: 7250: 7057: 6977: 6085: 5981: 5104: 3631: 3604: 3562: 730: 593: 532: 392: 354: 323: 245: 7948: 6049: 8066: 7077: 6997: 6780: 6570: 6129: 6109: 3948: 3903: 3883: 3744: 4369: 4290: 1384:{\displaystyle \Delta _{k}=\left\{(x_{1},\dots ,x_{k})\in \mathbb {R} ^{k}\,{\Big |}\,\sum _{i=1}^{k}x_{i}=1,x_{i}>0{\text{ for }}i=1,\dots ,k\right\}} 8015: 4806:
arise from decreasing towards zero lengths of edges for homotopically nontrivial subgraphs (e.g. an essential circuit) of a metric graph Γ.
3449: 7928:). Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 373-384, Higher Ed. Press, Beijing, 2002; 8051: 7933: 4772: 3573: 6791: 8111: 7807: 6687:{\displaystyle \Lambda _{R}(x,y)=\max _{\gamma \in \operatorname {cand} (x)}{\frac {\ell _{y}(\gamma )}{\ell _{x}(\gamma )}}} 632:
Later a combination of the results of Cohen and Lustig and of Bestvina and Feighn identified (see Section 1.3 of ) the space
6785:
The stretching factor also equals the minimal Lipschitz constant of a homotopy equivalence carrying over the marking, i.e.
7782: 6253:{\displaystyle \Lambda _{R}(x,y):=\sup _{\gamma \in F_{n}\setminus \{1\}}{\frac {\ell _{y}(\gamma )}{\ell _{x}(\gamma )}}} 5731: 4847: 3749: 5330: 1682: 7826: 6263: 5524: 2624:{\displaystyle \ell _{T}:F_{n}\to \mathbb {R} ,\quad \ell _{T}(g)=\min _{t\in T}d(t,gt),\quad {\text{ for }}g\in F_{n}.} 3273:{\displaystyle V_{T}(K,\epsilon )=\{T'\in X_{n}:|\ell _{T}(g)-\ell _{T'}(g)|<\epsilon {\text{ for every }}g\in K\}.} 8116: 2764: 598: 6419: 3297: 76: 7492: 7085: 5920: 5662: 5593: 5109: 3958:
An important basic result states that the Gromov topology, the weak topology and the length function topology on
3387: 262: 7678: 2873:
In the marked metric graph model of Outer space translation length functions can be interpreted as follows. Let
7594: 7421: 5859: 4874:− 4. The reason is that if Γ is a finite connected graph without degree-one and degree-two vertices with 4737:
which consists of isometry types of finite connected graphs Γ without degree-one and degree-two vertices, with
80: 7435:, for marked metric graphs with base-points, was constructed by Hatcher and Vogtmann in 1998. The Auter space 6716: 5247: 7877: 2256: 2205: 6346: 2383:
on a real tree with the quotient being a metric graph of volume one arises in this fashion from some point
8043: 8042:. Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 373–384, 7538: 7316: 7277: 7133: 5396: 5148: 669: 472:{\displaystyle \mathbb {P} ^{\,{\mathcal {C}}}=\mathbb {R} ^{\mathcal {C}}\!-\!\{0\}/\mathbb {R} _{>0}} 21: 5027:
where the volume of the metric graph in the marking is allowed to be any positive real number. The space
635: 537: 4867: 3021: 2151: 6513: 2661: 3810: 7603: 4118: 2351: 2279: 891: 256: 113: 7586: 482: 7543: 4921: 3350: 7255: 7002: 3636: 2950: 2703: 736: 7975: 7957: 7886: 7853: 7835: 7619: 7225:-trees. Here the closure is taken in the space of all minimal isometric "irreducible" actions of 5776: 5488: 4825: 4698:
is also sometimes considered in the literature although most sources work with the right action.
4483: 4018: 3691: 357: 7700: 4495:) is contained in the kernel of this action, that is every inner automorphism acts trivially on 3658: 2838: 8047: 7929: 6923: 6088: 4875: 4759: 4738: 4122: 1149: 814: 801: 45: 5812: 1903: 1759: 979: 7967: 7896: 7845: 7752: 7657: 7611: 7359: 7172: 6888: 6022: 5986: 5701: 5632: 5458: 5428: 5292: 5213: 5180: 5030: 4991: 116:
of a hyperbolic surface. Outer space is used to study homology and cohomology groups of Out(
7465: 7438: 7389: 7228: 7035: 6955: 6063: 5959: 5082: 3609: 3582: 3540: 708: 571: 510: 370: 332: 301: 223: 7548: 6759: 6755: 6706: 6702: 6025:, for Outer space corresponds to the Thurston metric in Teichmüller space. For two points 2863: 2197: 907: 504: 6028: 5079:-equivariant isometry. The unprojectivized Outer space inherits the same structures that 7607: 4454:{\displaystyle \ell _{T\alpha }(g)=\ell _{T}(\alpha (g))\quad {\text{ for }}g\in F_{n}.} 3908: 3843: 8077: 8057: 8008: 7582: 7062: 6982: 6765: 6555: 6114: 6094: 4851: 3933: 3888: 3868: 3729: 2354:. Since Γ is a finite connected graph with no degree-one vertices, this action is also 252: 109: 8081: 7756: 7696: 2943:
to get a closed loop in Γ and then tighten this loop to an immersed circuit in Γ. The
8105: 7662: 7623: 6552:
is always obtained and can be calculated by a finite set the so called candidates of
5241: 4794: 4002: 2405:
and the set of equivalence classes of minimal free and discrete isometric actions of
7824:
Francaviglia, Stefano; Martino, Armando (2011). "Metric properties of Outer Space".
5106:
has, including the coincidence of the three topologies (Gromov, axes, weak), and an
5057:
can also be thought of as the set of all free minimal discrete isometric actions of
4349:{\displaystyle g{\underset {T\alpha }{\cdot }}t=\alpha (g){\underset {T}{\cdot }}t.} 7979: 7857: 7417: 4751: 4053: 3998: 2347: 2229: 326: 177: 4639:
can be turned into a left action via a standard conversion procedure. Namely, for
4220:
be a real tree with a minimal free and discrete co-volume-one isometric action of
7946:
Guirardel, Vincent; Levitt, Gilbert (2007). "The outer space of a free product".
8089: 7578: 7082:
The induced topology is the same as the weak topology and the isometry group is
6340: 1001: 248: 105: 17: 7638: 4895:− 3 edges when Γ is trivalent. Hence the top-dimensional open simplex in 1629:
be the number of topological edges in Γ. As before, we order the edges of Γ as
7901: 7872: 33: 7849: 2241: 1521: 733: 190: 48:
consisting of the so-called "marked metric graph structures" of volume 1 on
7971: 2058:→ Γ where the graph Γ is tri-valent belongs to a unique closed simplex in 7994: 5018:
consists of equivalence classes of all marked metric graph structures on
911: 143: 130: 363:
In the same paper Culler and Vogtmann constructed an embedding, via the
7615: 7553: 7416:
Analogs and generalizations of the Outer space have been developed for
6697: 3985: 1399: 126: 83: 1023:
of a metric graph is the sum of the lengths of its topological edges.
7962: 3353:
in the length function topology can be characterized as follows. For
7413:, analogous to Thurston's compactification of the Teichmüller space. 4207:
In the real tree model this action can be described as follows. Let
3950:
almost agree. For the formal definition of the Gromov topology see.
2414:
on a real trees with volume-one quotients. Here two such actions of
1191:
be the number of topological edges in Γ. We order the edges of Γ as
7313:
with respect to multiplication by positive scalars gives the space
705:
of projective classes of "very small" minimal isometric actions of
7891: 7840: 6696: 3954:
Coincidence of the weak, the length function and Gromov topologies
3523:{\displaystyle \lim _{i\to \infty }\ell _{T_{i}}(g)=\ell _{T}(g).} 3579:
When defining the Gromov topology, one should think of points of
1586:
is the union of open simplices corresponding to all markings on
259:
of a hyperbolic surface. They showed that the natural action of
1530:
correspond to non-equivalent marked metric graph structures on
4854:
in their original 1986 paper where Outer space was introduced.
2374:
Moreover, every minimal free and discrete isometric action of
2036:
belongs to only finitely many closed simplices and a point of
4967:)-invariant and has compact quotient under the action of Out( 3746:
in the Gromov topology, if for some large finite subtrees of
2212:
is a topological tree. We can also lift the metric structure
2224:
the same length as the length of its image in Γ. This turns
612: 488: 429: 411: 7462:
shares many properties in common with the Outer space, but
7121:
for both, the symmetric and asymmetric Lipschitz distance.
6875:{\displaystyle \Lambda _{R}(x,y)=\min _{h\in H(x,y)}Lip(h)} 910:
without degree-one and degree-two vertices. Up to a (free)
7199:
in the length function topology is known to consist of (
1152:
of all the volume-one marked metric graph structures on
5956:-equivariant homeomorphism. For this reason the spaces 2638:≠ 1 there is a (unique) isometrically embedded copy of 996:
together with the assignment to every topological edge
6339:
This is an asymmetric metric (also sometimes called a
4359:
At the level of translation length functions the tree
1686: 7703: 7495: 7468: 7441: 7392: 7362: 7319: 7280: 7258: 7231: 7175: 7136: 7088: 7065: 7038: 7005: 6985: 6958: 6926: 6891: 6794: 6768: 6719: 6581: 6558: 6516: 6422: 6349: 6266: 6140: 6117: 6097: 6066: 6031: 5989: 5962: 5923: 5862: 5815: 5779: 5734: 5704: 5665: 5635: 5596: 5527: 5491: 5461: 5431: 5399: 5333: 5295: 5250: 5216: 5183: 5151: 5112: 5085: 5033: 4994: 4372: 4293: 3936: 3911: 3891: 3871: 3846: 3813: 3752: 3732: 3694: 3661: 3639: 3612: 3585: 3576:
adapted to the setting of an isometric group action.
3543: 3452: 3390: 3132: 3024: 2953: 2841: 2767: 2706: 2664: 2498: 1906: 1762: 1685: 1216: 982: 739: 711: 672: 638: 601: 574: 540: 513: 485: 400: 373: 335: 304: 265: 226: 5766:{\displaystyle \phi \in \operatorname {Out} (F_{n})} 5327:
The projectivized Outer space is the quotient space
3800:{\displaystyle Y\subseteq T,Y'\subseteq T'\in X_{n}} 104:. The Outer space was introduced in a 1986 paper of 7744:
Annales Scientifiques de l'École Normale Supérieure
7587:"Moduli of graphs and automorphisms of free groups" 6413:. The symmetric Lipschitz metric normally denotes: 5485:is equipped with the quotient topology. For a tree 5386:{\displaystyle CV_{n}:=cv_{n}/\mathbb {R} _{>0}} 5145:-action. In addition, there is a natural action of 1730:{\displaystyle \textstyle {\sum _{i=1}^{k}x_{i}=1}} 7731: 7520: 7481: 7454: 7405: 7378: 7344: 7305: 7266: 7244: 7191: 7161: 7113: 7071: 7051: 7024: 6991: 6971: 6944: 6912: 6874: 6774: 6737: 6686: 6564: 6544: 6499: 6405: 6329:{\displaystyle d_{R}(x,y):=\log \Lambda _{R}(x,y)} 6328: 6252: 6123: 6103: 6079: 6043: 6005: 5975: 5948: 5909: 5845: 5801: 5765: 5720: 5690: 5651: 5621: 5583:{\displaystyle =\{cT\mid c>0\}\subseteq cv_{n}} 5582: 5513: 5477: 5447: 5417: 5385: 5311: 5281: 5232: 5199: 5169: 5137: 5098: 5049: 5010: 4758:) equipped with volume-one metric structures. The 4453: 4348: 3942: 3922: 3897: 3877: 3857: 3832: 3799: 3738: 3718: 3680: 3647: 3625: 3598: 3556: 3522: 3425: 3272: 3043: 2975: 2947:-length of this circuit is the translation length 2854: 2827: 2728: 2692: 2623: 2396:. This defines a bijective correspondence between 1912: 1768: 1729: 1383: 988: 747: 724: 697: 658: 621: 587: 560: 526: 495: 471: 386: 348: 317: 290: 239: 4464:One then checks that for the above action of Aut( 3570:equivariant Gromov–Hausdorff convergence topology 1288: 439: 435: 7871:Francaviglia, Stefano; Martino, Armando (2012). 6824: 6611: 6170: 3454: 3392: 2828:{\displaystyle \ell _{T}(ugu^{-1})=\ell _{T}(g)} 2658:acts on this axis by a translation of magnitude 2557: 3885:with respect to which the (partial) actions of 622:{\displaystyle \mathbb {P} ^{\,{\mathcal {C}}}} 394:into the infinite-dimensional projective space 7949:Proceedings of the London Mathematical Society 7431:A base-pointed version of Outer space, called 112:, and it serves as a free group analog of the 8067:Bulletin of the American Mathematical Society 7992:Corey Bregman, Ruth Charney, Karen Vogtmann, 6500:{\displaystyle d(x,y):=d_{R}(x,y)+d_{R}(y,x)} 5659:naturally quotients through to the action of 4775:between metric graphs representing points of 4091:→ Γ with a volume-one metric graph structure 3000:define equal translation length functions on 2899:→ Γ with a volume-one metric graph structure 2188:→ Γ with a volume-one metric graph structure 8: 7428:of group actions and in some other contexts. 6199: 6193: 6091:of the maximally stretched closed path from 5561: 5540: 5521:its projective equivalence class is denoted 4810:Basic properties and facts about Outer space 3264: 3161: 446: 440: 7637:Cohen, Marshall M.; Lustig, Martin (1995). 7521:{\displaystyle \operatorname {Aut} (F_{n})} 7114:{\displaystyle \operatorname {Out} (F_{n})} 5949:{\displaystyle \operatorname {Out} (F_{n})} 5691:{\displaystyle \operatorname {Out} (F_{n})} 5622:{\displaystyle \operatorname {Out} (F_{n})} 5138:{\displaystyle \operatorname {Out} (F_{n})} 3426:{\displaystyle \lim _{i\to \infty }T_{i}=T} 2320:(Γ), we also obtain an isometric action of 2104:is closed if and only if for every marking 1052:→ Γ together with a metric graph structure 291:{\displaystyle \operatorname {Out} (F_{n})} 8016:Journal of the London Mathematical Society 6745:is the finite set of conjugacy classes in 4196:we simply precompose the marking defining 3840:there exists an "almost isometry" between 3283:In the length function topology for every 1950:and then assigning to each surviving edge 918:is uniquely determined by the isomorphism 7961: 7900: 7890: 7839: 7720: 7702: 7661: 7509: 7494: 7473: 7467: 7446: 7440: 7397: 7391: 7370: 7361: 7336: 7321: 7318: 7297: 7282: 7279: 7260: 7259: 7257: 7236: 7230: 7183: 7174: 7153: 7138: 7135: 7102: 7087: 7064: 7043: 7037: 7016: 7004: 6984: 6963: 6957: 6925: 6890: 6827: 6799: 6793: 6767: 6718: 6666: 6645: 6638: 6614: 6586: 6580: 6557: 6521: 6515: 6476: 6448: 6421: 6382: 6354: 6348: 6305: 6271: 6265: 6232: 6211: 6204: 6184: 6173: 6145: 6139: 6116: 6096: 6071: 6065: 6030: 5997: 5988: 5967: 5961: 5937: 5922: 5910:{\displaystyle X_{n}\to CV_{n},T\mapsto } 5883: 5867: 5861: 5814: 5793: 5778: 5754: 5733: 5712: 5703: 5679: 5664: 5643: 5634: 5610: 5595: 5574: 5526: 5505: 5490: 5469: 5460: 5439: 5430: 5406: 5402: 5401: 5398: 5374: 5370: 5369: 5363: 5357: 5341: 5332: 5303: 5294: 5255: 5249: 5224: 5215: 5191: 5182: 5158: 5154: 5153: 5150: 5126: 5111: 5090: 5084: 5041: 5032: 5002: 4993: 4593:) is an actual automorphism representing 4442: 4427: 4402: 4377: 4371: 4330: 4297: 4292: 3935: 3910: 3890: 3870: 3845: 3824: 3812: 3791: 3751: 3731: 3710: 3693: 3672: 3660: 3641: 3640: 3638: 3617: 3611: 3590: 3584: 3548: 3542: 3502: 3478: 3473: 3457: 3451: 3411: 3395: 3389: 3250: 3239: 3219: 3197: 3188: 3179: 3137: 3131: 3035: 3023: 2958: 2952: 2846: 2840: 2810: 2791: 2772: 2766: 2711: 2705: 2669: 2663: 2612: 2597: 2560: 2538: 2526: 2525: 2516: 2503: 2497: 2158:Points of Outer space as actions on trees 1905: 1761: 1713: 1703: 1692: 1687: 1684: 1479:together with the metric graph structure 1350: 1338: 1319: 1309: 1298: 1293: 1287: 1286: 1285: 1279: 1275: 1274: 1261: 1242: 1221: 1215: 981: 741: 740: 738: 716: 710: 689: 674: 671: 650: 640: 637: 611: 610: 609: 608: 604: 603: 600: 579: 573: 552: 542: 539: 518: 512: 487: 486: 484: 460: 456: 455: 449: 428: 427: 423: 422: 410: 409: 408: 407: 403: 402: 399: 378: 372: 340: 334: 309: 303: 279: 264: 231: 225: 7768: 7766: 6738:{\displaystyle \operatorname {cand} (x)} 3018:-equivariantly isometric. Hence the map 1115:such that, up to free homotopy, we have 7677:Bestvina, Mladen; Feighn, Mark (1994). 7565: 6190: 5282:{\displaystyle X_{n}\times (0,\infty )} 1975:It can be shown that for every marking 1746:≥ 0 and such that the set of all edges 7797: 7795: 7573: 7571: 7569: 7208:-equivariant isometry classes of) all 4522:quotients through to an action of Out( 146:and individual outer automorphisms of 6406:{\displaystyle d_{R}(x,y)=d_{R}(y,x)} 164:can also be thought of as the set of 7: 7643:-trees and Dehn twist automorphisms" 7345:{\displaystyle {\overline {CV}}_{n}} 7306:{\displaystyle {\overline {cv}}_{n}} 7162:{\displaystyle {\overline {cv}}_{n}} 6754:which correspond to embeddings of a 5455:by scalar multiplication. The space 5418:{\displaystyle \mathbb {R} _{>0}} 5170:{\displaystyle \mathbb {R} _{>0}} 4891:− 3 edges and it has exactly 3 4504:. It follows that the action of Aut( 698:{\displaystyle {\overline {CV}}_{n}} 534:. They also proved that the closure 199:such that the quotient metric graph 7873:"The isometry group of Outer Space" 7801:Vincent Guirardel, Gilbert Levitt, 7032:is freely homotopic to the marking 6782:via the marking (see the diagram). 2091:is defined by saying that a subset 1059:Two marked metric graph structures 659:{\displaystyle {\overline {X}}_{n}} 561:{\displaystyle {\overline {X}}_{n}} 7998:, arXiv:2007.09725, preprint, 2020 6796: 6583: 6518: 6302: 6142: 6021:The Lipschitz distance, named for 5856:A key observation is that the map 5273: 4017:First we define the action of the 3464: 3402: 3044:{\displaystyle T\mapsto \ell _{T}} 1907: 1886:is obtained by taking the marking 1763: 1595:. Note that two open simplices in 1524:map, that is, distinct points of Δ 1218: 247:was introduced in a 1986 paper of 125:) and to obtain information about 14: 6545:{\displaystyle \Lambda _{R}(x,y)} 4771:is the same as that given by the 3655:-trees. Informally, given a tree 2693:{\displaystyle \ell _{T}(g)>0} 1998:is still injective. The image of 1625:→ Γ where Γ is a marking and let 1604:either are disjoint or coincide. 1187:→ Γ where Γ is a marking and let 845:. From this point on we identify 7354:length function compactification 7125:Applications and generalizations 4117:be a homotopy equivalence whose 3833:{\displaystyle B\subseteq F_{n}} 2131:′. In particular, the map 1165:Weak topology on the Outer space 133:and dynamical properties of Out( 75:, comes equipped with a natural 7739:on the boundary of outer space" 6343:), i.e. it only fails symmetry 6060:the (right) Lipschitz distance 4426: 2596: 2533: 255:, inspired by analogy with the 8062:On the geometry of outer space 7808:Groups, Geometry, and Dynamics 7726: 7713: 7515: 7502: 7108: 7095: 6936: 6907: 6895: 6869: 6863: 6849: 6837: 6817: 6805: 6732: 6726: 6678: 6672: 6657: 6651: 6633: 6627: 6604: 6592: 6539: 6527: 6494: 6482: 6466: 6454: 6438: 6426: 6400: 6388: 6372: 6360: 6323: 6311: 6289: 6277: 6244: 6238: 6223: 6217: 6163: 6151: 5943: 5930: 5904: 5898: 5895: 5873: 5840: 5831: 5822: 5816: 5760: 5747: 5685: 5672: 5616: 5603: 5534: 5528: 5276: 5264: 5132: 5119: 4850:, as was proved by Culler and 4571:) is an outer automorphism of 4423: 4420: 4414: 4408: 4392: 4386: 4327: 4321: 4184:→ Γ with the metric structure 3572:, which provides a version of 3514: 3508: 3492: 3486: 3461: 3399: 3240: 3236: 3230: 3209: 3203: 3189: 3155: 3143: 3028: 2970: 2964: 2822: 2816: 2800: 2778: 2723: 2717: 2681: 2675: 2590: 2575: 2550: 2544: 2522: 2450:-equivariant isometry between 2259:which are also isometries of ( 1267: 1235: 496:{\displaystyle {\mathcal {C}}} 285: 272: 180:discrete isometric actions of 1: 7783:Topology and its Applications 7757:10.1016/S0012-9593(00)00117-8 7639:"Very small group actions on 7489:only comes with an action of 7212:minimal isometric actions of 6920:are the continuous functions 2485:as above, one can define the 1028:marked metric graph structure 8082:"What Is . . . Outer Space?" 7663:10.1016/0040-9383(94)00038-m 7331: 7292: 7267:{\displaystyle \mathbb {R} } 7148: 7025:{\displaystyle h\circ f_{x}} 6087:is defined as the (natural) 3648:{\displaystyle \mathbb {R} } 3574:Gromov–Hausdorff convergence 2976:{\displaystyle \ell _{T}(g)} 2886:be represented by a marking 2729:{\displaystyle \ell _{T}(g)} 2489:associate with this action: 1930:= 0 to obtain a new marking 1103:if there exists an isometry 976:is a finite connected graph 951:, that is by an isomorphism 748:{\displaystyle \mathbb {R} } 684: 645: 547: 365:translation length functions 81:group of outer automorphisms 7803:Deformation spaces of trees 5802:{\displaystyle T\in cv_{n}} 5514:{\displaystyle T\in cv_{n}} 4987:unprojectivized Outer space 4981:Unprojectivized Outer space 3719:{\displaystyle T'\in X_{n}} 2487:translation length function 2267:), with the quotient space 796:circles wedged at a vertex 57:. The Outer space, denoted 26:Culler–Vogtmann Outer space 8133: 7732:{\displaystyle Out(F_{n})} 7695:Guiradel, Vincent (2000). 6952:such that for the marking 5207:by scalar multiplication. 4945:of Outer space. The spine 4125:level is the automorphism 3807:and a large finite subset 3681:{\displaystyle T\in X_{n}} 2288:is an isomorphism between 176:isometry types of minimal 7902:10.1016/j.aim.2012.07.011 7827:Publicacions Matemàtiques 7422:right-angled Artin groups 5323:Projectivized Outer space 5070:-trees, considered up to 4773:Gromov–Hausdorff distance 4750:(that is, with the first 3433:if and only if for every 2855:{\displaystyle \ell _{T}} 2045:represented by a marking 1786:= 0 is a subforest in Γ. 1413:, there is a natural map 503:is the set of nontrivial 7850:10.5565/PUBLMAT_55211_09 7595:Inventiones Mathematicae 6945:{\displaystyle h:x\to y} 4680:This left action of Out( 4621:The right action of Out( 4167:is given by the marking 3351:Convergence of sequences 3078:length function topology 2257:covering transformations 2244:. The fundamental group 2220:by giving every edge of 1890:, contracting all edges 1475:is given by the marking 906:→ Γ where Γ is a finite 874:) via this isomorphism. 774:≥ 2. For the free group 8021:(1998), no. 3, 633–655. 8013:Cerf theory for graphs. 7878:Advances in Mathematics 7814:(2007), no. 2, 135–181. 7789:(1989), no. 3, 197–221. 7774:The Gromov topology on 5846:{\displaystyle \phi :=} 3997:admits a natural right 3313:is given by the family 3009:then the two trees are 2835:, that is the function 1913:{\displaystyle \Gamma } 1769:{\displaystyle \Gamma } 989:{\displaystyle \gamma } 8112:Geometric group theory 8044:Higher Education Press 7733: 7539:Geometric group theory 7522: 7483: 7456: 7407: 7380: 7379:{\displaystyle CV_{n}} 7346: 7307: 7268: 7246: 7193: 7192:{\displaystyle cv_{n}} 7163: 7115: 7073: 7053: 7026: 6993: 6973: 6946: 6914: 6913:{\displaystyle H(x,y)} 6876: 6776: 6739: 6710: 6688: 6566: 6546: 6501: 6407: 6330: 6254: 6125: 6105: 6081: 6045: 6013:are often identified. 6007: 6006:{\displaystyle CV_{n}} 5977: 5950: 5911: 5847: 5803: 5767: 5722: 5721:{\displaystyle CV_{n}} 5692: 5653: 5652:{\displaystyle cv_{n}} 5623: 5584: 5515: 5479: 5478:{\displaystyle CV_{n}} 5449: 5448:{\displaystyle cv_{n}} 5419: 5387: 5319:is also contractible. 5313: 5312:{\displaystyle cv_{n}} 5283: 5234: 5233:{\displaystyle cv_{n}} 5201: 5200:{\displaystyle cv_{n}} 5171: 5139: 5100: 5051: 5050:{\displaystyle cv_{n}} 5012: 5011:{\displaystyle cv_{n}} 4887:, then Γ has at most 3 4848:properly discontinuous 4828:and the action of Out( 4455: 4350: 4242:). As a metric space, 4188:on Γ. That is, to get 3944: 3924: 3899: 3879: 3859: 3834: 3801: 3740: 3720: 3682: 3649: 3627: 3600: 3558: 3524: 3427: 3334:is a finite subset of 3274: 3106:, every finite subset 3093:as follows. For every 3045: 2977: 2856: 2829: 2730: 2694: 2625: 2206:simply connected graph 1914: 1770: 1731: 1708: 1398:− 1)-dimensional open 1385: 1314: 1039:consists of a marking 990: 792:, that is a wedge, of 749: 726: 699: 660: 623: 589: 562: 528: 497: 473: 388: 350: 327:properly discontinuous 319: 292: 241: 22:geometric group theory 8073:(2015), no. 1, 27–46. 8036:The topology of Out(F 7995:Outer space for RAAGs 7734: 7523: 7484: 7482:{\displaystyle A_{n}} 7457: 7455:{\displaystyle A_{n}} 7408: 7406:{\displaystyle X_{n}} 7381: 7347: 7308: 7269: 7247: 7245:{\displaystyle F_{n}} 7194: 7164: 7116: 7074: 7054: 7052:{\displaystyle f_{y}} 7027: 6994: 6974: 6972:{\displaystyle f_{x}} 6947: 6915: 6877: 6777: 6740: 6700: 6689: 6567: 6547: 6502: 6408: 6331: 6255: 6126: 6106: 6082: 6080:{\displaystyle d_{R}} 6046: 6008: 5978: 5976:{\displaystyle X_{n}} 5951: 5912: 5848: 5804: 5768: 5723: 5693: 5654: 5624: 5585: 5516: 5480: 5450: 5420: 5388: 5314: 5284: 5235: 5202: 5172: 5140: 5101: 5099:{\displaystyle X_{n}} 5052: 5013: 4868:topological dimension 4456: 4351: 3945: 3925: 3900: 3880: 3860: 3835: 3802: 3741: 3721: 3683: 3650: 3628: 3626:{\displaystyle F_{n}} 3601: 3599:{\displaystyle X_{n}} 3559: 3557:{\displaystyle X_{n}} 3525: 3428: 3275: 3252: for every  3064:-valued functions on 3046: 2978: 2857: 2830: 2731: 2695: 2626: 2371:-invariant subtrees. 2152:topological embedding 1915: 1771: 1732: 1688: 1386: 1294: 991: 750: 727: 725:{\displaystyle F_{n}} 700: 661: 624: 590: 588:{\displaystyle X_{n}} 563: 529: 527:{\displaystyle F_{n}} 498: 474: 389: 387:{\displaystyle X_{n}} 351: 349:{\displaystyle X_{n}} 320: 318:{\displaystyle X_{n}} 293: 242: 240:{\displaystyle X_{n}} 7701: 7493: 7466: 7439: 7424:, for the so-called 7390: 7360: 7317: 7278: 7256: 7229: 7173: 7134: 7086: 7063: 7036: 7003: 6983: 6956: 6924: 6889: 6792: 6766: 6762:, or a barbell into 6717: 6579: 6556: 6514: 6420: 6347: 6264: 6138: 6115: 6095: 6064: 6029: 5987: 5960: 5921: 5860: 5813: 5777: 5732: 5702: 5663: 5633: 5594: 5525: 5489: 5459: 5429: 5397: 5393:under the action of 5331: 5293: 5248: 5214: 5181: 5149: 5110: 5083: 5031: 4992: 4920:contains a specific 4370: 4291: 4119:induced homomorphism 3934: 3909: 3889: 3869: 3844: 3811: 3750: 3730: 3692: 3659: 3637: 3610: 3583: 3541: 3537:Another topology on 3450: 3388: 3130: 3022: 2951: 2862:is constant on each 2839: 2765: 2704: 2662: 2496: 2346:= Γ. This action is 2280:induced homomorphism 1904: 1760: 1683: 1577:). By construction, 1214: 980: 892:homotopy equivalence 766:Marked metric graphs 737: 709: 670: 636: 599: 572: 538: 511: 483: 398: 371: 367:discussed below, of 333: 302: 263: 224: 8007:Allen Hatcher, and 7972:10.1112/plms/pdl026 7608:1986InMat..84...91C 7544:Mapping class group 6044:{\displaystyle x,y} 4922:deformation retract 4797:and the "cusps" in 4784:. The moduli space 4706:The quotient space 4484:inner automorphisms 4078:given by a marking 2441:if there exists an 2278:(Γ) = Γ. Since the 2175:given by a marking 2082:on the Outer space 1150:equivalence classes 1000:of Γ of a positive 8117:Geometric topology 7885:(3–4): 1940–1973. 7729: 7616:10.1007/BF01388734 7518: 7479: 7452: 7426:deformation spaces 7403: 7376: 7342: 7303: 7264: 7242: 7189: 7159: 7111: 7069: 7049: 7022: 6989: 6969: 6942: 6910: 6872: 6853: 6772: 6735: 6711: 6684: 6637: 6562: 6542: 6497: 6403: 6326: 6250: 6203: 6121: 6101: 6077: 6041: 6017:Lipschitz distance 6003: 5973: 5946: 5907: 5843: 5799: 5763: 5718: 5688: 5649: 5619: 5580: 5511: 5475: 5445: 5415: 5383: 5309: 5279: 5230: 5197: 5167: 5135: 5096: 5047: 5008: 4958:− 3, is Out( 4739:fundamental groups 4451: 4346: 4338: 4310: 4263:. Namely, for any 4019:automorphism group 3940: 3923:{\displaystyle Y'} 3920: 3895: 3875: 3858:{\displaystyle Y'} 3855: 3830: 3797: 3736: 3716: 3678: 3645: 3623: 3596: 3554: 3520: 3468: 3423: 3406: 3270: 3041: 2973: 2852: 2825: 2738:translation length 2726: 2700:. For this reason 2690: 2621: 2571: 2472:Give an action of 2027:). Every point in 2019:and is denoted by 1910: 1766: 1727: 1726: 1655:as the set of all 1516:One can show that 1381: 986: 745: 722: 695: 656: 619: 585: 558: 524: 493: 469: 384: 346: 315: 288: 237: 8046:, Beijing, 2002; 8034:Mladen Bestvina, 7915:Mladen Bestvina, 7772:Frédéric Paulin, 7334: 7295: 7151: 7072:{\displaystyle y} 6992:{\displaystyle x} 6823: 6775:{\displaystyle x} 6682: 6610: 6565:{\displaystyle x} 6248: 6169: 6124:{\displaystyle y} 6104:{\displaystyle x} 5289:. In particular, 4876:fundamental group 4760:quotient topology 4473:) on Outer space 4430: 4331: 4298: 4123:fundamental group 3943:{\displaystyle Y} 3898:{\displaystyle B} 3878:{\displaystyle Y} 3739:{\displaystyle T} 3564:is the so-called 3453: 3391: 3253: 2600: 2556: 2015:corresponding to 1863:′ − Δ 1808:extends to a map 1737:, such that each 1565:corresponding to 1394:be the standard ( 1353: 815:fundamental group 761:Formal definition 687: 648: 550: 505:conjugacy classes 257:Teichmüller space 114:Teichmüller space 46:topological space 8124: 8098: 8086: 8022: 8005: 7999: 7990: 7984: 7983: 7965: 7943: 7937: 7913: 7907: 7906: 7904: 7894: 7868: 7862: 7861: 7843: 7821: 7815: 7799: 7790: 7770: 7761: 7760: 7738: 7736: 7735: 7730: 7725: 7724: 7692: 7686: 7685: 7683: 7674: 7668: 7667: 7665: 7647: 7634: 7628: 7627: 7591: 7575: 7527: 7525: 7524: 7519: 7514: 7513: 7488: 7486: 7485: 7480: 7478: 7477: 7461: 7459: 7458: 7453: 7451: 7450: 7412: 7410: 7409: 7404: 7402: 7401: 7385: 7383: 7382: 7377: 7375: 7374: 7351: 7349: 7348: 7343: 7341: 7340: 7335: 7330: 7322: 7312: 7310: 7309: 7304: 7302: 7301: 7296: 7291: 7283: 7273: 7271: 7270: 7265: 7263: 7251: 7249: 7248: 7243: 7241: 7240: 7198: 7196: 7195: 7190: 7188: 7187: 7168: 7166: 7165: 7160: 7158: 7157: 7152: 7147: 7139: 7120: 7118: 7117: 7112: 7107: 7106: 7078: 7076: 7075: 7070: 7058: 7056: 7055: 7050: 7048: 7047: 7031: 7029: 7028: 7023: 7021: 7020: 6998: 6996: 6995: 6990: 6978: 6976: 6975: 6970: 6968: 6967: 6951: 6949: 6948: 6943: 6919: 6917: 6916: 6911: 6881: 6879: 6878: 6873: 6852: 6804: 6803: 6781: 6779: 6778: 6773: 6744: 6742: 6741: 6736: 6693: 6691: 6690: 6685: 6683: 6681: 6671: 6670: 6660: 6650: 6649: 6639: 6636: 6591: 6590: 6571: 6569: 6568: 6563: 6551: 6549: 6548: 6543: 6526: 6525: 6506: 6504: 6503: 6498: 6481: 6480: 6453: 6452: 6412: 6410: 6409: 6404: 6387: 6386: 6359: 6358: 6335: 6333: 6332: 6327: 6310: 6309: 6276: 6275: 6259: 6257: 6256: 6251: 6249: 6247: 6237: 6236: 6226: 6216: 6215: 6205: 6202: 6189: 6188: 6150: 6149: 6130: 6128: 6127: 6122: 6110: 6108: 6107: 6102: 6086: 6084: 6083: 6078: 6076: 6075: 6050: 6048: 6047: 6042: 6023:Rudolf Lipschitz 6012: 6010: 6009: 6004: 6002: 6001: 5982: 5980: 5979: 5974: 5972: 5971: 5955: 5953: 5952: 5947: 5942: 5941: 5916: 5914: 5913: 5908: 5888: 5887: 5872: 5871: 5852: 5850: 5849: 5844: 5808: 5806: 5805: 5800: 5798: 5797: 5772: 5770: 5769: 5764: 5759: 5758: 5727: 5725: 5724: 5719: 5717: 5716: 5697: 5695: 5694: 5689: 5684: 5683: 5658: 5656: 5655: 5650: 5648: 5647: 5628: 5626: 5625: 5620: 5615: 5614: 5590:. The action of 5589: 5587: 5586: 5581: 5579: 5578: 5520: 5518: 5517: 5512: 5510: 5509: 5484: 5482: 5481: 5476: 5474: 5473: 5454: 5452: 5451: 5446: 5444: 5443: 5424: 5422: 5421: 5416: 5414: 5413: 5405: 5392: 5390: 5389: 5384: 5382: 5381: 5373: 5367: 5362: 5361: 5346: 5345: 5318: 5316: 5315: 5310: 5308: 5307: 5288: 5286: 5285: 5280: 5260: 5259: 5239: 5237: 5236: 5231: 5229: 5228: 5206: 5204: 5203: 5198: 5196: 5195: 5176: 5174: 5173: 5168: 5166: 5165: 5157: 5144: 5142: 5141: 5136: 5131: 5130: 5105: 5103: 5102: 5097: 5095: 5094: 5056: 5054: 5053: 5048: 5046: 5045: 5017: 5015: 5014: 5009: 5007: 5006: 4482:the subgroup of 4460: 4458: 4457: 4452: 4447: 4446: 4431: 4428: 4407: 4406: 4385: 4384: 4355: 4353: 4352: 4347: 4339: 4311: 4309: 4250:. The action of 4141: 3980:) on Outer space 3949: 3947: 3946: 3941: 3929: 3927: 3926: 3921: 3919: 3904: 3902: 3901: 3896: 3884: 3882: 3881: 3876: 3864: 3862: 3861: 3856: 3854: 3839: 3837: 3836: 3831: 3829: 3828: 3806: 3804: 3803: 3798: 3796: 3795: 3783: 3772: 3745: 3743: 3742: 3737: 3725: 3723: 3722: 3717: 3715: 3714: 3702: 3687: 3685: 3684: 3679: 3677: 3676: 3654: 3652: 3651: 3646: 3644: 3632: 3630: 3629: 3624: 3622: 3621: 3605: 3603: 3602: 3597: 3595: 3594: 3563: 3561: 3560: 3555: 3553: 3552: 3529: 3527: 3526: 3521: 3507: 3506: 3485: 3484: 3483: 3482: 3467: 3432: 3430: 3429: 3424: 3416: 3415: 3405: 3279: 3277: 3276: 3271: 3254: 3251: 3243: 3229: 3228: 3227: 3202: 3201: 3192: 3184: 3183: 3171: 3142: 3141: 3076:One defines the 3050: 3048: 3047: 3042: 3040: 3039: 2982: 2980: 2979: 2974: 2963: 2962: 2919: 2861: 2859: 2858: 2853: 2851: 2850: 2834: 2832: 2831: 2826: 2815: 2814: 2799: 2798: 2777: 2776: 2735: 2733: 2732: 2727: 2716: 2715: 2699: 2697: 2696: 2691: 2674: 2673: 2630: 2628: 2627: 2622: 2617: 2616: 2601: 2598: 2570: 2543: 2542: 2529: 2521: 2520: 2508: 2507: 2468:Length functions 2316: 2300: 2274: 2247: 2125:) is closed in Δ 1919: 1917: 1916: 1911: 1827:as follows. For 1775: 1773: 1772: 1767: 1736: 1734: 1733: 1728: 1725: 1718: 1717: 1707: 1702: 1608:Closed simplices 1390: 1388: 1387: 1382: 1380: 1376: 1354: 1351: 1343: 1342: 1324: 1323: 1313: 1308: 1292: 1291: 1284: 1283: 1278: 1266: 1265: 1247: 1246: 1226: 1225: 995: 993: 992: 987: 969: 964: 950: 945: 929: 857: 819: 754: 752: 751: 746: 744: 731: 729: 728: 723: 721: 720: 704: 702: 701: 696: 694: 693: 688: 683: 675: 665: 663: 662: 657: 655: 654: 649: 641: 628: 626: 625: 620: 618: 617: 616: 615: 607: 594: 592: 591: 586: 584: 583: 567: 565: 564: 559: 557: 556: 551: 543: 533: 531: 530: 525: 523: 522: 502: 500: 499: 494: 492: 491: 478: 476: 475: 470: 468: 467: 459: 453: 434: 433: 432: 426: 417: 416: 415: 414: 406: 393: 391: 390: 385: 383: 382: 355: 353: 352: 347: 345: 344: 324: 322: 321: 316: 314: 313: 297: 295: 294: 289: 284: 283: 246: 244: 243: 238: 236: 235: 220:The Outer space 175: 8132: 8131: 8127: 8126: 8125: 8123: 8122: 8121: 8102: 8101: 8084: 8078:Vogtmann, Karen 8076: 8039: 8031: 8029:Further reading 8026: 8025: 8006: 8002: 7991: 7987: 7945: 7944: 7940: 7927: 7917:The topology of 7914: 7910: 7870: 7869: 7865: 7823: 7822: 7818: 7800: 7793: 7771: 7764: 7716: 7699: 7698: 7694: 7693: 7689: 7681: 7676: 7675: 7671: 7645: 7636: 7635: 7631: 7589: 7583:Vogtmann, Karen 7577: 7576: 7567: 7562: 7549:Train track map 7535: 7505: 7491: 7490: 7469: 7464: 7463: 7442: 7437: 7436: 7393: 7388: 7387: 7366: 7358: 7357: 7323: 7320: 7315: 7314: 7284: 7281: 7276: 7275: 7254: 7253: 7232: 7227: 7226: 7220: 7207: 7179: 7171: 7170: 7140: 7137: 7132: 7131: 7127: 7098: 7084: 7083: 7061: 7060: 7039: 7034: 7033: 7012: 7001: 7000: 6981: 6980: 6959: 6954: 6953: 6922: 6921: 6887: 6886: 6795: 6790: 6789: 6764: 6763: 6760:figure of eight 6753: 6715: 6714: 6709:, and a barbell 6707:figure of eight 6662: 6661: 6641: 6640: 6582: 6577: 6576: 6554: 6553: 6517: 6512: 6511: 6472: 6444: 6418: 6417: 6378: 6350: 6345: 6344: 6301: 6267: 6262: 6261: 6228: 6227: 6207: 6206: 6180: 6141: 6136: 6135: 6113: 6112: 6093: 6092: 6067: 6062: 6061: 6059: 6027: 6026: 6019: 5993: 5985: 5984: 5963: 5958: 5957: 5933: 5919: 5918: 5879: 5863: 5858: 5857: 5811: 5810: 5789: 5775: 5774: 5750: 5730: 5729: 5708: 5700: 5699: 5675: 5661: 5660: 5639: 5631: 5630: 5606: 5592: 5591: 5570: 5523: 5522: 5501: 5487: 5486: 5465: 5457: 5456: 5435: 5427: 5426: 5400: 5395: 5394: 5368: 5353: 5337: 5329: 5328: 5325: 5299: 5291: 5290: 5251: 5246: 5245: 5220: 5212: 5211: 5210:Topologically, 5187: 5179: 5178: 5152: 5147: 5146: 5122: 5108: 5107: 5086: 5081: 5080: 5078: 5065: 5037: 5029: 5028: 5026: 4998: 4990: 4989: 4983: 4975: 4966: 4954:has dimension 2 4953: 4940: 4931: 4919: 4904:has dimension 3 4903: 4886: 4865: 4845: 4836: 4823: 4812: 4805: 4792: 4783: 4770: 4749: 4732: 4723: 4714: 4704: 4697: 4688: 4664: 4651: 4638: 4629: 4609: 4592: 4579: 4570: 4557: 4548: 4539: 4530: 4521: 4512: 4503: 4494: 4481: 4472: 4438: 4429: for  4398: 4373: 4368: 4367: 4302: 4289: 4288: 4283: 4258: 4241: 4228: 4219: 4183: 4166: 4154:). The element 4153: 4144: 4139: 4137: 4116: 4107: 4090: 4077: 4064: 4051: 4038: 4029: 4013: 3994: 3982: 3979: 3966: 3956: 3932: 3931: 3912: 3907: 3906: 3887: 3886: 3867: 3866: 3847: 3842: 3841: 3820: 3809: 3808: 3787: 3776: 3765: 3748: 3747: 3728: 3727: 3706: 3695: 3690: 3689: 3688:, another tree 3668: 3657: 3656: 3635: 3634: 3613: 3608: 3607: 3586: 3581: 3580: 3566:Gromov topology 3544: 3539: 3538: 3535: 3533:Gromov topology 3498: 3474: 3469: 3448: 3447: 3445: 3407: 3386: 3385: 3383: 3374: 3366:and a sequence 3365: 3342: 3321: 3312: 3295: 3220: 3215: 3193: 3175: 3164: 3133: 3128: 3127: 3118: 3105: 3092: 3072: 3059: 3031: 3020: 3019: 3017: 3008: 2999: 2954: 2949: 2948: 2942: 2931: 2922: 2917: 2915: 2898: 2885: 2864:conjugacy class 2842: 2837: 2836: 2806: 2787: 2768: 2763: 2762: 2760: 2707: 2702: 2701: 2665: 2660: 2659: 2608: 2599: for  2534: 2512: 2499: 2494: 2493: 2481:on a real tree 2480: 2470: 2463: 2456: 2449: 2436: 2429: 2422: 2413: 2404: 2395: 2382: 2370: 2358:, meaning that 2345: 2328: 2319: 2314: 2312: 2303: 2298: 2296: 2287: 2277: 2272: 2250: 2245: 2198:universal cover 2187: 2174: 2160: 2149: 2140: 2130: 2116: 2103: 2090: 2066: 2057: 2044: 2035: 2014: 1997: 1988: 1971: 1962: 1958: 1949: 1945: 1936: 1929: 1902: 1901: 1898: 1885: 1868: 1862: 1836: 1826: 1817: 1807: 1798: 1785: 1758: 1757: 1754: 1745: 1709: 1681: 1680: 1674: 1665: 1650: 1644: 1635: 1624: 1610: 1603: 1594: 1585: 1569:and is denoted 1564: 1551: 1538: 1529: 1504: 1495: 1483:on Γ such that 1474: 1457: 1451: 1442: 1431: 1422: 1352: for  1334: 1315: 1273: 1257: 1238: 1234: 1230: 1217: 1212: 1211: 1206: 1197: 1186: 1172: 1167: 1160: 1147: 1132: 1125: 1114: 1110: 1098: 1094: 1085: 1078: 1074: 1065: 1051: 1038: 978: 977: 967: 962: 960: 952: 948: 943: 941: 932: 927: 926: 924: 908:connected graph 905: 889: 869: 860: 855: 853: 844: 831: 822: 817: 812: 791: 782: 768: 763: 735: 734: 712: 707: 706: 676: 673: 668: 667: 666:with the space 639: 634: 633: 602: 597: 596: 575: 570: 569: 541: 536: 535: 514: 509: 508: 507:of elements of 481: 480: 454: 421: 401: 396: 395: 374: 369: 368: 336: 331: 330: 305: 300: 299: 275: 261: 260: 227: 222: 221: 218: 211: 188: 173: 165: 163: 154: 141: 124: 103: 92: 74: 65: 56: 43: 12: 11: 5: 8130: 8128: 8120: 8119: 8114: 8104: 8103: 8100: 8099: 8074: 8058:Karen Vogtmann 8055: 8037: 8030: 8027: 8024: 8023: 8009:Karen Vogtmann 8000: 7985: 7956:(3): 695–714. 7938: 7923: 7908: 7863: 7816: 7791: 7762: 7751:(4): 433–465. 7728: 7723: 7719: 7715: 7712: 7709: 7706: 7687: 7679:"Outer limits" 7669: 7656:(3): 575–617. 7629: 7564: 7563: 7561: 7558: 7557: 7556: 7551: 7546: 7541: 7534: 7531: 7530: 7529: 7517: 7512: 7508: 7504: 7501: 7498: 7476: 7472: 7449: 7445: 7429: 7414: 7400: 7396: 7373: 7369: 7365: 7339: 7333: 7329: 7326: 7300: 7294: 7290: 7287: 7262: 7239: 7235: 7216: 7203: 7186: 7182: 7178: 7156: 7150: 7146: 7143: 7126: 7123: 7110: 7105: 7101: 7097: 7094: 7091: 7068: 7046: 7042: 7019: 7015: 7011: 7008: 6988: 6966: 6962: 6941: 6938: 6935: 6932: 6929: 6909: 6906: 6903: 6900: 6897: 6894: 6883: 6882: 6871: 6868: 6865: 6862: 6859: 6856: 6851: 6848: 6845: 6842: 6839: 6836: 6833: 6830: 6826: 6822: 6819: 6816: 6813: 6810: 6807: 6802: 6798: 6771: 6749: 6734: 6731: 6728: 6725: 6722: 6695: 6694: 6680: 6677: 6674: 6669: 6665: 6659: 6656: 6653: 6648: 6644: 6635: 6632: 6629: 6626: 6623: 6620: 6617: 6613: 6609: 6606: 6603: 6600: 6597: 6594: 6589: 6585: 6561: 6541: 6538: 6535: 6532: 6529: 6524: 6520: 6508: 6507: 6496: 6493: 6490: 6487: 6484: 6479: 6475: 6471: 6468: 6465: 6462: 6459: 6456: 6451: 6447: 6443: 6440: 6437: 6434: 6431: 6428: 6425: 6402: 6399: 6396: 6393: 6390: 6385: 6381: 6377: 6374: 6371: 6368: 6365: 6362: 6357: 6353: 6337: 6336: 6325: 6322: 6319: 6316: 6313: 6308: 6304: 6300: 6297: 6294: 6291: 6288: 6285: 6282: 6279: 6274: 6270: 6246: 6243: 6240: 6235: 6231: 6225: 6222: 6219: 6214: 6210: 6201: 6198: 6195: 6192: 6187: 6183: 6179: 6176: 6172: 6168: 6165: 6162: 6159: 6156: 6153: 6148: 6144: 6120: 6100: 6074: 6070: 6055: 6040: 6037: 6034: 6018: 6015: 6000: 5996: 5992: 5970: 5966: 5945: 5940: 5936: 5932: 5929: 5926: 5906: 5903: 5900: 5897: 5894: 5891: 5886: 5882: 5878: 5875: 5870: 5866: 5842: 5839: 5836: 5833: 5830: 5827: 5824: 5821: 5818: 5796: 5792: 5788: 5785: 5782: 5762: 5757: 5753: 5749: 5746: 5743: 5740: 5737: 5728:. Namely, for 5715: 5711: 5707: 5687: 5682: 5678: 5674: 5671: 5668: 5646: 5642: 5638: 5618: 5613: 5609: 5605: 5602: 5599: 5577: 5573: 5569: 5566: 5563: 5560: 5557: 5554: 5551: 5548: 5545: 5542: 5539: 5536: 5533: 5530: 5508: 5504: 5500: 5497: 5494: 5472: 5468: 5464: 5442: 5438: 5434: 5412: 5409: 5404: 5380: 5377: 5372: 5366: 5360: 5356: 5352: 5349: 5344: 5340: 5336: 5324: 5321: 5306: 5302: 5298: 5278: 5275: 5272: 5269: 5266: 5263: 5258: 5254: 5227: 5223: 5219: 5194: 5190: 5186: 5164: 5161: 5156: 5134: 5129: 5125: 5121: 5118: 5115: 5093: 5089: 5074: 5061: 5044: 5040: 5036: 5022: 5005: 5001: 4997: 4982: 4979: 4978: 4977: 4971: 4962: 4949: 4936: 4927: 4915: 4909: 4899: 4882: 4878:isomorphic to 4861: 4855: 4841: 4832: 4819: 4811: 4808: 4801: 4788: 4779: 4766: 4745: 4741:isomorphic to 4728: 4719: 4710: 4703: 4700: 4693: 4684: 4678: 4677: 4660: 4647: 4634: 4625: 4605: 4588: 4575: 4566: 4553: 4544: 4535: 4526: 4517: 4508: 4499: 4490: 4477: 4468: 4462: 4461: 4450: 4445: 4441: 4437: 4434: 4425: 4422: 4419: 4416: 4413: 4410: 4405: 4401: 4397: 4394: 4391: 4388: 4383: 4380: 4376: 4357: 4356: 4345: 4342: 4337: 4334: 4329: 4326: 4323: 4320: 4317: 4314: 4308: 4305: 4301: 4296: 4279: 4259:is twisted by 4254: 4237: 4224: 4215: 4179: 4162: 4149: 4142: 4133: 4112: 4103: 4086: 4073: 4069:be a point of 4060: 4047: 4034: 4025: 4009: 4003:homeomorphisms 3990: 3981: 3975: 3971:Action of Out( 3969: 3962: 3955: 3952: 3939: 3918: 3915: 3894: 3874: 3853: 3850: 3827: 3823: 3819: 3816: 3794: 3790: 3786: 3782: 3779: 3775: 3771: 3768: 3764: 3761: 3758: 3755: 3735: 3726:is "close" to 3713: 3709: 3705: 3701: 3698: 3675: 3671: 3667: 3664: 3643: 3620: 3616: 3606:as actions of 3593: 3589: 3551: 3547: 3534: 3531: 3519: 3516: 3513: 3510: 3505: 3501: 3497: 3494: 3491: 3488: 3481: 3477: 3472: 3466: 3463: 3460: 3456: 3441: 3422: 3419: 3414: 3410: 3404: 3401: 3398: 3394: 3379: 3370: 3361: 3338: 3317: 3308: 3291: 3281: 3280: 3269: 3266: 3263: 3260: 3257: 3249: 3246: 3242: 3238: 3235: 3232: 3226: 3223: 3218: 3214: 3211: 3208: 3205: 3200: 3196: 3191: 3187: 3182: 3178: 3174: 3170: 3167: 3163: 3160: 3157: 3154: 3151: 3148: 3145: 3140: 3136: 3114: 3101: 3088: 3073:is injective. 3068: 3060:to the set of 3055: 3038: 3034: 3030: 3027: 3013: 3004: 2995: 2972: 2969: 2966: 2961: 2957: 2940: 2932:). First push 2927: 2920: 2911: 2894: 2881: 2849: 2845: 2824: 2821: 2818: 2813: 2809: 2805: 2802: 2797: 2794: 2790: 2786: 2783: 2780: 2775: 2771: 2756: 2736:is called the 2725: 2722: 2719: 2714: 2710: 2689: 2686: 2683: 2680: 2677: 2672: 2668: 2632: 2631: 2620: 2615: 2611: 2607: 2604: 2595: 2592: 2589: 2586: 2583: 2580: 2577: 2574: 2569: 2566: 2563: 2559: 2555: 2552: 2549: 2546: 2541: 2537: 2532: 2528: 2524: 2519: 2515: 2511: 2506: 2502: 2476: 2469: 2466: 2461: 2454: 2445: 2434: 2427: 2423:on real trees 2418: 2409: 2400: 2391: 2378: 2366: 2362:has no proper 2341: 2324: 2317: 2308: 2301: 2292: 2285: 2275: 2248: 2183: 2170: 2166:be a point in 2159: 2156: 2145: 2136: 2126: 2112: 2099: 2086: 2062: 2053: 2040: 2031: 2010: 2004:closed simplex 2002:is called the 1993: 1984: 1967: 1960: 1954: 1947: 1941: 1934: 1925: 1909: 1894: 1881: 1864: 1858: 1832: 1822: 1813: 1803: 1794: 1781: 1765: 1750: 1741: 1724: 1721: 1716: 1712: 1706: 1701: 1698: 1695: 1691: 1670: 1663: 1646: 1640: 1633: 1620: 1609: 1606: 1599: 1590: 1581: 1560: 1547: 1534: 1525: 1520:is in fact an 1500: 1491: 1470: 1453: 1447: 1440: 1427: 1418: 1392: 1391: 1379: 1375: 1372: 1369: 1366: 1363: 1360: 1357: 1349: 1346: 1341: 1337: 1333: 1330: 1327: 1322: 1318: 1312: 1307: 1304: 1301: 1297: 1290: 1282: 1277: 1272: 1269: 1264: 1260: 1256: 1253: 1250: 1245: 1241: 1237: 1233: 1229: 1224: 1220: 1202: 1195: 1182: 1171: 1170:Open simplices 1168: 1166: 1163: 1156: 1143: 1130: 1123: 1112: 1108: 1096: 1090: 1083: 1076: 1070: 1063: 1047: 1034: 985: 965: 956: 946: 937: 930: 922: 901: 890:consists of a 885: 865: 858: 849: 840: 827: 820: 808: 787: 778: 767: 764: 762: 759: 743: 719: 715: 692: 686: 682: 679: 653: 647: 644: 614: 606: 582: 578: 555: 549: 546: 521: 517: 490: 466: 463: 458: 452: 448: 445: 442: 438: 431: 425: 420: 413: 405: 381: 377: 343: 339: 312: 308: 287: 282: 278: 274: 271: 268: 253:Karen Vogtmann 234: 230: 217: 214: 212:has volume 1. 207: 184: 169: 159: 150: 137: 120: 110:Karen Vogtmann 99: 88: 70: 61: 52: 39: 13: 10: 9: 6: 4: 3: 2: 8129: 8118: 8115: 8113: 8110: 8109: 8107: 8097:(7): 784–786. 8096: 8092: 8091: 8083: 8079: 8075: 8072: 8069: 8068: 8063: 8059: 8056: 8053: 8052:7-04-008690-5 8049: 8045: 8041: 8033: 8032: 8028: 8020: 8017: 8014: 8010: 8004: 8001: 7997: 7996: 7989: 7986: 7981: 7977: 7973: 7969: 7964: 7959: 7955: 7951: 7950: 7942: 7939: 7935: 7934:7-04-008690-5 7931: 7926: 7922: 7918: 7912: 7909: 7903: 7898: 7893: 7888: 7884: 7880: 7879: 7874: 7867: 7864: 7859: 7855: 7851: 7847: 7842: 7837: 7833: 7829: 7828: 7820: 7817: 7813: 7810: 7809: 7804: 7798: 7796: 7792: 7788: 7785: 7784: 7779: 7777: 7769: 7767: 7763: 7758: 7754: 7750: 7746: 7745: 7740: 7721: 7717: 7710: 7707: 7704: 7697:"Dynamics of 7691: 7688: 7680: 7673: 7670: 7664: 7659: 7655: 7651: 7644: 7642: 7633: 7630: 7625: 7621: 7617: 7613: 7609: 7605: 7602:(1): 91–119. 7601: 7597: 7596: 7588: 7584: 7580: 7574: 7572: 7570: 7566: 7559: 7555: 7552: 7550: 7547: 7545: 7542: 7540: 7537: 7536: 7532: 7510: 7506: 7499: 7496: 7474: 7470: 7447: 7443: 7434: 7430: 7427: 7423: 7419: 7418:free products 7415: 7398: 7394: 7371: 7367: 7363: 7355: 7352:which is the 7337: 7327: 7324: 7298: 7288: 7285: 7237: 7233: 7224: 7219: 7215: 7211: 7206: 7202: 7184: 7180: 7176: 7154: 7144: 7141: 7129: 7128: 7124: 7122: 7103: 7099: 7092: 7089: 7080: 7066: 7044: 7040: 7017: 7013: 7009: 7006: 6986: 6964: 6960: 6939: 6933: 6930: 6927: 6904: 6901: 6898: 6892: 6866: 6860: 6857: 6854: 6846: 6843: 6840: 6834: 6831: 6828: 6820: 6814: 6811: 6808: 6800: 6788: 6787: 6786: 6783: 6769: 6761: 6757: 6752: 6748: 6729: 6723: 6720: 6708: 6704: 6699: 6675: 6667: 6663: 6654: 6646: 6642: 6630: 6624: 6621: 6618: 6615: 6607: 6601: 6598: 6595: 6587: 6575: 6574: 6573: 6559: 6536: 6533: 6530: 6522: 6510:The supremum 6491: 6488: 6485: 6477: 6473: 6469: 6463: 6460: 6457: 6449: 6445: 6441: 6435: 6432: 6429: 6423: 6416: 6415: 6414: 6397: 6394: 6391: 6383: 6379: 6375: 6369: 6366: 6363: 6355: 6351: 6342: 6320: 6317: 6314: 6306: 6298: 6295: 6292: 6286: 6283: 6280: 6272: 6268: 6241: 6233: 6229: 6220: 6212: 6208: 6196: 6185: 6181: 6177: 6174: 6166: 6160: 6157: 6154: 6146: 6134: 6133: 6132: 6118: 6098: 6090: 6072: 6068: 6058: 6054: 6038: 6035: 6032: 6024: 6016: 6014: 5998: 5994: 5990: 5968: 5964: 5938: 5934: 5927: 5924: 5901: 5892: 5889: 5884: 5880: 5876: 5868: 5864: 5854: 5837: 5834: 5828: 5825: 5819: 5794: 5790: 5786: 5783: 5780: 5755: 5751: 5744: 5741: 5738: 5735: 5713: 5709: 5705: 5680: 5676: 5669: 5666: 5644: 5640: 5636: 5611: 5607: 5600: 5597: 5575: 5571: 5567: 5564: 5558: 5555: 5552: 5549: 5546: 5543: 5537: 5531: 5506: 5502: 5498: 5495: 5492: 5470: 5466: 5462: 5440: 5436: 5432: 5410: 5407: 5378: 5375: 5364: 5358: 5354: 5350: 5347: 5342: 5338: 5334: 5322: 5320: 5304: 5300: 5296: 5270: 5267: 5261: 5256: 5252: 5243: 5225: 5221: 5217: 5208: 5192: 5188: 5184: 5162: 5159: 5127: 5123: 5116: 5113: 5091: 5087: 5077: 5073: 5069: 5064: 5060: 5042: 5038: 5034: 5025: 5021: 5003: 4999: 4995: 4988: 4980: 4974: 4970: 4965: 4961: 4957: 4952: 4948: 4944: 4941:, called the 4939: 4935: 4930: 4926: 4923: 4918: 4914: 4910: 4907: 4902: 4898: 4894: 4890: 4885: 4881: 4877: 4873: 4869: 4864: 4860: 4856: 4853: 4849: 4844: 4840: 4835: 4831: 4827: 4822: 4818: 4814: 4813: 4809: 4807: 4804: 4800: 4796: 4791: 4787: 4782: 4778: 4774: 4769: 4765: 4761: 4757: 4753: 4748: 4744: 4740: 4736: 4731: 4727: 4722: 4718: 4713: 4709: 4701: 4699: 4696: 4692: 4687: 4683: 4675: 4671: 4668: 4667: 4666: 4663: 4659: 4655: 4650: 4646: 4642: 4637: 4633: 4628: 4624: 4619: 4617: 4613: 4608: 4604: 4600: 4597:then for any 4596: 4591: 4587: 4583: 4578: 4574: 4569: 4565: 4561: 4558:. namely, if 4556: 4552: 4547: 4543: 4538: 4534: 4529: 4525: 4520: 4516: 4511: 4507: 4502: 4498: 4493: 4489: 4485: 4480: 4476: 4471: 4467: 4448: 4443: 4439: 4435: 4432: 4417: 4411: 4403: 4399: 4395: 4389: 4381: 4378: 4374: 4366: 4365: 4364: 4363:is given as: 4362: 4343: 4340: 4335: 4332: 4324: 4318: 4315: 4312: 4306: 4303: 4299: 4294: 4287: 4286: 4285: 4282: 4278: 4274: 4270: 4266: 4262: 4257: 4253: 4249: 4245: 4240: 4236: 4232: 4227: 4223: 4218: 4214: 4210: 4205: 4203: 4199: 4195: 4191: 4187: 4182: 4178: 4174: 4170: 4165: 4161: 4157: 4152: 4148: 4136: 4132: 4128: 4124: 4120: 4115: 4111: 4106: 4102: 4098: 4094: 4089: 4085: 4081: 4076: 4072: 4068: 4063: 4059: 4055: 4050: 4046: 4042: 4037: 4033: 4028: 4024: 4020: 4015: 4012: 4008: 4004: 4000: 3996: 3993: 3989: 3978: 3974: 3970: 3968: 3965: 3961: 3953: 3951: 3937: 3916: 3913: 3892: 3872: 3851: 3848: 3825: 3821: 3817: 3814: 3792: 3788: 3784: 3780: 3777: 3773: 3769: 3766: 3762: 3759: 3756: 3753: 3733: 3711: 3707: 3703: 3699: 3696: 3673: 3669: 3665: 3662: 3618: 3614: 3591: 3587: 3577: 3575: 3571: 3567: 3549: 3545: 3532: 3530: 3517: 3511: 3503: 3499: 3495: 3489: 3479: 3475: 3470: 3458: 3444: 3440: 3436: 3420: 3417: 3412: 3408: 3396: 3382: 3378: 3373: 3369: 3364: 3360: 3356: 3352: 3348: 3346: 3341: 3337: 3333: 3329: 3325: 3320: 3316: 3311: 3307: 3303: 3299: 3298:neighborhoods 3294: 3290: 3286: 3267: 3261: 3258: 3255: 3247: 3244: 3233: 3224: 3221: 3216: 3212: 3206: 3198: 3194: 3185: 3180: 3176: 3172: 3168: 3165: 3158: 3152: 3149: 3146: 3138: 3134: 3126: 3125: 3124: 3122: 3117: 3113: 3109: 3104: 3100: 3096: 3091: 3087: 3083: 3082:axes topology 3079: 3074: 3071: 3067: 3063: 3058: 3054: 3036: 3032: 3025: 3016: 3012: 3007: 3003: 2998: 2994: 2988: 2986: 2967: 2959: 2955: 2946: 2939: 2935: 2930: 2926: 2914: 2910: 2906: 2902: 2897: 2893: 2889: 2884: 2880: 2876: 2871: 2869: 2865: 2847: 2843: 2819: 2811: 2807: 2803: 2795: 2792: 2788: 2784: 2781: 2773: 2769: 2759: 2755: 2751: 2747: 2743: 2739: 2720: 2712: 2708: 2687: 2684: 2678: 2670: 2666: 2657: 2653: 2649: 2646:, called the 2645: 2641: 2637: 2618: 2613: 2609: 2605: 2602: 2593: 2587: 2584: 2581: 2578: 2572: 2567: 2564: 2561: 2553: 2547: 2539: 2535: 2530: 2517: 2513: 2509: 2504: 2500: 2492: 2491: 2490: 2488: 2484: 2479: 2475: 2467: 2465: 2460: 2453: 2448: 2444: 2440: 2433: 2426: 2421: 2417: 2412: 2408: 2403: 2399: 2394: 2390: 2386: 2381: 2377: 2372: 2369: 2365: 2361: 2357: 2353: 2349: 2344: 2340: 2336: 2332: 2327: 2323: 2311: 2307: 2295: 2291: 2284: 2281: 2270: 2266: 2262: 2258: 2254: 2243: 2240:) which is a 2239: 2235: 2231: 2227: 2223: 2219: 2215: 2211: 2207: 2203: 2199: 2195: 2191: 2186: 2182: 2178: 2173: 2169: 2165: 2157: 2155: 2153: 2148: 2144: 2139: 2134: 2129: 2124: 2120: 2115: 2111: 2107: 2102: 2098: 2094: 2089: 2085: 2081: 2080:weak topology 2076: 2074: 2070: 2065: 2061: 2056: 2052: 2048: 2043: 2039: 2034: 2030: 2026: 2022: 2018: 2013: 2009: 2005: 2001: 1996: 1992: 1987: 1982: 1978: 1973: 1970: 1966: 1957: 1953: 1944: 1940: 1933: 1928: 1924: 1920: 1897: 1893: 1889: 1884: 1880: 1876: 1872: 1867: 1861: 1856: 1852: 1848: 1844: 1840: 1835: 1830: 1825: 1821: 1816: 1811: 1806: 1802: 1797: 1792: 1787: 1784: 1780: 1776: 1753: 1749: 1744: 1740: 1722: 1719: 1714: 1710: 1704: 1699: 1696: 1693: 1689: 1678: 1673: 1669: 1662: 1658: 1654: 1649: 1643: 1639: 1632: 1628: 1623: 1619: 1615: 1607: 1605: 1602: 1598: 1593: 1589: 1584: 1580: 1576: 1572: 1568: 1563: 1559: 1555: 1550: 1545: 1540: 1537: 1533: 1528: 1523: 1519: 1514: 1512: 1508: 1503: 1499: 1494: 1490: 1486: 1482: 1478: 1473: 1469: 1465: 1461: 1456: 1450: 1446: 1439: 1435: 1430: 1426: 1421: 1416: 1412: 1407: 1405: 1401: 1397: 1377: 1373: 1370: 1367: 1364: 1361: 1358: 1355: 1347: 1344: 1339: 1335: 1331: 1328: 1325: 1320: 1316: 1310: 1305: 1302: 1299: 1295: 1280: 1270: 1262: 1258: 1254: 1251: 1248: 1243: 1239: 1231: 1227: 1222: 1210: 1209: 1208: 1205: 1201: 1194: 1190: 1185: 1181: 1177: 1169: 1164: 1162: 1159: 1155: 1151: 1146: 1142: 1139: 1134: 1129: 1122: 1118: 1106: 1102: 1093: 1089: 1082: 1073: 1069: 1062: 1057: 1055: 1050: 1046: 1042: 1037: 1033: 1029: 1024: 1022: 1018: 1014: 1011:) called the 1010: 1006: 1003: 999: 983: 975: 970: 959: 955: 940: 936: 921: 917: 913: 909: 904: 900: 896: 893: 888: 884: 880: 875: 873: 868: 864: 852: 848: 843: 839: 835: 830: 826: 816: 811: 807: 803: 800:, and fix an 799: 795: 790: 786: 783:fix a "rose" 781: 777: 773: 765: 760: 758: 756: 717: 713: 690: 680: 677: 651: 642: 630: 580: 576: 553: 544: 519: 515: 506: 464: 461: 450: 443: 436: 418: 379: 375: 366: 361: 359: 341: 337: 328: 310: 306: 280: 276: 269: 266: 258: 254: 250: 232: 228: 215: 213: 210: 206: 202: 198: 195: 193: 187: 183: 179: 172: 168: 162: 158: 153: 149: 145: 140: 136: 132: 128: 123: 119: 115: 111: 107: 102: 98: 94: 91: 87: 82: 78: 73: 69: 64: 60: 55: 51: 47: 42: 38: 35: 31: 27: 23: 19: 8094: 8088: 8070: 8065: 8061: 8035: 8018: 8012: 8003: 7993: 7988: 7963:math/0501288 7953: 7947: 7941: 7924: 7920: 7916: 7911: 7882: 7876: 7866: 7831: 7825: 7819: 7811: 7806: 7802: 7786: 7781: 7775: 7773: 7748: 7742: 7690: 7672: 7653: 7649: 7640: 7632: 7599: 7593: 7579:Culler, Marc 7432: 7425: 7353: 7222: 7217: 7213: 7209: 7204: 7200: 7130:The closure 7081: 6999:the marking 6884: 6784: 6750: 6746: 6712: 6509: 6338: 6056: 6052: 6020: 5855: 5326: 5242:homeomorphic 5209: 5075: 5071: 5067: 5062: 5058: 5023: 5019: 4986: 4984: 4972: 4968: 4963: 4959: 4955: 4950: 4946: 4942: 4937: 4933: 4928: 4924: 4916: 4912: 4911:Outer space 4905: 4900: 4896: 4892: 4888: 4883: 4879: 4871: 4862: 4858: 4842: 4838: 4833: 4829: 4826:contractible 4820: 4816: 4815:Outer space 4802: 4798: 4789: 4785: 4780: 4776: 4767: 4763: 4755: 4752:Betti number 4746: 4742: 4735:moduli space 4734: 4729: 4725: 4720: 4716: 4711: 4707: 4705: 4702:Moduli space 4694: 4690: 4685: 4681: 4679: 4673: 4669: 4661: 4657: 4653: 4648: 4644: 4640: 4635: 4631: 4626: 4622: 4620: 4615: 4611: 4606: 4602: 4598: 4594: 4589: 4585: 4581: 4576: 4572: 4567: 4563: 4559: 4554: 4550: 4545: 4541: 4536: 4532: 4527: 4523: 4518: 4514: 4509: 4505: 4500: 4496: 4491: 4487: 4478: 4474: 4469: 4465: 4463: 4360: 4358: 4280: 4276: 4272: 4268: 4264: 4260: 4255: 4251: 4247: 4246:is equal to 4243: 4238: 4234: 4230: 4225: 4221: 4216: 4212: 4208: 4206: 4201: 4197: 4193: 4189: 4185: 4180: 4176: 4172: 4168: 4163: 4159: 4155: 4150: 4146: 4134: 4130: 4126: 4113: 4109: 4104: 4100: 4096: 4092: 4087: 4083: 4079: 4074: 4070: 4066: 4061: 4057: 4054:automorphism 4048: 4044: 4040: 4035: 4031: 4026: 4022: 4016: 4010: 4006: 3991: 3987: 3983: 3976: 3972: 3963: 3959: 3957: 3578: 3569: 3565: 3536: 3442: 3438: 3434: 3380: 3376: 3371: 3367: 3362: 3358: 3354: 3349: 3344: 3339: 3335: 3331: 3327: 3323: 3318: 3314: 3309: 3305: 3301: 3292: 3288: 3284: 3282: 3120: 3115: 3111: 3107: 3102: 3098: 3094: 3089: 3085: 3081: 3077: 3075: 3069: 3065: 3061: 3056: 3052: 3014: 3010: 3005: 3001: 2996: 2992: 2989: 2984: 2944: 2937: 2936:forward via 2933: 2928: 2924: 2912: 2908: 2904: 2900: 2895: 2891: 2887: 2882: 2878: 2874: 2872: 2867: 2757: 2753: 2749: 2745: 2741: 2737: 2655: 2654:, such that 2651: 2647: 2643: 2639: 2635: 2633: 2486: 2482: 2477: 2473: 2471: 2458: 2451: 2446: 2442: 2438: 2431: 2424: 2419: 2415: 2410: 2406: 2401: 2397: 2392: 2388: 2384: 2379: 2375: 2373: 2367: 2363: 2359: 2355: 2342: 2338: 2334: 2330: 2325: 2321: 2309: 2305: 2293: 2289: 2282: 2268: 2264: 2260: 2252: 2251:(Γ) acts on 2237: 2233: 2230:metric space 2225: 2221: 2217: 2213: 2209: 2201: 2193: 2189: 2184: 2180: 2176: 2171: 2167: 2163: 2161: 2146: 2142: 2137: 2132: 2127: 2122: 2118: 2117:→ Γ the set 2113: 2109: 2105: 2100: 2096: 2092: 2087: 2083: 2079: 2077: 2072: 2068: 2063: 2059: 2054: 2050: 2046: 2041: 2037: 2032: 2028: 2024: 2020: 2016: 2011: 2007: 2003: 1999: 1994: 1990: 1985: 1980: 1976: 1974: 1968: 1964: 1955: 1951: 1942: 1938: 1931: 1926: 1922: 1900: 1895: 1891: 1887: 1882: 1878: 1874: 1870: 1865: 1859: 1854: 1850: 1846: 1842: 1838: 1833: 1828: 1823: 1819: 1814: 1809: 1804: 1800: 1795: 1790: 1788: 1782: 1778: 1756: 1751: 1747: 1742: 1738: 1679:, such that 1676: 1671: 1667: 1660: 1656: 1652: 1647: 1641: 1637: 1630: 1626: 1621: 1617: 1613: 1611: 1600: 1596: 1591: 1587: 1582: 1578: 1574: 1570: 1566: 1561: 1557: 1554:open simplex 1553: 1552:) is called 1548: 1543: 1541: 1535: 1531: 1526: 1517: 1515: 1510: 1506: 1501: 1497: 1492: 1488: 1484: 1480: 1476: 1471: 1467: 1463: 1459: 1458:, the point 1454: 1448: 1444: 1437: 1433: 1432:, where for 1428: 1424: 1419: 1414: 1410: 1408: 1403: 1395: 1393: 1203: 1199: 1192: 1188: 1183: 1179: 1175: 1173: 1157: 1153: 1148:consists of 1144: 1140: 1137: 1135: 1127: 1120: 1116: 1104: 1100: 1091: 1087: 1080: 1071: 1067: 1060: 1058: 1053: 1048: 1044: 1040: 1035: 1031: 1027: 1025: 1020: 1016: 1012: 1008: 1004: 997: 974:metric graph 973: 971: 957: 953: 938: 934: 919: 915: 902: 898: 894: 886: 882: 878: 876: 871: 866: 862: 850: 846: 841: 837: 833: 828: 824: 809: 805: 797: 793: 788: 784: 779: 775: 771: 769: 631: 629:is compact. 364: 362: 358:contractible 219: 208: 204: 200: 196: 191: 185: 181: 174:-equivariant 170: 166: 160: 156: 155:. The space 151: 147: 138: 134: 121: 117: 100: 96: 89: 85: 71: 67: 62: 58: 53: 49: 40: 36: 29: 25: 18:mathematical 15: 8090:AMS Notices 7834:: 433–473. 7433:Auter space 6756:simple loop 6703:simple loop 6341:quasimetric 3296:a basis of 3123:> 0 let 2200:of Γ. Thus 1138:Outer space 1002:real number 802:isomorphism 329:, and that 249:Marc Culler 106:Marc Culler 30:Outer space 20:subject of 8106:Categories 7560:References 7210:very small 4908:− 4. 4857:The space 4095:on Γ. Let 3984:The group 3967:coincide. 3343:and where 3119:and every 2903:on Γ. Let 2744:. For any 2439:equivalent 2208:, that is 2192:on Γ. Let 2141:′ → 1989:′ → 1869:the point 1818:′ → 1651:′ ⊆ 1645:. Define Δ 1509:= 1, ..., 1101:equivalent 142:), of its 34:free group 7892:0912.0299 7841:0803.0640 7624:122869546 7500:⁡ 7332:¯ 7293:¯ 7149:¯ 7093:⁡ 7010:∘ 6937:→ 6832:∈ 6797:Λ 6724:⁡ 6676:γ 6664:ℓ 6655:γ 6643:ℓ 6625:⁡ 6619:∈ 6616:γ 6584:Λ 6519:Λ 6303:Λ 6299:⁡ 6242:γ 6230:ℓ 6221:γ 6209:ℓ 6191:∖ 6178:∈ 6175:γ 6143:Λ 6089:logarithm 5928:⁡ 5896:↦ 5874:→ 5838:ϕ 5826:ϕ 5784:∈ 5745:⁡ 5739:∈ 5736:ϕ 5670:⁡ 5601:⁡ 5565:⊆ 5550:∣ 5496:∈ 5274:∞ 5262:× 5117:⁡ 4754:equal to 4733:) is the 4436:∈ 4412:α 4400:ℓ 4382:α 4375:ℓ 4333:⋅ 4319:α 4307:α 4300:⋅ 4284:we have: 3818:⊆ 3785:∈ 3774:⊆ 3757:⊆ 3704:∈ 3666:∈ 3500:ℓ 3471:ℓ 3465:∞ 3462:→ 3403:∞ 3400:→ 3259:∈ 3248:ϵ 3217:ℓ 3213:− 3195:ℓ 3173:∈ 3153:ϵ 3033:ℓ 3029:↦ 2956:ℓ 2844:ℓ 2808:ℓ 2793:− 2770:ℓ 2709:ℓ 2667:ℓ 2606:∈ 2565:∈ 2536:ℓ 2523:→ 2501:ℓ 2242:real tree 2135: : Δ 2067:, namely 1983: : Δ 1908:Γ 1812: : Δ 1793: : Δ 1764:Γ 1690:∑ 1522:injective 1417: : Δ 1368:… 1296:∑ 1271:∈ 1252:… 1219:Δ 1107: : Γ 984:γ 685:¯ 646:¯ 548:¯ 437:− 270:⁡ 144:subgroups 131:geometric 127:algebraic 8080:(2008). 7650:Topology 7585:(1986). 7533:See also 4852:Vogtmann 4610:we have 4531:) = Aut( 4175: : 4099: : 4082: : 4052:) be an 3917:′ 3852:′ 3781:′ 3770:′ 3700:′ 3446:we have 3384:we have 3347:> 0. 3330:) where 3225:′ 3169:′ 2890: : 2761:we have 2352:discrete 2179: : 2108: : 2071:′( 2049: : 2023:′( 1979:the map 1972:> 0. 1937: : 1789:The map 1616: : 1542:The set 1178: : 1086: : 1066: : 1043: : 925: : 912:homotopy 897: : 813:and the 804:between 479:, where 28:or just 7980:7079548 7858:4997063 7604:Bibcode 7554:Out(Fn) 7386:and of 4795:compact 4793:is not 4584:in Aut( 4580:and if 4121:at the 4065:. Let 3568:or the 2356:minimal 2228:into a 2196:be the 1963:length 1853:). For 1666:, ..., 1636:, ..., 1443:, ..., 1400:simplex 1198:, ..., 879:marking 216:History 79:of the 16:In the 8050:  7978:  7932:  7856:  7778:-trees 7622:  7420:, for 6885:Where 6713:Where 5917:is an 4652:) and 4643:∈ Out( 4562:∈ Out( 4540:)/Inn( 4233:∈ Aut( 4229:. Let 4043:∈ Aut( 4039:. Let 3999:action 2313:) and 1409:Given 1207:. Let 1056:on Γ. 1021:volume 1019:. The 1013:length 755:-trees 194:-trees 77:action 24:, the 8085:(PDF) 7976:S2CID 7958:arXiv 7887:arXiv 7854:S2CID 7836:arXiv 7682:(PDF) 7646:(PDF) 7620:S2CID 7590:(PDF) 4943:spine 4837:) on 4724:/Out( 4689:) on 4630:) on 4549:) on 4513:) on 4200:with 4192:from 4030:) on 3051:from 2333:with 2204:is a 2150:is a 1921:with 1877:) of 1777:with 1466:) of 1452:) ∈ Δ 836:) of 44:is a 32:of a 8048:ISBN 7930:ISBN 7919:Out( 6758:, a 6721:cand 6705:, a 6622:cand 6260:and 5983:and 5809:put 5773:and 5556:> 5408:> 5376:> 5160:> 4985:The 4866:has 4665:set 4486:Inn( 4271:and 4021:Aut( 3986:Out( 3930:and 3865:and 3245:< 2685:> 2648:axis 2634:For 2457:and 2437:are 2430:and 2350:and 2348:free 2162:Let 2078:The 1959:of Γ 1845:) = 1837:put 1831:in Δ 1675:) ∈ 1612:Let 1505:for 1496:) = 1345:> 1174:Let 1136:The 1099:are 1079:and 968:(Γ). 942:) → 854:and 770:Let 462:> 251:and 178:free 108:and 84:Out( 8011:, 7968:doi 7897:doi 7883:231 7846:doi 7753:doi 7658:doi 7612:doi 7497:Aut 7356:of 7252:on 7221:on 7169:of 7090:Out 7059:on 6979:on 6825:min 6612:max 6296:log 6171:sup 6111:to 6051:in 5925:Out 5742:Out 5698:on 5667:Out 5629:on 5598:Out 5425:on 5244:to 5240:is 5177:on 5114:Out 5066:on 4932:of 4846:is 4824:is 4762:on 4656:in 4601:in 4275:in 4267:in 4211:in 4158:of 4129:of 4056:of 4005:on 4001:by 3905:on 3633:on 3455:lim 3437:in 3393:lim 3375:in 3357:in 3304:in 3300:of 3287:in 3110:of 3097:in 3084:on 3080:or 2983:of 2877:in 2866:in 2752:in 2740:of 2650:of 2642:in 2558:min 2387:of 2329:on 2255:by 2216:to 2095:of 2075:). 2006:in 1946:→ Γ 1899:of 1857:∈ Δ 1755:in 1659:= ( 1556:in 1436:= ( 1402:in 1111:→ Γ 1095:→ Γ 1075:→ Γ 1030:on 1015:of 949:(Γ) 881:on 732:on 595:in 568:of 356:is 325:is 298:on 267:Out 189:on 95:of 66:or 8108:: 8095:55 8093:. 8087:. 8071:52 8064:. 8060:, 8019:58 7974:. 7966:. 7954:94 7952:. 7895:. 7881:. 7875:. 7852:. 7844:. 7832:55 7830:. 7805:. 7794:^ 7787:32 7780:. 7765:^ 7749:33 7747:. 7741:. 7654:34 7652:. 7648:. 7618:. 7610:. 7600:84 7598:. 7592:. 7581:; 7568:^ 7079:. 6701:A 6572:. 6442::= 6293::= 6167::= 6131:: 5853:. 5829::= 5348::= 4976:). 4715:= 4674:xφ 4672:= 4670:φx 4618:. 4616:xα 4614:= 4612:xφ 4361:Tα 4244:Tα 4204:. 4190:xα 4171:∘ 4156:xα 4138:= 4108:→ 4014:. 3326:, 2987:. 2916:= 2907:∈ 2870:. 2748:, 2464:. 2297:= 2263:, 2236:, 2154:. 1799:→ 1546:(Δ 1539:. 1513:. 1423:→ 1406:. 1161:. 1133:. 1126:= 1119:o 1026:A 972:A 961:→ 914:, 877:A 870:, 832:, 757:. 360:. 129:, 68:CV 8054:. 8040:) 8038:n 7982:. 7970:: 7960:: 7936:. 7925:n 7921:F 7905:. 7899:: 7889:: 7860:. 7848:: 7838:: 7812:1 7776:R 7759:. 7755:: 7727:) 7722:n 7718:F 7714:( 7711:t 7708:u 7705:O 7684:. 7666:. 7660:: 7641:R 7626:. 7614:: 7606:: 7528:. 7516:) 7511:n 7507:F 7503:( 7475:n 7471:A 7448:n 7444:A 7399:n 7395:X 7372:n 7368:V 7364:C 7338:n 7328:V 7325:C 7299:n 7289:v 7286:c 7261:R 7238:n 7234:F 7223:R 7218:n 7214:F 7205:n 7201:F 7185:n 7181:v 7177:c 7155:n 7145:v 7142:c 7109:) 7104:n 7100:F 7096:( 7067:y 7045:y 7041:f 7018:x 7014:f 7007:h 6987:x 6965:x 6961:f 6940:y 6934:x 6931:: 6928:h 6908:) 6905:y 6902:, 6899:x 6896:( 6893:H 6870:) 6867:h 6864:( 6861:p 6858:i 6855:L 6850:) 6847:y 6844:, 6841:x 6838:( 6835:H 6829:h 6821:= 6818:) 6815:y 6812:, 6809:x 6806:( 6801:R 6770:x 6751:n 6747:F 6733:) 6730:x 6727:( 6679:) 6673:( 6668:x 6658:) 6652:( 6647:y 6634:) 6631:x 6628:( 6608:= 6605:) 6602:y 6599:, 6596:x 6593:( 6588:R 6560:x 6540:) 6537:y 6534:, 6531:x 6528:( 6523:R 6495:) 6492:x 6489:, 6486:y 6483:( 6478:R 6474:d 6470:+ 6467:) 6464:y 6461:, 6458:x 6455:( 6450:R 6446:d 6439:) 6436:y 6433:, 6430:x 6427:( 6424:d 6401:) 6398:x 6395:, 6392:y 6389:( 6384:R 6380:d 6376:= 6373:) 6370:y 6367:, 6364:x 6361:( 6356:R 6352:d 6324:) 6321:y 6318:, 6315:x 6312:( 6307:R 6290:) 6287:y 6284:, 6281:x 6278:( 6273:R 6269:d 6245:) 6239:( 6234:x 6224:) 6218:( 6213:y 6200:} 6197:1 6194:{ 6186:n 6182:F 6164:) 6161:y 6158:, 6155:x 6152:( 6147:R 6119:y 6099:x 6073:R 6069:d 6057:n 6053:X 6039:y 6036:, 6033:x 5999:n 5995:V 5991:C 5969:n 5965:X 5944:) 5939:n 5935:F 5931:( 5905:] 5902:T 5899:[ 5893:T 5890:, 5885:n 5881:V 5877:C 5869:n 5865:X 5841:] 5835:T 5832:[ 5823:] 5820:T 5817:[ 5795:n 5791:v 5787:c 5781:T 5761:) 5756:n 5752:F 5748:( 5714:n 5710:V 5706:C 5686:) 5681:n 5677:F 5673:( 5645:n 5641:v 5637:c 5617:) 5612:n 5608:F 5604:( 5576:n 5572:v 5568:c 5562:} 5559:0 5553:c 5547:T 5544:c 5541:{ 5538:= 5535:] 5532:T 5529:[ 5507:n 5503:v 5499:c 5493:T 5471:n 5467:V 5463:C 5441:n 5437:v 5433:c 5411:0 5403:R 5379:0 5371:R 5365:/ 5359:n 5355:v 5351:c 5343:n 5339:V 5335:C 5305:n 5301:v 5297:c 5277:) 5271:, 5268:0 5265:( 5257:n 5253:X 5226:n 5222:v 5218:c 5193:n 5189:v 5185:c 5163:0 5155:R 5133:) 5128:n 5124:F 5120:( 5092:n 5088:X 5076:n 5072:F 5068:R 5063:n 5059:F 5043:n 5039:v 5035:c 5024:n 5020:F 5004:n 5000:v 4996:c 4973:n 4969:F 4964:n 4960:F 4956:n 4951:n 4947:K 4938:n 4934:X 4929:n 4925:K 4917:n 4913:X 4906:n 4901:n 4897:X 4893:n 4889:n 4884:n 4880:F 4872:n 4870:3 4863:n 4859:X 4843:n 4839:X 4834:n 4830:F 4821:n 4817:X 4803:n 4799:M 4790:n 4786:M 4781:n 4777:M 4768:n 4764:M 4756:n 4747:n 4743:F 4730:n 4726:F 4721:n 4717:X 4712:n 4708:M 4695:n 4691:X 4686:n 4682:F 4676:. 4662:n 4658:X 4654:x 4649:n 4645:F 4641:φ 4636:n 4632:X 4627:n 4623:F 4607:n 4603:X 4599:x 4595:φ 4590:n 4586:F 4582:α 4577:n 4573:F 4568:n 4564:F 4560:φ 4555:n 4551:X 4546:n 4542:F 4537:n 4533:F 4528:n 4524:F 4519:n 4515:X 4510:n 4506:F 4501:n 4497:X 4492:n 4488:F 4479:n 4475:X 4470:n 4466:F 4449:. 4444:n 4440:F 4433:g 4424:) 4421:) 4418:g 4415:( 4409:( 4404:T 4396:= 4393:) 4390:g 4387:( 4379:T 4344:. 4341:t 4336:T 4328:) 4325:g 4322:( 4316:= 4313:t 4304:T 4295:g 4281:n 4277:F 4273:g 4269:T 4265:t 4261:α 4256:n 4252:F 4248:T 4239:n 4235:F 4231:α 4226:n 4222:F 4217:n 4213:X 4209:T 4202:τ 4198:x 4194:x 4186:L 4181:n 4177:R 4173:τ 4169:f 4164:n 4160:X 4151:n 4147:R 4145:( 4143:1 4140:π 4135:n 4131:F 4127:α 4114:n 4110:R 4105:n 4101:R 4097:τ 4093:L 4088:n 4084:R 4080:f 4075:n 4071:X 4067:x 4062:n 4058:F 4049:n 4045:F 4041:α 4036:n 4032:X 4027:n 4023:F 4011:n 4007:X 3995:) 3992:n 3988:F 3977:n 3973:F 3964:n 3960:X 3938:Y 3914:Y 3893:B 3873:Y 3849:Y 3826:n 3822:F 3815:B 3793:n 3789:X 3778:T 3767:Y 3763:, 3760:T 3754:Y 3734:T 3712:n 3708:X 3697:T 3674:n 3670:X 3663:T 3642:R 3619:n 3615:F 3592:n 3588:X 3550:n 3546:X 3518:. 3515:) 3512:g 3509:( 3504:T 3496:= 3493:) 3490:g 3487:( 3480:i 3476:T 3459:i 3443:n 3439:F 3435:g 3421:T 3418:= 3413:i 3409:T 3397:i 3381:n 3377:X 3372:i 3368:T 3363:n 3359:X 3355:T 3345:ε 3340:n 3336:F 3332:K 3328:ε 3324:K 3322:( 3319:T 3315:V 3310:n 3306:X 3302:T 3293:n 3289:X 3285:T 3268:. 3265:} 3262:K 3256:g 3241:| 3237:) 3234:g 3231:( 3222:T 3210:) 3207:g 3204:( 3199:T 3190:| 3186:: 3181:n 3177:X 3166:T 3162:{ 3159:= 3156:) 3150:, 3147:K 3144:( 3139:T 3135:V 3121:ε 3116:n 3112:F 3108:K 3103:n 3099:X 3095:T 3090:n 3086:X 3070:n 3066:F 3062:R 3057:n 3053:X 3037:T 3026:T 3015:n 3011:F 3006:n 3002:F 2997:n 2993:F 2985:g 2971:) 2968:g 2965:( 2960:T 2945:L 2941:# 2938:f 2934:g 2929:n 2925:R 2923:( 2921:1 2918:π 2913:n 2909:F 2905:g 2901:L 2896:n 2892:R 2888:f 2883:n 2879:X 2875:T 2868:G 2848:T 2823:) 2820:g 2817:( 2812:T 2804:= 2801:) 2796:1 2789:u 2785:g 2782:u 2779:( 2774:T 2758:n 2754:F 2750:u 2746:g 2742:g 2724:) 2721:g 2718:( 2713:T 2688:0 2682:) 2679:g 2676:( 2671:T 2656:g 2652:g 2644:T 2640:R 2636:g 2619:. 2614:n 2610:F 2603:g 2594:, 2591:) 2588:t 2585:g 2582:, 2579:t 2576:( 2573:d 2568:T 2562:t 2554:= 2551:) 2548:g 2545:( 2540:T 2531:, 2527:R 2518:n 2514:F 2510:: 2505:T 2483:T 2478:n 2474:F 2462:2 2459:T 2455:1 2452:T 2447:n 2443:F 2435:2 2432:T 2428:1 2425:T 2420:n 2416:F 2411:n 2407:F 2402:n 2398:X 2393:n 2389:X 2385:x 2380:n 2376:F 2368:n 2364:F 2360:T 2343:n 2339:F 2337:/ 2335:T 2331:T 2326:n 2322:F 2318:1 2315:π 2310:n 2306:R 2304:( 2302:1 2299:π 2294:n 2290:F 2286:# 2283:f 2276:1 2273:π 2271:/ 2269:T 2265:d 2261:T 2253:T 2249:1 2246:π 2238:d 2234:T 2232:( 2226:T 2222:T 2218:T 2214:L 2210:T 2202:T 2194:T 2190:L 2185:n 2181:R 2177:f 2172:n 2168:X 2164:x 2147:n 2143:X 2138:k 2133:h 2128:k 2123:C 2121:( 2119:h 2114:n 2110:R 2106:f 2101:n 2097:X 2093:C 2088:n 2084:X 2073:f 2069:S 2064:n 2060:X 2055:n 2051:R 2047:f 2042:n 2038:X 2033:n 2029:X 2025:f 2021:S 2017:f 2012:n 2008:X 2000:h 1995:n 1991:X 1986:k 1981:h 1977:f 1969:i 1965:x 1961:1 1956:i 1952:e 1948:1 1943:n 1939:R 1935:1 1932:f 1927:i 1923:x 1896:i 1892:e 1888:f 1883:n 1879:X 1875:x 1873:( 1871:h 1866:k 1860:k 1855:x 1851:x 1849:( 1847:j 1843:x 1841:( 1839:h 1834:k 1829:x 1824:n 1820:X 1815:k 1810:h 1805:n 1801:X 1796:k 1791:j 1783:i 1779:x 1752:i 1748:e 1743:i 1739:x 1723:1 1720:= 1715:i 1711:x 1705:k 1700:1 1697:= 1694:i 1677:R 1672:k 1668:x 1664:1 1661:x 1657:x 1653:R 1648:k 1642:k 1638:e 1634:1 1631:e 1627:k 1622:n 1618:R 1614:f 1601:n 1597:X 1592:n 1588:F 1583:n 1579:X 1575:f 1573:( 1571:S 1567:f 1562:n 1558:X 1549:k 1544:j 1536:n 1532:F 1527:k 1518:j 1511:k 1507:i 1502:i 1498:x 1493:i 1489:e 1487:( 1485:L 1481:L 1477:f 1472:n 1468:X 1464:x 1462:( 1460:j 1455:k 1449:k 1445:x 1441:1 1438:x 1434:x 1429:n 1425:X 1420:k 1415:j 1411:f 1404:R 1396:k 1378:} 1374:k 1371:, 1365:, 1362:1 1359:= 1356:i 1348:0 1340:i 1336:x 1332:, 1329:1 1326:= 1321:i 1317:x 1311:k 1306:1 1303:= 1300:i 1289:| 1281:k 1276:R 1268:) 1263:k 1259:x 1255:, 1249:, 1244:1 1240:x 1236:( 1232:{ 1228:= 1223:k 1204:k 1200:e 1196:1 1193:e 1189:k 1184:n 1180:R 1176:f 1158:n 1154:F 1145:n 1141:X 1131:2 1128:f 1124:1 1121:f 1117:θ 1113:2 1109:1 1105:θ 1097:2 1092:n 1088:R 1084:2 1081:f 1077:1 1072:n 1068:R 1064:1 1061:f 1054:L 1049:n 1045:R 1041:f 1036:n 1032:F 1017:e 1009:e 1007:( 1005:L 998:e 966:1 963:π 958:n 954:F 947:1 944:π 939:n 935:R 933:( 931:1 928:π 923:# 920:f 916:f 903:n 899:R 895:f 887:n 883:F 872:v 867:n 863:R 861:( 859:1 856:π 851:n 847:F 842:n 838:R 834:v 829:n 825:R 823:( 821:1 818:π 810:n 806:F 798:v 794:n 789:n 785:R 780:n 776:F 772:n 742:R 718:n 714:F 691:n 681:V 678:C 652:n 643:X 613:C 605:P 581:n 577:X 554:n 545:X 520:n 516:F 489:C 465:0 457:R 451:/ 447:} 444:0 441:{ 430:C 424:R 419:= 412:C 404:P 380:n 376:X 342:n 338:X 311:n 307:X 286:) 281:n 277:F 273:( 233:n 229:X 209:n 205:F 203:/ 201:T 197:T 192:R 186:n 182:F 171:n 167:F 161:n 157:X 152:n 148:F 139:n 135:F 122:n 118:F 101:n 97:F 93:) 90:n 86:F 72:n 63:n 59:X 54:n 50:F 41:n 37:F

Index

mathematical
geometric group theory
free group
topological space
action
group of outer automorphisms
Out(Fn)
Marc Culler
Karen Vogtmann
Teichmüller space
algebraic
geometric
subgroups
free
R-trees
Marc Culler
Karen Vogtmann
Teichmüller space
properly discontinuous
contractible
conjugacy classes
R {\displaystyle \mathbb {R} } -trees
isomorphism
fundamental group
homotopy equivalence
connected graph
homotopy
real number
equivalence classes
simplex

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.