On countable connected locally connected almost regular Urysohn spaces

We construct connected, locally connected, almost regular, countable, Urysohn spaces. This answers a problem of G.X. Ritter. We show that there are 2^c such non-homeomorphic spaces. We also show that there are 2^c non-homeomorphic spaces which are further rigid. We discuss the group of homeomorphisms of such spaces.The following question was raised by G.X. Ritter: Does there exist a countable connected locally connected Urysohn space which is almost regular? We answer this question in the affirmative and in fact, show that not only are there as many as 2^c such spaces but that there are just as many rigid spaces with the same properties. Furthermore we show that every countable Urysohn space is a subspace of such a space. We also prove that every countable group is isomorphic to the group of autohomeomorphisms of some connected locally connected almost regular Urysohn space. Examples are given of groups of order c which can be represented in this manner.     

Cofinal types of ultrafilters

We study Tukey types of ultrafilters on ω, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafilter. The class of basically generated ultrafilters includes all known ultrafilters that are not Tukey above [ω₁]^<ω. We give a complete characterization of all ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given.     

Topological algebras with ascending or descending chain condition

We examine some topological algebras with ascending or descending chain condition. We prove that a commutative noetherian F-algebra is necessarily a Q-algebra. We characterize noetherian F-algebras which are Q-algebras among those whose left ideals are closed. We show that any commutative artinian m-convex algebra is finite dimensional.     

Acyclic improper choosability of graphs

We consider improper colorings (sometimes called generalized, defective or relaxed colorings) in which every color class has a bounded degree. We propose a natural extension of improper colorings: acyclic improper choosability. We prove that subcubic graphs are acyclically (3, 1)*-choosable (i.e. they are acyclically 3-choosable with color classes of maximum degree one). Using a linear time algorithm, we also prove that outerplanar graphs are acyclically (2, 5)*-choosable (i.e. they are acyclically 2-choosable with color classes of maximum degree five). Both results are optimal. We finally prove that acyclic choosability and acyclic improper choosability of planar graphs are equivalent notions.     

More remarks on Souslin properties and tree topologies

We investigate separation properties of ω₁-trees. We show that the property γ of Devlin and Shelah is equivalent to hereditary collectionwise normality. We show that monotone normality and divisibility are both equivalent to orderability. Finally we show that Souslin trees are examples of trees with property γ which are not retractable.     

Identity excluding groups

We consider identity excluding groups. We first show that motion groups of totally disconnected nilpotent groups are identity excluding. We prove that certain class of p-adic algebraic groups which includes algebraic groups whose solvable radical is type R have identity excluding property. We also prove the convergence of averages of representations for some solvable groups which are not necessarily identity excluding.     

A characterization of triangle-free tolerance graphs

We prove that a triangle-free graph G is a tolerance graph if and only if there exists a set of consecutively ordered stars that partition the edges of G. Since tolerance graphs are weakly chordal, a tolerance graph is bipartite if and only if it is triangle-free. We, therefore, characterize those tolerance graphs that are also bipartite. We use this result to show that in general, the class of interval bigraphs properly contains tolerance graphs that are triangle-free (and hence bipartite).     

Character tables and normal left coideal subalgebras

We continue studying properties of semisimple Hopf algebras H over algebraically closed fields of characteristic 0 resulting from their generalized character tables. We show that the generalized character table of H reflects normal left coideal subalgebras of H. These are the Hopf analogues of normal subgroups in the sense that they arise from Hopf quotients. We apply these ideas to prove Hopf analogues of known results in group theory. Among the rest we prove that columns of the character table are orthogonal and that all entries are algebraic integers. We analyze ‘semi-kernels’ and their relations to the character table. We prove a full analogue of the Burnside–Brauer theorem for almost cocommutative H. We also prove the Hopf algebras analogue of the following (Burnside) theorem: If G is a non-abelian simple group then {1} is the only conjugacy class of G which has prime power order.     

Diagram groups and directed 2-complexes: Homotopy and homology

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so-called rigidity of the R. Thompson's group F and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_∞) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincaré series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian.     

Frames and the Feichtinger conjecture

We show that the conjectured generalization of the Bourgain-Tzafriri restricted-invertibility theorem is equivalent to the conjecture of Feichtinger, stating that every bounded frame can be written as a finite union of Riesz basic sequences. We prove that any bounded frame can at least be written as a finite union of linearly independent sequences. We further show that the two conjectures are implied by the paving conjecture. Finally, we show that Weyl-Heisenberg frames over rational lattices are finite unions of Riesz basic sequences.

     

Classifying Integrable Egoroff Hydrodynamic Chains

We introduce the notion of Egoroff hydrodynamic chains. We show how they are related to integrable (2+1)-dimensional equations of hydrodynamic type. We classify these equations in the simplest case. We find (2+1)-dimensional equations that are not just generalizations of the already known Khokhlov–Zabolotskaya and Boyer–Finley equations but are much more involved. These equations are parameterized by theta functions and by solutions of the Chazy equations. We obtain analogues of the dispersionless Hirota equations.     

Functional calculus of Dirac operators and complex perturbations of Neumann and Dirichlet problems

We prove that Neumann, Dirichlet and regularity problems for divergence form elliptic equations in the half-space are well posed in L₂ for small complex L_∞ perturbations of a coefficient matrix which is either real symmetric, of block form or constant. All matrices are assumed to be independent of the transversal coordinate. We solve the Neumann, Dirichlet and regularity problems through a new boundary operator method which makes use of operators in the functional calculus of an underlaying first order Dirac type operator. We establish quadratic estimates for this Dirac operator, which implies that the associated Hardy projection operators are bounded and depend continuously on the coefficient matrix. We also prove that certain transmission problems for k-forms are well posed for small perturbations of block matrices.     

Log-convex and Stieltjes moment sequences

We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of q-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.     

Non-arithmetic polycyclic groups

We prove that for every n > 2 there are semi-direct products of a free Abelian group of rank n and an infinite cyclic group which are not arithmetic groups. In particular, we show that there are non-arithmetic polycyclic groups of every Hirsch number > 3. We also show that all polycyclic groups of Hirsch number ≤ are arithmetic. The proofs are based on our previous results about solvable arithmetic groups and on arithmetic properties of algebraic tori.     

Hamburger Moment Sequences in Combinatorics

We show that many well-known counting coefficients in combinatorics are Hamburger moment sequences in certain unified approaches and that Hamburger moment sequences are infinitely convex. We introduce the concept of the q-Hamburger moment sequence of polynomials and present some examples of such sequences of polynomials. We also suggest some problems and conjectures.     

Einstein almost cokähler manifolds

We study an odd‐dimensional analogue of the Goldberg conjecture for compact Einstein almost Kähler manifolds. We give an explicit non‐compact example of an Einstein almost cokähler manifold that is not cokähler. We prove that compact Einstein almost cokähler manifolds with nonnegative *‐scalar curvature are cokähler (indeed, transversely Calabi–Yau); more generally, we give a lower and upper bound for the *‐scalar curvature in the case that the structure is not cokähler. We prove similar bounds for almost Kähler Einstein manifolds that are not Kähler.     

Special Moufang sets, their root groups and their {micro}-maps

We prove Timmesfeld's conjecture that special abstract rankone groups are quasisimple. We give two characterizations ofthe root groups in special Moufang sets: a normal subgroup ofthe point stabilizer is a root group if it is either regular,or nilpotent and transitive. We prove that if a root group ofa special Moufang set contains an involution, then it is ofexponent 2. We also show that the root groups are abelian ifand only if the so-called µ-maps are involutions.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

On the Area Bisectors of a Polygon

We consider the family of lines that are area bisectors of a polygon (possibly with holes) in the plane. We say that two bisectors of a polygon P are combinatorially distinct if they induce different partitionings of the vertices of P . We derive an algebraic characterization of area bisectors. We then show that there are simple polygons with n vertices that have Ω(n ² ) combinatorially distinct area bisectors (matching the obvious upper bound), and present an output-sensitive algorithm for computing an explicit representation of all the bisectors of a given polygon. Received September 11, 1997, and in revised form April 8, 1998.