Priestley duality for order-preserving maps into distributive lattices

The category of bounded distributive lattices with order-preserving maps is shown to be dually equivalent to the category of Priestley spaces with Priestley multirelations. The Priestley dual space of the ideal lattice L of a bounded distributive lattice L is described in terms of the dual space of L. A variant of the Nachbin-Stone-ech compactification is developed for bitopological and ordered spaces. Let X be a poset and Y an ordered space; X ^Y denotes the poset of continuous order-preserving maps from Y to X with the discrete topology. The Priestley dual of L ^P is determined, where P is a poset and L a bounded distributive lattice.     

Quantaloids and non-commutative ring representations

Our aim is to generalize to the non-commutative case, the generic representation of commutative rings by sheaves on their quantales of ideals. As the quantale of two-sided ideals is not a sufficiently rich structure, we define and work on a quantaloid of left and right ideals. A workable notion of sheaf is introduced using matrices with values in a quantaloid. For a given ringR, we obtain a category of sheaves where the terminal object is endowed with a special subobject. There exists a representing sheaf forR in the sense that the elements ofR correspond to the sections from the special subobject and the global sections correspond to the center.     

Remarks on Priestley duality for distributive lattices

The notion of a Priestley relation between Priestley spaces is introduced, and it is shown that there is a duality between the category of bounded distributive lattices and 0-preserving join-homomorphisms and the category of Priestley spaces and Priestley relations. When restricted to the category of bounded distributive lattices and 0-1-preserving homomorphisms, this duality yields essentially Priestley duality, and when restricted to the subcategory of Boolean algebras and 0-preserving join-homomorphisms, it coincides with the Halmos-Wright duality. It is also established a duality between 0-1-sublattices of a bounded distributive lattice and certain preorder relations on its Priestley space, which are called lattice preorders. This duality is a natural generalization of the Boolean case, and is strongly related to one considered by M. E. Adams. Connections between both kinds of dualities are studied, obtaining dualities for closure operators and quantifiers. Some results on the existence of homomorphisms lying between meet and join homomorphisms are given in the Appendix.     

Join-continuous frames,Priestley's duality and biframes

The primary purpose of this paper is to study join-continuous frames. We present two representation theorems for them: one in terms of -subframes of complete Boolean algebras and the other in terms of certain Priestley spaces. This second representation is used to prove that the topological spaces whose frame of open sets is join-continuous are characterized by a condition which says that certain intersections of open sets are open. Finally, we show that Priestley's duality can be viewed as a partialization of the dual adjunction between the categories of, respectively, bitopological spaces and biframes, stated by B. Banaschewski, G. C. L. Brümmer and K. A. Hardie in [5].This work was partially supported by Centro de Matemáíica da Universidade de Coimbra.     

Groupoid quantales: A non-étale setting

We establish a bijective correspondence involving a class of unital involutive quantales and a class of groupoids whose space of units is a sober space. This class includes equivalence relations that arise from group actions. The resulting axiomatization of the class of quantales, as well as the correspondence defined here, extend the theory of étale groupoids and their quantales (Resende (2007) [10]) to a point-set, non-étale setting.     

Tame parts of free summands in coproducts of Priestley spaces

It is well known that a sum (coproduct) of a family of Priestley spaces is a compactification of their disjoint union, and that this compactification in turn can be organized into a union of pairwise disjoint order independent closed subspaces Xu, indexed by the ultrafilters u on the index set I. The nature of those subspaces Xu indexed by the free ultrafilters u is not yet fully understood.In this article we study a certain dense subset satisfying exactly those sentences in the first-order theory of partial orders which are satisfied by almost all of the Xi's. As an application we present a complete analysis of the coproduct of an increasing family of finite chains, in a sense the first non-trivial case which is not a ?ech-Stone compactification of the disjoint union I_?Xi. In this case, all the Xu's with u free turn out to be isomorphic under the Continuum Hypothesis.     

Stone duality and Gleason covers through de Vries duality

We introduce zero-dimensional de Vries algebras and show that the category of zero-dimensional de Vries algebras is dually equivalent to the category of Stone spaces. This shows that Stone duality can be obtained as a particular case of de Vries duality. We also introduce extremally disconnected de Vries algebras and show that the category of extremally disconnected de Vries algebras is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. As a result, we give a simple construction of the Gleason cover of a compact Hausdorff space by means of de Vries duality. We also discuss the insight that Stone duality provides in better understanding of de Vries duality.     

Symplectic duality of symmetric spaces

Let M⊂Cn be a complex n-dimensional Hermitian symmetric space endowed with the hyperbolic form ωhyp. Denote by (M^∗,ωFS) the compact dual of (M,ωhyp), where ωFS is the Fubini-Study form on M^∗. Our first result is Theorem 1.1 where, with the aid of the theory of Jordan triple systems, we construct an explicit symplectic duality, namely a diffeomorphism satisfying and for the pull-back of ΨM, where ω₀ is the restriction to M of the flat Kähler form of the Hermitian positive Jordan triple system associated to M. Amongst other properties of the map ΨM, we also show that it takes (complete) complex and totally geodesic submanifolds of M through the origin to complex linear subspaces of Cn. As a byproduct of the proof of Theorem 1.1 we get an interesting characterization (Theorem 5.3) of the Bergman form of a Hermitian symmetric space in terms of its restriction to classical complex and totally geodesic submanifolds passing through the origin.     

Infinite distributive laws versus local connectedness and compactness properties

Various local connectedness and compactness properties of topological spaces are characterized by higher degrees of distributivity for their lattices of open (or closed) sets, and conversely. For example, those topological spaces for which not only the lattice of open sets but also that of closed sets is a frame, are described by the existence of web neighborhood bases, where webs are certain specific path-connected sets. Such spaces are called web spaces. The even better linked wide web spaces are characterized by F-distributivity of their topologies, and the worldwide web spaces (or C-spaces) by complete distributivity of their topologies. Similarly, strongly locally connected spaces and locally hypercompact spaces are characterized by suitable infinite distributive laws. The web space concepts are also viewed as natural extensions of spaces that are semilattices with respect to the specialization order and have continuous (unary, binary or infinitary) semilattice operations.     

Linearly ordered Radon-Nikodým compact spaces

We prove that every fragmentable linearly ordered compact space is almost totally disconnected. This combined with a result of Arvanitakis yields that every linearly ordered quasi-Radon-Nikodým compact space is Radon-Nikodým, providing a new partial answer to the problem of continuous images of Radon-Nikodým compacta.     

Some generalizations of Fedorchuk duality theorem—I

Generalizing duality theorem of V.V. Fedorchuk [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)], we prove Stone-type duality theorems for the following four categories: the objects of all of them are the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of compact Hausdorff spaces and open maps is obtained. Some equivalence theorems for these four categories are stated as well; two of them generalize the Fedorchuk equivalence theorem [V.V. Fedorchuk, Boolean δ-algebras and quasi-open mappings, Sibirsk. Mat. Zh. 14 (5) (1973) 1088-1099; English translation: Siberian Math. J. 14 (1973) 759-767 (1974)].     

Value semigroups,value quantales,and positivity domains

In 1981 and 1997 Kopperman and Flagg, respectively, proved that every topological space is metrisable, provided the symmetry and separation axioms are removed from the requirements on the metric, and the metric is allowed to take values in, respectively, a value semigroup or a value quantale. Seeking to construct a value quantale from a value semigroup we focus on a small portion of the structure present in a value semigroup, comprising what we call a positivity domain, and we construct its enveloping value quantale, forming part of a detailed comparison between value semigroups and value quantales. We obtain a representation theorem for value quantales in terms of positivity domains, and we outline how products of positivity domains can be used in the theory of continuity spaces instead of (the non-existent) products of value quantales.     

Scattered compactifications and the orderability of scattered spaces

A space is defined to be suborderable if it is embeddable in a (totally) orderable space. The length of a scattered space X is the least ordinal a such that X(_a), the ath derived set of X, is empty. It is shown that a suborderable scattered space of countable length is hereditarily paracompact, orderable, and admits an orderable scattered compactification.     

Not every full duality is strong!

Is every full duality strong? We show that the answer is ‘no’, thereby answering a question that goes back to the earliest foundations of the theory of natural dualities. Received July 3, 2006; accepted in final form September 8, 2006.     

Compatible connectedness in graphs and topological spaces

A topology on the vertex set of a graphG iscompatible with the graph if every induced subgraph ofG is connected if and only if its vertex set is topologically connected. In the case of locally finite graphs with a finite number of components, it was shown in [11] that a compatible topology exists if and only if the graph is a comparability graph and that all such topologies are Alexandroff. The main results of Section 1 extend these results to a much wider class of graphs. In Section 2, we obtain sufficient conditions on a graph under which all the compatible topologies are Alexandroff and in the case of bipartite graphs we show that this condition is also necessary.     

Remarks on the frame envelope of a σ-frame

The familiar equivalence between σ-frames and σ-coherent frames, given by the frame envelopes of σ-frames, is shown to induce an equivalence between stably continuous σ-frames and stably continuous frames. Similarly, the analogue of the former for σ-biframes is proved to provide an equivalence between compact regular σ-biframes and compact regular biframes. As an application we obtain the equivalence between stably continuous σ-frames and compact regular σ-biframes due to Matutu as an easy consequence of its frame counterpart established earlier by Banaschewski and Brümmer. This provides an affirmative answer to a question posed by Dana Scott.     

Countable connected Hausdorff and Urysohn bunches of arcs in the plane

In this paper, we answer a question by Krasinkiewicz, Reńska and Sobolewski by constructing countable connected Hausdorff and Urysohn spaces as quotient spaces of bunches of arcs in the plane. We also consider a generalization of graphs by allowing vertices to be continua and replacing edges by not necessarily connected sets. We require only that two “vertices” be in the same quasi-component of the “edge” that contains them. We observe that if a graph G cannot be embedded in the plane, then any generalized graph modeled on G is not embeddable in the plane. As a corollary we obtain not planar bunches of arcs with their natural quotients Hausdorff or Urysohn. This answers another question by Krasinkiewicz, Reńska and Sobolewski.