The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

Linearization of holomorphic mappings onC(K)-spaces

We prove a universal mapping theorem for “integral” holomorphic mappings on the open unit ball ofC(K). In our theorem, the universal space isC(K), and the universal mapping is increasing in the positive cone ofC(K).     

Theorems on the existence of separating surfaces

LetR andG be finite of sets inE ^d. This paper presents theorems on the existence of strict linear and spherical separators ofR andG that are similar to the fundamental separation theorem of Kirchberger. Kirchberger's theorem impliet that the strict linear separability of finite setsR andG is determined by the separability of all subsets of up tod+2 points ofR⊃G. This paper shows that under certain conditions, the linear separability ofR andG is determined by the separability of significantly fewer than all subfamilies of up tod+2 members ofR ⊃G. The same treatment is made of Lay's extension of Kirchberger's theorem to separation by hyperspheres. This research was supported by a PGS3 scholarship from NSERC.     

A new approach to the linearity of testing planarity of graphs

In testing planarity of graphs, there are many criteria. The earliest one as known is the Kuratowski's theorem, then Whitney's, Maclane's, and so forth. Since the early sixties, people have begun researches on algorithms. Up to 1974, Hopcroft and Tarjan found an algorithm with a computing time being a linear function of the order of a graph. This is the linearity concerned here.This paper presents a new approach to the linearity by means of transforming the problem of testing planarity of a graphG into that of finding a spanning tree on another graphH, called an auxiliary graph ofG, with the order ofH being a linear function of that ofG. And moreover, we can also make the size ofH be a linear function of that ofG. The whole procedure is based on the building up of a theory of linear equations onGF (2) related toG.This was a report invited by RUTCOR, The State University of New Jersey, Rutgers, U. S. A. in 1984. And, the main part of this paper was completed during the author's stay at the Department of C & O, University of Waterloo, Canada.     

On sets having finitely many points of local nonconvexity and propertyP m

If a pointq ofS has the property that each neighborhood ofq contains pointsx andy such that the segmentxy is not contained byS, q is called a point of local nonconvexity ofS. LetQ denote the set of points of local nonconvexity ofS. Tietze’s well known theorem that a closed connected setS in a linear topological space is convex ifQ=φ is generalized in the result:If S is a closed set in a linear topological space such that S ∼ Q is connected and |Q|=n<∞,then S is the union of n+1or fewer closed convex sets. Letk be the minimal number of convex sets needed in a convex covering ofS. Bounds fork in terms ofm andn are obtained for sets having propertyP _m and |Q|=n.     

Centralizers in symmetric inverse semigroups: Structure and order

The representation [5] of the centralizerC(x) of a permutationx in (a symmetric inverse semigroup)C _n involves direct products of wreath products. Indeed, this semigroup case extends its group theory counterpart. Here, the last case (forx nilpotent) is addressed: A quotient of a wreath product is introduced and used to obtain a representation of the correspondingC(x). It follows that, for anyx∈C _n ,C(x) can be imbedded in a direct product of wreath products with a quotient of a wreath product. A formula for calculating the order ofC(x) is given. The independent parameters in the formula are precisely those that define the path structure ofx∈C _n . Part of this research was supported by a Mary Washington College faculty development grant.     

A quotient ofC (w w ) which is not isomorphic to a subspace ofC(α),a < w 1

A quotient space ofC (w ^w ), the continuous functions on the ordinals not greater thanW ^w with the order topology, is constructed which is not isomorphic to a subspace ofC(α),a < w ₁. Supported in part by NSF-MCS 7610613.     

Arithmetically Defined Representations of Groups of TypeSL(2, q)

We consider a groupGlying between the special and the general linear group of order 2 over the finite field _q. A representation which arises from a natural action ofGon a quotient graph of the Bruhat–Tits tree ofGL(2, _q((π))) is described and its irreducible components are determined.     

On linear isometries of Banach lattices in <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Ω)-spaces

Consider the space C0(Ω) endowed with a Banach lattice-norm ‖ · ‖ that is not assumed to be the usual spectral norm ‖ · ‖_∞ of the supremum over Ω. A recent extension of the classical Banach-Stone theorem establishes that each surjective linear isometry U of the Banach lattice (C ₀(Ω), ‖ · ‖) induces a partition Π of Ω into a family of finite subsets S ⊂ Ω along with a bijection T: Π → Π which preserves cardinality, and a family [u(S): S ∈ Π] of surjective linear maps u(S): C(T(S)) → C(S) of the finite-dimensional C*-algebras C(S) such that

Continuity of operators commuting with translations for compact groups

In this note we show for certain Frechet spacesF(G) of functions (distributions) on a compact groupG that if every translation invariant linear functional onF(G) is continuous then every linear operatorT:F(G)F(G) commuting with translations is continuous. This solves partially a problem in [7] ofG. H. Meisters and improves the result [5] ofC. J. Lester. An application for compact groups which do not have the mean zero weak containment property follows by the result [10] ofG. A. Willis.     

Theories of linear order

LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2^ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2^ω. (iii) IfS ₁(T) is countable then so isS _n(T) for everyn. (iv) In caseS ₁(T) is countable we find a relation between the Cantor Bendixon rank ofS ₁(T) and the Cantor Bendixon rank ofS _n(T). (v) We define a class of modelsL, and show thatS ₁(T) is finite iff the models ofT belong toL. We conclude that ifS ₁(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models. Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.     

Lattice uniformities and modular functions on orthomodular lattices

It is shown that the lattice of all exhaustive lattice uniformities on an orthomodular latticeL is isomorphic to the centre of a natural completion (of a quotient) ofL, and is thus a complete Boolean algebra. This is applied to prove a decomposition theorem for exhaustive modular functions on orthomodular lattices, which generalizes Traynor's decomposition theorem [14].     

Path-closed sets

Given a digraphG = (V, E), call a node setT ⊆V path-closed ifv, v′ εT andw εV is on a path fromv tov′ impliesw εT. IfG is the comparability graph of a posetP, the path-closed sets ofG are the convex sets ofP. We characterize the convex hull of (the incidence vectors of) all path-closed sets ofG and its antiblocking polyhedron inR ^v , using lattice polyhedra, and give a minmax theorem on partitioning a given subset ofV into path-closed sets. We then derive good algorithms for the linear programs associated to the convex hull, solving the problem of finding a path-closed set of maximum weight sum, and prove another min-max result closely resembling Dilworth’s theorem.     

Stokes Cocycle and Differential Galois Groups

The classification of germs of ordinary linear differential systems with meromorphic coefficients at 0 under convergent gauge transformations and fixed normal form is essentially given by the non-Abelian 1-cohomology set of Malgrange–Sibuya. (Germs themselves are actually classified by a quotient of this set.) It is known that there exists a natural isomorphism h between a unipotent Lie group (called the Stokes group) and the 1-cohomology set of Malgrange–Sibuya; the inverse map which consists of choosing, in each cohomology class, a special cocycle called a Stokes cocycle is proved to be natural and constructive. We survey here the definition of the Stokes cocycle and give a combinatorial proof for the bijectivity of h. We state some consequences of this result, such as Ramis, density theorem in linear differential Galois theory; we note that such a proof based on the Stokes cocycle theorem and the Tannakian theory does not require any theory of (multi-)summation.     

PrincipalG-bundles on nodal curves

LetG be a connected semisimple affine algebraic group defined over C. We study the relation between stable, semistable G-bundles on a nodal curveY and representations of the fundamental group ofY. This study is done by extending the notion of (generalized) parabolic vector bundles to principal G-bundles on the desingularizationC ofY and using the correspondence between them and principal G-bundles onY. We give an isomorphism of the stack of generalized parabolic bundles onC with a quotient stack associated to loop groups. We show that if G is simple and simply connected then the Picard group of the stack of principal G-bundles onY is isomorphic to ⊕_m Z,m being the number of components ofY.     

Comparing the relative volume with a revolution manifold as a model

Given a pair (P, M), whereM is ann-dimensional connected compact Riemannian manifold andP is a connected compact hypersurface ofM, the relative volume of (P, M) is the quotient volume(P)/volume(M). In this paper we give a comparison theorem for the relative volume of such a pair, with some bounds on the Ricci curvature ofM and the mean curvature ofP, with respect to that of a model pair where ℳ is a revolution manifold and a “parallel” of ℳ. Work partially supported by a DGICYT Grant No. PB91-0324.     

Groups with infinitely many types of fixed subgroups

It is a theorem of Shor that ifG is a word-hyperbolic group, then up to isomrphism, only finitely many groups appear as fixed subgroups of automorphisms ofG. We give an example of a groupG acting freely and cocompactly on a CAT(0) square complex such that infinitely many non-isomorphic groups appear as fixed subgroups of automorphisms ofG. Consequently, Shor’s finiteness result does not hold if the negative curvature condition is relaxed to either biautomaticity or nonpositive curvature. D. T. Wise was supported by grants from FCAR and NSERC.     

Twisted product and cohomology

LetH be a Hopf algebra,H ₁ be a sub-Hopf algebra ofH, H ₂ be the quotient Hopt algebra ofH modularH ₁. This paper gives a simplified complex by defining a new base for the cobar complex and proves that the cobar complex ofH has the same cohomology algebra with a twisted product of the cobar complexes ofH ₁ andH ₂. Supported by National Natural Science Foundation of China     

On complex solvmanifolds and affine structures

Summary We study the problem of the existence of affine structures on compact complex solvmanifolds, in particular without the Kähler hypothesis. The main theorem gives a positive answer under a mild condition, which is true for low dimensions. A standard way to describe every solvmanifold as a quotient of (C ⁿ , *),where *is a certain Lie group structure, is also given.