Hereditary and Formally Smooth Coalgebras

We define formally smooth coalgebras and we study their relation with hereditary coalgebras. The main result of the paper establishes that a coalgebra with separable coradical is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra , where C₀ is the coradical of C and N is a certain (C₀,C₀)–bicomodule. Presented by A. Verschoren Mathematics Subject Classifications (2000) primary: 16W30; secondary: 18G20. D. Ştefan: This author thanks the members of the Algebra Department of the University of Granada for their warm hospitality. He is especially grateful to Pascual Jara for the kind invitation to visit University of Granada. This research was partially supported by CERES, Contract 4-147.     

Wedge Products and Cotensor Coalgebras in Monoidal Categories

The construction of the cotensor coalgebra for an “abelian monoidal” category which is also cocomplete, complete and AB5, was performed in Ardizzoni et al. (Comm Algebra 35(1):25–70, 2007). It was also proved that this coalgebra satisfies a meaningful universal property which resembles the classical one. Here the lack of the coradical filtration for a coalgebra E in is filled by considering a direct limit of a filtration consisting of wedge products of a subcoalgebra D of E. The main aim of this paper is to characterize hereditary coalgebras , where D is a coseparable coalgebra in , by means of a cotensor coalgebra: more precisely, we prove that, under suitable assumptions, is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra if and only if it is a cotensor coalgebra , where N is a certain D-bicomodule in . Because of our choice, even when we apply our results in the category of vector spaces, new results are obtained. This paper was written while A. Ardizzoni was member of G.N.S.A.G.A. with partial financial support from Mi.U.R.     

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

Quasi-co-Frobenius Coalgebras. II

Abstract

We prove new characterizations of Quasi-co-Frobenius (QcF) coalgebras and co-Frobenius coalgebras. Among them, we prove that a coalgebra is QcF if and only if C generates every left and every right C-comodule. We also prove that every QcF coalgebra is Morita-Takeuchi equivalent to a co-Frobenius coalgebra.     

The Quotient Category of a Graded Morita-Takeuchi Context

In this paper, we offer a graded equivalence between the quotient categories defined by any graded Morita-Takeuchi context via certain modifications of the graded cotensor functors. As a consequence, we show a commutative diagram that establish the relation between the closed objects of the categories gr^c and M^C, where C is a graded coalgebra.     

Deformation of Tensor Product (Co)Algebras via Non-(Co)Normal Twists

We study new coalgebra structures on the tensor product of two coalgebras C and D by twisting the tensor product coalgebra via a twist map Ψ: C ? D → D ? C. We deal with the general case in which the counit of the tensor product coalgebra is deformed as well. Some classes of such deformations are analysed, and a notion of equivalence of twists is discussed. We also present the dual deformation of tensor product algebras and provide examples.     

Hochschild Cohomology and the Coradical Filtration of Pointed Coalgebras: Applications

In this paper we show that there is a close connection between the coradical filtration of a pointed coalgebra and the Hochschild cohomology of that coalgebra with coefficients in some one-dimensional bicomodules. As an application, for a given prime numberpand an algebraically closed fieldkof characteristic 0, we classify all pointed Hopf algebras of dimensionp³overk.     

NIL PROBLEMS REVISITED FOR ALMOST NILPOTENT RINGS

Abstract

We begin with the notion of K-flat projectivity. For each biframe L we then introduce a binary relation ?L on it. The K-flat projective biframes are exactly such biframes with each element a of the total (first, second) part approximated by the elements x of the total (first, second) part, x?_L a and the relation ?_L being stable wrt. the meet operation on L. Further on, we introduce the notion of a K-comonad and characterize K-flat projective biframes as those biframes having a coalgebra structure for the K-comonad. The K-coherent biframes and K-flat projective biframes are coreflective in all biframes.     

k-Eulerian Posets

A poset P is called k-Eulerian if every interval of rank k is Eulerian. The class of k-Eulerian posets interpolates between graded posets and Eulerian posets. It is a straightforward observation that a 2k-Eulerian poset is also (2k+1)-Eulerian. We prove that the ab-index of a (2k+1)-Eulerian poset can be expressed in terms of c=a+b, d=ab+ba and e ^2k+1=(a–b)^2k+1. The proof relies upon the algebraic approaches of Billera-Liu and Ehrenborg-Readdy. We extend the Billera-Liu flag algebra to a Newtonian coalgebra. This flag Newtonian coalgebra forms a Laplace pairing with the Newtonian coalgebra ka,b studied by Ehrenborg-Readdy. The ideal of flag operators that vanish on (2k+1)-Eulerian posets is also a coideal. Hence, the Laplace pairing implies that the dual of the coideal is the desired subalgebra of ka,b. As a corollary we obtain a proof of the existence of the cd-index which does not use induction.     

Group Entwining Structures and Group Coalgebra Galois Extensions

Abstract

The notions of group coalgebra Galois extension and group entwining structure are defined. It is proved that any group coalgebra Galois extension induces a unique group-entwining map ψ = {ψ_{α, β}}_{α, β∈π} compatible with the right group coaction, generalizing the recent work of Brzeziński and Hajac [Brzeziński, T., Hajac, P. M. (1999). Coalgebra extensions and algebra coextensions of Galois type. Comm. Algebra 27:1347–1368].     

Semiartinian Profinite Algebras have Nilpotent Jacobson Radical

We give a method to study the finiteness of the coradical filtration of a coalgebra; as a consequence, we show that a left semiartinian profinite algebra has nilpotent Jacobson radical and is right semiartinian too. Equivalently, we show that a for a semilocal profinite algebra, T-nilpotence implies nilpotence for the Jacobson radical. This answers two open questions from Iovanov et al. (J Algebra 320(5):2144–2155, 2008).     

Valued Gabriel quiver of a wedge product and semiprime coalgebras

We describe the valued Gabriel quiver of a wedge product of coalgebras and study the category of comodules of a semiprime coalgebra. In particular, we prove that any monomial semiprime k-tame fc-tame coalgebra is string. We also prove a version of Eisenbud-Griffith theorem for coalgebras, namely, any hereditary semiprime strictly quasi-finite coalgebra is serial.     

Gelfand–Kirillov Dimension of Algebras with a Locally Finite and Multiparameter Indexed Filtration

Let A have a locally finite and multiparameter indexed filtration ?, and let B be a homomorphic image of A. Thus B has the locally finite and multiparameter indexed filtration induced from ?. Here we study a relation between the associated graded algebra of A and that of B and use this result to calculate the Gelfand–Kirillov dimension of several algebras related to quantized algebras and Poisson enveloping algebras.     

IDEMPOTENTS AND MORITA-TAKEUCHI THEORY

ABSTRACT

We offer an approach to basic coalgebras with inspiration in the classical theory of idempotents for finite dimensional algebras. Our theory is based upon the fact that the co-hom functors associated to direct summands of the coalgebra can be easily described in terms of idempotents of the convolution algebra. Our approach is shown to be equivalent to that given by W. Chin and S. Montgomery by using co-endomorphism coalgebras of minimal injective cogenerators.     

Formally smooth bimodules

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a B-A bimodule M which is a generator left B-module is formally smooth if and only if the M-Hochschild dimension of B is at most one. It is also shown that modules M which are generators in the category σ[M] of M-subgenerated modules provide natural examples of formally smooth bimodules.     

Cofree Compositions of Coalgebras

We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and in the theory of species. We prove that the composition of two cofree coalgebras is again cofree, and we give sufficient conditions that ensure the composition is a one-sided Hopf algebra. We show that these conditions are satisfied when one coalgebra is a graded Hopf operad ${\mathcal{D}}$ and the other is a connected graded coalgebra with coalgebra map to ${\mathcal{D}}$ . We conclude by computing the primitive elements for compositions of coalgebras built on the vertices of multiplihedra, composihedra, and hypercubes.     

Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.