Related papers: Composition-Diamond lemma for differential algebra…
Following the analysis of differentiable mappings of Y. Yomdin, M. Gromov has stated a very elegant "Algebraic Lemma" which says that the "differentiable size" of an algebraic subset may be bounded in terms only of its dimension, degree and…
This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of…
In this paper, we introduce the definition of free product of operads, following the definition of a free product of algebras. There is a given method of finding the basis and dimension of the free product of operads. By anti-commutative…
We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…
Let $(P,\cdot,d)$ be a differential perm algebra over a field of characteristic $0$, i.e. an associative algebra satisfying $(ab)c=(ba)c$ equipped with a derivation $d$. We investigate polynomial identities in the algebras obtained from $d$…
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…
We review some applications of Gr\"obner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
In this note, we interpret Leibniz algebras as differential graded Lie algebras. Namely, we consider two functors from the category of Leibniz algebras to that of differential graded Lie algebras and show that they naturally give rise to…
We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the…
We prove that the Lie algebra of primitive elements of a graded and connected bialgebra, free as an associative algebra, over a eld of characteristic zero, is a free Lie algebra. The main tool is a ltration, which allows to embed the…
By reading a standard formula for the ring of Grothendieck differential operators in a derived way, we construct a derived (sheaf of) ring of Grothendieck differential operators for Noetherian schemes $X$ separated and finite-type over a…
Fomin-Zelevinsky conjectured that in any cluster algebra, the cluster monomials are linearly independent and that the exchange graph and cluster complex are independent of the choice of coefficients. We confirm these conjectures for all…
We classify (up to quasi-isomorphism) the free differential modules whose homology is equal to a given module $M$ by developing a theory for deforming an arbitrary free complex into a differential module. We use an iterative approach to…
Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since lead to abstract formulations of many notions involving differentiation such as the directional…
A modular or distributive lattice is `diamond-colored' if its order diagram edges are colored in such a way that, within any diamond of edges, parallel edges have the same color. Such lattices arise naturally in combinatorial representation…
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra…
The classical Gelfand-Kirillov dimension for algebras over fields has been extended recently by J. Bell and J.J Zhang to algebras over commutative domains. However, the behavior of this new notion has not been enough investigated for the…
We describe a standard form for the elements in the universal field of fractions of free associative algebras (over a commutative field). It is a special version of the normal form provided by Cohn and Reutenauer and enables the use of…
In this paper, the tropical differential Gr\"obner basis is studied, which is a natural generalization of the tropical Gr\"obner basis to the recently introduced tropical differential algebra. Like the differential Gr\"obner basis, the…
In this paper, we first introduce the notion of Hom-left-symmetric conformal bialgebras and show some nontrivial examples. Also, we present construction methods of matched pairs of Hom-Lie conformal algebras and Hom-left-symmetric conformal…