https://arxiv.org/api/IvDCg2eLCzDkdrYeTb1R7qzrBbI 2026-03-22T17:34:44Z 19723 90 15 http://arxiv.org/abs/2603.04858v1 2026-03-05T06:33:56Z

Let $R$ be a 3-dimensional complete local Gorenstein isolated singularity. For a basic maximal modifying $R$-module $M$, we construct a wall-and-chamber structure, denoted by ${\sf Cone}(M)$ and called the mutation cone of $M$, in the real Grothendieck group associated to the maximal modification algebra $Λ={\rm End}_R(M)$. Each chamber in ${\sf Cone}(M)$ corresponds to a maximal modifying module obtained by iterated (Iyama--Wemyss) mutations of $M$, and a wall-crossing corresponds to the mutation at an indecomposable summand. Moreover, we introduce the notion of tilting-noetherian property of $Λ$, and by analysis of wall-and-chamber structure of ${\sf Cone}(M)$, we prove that this property holds for $Λ$ if and only if all maximal modifying $R$-modules are connected by iterated mutations. We then consider the finite length subcategory $\mathscr{D}_M\subset {\rm D}^{\rm b}({\rm mod}\,Λ)$ and introduce a full-dimensional connected subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M\subset{\rm Stab}\mathscr{D}_M$ of Bridgeland stability conditions on $\mathscr{D}_M$. We prove that there is a regular covering map from ${\rm Stab}^{\rm mdf}\mathscr{D}_M$ to the complexification ${\sf Cone}(M)_{\mathbb{C}}$ of the mutation cone of $M$, where the Galois group is the subgroup of ${\rm Auteq} \mathscr{D}_M$ consisting of compositions of equivalences associated to mutations of maximal modifying modules. Finally, using the results on stability conditions, we describe the group of autoequivalences of $\mathscr{D}_M$ that preserve the subspace ${\rm Stab}^{\rm mdf}\mathscr{D}_M$.

2026-03-05T06:33:56Z 44 pages, comments are welcome Wahei Hara Yuki Hirano http://arxiv.org/abs/2603.04391v1 2026-03-04T18:53:37Z

This paper is devoted to the classification and studying properties of complex unital $3$-dimensional structurable algebras. We provide a complete list of non-isomorphic classes, identifying five algebras for type $(2, 1)$ and two algebras for type $(1, 2).$ For each obtained algebra, we describe the derivation algebra, the automorphism group, the lattice of subalgebras and ideals, and functional identities of degree $2$. Furthermore, we investigate the Allison-Kantor construction for the classified algebras. We determine the structure of the resulting $\mathbb{Z}$-graded Lie algebras, providing their dimensions and Levi decompositions.

2026-03-04T18:53:37Z Kobiljon Abdurasulov Maqpal Eraliyeva Ivan Kaygorodov http://arxiv.org/abs/2603.04376v1 2026-03-04T18:39:04Z

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$ if and only if $S\otimes_R P$ is projective over $S$. This formalizes and verifies Perry's fix of a subtle gap in the classical work of Raynaud and Gruson, a result which is a key ingredient in the study of finitistic dimension of commutative noetherian rings.

2026-03-04T18:39:04Z 21 pages, comments are welcome! Liran Shaul http://arxiv.org/abs/2603.03982v1 2026-03-04T12:23:52Z

The graded Lie algebra associated with the Nottingham group over a field of prime characteristic serves as a fundamental example of Nottingham algebras, a class of infinite-dimensional, positively graded thin algebras. This paper completes the classification of Nottingham algebras initiated in earlier papers, proving both existence and uniqueness results that determine all such algebras up to isomorphism.

2026-03-04T12:23:52Z 31 pages. arXiv admin note: text overlap with arXiv:2106.14796 M. Avitabile A. Caranti S. Mattarei http://arxiv.org/abs/2511.19051v2 2026-03-04T10:38:52Z

As is known, every finite-dimensional algebra over a field is isomorphic to the centralizer algebra of \textbf{two} matrices. So it is fundamental to study first the centralizer algebra of a single matrix, called a centralizer matrix algebra. In this article, stable equivalences between centralizer matrix algebras over arbitrary fields are completely characterized in terms of a new type of equivalence relation on matrices. Moreover, stable equivalences of centralizer matrix algebras over any fields induce stable equivalences of Morita type, thus preserve dominant, finitistic and global dimensions. Our methods also show that the Alperin--Auslander/Auslander--Reiten conjecture holds true for stable equivalences between an arbitrary algebra and a centralizer matrix algebra over a common field.

2025-11-24T12:39:09Z 29 pages. Results are improved Xiaogang Li Changchang Xi http://arxiv.org/abs/2503.12352v2 2026-03-03T23:13:16Z

For $N>1$, we constructed a canonical connected fundamental domain for $Γ_0(N)$ in [Nie, Parent], utilizing an interesting function $W: {\mathbb Z}/N\to {\mathbb N}$. In this paper, we further study the function $W$, prove some identities, and use it to match the cusps, with widths, produced by our connected fundamental domain with the known cusp classes of $Γ_0(N)$. Furthermore, we list the boundary arcs and the gluing patterns of our connected fundamental domain, a key step in understanding the modular curve $X_0(N)$ by this approach.

2025-03-16T04:45:31Z Major rewrite. Now includes results on the boundary arcs of the connected fundamental domains and the gluing patterns. 1 figure Zhaohu Nie http://arxiv.org/abs/2603.03261v1 2026-03-03T18:51:59Z

We provide an algebraic unification of the spectral gap proofs of the convergence of the renormalised model for regularity structures. We show that the key recentering map used in the literature for adjusting the recentering of the model is given via equivalent characterisations.

2026-03-03T18:51:59Z 18 pages Yvain Bruned Aurélien Minguella http://arxiv.org/abs/2602.16572v2 2026-03-03T18:30:12Z

Over an arbitrary commutative ring $R$, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space $\mathbf{Q}(X)$ of quantum cellular automata (QCA) on a given metric space $X$. In most cases of interest, $π_0 \mathbf{Q}(X)$ classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences $\mathbf{Q}(*) \simeq Ω^n \mathbf{Q}(\mathbb{Z}^n)$ for all $n$, which shows that the classification of QCA on Euclidean lattices is given by an $Ω$-spectrum indexed by the dimension $n$. As a corollary, we also obtain a non-connective delooping of the K-theory of Azumaya $R$-algebras, which may be of independent interest. We also include a section leading to the $Ω$-spectrum for QCA over $C^*$-algebras with unitary circuits.

2026-02-18T16:15:36Z 57 pages, 5 Figures, 1 Table Mattie Ji Bowen Yang http://arxiv.org/abs/2505.21030v2 2026-03-03T11:04:21Z

Let $R$ be a ring, $σ:R\to R$ a ring endomorphism, and $δ:R\to R$ a $σ$-derivation. We establish that the Ore extension $R[x;σ,δ]$ satisfies the rank condition if and only if $R$ does. In addition, we prove analogous results for the right and left strong rank conditions. However, in the right case, the ``if" part requires the hypothesis that $σ$ is an automorphism, whereas, in the left case, this assumption is needed for the ``only if" part. Finally, we provide a new proof of an old result of Susan Montgomery stating that a skew power series ring is directly (respectively, stably) finite if and only if its coefficient ring is directly (respectively, stably) finite.

2025-05-27T11:03:50Z Final version. To appear in Journal of Algebra and its Applications Karl Lorensen Johan Öinert http://arxiv.org/abs/2404.17881v2 2026-03-03T07:14:50Z

We construct and investigate certain (unbalanced) superalgebra structures on $\text{End}_K(V)$, with $K$ a field of characteristic $0$ and $V$ a finite dimensional $K$-vector space (of dimension $n\geq 2$). These structures are induced by a choice of non-degenerate symmetric bilinear form $B$ on $V$ and a choice of non-zero base vector $w\in V$. After exploring the construction further, we apply our results to certain questions concerning integer matrix factorization and isometry of integral lattices.

2024-04-27T12:39:33Z Dan Fretwell Jenny Roberts http://arxiv.org/abs/2506.00610v2 2026-03-02T17:03:08Z

We study generic graded contractions of Lie algebras from the perspectives of group cohomology, affine algebraic geometry and monoidal categories. We show that generic graded contractions with a fixed support are classified by a certain abelian group, which we explicitly describe. Analyzing the variety of generic graded contractions as an affine algebraic variety allows us to describe which generic graded contractions define graded degenerations of a given graded Lie algebra. Using the interpretation of generic $G$-graded contractions as lax monoidal structures on the identity endofunctor of the monoidal category of $G$-graded vector spaces, we establish a functorial version of the Weimar-Woods conjecture on equivalence of generic graded contractions.

2025-05-31T15:47:49Z 25 pages, published version, minor corrections J. Algebra 696 (2026), 245-277 Mikhail V. Kochetov Serhii D. Koval 10.1016/j.jalgebra.2026.02.015 http://arxiv.org/abs/2603.01988v1 2026-03-02T15:41:53Z

A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a \emph{generalized Moufang group of $p$-type} (or $GM(p)$-type), in which the product of any two distinct involutions from $T$ has a fixed prime order $p$. For any such group $(G,T)$ and a scalar parameter $η$ in a field $\mathbb F$, we construct a non-associative, non-commutative algebra $A = A_{\mathbb F}(G,T,η)$. We prove that every element of $T$ considered as an element of the algebra $A$, is a primitive semisimple idempotent, defining a $\mathbb Z_{2}$-grading of $A$. The Miyamoto group of $A$ with respect to $T$ is isomorphic to $G/Z(G)$. The algebra $A$ contains no nontrivial right ideals and, for a specific choice of the parameter $η$, admits a symmetric left Frobenius form. When $G$ is a free Burnside group of odd prime period $p$ extended by an involutory automorphism, the finiteness of $G$ is equivalent to the finite-dimensionality of $A_{\mathbb F}(G,T,η)$, providing a reformulation of the Burnside problem. For $p=5$ and $η=-1/3$, the algebra generated by two idempotents from $T$ is left-axial and satisfies the Monster-type fusion law $\mathcal{M}(4/3, -4/3)$. For a prime $p>5$, the two-generated algebra is also axial, but obeys a more general fusion law. Although the algebra $A_{\mathbb F}(G,T,η)$ is initially defined using a group $GM(p)$-type, we show that it admits an intrinsic, group-free characterization by axiomatizing a class of so-called $GM(p,η)$-type algebras. We prove that every algebra in this class is isomorphic to one arising from the construction above, establishing the equivalence of the two definitions.

2026-03-02T15:41:53Z Ilya Gorshkov http://arxiv.org/abs/2310.03822v4 2026-03-02T15:25:10Z

This article investigates the properties of Dedekind superrings, invertible supermodules and projective supermodules within the $\mathbb{Z}_2$-graded framework. Rather than treating these entities as specialized instances of general noncommutative ring theory, we develop them intrinsically within the category of supercommutative superrings. We examine the structural parallels to the classical commutative framework and, more importantly, characterize the fundamental discrepancies that emerge in the $\mathbb{Z}_2$-graded setting. In particular, we show that many hallmark equivalences of classical Dedekind domains-including those involving integral closedness and the coincidence of principal and unique factorization domains-fail to persist in the presence of an odd part.

2023-10-05T18:17:10Z In this revised version, the abstract and introduction have been expanded, and additional clarifying remarks have been integrated throughout the text Pedro Rizzo Joel Torres Del Valle Alexander Torres-Gomez http://arxiv.org/abs/2509.02263v3 2026-03-02T13:08:34Z

Motivated by the classical theory of spin structures, we develop a theory for lifting free C$^*$-dynamical systems, a.k.a. noncommutative principal bundles, along central extensions. This theory extends the bundle-theoretic notion of spin structures and yields a complete existence and classification result for such lifts. Using factor system techniques and Picard formalism, our approach introduces new invariants and obstruction classes, thereby unifying geometric, cohomological, and operator-algebraic perspectives. A range of examples demonstrates the scope of the theory.

2025-09-02T12:37:57Z 31 pages. Example in Section 4.6 corrected and updated; minor typos corrected. All comments are welcome Stefan Wagner http://arxiv.org/abs/2603.01424v1 2026-03-02T04:04:11Z

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring admitting a canonical module, and assume that $R$ is maximal Cohen--Macaulay over the base ring. We provide a characterization of when $R$ is left weakly Gorenstein. We further show that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\Ext$-orthogonal class of the thick subcategory generated by finitely generated $R$-modules of finite projective or finite injective dimension. As a consequence, finitely generated Gorenstein projective $R$-modules generate a hereditary cotorsion pair. Moreover, we show that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.

2026-03-02T04:04:11Z Souvik Dey Jian Liu Xue-Song Lu