Functors for Coalgebras

Functors preserving weak pullbacks provide the basis for a rich structure theory of coalgebras. We give an easy to use criterion to check whether a functor preserves weak pullbacks. We apply the characterization to the functor which associates a set X with the set (X) of all filters on X. It turns out that this functor preserves weak pullbacks, yet does not preserve weak generalized pullbacks. Since topological spaces can be considered as -coalgebras, in fact they constitute a covariety, we find that the intersection of subcoalgebras need not be a coalgebra, and 1-generated -coalgebras need not exist. Received August 24, 1998; accepted in final form October 12, 1998.     

Quantization of Lie bialgebras revisited

We describe a new method of quantization of Lie bialgebras, based on a construction of Hopf algebras out of a cocommutative coalgebra and a braided comonoidal functor.     

<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> theory,L.S. category,and strong category

Relations between category and strong category are studied. The notion of a homotopy coalgebra of order r over the Ganea comonad is introduced. It is shown that cat(X) =Cat(X) holds if a finite 1-connected complex X carries such a structure with r sufficiently large.     

Configuration space integrals and Taylor towers for spaces of knots

We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology classes of the stages of the tower, just as they do for ordinary knots.     

Fixed Points of Set Functors: How Many Iterations are Needed?

The initial algebra for a set functor can be constructed iteratively via a well-known transfinite chain, which converges after a regular infinite cardinal number of steps or at most three steps. We extend this result to the analogous construction of relatively initial algebras. For the dual construction of the terminal coalgebra Worrell proved that if a set functor is α-accessible, then convergence takes at most α + α steps. But until now an example demonstrating that fewer steps may be insufficient was missing. We prove that the functor of all α-small filters is such an example. We further prove that for β ≤ α the functor of all α-small β-generated filters requires precisely α + β steps and that a certain modified power-set functor requires precisely α steps. We also present an example showing that whether a terminal coalgebra exists at all does not depend solely on the object mapping of the given set functor. (This contrasts with the fact that existence of an initial algebra is equivalent to existence of a mere fixed point.)     

m-循环复形范畴的Bridgeland-Hall代数的余代数结构

设A是一个遗传Abel范畴且■是A的投射对象构成的满子范畴.本文主要研究胁循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数结构(其中m≥2).受Yanagida工作的启发,我们在C_m(■)上定义一个新的正合结构,由此得到了其Bridgeland-Hall代数的余代数结构.同时,证明了存在A的扩展Ringel-Hall代数到m-循环复形范畴C_m(■)的Bridgeland-Hall代数的余代数嵌入.     

The cosemisimplicity and cobraided structures of monoidal comonads

In this paper, we study the category of corepresentations of a monoidal comonad. We show that it is a semisimple category if and only if the monoidal comonad is a cosemisipmle (coseparable) comonad, and it is a braided category if and only if the monoidal comonad admit a cobraided structure. At last, as an application, the braided structure and the semisimplicity of the Hom-comodule category of a monoidal Hom-bialgebra are discussed.     

The hopf algebra of linearly recursive sequences

We explain how the space of linearly recursive sequences over a field can be considered as a Hopf algebra. The algebra structure is that of divided-power sequences, so we concentrate on the perhaps lesser-known coalgebra (diagonalization) structure. Such a sequence satisfies a minimal recursive relation, whose solution space is the subcoalgebra generated by the sequence. We discuss possible bases for the solution space from the point of view of diagonalization. In particular, we give an algorithm for diagonalizing a sequence in terms of the basis of the coalgebra it generates formed by its images under the difference-operator shift. The computation involves inverting the Hankel matrix of the sequence. We stress the classical connection (say over the real or complex numbers) with formal power series and the theory of linear homogeneous ordinary differential equations. It is hoped that this exposition will encourage the use of Hopf algebraic ideas in the study of certain combinatorial areas of mathematics.     

Models for the Maclaurin tower of a simplicial functor via a derived Yoneda embedding

We prove that the Goodwillie tower of a weak equivalence preserving functor from spaces to spectra can be expressed in terms of the tower for stable mapping spaces. Our proof is motivated by interpreting the functors P_n and D_n as pseudo-differential operators which suggests certain ‘integral’ presentations based on a derived Yoneda embedding. These models allow one to extend computational tools available for the tower of stable mapping spaces. As an application we give a classical expression for the derivative over the basepoint.     

Chain and distributive coalgebras

We show that coalgebras whose lattice of right coideals is distributive are coproducts of coalgebras whose lattice of right coideals is a chain. Those chain coalgebras are characterized as finite duals of Noetherian chain rings whose residue field is a finite dimensional division algebra over the base field. They also turn out to be coreflexive. Infinite dimensional chain coalgebras are finite duals of left Noetherian chain domains. Given any finite dimensional division algebra D and D-bimodule structure on D, we construct a chain coalgebra as a cotensor coalgebra. Moreover if D is separable over the base field, every chain coalgebra of type D can be embedded in such a cotensor coalgebra. As a consequence, cotensor coalgebras arising in this way are the only infinite dimensional chain coalgebras over perfect fields. Finite duals of power series rings with coeficients in a finite dimensional division algebra D are further examples of chain coalgebras, which also can be seen as tensor products of D^∗, and the divided power coalgebra and can be realized as the generalized path coalgebra of a loop. If D is central, any chain coalgebra is a subcoalgebra of the finite dual of D[[x]].     

Lax entwining structures,groupoid algebras and cleft extensions

For an algebra A, a coalgebra C and a lax entwining structure (A, C, ψ), in this paper we introduce the notions of lax C-Galois extension with normal basis and lax C-cleft extension and we prove that these notions are equivalent if the functor A ? — preserve coequalizers.     

On bimeasurings

We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite dual, gives rise to a contravariant functor on the category of bialgebras adjoint to itself. An interpretation of bimeasurings as algebras in the category of Hopf modules is considered.     

Monads and distributive laws for Rota–Baxter and differential algebras

In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota–Baxter algebra have been merged together to reflect the close relationship between the two calculi through the First Fundamental Theorem of Calculus. In this paper we study this relationship from a categorical point of view in the context of distributive laws which can be tracked back to the distributive law of multiplication over addition. The monad giving Rota–Baxter algebras and the comonad giving differential algebras are constructed. Then we obtain monads and comonads giving the composite structures of differential and Rota–Baxter algebras. As a consequence, a mixed distributive law of the monad giving Rota–Baxter algebras over the comonad giving differential algebras is established.     

Homotopy algebras and the inverse of the normalization functor

In this paper, we investigate multiplicative properties of the classical Dold-Kan correspondence. The inverse of the normalization functor maps commutative differential graded algebras to E_∞-algebras. We prove that it in fact sends algebras over arbitrary differential graded E_∞-operads to E_∞-algebras in simplicial modules and is part of a Quillen adjunction. More generally, this inverse maps homotopy algebras to weak homotopy algebras. We prove the corresponding dual results for algebras under the conormalization, and for coalgebra structures under the normalization resp. the inverse of the conormalization.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

Cotensor Coalgebras in Monoidal Categories

We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an Abelian monoidal category ?. If ? is also cocomplete, complete, and AB5, we show that such a cotensor coalgebra exists and satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration is filled by considering a direct limit of a filtration consisting of wedge products. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.