A Helly-type theorem for simple polygons

Let be a family of simple polygons in the plane. If every three (not necessarily distinct) members of have a simply connected union and every two members of have a nonempty intersection, then {P:P in } . Applying the result to a finite family of orthogonally convex polygons, the set {C:C in } will be another orthogonally convex polygon, and, in certain circumstances, the dimension of this intersection can be determined.Supported in part by NSF grant DMS-9207019.     

A New Cover of the 3-Local Geometry of Co1

The 3-local geometry of the sporadic simple group Co₁ has been known to have a cover with a flag-transitive automorphism group which is a nonsplit extension of an elementary Abelian 2-group of rank 24 (the Leech lattice modulo 2) by Co₁. It was conjectured that was simply connected. We disprove this conjecture by constructing a double cover of . The automorphism group of is of the shape . However, it is not isomorphic to the involution centralizer of the Monster sporadic simple group.     

Topological and bornological characterisations of ideals in von Neumann algebras: I

Suppose is a von Neumann algebra on a Hilbert space and is any ideal in . We determine a topology on , for which the members of that are to norm continuous are exactly those in ; and a bornology on such that the elements of which map the unit ball to an element of , equivalently those members of that are norm to bounded, are exactly those in . This is achieved via analogues of the notions of injectivity and surjectivity in the theory of operator ideals on Banach spaces.     

Operator inequalities and construction of Krein spaces

Let be a Hilbert space. A continuous positive operatorT on uniquely determines a Hilbert space which is continuously imbedded in and for which with the canonical imbedding . A Kreîn space version of this result, however, is not valid in general. This paper provides a necessary and sufficient condition for that a continuous selfadjoint operatorT uniquely determines a Kreîn space ( ) which is continuously imbedded in and for which with the canonical imbedding .     

Spin Models and Strongly Hyper-Self-Dual Bose-Mesner Algebras

We introduce the notion of hyper-self-duality for Bose-Mesner algebras as a strengthening of formal self-duality. Let denote a Bose-Mesner algebra on a finite nonempty set X. Fix p X, and let and denote respectively the dual Bose-Mesner algebra and the Terwilliger algebra of with respect to p. By a hyper-duality of , we mean an automorphism of such that for all ; and is a duality of . is said to be hyper-self-dual whenever there exists a hyper-duality of . We say that is strongly hyper-self-dual whenever there exists a hyper-duality of which can be expressed as conjugation by an invertible element of . We show that Bose-Mesner algebras which support a spin model are strongly hyper-self-dual, and we characterize strong hyper-self-duality via the module structure of the associated Terwilliger algebra.     

Profinite and Continuous Higher K-Theory of Exact Categories, Orders, and Group Rings

Let be a rational prime, an exact category. In this article, we define and study for all , the profinite higher K-theory of , that is as well as , where is the -dimensional mod- Moore space. We study connections between and prove several -completeness results involving these and associated groups including the cases where is the category of finitely generated (resp. finitely generated projective) modules over orders in semi-simple algebras over number fields and p-adic fields. We also define and study continuous K-theory of orders in p-adic semi-simple algebras and show some connection between the profinite and continuous K-theory of .     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

Indecomposable Elements in K1 of a Smooth Projective Variety

Let X be a smooth projective variety over the complex numbers. We consider the cohomology of the sheaves and arising from Deligne–Beilinson cohomology and the Hodge filtration on the singular cohomology of X. We show that one can identify with the image of the truncated regulator map c¯2,1. In particular, this implies that is countable. Since this group is a direct summand of coker , this gives a partial answer to Voisin's conjecture that cocker() is countable. In the case of X a surface, we prove that the Albanese kernel T(X) is isomorphic to the group of global sections of if and only if pg=0.     

Notes on Brown-McCoy-radicals for Γ-near-rings

The Brown-McCoy radical is known to be an ideal-hereditary Kurosh-Amitsur radical in the variety of zerosymmetric near-rings. We define the Brown-McCoy and simplical radicals, and , respectively, for zerosymmetric -near-rings. Both and are ideal-hereditary Kurosh-Amitsur radicals in that variety. IfM is a zerosymmetric -near-ring with left operator near-ringL, it is shown that , with equality ifM has a strong left unity. is extended to the variety of arbitrary near-rings, and and are extended to the variety of arbitrary -near-rings, in a way that they remain Kurosh-Amitsur radicals. IfN is a near-ring andA N, then , with equality ifA if left invariant.     

Towards a Characterization of Self-Similar Tilings in Terms of Derived Voronoï Tessellations

In this paper, a technique for analyzing levels of hierarchy in a tiling of Euclidean space is presented. Fixing a central configuration P of tiles in , a `derived Voronoï' tessellation _P is constructed based on the locations of copies of P in . A family of derived Voronoï tilings is formed by allowing the central configurations to vary through an infinite number of possibilities. The family will normally be an infinite one, but we show that for a self-similar tiling it is finite up to similarity. In addition, we show that if the family is finite up to similarity, then is pseudo-self-similar. The relationship between self-similarity and pseudo-self-similarity is not well understood, and this is the obstruction to a complete characterization of self-similarity via our method. A discussion and conjecture on the connection between the two forms of hierarchy for tilings is provided.     

The Boundary Equivalence for Rings and Matrix Rings over Them

We study into the question of whether some rings and their associated matrix rings have equal decidability boundaries in the scheme and scheme-alternative hierarchies. Let be a decidability boundary for an algebraic system A; w.r.t. the hierarchy H. For a ring R, denote by an algebra with universe . On this algebra, define the operations + and in such a way as to extend, if necessary, the initial matrices by suitably many zero rows and columns added to the underside and to the right of each matrix, followed by ordinary addition and multiplication of the matrices obtained. The main results are collected in Theorems 1-3. Theorem 1 holds that if R is a division or an integral ring, and R has zero or odd characteristic, then the equalities hold for any n1. And if R is an arbitrary associative ring with identity then for any n 1 and i,j { 1,..., n}, where e _ij is a matrix identity. Theorem 2 maintains that if R is an associative ring with identity then . Theorem 3 proves that for any n 1.     

Invariant differental forms on compact nilmanifolds

Let N=G/ be a compact nilmanifold, G a connected, simply connected, nilpotent Lie group with its discrete subgroup and Lie algebra . Let I* ( ) denote the invariant differential forms on .If I* ( ) H* ( ) is an injective map, then G is abelian and N is a torus. Furthermore, N has a formal minimal model. If N is an even-dimensional compact nilmanifold, it has a Kähler structure and invariant symplectic structure if and only if I* ( ) H* ( ) is injective.     

Arithmetical Functions of the Form f([g(n)])

Two results on composed functions are proven. First we give conditions on and so that the mean behaves like , if , including the examples

Sylow subgroups of finitary linear groups

In this paper we describe the structure and the conjugacy classes of Sylow p-subgroups of FGL(V, ), the group of finitary -automorphisms of the -vector space V.The Author is member of the GNSAGA.     

A note on threefolds with a hyperplane section of general type

This paper deals with polarized pairs , where is a nonsingular projective threefold and is a very ample line bundle on it, such that for one smooth member  | |, one has (Â)=2. A large class of pairs whose adjoint line bundle is nef and big was indirectedly studied by Beltrametti and co-workers. We add some more information, both in this general case and also when the adjoint line bundle fails to be nef and big.     

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Norm-principal bimodules of nest algebras II

Let be a nest in a separably acting factor . We present conditions for a factor to be a bimodule of the nest subalgebraalgß in which is singly generated in the norm topology. Some relevant results about the compact ideal , the quasitriangular algebra and the Calkin algebra are established.This work was supported, in part, by funds provided by the University of North Carolina at Charlotte.     

On sequences of Dirichlet polynomials uniformly bounded on half planes

Given and a sequence of Dirichlet polynomials estimates for the coefficientsa _n are proved if {_n} is uniformly bounded on a region containing a half plane. Thereby a result is obtained which is an analogue of a known result for polynomials, that is for theA-transforms of the geometric sequence; moreover a Jentzsch type theorem for {_n(z)} is derived.     

Families of planar sets having starlike union

Let be a finite family of compact sets in the plane, and letk be a fixed natural number. If every three (not necessarily distinct) members of have a union which is simply connected and starshaped viak-paths, then and is starshaped viak-paths. Analogous results hold for paths of length at most , > 0, and for staircase paths, although not for staircasek-paths.Supported in part by NSF grant DMS-9504249     

Dy namic of Abelia n Subgroups of GL( n, $$\mathbb{C}$$): A Structure Theorem

In this paper, we characterize the dynamic of every Abelian subgroups of , or . We show that there exists a -invariant, dense open set U in saturated by minimal orbits with a union of at most n -invariant vector subspaces of of dimension n−1 or n−2 over . As a consequence, has height at most n and in particular it admits a minimal set in . This work is supported by the research unit: systèmes dynamiques et combinatoire: 99UR15-15