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).     

Realising Smashing Localisations as Morphisms of DG Algebras

For a smashing localisation L of the derived category of a differential graded (dg) algebra A we construct a dg algebra A _L and a morphism of dg algebras A→A _L that induces the canonical map in cohomology. As a first application we obtain a localisations of a dg algebra A with graded commutative homology at a prime ideal in the homology H ^* A, namely a morphism of dg algebras. As a second application we can use results of Keller to “model” every smashing localisation of compactly generated algebraic triangulated categories by a morphism of dg algebras.      

Representation theory of $\mathcal{W}$-algebras

We study the representation theory of the -algebra associated with a simple Lie algebra at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of -algebras. Mathematics Subject Classification (1991)  17B68, 81R10     

Slices of Essentially Algebraic Categories

This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket , prove that every essentially algebraic category of height α is a slice of , characterize small slices of and give a common generalization of known results about slices of the algebraic basket .      

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

Bass Numbers of Local Cohomology Modules with Respect to an Ideal

Let be a commutative Noetherian local ring and let be an ideal of R. We give some inequalities between the Bass numbers of an R–module and those of its local cohomology modules with respect to . As an application of these inequalities, we recover results of Delfino-Marley and Kawasaki by showing that for a minimax R-module M and for any non-negative integer i, the Bass numbers of the ith local cohomology module are finite if one of the following holds:

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 .     

Normal Subgroups of B u Aut(Ω)

Aut(Ω) denotes the group of all order preserving permutations of the totally ordered set Ω, and if e ≤ u ∈ Aut(Ω), then B _u Aut(Ω) denotes the subgroup of all those permutations bounded pointwise by a power of u. It is known that if Aut(Ω) is highly transitive, then Aut(Ω) has just five normal subgroups. We show that if Aut(Ω) is highly transitive and u has just one interval of support, then B _u Aut(Ω) has normal subgroups, and there is a certain ideal of the lattice of subsets of (), the power set of the integers, such that the lattice of normal subgroups of every such Aut(Ω) is isomorphic to . To Bernhard Banaschewski on the occasion of his 80th birthday.     

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.     

Nilpotent Bicone and Characteristic Submodule of a Reductive Lie Algebra

Let be a finite-dimensional complex reductive Lie algebra and S() its symmetric algebra. The nilpotent bicone of is the subset of elements (x, y) of whose subspace generated by x and y is contained in the nilpotent cone. The nilpotent bicone is naturally endowed with a scheme structure, as nullvariety of the augmentation ideal of the subalgebra of generated by the 2-order polarizations of invariants of . The main result of this paper is that the nilpotent bicone is a complete intersection of dimension , where and are the dimensions of Borel subalgebras and the rank of , respectively. This affirmatively answers a conjecture of Kraft and Wallach concerning the nullcone [KrW2]. In addition, we introduce and study in this paper the characteristic submodule of . The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal of definition. The main difficulty encountered for this work is that the nilpotent bicone is not reduced. To deal with this problem, we introduce an auxiliary reduced variety, the principal bicone. The nilpotent bicone, as well as the principal bicone, are linked to jet schemes. We study their dimensions using arguments from motivic integration. Namely, we follow methods developed by Mustaţǎ in [Mu]. Finally, we give applications of our results to invariant theory.     

On sum-product bases

We investigate additive-multiplicative bases in . Let , s>2, and . It is proved that , provided min {|B| ^s/2|A|^(s−2)/2,|A| ^s/2|B|^(s−2)/2}>p ^s/2. This note is supported by “Balaton Program Project” and OTKA grants K 61908, K 67676.     

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.     

Versal deformations and versality in central extensions of Jacobi schemes

Let be the scheme of the laws defined by the Jacobi identities on with a field. A deformation of , parametrized by a local ring A, is a local morphism from the local ring of at ϕ _m to A. The problem of classifying all the deformation equivalence classes of a Lie algebra with given base is solved by “versal” deformations. First, we give an algorithm for computing versal deformations. Second, we prove there is a bijection between the deformation equivalence classes of an algebraic Lie algebra ϕ _m = R ⋉ φ _n in and its nilpotent radical φ _n in the R-invariant scheme with reductive part R, under some conditions. So the versal deformations of ϕ _m in are deduced from those of φ _n in , which is a more simple problem. Third, we study versality in central extensions of Lie algebras. Finally, we calculate versal deformations of some Lie algebras. Supported by the EC project Liegrits MCRTN 505078.     

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Hardy Spaces and bmo on Manifolds with Bounded Geometry

We develop the theory of the “local” Hardy space and John-Nirenberg space when M is a Riemannian manifold with bounded geometry, building on the classic work of Fefferman-Stein and subsequent material, particularly of Goldberg and Ionescu. Results include – duality, L ^p estimates on an appropriate variant of the sharp maximal function, and bmo-Sobolev spaces, and action of a natural class of pseudodifferential operators, including a natural class of functions of the Laplace operator, in a setting that unifies these results with results on L ^p -Sobolev spaces. We apply results on these topics to some interpolation theorems, motivated in part by the search for dispersive estimates for wave equations.      

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.     

Periodic automorphisms of takiff algebras, contractions, and θ-groups

Let be an algebraic Lie algebra and a (generalised) Takiff algebra. Any finite-order automorphism θ of induces an automorphism of of the same order, denoted . We study invariant-theoretic properties of representations of the fixed point subalgebra of on other eigenspaces of in . We use the observation that, for special values of m, the fixed point subalgebra, , turns out to be a contraction of a certain Lie algebra associated with and θ. To my teacher Supported in part by R.F.B.R. grant 06-01-72550.