https://arxiv.org/api/5n6M4ZCzUDJKRNfKP5BKbOt8maM 2026-06-21T17:22:47Z 20100 750 15 http://arxiv.org/abs/2602.19797v1 2026-02-23T12:53:51Z

Let $A$ be a unital associative PI-algebra over a field of characteristic zero. We study which partitions $λ$ appear with nonzero multiplicities in the cocharacter sequence of $A$ for several classes of algebras $A$. Berele defines the eventual arm width $ω_0(A)$ to be the maximal integer $d$ so that if $λ$ appears with nonzero multiplicity in the cocharacter sequence of $A$, then $λ$ can have at most $d$ parts arbitrarily large. Berele also shows that if $A$ is Lie nilpotent, then $ω_0(A) = 1$. In the first part of this paper, we show that if $A$ is unital, then $ω_0(A) = 1$ if and only if $A$ is Lie nilpotent. To prove this statement, we show that the algebra of proper polynomials $B_n(A)$ is finite dimensional if and only if $A$ is Lie nilpotent. In the second part, we give a bound on the nonzero multiplicities $λ$ in the cocharacter sequence of $A$, when the T-ideal of identities of $A$ is equal to a product of T-ideals generated by long commutators. As an application, we show that for a Lie nilpotent algebra $A$, the nonzero multiplicities $m_λ(A)$ correspond to partitions $λ$ which are supported in step-like diagrams in which the number of steps grows with the index of Lie nilpotency. Finally, we give also some applications to the noncommutative invariant theory of the special linear group $\mathrm{SL}(n)$.

2026-02-23T12:53:51Z 14 pages Elitza Hristova http://arxiv.org/abs/2407.02294v3 2026-02-23T11:09:44Z

Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $Λ$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether $Λ$ has stably free cancellation (SFC). As an application, we determine all finite groups $G$ of order at most $383$ such that the integral group ring $\mathbb{Z}[G]$ has SFC.

2024-07-02T14:27:44Z To appear in Transactions of the American Mathematical Society; 44 pages; v3 includes many revisions following referee report; v2 includes many revisions, including corrections to results on which integral group rings Z[G] have SFC or not Werner Bley Tommy Hofmann Henri Johnston 10.1090/tran/9723 http://arxiv.org/abs/2602.19601v1 2026-02-23T08:43:16Z

Let $K$ be an algebraically closed field of characteristic zero and ${P_n=K[x_1,\ldots,x_n]}$ the polynomial ring. Any $K$-derivation $D$ on $P_n$ is of the form ${ D=\sum_{i=1}^n f_i(x_1,\ldots,x_n)\frac{\partial}{\partial x_i} },$ where $f_i\in P_n.$ All such derivations form the Lie algebra $W_n(K)$ over the field $K$. We prove that for $s=1,\ldots,n-1$ the subalgebra $ m_s(K)=\left\{ \sum_{i=1}^s f_i\frac{\partial}{\partial x_i} +\sum_{j=s+1}^n g_j\frac{\partial}{\partial x_j} \mid f_i\in P_s,\ g_j\in P_n \right\} $ is a maximal subalgebra of~$W_n(K)$. The ideal $ I_s=\left\{\sum_{j=s+1}^n g_j\frac{\partial}{\partial x_j}\right\} $ of $m_s(K)$ is isomorphic to the Lie algebra $P_s\otimes \mathrm{Der}(K[x_{s+1},\ldots,x_n])$ and $m_s(K)/I_s\simeq W_s(K)$. The Lie algebra $W_n(K)$ is also the free module over the ring $P_n.$ Therefore, for any set $S\subseteq W_n(K)$ the rank $rk(S)$ (over $P_n$) is defined. Some properties of maximal subalgebras of rank $n$ in $W_n(K)$ are pointed out.

2026-02-23T08:43:16Z Y. Chapovskyi A. Petravchuk http://arxiv.org/abs/2602.19342v1 2026-02-22T21:06:58Z

We give the basic structure of the multivariable Ore extensions $S=A[\underline{t} ; σ, \underlineδ]$ introduced in the work of Martínez-Peñas and Kschischang. The Pseudo multilinear transformations (PMT's) are introduced and correspond to modules over $S$. These maps are strongly connected to the evaluation of polynomials in $S$. A general product formula is obtained. PMT's help to put some structure on the set of roots of a polynomial $f(t) \in S$.

2026-02-22T21:06:58Z 20 pages Communications in Algebra Communications inn Algebra, Volume 53, 2025 - Issue 2 André Leroy Huda Merdach 10.1080/00927872.2024.2387049 http://arxiv.org/abs/2508.10139v3 2026-02-22T16:16:32Z

Employing isomorphisms between their ambient rings, we propose new definitions of equivalence and isometry for skew polycyclic codes that will lead to tighter classifications than existing ones. This reduces the number of previously known isometry and equivalence classes. In the process, we classify classes of skew $(f,σ,δ)$-polycyclic codes with the same performance parameters, to avoid duplicating already existing codes, and state precisely when different notions of equivalence coincide. The generator of a skew polycyclic code is in one-one correspondence with the generator of a principal left ideal in its nonassociative unital ambient ring. By allowing the ambient rings to be nonassociative, we eliminate the need on restrictions on the length of the codes. Ring isomorphisms that preserve the Hamming distance (called isometries) map generators of principal left ideals to generators of principal left ideals and preserve length, dimension, and Hamming distance of the corresponding isometric skew polycyclic codes.

2025-08-13T19:03:11Z This version contains a new section about isometries for skew polycyclic codes over finite commutative chain rings Susanne Pumpluen http://arxiv.org/abs/2602.19144v1 2026-02-22T12:17:01Z

We initiate the study of non-semisimple algebras in fusion categories by establishing the framework of $\mathcal{C}$-species -- analogous to the framework of species and quivers used in the study of Artin algebras. Under the (necessary) assumption that the fusion category is separable, we show that any algebra is Morita equivalent to an admissible quotient of the path algebra of a $\mathcal{C}$-species. Moreover, we show that an algebra is hereditary if and only if no further quotient is required. These results generalise that of Gabriel's for finite-dimensional algebras.

2026-02-22T12:17:01Z Comments more than welcomed! Edmund Heng Mateusz Stroiński http://arxiv.org/abs/2502.13276v3 2026-02-22T11:04:02Z

I introduce a geometric interpretation of the set of standard graded Artinian Gorenstein algebras of codimension n and degree d: the standard locus, which is a subset of the projective space of degree d polynomials in n variables, and I characterize it. Under opportune hypothesis, I prove that the locus of full Perazzo polynomials is the union of the minimal dimensional irreducible components of the standard locus and it is a pure dimensional subset. On the other hand, I associate to any homogeneous polynomial a topological space, which is a CW-complex. Using all these sets, I prove that the Hilbert function restricted to the standard locus has minimal values on any irreducible component of the domain. I apply all this to the Full Perazzo Conjecture and I prove it.

2025-02-18T20:48:16Z Section 5 improved Armando Capasso http://arxiv.org/abs/2602.19026v1 2026-02-22T03:27:23Z

We study the relationship between Serre duality and the Mukai pairing for smooth and proper dg-algebras. We introduce an alternative definition of the Mukai pairing and prove that it coincides with the Mukai pairings defined by Căldăraru--Willerton and by Shklyarov. Our construction places both the Mukai pairing and Serre duality within a unified framework based on an elementary pairing between Hochschild homology and Hochschild cohomology. As a consequence, the adjointness of the boundary--bulk and bulk--boundary maps follows naturally. As an application, we investigate Auslander--Reiten theory for the perfect derived category of a non-positive smooth and proper dg-algebra. We construct an exact triangle of dg-$A$-$A$-bimodules, called a universal Auslander--Reiten triangle in the sense that the derived tensor product of this triangle with an indecomposable dg-$A$-module $M$ yields an Auslander--Reiten triangle starting from $M$. In particular, this provides a functorial construction of Auslander--Reiten triangles. In the case of path algebras of quivers, our construction recovers the universal Auslander--Reiten triangle associated with quiver Heisenberg algebras.

2026-02-22T03:27:23Z 37 pages Hiroyuki Minamoto http://arxiv.org/abs/2602.18818v1 2026-02-21T12:35:39Z

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the case when a balanced pair generates a tilting cotorsion pair, and dually, when it cogenerates a cotilting cotorsion pair. If $R$ is right noetherian, we prove that the pair consisting of Gorenstein projective modules and Gorenstein injective modules is balanced if and only if $R$ is right virtually Gorenstein. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

2026-02-21T12:35:39Z 20 pages Sergio Estrada Jiangsheng Hu Jan Trlifaj http://arxiv.org/abs/2506.20321v2 2026-02-21T12:19:31Z

Given a unital action $θ$ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_θS$ with values in a bimodule over $A\rtimes_θS$. The spectral sequences involve a new kind of (co)homology of the inverse monoid $S,$ which is based on $KS$-modules. The spectral sequences take especially nice form, when $(A\rtimes_θS)^e $ is flat as a left (homology case) or right (cohomology case) $A^e$-module, involving also the Hochschild (co)homology of $A.$ Same nice spectral sequences are also obtained if $K$ is a commutative ring, over which $A$ is projective, and $S$ is $E$-unitary. We apply our results to the Steinberg algebra $A_K(\mathscr{G})$ over a field $K$ of an ample groupoid $\mathscr{G},$ whose unit space $\mathscr{G} ^{(0)}$ is compact. In the homology case our spectral sequence collapses on the $p$-axis, resulting in an isomorphism between the Hochschild homology of $A_K(\mathscr{G})$ with values in an $A_K(\mathscr{G})$-bimodule $M$ and the homology of the inverse semigroup of the compact open bisections of $\mathscr{G}$ with values in the invariant submodule of $M.$

2025-06-25T11:02:33Z Mikhailo Dokuchaev Mykola Khrypchenko Juan Jacobo Simón http://arxiv.org/abs/2602.18805v1 2026-02-21T11:34:09Z

This is a survey on the finite basis problem for varieties of algebraic systems. Our exposition is in two directions: (i) We give numerous examples of varieties which are not finitely based. (ii) We give examples of important varieties with the property that they and their subvarieties are finitely based. A special attention is paid on the varieties of semigroups, groups, associative, Lie and other nonassociative algebras.

2026-02-21T11:34:09Z Vesselin Drensky http://arxiv.org/abs/2602.18804v1 2026-02-21T11:33:17Z

For a commutative unital ring $R$ with fixed ideals $I$ and $J$, we introduce and study $I$-prime $R$-modules and $(I, J)$-prime $R$-modules together with their duals $I$-coprime $R$-modules and $(I,J)$-coprime $R$-modules respectively. We employ category-theoretic techniques to reveal their structural properties. Our main results are versions of the Greenlees-May Duality and the Matlis-Greenlees-May Equivalence to the setting of these prime and coprime modules. This generalizes work on $I$-reduced modules and $I$-coreduced modules. We demonstrate that these ``locally prime" modules serve as a tool for studying the classical ``globally prime" modules, creating a bridge between local and global primality.

2026-02-21T11:33:17Z 18 pages Sholastica Luambano David Ssevviiri http://arxiv.org/abs/2602.18413v1 2026-02-20T18:29:40Z

This article explores Rota-Baxter operators on finite-dimensional $ω$-Lie algebras over a field of characteristic not 2. We provide several methods for constructing left-symmetric algebras, $ω$-Lie algebras, and Hom-Lie algebras via compatible Rota-Baxter operators on a given $ω$-Lie algebra. We also study the geometric structures of compatible Rota-Baxter operators of weight $0$ and isometric Rota-Baxter operators of weight $1$ over the field of complex numbers. In particular, we prove that the affine variety of all isometric Rota-Baxter operators of weight $1$ on any finite-dimensional non-Lie complex simple $ω$-Lie algebra is $1$-dimensional. Furthermore, we show that for every $4$-dimensional non-Lie complex $ω$-Lie algebra, there always exists a nilpotent compatible Rota-Baxter operator of weight $0$ such that the induced Hom-Lie algebra is nonabelian but solvable.

2026-02-20T18:29:40Z 21 pages; To appear in Kyushu J. Math Yin Chen Shan Ren Jiawen Shan Runxuan Zhang http://arxiv.org/abs/2602.18341v1 2026-02-20T16:50:27Z

For a left artinian ring A, we study the lattice torsA of torsion pairs in the category of finitely generated A-modules by considering an isomorphic lattice formed by certain closed sets in a topological space associated to A, the Ziegler spectrum of the unbounded derived category of ModA. Torsion pairs in torsA turn out to be adjacent if and only if the associated closed sets are related by an operation which is induced by mutation of cosilting complexes. We describe this operation from several perspectives and present a number of applications in the case when A is a finite dimensional algebra.

2026-02-20T16:50:27Z This is a survey on recent joint work with Rosanna Laking, Francesco Sentieri, Jan Šťovíček, and Jorge Vitória Lidia Angeleri Hügel http://arxiv.org/abs/2602.17437v1 2026-02-19T15:07:20Z

In this paper, we show that the main algebraic assumption required to perform a fixed point argument for rough differential equations implies the algebraic assumption for the Bailleul flow approach. This assumption requires that the rough path associated with the equation is given by a Hopf algebra whose coproduct admits a cocycle and has a tree-like basis. We show that the Hopf algebra of multi-indices does not satisfy the cocycle condition. This is a rigorous result on the impossibility, observed in practice, of performing a fixed point argument for multi-indices rough paths and multi-indices in Regularity Structures.

2026-02-19T15:07:20Z Yvain Bruned Yingtong Hou Paul Laubie Zhicheng Zhu