Cap pairings and spectral sequences

Let be a small category. For an -diagram X and -diagrams A and B of pointed spaces, each pairing X∧A→B satisfying the projection formula induces a pairing . In this note we show that there is an induced pairing of homotopy spectral sequences compatible with abutments in the sense that

     

Functor category dualities for varieties of Heyting algebras

Let be a finitely generated variety of Heyting algebras and let be the class of subdirectly irreducible algebras in . We prove that is dually equivalent to a category of functors from into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Geodesic currents and Teichmüller space

Consider a hyperbolic surface X of infinite area. The Liouville map assigns to any quasiconformal deformation of X a measure on the space of geodesics of the universal covering X? of X. We show that the Liouville map is a homeomorphism from the Teichmüller space onto its image, and that the image is closed and unbounded. The set of asymptotic rays to consists of all bounded measured laminations on X. Hence, the set of projective bounded measured laminations is a natural boundary for . The action of the quasiconformal mapping class group on continuously extends to this boundary for .     

The denormalized 3×3 lemma

The classical 3×3 lemma holds in any regular protomodular category with a zero object. It is investigated here whether there is a “denormalized” version when the category no longer has a zero object, as, for instance, any slice category of the category , or any slice category of an abelian category. The answer is actually positive in the weaker context of regular Mal'cev categories.     

Pointlike sets with respect to R and J

We present an algorithm to compute the pointlike subsets of a finite semigroup with respect to the pseudovariety of all finite R-trivial semigroups. The algorithm is inspired by Henckell’s algorithm for computing the pointlike subsets with respect to the pseudovariety of all finite aperiodic semigroups. We also give an algorithm to compute -pointlike sets, where denotes the pseudovariety of all finite J-trivial semigroups. We finally show that, in contrast with the situation for , the natural adaptation of Henckell’s algorithm to computes pointlike sets, but not all of them.     

A formula for inserting point masses

Let be a probability measure on the unit circle and be the measure formed by adding a pure point to . We give a formula for the Verblunsky coefficients of , based on a result of Simon.     

Norm estimates of almost Mathieu operators

We estimate the norm of the almost Mathieu operator , regarded as an element in the rotation C^*-algebra . In the process, we prove for every λ∈R and the inequality

     

van Kampen theorems for toposes

In this paper we introduce the notion of an extensive 2-category, to be thought of as a “2-category of generalized spaces”. We consider an extensive 2-category equipped with a binary-product-preserving pseudofunctor , which we think of as specifying the “coverings” of our generalized spaces. We prove, in this context, a van Kampen theorem which generalizes and refines one of Brown and Janelidze. The local properties required in this theorem are stated in terms of morphisms of effective descent for the pseudofunctor . We specialize the general van Kampen theorem to the 2-category of toposes bounded over an elementary topos , and to its full sub 2-category determined by the locally connected toposes, after showing both of these 2-categories to be extensive. We then consider three particular notions of coverings on toposes corresponding, respectively, to local homeomorphisms, covering projections, and unramified morphisms; in each case we deduce a suitable version of a van Kampen theorem in terms of coverings and, under further hypotheses, also one in terms of fundamental groupoids. An application is also given to knot groupoids and branched coverings. Along the way we are led to investigate locally constant objects in a topos bounded over an arbitrary base topos and to establish some new facts about them.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.