Integral Theory for Hopf Algebroids

The theory of integrals is used to analyze the structure of Hopf algebroids. We prove that the total algebra of a Hopf algebroid is a separable extension of the base algebra if and only if it is a semi-simple extension and if and only if the Hopf algebroid possesses a normalized integral. It is a Frobenius extension if and only if the Hopf algebroid possesses a nondegenerate integral. We give also a sufficient and necessary condition in terms of integrals, under which it is a quasi-Frobenius extension, and illustrate by an example that this condition does not hold true in general. Our results are generalizations of classical results on Hopf algebras.     

A theorem on the endomorphism ring of reduced torsion-free abelian groups and some applications

Sunto Si espone una condiztone sufficiente affinchè un anello topologico sia l'anello degli endomorfismi, dotato della topologia finita, di un gruppo abeliano ridotto, senza torsione e di cardinalità ≤. Il risultato ottenuto estende un teorema di A. L. S. Corner ([3] Theorem1.1) ed un teorema di A. Orsatti ([9] Teorema A*).

---

---

Entrata in Redazione il 17 febbraio 1977.

---

Lavoro eseguito nell'ambito dei Gruppi di Ricerca Matematica del C.N.R.     

Very weak solutions to elliptic equations with singular convection term

We study Dirichlet problem for a nonlinear equation with a drift term. Despite the presence of the singular convection term, we establish existence and uniqueness of a solution in spaces larger than the natural one.     

The weak theory of monads

We construct a ‘weak’ version EMw(K) of Lack and Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EMw(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of ‘weak liftings’ for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of weak lifting via an appropriate pseudo-functor EMw(K)→K. Weak entwining structures and partial entwining structures are shown to realize weak liftings of a comonad for a monad in these respective senses. Weak bialgebras are characterized as algebras and coalgebras, such that the corresponding monads weakly lift for the corresponding comonads and also the comonads weakly lift for the monads.     

Mathematical models for the elastic beam with structural damping

In this paper the existence, regularity and sharp estimates for the solutions of an abstract second order evolution equation are proved and applications to models of a (possibly non homogeneous) elastic beam with a frequency-proportional damping are given.     

Spectral coherent-state quantum cryptography

A novel implementation of quantum-noise optical cryptography is proposed, which is based on a simplified architecture that allows long-haul, high-speed transmission in a fiber optical network. By using a single multiport encoder/decoder and 16 phase shifters, this new approach can provide the same confidentiality as other implementations of Yuen's encryption protocol, which use a larger number of phase or polarization coherent states. Data confidentiality and error probability for authorized and unauthorized receivers are carefully analyzed.     

(Co)cyclic (Co)homology of Bialgebroids: An Approach via (Co)monads

For a (co)monad T _l on a category , an object X in , and a functor , there is a (co)simplex in . The aim of this paper is to find criteria for para-(co)cyclicity of Z ^*. Our construction is built on a distributive law of T _l with a second (co)monad T _r on , a natural transformation , and a morphism in . The (symmetrical) relations i and w need to satisfy are categorical versions of Kaygun’s axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads and on the category of R-bimodules. The functor Π can be chosen such that is the cyclic R-module tensor product. A natural transformation is given by the flip map and a morphism is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. The notion of a stable anti-Yetter-Drinfel’d module over certain bialgebroids, the so-called  ×  _R -Hopf algebras, is introduced. In the particular example when T is a module coring of a  ×  _R -Hopf algebra and X is a stable anti-Yetter-Drinfel’d -module, the para-cyclic object Z _* is shown to project to a cyclic structure on . For a -Galois extension , a stable anti-Yetter-Drinfel’d -module T _S is constructed, such that the cyclic objects and are isomorphic. This extends a theorem by Jara and Ştefan for Hopf Galois extensions. As an application, we compute Hochschild and cyclic homologies of a groupoid with coefficients in a stable anti-Yetter-Drinfel’d module, by tracing it back to the group case. In particular, we obtain explicit expressions for (coinciding relative and ordinary) Hochschild and cyclic homologies of a groupoid. The latter extends results of Burghelea on cyclic homology of groups.