Pseudo-Anosov Flows and Incompressible Tori

We study incompressible tori in 3-manifolds supporting pseudo-Anosov flows and more generally ZZ subgroups of the fundamental group of such a manifold. If no element in this subgroup can be represented by a closed orbit of the pseudo-Anosov flow, we prove that the flow is topologically conjugate to a suspension of an Anosov diffeomorphism of the torus. In particular it is non singular and is an Anosov flow. It follows that either a pseudo-Anosov flow is topologically conjugate to a suspension Anosov flow, or any immersed incompressible torus can be realized as a free homotopy from a closed orbit of the flow to itself. The key tool is an analysis of group actions on non-Hausdorff trees, also known as R-order trees – we produce an invariant axis in the free action case. An application of these results is the following: suppose the manifold has an R-covered foliation transverse to a pseudo-Anosov flow. If the flow is not an R-covered Anosov flow, then it follows that the manifold is atoroidal.     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

On Cesàro Means of Double Trigonometric Fourier Series

Zhizhiashvili studied questions associated with the approximation properties of Cesàro means of trigonometric Fourier series for functions of two variables in the spaces H. It is proved here that the corresponding estimate cannot be improved for p = 1 or p = .     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

Iterated monoidal categories

We develop a notion of an n-fold monoidal category and show that it corresponds in a precise way to the notion of an n-fold loop space. Specifically, the group completion of the nerve of such a category is an n-fold loop space, and free n-fold monoidal categories give rise to a finite simplicial operad of the same homotopy type as the classical little cubes operad used to parametrize the higher H-space structure of an n-fold loop space. We also show directly that this operad has the same homotopy type as the n-th Smith filtration of the Barratt-Eccles operad and the n-th filtration of Berger's complete graph operad. Moreover, this operad contains an equivalent preoperad which gives rise to Milgram's small model for when n=2 and is very closely related to Milgram's model of for n>2.