https://arxiv.org/api/U6ecM4j9kmj7YuJuGO1HHA099Cs 2026-06-14T13:43:55Z 20068 360 15 http://arxiv.org/abs/2505.14485v4 2026-04-23T08:54:52Z

We present a new approach to verify the Elementary Type Conjecture for abstract Witt rings with small number of square classes. To do so, we make use of an abstract analogue of the 2-torsion part of the Brauer group, also verifying a certain case of the Arason-Pfister Hauptsatz in this setting. We develop a description of the entire structure of an abstract Witt ring with $2^n$ square classes in terms of a unique $n\times n$ matrix. Via computational search, we find all these matrices for $n$ up to $7$. All obtained results affirm the Elementary Type Conjecture.

2025-05-20T15:16:49Z The code used is available at https://github.com/nicolo314/NormalQuaternionicMatrices Nico Lorenz Alexander Schönert http://arxiv.org/abs/2501.18847v2 2026-04-23T00:37:29Z

We give a complete classification to when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and bi-orderable surface groups. We also give another new criterion for an outer automorphism of $F_n$ induced by action of an $n$-strand braid to preserve a bi-order on $F_n.$ Using the new criterion, we produce examples of order-preserving whose underlying permutation is a full cycle which answers in affirmative a question of Kin and Rolfsen.

2025-01-31T01:58:16Z 25 pages. Revised according to comments from the referees. The exposition in Section 2 was largely rewritten. Section 4.1 was removed. More details added to section 5.1. To appear in Journal of Algebra Jonathan Johnson Khanh Le http://arxiv.org/abs/2604.21167v1 2026-04-23T00:19:36Z

We extend the concept of a partial group action to non-associative algebras in a variety \(\mathcal{V}(I)\), solve the globalization problem within \(\mathcal{V}(I)\) and examine its universal property. It is achieved using what we call the ``$Λ$-construction'', which we also apply to deal with covariant representations in the associative and Lie algebra settings, considering related categories and constructing an adjoint pair of functors between them. We also show that the $Λ$-construction behaves well with semidirect products of Lie algebras.

2026-04-23T00:19:36Z Mikhailo Dokuchaev Emmanuel Jerez José L. Vilca-Rodríguez http://arxiv.org/abs/2604.20947v1 2026-04-22T17:29:12Z

For some important families of complete infinite lattices, we study some generalizations of two fundamental notions which are mostly treated for finite lattices. Specifically, for well-separated $κ$-lattices, and also for weakly atomic completely semidistributive lattices, we generalize the notions of left modularity and extremality. These two families of lattices coincide if restricted to finite lattices, but are distinct when infinite lattices are also included. For both families, we prove that extremality and left modularity imply each other. Furthermore, for weakly atomic completely semidistributive lattices, we give several conceptual characterizations of left modular elements, and show that the set of left modular elements form a complete distributive sublattice. Our results, combined with some recent work on finite lattices, imply that the weakly atomic completely semidistributive lattices that are left modular (or extremal) generalize the semidistributive trim lattices; from finite to infinite lattices. We then apply our results to the lattice of torsion classes of finite dimensional algebras, which are known to fall in the intersection of the two families treated in our work. For an algebra $A$, we obtain that the lattice of torsion classes is left modular (equivalently, extremal) if and only if $A$ is brick-directed. This leads to an abundance of concrete examples and non-examples.

2026-04-22T17:29:12Z 27 pages, Comments are welcome Sota Asai Osamu Iyama Kaveh Mousavand Charles Paquette http://arxiv.org/abs/2402.13633v2 2026-04-22T15:56:11Z

We study noncommutative rings whose proper subrings all satisfy the same chain condition. We show that if every proper subring of a ring $R$ is right Noetherian, then $R$ is either right Noetherian or the trivial extension of $\mathbb{Z}$ by the Prüfer $p$-group for a prime $p$. We also prove that if every proper subring of $R$ is right Artinian, then $R$ is either right Artinian or $\mathbb{Z}$. For commutative rings, both results were proved by Gilmer and Heinzer in 1992. Our result for right Artinian subrings only generalises the absolute case of their commutative result. We generalise the full result (when only certain subrings are right Artinian) in the context of PI rings.

2024-02-21T09:10:26Z 10 pages J. Algebra, 693, 362-371 (2026) Nathan Blacher 10.1016/j.jalgebra.2026.01.021 http://arxiv.org/abs/2604.20649v1 2026-04-22T14:58:54Z

Let $S$ be an $\mathbb N$-graded Koszul Artin-Schelter regular algebra and let $σ$ be a graded algebra automorphism of $S$. We study the stable category of graded maximal Cohen-Macaulay modules over the trivial extension algebra $S\ltimes S_σ(-1)$. We show that this category is triangle equivalent to the bounded derived category of finitely generated (ungraded) modules over the Koszul dual algebra of the Zhang twist $S^{σ^{-1}}$. In the connected graded case, we also obtain a criterion for when two such stable categories are triangle equivalent, and show that such an equivalence induces an equivalence between the categories of graded modules over the original algebras.

2026-04-22T14:58:54Z 19 pages Kenta Ueyama http://arxiv.org/abs/2604.20554v1 2026-04-22T13:37:49Z

We construct examples of abelian categories with no non-zero injective (or projective) objects satisfying Grothendieck's AB5 condition. The procedure combines Rickard's examples of AB5 categories without products but some non-trivial injectives (also addressing an apparent gap in the literature) with a 2-functorial construct attaching to any category $\mathcal{C}$ that of $\mathcal{C}$-objects equipped with set-indexed families of endomorphisms.

2026-04-22T13:37:49Z 9 pages Alexandru Chirvasitu http://arxiv.org/abs/2605.08100v1 2026-04-22T11:14:39Z

Let $R$ be an algebra over an uncountable field, $σ$ a locally torsion automorphism and $δ$ a locally nilpotent left $σ$-derivation such that $qσδ= δσ$, where $q$ is a nonzero scalar. We show that the constant part of the Jacobson radical of the Ore extension $R[x;σ,δ]$ is nil. This partially answers a question of Greenfeld, Smoktunowicz and Ziembowski posed in 2019. As a corollary, we employ Shin's 2024 result to prove a q-skew Amitsur's theorem whenever the field is additionally assumed to be of characteristic zero. That is, the Jacobson radical of $R[x;σ, δ]$ is $N[x;σ,δ]$ for some nil ideal $N$ of $R$.

2026-04-22T11:14:39Z 13 pages; comments welcome Aristide F. J. -C. Launois http://arxiv.org/abs/2604.20412v1 2026-04-22T10:30:21Z

We construct a free Poisson algebra endowed with a Rota-Baxter operator. The same construction works for a free Poisson algebra endowed with a Nijenhuis operator.

2026-04-22T10:30:21Z 18 p Vsevolod Gubarev http://arxiv.org/abs/2506.03952v2 2026-04-22T08:07:54Z

In this paper, we investigate pre-Calabi-Yau algebras and homotopy double Poisson algebras arising from homotopy Rota-Baxter structures. We introduce the notion of cyclic homotopy Rota-Baxter algebras, a class of homotopy Rota-Baxter algebras endowed with additional cyclic symmetry, and present a construction of such structures via a process called cyclic completion. We further introduce the concept of interactive pairs, consisting of two differential graded algebras-designated as the acting algebra and the base algebra-interacting through compatible module structures. We prove that if the acting algebra carries a suitable cyclic homotopy Rota-Baxter structure, then the base algebra inherits a natural pre-Calabi-Yau structure. Using the correspondence established by Fernandez and Herscovich between pre-Calabi-Yau algebras and homotopy double Poisson algebras, we describe the resulting homotopy Poisson structure on the base algebra in terms of homotopy Rota-Baxter algebra structure. In particular, we show that a module over an ultracyclic (resp. cyclic) homotopy Rota-Baxter algebra admits a (resp. cyclic) homotopy double Lie algebra structure.

2025-06-04T13:42:54Z Postprint version Yufei Qin Kai Wang http://arxiv.org/abs/2503.01188v4 2026-04-22T05:34:29Z

For a balanced pair $(\mathcal{X},\mathcal{Y})$ in an abelian category, we investigate when the chain homotopy categories ${\bf K}(\mathcal{X})$ and ${\bf K}(\mathcal{Y})$ are triangulated equivalent. To this end, we realize these chain homotopy categories as homotopy categories of certain model categories and give conditions that ensure the existence of a Quillen equivalence between the model categories in question. We further give applications to cotorsion triples, Gorenstein projective and Gorenstein injective modules, as well as pure projective and pure injective objects.

2025-03-03T05:27:46Z 24 pages Jiangsheng Hu Wei Ren Xiaoyan Yang Hanyang You http://arxiv.org/abs/2604.19872v1 2026-04-21T18:00:04Z

We determine the border subrank of higher order structure tensors of several families of algebras, and in particular obtain the following results. (1) We determine tight bounds on the border subrank of $k$-fold matrix multiplication and $k$-fold upper triangular matrix multiplication for all $k$. (2) We determine the border subrank of the higher order structure tensors of truncated polynomial algebras, null algebras, and apolar algebras of a quadric. (3) We determine the border subrank of the higher order structure tensors of the Lie algebra $\mathfrak{sl}_2$ for all orders. (4) We prove that degeneration of structure tensors of algebras propagates from higher to lower order. Along the way, we investigate which upper bound methods (geometric rank, $G$-stable rank, socle degree) are effective in which settings, and how they relate. Our work extends the results of Strassen (J.~Reine Angew.~Math., 1987, 1991), who determined the asymptotic subrank of these algebras for tensors of order three, in two directions: we determine the border subrank itself rather than its asymptotic version, and we consider higher order structure tensors.

2026-04-21T18:00:04Z 35 pages + one appendix Chia-Yu Chang Fulvio Gesmundo Jeroen Zuiddam http://arxiv.org/abs/2605.08099v1 2026-04-21T16:32:21Z

The theory of C4*-modules is presently dominated by decomposition methods, but it lacks a systematic closure theory. In particular, it is not known in general whether the C4* property is preserved under extensions, kernels, cokernels, or short exact sequences. This is a structural difficulty, since C4*-type conditions are governed by summand behavior and comparison of submodules, and such data are not automatically respected by exact sequences. This paper develops an exact-sequence framework for C4*-modules and strongly C4*-modules. It identifies explicit hypotheses under which these classes are stable under split extensions, admissible kernels, admissible cokernels, and short exact extensions. The paper also separates positive and negative directions: closure results are established under summand-lifting and factor-control assumptions, while converse results show that these hypotheses cannot in general be removed. This produces concrete obstruction patterns for extension stability and for passage to submodules and factor modules. A further aim is categorical. Natural ambient settings are identified in which C4*-modules form an extension-closed subcategory, or at least a relative exact class appropriate to summand-sensitive module theory. Finally, concrete ambient verification theorems are proved: semisimple right modules over any ring provide a canonical exact environment, and over a semisimple artinian ring this extends to the full module category.

2026-04-21T16:32:21Z Chandrasekhar Gokavarapu Government College http://arxiv.org/abs/2506.00940v3 2026-04-21T14:31:42Z

We discuss the (first) Sylow theorem for certain classes of finite skew braces, proving it to hold true when the skew brace is two-sided, bi-skew, right nilpotent, $λ$-homomorphic or supersoluble. We also show it to hold true for soluble skew braces that are left-nilpotent, and address a number of more specialized settings, proving general Hall-type theorems.

2025-06-01T10:14:34Z 14 pages A. Caranti I. Del Corso M. Di Matteo M. Ferrara M. Trombetti http://arxiv.org/abs/2603.25679v2 2026-04-21T14:22:14Z

We investigate finiteness conditions on modules of bounded projective dimension and their connection with generalized notions of coherence. For a ring $R$, we consider the class $\mathsf{FP}_n^{\le d}(R)$ of finitely $n$-presented modules of projective dimension at most $d$ and develop the corresponding relative homological theory. We establish several characterizations of left $(n,d)$-coherent rings in the sense of Mao and Ding [43], in terms of $\mathsf{FP}_n^{\le d}(R)$ and the associated classes of $\mathsf{FP}_n^{\le d}$-injective, $\mathsf{FP}_n^{\le d}$-projective, $\mathsf{FP}_n^{\le d}$-flat, and $\mathsf{FP}_n^{\le d}$-cotorsion modules. As a consequence, when $d \ge \gD(R)$ or $d=\infty$, we recover Costa's $n$-coherence [17] and obtain new characterizations of regularly coherent rings.

2026-03-26T17:32:05Z Rafael Parra