https://arxiv.org/api/Te/CRM4V/JXTrivxzILUGbCTzb8 2026-06-14T17:38:10Z 20068 420 15 http://arxiv.org/abs/2509.11998v5 2026-04-15T08:56:51Z

Given k similarity classes of invertible matrices, the Deligne-Simpson problem asks to determine whether or not one can find matrices in these classes whose product is the identity and with no common invariant subspace. The first author conjectured an answer in terms of an associated root system, and proved one implication in joint work with Shaw. In this paper we prove the other implication, thus confirming the conjecture.

2025-09-15T14:46:03Z Minor improvements to the exposition William Crawley-Boevey Andrew Hubery http://arxiv.org/abs/2604.13619v1 2026-04-15T08:36:22Z

We study $n$-homomorphisms in the sense of Khudaverdian--Voronov, but generalized to maps from arbitrary rings to arbitrary commutative rings. We show that the sum of an $n$-homomorphism and an $m$-homomorphism is an $\left( n+m\right) $-homomorphism, and that the composition of an $n$-homomorphism and an $m$-homomorphism is an $nm$-homomorphism. The proofs are entirely combinatorial.

2026-04-15T08:36:22Z 28 pages, partly expository. A crucial lemma was found and proved by GPT-5.4, but all of the writing is my own Darij Grinberg http://arxiv.org/abs/1901.11109v3 2026-04-15T08:13:54Z

Given two $\left( n+1\right) \times\left( n+1\right)$-matrices $A$ and $B$ over a commutative ring, and some $k\in\left\{ 0,1,\ldots,n\right\}$, we consider the $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix $W$ whose entries are $\left( k+1\right) \times\left( k+1\right)$-minors of $A$ multiplied by corresponding $\left( k+1\right) \times\left( k+1\right)$-minors of $B$. Here we require the minors to use the last row and the last column (which is why we obtain an $\dbinom{n}{k}\times\dbinom{n}{k}$-matrix, not an $\dbinom{n+1}{k+1}\times\dbinom{n+1}{k+1}$-matrix). We prove that the determinant $\det W$ is a multiple of $\det A$ if the $\left( n+1,n+1\right)$-th entry of $B$ is $0$. Furthermore, if the $\left( n+1,n+1\right)$-th entries of both $A$ and $B$ are $0$, then $\det W$ is a multiple of $\left( \det A\right) \left( \det B\right)$. This extends a previous result of Olver and the author ( arXiv:1802.02900 ).

2019-01-30T21:36:47Z 16 pages. Slightly more detailed version available as ancillary file. Comments are welcome! v3 corrects some typos and updates references Ars Mathematica Contemporanea 20 No. 2 (2021), pp. 261--274 Darij Grinberg 10.26493/1855-3974.2248.d3f http://arxiv.org/abs/2604.13510v1 2026-04-15T05:56:03Z

The aim of this paper is to prove a version of Lie's theorem for the supertropical algebra.

2026-04-15T05:56:03Z Himadri Mukherjee Askar Ali M http://arxiv.org/abs/2506.21879v2 2026-04-15T04:53:50Z

For any affine Hopf algebra $H$ which admits a large central Hopf subalgebra, $H$ can be endowed with a Cayley-Hamilton Hopf algebra structure in the sense of De Concini-Procesi-Reshetikhin-Rosso. The category of finite-dimensional modules over any fiber algebra of $H$ is proved to be an indecomposable exact module category over the tensor category of finite-dimensional modules over the identity fiber algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ of $H$. For any affine Cayley-Hamilton Hopf algebra $(H,C,\text{tr})$ such that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property, it is proved that if the zero locus of a discriminant ideal of $(H,C,\text{tr})$ is non-empty then it contains the orbit of the identity element of the affine algebraic group $\text{maxSpec}C$ under the left (or right) winding automorphism group action. Its proof relies on the fact that $H/\mathfrak{m}_{\overline{\varepsilon}}H$ has the Chevalley property if and only if the $\overline{\varepsilon}$-Chevalley locus of $(H,C)$ coincides with $\text{maxSpec}C$. Then, we provide a description of the zero locus of the lowest discriminant ideal of $(H,C,\text{tr})$. It is proved that the lowest discriminant ideal of $(H,C,\text{tr})$ is of level $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))+1$, where $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$ is the Grothendieck ring of the finite-dimensional Hopf algebra $H/\mathfrak{m}_{\overline{\varepsilon}}H$ and $\text{FPdim}(\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H))$ is the Frobenius-Perron dimension of $\text{Gr}(H/\mathfrak{m}_{\overline{\varepsilon}}H)$. Some recent results of Mi-Wu-Yakimov about lowest discriminant ideals are generalized. We also prove that all the discriminant ideals are trivial if $H$ has the Chevalley property.

2025-06-27T03:35:01Z 30 pages Yimin Huang Zhongkai Mi Tiancheng Qi Quanshui Wu http://arxiv.org/abs/2604.13373v1 2026-04-15T00:43:49Z

A noncommutative projective variety is defined, after Artin and Zhang, by a graded coherent algebra A, where the category of coherent sheaves is the quotient qgr(A) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the degree shift functor on the bounded derived category of qgr(A). These two types of entropy can be viewed as analogues of the dimension of the noncommutative variety. We relate these invariants with the growth of the algebra. For algebras of finite global dimension, the entropies are bounded above by the growth entropy and the Gelfand--Kirillov dimension of the algebra. Moreover, these equalities hold for regular algebras, as well as for coordinate rings of smooth projective varieties. However, the polynomial entropy is zero for monomial algebras of polynomial growth, so in this case the inequality is strict.

2026-04-15T00:43:49Z 16 pp. Comments are appreciated Dmitri Piontkovski http://arxiv.org/abs/2605.08096v1 2026-04-14T22:37:08Z

We describe additive surjections on direct sum of matrix algebras that preserve singularity in one direction. As an application, we classify additive surjections on finite-dimensional $C^\ast$-algebras that preserve mutual strong Birkhoff-James orthogonality in one direction.

2026-04-14T22:37:08Z Bojan Kuzma Srdjan Stefanović http://arxiv.org/abs/2510.20689v2 2026-04-14T17:17:03Z

In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad \text{for every } k\in\mathbb{N} \] whenever $A$ is an $n\times n$-matrix with characteristic polynomial $\det (tI_n - A) = \sum_{i=0}^n c_{n-i} t^i$ over a commutative ring $\mathbb{K}$. While the results are not new, some of the proofs are. The proofs illustrate some general techniques in linear algebra over commutative rings.

2025-10-23T16:02:58Z 73 pages. Expository paper on linear algebra featuring determinantal identities and folklore techniques. Uploaded here for easier referencing. v2 fixes minor typos and adds Corollary 6.7 Darij Grinberg http://arxiv.org/abs/2604.12960v1 2026-04-14T16:55:24Z

This paper investigates the robust stability problem of a feedback system in the presence of uncertainties induced by graphical regions in the plane where the scaled relative graphs (SRGs) reside. Our main results are developed using a novel and intuitive concept, the Davis-Wielandt shell, together with its connection to SRGs and related variants. We first study a matrix robust nonsingularity (MRN) problem for two types of graphically induced uncertainty sets: one with prior information on $θ$ and one without. In the former case, we show that, whenever the uncertainty-inducing region is mirror symmetric about the $θ$-axis, the separation between a specific variant of the SRG and the region provides a necessary and sufficient condition for MRN. When the region is asymmetric, the necessity generally fails. This recovers the necessity of the small gain condition, and reveals the necessity of small angle conditions and sectored-disc conditions at the matrix level. In the latter case, we show that an additional $θ$-circular connectivity property is required to obtain necessary and sufficient conditions. Building on these MRN results, we then derive sufficient conditions for robust stability of multi-input multi-output (MIMO) linear time-invariant (LTI) systems under frequencywise symmetric uncertainties. In addition, connections with existing system characteristics such as disc-boundedness are discussed and exploited to obtain state-space characterisations for angle-bounded and mixed gain-angle-bounded systems. Based on these results, we construct a $θ$-angle-gain profile of a system that provides an intuitive visualisation of its feedback robustness against conic and sectorial uncertainties.

2026-04-14T16:55:24Z 13 pages, 9 figures; this is an extended version of a CDC 2026 submission Ding Zhang Di Zhao Philipp Braun Jianqi Chen http://arxiv.org/abs/2604.12876v1 2026-04-14T15:27:08Z

We prove a general Fueter Theorem over real alternative *-algebras. We show that a suitable power of the Laplacian maps Dunkl-regular functions to Dunkl monogenic functions with axial symmetries. Using the embedding of hypercomplex function theories in the class of Dunkl monogenic functions, we subsume several Fueter-type results known in the literature and obtain the most general form for the action of the Laplacian on function spaces over hypercomplex subspaces. We show that Fueter Theorems are in a one-to-one correspondence with a class of graphs, the Fueter trees, that describe the interactions between Dunkl-regular function spaces and the relation with the iterated Laplacian. We obtain that the number of distinct Fueter trees on a hypercomplex space of dimension $n+1$ is equal to the number of partitions in odd parts of the integer $n$.

2026-04-14T15:27:08Z Alessandro Perotti http://arxiv.org/abs/2511.17316v2 2026-04-14T12:22:05Z

In the present paper, local derivations and local automorphisms of five-dimensional naturally graded nilpotent associative algebras are studied. Namely, a general form of the matrices of local derivations and local automorphisms of algebras $π_2$ and $π_3$ is clarified. It turns out that the general form of the matrix of an automorphism (derivation) on these algebras does not coincide with the local automorphism's (resp. local derivation's) matrix's general form on these algebras. Therefore, these associative algebras have local automorphisms (resp. local derivations) that are not automorphisms (resp. derivations). We also establish a relationship between local automorphisms and local derivations via an exponential expression. We prove that the sets of local derivations of algebras $π_2$ and $π_3$ form Lie algebras with respect to the Lie brackets. Thus, we show that the Lie algebra problem from the Ayupov-Eldique-Kudaybergenov problems for local derivations of the algebras under consideration has a positive solution. The remaining problems from the Ayupov-Eldique-Kudaybergenov problems also have a positive solution for algebras $π_2$ and $π_3$.

2025-11-21T15:35:21Z 24 pages Farkhodzhon Arzikulov Utkir Khakimov Abduqaxxor Qurbonov http://arxiv.org/abs/2604.12355v1 2026-04-14T06:44:23Z

In this paper, we extend the study of graded equivalences to the case of general idempotent graded rings. We prove that the existence of a graded equivalence between two categories of graded torsion-free unital modules may be characterized by the existence of a Morita context with surjective trace maps. As an application of our results we relate certain lattices of graded submodules and graded ideals of graded equivalent garded rings and give some properties invariant under graded equivalences.

2026-04-14T06:44:23Z Mikhailo Dokuchaev Juan Jacobo Simón http://arxiv.org/abs/2508.06695v3 2026-04-13T16:10:17Z

We work in the setting of linear skew constacyclic codes over a commutative base ring $S$. We show that the notions of $(n,σ)$-isometry and $(n,σ)$-equivalence introduced by Ou-azzou et al coincide for most skew $(σ,a)$-constacyclic codes of length $n$. To prove this, we show that all Hamming-weight preserving isomorphisms between their ambient rings which extend some automorphism $τ$ of $S$ that commutes with $σ$ must have degree one, when those rings are not associative. In the process we determine isomorphisms between their nonassociative ambient rings, the Petit rings $S[t;σ]/S[t;σ](t^n-a)$, which give rise to skew constacyclic codes. As a consequence, we propose new definitions of equivalence and isometry of skew constacyclic codes that exactly capture all Hamming-weight preserving isomorphisms between the ambient rings of skew constacyclic codes which extend $τ\in {\rm Aut}(S)$ that commute with $σ$, and lead to tighter classifications.

2025-08-08T20:43:54Z Notation improved, some additional proofs included Monica Nevins Susanne Pumpluen http://arxiv.org/abs/2604.11469v1 2026-04-13T13:42:28Z

We prove that there is no finitely generated symmetric operad of Gelfand-Kirillov dimension strictly between 1 and 2 that answers an open question posted in 2020. We also classify finitely generated prime symmetric operads of Gelfand-Kirillov dimension 1.

2026-04-13T13:42:28Z Yu Li Zihao Qi Yongjun Xu James J. Zhang Zerui Zhang Xiangui Zhao http://arxiv.org/abs/2402.04954v3 2026-04-13T11:24:39Z

Weakly approximable triangulated categories, introduced by Neeman, provide a powerful framework for studying localization phenomena in triangulated categories. In this paper, we establish new localization theorems showing that, under mild assumptions, a recollement of weakly approximable triangulated categories induces short exact sequences on several natural triangulated subcategories as well as on the associated (big) singularity categories. As applications, we illustrate our results in the derived categories of rings, DG algebras, and schemes.

2024-02-07T15:38:46Z 33 pages. Correct some minor errors. Comments are welcome Yongliang Sun Jinbi Zhang Yaohua Zhang