关于Scott开滤子拓扑的core紧性

本文讨论了那样一些ＤＣＰＯ（即定向完备偏序集）的刻划问题,它们在赋以Ｓｃｏｔｔ开滤子拓扑后,其拓扑空间的开集格是连续格。该问题也是由ＬａｗｓｏｎＪＤ。与ＭｉｓｌｏｖｅＭ．提出的一系列公开问题中的一个［１］。     

Simplicity and superrigidity of twin building lattices

Kac–Moody groups over finite fields are finitely generated groups. Most of them can naturally be viewed as irreducible lattices in products of two closed automorphism groups of non-positively curved twinned buildings: those are the most important (but not the only) examples of twin building lattices. We prove that these lattices are simple if the corresponding buildings are irreducible and not of affine type (i.e. they are not Bruhat–Tits buildings). Many of them are finitely presented and enjoy property (T). Our arguments explain geometrically why simplicity fails to hold only for affine Kac–Moody groups. Moreover we prove that a nontrivial continuous homomorphism from a completed Kac–Moody group is always proper. We also show that Kac–Moody lattices fulfill conditions implying strong superrigidity properties for isometric actions on non-positively curved metric spaces. Most results apply to the general class of twin building lattices. Dedicated to Jacques Tits with our admiration     

Sublattices of complete lattices with continuity conditions

Various embedding problems of lattices into complete lattices are solved. We prove that for any join-semilattice S with the minimal join-cover refinement property, the ideal lattice Id S of S is both algebraic and dually algebraic. Furthermore, if there are no infinite D-sequences in J(S), then Id S can be embedded into a direct product of finite lower bounded lattices. We also find a system of infinitary identities that characterize sublattices of complete, lower continuous, and join-semidistributive lattices. These conditions are satisfied by any (not necessarily finitely generated) lower bounded lattice and by any locally finite, join-semidistributive lattice. Furthermore, they imply M. Erné’s dual staircase distributivity.On the other hand, we prove that the subspace lattice of any infinite-dimensional vector space cannot be embedded into any ℵ₀-complete, ℵ₀-upper continuous, and ℵ₀-lower continuous lattice. A similar result holds for the lattice of all order-convex subsets of any infinite chain.Dedicated to the memory of Ivan RivalReceived April 4, 2003; accepted in final form June 16, 2004.This revised version was published online in August 2005 with a corrected cover date.     

Zero dimensional and connected domains

We study continuous domains with bottomD such that every principal ideal inD is compact in the Lawson topology ofD. This class contains all objects of cartesian closed categories of continuous domains with bottom; it is also closed under arbitrary products and projection-embedding pairs. We employ the notion of apospace and useKoch's Arc Theorem to show that such a domainD is zero dimensional in its Lawson topology iffD is algebraic. This also classifies those continuous domainsD with bottom for which the Lawson topology λ(D) is a Stone Space. Finally, we give a criterion for the connectedness of the space λ(D) in terms of the poset of finite elements ofD and in terms of arc chains connecting bottom with every other element.     

偏序集上的测度拓扑与稠拓扑

In this paper,the concepts of the essential topology and the density topology of dcpos are generalized to the setting of general posets.Basic properties of the essential topology and relations with other intrinsic topologies are explored.Comparisons between the density topology and the measurement topology are made.Via the essential topology,the density topology and the measurement topology,we obtain properties and characterizations of bases of continuous posets.We also provide some new conditions for a continuous poset to be an algebraic poset.     

凸幂Domain的极大点的注记

本文讨论了连续Domain D的极大点Max(D)的紧子集Com(Max(D))与凸幂Domain CD的极大点Max(CD)一一对应的条件以及Max(CD)上拓扑的性质, 证明了当X为局部紧Hausdorff空间时,X的上空间UX的凸幂Domain C(UX)的极大点Max(C(UX))与Com(Max(UX))(即X的紧子集)一一对应.X的上空间UX上的Lawson拓扑与X紧子集上的Vietoris拓扑相同,并且与Max(C(UX))带有C(UX)上的相对Scott拓扑同胚.     

L-Fuzzy Domain上的广义Scott拓扑

本文研究了L-fuzzy domain上的广义Scott拓扑,利用[1]中引入的L-fuzzy domain.获得了其上的广义Scott拓扑,它是Domain上Scott拓扑的推广,证明了一个L-fuzzy单调映射是L-fuzzy Scott连续映射当且仅当它关于L-fuzzy domain上的广义Scott拓扑连续.     

Algebraic lattices and locally finitely presentable categories

We show that subobjects and quotients respectively of any object K in a locally finitely presentable category form an algebraic lattice. The same holds for the internal equivalence relations on K. In fact, these results turn out to be??at least in the case of subobjects??nothing but simple consequences of well known closure properties of the classes of locally finitely presentable categories and accessible categories, respectively. We thus get a completely categorical explanation of the well known fact that the subobject- and congruence lattices of algebras in finitary varieties are algebraic. Moreover we also obtain new natural examples: in particular, for any (not necessarily finitary) polynomial set-functor F, the subcoalgebras of an F-coalgebra form an algebraic lattice; the same holds for the lattices of regular congruences and quotients of these F-coalgebras.     

Notes on the products of the lower topology and Lawson topology on posets

In this paper, we investigate the relation between the lower topology respectively the Lawson topology on a product of posets and their corresponding topological product. We show that (1) if S and T are nonsingleton posets, then Ω(S×T)=Ω(S)×Ω(T) iff both S and T are finitely generated upper sets; (2) if S and T are nontrivial posets with σ(S) or σ(T) being continuous, then Λ(S×T)=Λ(S)×Λ(T) iff S and T satisfy property K, where for a poset L, Ω(L) means the lower topological space, Λ(L) means the Lawson topological space, and L is said to satisfy property K if for any x∈L, there exist a Scott open U and a finite F⊆L with x∈U⊆↑F.     

QFS-Domains and their Lawson Compactness

In this paper, concepts of quasi-finitely separating maps and quasi-approximate identities are introduced. Based on these concepts, QFS-domains and quasicontinuous maps are defined. Properties and characterizations of QFS-domains are explored. Main results are: (1) finite products, nonempty Scott closed subsets and quasicontinuous projection images of QFS-domains, as well as FS-domains, are all QFS-domains; (2) QFS-domains are compact in the Lawson topology; (3) An L-domain is a QFS-domain iff it is an FS-domain, iff it is compact in the Lawson topology; (4) Bounded complete quasicontinuous domains, in particular quasicontinuous lattices, are all QFS-domains.     

Priestley Spaces, Quasi-hyperalgebraic Lattices and Smyth Powerdomains

We introduce the concept of quasi-hyperalgebraic lattice and prove that a complete lattice is a Priestley space with respect to the interval topology if and only if it is quasi-hyperalgebraic. Some characterizations of quasi-hyperalgebraic lattices are presented. We also prove that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic.     

拟Z-连续domain和Z-交连续domain

对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.     

关于连续偏序集的一个刻画定理(英文)

本文给出了连续偏序集的一个刻画定理及相应的代数偏序集刻画定理.进一步得出连续偏序集P关于其Scott拓扑是局部紧的,而且OFilt(P)是一个domain.这推广了关于dcpo的对应结果.     

Well-rounded algebraic lattices in odd prime dimension

Well-rounded lattices have been considered in coding theory, in approaches to MIMO, and SISO wiretap channels. Algebraic lattices have been used to obtain dense lattices and in applications to Rayleigh fading channels. Recent works study the relation between well-rounded lattices and algebraic lattices, mainly in dimension two. In this article we present a construction of well-rounded algebraic lattices in Euclidean spaces of odd prime dimension. We prove that for each Abelian number field of odd prime degree having squarefree conductor, there exists a $${\mathbb {Z}}$$ -module M such that the canonical embedding applied to M produces a well-rounded lattice. It is also shown that for each odd prime dimension there are infinitely many non-equivalent well-rounded algebraic lattices, with high indexes as sublattices of other algebraic lattices.     

Intrinsic approach spaces on domains

The paper is a contribution to quantifiability of domains. We show that every domain X, regardless of cardinality conditions for a domain bases, is quantifiable in the sense that there exists an approach structure on X (Lowen (1997) [9]), defined by means of a gauge of quasi metrics, inducing the Scott topology. We get weightability for free and in the case of an algebraic domain satisfying the Lawson condition (Lawson (1997) [8]), a quantifying approach space can be obtained with a weight satisfying the kernel condition.     

Combinatorial cell complexes and Poincaré duality

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces, combinatorial cell complexes (or c.c.c). We define orientability, homology and cohomology of c.c.c’s and develop enough algebraic topology in this setting to prove the Poincaré duality theorem for a c.c.c satisfying suitable regularity conditions. The definitions and proofs are completely finitary and combinatorial in nature.     

On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond

We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite completion, which is also the completion with respect to a naturally defined metric. We give an algebraic interpretation of the Kripke model used by Bellissima as the principal ideal spectrum and show it to be first order interpretable in the Heyting algebra, from which several model theoretic and algebraic properties are derived. In particular, we prove that a free finitely generated Heyting algebra has only one set of free generators, which is definable in it. As a consequence its automorphism group is the permutation group over its generators.     

Algebraically complete lattices

We prove that the class of existentially complete lattices is not an elementary class; thus the theory of lattices does not have a model-companion. Finally we observe that there is a locally finite finitely generic lattice.     

The closed subalgebras of a topological algebra

Conclusion There are some interesting related problems which we have not solved One is to characterize the family of all closed subalgebras in the case where it is assumed that the algebraic operations are continuous in the topology. If the operations are not determined uniquely by the family of closed subalgebras, is there at least one determination in which they are continuous ? Another problem is to characterize the families of finitely generated closed subalgebras of a topological algebra.Supported by National Science Foundation Research Grant GP-3132.     

New properties of lattices in Lie groups

We study finite extension groups of lattices in Lie groups which have finitely many connected components. We show that every non-cocompact Fuchsian group (these are the non-cocompact lattices in $\text{PSL}\text{(2,}\text{R}\text{)}$) has an extension group of finite index which is not isomorphic to a lattice in a Lie group with finitely many connected components. On the other hand we prove that these are, in an appropriate sense, the only lattices in Lie groups which have extension groups of this kind. We also show that an extension group of finite index of a lattice in a Lie group with finitely many connected components has only finitely many conjugacy classes of finite subgroups. To cite this article: F. Grunewald, V. Platonov, C. R. Acad. Sci. Paris, Ser. I 338 (2004).