The residual finiteness of negatively curved polygons of finite groups

A subgroup M⊂G is almost malnormal provided that for each g∈G−M, the intersection M ^g ∩M is finite. It is proven that the free product of two virtually free groups amalgamating a finitely generated almost malnormal subgroup, is residually finite. A consequence of a generalization of this result is that an acute-angled n-gon of finite groups is residually finite if n≥4. Another consequence is that if G acts properly discontinuously and cocompactly on a 2-dimensional hyperbolic building whose chambers have acute angles and at least 4 sides, then G is residually finite. Oblatum 17-VII-2000 & 13-II-2002?Published online: 29 April 2002     

Complex hyperbolic Kleinian groups with limit set a wild knot

We construct quasi-Fuchsian groups acting on two-dimensional complex hyperbolic space with limit set a wild knot. Also, we study the Teichmüller space T(G) of faithful, discrete, type-preserving representations of a Fuchsian group G of the first kind with parabolic elements in complex hyperbolic space. We show that T(G) is not connected, and that the Toledo invariant does not distinguish different connected components of T(G).     

Complete growth functions of hyperbolic groups

. We study a generalization of the growth functions of finitely generated groups, namely the growth functions Σ _{g ∈ G} gz ^{| g |} with coefficients in the group ring ℤ[G]. Rationality and methods of computation of such functions are discussed, in particular for hyperbolic groups. The complete growth functions of surface groups are explicitly computed. The operator and geodesic growth functions are also studied. Oblatum 20-IX-1996 & 13-I-1997     

Polar actions on Hilbert space

An isometricH-action on a Riemannian manifoldX is calledpolar if there exists a closed submanifoldS ofX that meets everyH-orbit and always meets orbits orthogonally (S is called a section). LetG be a compact Lie group equipped with a biinvariant metric,H a closed subgroup ofG ×G, and letH act onG isometrically by (h ₁,h ₂) ·x = h ₁ xh ₂ ⁻¹ · LetP(G, H) denote the group ofH ¹-pathsg: [0, 1] →G such that (g(0),g (1)) ∈H, and letP(G, H) act on the Hilbert spaceV = H ⁰([0, 1], g) isometrically byg * u = gug ⁻¹ −g′g ⁻¹. We prove that if the action ofH onG is polar with a flat section then the action ofP(G, H) onV is polar. Principal orbits of polar actions onV are isoparametric submanifolds ofV and are infinite-dimensional generalized real or complex flag manifolds. We also note that the adjoint actions of affine Kac-Moody groups and the isotropy action corresponding to an involution of an affine Kac-Moody group are special examples ofP(G, H)-actions for suitable choice ofH andG. Work supported partially by NSF Grant DMS 8903237 and by The Max-Planck-Institut für Mathematik in Bonn.     

Una nota sui gruppi policiclici che ammettono un automorfismo con numero di Reidemeister finito

LetG be a group and ϕ an automorphism ofG. Two elementsx, y ∈ G are called ϕ-conjugate if there existsg ∈ G such thatx=g ⁻¹ yg ^θ. It is easily verified that the ϕ-conjugation is an equivalence relation; the numberR(ϕ) of ϕ-classes ofG is called the Reidemeister number of the automorphism ϕ. In this paper we prove that if a polycyclic groupsG admits an automorphism ϕ of ordern such thatR(ϕ)<∞, thenG contains a subgroup of finite index with derived length at most 2 ⁿ⁻¹ .

     

Relatively hyperbolic extensions of groups and Cannon-Thurston maps

Let 1 → (K, K ₁) → (G, N _G (K ₁)) → (Q, Q ₁) → 1 be a short exact sequence of pairs of finitely generated groups with K ₁ a proper non-trivial subgroup of K and K strongly hyperbolic relative to K ₁. Assuming that, for all g ∈ G, there exists k _g ∈ K such that gK ₁ g ⁻¹ = k _g K ₁ k _g⁻¹, we will prove that there exists a quasi-isometric section s: Q → G. Further, we will prove that if G is strongly hyperbolic relative to the normalizer subgroup N _G (K ₁) and weakly hyperbolic relative to K ₁, then there exists a Cannon-Thurston map for the inclusion i: Γ _K → Γ _G .     

A homological characterization of hyperbolic groups

A finitely presented group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0=⁽¹⁾ ₂(G, ℝ), where H ⁽¹⁾ _* (resp. ⁽¹⁾ _*) denotes the ℓ₁-homology (resp. reduced ℓ₁-homology). If Γ is a graph, then every ℓ₁ 1-cycle in Γ with real coefficients can be approximated by 1-cycles of compact support. A 1-relator group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0. Oblatum: 30-IV-1997 & 14-V-1998 / Published online: 14 January 1999     

Peripheral fillings of relatively hyperbolic groups

In this paper a group theoretic version of Dehn surgery is studied. Starting with an arbitrary relatively hyperbolic group G we define a peripheral filling procedure, which produces quotients of G by imitating the effect of the Dehn filling of a complete finite volume hyperbolic 3-manifold M on the fundamental group π₁(M). The main result of the paper is an algebraic counterpart of Thurston’s hyperbolic Dehn surgery theorem. We also show that peripheral subgroups of G ‘almost’ have the Congruence Extension Property and the group G is approximated (in an algebraic sense) by its quotients obtained by peripheral fillings. Mathematics Subject Classification (2000) 20F65, 20F67, 20F06, 57M27, 20E26     

Local linear operators and multicontour solutions of homogeneous coupled map lattices

Theorems are proved establishing a relationship between the spectra of the linear operators of the formA+Ωg _iB_ig_i ⁻¹ andA+B _i, whereg _i∈G, andG is a group acting by linear isometric operators. It is assumed that the closed operatorsA andB _i possess the following property: ‖B _iA⁻¹gB_jA⁻¹‖→0 asd(e,g)→∞. Hered is a left-invariant metric onG ande is the unit ofG. Moreover, the operatorA is invariant with respect to the action of the groupG. These theorems are applied to the proof of the existence of multicontour solutions of dynamical systems on lattices. Translated fromMatematicheskie Zametki, Vol. 65, No. 1, pp. 37–47, January, 1999.     

Uniquely factorizable elements and solvability of finite groups

In a finite group G every element can be factorized in such a way that there is one factor for each prime divisor p of | G |, and the order of this factor is p^α for some integer α ≧ 0. We define g ∈G to be uniquely factorizable if it has just one such factorization (whose factors must be pairwise commuting). We consider the existence of uniquely factorizable elements and its relation to the solvability of the group. We prove that G is solvable if and only if the set of all uniquely factorizable elements of G is the Fitting subgroup of G. We also prove various sufficient conditions for the non-existence of uniquely factorizable elements in non-solvable groups. Received: 9 June 2005     

Remarks on points of approximation of discrete subgroups of U(1,n; C)

In the study of a geometrically finite kleinian group, the properties of points of approximation are discussed (see [2]). We show that ifG is a discrete subgroup ofU(1, n; C) acting on the complex unit ballB ⁿ, then a point of approximation ofG has similar properties as in a kleinian group. In the case wheren>-2, however, an approach to a point of approximation is not necessarily non-tangential. We shall give an example of a point of approximation to which some orbit converges in the tangential direction. Dedicated to Professor Nobuyuki Suita on his sixtieth birthday     

Free products of finitary skew linear groups

We give two very different proofs of the following result. Let {G _γ:λɛΛ : λ ∈ Λ} be a family of finitary skew linear groups of the same characteristic p ≧ 0. Then the free product of the G _γ is isomorphic to some finitary skew linear group of characteristic p. This extends recent work of R. J. H. Minty on the skew linear case and of O. Puglisi on the finitary linear case.     

Harmonic maps with potential

Let (M,g) and (N,h) be two Riemannian manifolds, and G:N →ℝ a given function. If f:M → N is a smooth map, we set E _G (f)=12 ∫_M [∣df∣²− 2G(f)]dv _g. We establish some variational properties and some existence results for the functional E _G (f): in particular, we analyse the case of maps into a sphere. Received April 29, 1996 / Accepted May 28, 1996     

Automorfismi spezzanti di ordine primo

LetG be a group andα εAut(G);α is calledn-splitting if gg^α...g^{α n-1}=1 ∀g εG. In this note we study the structure of finite groups admitting an-splitting automorphism of orderp (p an odd prime number).

     

On galois descent for Hochschild and cyclic homology

LetG be a finite group acting by automorphisms on an algebraS over some commutative ringk. We show that if the action ofG restricted to the center ofS is Galois in the sense of [C-H-R], thenHH _*(S ^G)≊HH _* (S) ^G. An analogous result holds for cyclic homology, provided the order ofG is invertible ink. The author was supported in part by a grant from the NSF.     

On the composition length of finite primitive linear groups

LetG be a finite primitive linear group over a fieldK, whereK is a finite field or a number field. We bound the composition length ofG in terms of the dimension of the underlying vector space and of the degree ofK over its prime subfield. As a byproduct, we prove a result of number theory which bounds the number of prime factors (counting multiplicities) ofq ⁿ−1, whereq, n>1 are integers, improving a result of Turull and Zame [6].     

Estimates for the hyperbolic metric of the punctured plane and applications

The hyperbolic metrich ^Ω of the twice punctured complex plane Ω is studied. A new recursive algorithm for computing the density λ_Ω ofh ^Ω is given. For a proper subdomainG of Ω we answer a question of G. Martin concerning quasiconformal mappings ofG that can be extended to the complement ofG as the identity map.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Dehn filling in relatively hyperbolic groups

We introduce a number of new tools for the study of relatively hyperbolic groups. First, given a relatively hyperbolic group G, we construct a nice combinatorial Gromov hyperbolic model space acted on properly by G, which reflects the relative hyperbolicity of G in many natural ways. Second, we construct two useful bicombings on this space. The first of these, preferred paths, is combinatorial in nature and allows us to define the second, a relatively hyperbolic version of a construction of Mineyev. As an application, we prove a group-theoretic analog of the Gromov-Thurston 2π Theorem in the context of relatively hyperbolic groups. The first author was supported in part by NSF Grant DMS-0504251. The second author was supported in part by an NSF Mathematical Sciences Post-doctoral Research Fellowship. Both authors thank the NSF for their support. Most of this work was done while both authors were Taussky-Todd Fellows at Caltech.     

TT-eigentensors for the Lichnerowicz Laplacian on some asymptotically hyperbolic manifolds with warped products metrics

Let (M =]0, ∞[×N, g) be an asymptotically hyperbolic manifold of dimension n + 1 ≥ 3, equipped with a warped product metric. We show that there exist no TT L ²-eigentensors with eigenvalue in the essential spectrum of the Lichnerowicz Laplacian Δ _L . If (M, g) is the real hyperbolic space, there is no symmetric L ²-eigentensors of Δ _L .