|
Out(Fn)
In mathematics, Out(''Fn'') is the outer automorphism group of a free group on ''n'' generators. These groups play an important role in geometric group theory. Outer space Out(''Fn'') acts geometrically on a cell complex known as Culler–Vogtmann Outer space, which can be thought of as the Teichmüller space for a bouquet of circles. Definition A point of the outer space is essentially an \R-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 \R-graph is just a weighted graph with weights in \R. 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 gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Karen Vogtmann
Karen Vogtmann (born July 13, 1949 in Pittsburg, California''Biographies of Candidates 2002.'' . September 2002, Volume 49, Issue 8, pp. 970–981) is an American mathematician working primarily in the area of . She is known for having introduced, in a 1986 paper with , an objec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outer Space (mathematics)
In the mathematical subject of geometric group theory, the Culler–Vogtmann Outer space or just Outer space of a free group ''F''''n'' is a topological space consisting of the so-called "marked metric graph structures" of volume 1 on ''F''''n''. The Outer space, denoted ''X''''n'' or ''CV''''n'', comes equipped with a natural action of the group of outer automorphisms Out(''F''''n'') of ''F''''n''. The Outer space was introduced in a 1986 paper 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(''F''''n'') and to obtain information about algebraic, geometric and dynamical properties of Out(''F''''n''), of its subgroups and individual outer automorphisms of ''F''''n''. The space ''X''''n'' can also be thought of as the set of isometry types of minimal free discrete isometric actions of ''F''''n'' on ''F''''n'' on R-trees ''T'' such that the q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marc Culler
Marc Edward Culler (born November 22, 1953) is an American mathematician who works in geometric group theory and low-dimensional topology. A native Californian, Culler did his undergraduate work at the University of California at Santa Barbara and his graduate work at University of California, Berkeley, Berkeley where he graduated in 1978. He is now at the University of Illinois at Chicago. Culler is the son of Glen Culler, Glen Jacob Culler who was an important early innovator in the development of the Internet. Work Culler specializes in group theory, low dimensional topology, 3-manifolds, and hyperbolic geometry. Culler frequently collaborates with Peter Shalen and they have co-authored many papers. Culler and Shalen did joint work that related properties of representation varieties of hyperbolic 3-manifold groups to decompositions of 3-manifolds. In particular, Culler and Shalen used the Bass–Serre theory, applied to the function field of the SL(2,C)-Character variety of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Outer Automorphism Group
In mathematics, the outer automorphism group of a group, , is the quotient, , where is the automorphism group of and ) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted . If is trivial and has a trivial center, then is said to be complete. An automorphism of a group which is not inner is called an outer automorphism. The cosets of with respect to outer automorphisms are then the elements of ; this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups. If the inner automorphism group is trivial (when a group is abelian), the automorphism group and outer automorphism group are naturally identified; that is, the outer automorphism group does act on the group. For example, for the alternating group, , the outer automorphism group is usually the group of order 2, with exceptions noted below. Considering as a subgroup of the symmetric group, , conjugation by any odd permutation is an oute ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Group Theory
Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such group (mathematics), groups and topology, topological and geometry, geometric properties of spaces on which these groups Group action (mathematics), act (that is, when the groups in question are realized as geometric symmetries or continuous transformations of some spaces). Another important idea in geometric group theory is to consider finitely generated groups themselves as geometric objects. This is usually done by studying the Cayley graphs of groups, which, in addition to the graph (discrete mathematics), graph structure, are endowed with the structure of a metric space, given by the so-called word metric. Geometric group theory, as a distinct area, is relatively new, and became a clearly identifiable branch of mathematics in the late 1980s and early 1990s. Geometric group theory closely interacts with low-dimens ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism Group Of A Free Group
In mathematical group theory, the automorphism group of a free group is a discrete group of automorphisms of a free group. The quotient by the inner automorphisms is the outer automorphism group of a free group, which is similar in some ways to the mapping class group of a surface. Presentation showed that the automorphisms defined by the elementary Nielsen transformations generate the full automorphism group of a finitely generated free group. Nielsen, and later Bernhard Neumann used these ideas to give finite presentations of the automorphism groups of free groups. This is also described in . The automorphism group of the free group with ordered basis ''x''1, …, ''x''''n'' is generated by the following 4 elementary Nielsen transformations: * Switch ''x''1 and ''x''2 * Cyclically permute ''x''1, ''x''2, …, ''x''''n'', to ''x''2, …, ''x''''n'', ''x''1. * Replace ''x''1 with ''x''1−1 * Replace ''x''1 with ''x''1·''x''2 These transformations are the analogues of the elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Train Track Map
In the mathematical subject of geometric group theory, a train track map is a continuous map ''f'' from a finite connected graph to itself which is a homotopy equivalence and which has particularly nice cancellation properties with respect to iterations. This map sends vertices to vertices and edges to nontrivial edge-paths with the property that for every edge ''e'' of the graph and for every positive integer ''n'' the path ''fn''(''e'') is ''immersed'', that is ''fn''(''e'') is locally injective on ''e''. Train-track maps are a key tool in analyzing the dynamics of automorphisms of finitely generated free groups and in the study of the Culler–Vogtmann Outer space. History Train track maps for free group automorphisms were introduced in a 1992 paper of Bestvina and Handel.Mladen Bestvina, and Michael Handel''Train tracks and automorphisms of free groups.'' Annals of Mathematics (2), vol. 135 (1992), no. 1, pp. 1–51 The notion was motivated by Thurston's train tr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Linear Group
In mathematics, the general linear group of degree ''n'' is the set of invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over R (the set of real numbers) is the group of invertible matrices of real numbers, and is denoted by GL''n''(R) or . More generally, the general linear group of degree ''n'' over any ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface (mathematics)
In mathematics, a surface is a mathematical model of the common concept of a surface. It is a generalization of a plane, but, unlike a plane, it may be curved; this is analogous to a curve generalizing a straight line. There are several more precise definitions, depending on the context and the mathematical tools that are used for the study. The simplest mathematical surfaces are planes and spheres in the Euclidean 3-space. The exact definition of a surface may depend on the context. Typically, in algebraic geometry, a surface may cross itself (and may have other singularities), while, in topology and differential geometry, it may not. A surface is a topological space of dimension two; this means that a moving point on a surface may move in two directions (it has two degrees of freedom). In other words, around almost every point, there is a ''coordinate patch'' on which a two-dimensional coordinate system is defined. For example, the surface of the Earth resembles (ideally) a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Category
In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any model category and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra. The naive homotopy category The category of topological spaces Top has objects the topological spaces and morphisms the continuous maps between them. The older definition of the homotopy category hTop, called the naive homotopy category for clarity in this article, has the same objects, and a morphism is a homotopy class of continuous maps. That is, two continuous maps ''f'': ''X'' → ''Y'' are considered the same in the naive hom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Class Group
In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space. Motivation Consider a topological space, that is, a space with some notion of closeness between points in the space. We can consider the set of homeomorphisms from the space into itself, that is, continuous maps with continuous inverses: functions which stretch and deform the space continuously without breaking or gluing the space. This set of homeomorphisms can be thought of as a space itself. It forms a group under functional composition. We can also define a topology on this new space of homeomorphisms. The open sets of this new function space will be made up of sets of functions that map compact subsets ''K'' into open subsets ''U'' as ''K'' and ''U'' range throughout our original topological space, completed with their finite intersect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> General Linear Group")