Monoid extensions and the Grothendieck construction

The Grothendieck construction establishes an equivalence between fibrations, a.k.a. fibred categories and indexed categories and is one of the fundamental results of category theory. Cockett and Cruttwell introduced the notion of fibrations into the context of tangent categories and proved that the fibres of a tangent fibration inherit a tangent structure from the total tangent category. The main goal of this paper is to provide a Grothendieck construction for tangent fibrations. Our first attempt will focus on providing a correspondence between tangent fibrations and indexed tangent categories, which are collections of tangent categories and tangent morphisms indexed by the objects and morphisms of a base tangent category. We will show that this construction inverts Cockett and Cruttwell’s result, but it does not provide a full equivalence between these two concepts. In order to understand how to define a genuine Grothendieck equivalence in the context of tangent categories, inspired by Street’s formal approach to monad theory we introduce a new concept: tangent objects. We show that tangent fibrations arise as tangent objects of a suitable $2$ -category and we employ this characterisation to lift the Grothendieck construction between fibrations and indexed categories to a genuine Grothendieck equivalence between tangent fibrations and tangent indexed categories.

Abstract2-Dimensional Categories provides an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories; pasting diagrams; lax functors; 2-/bilimits; the Duskin nerve; the 2-nerve; internal adjunctions; monads in bicategories; 2-monads; biequivalences; the Bicategorical Yoneda Lemma; and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.

We extend some classical results – such as Quillen’s Theorem A, the Grothendieck construction, Thomason’s theorem and the characterisation of homotopically cofinal functors – from the homotopy theory of small categories to polynomial monads and their algebras. As an application we give a categorical proof of the Dwyer–Hess and Turchin results concerning the explicit double delooping of spaces of long knots.

The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole’s method for extending uniform algebras by adding square roots of functions to a given uniform algebra has been used to solve many problems within uniform algebra theory. However, there are numerous other examples in the theory of uniform algebras that can be realized as extensions of a uniform algebra, and these more general extensions have received little attention in the literature. In this paper, we investigate more general classes of uniform algebra extensions. We introduce a new class of extensions of uniform algebras, and show that several important properties of the original uniform algebra are preserved in these extensions. We also show that several well-known examples from the theory of uniform algebras belong to these more general classes of uniform algebra extensions.

Calculations of Some Groups of Hopf Algebra Extensions

Our goal of this paper is to develop an analogue of the theory of group extensions for multiplicative Lie rings. We first define a factor system of pair of multiplicative Lie rings , which use to construct an extension of by . Then we state Schreier's theorem for multiplicative Lie rings. We also use this notation to introduce second cohomology group of multiplicative Lie rings. Finally, we show that the equivalence classes of multiplicative Lie ring extensions can be identified with second cohomology group , where acts on by and .

It is well known that the set of isomorphism classes of extensions of groups with abelian kernel is characterized by the second cohomology group. In this paper we generalise this characterization of extensions to a natural class of extensions of monoids, the cosetal extensions. An extension is cosetal if for all g,g' in G in which e(g) = e(g'), there exists a (not necessarily unique) n in N such that g = k(n)g'. These extensions generalise the notion of special Schreier extensions, which are themselves examples of Schreier extensions. Just as in the group case where a semidirect product could be associated to each extension with abelian kernel, we show that to each cosetal extension (with abelian group kernel), we can uniquely associate a weakly Schreier split extension. The characterization of weakly Schreier split extensions is combined with a suitable notion of a factor set to provide a cohomology group granting a full characterization of cosetal extensions, as well as supplying a Baer sum.

A basic problem in the theory of Lie algebra extensions concerns a given homomorphism X of a Lie algebra L into the Lie algebra of outer derivations of a Lie algebra B. In analogy with the theory of group extensions, Mori and HochschiId developed the concept of an obstruction to X being the homomorphism defined by some Lie algebra extension of B by L. This note considers an alternative approach to this theory, which is particularly simple when applied to the problem of realizing arbitrary three-cohomology classes of L as obstructions. The approach is analogous to one for groups, which was given recently by Gruenberg.

On fibrations of Lie groupoids

We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two subclasses of it that have both of these properties.

The theory of Kummer extensions of commutative rings is constructed, generalizing the theory of Kummer extension fields. A Galois extension S/R with Abelian Galois group of degreen is called Kummerian if in the group of invertible elements of the ringR there is a cyclic subgroup of ordern such that for any , θ≠1 element 1-θ is invertible inR. Any cyclic Kummerian extension can be obtained by means of a suitable factorization of the tensor algebra over a finitely generated protectiveR -module of rank 1 (an arbitrary Kummerian extension is a tensor product of cyclic ones). The group of equivalence classes of Kummerian extensions with fixed Galois group is studied.

Determinacy theory for the Livšic moments problem

Introduction. Let C be a field of characteristic p 0, and let K be a finite algebraic extension field of C such that the pth power of every element of K lies in C. Then K/C is called a purely inseparable extension of exponent 1. It was shown by N. Jacobson that there is a Galois theory for such extensions in which the place of the Galois group is taken by the derivation algebra of K/C. In particular, if K is any field of characteristic p, the purely inseparable extensions K/C of exponent 1 are precisely those in which C is the field of constants of a restricted K-Lie ring of derivations of K which is of finite dimension over K. In the classical theory of simple algebras, it is shown that, if K/C is a Galois extension, the Brauer similarity classes of the simple algebras with center C and split by K constitute a group which is canonically isomorphic with the group of equivalence classes of the group extensions of the multiplicative group of K by the Galois group of K/C. The present paper provides the answer to a question put to me by J-P. Serre, of whether one could establish an analogous result, for K/ C purely inseparable of exponent 1, in which restricted Lie algebra extensions [2] of K by the derivation algebra of K/C take the place of the group extensions. Not only is the answer to this question affirmative, but it provides an excellent illustration of the theory of restricted Lie algebra extensions. It turns out, in fact, that the Lie algebra extensions which arise from simple algebras are trivial extensions when regarded as ordinary extensions, so that the essential structural elements are here precisely those which differentiate the restricted extensions from the ordinary ones. ?1 contains the field theoretical background of our problem. In particular, it gives a simple proof of the main theorem of Jacobson's Galois theory [4] which we include here because it gives us the connection, on which many of our subsequent arguments are based, between the structure of the field extension K/C and that of the derivation algebra of K/C. Theorem 2, which is not needed in the sequel, is the analogue for the present situation of a well known result in the classical Galois theory and is significant for the cohomology theory of derivation algebras. In ?2 we give a proof of a theorem of Jacobson's on derivations (in a slightly generalized form) which is fundamental for the crossed product theory that follows, in the same way as the analogous theorem for isomorphisms is the source of the classical theory of crossed products. In ?3 we discuss the special type of restricted Lie algebra

Triangular matrix representations of ring extensions

For a given densely defined nonnegative operator in a Hilbert space \( \mathcal{H} \) we give a representation of all nonnegative selfadjoint extensions with the help of the embedding operator from the form domain of the respective extension into \( \mathcal{H} \). In particular, we discuss the class of extremal extensions.