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.     

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.     

Optimal boundary regularity for minimal surfaces with a free boundary

Let x(w), w=u+iv B, be a minimal surface in ³ which is bounded by a configuration , S consisting of an arc and of a surface S with boundary. Suppose also that x(w) is area minimizing with respect to , S. Under appropriate regularity assumptions on and S, we can prove that the first derivatives of x(u, v) are Hölder continuous with the exponent =1/2 up to the free part of B which is mapped by x(w) into S. An example shows that this regularity result is optimal.     

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     

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.     

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.     

Extended generalized octagons and the groupHe

Let be an extended generalized octagon such that the points of a triple {u, v, w} not on a block are pairwise adjacent if and only if the distance betweenv andw in the local generalized octagon _u equals 3 and there is a thick line through any point of _u . Then is one of the two examples related to the groups 2·L ₃(4).2² andHe. It is also shown that does not admit further extensions.     

Stability results for an inverse problem in potential theory

Sunto Nel presente lavoro consideriamo un problema inverso, connesso a questioni di elettrocardiologia, relativo a un potenziale di doppio strato obliquo logaritmico, u, portato da una curva piana . Il problema consiste nel determinare conoscendo u sulla frontiera di un dominio T contenente . Il problema non è ben posto secondo Hadamard. Introduciamo delle limitazioni a priori su e dimostriamo alcuni risultati di stabilità.     

Solution of Dirichlet's problem for the equation Δu =−1 in a convex region

Let u be a solution of the following boundary-value problem: u¦ = 0, where is a closed convex curve and u = –1 in the region D bounded by . Then u has only one local maximum, and all its level curves are convex.Translated from Matematicheskie Zametki, Vol. 9, No. 1, pp. 89–92, January, 1971.     

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

K-theory of fine topological algebras, Chern character, and assembly

TheK-theory of the group algebra [] for a countable, discrete group is defined in terms of the simplicial ring of smooth simplices on [], where [] is given the fine topology with respect to its finite-dimensional, linear subspaces. The assembly map for this theory :K _* B K _* [] is studied and shown to be a rational injection. The proof uses the Connes-Karoubi Chern character fromK-theory of Banach algebras to cyclic homology, here generalized to any fine topological algebra, and proved to be multiplicative.     

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

Continuous Quotients for Lattice Actions on Compact Spaces

Let < SL _n ( ) be a subgroup of finite index, where n 5. Suppose acts continuously on a manifold M, where ₁(M) = ⁿ , preserving a measure that is positive on open sets. Further assume that the induced action on H ¹(M) is non-trivial. We show there exists a finite index subgroup < and a equivariant continuous map : M ⁿ that induces an isomorphism on fundamental group. We prove more general results providing continuous quotients in cases where ₁(M) surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with actions.     

Bounding the diameter of a distance regular graph by a function ofk d

Let be a distance regular graph with diameterd, and _d () the set of vertices at distanced from. is said to be thin if the induced subgraph on _d () is a union of cliques for every vertex. We show that the diameterd is bounded above by a function depending only onk _d, which is the cardinality of _d (), if is not thin. We also investigate thin distance regular graphs witha _d 0.     

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 stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.     

FG(2)-Expansions

Let be a finite geometry of rank n 2 with a selected type of elements, called'points'. Let m be the number of'points' of . Under some mild hypotheses on we can consider an affine expansion of to AG(m,2). We prove that the geometries obtained by applying this construction to matroids are simply connected. Then we exploit this result to study universal covers of certain geometries arising from hyperbolic quadrics and symplectic varieties over GF.     

Coherent Homotopical Algebras: “Special Gamma-Categories”

We introduce a theory of coherence for symmetric monoidal categories inthe spirit of Segal and show that it is equivalent, in an appropriate sense,to MacLanes original notion. More precisely, we prove thatspecial categories, the analogue ofspecial spaces, and coherently symmetric monoidalcategories are one and the same. This is analogous to the situation intopology where special spaces are precisely homotopicalcommutative monoids. In light of the obervation that the category of smallcategories Cat bears a functorial Quillen model structure with respect tothe class of categorical equivalences: in fact, is a homotopy theory in thesense of Heller, we may reinterpret the theorem as stating that coherentlysymmetric monoidal categories are precisely the homotopical commutativemonoids within this new homotopy theory.     

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.     

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