Higher Generation Subgroup Sets and the Virtual Cohomological Dimension of Graph Products of Finite Groups

We introduce panels of stabilizer schemes (K, G_*) associatedwith finite intersection-closed subgroup sets of a given groupG, generalizing in some sense Davis' notion of a panel structureon a triangulated manifold for Coxeter groups. Given (K, G_*),we construct a G-complex X with K as a strong fundamental domainand simplex stabilizers conjugate to subgroups in . It turnsout that higher generation properties of in the sense of Abels-Holzare reflected in connectivity properties of X. Given a finite simplicial graph and a non-trivial group G()for every vertex of , the graph product G() is the quotientof the free product of all vertex groups modulo the normal closureof all commutators [G(), G(w)] for which the vertices , w areadjacent. Our main result allows the computation of the virtualcohomological dimension of a graph product with finite vertexgroups in terms of connectivity properties of the underlyinggraph .     

Algebraic invariants for Bestvina Brady groups

Bestvina–Brady groups arise as kernels of length homomorphismsG from right-angled Artin groups to the integers. Under someconnectivity assumptions on the flag complex , we compute severalalgebraic invariants of such a group N, directly from the underlyinggraph . As an application, we give examples of finitely presentedBestvina–Brady groups which are not isomorphic to anyArtin group or arrangement group.     

The Isolated Points of G{rho} and the w*-Strongly Exposed Points of P{rho}(G)0

Let G be a separable locally compact group and let be its dualspace with Fell's topology. It is well known that the set P(G)of continuous positive-definite functions on G can be identifiedwith the set of positive linear functionals on the group C^*-algebraC^*(G). We show that if is discrete in , then there exists anonzero positive-definite function associated with such that is a w^*-strongly exposed point of P(G)₀, where P(G)₀={f P(G):f(e)1. Conversely, if some nonzero positive-definite function associatedwith is a w^*-strongly exposed point of P(G)₀, then is isolatedin . Consequently, G is compact if and only if, for every ,there exists a nonzero positive-definite function associatedwith that is a w^*-strongly exposed point of P(G)₀. If, in addition,G is unimodular and , then is isolated in if and only if somenonzero positive-definite function associated with is a w^*-stronglyexposed point of P(G)₀, where is the left regular representationof G and is the reduced dual space of G. We prove that if B(G)has the Radon–Nikodym property, then the set of isolatedpoints of (so square-integrable if G is unimodular) is densein . It is also proved that if G is a separable SIN-group, thenG is amenable if and only if there exists a closed point in. In particular, for a countable discrete non-amenable groupG (for example the free group F₂ on two generators), there isno closed point in its reduced dual space .     

Extremal Subgroups in Chevalley Groups

Throughout this paper G(k) denotes a Chevalley group of rankn defined over the field k, where n3. Let be the root systemassociated with G(k) and let ={₁, ₂, ..., _n} be a set of fundamentalroots of , with ⁺ being the set of positive roots of with respectto . For and ⁺, let n() be the coefficient of in the expressionof as a sum of fundamental roots; so =n(). Also we recall thatht(), the height of , is given by ht()=n(). The highest rootin ⁺ will be denoted by . We additionally assume that the Dynkindiagram of G(k) is connected.     

Character Quotients for Coprime Acting Groups

Let the finite group A be acting on a finite group G with (|A|,|G|)=1. Let be the semidirect product of A and G. Let be acharacter of irreducible after restriction to G. In a previouspaper by Brian Hartley and the author, we proved that the restrictionof to S belongs to the set C(S) obtained by running over all that arise in this manner, by assuming, in addition, that Gis a product of extraspecial groups. This was proved in general,assuming only some condition on the Green functions of groupsof Lie type that is not as yet fully verified. In the presentpaper, we define the map Q(): SC by Q()(s)=|C_G(s)|/(s). We provethat Q()C(S) under the same hypotheses. In particular, the characterquotient Q() is an ordinary character.     

Support Varieties of Non-Restricted Modules over Lie Algebras of Reductive Groups

Let G be a connected semisimple group over an algebraicallyclosed field K of characteristic p>0, and g=Lie (G). Fixa linear function g* and let Z_g() denote the stabilizer of in g. Set N_p(g)={xg|x^[p]=0}. Let C(g) denote the category offinite-dimensional g-modules with p-character . In [7], Friedlanderand Parshall attached to each MOb(C(g)) a Zariski closed, conicalsubset V_g(M)N_p(g) called the support variety of M. Suppose thatG is simply connected and p is not special for G, that is, p2if G has a component of type B_n, C_n or F₄, and p3 if G has acomponent of type G₂. It is proved in this paper that, for anynonzero MOb(C(g)), the support variety V_g(M) is contained inN_p(g)Z_g(). This allows one to simplify the proof of the Kac–Weisfeilerconjecture given in [18].     

Movement and Separation of Subsets of Points Under Group Actions

Let G be a permutation group on a set , and let m and k be integerswhere 0<m<k. For a subset of , if the cardinalities ofthe sets ^g\, for gG, are finite and bounded, then is said tohave bounded movement, and the movement of is defined as move()=max_gG|^g\|. If there is a k-element subset such that move()m, it is shown that some G-orbit has length at most (k²–m)/(k–m).When combined with a result of P. M. Neumann, this result hasthe following consequence: if some infinite subset has boundedmovement at most m, then either is a G-invariant subset withat most m points added or removed, or nontrivially meets aG-orbit of length at most m²+m+1. Also, if move ()m for allk-element subsets and if G has no fixed points in , then either||k+m (and in this case all permutation groups on have thisproperty), or ||5m–2. These results generalise earlierresults about the separation of finite sets under group actionsby B. J. Birch, R. G. Burns, S. O. Macdonald and P. M. Neumann,and groups in which all subsets have bounded movement (by theauthor).     

On the Asymptotics of the Growth of 2-Step Nilpotent Groups

Pansu has shown that the growth function of every virtuallynilpotent group with respect to any finite generating set hasasymptotics (n)n^d, where d is the degree of growth of . Thepaper refines his result in the special case of 2-step nilpotentgroups to obtain (n)=n^d+O(n^d–1).     

Picard Groups of Irrational Rotation C*-Algebras

Let be an irrational number in [0, 1] and A the correspondingirrational rotation C*-algebra. Let Aut (A) be the group ofall automorphisms of A and Int (A) the normal subgroup of Aut(A) of all inner automorphisms of A. Let Pic (A) be the Picardgroup of A. In the present note we shall show that if is notquadratic, then Pic (A)Aut (A)/Int (A) and that if is quadratic,then Pic (A) is isomorphic to a semidirect product of Aut (A)/Int(A) with Z. Furthermore, in the last section we shall discussPicard groups of certain Cuntz algebras.     

On Transitive Permutation Groups with Primitive Subconstituents

Let G be a transitive permutation group on a set such that,for , the stabiliser G induces on each of its orbits in \{}a primitive permutation group (possibly of degree 1). Let Nbe the normal closure of G in G. Then (Theorem 1) either N factorisesas N=GG for some , , or all unfaithful G-orbits, if any exist,are infinite. This result generalises a theorem of I. M. Isaacswhich deals with the case where there is a finite upper boundon the lengths of the G-orbits. Several further results areproved about the structure of G as a permutation group, focussingin particular on the nature of certain G-invariant partitionsof . 1991 Mathematics Subject Classification 20B07, 20B05.     

Some Properties of Free Groups of Some Soluble Varieties of Groups

Let F be a free group, and let _n(F) be the nth term of the lowercentral series of F. It is proved that F/[_j(F), _i(F), _k(F)]and F/[_j(F), _i(F), _k(F), _l(F)] are torsion free and residuallynilpotent for certain values of i, j, k and i, j, k, l, respectively.In the process of proving this, it is proved that the analogousLie rings are torsion free.     

Some Remarks on the Cone of Completely Positive Maps between Von Neumann Algebras

The close relationship between the notions of positive formsand representations for a C*-algebra A is one of the most basicfacts in the subject. In particular the weak containment ofrepresentations is well understood in terms of positive forms:given a representation of A in a Hilbert space H and a positiveform on A, its associated representation is weakly containedin (that is, ker ker ) if and only if belongs to the weak*closure of the cone of all finite sums of coefficients of .Among the results on the subject, let us recall the followingones. Suppose that A is concretely represented in H. Then everypositive form on A is the weak* limit of forms of the typex ^k_{i=1 i}, x_i with the _i in H; moreover if A is a von Neumannsubalgebra of (H) and is normal, there exists a sequence (_i)_{i 1} in H such that (x) = _{i 1 i}, x_i for all x.     

Calderon-Zygmund Operators on Mixed Lebesgue Spaces and Applications to Null Forms

The boundedness of Calderón–Zygmund operators isproved in the scale of the mixed Lebesgue spaces. As a consequence,the boundedness of the bilinear null forms Q_{i j} (u,) =_i u_j - _j u_i , Q₀(u,)=u_{t t} -_x u· _x on various space–timemixed Sobolev–Lebesgue spaces is shown.     

Herman Rings and Arnold Disks

For (,a) C* x C, let f_,a be the rational map defined by f_,a(z)= z² (az+1)/(z+a). If R/Z is a Brjuno number, we let D bethe set of parameters (,a) such that f_,a has a fixed Hermanring with rotation number (we consider that (e²ⁱ,0) D). Resultsobtained by McMullen and Sullivan imply that, for any g D, theconnected component of D(C* x (C/{0,1})) that contains g isisomorphic to a punctured disk. We show that there is a holomorphic injection F:DD such thatF(0) = (e²ⁱ ,0) and , where r is the conformal radius at 0 of the Siegel disk of the quadraticpolynomial z e²ⁱ z(1+z). As a consequence, we show that for a (0,1/3), if f_l,a has afixed Herman ring with rotation number and if m_a is the modulusof the Herman ring, then, as a0, we have e m_a=(r/a) + O(a). We finally explain how to adapt the results to the complex standardfamily z e^(a/2)(z-1/z).     

A New Notion of Transitivity for Groups and Sets of Permutations

Let = {1, 2, ..., n} where n 2. The shape of an ordered setpartition P = (P₁, ..., P_k) of is the integer partition =(₁, ..., _k) defined by _i = |P_i|. Let G be a group of permutationsacting on . For a fixed partition of n, we say that G is -transitiveif G has only one orbit when acting on partitions P of shape. A corresponding definition can also be given when G is justa set. For example, if = (n – t, 1, ..., 1), then a -transitivegroup is the same as a t-transitive permutation group, and if = (n – t, t), then we recover the t-homogeneous permutationgroups. We use the character theory of the symmetric group S_n to establishsome structural results regarding -transitive groups and sets.In particular, we are able to generalize a celebrated resultof Livingstone and Wagner [Math. Z. 90 (1965) 393–403]about t-homogeneous groups. We survey the relevant examplescoming from groups. While it is known that a finite group ofpermutations can be at most 5-transitive unless it containsthe alternating group, we show that it is possible to constructa nontrivial t-transitive set of permutations for each positiveinteger t. We also show how these ideas lead to a combinatorialbasis for the Bose–Mesner algebra of the association schemeof the symmetric group and a design system attached to thisassociation scheme.     

Exactness and Uniform Embeddability of Discrete Groups

A numerical quasi-isometry invariant R() of a finitely generatedgroup is defined whose values parametrize the difference between being uniformly embeddable in a Hilbert space and () being exact.     

Base Sizes and Regular Orbits for Coprime Affine Permutation Groups

Let G be a permutation group on a finite set . A sequence B=(₁,..., _b) of points in is called a base if its pointwise stabilizerin G is the identity. Bases are of fundamental importance incomputational algorithms for permutation groups. For both practicaland theoretical reasons, one is interested in the minimal basesize for (G, ), For a nonredundant base B, the elementary inequality2^|B||G|||^|B| holds; in particular, |B|log|G|/log||. In the casewhen G is primitive on , Pyber [8, p. 207] has conjectured thatthe minimal base size is less than Clog|G|/log|| for some (large)universal constant C. It appears that the hardest case of Pyber's conjecture is thatof primitive affine groups. Let H=GV be a primitive affine group;here the point stabilizer G acts faithfully and irreduciblyon the elementary abelian regular normal subgroup V of H, andwe may assume that =V. For positive integers m, let mV denotethe direct sum of m copies of V. If (v₁, ..., v_m)mV belongsto a regular G-orbit, then (0, v₁, ..., v_m) is a base for theprimitive affine group H. Conversely, a base (₁, ..., _b) forH which contains 0V= gives rise to a regular G-orbit on (b–1)V. Thus Pyber's conjecture for affine groups can be viewed asa regular orbit problem for G-modules, and it is therefore aspecial case of an important problem in group representationtheory. For a related result on regular orbits for quasisimplegroups, see [4, Theorem 6].     

Faithful Representations of Free Products

In 1940 Nisnevi published the following theorem [3]. Let (G) be a family of groups indexed by some set and (F) a family of fields of the same characteristic p0. Iffor each the group G has a faithful representation of degreen over F then the free product* G has a faithful representationof degree n+1 over some field of characteristic p. In [6] Wehrfritzextended this idea. If (G) GL(n, F) is a family of subgroupsfor which there exists ZGL(n, F) such that for all the intersectionGF.1_n=Z, then the free product of the groups *_ZG with Z amalgamatedvia the identity map is isomorphic to a linear group of degreen over some purely transcendental extension of F. Initially, the purpose of this paper was to generalize theseresults from the linear to the skew-linear case, that is, togroups isomorphic to subgroups of GL(n, D) where the D are divisionrings. In fact, many of the results can be generalized to ringswhich, although not necessarily commutative, contain no zero-divisors.We have the following.     

Identity Theorems for Functions of Bounded Characteristic

Suppose that f(z) is a meromorphic function of bounded characteristicin the unit disk :|z|<1. Then we shall say that f(z)N. Itfollows (for example from [3, Lemma 6.7, p. 174 and the following])that where h₁(z), h₂(z) are holomorphic in and have positive realpart there, while ₁(z), ₂(z) are Blaschke products, that is, where p is a positive integer or zero, 0<|a_j|<1, c isa constant and (1–|a_j|)<. We note in particular that, if c0, so that f(z)0, (1.1) so that f(z)=0 only at the points a_j. Suppose now that z_j isa sequence of distinct points in such that |z_j|1 as j and (1–|z_j|)=. (1.2) If f(z_j)=0 for each j and fN, then f(z)0. N. Danikas [1] has shown that the same conclusion obtains iff(z_j)0 sufficiently rapidly as j. Let _j, _j be sequences of positivenumbers such that _j< and _j as j. Danikas then defines and proves Theorem A.