https://arxiv.org/api/PnhUC4UcX94yke/CldZG6RvvdzA 2026-06-14T08:04:57Z 20068 285 15 http://arxiv.org/abs/2605.04122v1 2026-05-05T13:25:16Z

The question of matrix similarity is a classical one in linear algebra. For a field $\mathbb{F}$ and some positive integer $n \in \mathbb{N}$, one may consider the following problems: 1. Given two matrices $A, B \in \mathrm{GL}(n, \mathbb{F})$, determine whether they are similar or not. 2. If they are similar, compute a conjugating matrix $X \in \mathrm{GL}(n, \mathbb{F})$. 3. List a representative for each conjugacy class of $\mathrm{GL}(n, \mathbb{F})$. They can be readily solved by using normal forms. The most commonly studied forms are the rational canonical form (also known as the Frobenius normal form) and the Jordan normal form. The Jordan form, however, is traditionally defined only over algebraically closed fields such as $\mathbb{C}$. In this thesis, we aim to extend the notion of the Jordan normal form to arbitrary fields. Moreover, we provide practical algorithms for computing this generalized Jordan form, which we have implemented in GAP for finite fields. The construction of the Jordan normal form relies on analyzing the action of a matrix $A \in \mathbb{F}^{n\times n}$ on the vector space $V = \mathbb{F}^n$. By decomposing $V$ into $A$-invariant subspaces, one obtains, in a sense, a corresponding decomposition of $A$ itself. The proofs in this thesis are expressed in terms of matrices, rather than modules, to reflect the computational approach used in practice.

2026-05-05T13:25:16Z Alia Bonnet http://arxiv.org/abs/2605.03688v1 2026-05-05T12:33:05Z

Let $K$ be an algebraically closed field of characteristic different from $2$. We provide a positive solution to the Bahturin--Regev conjecture in the general finite-dimensional (non-graded) setting, assuming that $\operatorname{char}(K)$ does not divide the quantum length of a minimal regular quantum commutative decomposition. Furthermore, we obtain a criterion, formulated in terms of regular quantum commutative decompositions, under which a set-grading on a semisimple associative algebra is realized as a group grading.

2026-05-05T12:33:05Z 28 pages Yuri Bahturin Lucio Centrone Kauê Pereira http://arxiv.org/abs/2510.01615v3 2026-05-05T11:35:19Z

For any rigid presentation $e$, we construct an orthogonal projection functor to ${\rm rep}(e^\perp)$ left adjoint to the natural embedding. We establish a bijection between presentations in ${\rm rep}(e^\perp)$ and presentations compatible with $e$. For quivers with potentials, we show that ${\rm rep}(e^\perp)$ forms a module category of another quiver with potential. We derive mutation formulas for the $δ$-vectors of positive and negative complements and the dimension vectors of simple modules in ${\rm rep}(e^\perp)$, enabling an algorithm to find the projected quiver with potential. Additionally, we introduce a modified projection for quivers with potentials that preserves general presentations. For applications to cluster algebras, we establish a connection to the stabilization functors.

2025-10-02T02:50:09Z 35 pages. Comments are welcome. v2 minor corrections Jiarui Fei http://arxiv.org/abs/2605.03551v1 2026-05-05T09:20:54Z

One-sided linear systems of the form ``$Ax=b$'' are well-known and extensively studied over the tropical (max-plus) semiring and wide classes of related idempotent semirings. The usual approach is to first find the greatest solution to such system in polynomial time and then to solve a much harder problem of finding all minimal solutions. We develop an extension of this approach to the same systems over two well-known extensions of the tropical semiring: symmetrized and supertropical, and discuss the implications of our findings for the tropical cryptography.

2026-05-05T09:20:54Z 31 Pages Linear Algebra and its Applications, vol. 743 (2026), p.123-153 Sulaiman Alhussaini Sergei Sergeev 10.1016/j.laa.2026.04.009 http://arxiv.org/abs/2605.02846v1 2026-05-04T17:22:12Z

This paper develops a cohomology theory for Hom-Jacobi-Jordan algebras using and applies it to classify non-abelian extensions. The main result establishes that equivalence classes of split extensions of a Hom-Jacobi-Jordan algebra $J$ by $V$ are in bijection with the second cohomology group $H^2(J,V)$, generalizing classical results from Lie and Leibniz algebra theory. We characterize extensions explicitly through 2-cocycles $(ρ, θ)$ satisfying compatibility conditions, and provide complete classifications of low-dimensional cases.

2026-05-04T17:22:12Z Nejib Saadaoui http://arxiv.org/abs/2605.02645v1 2026-05-04T14:29:34Z

The algebraic theory of third-order tensors under the $t$-product is naturally formulated over the complex field via Fourier block diagonalization. However, many applications require real-valued representations. In this paper, we investigate structural conditions ensuring that tensor factorizations and generalized inverses admit real realizations. We show that these conditions can be characterized through the conjugate-pairing structure of the Fourier frontal slices, which determines when transform-domain constructions yield real tensors after inverse transformation. As applications, we obtain real versions of several tensor factorizations and analyze the existence and structure of associated generalized inverses. These results provide a framework for transferring matrix-based constructions to real tensors while preserving the algebraic constraints of the $t$-product.

2026-05-04T14:29:34Z Faustino Maciala Cláudia M. Araújo Pedro Patrício http://arxiv.org/abs/2605.02634v1 2026-05-04T14:20:12Z

Let $\mathcal{G}$ be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever $\mathcal{G}$ admits a set of Tate trivial generators, and show that having such generators is necessary for completeness. In this case it must be a perfect cotorsion pair, cogenerated by a set, and equivalent to an injective abelian model structure on $\mathcal{G}$. Examples include Grothendieck categories (possibly without enough projectives) that admit a generating set consisting of objects of finite projective dimension, such as the category of quasi-coherent sheaves on a quasi-compact and semi-separated scheme. More generally, for a given set $\mathcal{S}$, we characterize the completeness of the Gorenstein $\mathcal{B}$-injective cotorsion pair, where $\mathcal{B} = \mathcal{S}^\perp$, in terms of the existence of a set of $\mathcal{B}$-Tate trivial generators for $\mathcal{G}$. The key ingredient to our proof is the fact that any class of the form $\mathcal{B} :=\mathcal{S}^\perp$ is an accessibly embedded, accessible subcategory of $\mathcal{G}$. The general approach allows for further applications such as the existence of Ding injective envelopes and other relative Gorenstein injective envelopes without imposing additional assumptions on $\mathcal{G}$.

2026-05-04T14:20:12Z 20 pages Sergio Estrada James Gillespie http://arxiv.org/abs/2604.17043v2 2026-05-04T13:47:23Z

In [Self-distributive structures in physics. Internat. J. Theoret. Phys. 64 (2025), no. 3, Paper No. 73], Fritz was motivated by the structure of Hamiltonian/Heisenberg mechanics to define the notion of "Lie Quandle", which he argued are nonlinear generalizations of finite dimensional real Lie algebras. In this article, we will investigate a linear/nonlinear correspondence to which Fritz' is a special case, classify a class of generalizations of these objects, as well as describe some results in the direction of a nonlinear analogue of Noether's first theorem first described by Fritz.

2026-04-18T15:53:59Z A few corrections. Comments are welcome Mohamed Elhamdadi Bryce Virgin http://arxiv.org/abs/2509.14215v2 2026-05-04T13:38:22Z

We consider a generalisation of vector fields on a vector space, where the vector space is generalised to a highest-weight module over a Kac-Moody algebra. The generalised vector field is an element in a non-associative superalgebra defined by the module and the Kac-Moody algebra. Also the Lie derivative of a vector field parameterised by another is generalised and expressed in a simple way in terms of this superalgebra. It reproduces the generalised Lie derivative in the general framework of extended geometry, which in special cases reduces to the one in exceptional field theory, unifying diffeomorphisms with gauge transformations in supergravity theories.

2025-09-17T17:46:49Z v2: 8 pages. Slightly extended and reorganised. Accepted for publication in the AMS Contemporary Mathematics series Martin Cederwall Jakob Palmkvist http://arxiv.org/abs/2605.02533v1 2026-05-04T12:32:15Z

In this paper, we define dual codes over arbitrary finite rings with respect to arbitrary bilinear forms and provide a generalization of Hayden's theorem (Bridges, Hall, and Hayden, 1981). Building on this foundation, we introduce the concept of $G$-dual codes for codes invariant under a permutation group $G$, referred to as $G$-codes. We then present several generalizations of Atsumi's MacWilliams identity (Atsumi, 1995; Chakraborty and Miezaki, 2023) for $G$-codes over finite rings with respect to general bilinear forms. Furthermore, we establish a $G$-analogue of the MacWilliams identity for $G$-full weight enumerators and introduce the notions of $G$-quadratic maps and $G$-representations for twisted modules, twisted rings, quadratic pairs, and form rings. By defining transformation groups for $G$-full weight enumerators, we extend the theory of Clifford--Weil groups (Nebe, Rains, and Sloane, 2004, 2006). Finally, we provide generalizations of Gleason-type theorems for these weight enumerators, demonstrating that the $G$-full weight enumerators of $G$-self-dual and $G$-isotropic codes are invariant under the Clifford--Weil groups and span the invariant subspaces of these groups.

2026-05-04T12:32:15Z 22 pages Futo Takabayashi http://arxiv.org/abs/2605.02029v1 2026-05-03T19:37:54Z

We introduce quasi-Gorenstein morphisms of commutative local dg-algebras and use a Gorenstein version of the virtually small property to characterize them, a result which is new even for homomorphisms of local rings. In a different direction, we characterize exact sequences in a noetherian local ring, in the sense of Avramov, Henriques, and Şega, in terms of quasi-Gorenstein morphisms involving Koszul complexes.

2026-05-03T19:37:54Z 16 pages Zachary Nason Andrew J. Soto Levins Ryan Watson http://arxiv.org/abs/2605.01641v1 2026-05-02T23:16:23Z

We prove a generalization of Orlov's theorem for matrix factorizations with $n$ steps. Let $X$ be a regular scheme, $W\colon X\to \mathbb{A}^1$ a flat morphism and $D:=W^{-1}(0)$ its central fiber. We construct an appropriate triangulated category of matrix factorizations with $n$-steps and show that it is equivalent to the singularity category of the root stack $\sqrt[n]{(X, D)}$. We also show that this category admits a semiorthogonal decomposition into $n-1$ copies of the usual (absolute derived) category of matrix factorizations with $2$ steps.

2026-05-02T23:16:23Z 22 pages, no figures Alessandro Lehmann Nicolò Sibilla http://arxiv.org/abs/2605.01623v1 2026-05-02T22:25:17Z

We describe a polynomial complexity algorithm for reducing transition matrices, for vector bundles glued along a clutching-type cover of a real anisotropic conic, to canonical block diagonal forms. This is a generalization, to the real anisotropic form, of the classification of vector bundles on the Riemann sphere by their canonical diagonal forms due to Grothendieck and Birkhoff. To enable our algorithm, we provide an elementary algebraic proof for the result, due to Biswas-Nagaraj and Novakovic, of the decomposition of vector bundles on real anisotropic conics into sums of indecomposable vector bundles of rank at most 2. While our algorithm and our proof of this decomposition focus solely on the setting of a real anisotropic conic, our methods are immediately generalizable to anisotropic conics over arbitrary fields.

2026-05-02T22:25:17Z Eoin Mackall Diego Yépez http://arxiv.org/abs/2510.14473v2 2026-05-02T01:29:38Z

Let $L/K$ be any finite separable extension with normal closure $\widetilde{L}/K$. An extension $L'/K$ is said to be $\textit{parallel to $L/K$}$ if $L'$ is an intermediate field of $\widetilde{L}/K$ with $[L':K]=[L:K]$. We study the following question -- Given that $L/K$ admits a Hopf--Galois structure of type $N$, does it imply that every extension parallel to $L/K$ also admits a Hopf--Galois structure of type $N$? We completely solve this problem when the degree $[L:K]$ is a prime power and the type $N$ is cyclic. Our approach is group-theoretic and uses the work of Greither--Pareigis and Byott.

2025-10-16T09:13:28Z 32 pages J. Algebra 702 (2026), 147-175 Andrew Darlington Cindy Tsang 10.1016/j.jalgebra.2026.04.038 http://arxiv.org/abs/2605.01007v1 2026-05-01T18:21:01Z

In this paper, we study the white Manin product of the associative operad $\As$ with a binary quadratic operad $\Var$. We introduce the notion of a nonsymmetric version of $\Var$ and provide a criterion for determining when the operad $\As\circ\Var$ has this property. We illustrate the construction with several examples and counterexamples. Finally, for some operads admitting nonsymmetric versions, we describe their combinatorial properties.

2026-05-01T18:21:01Z 19 p F. A. Mashurov B. K. Sartayev