Syntactic characterization of closure under connected limits

Summary We give a syntactic characterization of (finitary) theories whose categories of models are closed under the formation of connected limits (respectively the formation of pullbacks and substructures) in the category of all structures. They are also those theories whose consistent extensions by new atomic facts admit in each component an initial structure (respectively an initial term structure), and also thoseT for whichM(T) is locally finitely multi-presentable in a canonical way. We also show that these two properties of theories are nonuniform.     

Fibrations of bigroupoids

Using Brown's construction (J. Algebra 15 (1970) 103) of an exact 6-term sequence for a fibration of groupoids we show how an exact 9-term sequence can be associated to a fibration of bigroupoids. Applications to topology and algebra are given.     

Effect of oxygen exposure on the magnetic properties of ultrathin Co/Ge(1 1 1) films

Influences of oxygen exposure on the magnetic properties of Co/Ge(1 1 1) ultrathin films have been investigated by surface magneto-optic Kerr effect technique. As the oxygen exposure increases on Co/Ge(1 1 1) films, their magnetic properties could be modified. As an example for 15 ML Co/Ge(1 1 1) films, the coercivity increases from 730 to 920 Oe and the remanence Kerr intensity is reduced for 500 Langmuir (L) of oxygen exposure. Corresponding compositions analyzed by Auger electron spectroscopy measurement shows that the amount of oxygen on the surface layers increases with increasing the oxygen exposure time. Oxygen distributes on the topmost layers of the film. The adsorbed oxygen influences the electronic density of states of Co and results in the changes of the magnetic properties. Besides, the appearance of O/Co/Ge interface could modify the stress anisotropy, and as a result the coercivity of ultrathin Co/Ge(1 1 1) film is enhanced.     

On cellularization for simplicial presheaves and motivic homotopy

We construct cellular homotopy theories for categories of simplicial presheaves on small Grothendieck sites and discuss applications to the motivic homotopy category of Morel and Voevodsky.     

Resolvability properties via independent families

The authors give a consistent affirmative response to a question of Juhász, Soukup and Szentmiklóssy: If GCH fails, there are (many) extraresolvable, not maximally resolvable Tychonoff spaces. They show also in ZFC that for ω<λ?κ, no maximal λ-independent family of λ-partitions of κ is ω-resolvable. In topological language, that theorem translates to this: A dense, ω-resolvable subset of a space of the form (DI(λ)) is λ-resolvable.     

Coalgebraic representations of distributive lattices with operators

We present a framework for extending Stone's representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor on the category of distributive lattices such that its algebras are exactly the distributive lattices with operators in the original theory. We characterize the topological counterpart of these algebras in terms of suitable coalgebras on spectral spaces. We work out some of these coalgebraic representations, including a new representation theorem for distributive lattices with monotone operators.     

The category of varieties and interpretations is alg-universal

A category is said to be alg-universal if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.     

Grothendieck groups of unbounded complexes of finitely generated modules

Let Λ be a left Artinian ring, D⁺(mod Λ) (resp., D⁻(mod Λ), D(mod Λ)) the derived category of bounded below complexes (resp., bounded above complexes, unbounded complexes) of finitely generated left Λ-modules. We show that the Grothendieck groups K₀(D⁺(mod Λ)), K₀(D⁻(mod Λ)) and K₀(D(mod Λ)) are trivial. Received: 7 April 2005     

On the torsion of Jacobians of principal modular curves of level 3<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We demonstrate that the 3-power torsion points of the Jacobians of the principal modular curves X(3ⁿ) are fixed by the kernel of the canonical outer Galois representation of the pro-3 fundamental group of the projective line minus three points. The proof proceeds by demonstrating the curves in question satisfy a two-part criterion given by Anderson and Ihara. Two proofs of the second part of the criterion are provided; the first relies on a theorem of Shimura, while the second uses the moduli interpretation. Received: 30 September 2005     

Carboxylic fused furans for amino acid fluorescent labelling

Four carboxylic fused furans are presented as new fluorescent labels for the amino and hydroxyl functions of organic molecules. Various representative l-amino acids were chosen as models, labelled at their N-terminus and also at their side-chain. Fluorescent derivatives were obtained in high yields, and their absorption and emission properties were studied.