Sober Approach Spaces are Firmly Reflective for the Class of Epimorphic Embeddings

In [2] the subconstruct of sober approach spaces was introduced and it was shown to be a reflective subconstruct of the category of approach spaces. The main result of this paper states that moreover is firmly -reflective in for the class of epimorphic embeddings. ‘Firm -reflective’ is a notion introduced in [3] by G.C.L. Brümmer and E. Giuli and is inspired by the exemplary behaviour of the usual completion in the category of Hausdorff uniform spaces with uniformly continuous maps. It means that is -reflective in and that the reflector is such that belongs to if and only if is an isomorphism. Firm -reflectiveness implies uniqueness of completion in the sense that whenever is a map with and sober, the associated is an isomorphism. Our result generalizes the fact that in the category the subconstruct of sober topological spaces is firmly reflective for the class of b-dense embeddings in . Also firmness in some other subconstructs of will be easily obtained.A. Gerlo and C. Van Olmen are research assistants at the Fund of Scientific Research Vlaanderen (FWO). E. Vandersmissen is a research assistant supported by the FWO-grant G.0244.05.     

Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit

is the category of archimedean -groups with distinguished weak order unit, with -group homomorphisms which preserve unit. This category includes all rings of continuous functions and all rings of measurable functions modulo null functions, with ring homomorphisms. The authors, and others, have studied previously the epimorphisms (right-cancellable morphisms) in . There is a rich theory. In this paper, we describe a topological approach to the analysis of these epimorphisms. On each – object, we define a topology and a convergence . These have the same closure operator, and this closure “captures epics” in the sense: a divisible subobject of is dense iff is epically embedded. The topology is , but only sometimes Hausdorff or an -group topology. The convergence is a Hausdorff -group convergence, but only sometimes topological. The associations of to , and to , are functorial. Dedicated to Bernhard Banaschewski for his 80th birthday.     

On Non-M-Cosingular Completely ⊕-Supplemented Modules

In this paper, it is shown that any non--cosingular -supplemented module is if and only if has the summand intersection property. Let be any module such that has a coclosure in . Then we prove that is (completely) -supplemented if and only if for some submodule of such that and both are (completely) -supplemented.     

Coherence for Product Monoids and their Actions

Let and be two monoids (algebras) in a monoidal category . Further let be a distributive law in the sense of [J. Beck, Lect. Notes Math., 80:119–140, 1969]; naturally yields a monoid . Consider a word in the symbols , , and . The first coherence theorem proved in this paper asserts that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , and . Assume now that an object is endowed with both an -object structure , and an -object structure . Further assume that these two structures are compatible, in the sense that they naturally yield an -object . Let be a word in , , , and , which contains a single instance of , in the rightmost position. The second coherence theorem states that all morphisms coincide in , provided they arise as composites of morphisms which are -products of ’s ‘canonical’ structure morphisms, and of , , , , , , , , , and .     

On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.     

Admissible Galois Structures and Coverings in Regular Mal’cev Categories

Given a regular Gumm category such that any regular epimorphism is effective for descent, we prove that any Birkhoff subcategory in gives rise to an admissible Galois structure. This result allows one to consider some new applications of the categorical Galois theory in the context of topological algebras. Given a regular Mal’cev category , we first characterize the coverings of the Galois structure induced by the subcategory of the abelian objects in . Then we consider as a subcategory of the category of the equivalence relations in , and we characterize the coverings of the corresponding Galois structure . By composing the Galois structures and we obtain the Galois structure induced by as a subcategory of . We give the characterization of the -coverings in terms of the coverings of and .     

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Approach Theory in a Category: A Study of Compactness and Hausdorff Separation

In a topological construct endowed with a proper -factorization system and a concrete functor , we study -compactness and -Hausdorff separation, where is a class of “closed morphisms” in the sense of Clementino et al. (A functional approach to general topology. In: Categorical Foundations. Encyclopedia of Mathematics and Its Applications, vol. 97, pp. 103–163. Cambridge University Press, Cambridge, 2004), determined by Λ. In particular, we point out under which conditions on Λ, the notion of -compactness of an object of coincides with 0-compactness of the image in Prap. Our results will be illustrated by some examples: except for some well-known ones, like b-compactness of a topological space, we also capture some compactness notions that were not considered before in the literature. In particular, we obtain a generalization of b-compactness to the setting of approach spaces. This notion is shown to play an important role in the study of uniformizability. The author is research assistant at the Fund of Scientific Research Vlaanderen (FWO).     

Two-sided Two-cosided Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, an H-bicomodule algebra and an H-bimodule coalgebra C we will show that the category of two-sided two-cosided Hopf modules is equivalent to the category of right–left generalized Yetter–Drinfeld modules . Using alternative versions of this result we will recover the category isomorphism between the categories of left–left and left–right Yetter–Drinfeld modules over a quasi-Hopf algebra.      

The Orthogonal Subcategory Problem and the Small Object Argument

A classical result of P. Freyd and M. Kelly states that in “good” categories, the Orthogonal Subcategory Problem has a positive solution for all classes of morphisms whose members are, except possibly for a subset, epimorphisms. We prove that under the same assumptions on the base category and on , the generalization of the Small Object Argument of D. Quillen holds—that is, every object of the category has a cellular -injective weak reflection. In locally presentable categories, we prove a sharper result: a class of morphisms is called quasi-presentable if for some cardinal λ every member of the class is either λ-presentable or an epimorphism. Both the Orthogonal Subcategory Problem and the Small Object Argument are valid for quasi-presentable classes. Surprisingly, in locally ranked categories (used previously to generalize Quillen’s result), this is no longer true: we present a class of morphisms, all but one being epimorphisms, such that the orthogonality subcategory is not reflective and the injectivity subcategory Inj is not weakly reflective. We also prove that in locally presentable categories, the injectivity logic and the Orthogonality Logic are complete for all quasi-presentable classes. Financial support by Centre for Mathematics of University of Coimbra and by School of Technology of Viseu is acknowledged by the third author.     

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

In this paper, we establish Schur–Weyl reciprocity between the quantum general super Lie algebra and the Iwahori–Hecke algebra . We introduce the sign -permutation representation of on the tensor space of dimensional -graded -vector space . This action commutes with that of derived from the vector representation on . Those two subalgebras of satisfy Schur–Weyl reciprocity. As special cases, we obtain the super case (), and the quantum case (). Hence this result includes both the super case and the quantum case, and unifies those two important cases.Presented by A. Verschoren.     

Weak Quantum Enveloping Algebras of Borcherds Superalgebras

In present paper we define a new kind of weak quantized enveloping algebra of Borcherds superalgebras . It is a noncommutative and noncocommutative weak graded Hopf algebra. Using localizing with some Ore set, we obtain a different kind of quantized enveloping algebras of Borcherds superalgebras . It has a homomorphic image which is isomorphic to the usual quantum enveloping algebra of . Moreover, is isomorphic to a direct sum of and an other algebra as algebras. The author is sponsored by ZJNSF No. Y607136.     

Generalized Continuous Posets and a New Cartesian Closed Category

With every subset selection for posets, there is associated a certain ideal completion . As shown by Erné, such completions help to extend classical results on domains and similar structures in the absence of the required joins. Some results about –predistributive or –precontinuous posets and –continuous functions are summarized and supplemented. In particular, several central results on function spaces in domain theory are extended to the setting of productive closed subset selections. The category FSBP, in which objects are finitely separated and upper bounded posets and arrows are continuous functions between them, is shown to be cartesian closed. This research is supported by the National Natural Science Foundation of China, 10471035.     

Deep Matrix Algebras of Finite Type

Deep matrix algebras based on a set over a ring are introduced and studied by McCrimmon when has infinite cardinality. Here, we construct a new -module that is faithful for of any cardinality. For a field of arbitrary characteristic and , is studied in depth. The algebra is shown to possess a unique proper non-zero ideal, isomorphic to . This leads to a new and interesting simple algebra, , the quotient of by its unique ideal. Both and the quotient algebra are shown to have centers isomorphic to . Via the new faithful representation, all automorphisms of are shown to be inner in the sense of Definition 18.Presented by D. Passman.     

Asymptotic properties of type I elliptical random vectors

Let be an elliptical random vector with a non-singular square matrix and a spherical random vector in , and let be a sequence of vectors in such that . We assume in this paper that the associated random radius R _k =(S ₁ + S ₂ +...+S _k )^1/2 is almost surely positive, and it has distribution function in the Gumbel max-domain of attraction. Relying on extreme value theory we obtain an exact asymptotic expansion of the tail probability for converging as to a boundary point. Further we discuss density convergence under a suitable transformation. We apply our results to obtain an asymptotic approximation of the distribution of partial excess above a high threshold, and to derive a conditional limiting result. Further, we investigate the asymptotic behaviour of concomitants of order statistics, and the tail asymptotics of associated random radius for subvectors of .      

Some Categorical Algebraic Properties: Counter-Examples for Functor Categories

This work is a complement to the authors earlier papers, where it is shown that a functor category inherits from such properties as amalgamation, transferability and congruence extension if has either products or certain pushouts. A general scheme is given for constructing counter-examples which show that the latter condition on is essential. In particular, it is shown that the functor categories , , ( resp.) do not satisfy the amalgamation (congruence extension resp.) property in general. Moreover, one class of categories is described, where the condition of the existence of certain pushouts is not only sufficient, but also necessary for to preserve the considered properties of .Mathematics Subject Classifications (2000) 18A25, 18A32, 18B99, 08B26.Dali Zangurashvili: The support rendered by INTAS Grant 97 31961 is gratefully acknowledged.     

Quasi-regular Dirichlet Forms and L^p-resolvents on Measurable Spaces

We prove that for any semi-Dirichlet form on a measurable Lusin space E there exists a Lusin topology with the given -algebra as the Borel -algebra so that becomes quasi-regular. However one has to enlarge E by a zero set. More generally a corresponding result for arbitrary -resolvents is proven.     

\lambda-presentable Morphisms, Injectivity and (Weak) Factorization Systems

We show that in a locally -presentable category, every -injectivity class (i.e., the class of all the objects injective with respect to some class of -presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of -presentable morphisms. This was known for small-injectivity classes, and referred to as the ‘small object argument.’ An analogous result is obtained for orthogonality classes and factorization systems, where -filtered colimits play the role of the transfinite compositions in the injectivity case. -presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives). Finally, locally -presentable categories are shown to be cellularly generated by the set of morphisms between -presentable objects.     

Regularity in Capacity and the Dirichlet Laplacian

Given an open set in , we prove that every function in is zero everywhere on the boundary if and only if is regular in capacity. If in addition is bounded, then it is regular in capacity if and only if the mapping from into is injective, where denotes the Perron solution of the Dirichlet problem. Let be the set of all open subsets of which are regular in capacity. Then one can define metrics and on only involving the resolvent of the Dirichlet Laplacian. Convergence in those metrics will be defined to be the local/global uniform convergence of the resolvent of the Dirichlet Laplacian applied to the constant function . We prove that the spaces and are complete and contain the set of all open sets which are regular in the sense of Wiener (or Dirichlet regular) as a closed subset.     

Limitations on the size of semigroups of matrices

If a nonzero linear functional has finite, countable, or bounded range when restricted to an irreducible semigroup of complex matrices, it is shown that itself has the same property. Similar results are proven under the hypothesis that a nontrivial ideal of is finite, countable, or bounded.