Searcharxiv⌕ Search

arXiv subjects

Shanghua Zheng

Publications and source records attributed to Shanghua Zheng.

18 recordsLinked to original sources

Bialgebra theory, the Yang-Baxter equation and relative Rota-Baxter operators for diassociative algebras

In this paper, we develop a bialgebra theory for diassociative algebras. Inspired by the notion of a quadratic diassociative algebra, we introduce the concept of a Manin triple of diassociative algebras. We then define a diassociative bialgebra, which is shown to be equivalent to a Manin triple of diassociative algebras through a specific matched pair of diassociative algebras. We further formulate the diassociative Yang-Baxter equation (DYBE) in a diassociative algebra, and prove that symmetric solutions of the DYBE give rise to diassociative bialgebras. To construct such solutions, we also introduce relative Rota-Baxter operators and pre-diassociative algebras. As a key application, we lift the known relationships between diassociative algebras and other algebraic structures to the bialgebra level. In particular, we show that every diassociative bialgebra naturally induces a Leibniz bialgebra, thereby extending Loday's classical result that a diassociative algebra gives rise to a Leibniz algebra. Moreover, we provide explicit constructions of Lie bialgebras via tensor products of diassociative bialgebras and quadratic dendriform algebras.

math.RA↗

Para-differential Rota-Baxter algebras and their free objects by Gröbner-Shirshov bases

The algebraic formulation of the derivation and integration related by the First Fundamental Theorem of Calculus (FFTC) gives rise to the notion of differential Rota-Baxter algebra. The notion has a remarkable list of categorical properties, in terms of the existence of (co)extensions of differential and Rota-Baxter operators, of the lifting of monads and comonads, and of mixed distributive laws. Conversely, using these properties as axioms leads to a class of algebraic structures called para-differential Rota-Baxter algebras. This paper carries out a systematic study of para-differential Rota-Baxter algebras. After their basic properties and examples from Hurwitz series and difference algebras, a Gröbner-Shirshov bases theory is established for para-differential Rota-Baxter algebras. Then an explicit construction of free para-differential Rota-Baxter algebras is obtained.

math.RA↗

Noncommutative Novikov bialgebras and differential antisymmetric infinitesimal bialgebras with weight

This paper first develops a bialgebra theory for a noncommutative Novikov algebra, called a noncommutative Novikov bialgebra, which is further characterized by matched pairs and Manin triples of noncommutative Novikov algebras. The classical Yang-Baxter type equation, $\mathcal{O}$-operators, and noncommutative pre-Novikov algebras are introduced to study noncommutative Novikov bialgebra. As an application, noncommutative pre-Novikov algebras are obtained from differential dendriform algebras. Next, to generalize Gelfand's classical construction of a Novikov algebra from a commutative differential algebra to the bialgebra context in the noncommutative case, we establish antisymmetric infinitesimal (ASI) bialgebras for (noncommutative) differential algebras, and obtain the condition under which a differential ASI bialgebra induces a noncommutative Novikov bialgebra.

math.RA↗

Extended (tri)dendriform algebras, pre-Lie algebras and post-Lie algebras as companion structures of extended Rota-Baxter algebras

Under the common theme of splitting of operations, the notions of (tri)dendriform algebras, pre-Lie algebras and post-Lie algebras have attracted sustained attention with broad applications. An important aspect of their studies is as the derived structures of Rota-Baxter operators on associative or Lie algebras. This paper introduces extended versions of (tri)dendriform algebras, pre-Lie algebras, and post-Lie algebras, establishing close relations among these new structures that generalize those among their classical counterparts. These new structures can be derived from the extended Rota-Baxter operator, which combines the standard Rota-Baxter operator and the modified Rota-Baxter operator. To characterize these new notions as the derived structures of extended Rota-Baxter algebras, we define the binary quadratic operad in companion with an operad with nontrivial unary operations. Then the extended (tri)dendriform algebra is shown to be the binary quadratic nonsymmetric operads in companion to the operad of extended Rota-Baxter algebras. As a key ingredient in achieving this and for its own right, the free extended Rota-Baxter algebra is constructed by bracketed words.

math.RA↗

Extended Rota-Baxter algebras, diagonally colored Delannoy paths and Hopf algebras

The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to ergodic theory and the modified Yang-Baxter equation. Their merged form, called the extended Rota-Baxter operators, has also found interesting applications recently. This paper presents a systematic study of the extended Rota-Baxter operator. We show that while extended Rota-Baxter operators have properties similar to Rota-Baxter operators; they provide a linear structure that unifies Rota-Baxter operators and modified Rota-Baxter operators. Examples of extended Rota-Baxter operators are also given, especially from polynomials and Laurent series due to their importance in ($q$-)integration and the renormalization in quantum field theory. We then construct free commutative extended Rota-Baxter operators by a generalization of the quasi-shuffle product. The multiplication of the initial object in the category of commutative extended Rota-Baxter operators allows a combinatorial interpretation in terms of a color-enrichment of Delannoy paths. Applying its universal property, we equip a free commutative extended Rota-Baxter operators with a coproduct which has a cocycle condition, yielding a bialgebraic structure. We then show that this bialgebra on a free extended Rota-Baxter operators possesses an increasing filtration and a connectedness property, culminating at a Hopf algebraic structure on a free commutative extended Rota-Baxter operator.

math.RA↗

Construction of free quasi-idempotent differential Rota-Baxter algebras by Gröbner-Shirshov bases

Differential operators and integral operators are linked together by the first fundamental theorem of calculus. Based on this principle, the notion of a differential Rota-Baxter algebra was proposed by Guo and Keigher from an algebraic abstraction point of view. Recently, the subject has attracted more attention since it is associated with many areas in mathematics, such as integro-differential algebras. This paper considers differential algebras, Rota-Baxter algebras and differential Rota-Baxter algebras in the quasi-idempotent operator context. We establish a Gröbner-Shirshov basis for free commutative quasi-idempotent differential algebras (resp. Rota-Baxter algebras, resp. differential Rota-Baxter algebras). This provides a linear basis of free object in each of the three corresponding categories by Composition-Diamond lemma.

math.RA↗

Interlacing, integrals of Hurwitz series and differential equations

In this paper, we first introduce the unlacing of Hurwitz series, which can be viewed as an inverse of interlacing, and develop the basic properties of unlacing, interlacing and integral of Hurwitz series. We then show that the multiplication of interlacing of Hurwitz series by basis elements can be also rewritten as an interlacing, and provide the explicit multiplication formula in terms of integrals and Hadamard products. Finally, we investigate the natural exponential function $\exp$, and realize the method of reduction of order in the ring of Hurwitz series by using $\exp$.

math.CO↗

$λ$-TD algebras, generalized shuffle products and left counital Hopf algebras

The theory of operated algebras has played a pivotal role in mathematics and physics. In this paper, we introduce a $λ$-TD algebra that appropriately includes both the Rota-Baxter algebra and the TD-algebra. The explicit construction of free commutative $λ$-TD algebra on a commutative algebra is obtained by generalized shuffle products, called $λ$-TD shuffle products. We then show that the free commutative $λ$-TD algebra possesses a left counital bialgera structure by means of a suitable 1-cocycle condition. Furthermore, the classical result that every connected filtered bialgebra is a Hopf algebra, is extended to the context of left counital bialgebras. Given this result, we finally prove that the left counital bialgebra on the free commutative $λ$-TD algebra is connected and filtered, and thus is a left counital Hopf algebra.

math.RA↗

Quivers and path semigroups characterized by locality conditions

The notion of locality semigroups was recently introduced with motivation from locality in convex geometry and quantum field theory. We show that there is a natural correspondence between locality sets and quivers which leads to a concrete class of locality semigroups given by the paths of quivers. Further these path semigroups from paths are precisely the free objects in the category of locality semigroups with a rigid condition. This characterization gives a universal property of path algebras and at the same time a combinatorial realization of free rigid locality semigroups.

math.RA↗

Several locality semigroups, path semigroups and partial semigroups

Locality semigroups were proposed recently as one of the basic locality algebraic structures, which are studied in mathematics and physics. Path semigroups and partial semigroups were also developed by many authors in the literature. In this paper, we study free objects in the category of refined locality semigroups. It turns out that the path locality semigroup of a quiver is the free refined locality semigroup on a locality set. We also explore the relationships among locality semigroups, partial semigroups and path locality semigroups, concluding that the path locality semigroup is a proper subclass of the intersection of locality semigroups and partial semigroups. In particular, the class of refined locality semigroups is a proper subclass of strong locality semigroups. Furthermore, we show that, when a partial semigroup is a refined locality semigroup, one can extend it a strong semigroup with zero.

math.RA↗

Left counital Hopf algebra structures on free commutative Nijenhuis algebras

Motivated by the Hopf algebra structures established on free commutative Rota-Baxter algebras, we explore Hopf algebra related structures on free commutative Nijenhuis algebras. Applying a cocycle condition, we first prove that a free commutative Nijenhuis algebra on a left counital bialgebra (in the sense that the right-sided counicity needs not hold) can be enriched to a left counital bialgebra. We then establish a general result that a connected graded left counital bialgebra is a left counital right antipode Hopf algebra in the sense that the antipode is also only right-sided. We finally apply this result to show that the left counital bialgebra on a free commutative Nijenhuis algebra on a connected left counital bialgebra is connected and graded, hence is a left counital right antipode Hopf algebra.

math.RA↗

Universal enveloping algebras and Poincaré-Birkhoff-Witt theorem for involutive Hom-Lie algebras

A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.

math.QA↗

Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases

In this paper we apply the methods of rewriting systems and Gröbner-Shirshov bases to give a unified approach to a class of linear operators on associative algebras. These operators resemble the classic Rota-Baxter operator, and they are called {\it Rota-Baxter type operators}. We characterize a Rota-Baxter type operator by the convergency of a rewriting system associated to the operator. By associating such an operator to a Gröbner-Shirshov basis, we obtain a canonical basis for the free algebras in the category of associative algebras with that operator. This construction include as special cases several previous ones for free objects in similar categories, such as those of Rota-Baxter algebras and Nijenhuis algebras.

math.RA↗

Free involutive Hom-semigroups and Hom-associative algebras

In this paper we construct free Hom-semigroups when its unary operation is multiplicative and is an involution. Our method of construction is by bracketed words. As a consequence, we obtain free Hom-associative algebras generated by a set under the same conditions for the unary operation.

math.RA↗

Rota-Baxter operators on the polynomial algebras, integration and averaging operators

Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras.

math.RA↗

Classification of Rota-Baxter operators on semigroup algebras of order two and three

In this paper we determine all the Rota-Baxter operators of weight zero on semigroup algebras of order two and three with the help of computer algebra. We determine the matrices for these Rota-Baxter operators by directly solving the defining equations of the operators. We also produce a Mathematica procedure to predict and verify these solutions.

math.RA↗

Relative locations of subwords in free operated semigroups and Motzkin words

Bracketed words are basic structures both in mathematics (such as Rota-Baxter algebras) and mathematical physics (such as rooted trees) where the locations of the substructures are important. In this paper we give the classification of the relative locations of two bracketed subwords of a bracketed word in an operated semigroup into the separated, nested and intersecting cases. We achieve this by establishing a correspondence between relative locations of bracketed words and those of words by applying the concept of Motzkin words which are the algebraic forms of Motzkin paths.

math.RA↗

Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases

In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gröbner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential Rota-Baxter algebras of order $n$. We also obtain a weakly monomial order on these algebras, allowing us to obtain Gröbner-Shirshov bases for free commutative integro-differential algebras on a set. We finally generalize the concept of functional derivations to free differential algebras with arbitrary weight and generating sets from which to construct a canonical linear basis for free commutative integro-differential algebras.

math.AC↗