Orbit counting for some discrete groups acting on simply connected manifolds with negative curvature

Summary In this article we develop a method of deriving asymptotic formulae for the orbital counting function for the action of certain discrete groups of isometries of simply connected negatively curved manifolds. We consider the particular case of normal subgroups ₀ of a co-compact group ₀ for which the quotient ₀/ ^k . Even in the special case of manifolds ofconstant negative curvature, this leads to new results. In particular, we have asymptotic estimates for some groups which arenot geometrically finite.Oblatum III-1993 & 18-VIII-1993The first author was supported by The Royal Society through a University Research Fellowship. The second author was supported by the UK SERC under grant number GR/G51930     

Subgroups of the general symplectic group containing the group of diagonal matrices

There are described the subgroups of the general symplectic group =GSp(2n, R) over a commutative semilocal ring R, containing the group of symplectic diagonal matrices. For each such subgroup P there is uniquely defined a symplectic D-net a such that ()pN(), where () is the net subgroup in corresponding to (cf. RZhMat, 1977, 5A288), and N() is its normalizer. The quotient group N × ()/() is calculated. There are also considered subgroups in Sp(2n, R). Analogous results for subgroups of the general linear group were obtained earlier in RZhMat, 1978, 9A237.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 103, pp. 31–47, 1980.     

On the removable singularities of CR functions given on a generic manifold

Summary In this paper we consider the problem of holomorphic continuation and removal of singularities of the CR functions given on K, where is a generic manifold with nondegenerate Levi form and K is a meromorphically p-convex compactum. We get some conditions on , relative to p-convexity and q-concavity, under which every integrable CR function given on K extends holomorphically in some domain \K, where is a wedge domain with edge . Our Results are local.Authors had a support of Russian Fund of Fundamental Investigations (grant 93-011-258).     

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.     

On the dimensions of automorphism groups of 8-dimensional ternary fields I

Let be an eight-dimensional, connected, locally compact ternary field and let denote a connected closed subgroup of its automorphism group which is taken with the compact-open topology. It is proved that is either isomorphic to the compact exceptional Lie group G₂, or the (covering) dimension of is at most 11. This bound can be decreased to 10, if the ternary fixed fieldF of is connected.     

Covering the Hecke Triangle Surfaces

In the mid-1980s an equivalence was established between the simple closed geodesics on the Riemann surfaces obtained as quotients of the upper half plane H by any of the following subgroups of the modular group (1) : , (3), and ³. An axis of a hyperbolic element of (1) projects to a simple closed geodesic on one of these surfaces if and only if it does so on the other two.This equivalence was used to obtain a variety of Diophantine and geometric results. In subsequent related investigations, the role of (1) was assumed by the Hecke triangle group G_q for q 3. (For q = 3, we have (1) = G₃.) These works employed the analog of ³, denoted _q.In the context of the G_q, the present paper gives the analog of , which we denote _q. As in the case q = 3, we have [_q:_q] = 2. A rather full discussion of geometry of _q\ H is given. In particular, we demonstrate that the equivalence of simple closed geodesics on _q\ H and _q\ H does not hold for q 7.As of this writing, we have not been able to obtain an appropriate analog of (3).     

A quantitative refinement of Rado's theorem

The fundamental result of the paper is the following. Theorem: Let be a k-quasiconformal Jordan curve and let be another Jordan curve (not necessarily quasiconformal). Assume that f maps conformallyext ontoext , f()=, f()>0. We assume that there exists a homeomorphism between and such that Then there exist numbers =(k)>0 and A=A(k), such that f(())– A, .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 103–112, 1987.     

Twisted derivations and distinct sets of lines that cover the same pairs of points

A partial projective plane of ordern consists of lines andn ² +n + 1 points such that every line hasn+1 points and distinct lines meet in a unique point. Suppose that two essentially different partial projective planes and of ordern, n a perfect square, that are defined on the same set of points cover the same pairs of points. For sufficiently largen we show that this implies that and have at leastn(n+1) lines. This bound is sharp and there exist essentially two different types of examples meeting the bound.As an application, we can show that derived planes provide an example for a pair of projective planes of square order with as much structure as possible in common, that is, as many lines as possible in common. Furthermore, we present a new method (twisted derivations) to obtain planes from one another by replacing the same number of lines as in a derivation.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

The martin boundary for harmonic functions on groups of automorphisms of a homogeneous tree

Consider a closed subgroup of the automorphism group of a homogeneous treeT, and assume that acts transitively on the vertex set. Suppose that is a probability measure on which has continuous density with respect to Haar measure and whose support is compact open and generates as a closed semigroup. It is shown that the Martin boundary of with respect to the random walk with law coincides with the space of ends ofT. This extends known results for free groups and applies, for example, to the affine group over a non archimedean local field.     

Estimates of the Kolmogorov Widths of Classes of Analytic Functions Representable by Cauchy-Type Integrals. I

In the Banach space of functions analytic in a Jordan domain , we establish order estimates for the Kolmogorov widths of certain classes of functions that can be represented in by Cauchy-type integrals along the rectifiable curve = and can be analytically continued to or to .     

λ-invariants and Γ-transforms

In this paper we give the relationship between the -invariants of two power series which are naturally associated to the -transform of ap-adic measure. Since thep-adicL-functions over arise as such -transforms, we obtain information about the minus part of Iwasawa's -invariant for the basic _p -extension of an abelian CM-field.I would like to thank W. Sinnott, R. Gold and T. Dowling for their comments and suggestions.     

A family of multiply extended grids

We construct an infinite family{ _n}_n=5 of finite connected graphs _n that are multiple extensions of the well-known extended grid discovered in [1] (which is isomorphic to ₅). The graphs _n are locally _n–1 forn > 5, and have the following property: the automorphism groupG(n) of _n permutes transitively the maximal cliques of _n (which aren-cliques) and the stabilizer of somen-clique of _n inG(n) induces _n on the vertices of. Furthermore we show that the clique complexes of the graphs _n are simply connected.     

Splitting with Continuous Control in Algebraic K-Theory

In this work, the continuously controlled assembly map in algebraic K-theory, as developed by Carlsson and Pedersen, is proved to be a split injection for groups that satisfy certain geometric conditions. The group is allowed to have torsion, generalizing a result of Carlsson and Pedersen. Combining this with a result of John Moody, K₀(k) is proved to be isomorphic to the colimit of K₀(kH) over the finite subgroups H of , when is a virtually polycyclic group and k is a field of characteristic zero.     

Аппроксимация субга рмонических функций

The following statement is proved. Letu be a subharmonic function in the region and _u the associated measure. Then there exists a functionf holomorphic in and such that if _f is the associated measure of the function in ¦f¦, then ¦u(z)–ln¦f(z)¦ A¦ln s¦+B¦ln diam¦+ s(¦lns¦+1)+C. hold at every point z for which the setsD(z, t)={w: ¦w–z¦},t(0,s) lie in and satisfy(D(z, t))t both for= _u and for= _f . In the case where is an unbounded region, In diam should be replaced by ln ¦z¦. The constants, , do not depend on andu.

---

---

. . .     

Torsion in K‐Theory for Boundary Actions on Affine Buildings of Type ?n

Let be a torsionfree lattice in G=PGL(n+1, , where n 1 and is a nonArchimedean local field. Then acts on the Furstenberg boundary G/P, where P is a minimal parabolic subgroup of G. The identity element I in the crossedproduct C ^*algebra C(G/P) generates a class [I] in the K ₀ group of C(G/P) . It is shown that [I] is a torsion element of K ₀ and there is an explicit bound for the order of [I]. The result is proved more generally for groups acting on affine buildings of type à _n. For n=1, 2 the Euler–Poincaré characteristic () annihilates the class [I].     

Die Automorphismengruppen hyperelliptischer Kurven

Let be a hyperelliptic curve over an algebraically closed field of characteristic O and G a group of automorphisms of that contains the canonical involution of . We describe the group-theoretical structure of G by means of the arithmetical structure of the morphism ^G.     

Superrigidity of lattices in solvable Lie groups

Summary Let be a closed, cocompact subgroup of a simply connected, solvable Lie groupG, such that Ad _G has the same Zariski closure as AdG. If : GL _n () is any finite-dimensional representation of , we show that virtually extends to a representation ofG. (By combining this with work of Margulis on lattices in semisimple groups, we obtain a similar result for lattices in many groups that are neither solvable nor semisimple.) Furthermore, we show that if is isomorphic to a closed, cocompact subgroup of another simply connected, solvable Lie groupG, then any isomorphism from to extends to a crossed isomorphism fromG toG. In the same vein, we prove a more concrete form of Mostow's theorem that compact solvmanifolds with isomorphic fundamental groups are diffeomorphic.Oblatum 5-VII-1994 & 15-IV-1995     

Completeness of the plans of sequential estimation for Wiener spaces with a drift and some uniqueness theorems

One considers a family of n-dimensional Wiener processess x(t) =(t) +t, depending on a drift parameter , where is the standard Wiener process. Let be a closed subset of the space of trajectories ⁿ×₊ (plan) and assume that the measure , defined by the first occurrence of the trajectory of the process x in the set , is a probability measure. One gives conditions which the plan has to satisfy in order that from the equality for any there should follow that f 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 69–72, 1983.The authors are grateful to V. P.Khavin for discussions on certain questions of potential theory.