Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

On groups of polynomial subgroup growth

Summary Let be a finitely generated group anda _n ()=the number of its subgroups of indexn. We prove that, assuming is residually nilpotent (e.g., linear), thena _n () grows polynomially if and only if is solvable of finite rank. This answers a question of Segal. The proof uses a new characterization ofp-adic analytic groups, the theory of algebraic groups and the Prime Number Theorem. The method can be applied also to groups of polynomial word growth.Oblatum 1-VII-1989 & 7-VI-1990     

Cohomology of Compact Locally Symmetric Spaces

We obtain a necessary condition for a cohomology class on a compact locally symmetric space S()=X (a quotient of a symmetric space X of the non-compact type by a cocompact arithmetic subgroup of isometries of X) to restrict non-trivially to a compact locally symmetric subspace S _H()=Y of X. The restriction is in a 'virtual' sense, i.e. it is the restriction of possibly a translate of the cohomology class under a Hecke correspondence. As a consequence we deduce that when X and Y are the unit balls in ⁿ and ^m , then low degree cohomology classes on the variety S() restrict non-trivially to the subvariety S _H (); this proves a conjecture of M. Harris and J-S. Li. We also deduce the non-vanishing of cup-products of cohomology classes for the variety S().     

Almost Covers Of 2-Arc Transitive Graphs

Let be a G-symmetric graph whose vertex set admits a nontrivial G-invariant partition with block size v. Let be the quotient graph of relative to and [B,C] the bipartite subgraph of induced by adjacent blocks B,C of . In this paper we study such graphs for which is connected, (G, 2)-arc transitive and is almost covered by in the sense that [B,C] is a matching of v-1 2 edges. Such graphs arose as a natural extremal case in a previous study by the author with Li and Praeger. The case K _v+1 is covered by results of Gardiner and Praeger. We consider here the general case where K _v+1, and prove that, for some even integer n 4, is a near n-gonal graph with respect to a certain G-orbit on n-cycles of . Moreover, we prove that every (G, 2)-arc transitive near n-gonal graph with respect to a G-orbit on n-cycles arises as a quotient of a graph with these properties. (A near n-gonal graph is a connected graph of girth at least 4 together with a set of n-cycles of such that each 2-arc of is contained in a unique member of .)     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

Extremal quasiconformal mappings compatible with Fuchsian groups

For every torsion free Fuchsian group with Poincaré's -operator norm é=1, it is proved that there exists an extremal Beltrami differential of which is also extremal under its own boundary correspondence. It is also proved that the imbedding of the Teichmüller spaceT() into the universal Teichmüller spaceT is not a global isometry unless is an elementary group.     

The lower algebraicK-theory of virtually infinite cyclic groups

This paper gives a proof of a conjecture of W.-C. Hsiang for the negativeK-theory of integral grouprings , when the group is a subgroup of a uniform lattice in a Lie group. The authors' earlier paper reduced this result to the very special cases where either is finite or is virtually infinite cyclic. The finite case was done much earlier by Carter extending results of Bass and Murthy. The major work of the present paper consists of proving the conjecture when is virtually infinite cyclic.Both authors were supported in part by the National Science Foundation.     

On Locally Projective Graphs of Girth 5

Let be a graph and G be a 2-arc transitive automorphism group of . For a vertex x let G(x)^(x) denote the permutation group induced by the stabilizer G(x) of x in G on the set (x) of vertices adjacent to x in . Then is said to be a locally projective graph of type (n,q) if G(x)^(x) contains PSL_n(q) as a normal subgroup in its natural doubly transitive action. Suppose that is a locally projective graph of type (n,q), for some n 3, whose girth (that is, the length of a shortest cycle) is 5 and suppose that G(x) acts faithfully on (x). (The case of unfaithful action was completely settled earlier.) We show that under these conditions either n=4, q=2, has 506 vertices and , and contains the Wells graph on 32 vertices as a subgraph. In the latter case if, for a given n, at least one graph satisfying the conditions exists then there is a universal graph W(n) of which all other graphs for this n are quotients. The graph W(3) satisfies the conditions and has 2²⁰ vertices.     

Posterior Sensitivity to the Sampling Distribution and the Prior: More than One Observation

Sensitivity of a posterior quantity (f, P) to the choice of the sampling distribution f and prior P is considered. Sensitivity is measured by the range of (f, P) when f and P vary in nonparametric classes ^f and ^P respectively. Direct and iterative methods are described which obtain the range of (f, P) over f ^f when prior P is fixed, and also the overall range over f ^f and P ^P . When multiple i.i.d. observations X ₁,...,X _k are observed from f, the posterior quantity (f, P) is not a ratio-linear function of f. A method of steepest descent is proposed to obtain the range of (f, P). Several examples illustrate applications of these methods.     

On some locally finite groups which are sharply triply transitive

We classify the groups satisfying the following conditions: i) is locally finite; ii) is a sharply triply transitive permutation group; iii) all elements of have fixpoints.Published in Ukraninskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 1060–1065, July–August, 1991.     

Lévy–LePage Series Representation of Stable Vectors: Convergence in Variation

Multidimensional stable laws G admit a well-known Lévy–LePage series representation

Über ebene affine Inzidenzgruppen

For a translation plane P with respect to f we consider the group of collineations generated by all elations fixing f and a point F of f. All subgroups or are determined which operate regularly on the points of the affine plane P. Group-theoretic and operating properties of the groups are stated especially for the finite and the Desarguesian cases. In the latter case the companion NL-near modules are constructed. Finally we characterize the groups within PGL(3, K) with commutative field K of finite characteristic.     

Volumes des représentations sur un corps local

Let be a locally compact second countable group, F a local field of characteristic zero and G an F-almost-simple F-algebraic group. In this paper we study the space X(,G) of Zariski-dense representations : G = G(F) using the natural morphism of cohomological functors * : H*(G, ·) H*(, ·) (where H denotes the continuous cohomology).First let F be a p-adic field. We completely describe the relations between the geometry and the cohomology of G : using geometric properties of the Bruhat-Tits building of G we construct natural cocycles for any irreducible cohomological representation of G. We then adapt these results to the case where the field F is archimedean.Using these cocycles we obtain a simple cohomological characterization of representations with bounded image.Our main result is then the construction, using the previous cocycles and dynamical properties at infinity of , of cohomological invariants (called volumes) on the space X(,G). These volumes describe how the image () goes to infinity in G. They have coefficients in the natural universal infinite-dimensional representation L(, )$\mathbb{C}$ of .In the case where is a cocompact lattice of SO(n, 1) or SU(n, 1), we use these volumes to produce new non-trivial numerical invariants on X(,G), which refine previously known invariants.

---

Volumes des représentations sur un corps local

     

The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

Configuration of subgroups in the special linear group over a skew field with infinite center

Let T be a skew field with infinite center, let be the special linear group over T of degree 3, and let be the subgroup of diagonal matrices with unit Dieudonee determinant. It is proved that for each intermediate subgroup H, H , there exists a net of order n such that ( H N().Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 175, pp. 5–12, 1989.In conclusion, the author would like to thank his instructor Z. I. Borevich, as well as N. A. Vavilov, for their assistance.     

On the Neumann-Poincaré operator

Let be a rectifiable Jordan curve in the finite complex plane which is regular in the sense of Ahlfors and David. Denote by L _C ² () the space of all complex-valued functions on which are square integrable w.r. to the arc-length on . Let L ²() stand for the space of all real-valued functions in L _C ² () and put Since the Cauchy singular operator is bounded on L _C ² (), the Neumann-Poincaré operator C ₁ sending each h L ²() into , is bounded on L ²(). We show that the inclusion characterizes the circle in the class of all AD-regular Jordan curves .     

Critical points of essential norms of singular integral operators in weighted spaces

We show that for any simple piecewise Ljapunov contour there exists a power weight such that the essential norm |S | in the spaceL ₂(, ) does not depend on the angles of the contour and it is given by formula (2). All such weights are described. For the union =₁₂ of two simple piecewise Lyapunov curves we prove that the essential norm |S | inL ₂() is minimal if both ₁ and ₂ are smooth in some neighborhoods of the common points. It is the case when the norm |S | in the spaceL ₂() as well as inL ₂(, ) does not depend on the values of the angles and it can be calculated by formula (5).     

Integral Congruence Two Hyperbolic 5-Manifolds

In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form H ⁵/ where is a torsion-free subgroup of minimal index of the congruence two subgroup ⁵ ₂ of the group ⁵ of positive units of the Lorentzian quadratic form x 2/1 +... +x 5/2 -x 6/2. We also show that ⁵ ₂ is a reflection group with respect to a 5-dimensional right-angled convex polytope in H ⁵. As an application, we construct a hyperbolic 5-manifold of smallest known volume 7 (3)/4.