Related papers: Divided powers and K\"ahler differentials
The Quillen-Barr-Beck cohomology of augmented algebras with divided powers is defined as the derived functor of Beck derivations. The main theorem of this paper states that the K\"ahler differentials of an augmented algebra with divided…
We study modules for the divided power algebra $D$ in a single variable over a commutative noetherian ring $k$. Our first result states that $D$ is a coherent ring. In fact, we show that there is a theory of Gr\"obner bases for finitely…
The $\lambda$-differential operators and modified $\lambda$-differential operators are generalizations of classical differential operators. This paper introduces the notions of $\lambda$-differential Poisson ($\lambda$-DP for short)…
Barr--Beck cohomology, put into the framework of model categories by Quillen, provides a cohomology theory for any algebraic structure, for example Andr\'e--Quillen cohomology of commutative rings. Quillen cohomology has been studied…
We set out the general theory of ``Beck modules'' in a variety of algebras and describe them as modules over suitable ``universal enveloping'' unital associative algebras. We develop a theory of ``noncommutative partial differentiation'' to…
For a compact complex manifold, we introduce holomorphic foliations associated with certain abelian subgroups of the automorphism group. Such foliations are generalizations of holomorphic principal torus bundles. If there exists a…
By using cocycle deformation, we construct a certain class of Hopf algebras, containing the quantized enveloping algebras and their analogues, from what we call pre-Nichols algebras. Our construction generalizes in some sense the known…
In the context of commutative differential graded algebras over $\mathbb Q$, we show that an iteration of "odd spherical fibration" creates a "total space" commutative differential graded algebra with only odd degree cohomology. Then we…
The goal of this paper is to present an ongoing formalization, in the framework provided by the Lean/Mathlib mathematical library, of the construction by Roby (1965) of the universal divided power algebra. This is an analogue, in the theory…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
Let $k$ be a commutative ring and $A$ a commutative $k$-algebra. In this paper we introduce the notion of enveloping algebra of Hasse--Schmidt derivations of $A$ over $k$ and we prove that, under suitable smoothness hypotheses, the…
By applying a recent construction of free Baxter algebras, we obtain a new class of Hopf algebras that generalizes the classical divided power Hopf algebra. We also study conditions under which these Hopf algebras are isomorphic.
A generalization of power associative algebra, called Hom-power associative algebra, is studied. The main result says that a multiplicative Hom-algebra is Hom-power associative if and only if it satisfies two identities of degrees three and…
We develop a duality theory for multiplier Banach-Hopf algebras over a non-Archimedean field K. As examples, we consider algebras corresponding to discrete groups and zero-dimensional locally compact groups with K-valued Haar measure, as…
Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the K\"ahler differential algebra $\Omega_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules…
We use the differential algebra of polytopes to explain the known remarkable relation of the combinatorics of the associahedra and permutohedra with the universal compositional and multiplicative inversion formulas for the formal power…
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra…
In this paper, we shall prove that the integral subalgebra generated by the divided powers of the Drinfeld generators of an affine Kac-Moody algebra is an integral form. We compare this integral form with the analogous one derived from the…
Let V be an even dimensional vector space over a field K of characteristic 2 equipped with a non-degenerate alternating bilinear form f. The divided power algebra DV is considered as a complex with differential defined from f. We examine…
The discussions in the present paper arise from exploring intrinsically the structure nature of the quantum $n$-space. A kind of braided category $\Cal {GB}$ of $\La$-graded $\th$-commutative associative algebras over a field $k$ is…