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 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.     

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.     

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).     

Group Actions on the Cubic Tree

It is known that every group which acts transitively on the ordered edges of the cubic tree ₃, with finite vertex stabilizer, is isomorphic to one of seven finitely presented subgroups of the full automorphism group of ₃–one of which is the modular group. In this paper a complete answer is given for the question (raised by Djokovi and Miller) as to whether two such subgroups which intersect in the modular group generate their free product with the modular group amalgamated.     

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.     

Convexity theories III. Classification of certain real convexity theories

In this paper we classify all real convexity theories that contain the standard convexity theory _c. For this purpose we consider three subcases: finitary; infinitary and (_sc\_c)Ø; infinitary and _sc=_c. In each of these subcases one encounters a phenomenon resembling bifurcation.This research was supported by the Deutsche Forschungsgemeinschaft.     

On a Rank Five Geometry of Meixner for the Mathieu Group M12

We construct a rank five residually connected and firm geometry on which the Mathieu group M ₁₂ acts flag-transitively and residually weakly primitively (RWPRI). The group M ₁₂ is the group of automorphisms of and Aut(M ₁₂) is the correlation group of , in particular is self-dual. The diagram of is the following. Moreover satisfies the conditions (IP)₂ and (2T)₁. As a corollary, we obtain that the (RWPRI+(IP)₂)-rank of M ₁₂ is 5.     

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     

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 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.     

Free Algebras of Automorphic Forms on the Upper Half-Plane

We find all pairs (,a) consisting of a cocompact Fuchsian group of genus zero and an automorphy factor a of for which the graded algebra of a--automorphic forms is free.     

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.     

Amalgams of Weyl algebras and theA (V, δ, Γ) conjecture

Summary We prove a long standing conjecture ([5, Conjecture 5.6]) concerning the algebrasA (V, , ). Namely, two such algebrasA (V, , ),A (W, , ) are isomorphic if and only if there is an isomorphism between the triples (V, , ), (W, , ) from which they are constructed. As a consequence, to each primitive ideal in the enveloping algebra of a solvable Lie algebra there is associated a unique (V, , ).     

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     

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.     

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     

Algebraisierung Scharf 2-Fach Transitiver Permutationsmengen durch Quasibereiche

Sharply 2-transitive permutation sets (M,) with the property: every which interchanges two distinct elements of M is in and V (where := { ; ²=id }) can be characterized algebraically by quasi-domains as defined by G. Kist.Among other examples there are some which show that a sharply 2-transitive permutation set (M,) is not necessarily a group a neither if (M,) satisfies (R^*): id and (, ^–1 ) which answers a question of H. Karzel [7], nor if (M,) is symmetric (contrary to the case of a symmetric sharply 3-transitive permutation set (M,) where is always a group [8]).

---

---

Herrn Rafael Artzy zum 70. Geburtstag