https://arxiv.org/api/pWoHOj/p0r6l2QbEs/ln6Yh7kPY 2026-03-22T21:42:25Z 19723 135 15 http://arxiv.org/abs/2602.21310v1 2026-02-24T19:32:53Z

Binary idempotent semirings govern classical path algebras. Their multiplicative structure is dyadic. We examine whether this restriction is structural or accidental. We define ternary idempotent $Γ$-semirings as higher-arity ordered algebraic systems admitting associative ternary composition compatible with idempotent addition. We prove that such structures strictly extend classical semiring path algebras. In particular, we construct a ternary associative operation which cannot be represented as an iterated associative binary operation. This establishes non-reducibility. We formulate a higher-order path problem in directed graphs with weights in a ternary idempotent $Γ$-semiring. The associated relaxation operator is shown to be monotone on a complete lattice and to admit a least fixed point. Convergence follows under a finite acyclicity condition. The combinatorial growth of interaction windows yields a distinct complexity class relative to binary path schemes. These results indicate that dyadic semiring frameworks do not exhaust algebraic path formalisms. Higher-arity composition introduces structural phenomena absent in binary systems.

2026-02-24T19:32:53Z Chandrasekhar Gokavarapu Department of Mathematics Acharya Nagarjuna University, India and Government College D. Madhusudhana Rao Department of Mathematics, Acharya Nagarjuna University, Guntur, India, and Government College for Women http://arxiv.org/abs/2602.21060v1 2026-02-24T16:16:52Z

We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization system of surjections and faithfully flat injections, and we deduce coexactness from Takeuchi's correspondence between normal Hopf ideals and Hopf subalgebras of commutative Hopf $k$-algebras.

2026-02-24T16:16:52Z 7 pages, 4 commutative diagrams David Forsman http://arxiv.org/abs/2602.21030v1 2026-02-24T15:51:39Z

Linear preserver problems have been a central focus of research in matrix theory and operator theory for more than a century, beginning with Frobenius' 1897 characterization of determinant preserving linear maps on the space of complex matrices. Since this foundational result, considerable work has examined linear preservers of diverse subsets, functions, and relations across different matrix and operator spaces. The purpose of this survey is to present the current state of research on linear preserver problems for several positivity classes of matrices. We provide an overview of recent developments in the literature and, for each positivity class considered, identify gaps that remain to guide future research.

2026-02-24T15:51:39Z 23 pages, no figures Projesh Nath Choudhury Shivangi Yadav http://arxiv.org/abs/2112.05949v5 2026-02-24T15:37:36Z

The present paper continues our foundational work on real algebra with preordered commutative semifields and semirings. We prove two abstract Vergleichsstellensätze for preordered commutative semirings of polynomial growth. These generalize the results of Part I by no longer assuming $1 \ge 0$. Such a generalization comes with substantial technical complications: our Vergleichsstellensätze now also need to take into account infinitesimal information encoded in the form of monotone derivations in addition to the monotone homomorphisms to the nonnegative reals and tropical reals. The auxiliary technical results we develop along the way include surprising implications between inequalities in preordered semifields and a type classification for multiplicatively Archimedean fully preordered semifields. Among other applications, two companion papers use these results in order to derive limit new results in probability and information theory; one on asymptotics of random walks on topological abelian groups, and the other on the asymptotics of matrix majorization.

2021-12-11T11:01:14Z 55 pages. v5: incorporates feedback by referee and other readers. See also arXiv:2003.13835 and arXiv:2301.07353 for applications. arXiv admin note: text overlap with arXiv:2003.13835 Tobias Fritz http://arxiv.org/abs/2602.20753v1 2026-02-24T10:31:33Z

The symplectic analogues of Schur's theorem and Ky Fan's minimum principle are shown to be equivalent. Moreover, the symplectic Schur's and Horn's theorems are extended to generalized means.

2026-02-24T10:31:33Z Kennett L. Dela Rosa Aedan Jarrod A. Potot http://arxiv.org/abs/2504.07620v2 2026-02-24T10:30:18Z

In this paper we investigate equivariant recollements of abelian (resp. triangulated) categories. We first characterize when a recollement of abelian (resp. triangulated) categories induces an equivariant recollement, i.e. a recollement between the corresponding equivariant abelian (resp. triangulated) categories. We further investigate singular equivalences in the context of equivariant abelian recollements. In particular, we characterize when a singular equivalence induced by the quotient functor in an abelian recollement lifts to a singular equivalence induced by the equivariant quotient functor. As applications of our results: (i) we construct equivariant recollements for the derived category of a quasi-compact, quasi-separated scheme where the action comes from a subgroup of the automorphism group of the scheme and (ii) we establish new singular equivalences between certain skew group algebras.

2025-04-10T10:08:23Z 49 pages. v2: Edits following referee report. Comments are welcome Miltiadis Karakikes Aristeides Kontogeorgis Chrysostomos Psaroudakis http://arxiv.org/abs/2508.08753v4 2026-02-24T09:32:57Z

Let $(R,M,k)$ be a complete local ring (not necessarily Noetherian). Then we reprove by a new method that the natural surjective ring map $R\rightarrow k$ admits a splitting if and only if $\Char(R)=\Char(k)$. In our proof there is no need for the existence of the coefficient field for equi-characteristic complete local rings, whose existence is the hardest part of the known proof. However, the main result of this article is that in the unequal characteristic case $\Char(R)\neq\Char(k)$, we prove that the natural surjective map between the groups of units $R^{\ast}\rightarrow k^{\ast}$ admits a splitting. As an application of the above theorem, we show that for any complete local ring $(R,M,k)$ the following short exact sequence of Abelian groups: $$\xymatrix{1\ar[r]&1+M\ar[r]& R^{\ast}\ar[r]&k^{\ast} \ar[r]&1}$$ is always split. Next, we show with an example that the above exact sequence does not split for many incomplete local rings.

2025-08-12T08:57:49Z 15 pages Abolfazl Tarizadeh http://arxiv.org/abs/2602.20631v1 2026-02-24T07:25:22Z

Rota-Baxter operators and bialgebras are closely connected in several applications, such as the Connes-Kreimer renormalization framework and the operator approach to the classical Yang-Baxter equation. The concept of a Rota-Baxter system was introduced in 2016 as a generalization of a Rota-Baxter operator. In this work, we introduce a bialgebra structure compatible with a symmetric Rota-Baxter system, called a symmetric Rota-Baxter antisymmetric infinitesimal (ASI) bisystem. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the setting of symmetric Rota-Baxter systems. Investigating the coboundary case leads to an enriched version of the associative Yang-Baxter equation (aYBe) adapted to symmetric Rota-Baxter systems. Antisymmetric solutions of this equation are used to construct symmetric Rota-Baxter ASI bisystems. We also introduce the notion of an $\mathcal{O}$-operator on a symmetric Rota-Baxter system, which produces solutions of the admissible aYBe in such systems and thereby gives rise to symmetric Rota-Baxter ASI bisystems. A symmetric Rota-Baxter bisystem generalizes several known structures, including Rota-Baxter Lie bisystems, Rota-Baxter ASI bialgebras, Rota-Baxter Lie bialgebras, averaging ASI bialgebras, averaging Lie bialgebras, and special apre-perm bialgebras.

2026-02-24T07:25:22Z 40 pages Chan Zhao Haiying Li Tianshui Ma http://arxiv.org/abs/2503.23117v3 2026-02-24T01:11:31Z

Let $R$ be a commutative noetherian local differential graded (DG) ring. In this paper we propose a definition of a maximal Cohen-Macaulay DG-complex over $R$ that naturally generalizes a maximal Cohen-Macaulay complex over a noetherian local ring, as studied by Iyengar, Ma, Schwede, and Walker. Our proposed definition extends the work of Shaul on Cohen-Macaulay DG-rings and DG-modules, as any maximal Cohen-Macaulay DG-module is a maximal Cohen-Macaulay DG-complex. After proving necessary lemmas in derived commutative algebra, we establish the existence of a maximal Cohen-Macaulay DG-complex for every DG-ring with constant amplitude that admits a dualizing DG-module. We then use the existence of these DG-complexes to establish a derived Improved New Intersection Theorem for all DG-rings with constant amplitude.

2025-03-29T15:17:07Z 24 pages; Final version - fixes typos and minor mistakes as suggested by referee J.Pure and Applied Algebra. 203.2 (2026) Zachary Nason 10.1016/j.jpaa.2026.108193 http://arxiv.org/abs/2602.00932v2 2026-02-24T00:49:40Z

The existence of the Gorenstein projective precovers over $R$ an arbitrary ring, as well as the completeness of the Gorenstein projective cotorsion pair $(\mathcal{GP},\mathcal{GP}^{\perp})$, are open questions. In this paper, we provide some answers to these questions and use the tool developed to confirm the Gorenstein Symmetry Conjecture, under two different situations. We also analyze situations where the finiteness of $\mathrm{silp}(R)$ implies $\mathrm{spli}(R)$ finite, and its counterpart.

2026-01-31T23:16:09Z Víctor Becerril http://arxiv.org/abs/2402.14130v2 2026-02-23T14:09:31Z

Let $G$ be a finitely generated torsion-free pro-$p$ group containing an open free-by-$\mathbb{Z}_p$ pro-$p$ subgroup. We show that the completed group algebra of $G$ over $\mathbb{F}_p$ is a Sylvester domain. Moreover the inner rank of a matrix $A$ over this completed group algebra can be calculated by approximation by ranks corresponding to finite quotients of $G$, that is, if $G=G_1>G_2>\ldots$ is a chain of normal open subgroups of $G$ with trivial intersection and $A_i$ is the matrix over $\mathbb{F}_p[G/G_i]$ obtained from the matrix $A$ by applying the natural homomorphism induced from $G \to G/G_i$, then the inner rank of $A$ equals $\lim_{i\to \infty} \frac{\operatorname{rk}_{\mathbb{F}_p} (A_i)}{|G:G_i|}$. As a consequence, we obtain a particular case of the mod $p$ Lück approximation for abstract finitely generated subgroups of free-by-$\mathbb{Z}_p$ pro-$p$ groups.

2024-02-21T20:59:31Z 43 pages Andrei Jaikin-Zapirain Henrique Souza 10.4171/dm/1034 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.19533v1 2026-02-23T05:55:52Z

This paper investigates the grokking phenomenon, which refers to the sudden transition from a long memorization to generalization observed during neural networks training, in the context of learning multiplication in finite-dimensional algebras (FDA). While prior work on grokking has focused mainly on group operations, we extend the analysis to more general algebraic structures, including non-associative, non-commutative, and non-unital algebras. We show that learning group operations is a special case of learning FDA, and that learning multiplication in FDA amounts to learning a bilinear product specified by the algebra's structure tensor. For algebras over the reals, we connect the learning problem to matrix factorization with an implicit low-rank bias, and for algebras over finite fields, we show that grokking emerges naturally as models must learn discrete representations of algebraic elements. This leads us to experimentally investigate the following core questions: (i) how do algebraic properties such as commutativity, associativity, and unitality influence both the emergence and timing of grokking, (ii) how structural properties of the structure tensor of the FDA, such as sparsity and rank, influence generalization, and (iii) to what extent generalization correlates with the model learning latent embeddings aligned with the algebra's representation. Our work provides a unified framework for grokking across algebraic structures and new insights into how mathematical structure governs neural network generalization dynamics.

2026-02-23T05:55:52Z 34 pages, 13 figures Pascal Jr Tikeng Notsawo Guillaume Dumas Guillaume Rabusseau