Tree actions of automorphism groups

For a finitely generated group G, we study deformation spaces of metric G-trees, which are analogues of the Teichmuller spaces of surfaces for group actions on trees. Deformation spaces of metric G-trees generalize Culler-Vogtmann’s Outer space, the deformation space of free actions on trees, which has proven to be immensely useful in the study of Out(Fn), the outer automorphism group of the free group of rank n ≥ 2. Let D be a deformation space of metric G-trees. The group of positive real numbers R>0 acts on D by scaling the metrics on the trees and we define the projectivized deformation space as the quotient PD = D/R>0. The outer auto- morphism group Out(G) contains a certain subgroup OutD(G) that acts on D and PD by precomposing the G-actions on the trees. In Chapter 1, we present a complete argument that under certain assumptions the projectivized deformation space PD is a model for the classifying space of OutD(G) for a family of subgroups. In Chapter 2, we introduce an asymmetric pseudometric on PD that generalizes the asymmetric Lipschitz metric on Outer space and is an analogue of the Thurston metric on Teichmuller space. Making use of the Lipschitz metric on PD, we prove existence of train track representatives for irreducible automorphisms of virtually free groups and nonelementary generalized Baumslag-Solitar groups that contain no solvable Baumslag-Solitar group BS(1, n) with n ≥ 2. In Chapter 3, we define the higher holomorphs Aut(G, k), k ∈ N, which are “higher-pointed” variants of the automorphism group Aut(G). Following the construction of the spine of Outer space, we construct a family of simplicial complexes S(PD, k), k ∈ N on which certain subgroups AutD(G, k) ≤ Aut(G, k) act and we show that these complexes are always contractible.

For any finitely generated group $G$, two complexity functions $\alpha_G$ and $\beta_G$ are defined to measure the maximal possible gap between the norm of an automorphism (respectively outer automorphism) of $G$ and the norm of its inverse. Restricting attention to free groups $F_r$, the exact asymptotic behaviour of $\alpha_2$ and $\beta_2$ is computed. For rank $r\geqslant 3$, polynomial lower bounds are provided for $\alpha_r$ and $\beta_r$, and the existence of a polynomial upper bound is proved for $\beta_r$.

If K G Q is a group extension, then any automorphism of G which sends K into itself, induces automorphisms respectively on K and on Q. This subgroup of automorphisms of G is denoted by Aut(G; K) and is called the automorphism group of the extension K G Q. After establishing an interesting group action of Aut(K) Aut(Q) on the set H 2 (Q; K) of all 2cohomology classes of Q with coecien ts in K, a full description of Aut(G; K) and Out(G; K) = Aut(G; K)= Inn(G) is obtained in terms of various commutative diagrams. This picture is as general as possible, hence covering and further complementing similar ideas developed earlier by C. Wells ([5]), P. Conner & F. Raymond ([1]), D.J.S. Robinson ([3], [4]) and the author ([2]). 1 Notations and preliminaries If G is a group and x 2 G, then (x) is the inner automorphism determined by x (sending y 2 G to xyx 1 ), (G) is known as the inner automorphism group Inn(G) and Out(G) = Aut(G)= Inn(G) is called the outer automorphism group of G. Write p : Aut(G) Out(G) for the natural projection. For a subset X in G, CGX denotes the centralizer and NGX is the normalizer of X in G. Let Z(G) be the center of G. In the sequel of this paper, aspects of group cohomology (with non-abelian coecien ts) will be intensively used. Therefore, we review some basic facts of this theory and meanwhile x additional notations and terminology.

Let Mo,, denote the moduli space of Riemann spheres with n ordered marked points. In this article we define the group Out# of quasispecial symmetric outer automorphisms of the algebraic fundamental group 1r1(Mo,n) for all n > 4 to be the group of outer automorphisms respecting the conjugacy classes of the inertia subgroups of Irl(M4,n) and commuting with the group of outer automorphisms of rl (MO,n) obtained by permuting the marked points. Our main result states that Outd is isomorphic to the Grothendieck-Teichmiiller group GT for all n > 5.

McCarthy's Theorem for the mapping class group of a closed hyperbolic surface states that for any two mapping classes $\sigma,\tau \in \mathrm{Mod}(S)$ there is some power $N$ such that the group $\langle \sigma^N,\tau^N\rangle$ is either free of rank two or abelian, and gives a geometric criterion for the dichotomy. The analogous statement is false in linear groups, and unresolved for outer automorphisms of a free group. Several analogs are known for exponentially growing outer automorphisms satisfying various technical hypothesis. In this article we prove an analogous statement when $\sigma$ and $\tau$ are linearly growing outer automorphisms of $F_r$, and give a geometric criterion for the dichotomy. Further, Hamidi-Tehrani proved that for Dehn twists in the mapping class group this independence dichotomy is \emph{uniform}: $N=4$ suffices. In a similar style, we obtain an $N$ that depends only on the rank of the free group.

Some self-dual codes invariant under the Hall–Janko group

Let Fr denote the free group of rank r and Out Fr: = AutFr/Inn Fr the outer automorphism group of Fr (automorphisms modulo inner automorphisms). In [10] we determined the maximal order 2rr! (for r > 2) for finite subgroups of Out Fr as well as the finite subgroup of that order which, for r > 3, is unique up to conjugation. In the present paper we determine all maximal finite subgroups (that is not contained in a larger finite subgroup) of Out F3, up to conjugation (Theorem 2 in Section 3). Here the considered case r = 3 serves as a model case: our method can be applied for other small values of r (in principle for any value of r) but the computations become considerably longer and are more apt for a computer then; the method can also be applied to determine the maximal finite subgroups of the automorphism group Aut Fr of Fr. Note that the canonical projection Aut Fr ⃗ Out Fr is injective on finite subgroups of Aut Fr; however, not all finite subgroups of Out Fr lift to finite subgroups of Aut Fr.

Given a principal bundle over a closed manifold, \(G \rightarrow P \rightarrow M\), let \(P^{Ad} \rightarrow M\) be the associated adjoint bundle. Gruher and Salvatore (Proc Lond Math Soc 96(3), 78106 2008) showed that the Thom spectrum \((P^\mathrm{Ad})^{-TM}\) is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the “string topology spectrum of P”, \( \mathcal {S}(P)\). In the universal case when P is contractible, \(\mathcal {S}(P) \simeq LM^{-TM}\) where LM is the free loop space of the manifold. This ring spectrum was introduced by the authors in Cohen et al. (Math Annalen 324, 773–798 2002) as a homotopy theoretic realization of the Chas-Sullivan string topology of M. The main purpose of this paper is to introduce an action of the gauge group of the principal bundle, \(\mathcal {G}(P)\) on the string topology spectrum \(\mathcal {S}(P)\), and to study this action in detail. Indeed we study the entire group of units and the induced representation \(\mathcal {G}(P) \rightarrow GL_1(\mathcal {S}(P))\). We show that this group of units is the group of homotopy automorphisms of the fiberwise suspension spectrum of P. More generally we describe the homotopy type of the group of homotopy automorphisms of any E-line bundle for any ring spectrum E. We import some of the basic ideas of gauge theory, such as the action of the gauge group on the space of connections to the setting of E-line bundles over a manifold and do explicit calculations. We end by discussing a functorial perspective, which describes a sense in which the string topology spectrum \(\mathcal {S}(P)\) of a principal bundle is the “linearization” of the gauge group \(\mathcal {G}(P)\).

Let p , l be distinct prime numbers. A tripod-degree over p at l is defined to be an l -adic unit obtained by forming the image, by the l -adic cyclotomic character, of some continuous automorphism of the geometrically pro- l fundamental group of a split tripod over a finite field of characteristic p . The notion of a tripod-degree plays an important role in the study of the geometrically pro- l anabelian geometry of hyperbolic curves over finite fields, e.g., in the theory of cuspidalizations of the geometrically pro- l fundamental groups of hyperbolic curves over finite fields. In the present paper, we study the tripod-degrees. In particular, we prove that, under a certain condition, the group of tripod-degrees over p at l coincides with the closed subgroup of the group of l -adic units topologically generated by p . As an application of this result, we also conclude that, under a certain condition, the natural homomorphism from the group of automorphisms of the split tripod to the group of outer continuous automorphisms of the geometrically pro- l fundamental group of the split tripod that lie over the identity automorphism of the absolute Galois group of the basefield is surjective.

The main topic of discussion in this survey is the geometric and metric properties of geodesic and horocycle flows on surfaces of constant curvature and their multidimensional analogues, the so-called G-induced actions (that is, restrictions to a suitable subgroup F of the natural action of G on a homogeneous space of it). One usually takes as F one-parameter or cyclic subgroups of G and the horospherical subgroups corresponding to them (the details are given in Sect. 1). However, in the course of the exposition of our main topic we sometimes mention results relating to the case when F is an n-parameter subgroup of G or a lattice. This class of dynamical systems consists precisely of group actions admitting an extension to a transitive action of a Lie group. We shall not be considering in our survey (or, at any rate, not systematically) the following themes which are close to our main subject matter: Topological dynamics and metric properties of general group actions (in particular, the work of Zimmer on semisimple group actions (Zimmer 1984); Group automorphisms; Affine transformations of homogeneous spaces; G-induced flows on spaces with an infinite invariant measure. The papers (Hopf 1939), (Sullivan 1981) and the recent book (Nicholls 1989) are devoted to the connections between G-induced flows (and also geodesic flows) and the theory of discrete groups of motions of a hyperbolic space; The actions of subgroups on the double cosets related to geodesic (for n > 2) and horocycle (for n > 3) flows on an n-dimensional manifold of constant negative curvature (see (Gel’fand and Fomin 1952) and, in particular, (Mautner 1957)). Flows of this type in somewhat more general form differing from geodesic and horocycle flows have not been investigated.

For a locally compact quantum group $\mathbb{G}$ we define its center, $\mathscr{Z}(\mathbb{G})$, and its quantum group of inner automorphisms, $\mathrm{Inn}(\mathbb{G})$. We show that one obtains a natural isomorphism between $\mathrm{Inn}(\mathbb{G})$ and $\mathbb{G}/\!\mathscr{Z}(\mathbb{G})$, we characterize normal quantum subgroups of a compact quantum group as those left invariant by the action of the quantum group of inner automorphisms and discuss several examples.

A systematic method is presented whereby any compact Lie group of n-real parameters is dealt with from an infinitesimal approach with the representative matrix method based on a group of inner automorphisms suggested in a previous paper. The group manifold, defined in terms of a metric of group parameters, is identified as a Riemannian one in which these parameters play a role of n curvilinear coordinates. Riemannian geometry is thus valid in the group manifold, and geometric quantities are explicitly calculated in terms of the symmetric or (0) connection by a straightforward application of the ordinary procedure of tensor analysis. A new and simpler method of computing the invariant volume element is presented within this framework. Furthermore, we discuss in detail the group of inner automorphisms for the calculation of the matrix element of finite rotations for any irreducible representation (abbreviated MEFRIR). It is found that our method works very well and yields right and left vector fields together with a set of 2n equations to be satisfied by the MEFRIR. The global properties of the group may, therefore, be obtained as a solution to these equations. Moreover, it provides not only the generalized Maurer-Cartan equations, the Lie structure formulas, two parameter groups of point transformations and the adjoint group, but also two additional nonsymmetric (+) and (−) connections with zero curvature, which do not possess any preassigned metric but possess two absolute parallelisms. Thus, our results on differential geometry completely agree with Cartan and Schouten's. A link between differential geometry and representations is presented by the right and left vector fields which are explicitly calculable in terms of the n parameters and through which geometric quantities, e.g., the Riemann tensor, the Ricci tensor, and the scalar curvature, of any connection are explicitly displayed. A theorem relating both the vector fields to the metric tensors is also included. Finally, the l (rank of the group) invariant differential equations to be satisfied by the MEFRIR are cast in the covariant (or Lie derivative) forms in any connection. Examples of the invariant equations are given for SU(2), SO(3), and SU(3). The two invariant equations of the latter can be cast in terms of the eigenvalues of isospin and hypercharge upon carrying out charge and hypercharge quantizations; in this connection, a new nonrelativistic wave equation to be satisfied by SU(3) multiplets as a generalization of the Schrödinger equation of the symmetric top is also proposed.

In this paper, we study some spectral properties of the discrete Schrödinger operator = Δ + q defined on a locally finite connected graph with an automorphism group whose orbit space is a finite graph.The discrete Laplacian and its generalization have been explored from many different viewpoints (for instance, see [2] [4]). Our paper discusses the discrete analogue of the results on the bottom of the spectrum established by T. Kobayashi, K. Ono and T. Sunada [3] in the Riemannian-manifold-setting.

Let \Sigma be the Davis complex for a Coxeter system (W,S) . The automorphism group G of \Sigma is naturally a locally compact group, and a simple combinatorial condition due to Haglund–Paulin and White determines when G is nondiscrete. The Coxeter group W may be regarded as a uniform lattice in G . We show that many such G also admit a nonuniform lattice \Gamma , and an infinite family of uniform lattices with covolumes converging to that of \Gamma . It follows that the set of covolumes of lattices in G is nondiscrete. We also show that the nonuniform lattice \Gamma is not finitely generated. Examples of \Sigma to which our results apply include buildings and non-buildings, and many complexes of dimension greater than 2. To prove these results, we introduce a new tool, that of “group actions on complexes of groups”, and use this to construct our lattices as fundamental groups of complexes of groups with universal cover \Sigma .

Ultra regular covering space and its automorphism groupIn order to classify digital spaces in terms of digital-homotopic theoretical tools, a recent paper by Han (2006b) (see also the works of Boxer and Karaca (2008) as well as Han (2007b)) established the notion of regular covering space from the viewpoint of digital covering theory and studied an automorphism group (or Deck's discrete transformation group) of a digital covering. By using these tools, we can calculate digital fundamental groups of some digital spaces and classify digital covering spaces satisfying a radius 2 local isomorphism (Boxer and Karaca, 2008; Han, 2006b; 2008b; 2008d; 2009b). However, for a digital covering which does not satisfy a radius 2 local isomorphism, the study of a digital fundamental group of a digital space and its automorphism group remains open. In order to examine this problem, the present paper establishes the notion of an ultra regular covering space, studies its various properties and calculates an automorphism group of the ultra regular covering space. In particular, the paper develops the notion of compatible adjacency of a digital wedge. By comparing an ultra regular covering space with a regular covering space, we can propose strong merits of the former.