Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely

We show that if M is a countable recursively saturated model of True Arithmetic, then G = Aut(M) has nonmaximal open subgroups with unique extension to a maximal subgroup of Aut(M). Mathematics Subject Classification: 03C62, 03C50.     

Sturmian morphisms,the braid group <Emphasis Type="Italic">B</Emphasis><Subscript>4</Subscript>, Christoffel words and bases of <Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>

We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F ₂) of automorphisms of the rank two free group F ₂ and show that it can be realized as a monoid in the group B ₄ of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F ₂ lifting any given basis of the free abelian group Z ². We further give an algorithm allowing to decide whether two elements of F ₂ form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes. Mathematics Subject Classification (2000) 05E99, 20E05, 20F28, 20F36, 20M05, 37B10, 68R15     

Periodic subgroups of projective linear groups in positive characteristic

We classify the maximal irreducible periodic subgroups of PGL(q, ), where is a field of positive characteristic p transcendental over its prime subfield, q = p is prime, and ^× has an element of order q. That is, we construct a list of irreducible subgroups G of GL(q, ) containing the centre ^×1 _q of GL(q, ), such that G/ ^×1 _q is a maximal periodic subgroup of PGL(q, ), and if H is another group of this kind then H is GL(q, )-conjugate to a group in the list. We give criteria for determining when two listed groups are conjugate, and show that a maximal irreducible periodic subgroup of PGL(q, ) is self-normalising.      

Normal Subgroups of B u Aut(Ω)

Aut(Ω) denotes the group of all order preserving permutations of the totally ordered set Ω, and if e ≤ u ∈ Aut(Ω), then B _u Aut(Ω) denotes the subgroup of all those permutations bounded pointwise by a power of u. It is known that if Aut(Ω) is highly transitive, then Aut(Ω) has just five normal subgroups. We show that if Aut(Ω) is highly transitive and u has just one interval of support, then B _u Aut(Ω) has normal subgroups, and there is a certain ideal of the lattice of subsets of (), the power set of the integers, such that the lattice of normal subgroups of every such Aut(Ω) is isomorphic to . To Bernhard Banaschewski on the occasion of his 80th birthday.     

Compact lie group actions with isotropy subgroups of maximal rank

When a compact connected Lie group acts smoothly on a manifold X with only connected isotropy subgroups of maximal rank, the action is completeley determined by the corresponding action of its Weylgroup WG on the fixed space X^T of the maximal torus. Isotropy subgroups of such actions are determined.     

Amenable subgroups of semi-simple groups and proximal flows

We present a classification of maximal amenable subgroups of a semi-simple groupG. The result is that modulo a technical connectivity condition, there are precisely 2′ conjugacy classes of such subgroups ofG and we shall describe them explicitly. Herel is the split rank of the groupG. These groups are the isotropy groups of the action ofG on the Satake-Furstenberg compactification of the associated symmetric space and our results give necessary and sufficient conditions for a subgroup to have a fixed point in this compactification. We also study the action ofG on the set of all measures on its maximal boundary. One consequence of this is a proof that the algebraic hull of an amenable subgroup of a linear group is amenable. Supported in part by NSF Grant No. MPS-74-19876.     

Two maximal subgroups of E8(2)

We show that E₈(2) has a unique conjugacy class of subgroups isomorphic to PSp₄(5) and a unique conjugacy class of subgroups isomorphic to PSL₃(5). There normalizers are maximal subgroups of E₈(2) and are, respectively, isomorphic to PGSp₄(5) and Aut(PSL₃(5)).     

Flat rank of automorphism groups of buildings

The flat rank of a totally disconnected locally compact group G, denoted flat-rk(G), is an invariant of the topological group structure of G. It is defined thanks to a natural distance on the space of compact open subgroups of G. For a topological Kac-Moody group G with Weyl group W, we derive the inequalities alg-rk(W) ≤ flat-rk(G) ≤ rk(|W|₀). Here, alg-rk(W) is the maximal Z-rank of abelian subgroups of W, and rk(|W|₀) is the maximal dimension of isometrically embedded flats in the CAT0-realization |W|₀. We can prove these inequalities under weaker assumptions. We also show that for any integer n ≥ 1 there is a simple, compactly generated, locally compact, totally disconnected group G, with flat-rk(G) = n and which is not linear.     

On automorphisms of a class of special p-groups

Let G be a finite group of order n, for some n\geqq 1 n\geqq 1 , and p be an odd prime number. In [5] Verardi has constructed a special p-group P_G P_G of exponent p such that |P_G|=p³ⁿ |P_G|=p^{3n} . In this paper, we calculate the order of Aut(P_G) (P_G) and prove that Aut(P_G) (P_G) is the semidirect product of two subgroups.     

On automorphism groups of some finite groups

We show that if n > 1 is odd and has no divisor p4 for any prime p, then there is no finite group G such that│Aut(G)│ = n.     

Greedy Algorithm Computing Minkowski Reduced Lattice Bases with Quadratic Bit Complexity of Input Vectors

The authors present an algorithm which is a modification of the Nguyen-Stehle greedy reduction algorithm due to Nguyen and Stehle in 2009. This algorithm can be used to compute the Minkowski reduced lattice bases for arbitrary rank lattices with quadratic bit complexity on the size of the input vectors. The total bit complexity of the algorithm is $O(n^2 \cdot (4n!)^n \cdot (\tfrac{{n!}} {{2^n }})^{\tfrac{n} {2}} \cdot (\tfrac{4} {3})^{\tfrac{{n(n - 1)}} {4}} \cdot (\tfrac{3} {2})^{\tfrac{{n^2 (n - 1)}} {2}} \cdot \log ^2 A) $O(n^2 \cdot (4n!)^n \cdot (\tfrac{{n!}} {{2^n }})^{\tfrac{n} {2}} \cdot (\tfrac{4} {3})^{\tfrac{{n(n - 1)}} {4}} \cdot (\tfrac{3} {2})^{\tfrac{{n^2 (n - 1)}} {2}} \cdot \log ^2 A) , where n is the rank of the lattice and A is maximal norm of the input base vectors. This is an O(log² A) algorithm which can be used to compute Minkowski reduced bases for the fixed rank lattices. A time complexity n! · 3 ⁿ (log A) ^O(1) algorithm which can be used to compute the successive minima with the help of the dual Hermite-Korkin-Zolotarev base was given by Blomer in 2000 and improved to the time complexity n! · (log A) ^O(1) by Micciancio in 2008. The algorithm in this paper is more suitable for computing the Minkowski reduced bases of low rank lattices with very large base vector sizes.     

Morse theory and conjugacy classes of finite subgroups

We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F _n inside mapping class groups, Aut(), and Out() which have infinitely many conjugacy classes of finite-order elements.      

Linear Representations of the Automorphism Group of a Free Group

Let F _n be the free group on n ≥ 2 elements and Aut(F _n ) its group of automorphisms. In this paper we present a rich collection of linear representations of Aut(F _n ) arising through the action of finite-index subgroups of it on relation modules of finite quotient groups of F _n . We show (under certain conditions) that the images of our representations are arithmetic groups. Received: November 2006, Accepted: March 2007     

Free-by-finite pro-p groups and integral p-adic representations

Let F be a free pro-p group of finite rank n and C_p^r{C_{p^r}} a cyclic group of order p ^r . In this work we classify p-adic representations C_p^r? GL_n(\mathbbZ_p){ C_{p^r}\longrightarrow GL_n(\mathbb{Z}_{p})} that can be obtained as a composite of an embedding C_p^r? Aut(F){C_{p^r}\longrightarrow {\rm Aut}(F)} with the natural epimorphism Aut(F)? GL_n(\mathbbZ_p){{\rm Aut}(F)\longrightarrow GL_n(\mathbb{Z}_{p})} .     

Finite extensions of free pro-P groups of rank at most two

For a pro-p groupG, containing a free pro-p open normal subgroup of rank at most 2, a characterization as the fundamental group of a connected graph of cyclic groups of order at mostp, and an explicit list of all such groups with trivial center are given. It is shown that any automorphism of a free pro-p group of rank 2 of coprime finite order is induced by an automorphism of the Frattini factor groupF/F ^* . Finally, a complete list of automorphisms of finite order, up to conjugacy in Aut(F), is given. Supported by an NSERC grant. Supported by the Austrian Science Foundation.     

On Automorphism-Fixed Subgroups of a Free Group

Let F be a finitely generated free group, and let n denote its rank. A subgroup H of F is said to be automorphism-fixed, or auto-fixed for short, if there exists a set S of automorphisms of F such that H is precisely the set of elements fixed by every element of S; similarly, H is 1-auto-fixed if there exists a single automorphism of F whose set of fixed elements is precisely H. We show that each auto-fixed subgroup of F is a free factor of a 1-auto-fixed subgroup of F. We show also that if (and only if) n ≥ 3, then there exist free factors of 1-auto-fixed subgroups of F which are not auto-fixed subgroups of F. A 1-auto-fixed subgroup H of F has rank at most n, by the Bestvina–Handel Theorem, and if H has rank exactly n, then H is said to be a maximum-rank 1-auto-fixed subgroup of F, and similarly for auto-fixed subgroups. Hence a maximum-rank auto-fixed subgroup of F is a (maximum-rank) 1-auto-fixed subgroup of F. We further prove that if H is a maximum-rank 1-auto-fixed subgroup of F, then the group of automorphisms of F which fix every element of H is free abelain of rank at most n − 1. All of our results apply also to endomorphisms.     

The average rank of a product of transformations

We derive an exact formula for the average rank of a product fg of transformations of an n-element set in terms of the ranks of f and g. We show that if no restrictions are placed on the ranks of f and g, this average rank asymptotically equals n(1−exp (e⁻¹−1)). We show that there exist two transformations which generate a semigroup of nⁿ−(n−1)ⁿ+(n−1) (−1)ⁿ⁺¹+n elements.     

Local rigidity for certain groups of toral automorphisms

Let Γ = SL(n, ℤ) or any subgroup of finite index, n ≥ 4. We show that the standard action of Γ on ⁿ is locally rigid, i.e., every action of Γ on ⁿ by C^∞ diffeomorphisms which is sufficiently close to the standard action is conjugate to the standard action by a C^∞ diffeomorphism. In the course of the proof, we obtain a global rigidity result (Theorem 4.12) for actions of free abelian subgroups of maximal rank in SL(n, ℤ). Partially supported by NSF grant DMS9011749.     

Explicit formula of holomorphic automorphism group on complex homogeneous bounded domains

We known that the maximal connected holomorphic automorphism group Aut (D)(0) is a semi-direct product of the triangle group T(D) and the maximal connected isotropic subgroup Iso(D)(0) of a fixed point in the complex homogeneous bounded domain D and any complex homogeneous bounded domain is holomorphic isomorphic to a normal Siegel domain D(VN,F). In this paper, we give the explicit formula of any holomorphic automorphism in T(D(VN, F)) and Iso(D(VN,F))(0), where G(0) is the unit connected component of the Lie group G.     

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order

We compare Aut(Q), the classical automorphism group of a countable dense linear order, with Aut _c (Q), the group of all computable automorphisms of such an order. They have a number of similarities, including the facts that every element of each group is a commutator and each group has exactly three nontrivial normal subgroups. However, the standard proofs of these facts in Aut(Q) do not work for Aut _c (Q). Also, Aut(Q) has three fundamental properties which fail in Aut _c (Q): it is divisible, every element is a commutator of itself with some other element, and two elements are conjugate if and only if they have isomorphic orbital structures.