https://arxiv.org/api/r1nFz+oGIrn+WvOS2zW6nys1kDA 2026-06-14T14:45:44Z 20068 375 15 http://arxiv.org/abs/2604.20894v1 2026-04-21T08:58:21Z

In our previous work: Adv. Math. 455 (2024), no. 109880, solubility of solutions was introduced as an extension of solubility of skew braces in the classification context of non-degenerate solutions of the Yang-Baxter equation. One of our main results (Theorem C) proved that a skew brace is soluble if, and only if, its associated solution is soluble. A minor step depending on the definition of homomorphism of solutions was overlooked. In this work, proof of Theorem C is repaired by means of a new class of homomorphisms of solutions: i-homomorphisms of solutions. The importance of this new class is twofold: indecomposable solutions are characterised by means of i-simplicity of solutions, and i-kernels of i-homomorphisms generate ideals in structure skew braces of solutions. Hence, solubility of solutions is redefined as an opposite class of indecomposable solutions. The results obtained with this definition improve our previous outcomes: every soluble solution is proved to have a soluble structure skew brace, and consequently, Theorem C still holds. Several results stemming from this new analysis are outlined.

2026-04-21T08:58:21Z 22 pages A. Ballester-Bolinches R. Esteban-Romero P. Jiménez-Seral V. Pérez-Calabuig http://arxiv.org/abs/2604.19227v1 2026-04-21T08:34:14Z

We introduce SignatureTensors.jl, a new package for computing signature tensors of paths in julia. We present its core functionality and demonstrate its use through illustrative examples. The package is compatible with the computer algebra system OSCAR, enabling both exact and numerical computations with signatures.

2026-04-21T08:34:14Z Gabriel Riffo Leonard Schmitz http://arxiv.org/abs/2504.12206v3 2026-04-21T08:22:50Z

We prove that every pre-Nichols algebra of a nondiagonal object in the twisted Yetter-Drinfeld category ${_{\k G}^{\k G} {\mathcal{YD}^Φ}}$ has infinite Gelfand-Kirillov dimension, where $G$ is a finite abelian group and $Φ$ is a $3$-cocycle on $G$. This leads to a complete characterization of finite GK-dimensional Nichols algebras in this category. Specifically, for any finite-dimensional $V\in {_{\k G}^{\k G} {\mathcal{YD}^Φ}}$, we show that the Nichols algebra $B(V)$ has finite Gelfand-Kirillov dimension if and only if it is of diagonal type and its associated root system is finite, that is, an arithmetic root system. Via bosonization, this result yields a classification of finite GK-dimensional coradically graded pointed coquasi-Hopf algebras over finite abelian groups that are generated by group-like and skew-primitive elements.

2025-04-16T15:54:42Z 35 pages Yuping Yang http://arxiv.org/abs/2510.07855v2 2026-04-21T04:36:00Z

The purpose of this article is to investigate triangularization and simultaneous triangularization of matrices over max algebras using graph theoretic methods. We establish a connection between commutators and commutants with simultaneous triangularization over max algebras. We also define the notion of characteristic polynomial of a collection in terms of the tropical determinant and determine when it can be written as a product of linear terms. Algorithms for all of the above are also brought out.

2025-10-09T06:56:20Z Askar Ali M Sachindranath Jayaraman Himadri Mukherjee http://arxiv.org/abs/2604.18958v1 2026-04-21T01:14:38Z

In this paper, we study the small finitistic dimension of a commutative ring from the viewpoint of finitistic flat homological algebra. Using the class $FPR(R)$ of modules admitting finite projective resolutions, we investigate the finitistic flat ($FT$-flat) dimension and establish several of its basic properties. We prove change-of-rings results for the $FT$-flat dimension, including quotient and polynomial extension results, as well as localization inequalities. As applications, we obtain characterizations of the small finitistic dimension in terms of $FT$-flat dimension, derive quotient and polynomial extension theorems for the small finitistic dimension, and establish local upper bounds in terms of the small finitistic dimensions of localizations.

2026-04-21T01:14:38Z Comments welcome Tao Xiong Younes El Haddaoui Hwankoo Kim Qiang Zhou http://arxiv.org/abs/2604.18927v1 2026-04-21T00:06:05Z

In this paper, we first introduce the notion of a hyper relative differential operator on a Lie algebra, in which Nijenhuis operators are used to characterize the relative differential operators and their inverse. We then introduce the notions of DN-structures, KN-structures, and KD-structures on Lie algebras and study the relationships between DN-structures, KD-structures, KN-structures, and hyper relative differential operators. Finally, we investigate hyper symplectic structures and hyper Hessian structures from the view point of hyper relative differential operators, and provide equivalent descriptions for both hyper symplectic structures and hyper Hessian structures.

2026-04-21T00:06:05Z 21 pages Sofiane Bouarroudj Jiefeng Liu Liwen Zhang http://arxiv.org/abs/2512.20742v2 2026-04-20T21:15:28Z

Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$ such that $\mathcal{E}$ admits a canonical functor to the category of first order differential calculi in $\mathcal{V}$. Generalizing the procedure of extending a first order differential calculus to its maximal prolongation to this setting, we obtain a canonical functor from $\mathcal{E}$ to the category of differential calculi in $\mathcal{V}$. This yields a simultaneous generalization of the de Rham complex on $C^{\infty}$-rings, the Kähler differentials on commutative algebras, and the universal differential calculus on associative algebras. As a consequence, such categories $\mathcal{E}$ admit natural analogues of the notions of smooth map and diffeomorphism, as well as a functorial de Rham theory. Moreover, whenever two such faithful isofibrations to $\operatorname{Mon}(\mathcal{V})$ factor suitably, their corresponding de Rham functors are related via a comparison map. Developing this theory requires first extending the noncommutative geometry formalism of differential calculi from associative algebras to the setting of monoids internal to monoidal additive categories.

2025-12-23T19:55:08Z 52 pages. Included new example. Fixed minor typographic issues Keegan J. Flood Gabriele Lobbia Giacomo Tendas http://arxiv.org/abs/2604.18480v1 2026-04-20T16:34:47Z

An associative division algebra D is said to be _affine_ over a central subfield k if D is finitely generated as a k-algebra. In 1956 Amitsur famously proved that, when k is uncountable, D cannot be k-affine unless D is algebraic over k. In this paper we consider affineness -- and nonaffineness -- for certain naturally occurring classes of division algebras over arbitrary fields. The primary applications are to division algebras of fractions of suitably conditioned iterated skew polynomial rings over k, including many examples naturally arising in Lie theoretic and quantum group settings. Many transcendental division algebras are thus verified to be nonaffine over k. Division algebras of fractions of Weyl algebras and quantum affine spaces are determined to be affine over their centers exactly when they are finite dimensional over their centers.

2026-04-20T16:34:47Z 9 pages K. R. Goodearl E. S. Letzter http://arxiv.org/abs/2604.18304v1 2026-04-20T14:13:38Z

We introduce $C^*$-algebras associated with directed graphs, along with two generalizations of this concept, namely Exel-Pardo $C^*$-algebras associated with a self-similar action of a group on a directed graph, and the $C^*$-algebras associated with separated graphs. These constructions have in common that they have a dynamical behavior, being the groupoid $C^*$-algebras associated to certain topological groupoids, which are built from the combinatorial structure. An important invariant one may associate to these dynamical systems is the so-called type semigroup. We will find a formula to compute the type semigroup for a general self-similar action of a group on a row-finite graph $E$ without sources, following a recent paper by Kwaśniewski, Meyer and Prasad, and for any finite bipartite separated graph, following a paper by Exel and the author. In addition, we will review various results concerning the structure of the type semigroup for different dynamical systems.

2026-04-20T14:13:38Z 47 pages Pere Ara http://arxiv.org/abs/2601.03101v2 2026-04-20T13:37:17Z

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on the other, we give a general definition of an $\infty$-category of coalgebras over an enriched $\infty$-operad. We show by induction over cell attachments that these two $\infty$-categories are in fact equivalent when the operad is cofibrant. This yields explicit point-set models for $\mathbb{E}_n$-coalgebras and $E_\infty$-coalgebras in the derived $\infty$-category of chain complexes over a field, and an explicit point-set model for the cellular chains functor with its $E_\infty$-coalgebra structure. After Bachmann--Burklund, this gives a point-set algebraic model for nilpotent $p$-adic homotopy types.

2026-01-06T15:32:58Z 46 pages. Comments are welcome. v2: minor corrections Dan Petersen Victor Roca i Lucio Sinan Yalin http://arxiv.org/abs/2603.20202v3 2026-04-20T09:29:58Z

In order to study graded left hereditary and left semihereditary rings graded by a cancelation monoid in terms of their modules, we need to revisit graded free, projective, injective, and flat modules and provide graded versions of specific results concerning these modules, like Baer's criterion on injectivity and Lazard's theorem on flatness. Then, among other things, we can give some characterization of graded left hereditary and left semihereditary rings, in particular, of graded-Prüfer and graded-Dedekind domains.

2026-02-24T08:42:58Z Final version, 22 pages Haneen Falah Ghalib Al-Kharsan Parviz Sahandi Nematollah Shirmohammadi http://arxiv.org/abs/2604.17996v1 2026-04-20T09:20:40Z

We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such extensions. We also establish a relation between singularity categories in this setting, proving that the singularity category of a separable extension is equivalent, up to retracts, to a separable extension of the singularity category. Our results unify and extend classical phenomena from commutative and equivariant algebra, and provide new examples involving separable extensions of rings, quotient schemes, and skew group dg algebras.

2026-04-20T09:20:40Z 17 pages, comments are welcome Miltiadis Karakikes Panagiotis Kostas http://arxiv.org/abs/2604.17798v1 2026-04-20T04:43:08Z

In this work, we describe local and 2-local $\frac12$-derivations of infinite-dimensional Lie algebras. We prove that all local and 2-local $\frac12$-derivations of the Witt algebra as well as of the positive Witt algebra and the classical one-sided Witt algebra are $\frac12$-derivations. We also give an example of an infinite-dimensional Lie algebra with a local (2-local) $\frac12$-derivation which is not a $\frac12$-derivation. Further we prove that all local (2-local) $\frac12$-derivations on the $\mathcal{W}(a,b)$ algebra are $\frac12$-derivations.

2026-04-20T04:43:08Z Shavkat Ayupov Abdireymov Arislanbay Bakhtiyor Yusupov http://arxiv.org/abs/2512.22494v2 2026-04-20T04:37:18Z

The function \[f(a,b)=\frac{\gcd(a+b,ab)}{\gcd(a,b)}\] is of interest in this paper. We then ask a natural question regarding how often $f(a,b)=1$ is. We yield the limiting density $ρ=\prod_{p}\left(1-\frac{1}{p^2(p+1)}\right)\approx 0.88151$ which is an Euler product that unexpectedly matches the quadratic class number constant from the theory of real quadratic fields. We also consider its higher-order analogue $f_r$, where the problem collapses to coprimality and the density becomes $1/ζ(2)=6/π^2$.

2025-12-27T06:36:59Z There is an error regarding the computation of the limiting density Thang Pang Ern Malcolm Tan Jun Xi Loh Wei Xuan Ryan http://arxiv.org/abs/2604.15158v2 2026-04-20T04:37:01Z

Let $F=\mathbb{F}_q$ and let $K=\mathbb{F}_{q^m}$ be a finite extension. An additive left group code is a left $FG$-submodule of the group algebra $KG$. In this paper, we introduce projector additive left group codes and restricted projector additive left group codes as additive counterparts of idempotent group codes in the classical theory of group codes. More precisely, they are defined, respectively, as images of $FG$-linear projectors on $KG$ and as images of left $FG$-submodules under such projectors. This perspective is motivated by the fact that idempotent elements of $KG$ do not yield a sufficiently general and natural algebraic framework for the study of additive left group codes. Projector additive left group codes are a particular class of projective left $FG$-submodules of $KG$. Consequently, in the semisimple case every additive left group code arises in this way, whereas in the non-semisimple case the projector construction captures precisely the direct summands of $KG$ as left $FG$-modules, and hence a natural subclass of projective left $FG$-submodules. We further relate trace-Euclidean and trace-Hermitian duality to adjoint projectors, establish criteria for the LCD and self-dual cases, study the Murray--von Neumann equivalence of projectors, and interpret quotients by orthogonal codes in terms of module duals.

2026-04-16T15:37:16Z Javier de la Cruz