Deformations and homotopy theory of Nijenhuis associative algebras

Chao Song; Kai Wang; Yuanyuan Zhang; Guodong Zhou

Home/Archive/arXiv

arXiv · 2412.17253

Deformations and homotopy theory of Nijenhuis associative algebras

Chao Song·Kai Wang·Yuanyuan Zhang·Guodong Zhou

View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper is the first in a series of works devoted to an operadic study of Nijenhuis structures, focusing on Nijenhuis associative algebras. We introduce the concept of homotopy Nijenhuis associative algebras and demonstrate that the differential graded (=dg) operad $\NjAoperad_{\infty}$ governing these structures serves as the minimal model of the operad $\NjAoperad$ for Nijenhuis associative algebras. Additionally, we determine the Koszul dual homotopy cooperad of $\NjAoperad$. We construct an $L_\infty$-algebra that controls the simultaneous deformations of associative products and Nijenhuis operators. The Maurer-Cartan elements of this $L_\infty$-algebra correspond bijectively to Nijenhuis associative algebra structures. From this, we derive a cochain complex (deformation complex) and an associated cohomology theory of Nijenhuis associative algebras. Finally, we explore the connection between homotopy relative Rota-Baxter associative algebras of weight $0$ and homotopy Nijenhuis associative algebras. A sequel to this work will extend the study to Nijenhuis Lie algebras, with applications to Nijenhuis geometry.

Explore related subjects

math.KT math.AT math.RA math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Chao Song, Kai Wang, Yuanyuan Zhang, Guodong Zhou. 2024-12-23. Deformations and homotopy theory of Nijenhuis associative algebras. https://arxiv.org/abs/2412.17253

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A multiplicative universal property for real algebraic $K$-theory

We prove that the real $K$-theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors $\mathsf{Wald}_\infty^\mathrm{gd}\to\mathsf{Sp}^{C_2}$ that are additive and lax symmetric monoidal.

math.KT↗

arXiv2026

p-curvature in non-commutative Hodge theory and the Kontsevich-Soibelman operad

Let $\mathcal{C}$ be a differential $\mathbb{Z}/2$-graded category over $\mathbb{C}$. Its periodic cyclic homology $HH^{per}_*(\mathcal{C})$, when viewed as a vector bundle over the formal punctured disk, is equipped with a canonical connection $\nabla^{\mathcal{C}}_{\partial_t}$ called the Getzler-Gauss-Manin connection in the $t$-direction (or the categorical $t$-connection). Our main result is that when $\mathcal{C}$ is smooth and proper, this connection has a regular singularity at $t=0$ and quasi-unipotent monodromy, affirming a conjecture of Katzarkov-Kontsevich-Pantev \cite{KKP}. Our proof follows a reduction mod $p$ argument using a spreading out technique of Toën \cite{To} and a regularity criterion of Katz \cite{Ka1}. The main novelty is the proof of a multiplicative property of the $p$-curvature of $\nabla^{\mathcal{C}}_{\partial_t}$ through an interpretation in terms of the two-colored Kontsevich-Soibelman operad. We then explore two applications of the main result. First, we give an explicit description (under additional assumptions) of the non-commutative Hodge filtration on the periodic cyclic homology of a smooth proper d$(\mathbb{Z}/2)$g category, following a construction of Shklyarov \cite{Shk}. The second application, which is special to our particular method or proof, is an upper bound on the sizes of Jordan blocks of the monodromy of $\nabla^{\mathcal{C}}_{\partial_t}$, which simultaneously generalizes Scherk's local monodromy theorem for isolated hypersurface singularities \cite{Sche} and (partially) a recent result of Pomerleano-Seidel on the quantum connection of a closed monotone symplectic manifold \cite{PS2}. As a specialization, we show that the sizes of these Jordan blocks are bounded above by the diagonal dimension of $\mathcal{C}$ plus one.

math.KT↗

arXiv2026

General linear and Steinberg groups over the Leavitt algebra $L_{\mathbb F_2}(1,2)$

Let $R=L_{\F_2}(1,2)$. We prove that $\GL_r(R)$ is integrally acyclic for every $r\geq1$ and that the canonical map $\St_r(R)\to\GL_r(R)$ is an isomorphism for every $r\geq3$. The unit group $R^\times$ is finitely presented, and we describe an explicit finite presentation. The homology calculation uses leaf coordinates, simultaneous extensions of ordered frames, and finite-field actions on stabilizers. The Steinberg argument lifts relations from a simply connected frame complex and refines coordinates. We also state separate criteria for the two arguments over rings of characteristic two.

math.KT↗