https://arxiv.org/api/YkxNnO0fhvtK4w1dAo3eOkBWkFA 2026-06-21T16:15:22Z 20100 735 15 http://arxiv.org/abs/2602.03091v2 2026-02-25T17:03:47Z

We study the dual algebras of (discrete) Hopf algebroids. In particular, we understand comodules over a Hopf algebroid as (discrete) modules over its dual algebra.

2026-02-03T04:34:00Z 38 pages Jingbang Guo http://arxiv.org/abs/2602.14034v2 2026-02-25T13:52:39Z

We prove that all noetherian PI Artin--Schelter regular algebras of dimension $3$ are unique factorization rings. In a certain sense, this result is a noncommutative analogue to the fact that regular local rings of dimension 3 are UFDs. The fact constitutes a crucial component in the proof of the assertion that all regular local rings are UFDs, known as the Auslander--Buchsbaum theorem.

2026-02-15T07:49:33Z Silu Liu Quanshui Wu http://arxiv.org/abs/2505.10683v3 2026-02-25T05:47:32Z

Let $G \leq \operatorname{SL}_3(\mathbb{C})$ be a non-trivial finite group, acting on $R = \mathbb{C}[x_1, x_2, x_3]$. The resulting skew-group algebra $R \ast G$ is $3$-Calabi-Yau, and can sometimes be endowed with the structure of a $3$-preprojective algebra. However, not every such $R \ast G$ admits such a structure. The finite subgroups of $\operatorname{SL}_3(\mathbb{C})$ are classified into types (A) to (L). We consider the groups $G$ of types (C) and (D) and determine for each such group whether the algebra $R \ast G$ admits a $3$-preprojective cut, that is a $3$-preprojective structure arising from a grading of the McKay quiver of $G$. We show that the algebra $R \ast G$ admits a $3$-preprojective cut if and only if $9 \mid |G|$. Our proof is constructive and yields a description of the involved $2$-representation infinite algebras. This is based on the semi-direct decomposition $G \simeq N \rtimes K$ for an abelian group $N$, and we show that the existence of a $3$-preprojective structure on $R \ast G$ is essentially determined by the existence of one on $R \ast N$. This provides new classes of $2$-representation infinite algebras, and we discuss some $2$-Auslander-Platzeck-Reiten tilts. Along the way, we give a detailed description of the involved groups and their McKay quivers by iteratively applying skew-group constructions.

2025-05-15T19:59:22Z Clarified the notion of cuts vs. gradings. Removed the incorrect Proposition 2.15 (v2) and adapted affected proofs. 28 pages. Comments welcome! Darius Dramburg Oleksandra Gasanova http://arxiv.org/abs/2602.12908v2 2026-02-25T02:59:16Z

In this paper, we develop the bialgebra theory for coherent noncommutative pre-Poisson algebras and establish equivalences among matched pairs, Manin triples, the phase space of noncommutative Poisson algebras and noncommutative pre-Poisson bialgebras. The investigation of coboundary noncommutative pre-Poisson bialgebras naturally leads to the noncommutative pre-Poisson Yang-Baxter equation (NPP-YBE). We prove that a symmetric solution of the NPP-YBE gives rise to a (coboundary) noncommutative pre-Poisson bialgebra. Moreover, we demonstrate how solutions without the symmetry condition can also generate such bialgebras. This motivates the introduction of quasi-triangular and factorizable noncommutative pre-Poisson bialgebras.In particular, we show that a solution of the NPP-YBE with an invariant skew-symmetric part yields a quasi-triangular noncommutative pre-Poisson bialgebra.Such solutions are further interpreted as relative Rota-Baxter operators with weights. Finally, we establish a one-to-one correspondence between quadratic Rota-Baxter noncommutative pre-Poisson algebras and factorizable noncommutative pre-Poisson bialgebras.

2026-02-13T13:09:13Z 34pages Hongliang Li Qinxiu Sun http://arxiv.org/abs/2406.07708v2 2026-02-24T21:35:08Z

We study the space of non-degenerate traces on quantized Kleinian singularities of type A by studying their complement, the degenerate traces. In particular, we find the dimension of the space of twisted traces as a function of the corresponding automorphism and the quantization parameters, encoded in a polynomial $P$.

2024-06-11T20:42:59Z 13 pages, final version, to appear in Involve Zev Friedman Ben Webster 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/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