Standard completions for quasiordered sets

A standard completion for a quasiordered set Q is a closure system whose point closures are the principal ideals of Q. We characterize the following types of standard completions by means of their closure operators:

1. V-distributive completions,
2. Completely distributive completions,
3. A-completions (i.e. standard completions which are completely distributive algebraic lattices),
4. Boolean completions.

Moreover, completely distributive completions are described by certain idempotent relations, and the A-completions are shown to be in one-to-one correspondence with the join-dense subsets of Q. If a pseudocomplemented meet-semilattice Q has a Boolean completion ?, then Q must be a Boolean lattice and ? its MacNeille completion.     

Conway’s Question: The Chase for Completeness

We study various degrees of completeness for a Tychonoff space X. One of them plays a central role, namely X is called a Conway space if X is sequentially closed in its Stone–?ech compactification β X (a prominent example of Conway spaces is provided by Dieudonné complete spaces). The Conway spaces constitute a bireflective subcategory Conw of the category Tych of Tychonoff spaces. Replacing sequential closure by the general notion of a closure operator C, we introduce analogously the subcategory Conw _C of C-Conway spaces, that turns out to be again a bireflective subcategory of Tych. We show that every bireflective subcategory of Tych can be presented in this way by building a Galois connection between bireflective subcategories of Tych and closure operators of Top finer than the Kuratowski closure. Other levels of completeness are considered for the (underlying topological spaces of) topological groups. A topological group G is sequentially complete if it is sequentially closed in its Ra?kov completion ${ \ifmmode\expandafter\tilde\else\expandafter\~\fi{G}}$ . The sequential completeness for topological groups is stronger than Conway’s property, although they coincide in some classes of topological groups, for example: free (Abelian) topological groups, pseudocompact groups, etc.     

Productivity of Zariski-compactness for constructs of affine spaces

We study compactness for hereditary coreflective subconstructs X of SSET, the construct of affine spaces over the two point set S and with affine maps as morphisms, endowed with the Zariski closure operator z. We formulate necessary conditions for productivity of z-compactness. Moreover, if in X arbitrary products of quotients are quotients, then our conditions are also sufficient. We apply the results to some well-known subconstructs of SSET, in particular we investigate situations in which another sufficient condition for productivity of compactness, known as finite structure property for products (FSPP), is not fulfilled by the Zariski closure.     

Function spaces and one point extensions for the construct of metered spaces

The construct M of metered spaces and contractions is known to be a superconstruct in which all metrically generated constructs can be fully embedded. We show that M has one point extensions and that quotients in M are productive. We construct a Cartesian closed topological extension of M and characterize the canonical function spaces with underlying sets Hom(X,Y) for metered spaces X and Y. Finally we obtain an internal characterization of the objects in the Cartesian closed topological hull of M.     

Closure operators and their middle-interchange law

The paper presents a new definition of closure operator which encompasses the standard Dikranjan-Giuli notion, as well as the Bourn-Gran notion of normal closure operator. As is well known, any two closure operators C, D in a category may be composed in, within order, two different ways. For a subobject M→X one may consider DX(CXM) or DCX(M)(M) as the value at M of a new closure operator D⋅C or D?C, respectively. The two binary operations are linked by a lax middle-interchange law. This paper explores situations in which the law holds strictly.     

Regular closure operators

In an E,M-categoryX for sinks, we identify necessary conditions for Galois connections from the power collection of the class of (composable pairs) of morphisms inM to factor through the lattice of all closure operators onM, and to factor through certain sublattices. This leads to the notion ofregular closure operator. As one byproduct of these results we not only arrive (in a novel way) at the Pumplün-Röhrl polarity between collections of morphisms and collections of objects in such a category, but obtain many factorizations of that polarity as well. (One of these factorizations constituted the main result of an earlier paper by the same authors). Another byproduct is the clarification of the Salbany construction (by means of relative dominions) of the largest idempotent closure operator that has a specified class ofX-objects as separated objects. The same relation that is used in Salbany's relative dominion construction induces classical regular closure operators as described above. Many other types of closure operators can be obtained by this technique; particular instances of this are the idempotent and modal closure operators that in a Grothendieck topos correspond to the Grothendieck topologies.Dedicated to Professor Dieter Pumplün, on his 60th birthdayResearch partially supported by the Faculty of Arts and Sciences, University of Puerto Rico, Mayagüez Campus during a sabbatical visit at Kansas State University.     

Weakly Koszul-like modules

The Koszul-like property for any finitely generated graded modules over a Koszul-like algebra is investigated and the notion of weakly Koszul-like module is introduced. We show that a finitely generated graded module M is a weakly Koszul-like module if and only if it can be approximated by Koszul-like graded submodules, which is equivalent to the fact that G(M) is a Koszul-like module, where G(M) denotes the associated graded module of M. As applications, the relationships between minimal graded projective resolutions of M and G(M), and Koszul-like submodules are established. Moreover, the Koszul dual of a weakly Koszul-like module is proved to be generated in degree 0 as a graded E(A)-module.     

Radicals whose semisimple classes satisfy a generalised ADS condition

A class K of rings has the GADS property (i.e., generalized ADS property) if wheneverX&;ltri; I&;ltri; R with X&;isin; K, then there exists B &;ltri; R with B &;isin; K such that X &;sube; B &;sube; I. Radicals whose semisimple classes have the GADS property are called g-radicals. In this paper, we fully characterize the class of g -radicals. We show that ? is a g-radical if and only if either ? &;sube; I or S? &;sube; I , whereI denotes the class of idempotent rings and S? denotes the semisimple class of ?. It is also shown that the (hereditary) g-radicals form an (atomic) sublattice of the lattice of all radicals.     

Idempotent lattices, Renner monoids and cross section lattices of the special orthogonal algebraic monoids

Let MSO_n (n is even) be the special orthogonal algebraic monoid, T a maximal torus of the unit group, and the Zariski closure of T in the whole matrix monoid M_n. In this paper we explicitly determine the idempotent lattice , the Renner monoid , and the cross section lattice Λ of MSO_n in terms of the Weyl group and the concept of admissible sets (see Definition 3.1). It turns out that there is a one-to-one relationship between and the admissible subsets, and that is a submonoid of  , the Renner monoid M_n. Also Λ is a sublattice of Λ_n, the cross section lattice of M_n.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.     

Structure of modules over the stereotype algebra ℒ(X) of operators

It is well known that every module M over the algebra ?(X) of operators on a finite-dimensional space X can be represented as the tensor product of X by some vector space E, M ? = E ? X. We generalize this assertion to the case of topological modules by proving that if X is a stereotype space with the stereotype approximation property, then for each stereotype module M over the stereotype algebra ? (X) of operators on X there exists a unique (up to isomorphism) stereotype space E such that M lies between two natural stereotype tensor products of E by X, $E \circledast X \subseteq M \subseteq E \odot X.$ . As a corollary, we show that if X is a nuclear Fréchet space with a basis, then each Fréchet module M over the stereotype operator algebra ?(X) can be uniquely represented as the projective tensor product of X by some Fréchet space E, $M = E \widehat \otimes X$ .     

CR-invariants and the scattering operator for complex manifolds with CR-boundary

Suppose that M is a CR manifold bounding a compact complex manifold X. The manifold X admits an approximate Kähler–Einstein metric g which makes the interior of X a complete Riemannian manifold. We identify certain residues of the scattering operator as CR-covariant differential operators and obtain the CR Q-curvature of M from the scattering operator as well. Our results are an analogue in CR-geometry of Graham and Zworski's result that certain residues of the scattering operator on a conformally compact manifold with a Poincaré–Einstein metric are natural, conformally covariant differential operators, and the Q-curvature of the conformal infinity can be recovered from the scattering operator. To cite this article: P.D. Hislop et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Holomorphic vector bundles on open subsets of Stein manifolds

LetM be a connected two-dimensional Stein manifold withH ²(M,Z)=0 andS∈M a discrete subset withS≠ Ø. SetX:=M/S. Fix an integerr≥2. Then there exists a rankr vector bundleE onX such that there is no line bundleL onX with a non-zero mapL →E.     

Ideal Spaces of Measurable Operators Affiliated to A Semifinite Von Neumann Algebra

Suppose that M is a von Neumann algebra of operators on a Hilbert space H and τ is a faithful normal semifinite trace on M. Let E, F and G be ideal spaces on (M, τ). We find when a τ-measurable operator X belongs to E in terms of the idempotent P of M. The sets E+F and E·F are also ideal spaces on (M, τ); moreover, E·F = F·E and (E+F)·G = E·G+F·G. The structure of ideal spaces is modular. We establish some new properties of the L₁(M, τ) space of integrable operators affiliated to the algebra M. The results are new even for the *-algebra M = B(H) of all bounded linear operators on H which is endowed with the canonical trace τ = tr.     

Matroids with given restrictions and contractions

If M is a matroid on a set S and if X is a subset of S, then there are two matroids on X induced by M: namely, the restriction and the contraction of M onto X. Necessary and sufficient conditions are obtained for two matroids on the same set to be of this form and an analogous result is obtained when (X₁,…, X_t) is a partition of S. The corresponding results when all the matroids are binary are also obtained.     

A categorical approach to absolute closure

Notions of strongly and absolutely closed objects with respect to a closure operator X on an arbitrary category X and with respect to a subcategory Y are introduced. This yields two Galois connections between closure operators on a given category X and subclasses of X, whose fixed points are studied. A relationship with some compactness notions is shown and examples are provided.     

Krasnosel’skii type fixed point theorems under weak topology features

In this paper we prove the following Krasnosel’skii type fixed point theorem: Let M be a nonempty bounded closed convex subset of a Banach space X. Suppose that A:M→X and B:X→X are two weakly sequentially continuous mappings satisfying:

(i)

AM is relatively weakly compact;

(ii)

B is a strict contraction;

(iii)

.

Then A+B has at least one fixed point in M.This result is then used to obtain some new fixed point theorems for the sum of a weakly compact and a nonexpansive mapping. The results presented in this paper encompass several earlier ones in the literature.     

Some topological properties of weakly almost periodic mappings

A map φ:X→X induces a linear operator T:C(X)→C(X) by composition: Tf(x)=f°φ(x). T and φ are termed weakly almost periodic if the sequence {Tⁿ} is precompact in the weak operator topology. Using general structure theorems for weakly almost periodic operators, the properties of these point maps are studied from the viewpoint of dynamical systems. The structure of individual minimal sets and of the union M of all minimal sets of φ are investigated. One key result is that, if X is compact, then φ is a strongly almost periodic (i.e., has uniformly equicontinuous iterates) homeomorphisms of M and M is a retract of X. These and other general results are applied to the case where X is a manifold. Several results in which weak implies strong almost periodicity are obtained.     

Inverses and regularity of band preserving operators

The following four main results are proved here. Theorem 3.3.For each one-to-one band preserving operatorT:X → Xon a vector lattice its inverseT⁻¹:T(X) → Xis also band preserving. This answers a long standing open question. The situation is quite different if we move from endomorphisms to more general operators. Theorem 4.2.For a vector lattice X the following two conditions are equivalent:

1.

i)|For each one-to-one band preserving operator T:X → X^u from X to its universal completion X^u the inverse T⁻¹ is also band preserving.

2.

ii)|For each non-zero x ? X and each non-zero band U ⊂ {x}^dd there exists a non-zero semi-component of x in U.

Theorem 5.1.For a vector lattice X the following two conditions are equivalent.

1.

i)|Each band preserving operator T:X → X^u is regular.

2.

ii)|The d-dimension of X equals 1.

Corollary 5.9.Let X be a vector sublattice of C(K) separating points and containing the constants, where K is a compact Hausdorff space satisfying any one of the following three conditions: K is metrizable, or connected, or locally connected. Then each band preserving operatorT: X → Xis regular.