https://arxiv.org/api/bk/xL47Ws8hcqyPVDKYt35O2O6w 2026-06-14T01:10:03Z 20068 180 15 http://arxiv.org/abs/2605.20775v1 2026-05-20T06:16:27Z

A pseudo-Euclidean Novikov superalgebra $A$ is a Novikov superalgebra endowed with a non-degenerate symmetric bilinear form $\langle,\rangle$ such that all left multiplication operators are $\langle,\rangle$-antisymmetric. In this case, the associated Lie superalgebra $(A^{-},$\langle,\rangle$)$ is a flat pseudo-Euclidean Lie superalgebra. In this paper, we investigate the structure of pseudo-Euclidean Novikov superalgebras. In particular, we introduce a distinguished subclass, called Milnor superalgebras, and prove that any pseudo-Euclidean Novikov superalgebra whose two-sided ideal is non-degenerate belongs to this class. We provide a method for constructing pseudo-Euclidean Novikov superalgebras. We also introduce a double extension procedure for pseudo-Euclidean Novikov superalgebras and show that every such superalgebra with a degenerate two-sided ideal can be obtained via this method. Furthermore, we establish that any pseudo-Euclidean Novikov superalgebra is either a Milnor superalgebra or can be obtained by a sequence of double extensions starting from a Milnor superalgebra. As an application, we provide a complete classification of pseudo-Euclidean Novikov superalgebras of total dimension at most four.

2026-05-20T06:16:27Z 50 pages Said Benayadi Sofiane Bouarroudj Hamza El Ouali http://arxiv.org/abs/2507.19879v3 2026-05-20T05:56:39Z

This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_Λ)$ of the infinite path groupoid $\mathcal{G}_Λ$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $Λ$ and $Ω$ without sources and with finite object sets, we obtain a sufficient criterion for lifting a pointed order-preserving $\mathbb{Z}[\mathbb{Z}^k]$-module homomorphism between $K_0^{gr}(KP_\mathsf{k}(Λ))$ and $K_0^{gr}(KP_\mathsf{k}(Ω))$ to a unital graded ring homomorphism between $KP_\mathsf{k}(Λ)$ and $KP_\mathsf{k}(Ω)$. For this we adopt, in the setting of $k$-graphs, the bridging bimodule technique recently introduced by Abrams, Ruiz and Tomforde (Algebr. Represent. Theory 2024).

2025-07-26T09:20:11Z Typos corrected. Comments are welcome Ann. K-Th. 11 (2026) 419-488 Roozbeh Hazrat Promit Mukherjee David Pask Sujit Kumar Sardar 10.2140/akt.2026.11.419 http://arxiv.org/abs/2506.23277v5 2026-05-20T02:16:37Z

In this paper, we investigate equivalent characterizations of the condition that every acyclic complex of projective, injective, or flat modules is totally acyclic over a general ring R. We provide examples to illustrate relationships among these conditions and show that several are closely tied to the homological invariants silp(R), spli(R) and sfli(R). We also give sufficient conditions for the equality spli(R) = silp(R), thereby refining results due to Ballas-Chatzistavridis and Wang-Yang. Further, we extend a result of Christensen-Foxby-Holm on characterizations of Iwanaga-Gorenstein rings to the non-commutative setting. This generalizes a theorem of Estrada-Fu-Iacob, offering additional equivalent characterizations under a general assumption while also yielding characterizations of the Nakayama conjecture.

2025-06-29T15:09:37Z Minor revision; to appear in Homology,Homotopy and Applications Jian Wang Yunxia Li Jiangsheng Hu Haiyan zhu http://arxiv.org/abs/2605.20440v1 2026-05-19T19:47:40Z

We introduce the $\star_G$ tensor algebra, in which any finite group $G$ defines the multiplication rule, making equivariance an intrinsic algebraic property rather than an architectural constraint. The framework rests on three machine-verified theoretical pillars: (i)~an Eckart-Young optimality guarantee for the $\star_G$-SVD: the first such result for symmetry-preserving tensor approximation, exact and polynomial-time; (ii)~a Kronecker factorization that composes multiple symmetries by replacing $F_G$ with $F_{G_1} \otimes F_{G_2}$ with no architectural redesign; and (iii)~a 600-line Lean~4 formalization of the $\star_G$ algebra. The framework provides capabilities that equivariant neural networks (ENNs) structurally cannot: a closed-form per-irreducible-representation decomposition of every prediction, and data-driven discovery of the symmetry group that best fits a dataset. As a non-trivial empirical demonstration, decomposing QM9 molecular geometry over the chiral octahedral subgroup of SO(3) recovers the Wigner--Eckart selection rules of angular momentum from data alone, with no quantum mechanical input: scalar properties are A$_1$-dominated, dipole components are T$_1$-dominated, the isotropic polarizability is uniquely insensitive to $l\!=\!1$ as the rank-2-trace decomposition $l\!=\!0 \oplus l\!=\!2$ requires, and the T$_1$/A$_1$ predictive-power ratio separates vector observables from scalar observables by a factor of five. On full QM9 (130{,}831 molecules), $\star_G$-SVD with ridge regression provides closed form predictions at $\sim50-90\times$ fewer parameters than parameter-matched MLPs. Algebraic equivariance thus complements architectural equivariance not as a faster-better-cheaper alternative but as a different mathematical affordance: provably-optimal symmetry-preserving compression, per-irrep interpretability, and data-driven physical discovery.

2026-05-19T19:47:40Z Paulina Hoyos Shashanka Ubaru Dongsung Huh Vasileios Kalantzis Kenneth L. Clarkson Misha Kilmer Haim Avron Lior Horesh http://arxiv.org/abs/2605.19691v1 2026-05-19T11:24:38Z

In this paper, we develop a geometric framework for matrix rank-metric codes based on generator tensors and their slice spaces. To every nondegenerate matrix rank-metric code, we associate two systems, which translate metric properties of the code into geometric conditions involving intersections with hyperplanes. This leads to a correspondence between equivalence classes of nondegenerate matrix rank-metric codes and equivalence classes of systems, as well as to Delsarte-type incidence identities relating the rank distribution of a code over a finite field to those of its associated systems. As an application, we introduce generalized weights through the notion of evasive systems, study faithful and one-weight codes over finite fields, and recover known bounds and results from the theory of semifields. Finally, we use this framework to associate additive Hamming-metric codes with matrix rank-metric codes and show that several metric properties are preserved under this correspondence.

2026-05-19T11:24:38Z 31 pages Gianira N. Alfarano Martino Borello Alessandro Neri http://arxiv.org/abs/2605.19542v1 2026-05-19T08:40:17Z

Additive combinatorics asks for lower bounds on sumsets and restricted sumsets over finite fields. Central examples are the Cauchy-Davenport theorem and the Erdős-Heilbronn conjecture. In this note, we develop Das's linear algebraic method and give a new elementary proof of the Alon-Nathanson-Ruzsa theorem for restricted sumsets, which implies the Erdős-Heilbronn conjecture. Compared with the classical polynomial method via Combinatorial Nullstellensatz, our proof uses only basic linear algebra over finite fields, including Vandermonde matrices and solvability of linear systems.

2026-05-19T08:40:17Z 10 pages Guanzhong Yang http://arxiv.org/abs/2605.19512v1 2026-05-19T08:11:05Z

A Lie polynomial is an element of a free Lie algebra $\mathcal F_k$ on $k$-generators, which defines a Lie map on a given Lie algebra $L$, by substituting $k$-elements of $L$. Similar to word maps on groups and polynomial maps on algebras, one studies here questions analogous to Waring-like problems, the L'vov-Kaplansky conjecture, etc. In this article, we would like to address a problem for Lie algebras parallel to the one Lubotzky solved (Images of word maps in finite simple groups, Glasg. Math. J., 56, no. 2, 465-469, 2014) for finite simple groups. It is easy to verify that the image of a Lie map is (a) closed under automorphism, and (b) contains $0$. In this article, we prove that for a simple Chevalley algebra over a finite field of ``very good'' characteristic, these two properties are enough to classify all possible subsets that can be the image of a Lie polynomial. The next question is to find such Lie polynomials for a given subset satisfying the two properties. Contrary to the results over an algebraically closed field, we find Lie polynomials in the case of Lie algebra $\mathfrak{sl}_2(q)$, for $q$ odd, which give each $\rm{GL}_2(q)$ conjugacy class together with zero as an image.

2026-05-19T08:11:05Z Harish Kishnani Anupam Singh http://arxiv.org/abs/2406.03604v3 2026-05-18T22:01:23Z

A cyclically ordered quiver is a quiver endowed with an additional structure of a cyclic ordering of its vertices. This structure, which naturally arises in many important applications, gives rise to new powerful mutation invariants.

2024-06-05T19:55:56Z 70 pages, 35 figures. v2: Major revision and expansion. v3: Final version, to appear in Advances in Math Sergey Fomin Scott Neville http://arxiv.org/abs/2605.18737v1 2026-05-18T17:56:12Z

Axial algebras of Monster type are a class of commutative algebras generated by special idempotents called axes. Some motivating examples of these algebras are the Griess algebra and the Norton-Sakuma algebras, relating to the Monster simple group. A long standing open problem is to classify the 2-generated axial algebras of Monster type. A huge milestone was accomplished by Yabe leading, with additional cases completed by Franchi, Mainardis, and McInroy, to the classification in the symmetric case. In this paper, we complete the classification. To do so, we split the proof into multiple cases: dealing with certain parameters, subalgebras, axets, and axial dimensions. Furthermore, we provide a basis, multiplication and information of the algebras in the classification; consolidating existing results on these algebras into one place.

2026-05-18T17:56:12Z 107 pages Clara Franchi Mario Mainardis Justin McInroy Michael Turner http://arxiv.org/abs/2605.18568v1 2026-05-18T15:45:11Z

In a previous article, we showed that local projectivity is a sufficient condition for the existence of a bialgebroid structure on the ring of differential operators on an affine variety. In this note, we show using elementary methods that the ring of differential operators on a nodal curve is neither locally projective nor does it admit a bialgebroid structure.

2026-05-18T15:45:11Z Myriam Mahaman http://arxiv.org/abs/2605.18538v1 2026-05-18T15:21:13Z

We introduce and study integral planes associated with crystallographic and non-crystallographic integral systems in real composition algebras. For an integral order $\Order$ in such an algebra we define the plane $\Order^{2}$ with quadratic form $Q(x,y)=\NN(x)+\NN(y)$, the axis shell, the balanced shell, and the corresponding unit-normalised spherical polytopes. For ten crystallographic orders we recover, in one uniform construction, the orthogonal-direct-sum root systems $2A_{1}$, $A_{2}\oplus A_{2}$, $4A_{1}$, $D_{4}\oplus D_{4}$, $16A_{1}$, and $E_{8}\oplus E_{8}$ (with classical-polytope realisations including the square, the 16-cell, the 24-cell, and the Gosset polytope $4_{21}$); for two non-crystallographic orders we obtain $H_{2}\oplus H_{2}$ (decagonal tegum) and $H_{4}\oplus H_{4}$ (600-cell tegum) over $\Z[\golden]$. We prove a rank-obstruction theorem that closes, unconditionally and by a purely Coxeter-theoretic argument, the existence question for an indecomposable rank-eight golden octonion order: no such order can exist. On the balanced shell side, we identify the genuine algebraic Hopf map $\Hopfmap_{A}(a,b)=(2a\bar b,\NN(a)-\NN(b))$ and prove that its restriction to the balanced shell is a finite principal fibration of the unit loop, valid both for the associative case and for the alternative Moufang case.

2026-05-18T15:21:13Z Daniele Corradetti http://arxiv.org/abs/2501.18932v2 2026-05-18T13:43:54Z

The zero divisor graph of a commutative ring $R$ with unity is a graph whose vertices are the nonzero zero-divisors of the ring, with two distinct vertices being adjacent if their product is zero. This graph is denoted by $Γ(R)$. In this article we determine the cut-edges and central vertices in the graph $Γ(\mathbb{Z}_{n})$.

2025-01-31T07:29:22Z Nabajit Talukdar http://arxiv.org/abs/2605.18116v1 2026-05-18T09:25:07Z

Let K be a field of characteristic zero. Motivated by the conjecture that an enveloping algebra U(g) is Noetherian only if g is finite dimensional, we define the notion of weakly Noetherian Lie algebras. The main result, Theorem A, states that weakly Noetherian Lie algebras have a very constrained structure. In the specific case of graded Lie algebras, it implies an explicit classification of the perfect strictly weakly Noetherian Lie algebras, stated in Theorem B. The proofs of both theorems are quite long, and uses concrete results due to Tits, Formanek, Razmyslov, Grabowski and the author. The first theorem provides some insight on the desired conjecture. The second one implies the conjecture for all perfect graded Lie algebras, improving a celebrated theorem of Sierra and Walton.

2026-05-18T09:25:07Z Olivier Mathieu http://arxiv.org/abs/2605.18000v1 2026-05-18T07:53:19Z

In this article we study the principal block of the category of real Harish-Chandra modules for the group $\mathsf{SL}_2(\RR)$ and relate it to the category of finite dimensional modules over the so-called real Gelfand order. We describe several distinguished classes of the corresponding indecomposable representations.

2026-05-18T07:53:19Z Igor Burban Yuriy Drozd http://arxiv.org/abs/2605.17987v1 2026-05-18T07:41:57Z

We prove that if $R$ is a ring that is object unital and strongly graded by a groupoid $Γ$, and if $Δ$ is a wide subgroupoid of $Γ$, then $R/R_Δ$ is separable if and only if, for each $e \in Γ_0$, there exist $f \in [e]$ and $r \in C_{R_0}(R_Λ) := \{ x \in R_0 \mid xy = yx \text{ for all } y \in R_Λ\}$ with ${\rm tr}_{Γ/Δ}^f(r) = 1_{R_f}$. Here, $Γ_0$ denotes the set of objects of $Γ$, $[e]$ the connected component of $Γ_0$ containing $e$, $Λ$ the isotropy groupoid of $Δ$, and ${\rm tr}_{Γ/Δ}^f$ the relative trace map at $f$. This result simultaneously generalizes earlier theorems on separability for matrix rings and group-graded rings due to DeMeyer-Ingraham, N{\v a}st{\v a}sescu, Van den Bergh, Van Oystaeyen, Miyashita, Theohari-Apostolidi, and Vavatsoulas, as well as results on groupoid-graded rings due to Cala, Lundström, and Pinedo. As an application, we consider separability for object crossed products, including object twisted groupoid rings, classical groupoid rings and matrix rings, as well as crossed product algebras defined by infinite separable field extensions.

2026-05-18T07:41:57Z 17 pages Zaqueu Cristiano Patrik Lundström