http://arxiv.org/api/NxkYCen4mKVj1ufBLBW39qlQIjs 2025-04-22T00:00:00-04:00 18389 15 15 http://arxiv.org/abs/2405.04106v2 2025-04-19T09:01:08Z 2024-05-07T08:24:08Z Counting core sets in matrix rings over finite fields Let $R$ be a commutative ring and $M_n(R)$ be the ring of $n \times n$ matrices with entries from $R$. For each $S \subseteq M_n(R)$, we consider its (generalized) null ideal $N(S)$, which is the set of all polynomials $f$ with coefficients from $M_n(R)$ with the property that $f(A) = 0$ for all $A \in S$. The set $S$ is said to be core if $N(S)$ is a two-sided ideal of $M_n(R)[x]$. It is not known how common core sets are among all subsets of $M_n(R)$. We study this problem for $2 \times 2$ matrices over $\mathbb{F}_q$, where $\mathbb{F}_q$ is the finite field with $q$ elements. We provide exact counts for the number of core subsets of each similarity class of $M_2(\mathbb{F}_q)$. While not every subset of $M_2(\mathbb{F}_q)$ is core, we prove that as $q \to \infty$, the probability that a subset of $M_2(\mathbb{F}_q)$ is core approaches 1. Thus, asymptotically in~$q$, almost all subsets of $M_2(\mathbb{F}_q)$ are core. Roswitha Rissner Nicholas J. Werner 10.1016/j.laa.2025.04.006 http://arxiv.org/abs/2504.14198v1 2025-04-19T06:25:39Z 2025-04-19T06:25:39Z Linear maps preserving product of involutions An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$. Chi-Kwong Li Tejbir Lohan Sushil Singla 22 pages, comments are welcome! http://arxiv.org/abs/2504.14012v1 2025-04-18T18:04:48Z 2025-04-18T18:04:48Z Cluster structures on schemes of bands We introduce new objects, called $(G,c)$-bands, associated with a simple simply-connected algebraic group $G$, and a Coxeter element $c$ in its Weyl group. We show that bands of a given type are the $K$-points of an infinite dimensional affine scheme, whose ring of regular functions has a cluster algebra structure. We also show that two important invariant sub-algebras of this ring are cluster sub-algebras. These three cluster structures have already appeared in different contexts related to the representation theories of quantum affine algebras, their Borel sub-algebras, and shifted quantum affine algebras. In this paper we show that they all belong to a common geometric setting. Luca Francone Bernard Leclerc 66 pages, 11 figures http://arxiv.org/abs/2409.16498v3 2025-04-18T00:11:14Z 2024-09-24T23:05:53Z $B$-valued semi-circular system and the free Poincaré inequality We characterize $B$-valued semi-circular system in terms of $B$-valued free probabilistic analogue of Poincar\'{e} inequality. This is a $B$-valued generalization of Biane's theorem \cite[Theorem 5.1]{b03}. Moreover, we prove that Voiculescu's conjecture on $B$-valued free Poincar\'{e} inequality in \cite{aim06} is not in the affirmative as it is. Hyuga Ito v3, 35pages; added some corollaries and remarks http://arxiv.org/abs/2503.05337v4 2025-04-17T20:52:23Z 2025-03-07T11:25:10Z Polynomial invariants for low dimensional algebras We classify all two-dimensional simple algebras (which may be non-associative) over an algebraically closed field. For each two-dimensional algebra $\mathcal{A}$, we describe a minimal (with respect to inclusion) generating set for the algebra of invariants of the $m$-tuples of $\mathcal{A}$ in the case of characteristic zero. In particular, we establish that for any two-dimensional simple algebra $\mathcal{A}$ with a non-trivial automorphism group, the Artin--Procesi--Iltyakov Equality holds for $\mathcal{A}^m$; that is, the algebra of polynomial invariants of $m$-tuples of $\mathcal{A}$ is generated by operator traces. As a consequence, we describe two-dimensional algebras that admit a symmetric or skew-symmetric invariant nondegenerate bilinear form. María Alejandra Alvarez Artem Lopatin 25 pages. Version 3: The paper has been substantially expanded, and new results have been added. Version 4: Two references have been added http://arxiv.org/abs/2504.12886v1 2025-04-17T12:21:08Z 2025-04-17T12:21:08Z The multiplication probability of a finite ring We study the probability that the product of two randomly chosen elements in a finite ring $R$ is equal to some fixed element $x \in R$. We calculate this probability for semisimple rings and some special classes of local rings, and find the bounds for this probability for an arbitrary finite ring. David Dolžan http://arxiv.org/abs/2504.12874v1 2025-04-17T12:02:26Z 2025-04-17T12:02:26Z Homomorphisms with semilocal endomorphism rings between modules We study the category $\operatorname{Morph}(\operatorname{Mod} R)$ whose objects are all morphisms between two right $R$-modules. The behavior of objects of $\operatorname{Morph}(\operatorname{Mod} R)$ whose endomorphism ring in $\operatorname{Morph}(\operatorname{Mod} R)$ is semilocal is very similar to the behavior of modules with a semilocal endomorphism ring. For instance, direct-sum decompositions of a direct sum $\oplus_{i=1}^nM_i$, that is, block-diagonal decompositions, where each object $M_i$ of $\operatorname{Morph}(\operatorname{Mod} R)$ denotes a morphism $\mu_{M_i}\colon M_{0,i}\to M_{1,i}$ and where all the modules $M_{j,i}$ have a local endomorphism ring $\operatorname{End}(M_{j,i})$, depend on two invariants. This behavior is very similar to that of direct-sum decompositions of serial modules of finite Goldie dimension, which also depend on two invariants (monogeny class and epigeny class). When all the modules $M_{j,i}$ are uniserial modules, the direct-sum decompositions (block-diagonal decompositions) of a direct-sum $\oplus_{i=1}^nM_i$ depend on four invariants. Federico Campanini Susan F. El-Deken Alberto Facchini 10.1007/s10468-019-09936-x http://arxiv.org/abs/2504.12873v1 2025-04-17T12:02:19Z 2025-04-17T12:02:19Z On a category of extensions whose endomorphism rings have at most four maximal ideals We describe the endomorphism ring of a short exact sequences $0 \to A_R \to B_R \to C_R \to 0$ with $A_R$ and $C_R$ uniserial modules and the behavior of these short exact sequences as far as their direct sums are concerned. Federico Campanini Alberto Facchini 10.1090/conm/715/14407 http://arxiv.org/abs/2504.12843v1 2025-04-17T10:57:58Z 2025-04-17T10:57:58Z Quadratic subproduct systems, free products, and their C*-algebras Motivated by the interplay between quadratic algebras, noncommutative geometry, and operator theory, we introduce the notion of quadratic subproduct systems of Hilbert spaces. Specifically, we study the subproduct systems induced by a finite number of complex quadratic polynomials in noncommuting variables, and describe their Toeplitz and Cuntz--Pimsner algebras. Inspired by the theory of graded associative algebras, we define a free product operation in the category of subproduct systems and show that this corresponds to the reduced free product of the Toeplitz algebras. Finally, we obtain results about the K-theory of the Toeplitz and Cuntz--Pimsner algebras of a large class of quadratic subproduct systems. Francesca Arici Yufan Ge http://arxiv.org/abs/2504.12649v1 2025-04-17T05:21:10Z 2025-04-17T05:21:10Z Extensions of locally matricial and locally semisimple algebras Two extension problems are solved. First, the class of locally matricial algebras over an arbitrary field is closed under extensions. Second, the class of locally finite dimensional semisimple algebras over a fixed field is closed under extensions if and only if the base field is perfect. Regardless of the base field, extensions of the latter type are always locally unit-regular. K. R. Goodearl http://arxiv.org/abs/2504.11639v2 2025-04-17T02:08:15Z 2025-04-15T22:02:44Z Twisted Steinberg algebras, regular inclusions and induction Given a field $K$ and an ample (not necessarily Hausdorff) groupoid $G$, we define the concept of a line bundle over $G$ inspired by the well known concept from the theory of C*-algebras. If $E$ is such a line bundle, we construct the associated twisted Steinberg algebra in terms of sections of $E$, which turns out to extend the original construction introduced independently by Steinberg in 2010, and by Clark, Farthing, Sims and Tomforde in a 2014 paper (originally announced in 2011). We also generalize (strictly, in the non-Hausdorff case) the 2023 construction of (cocycle) twisted Steinberg algebras of Armstrong, Clark, Courtney, Lin, Mccormick and Ramagge. We then extend Steinberg's theory of induction of modules, not only to the twisted case, but to the much more general case of regular inclusions of algebras. Our main result shows that, under appropriate conditions, every irreducible module is induced by an irreducible module over a certain abstractly defined isotropy algebra. M. Dokuchaev R. Exel H. Pinedo This replacement corrects a misleading information in the last sentence of the abstract http://arxiv.org/abs/2407.14809v2 2025-04-17T00:28:14Z 2024-07-20T08:47:15Z Central extensions, derivations, and automorphisms of semi-direct sums of the Witt algebra with its intermediate series modules Lie algebras formed via semi-direct sums of the Witt algebra $\text{Der}(\mathbb{C}[t,t^{-1}])$ and its modules have become increasingly prominent in both physics and mathematics in recent years. In this paper, we complete the study of (Leibniz) central extensions, derivations and automorphisms of the Lie algebras formed from the semi-direct sum of the Witt algebra and its indecomposable intermediate series modules (that is, graded modules with one-dimensional graded components). Our techniques exploit the internal grading of the Witt algebra, which can be applied to a wider class of graded Lie algebras. Lucas Buzaglo Girish S. Vishwa v2: 42 pages. Restructured existing sections to match published version, modified and added some propositions and lemmas, added section 9. Comments welcome! http://arxiv.org/abs/2502.16304v2 2025-04-16T23:07:57Z 2025-02-22T17:28:07Z Polygraphic resolutions for operated algebras This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata that we introduce in this paper. Polyautomata extend linear polygraphs equipped with an operator structure formalized by a pushdown automaton. We show how to construct polygraphic resolutions of free operated algebras from their confluent and terminating presentations. Finally, we apply our constructions to several families of operated algebras, including Rota-Baxter algebras, differential algebras, and differential Rota-Baxter algebras. Zuan Liu Philippe Malbos http://arxiv.org/abs/2504.12206v1 2025-04-16T15:54:42Z 2025-04-16T15:54:42Z Finite GK-dimensional pre-Nichols algebras and quasi-quantum groups In this paper, we study the classification of finite GK-dimensional pre-Nichols algebras in the twisted Yetter-Drinfeld module category $_{\k G}^{\k G} \mathcal{YD}^\Phi$, where $G$ is a finite abelian group and $\Phi$ is a $3$-cocycle on $G$. These algebras naturally arise from quasi-quantum groups over finite abelian groups. We prove that all pre-Nichols algebras of nondiagonal type in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ are infinite GK-dimensional, and every graded pre-Nichols algebra in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ with finite GK-dimension is twist equivalent to a graded pre-Nichols algebra in an ordinary Yetter-Drinfeld module category $_{\k G}^{\k G} \mathcal{YD}^\Phi$, where $\mathbb{G}$ is a finite abelian group determined by $G$. In particular, we obtain a complete classification of finitely generated Nichols algebras with finite GK-dimension in $_{\k G}^{\k G} \mathcal{YD}^\Phi$. We prove that a finitely generated Nichols algebra in $_{\k G}^{\k G} \mathcal{YD}^\Phi$ is finite GK-dimensional if and only if it is of diagonal type and the corresponding root system is finite, i.e., an arithmetic root system. Via bosonization, this yields a large class of infinite quasi-quantum groups over finite abelian groups. Yuping Yang 45 pages http://arxiv.org/abs/2504.12155v1 2025-04-16T15:03:19Z 2025-04-16T15:03:19Z On a category of chains of modules whose endomorphism rings have at most $2n$ maximal ideals We describe the endomorphism rings in an additive category whose objects are right $R$-modules $M$ with a fixed chain of submodules $0=M^{(0)}\leq M^{(1)}\leq M^{(2)} \leq \dots \leq M^{(n)}=M$ and the behaviour of these objects as far as their direct sums are concerned. Federico Campanini 10.1080/00927872.2017.1372459