Source author record

Shanghua Zheng

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
7topics
4close collaborators

Published work

8 publications

preprint2026arXiv

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.

preprint2022arXiv

λλ-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.

preprint2022arXiv

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⁡\exp, and realize the method of reduction of order in the ring of Hurwitz series by using exp⁡\exp.

preprint2017arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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 k[x]\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.

preprint2013arXiv

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 nn. 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.