Outer space (mathematics)

EN — December 12, 2021 · Comments off

In the mathematical subject of geometric group theory, the Culler–Vogtmann Outer space or just Outer space of a free groupFn is a topological space consisting of the so-called “marked metric graph structures” of volume 1 on Fn. The Outer space, denoted Xn or CVn, comes equipped with a natural action of the group of outer automorphismsOut(Fn) of Fn. The Outer space was introduced in a 1986 paper[1] of Marc Culler and Karen Vogtmann, and it serves as a free group analog of the Teichmüller space of a hyperbolic surface. Outer space is used to study homology and cohomology groups of Out(Fn) and to obtain information about algebraic, geometric and dynamical properties of Out(Fn), of its subgroups and individual outer automorphisms of Fn. The space Xn can also be thought of as the set of Fn-equivariant isometry types of minimal free discrete isometric actions of Fn on Fn on R-treesT such that the quotient metric graph T/Fn has volume 1.
This article may be too technical for most readers to understand. (May 2019)

. . . Outer space (mathematics) . . .

The Outer space

Xn{displaystyle X_{n}}

was introduced in a 1986 paper[1] of Marc Culler and Karen Vogtmann, inspired by analogy with the Teichmüller space of a hyperbolic surface. They showed that the natural action of

Out⁡(Fn){displaystyle operatorname {Out} (F_{n})}

on

Xn{displaystyle X_{n}}

is properly discontinuous, and that

Xn{displaystyle X_{n}}

is contractible.

In the same paper Culler and Vogtmann constructed an embedding, via the translation length functions discussed below, of

Xn{displaystyle X_{n}}

into the infinite-dimensional projective space

PC=RC−{0}/R>0{displaystyle mathbb {P} ^{,{mathcal {C}}}=mathbb {R} ^{mathcal {C}}!-!{0}/mathbb {R} _{>0}}

, where

C{displaystyle {mathcal {C}}}

is the set of nontrivial conjugacy classes of elements of

Fn{displaystyle F_{n}}

. They also proved that the closure

X¯n{displaystyle {overline {X}}_{n}}

of

Xn{displaystyle X_{n}}

in

PC{displaystyle mathbb {P} ^{,{mathcal {C}}}}

is compact.

Later a combination of the results of Cohen and Lustig[2] and of Bestvina and Feighn[3] identified (see Section 1.3 of [4]) the space

X¯n{displaystyle {overline {X}}_{n}}

with the space

CV¯n{displaystyle {overline {CV}}_{n}}

of projective classes of “very small” minimal isometric actions of

Fn{displaystyle F_{n}}

on

R{displaystyle mathbb {R} }

-trees.

. . . Outer space (mathematics) . . .

This article is issued from web site Wikipedia. The original article may be a bit shortened or modified. Some links may have been modified. The text is licensed under “Creative Commons – Attribution – Sharealike” [1] and some of the text can also be licensed under the terms of the “GNU Free Documentation License” [2]. Additional terms may apply for the media files. By using this site, you agree to our Legal pages . Web links: [1] [2]

. . . Outer space (mathematics) . . .

© 2022 The Grey Earl INFO - WordPress Theme by WPEnjoy