Hochschild cohomology and “smoothness” in monoidal categories

We introduce and investigate the properties of Hochschild cohomology of algebras in an abelian monoidal category M. We show that the second Hochschild cohomology group of an algebra in M classifies extensions of A up to an equivalence. We characterize algebras of Hochschild dimension 0 (separable algebras), and of Hochschild dimension ≤1 (formally smooth algebras). Several particular cases and applications are included in the last section of the paper.     

How to construct a ‘concrete’ superdecomposable pure-injective module over a string algebra

We construct an element in a direct product of finite dimensional modules over a string algebra such that the pure-injective envelope of this element is a superdecomposable module.     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

Semilocal rings with <Emphasis Type="Italic">n</Emphasis>-Engel multiplicative group

An associative ring R with unit element is called semilocal if R modulo its Jacobson radical is an artinian ring. It is proved that the multiplicative group R* of a semilocal ring R generated by R* satisfies an n-Engel condition for some positive integer n if and only if R is m-Engel as a Lie ring for some positive integer m depending only on n.Received: 21 January 2003     

La somme des faux degrés—un mystère en théorie des invariants

We continue the study of the polynomiality of the semicentre Sz(p) of the enveloping algebra of a parabolic subalgebra p of a semisimple Lie algebra g, motivated by its truth when g is of type A or C [F. Fauquant-Millet, A. Joseph, Semi-centre de l'algèbre enveloppante d'une sous-algèbre parabolique d'une algèbre de Lie semi-simple, Ann. Sci. École Norm. Sup. (4) 38 (2) (2005) 155-191] and when p=b, a Borel subalgebra [A. Joseph, A preparation theorem for the prime spectrum of a semisimple Lie algebra, J. Algebra 48 (1977) 241-289] and p=g (Chevalley).We construct a linear map of Sz(b) into Sz(g) and show it to be an isomorphism just in types A and C. We link this to the difficulty of proving the polynomiality of Sz(p) outside types A and C. It leads to “false degrees” defined by underlying combinatorial structure. These are the true degrees when the bounds in [F. Fauquant-Millet, A. Joseph, Semi-centre de l'algèbre enveloppante d'une sous-algèbre parabolique d'une algèbre de Lie semi-simple, Ann. Sci. École Norm. Sup. (4) 38 (2) (2005) 155-191] coincide and polynomiality ensues. We show that these false degrees always sum to which can fail for the true degrees when they are defined. Finally we prove the Tauvel-Yu conjecture on the index of a parabolic.     

MAURER-CARTAN EQUATION OF A∞-ALGEBRAS

The axioms of A∞-algebras can be written as Maurer-Cartan equation. Infinitesimal multiplication of a graded associative algebra is defined and the integrability of infinitesimal multiplication is discussed through the Massey F-product.     

Algèbres et cogèbres de Gerstenhaber et cohomologie de Chevalley-Harrison

The fundamental example of Gerstenhaber algebra is the space Tpoly(Rd) of polyvector fields on Rd, equipped with the wedge product and the Schouten bracket. In this paper, we explicitely describe what is the enveloping G_∞ algebra of a Gerstenhaber algebra G. This structure gives us a definition of the Chevalley-Harrison cohomology operator for G. We finally show the nontriviality of a Chevalley-Harrison cohomology group for a natural Gerstenhaber subalgebra in Tpoly(Rd).     

Gerstenhaber structure and Deligne’s conjecture for Loday algebras

A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne’s conjecture for Loday algebras.     

Strict Mittag‐Leffler modules

We characterize strict Mittag‐Leffler modules in terms of free realizations of positive primitive formulas, and rings over which (pure‐) projectives are trivial in terms of various notions of separability of (flat) strict Mittag‐Leffler modules. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Feigin's map revisited

The aim of this note is to understand the injectivity of Feigin's map ${\mathbf{F}}_{\mathbf{w}}$ by representation theory of quivers, where w is the word of a reduced expression of the longest element of a finite Weyl group. This is achieved by the Ringel–Hall algebra approach and a careful studying of a well-known total order on the category of finite-dimensional representations of a valued quiver of finite type. As a byproduct, we also generalize Reineke's construction of monomial bases to non-simply-laced cases.     

On the (non)vanishing of some “derived” categories of curved dg algebras

Since curved dg algebras, and modules over them, have differentials whose square is not zero, these objects have no cohomology, and there is no classical derived category. For different purposes, different notions of “derived” categories have been introduced in the literature. In this article, we show that for some concrete curved dg algebras, these derived categories vanish. This happens for example for the initial curved dg algebra whose module category is the category of precomplexes, and for certain deformations of dg algebras.     

Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces

The classical theorem of Cartier-Milnor-Moore-Quillen gives an equivalence between the category of connected cocommutative bialgebras and the category of Lie algebras. We establish an analogous equivalence between the category of connected dendriform bialegebras and the category of brace algebras. It is given by the primitive elements functor and the “enveloping dendriform algebra” of a brace algebra.     

Maximal subrings and <Emphasis Type="Italic">E</Emphasis>-groups

For a finite group G, let E(G) denote the near-ring of functions generated by the semigroup, End(G), of endomorphisms of G. We characterize when E(G) is maximal as a subnear-ring of M ₀(G). A group G is an E-group if E(G) is a ring. We give a new characterization of finite E-groups and investigate the problem of determining, for finite E-groups, when E(G) is maximal as a ring in M₀(G). Received: 26 June 2006     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Betti numbers of one-relator groups

We determine the L ²-Betti numbers of all one-relator groups and all surface-plus-one-relation groups. We also obtain some information about the L ²-cohomology of left-orderable groups, and deduce the non-L ² result that, in any left-orderable group of homological dimension one, all two-generator subgroups are free. Warren Dicks was Funded by the DGI (Spain) through Project BFM2003-06613.     

A Hermitian analogue of the Bröcker-Prestel theorem

The Bröcker-Prestel local-global principle characterizes weak isotropy of quadratic forms over a formally real field in terms of weak isotropy over the Henselizations and isotropy over the real closures of that field. A Hermitian analogue of this principle is presented for algebras of index at most two. An improved result is also presented for algebras with a decomposable involution, algebras of Pythagorean index at most two, and algebras over SAP and ED fields.     

Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Gröbner-Shirshov bases of free Rota-Baxter algebra, free λ-differential algebra and free λ-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to the recent results obtained by K. Ebrahimi-Fard-L. Guo, and L. Guo-W. Keigher by using other methods.