http://arxiv.org/api/NxkYCen4mKVj1ufBLBW39qlQIjs2025-04-22T00:00:00-04:00183891515http://arxiv.org/abs/2405.04106v22025-04-19T09:01:08Z2024-05-07T08:24:08ZCounting 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 RissnerNicholas J. Werner10.1016/j.laa.2025.04.006http://arxiv.org/abs/2504.14198v12025-04-19T06:25:39Z2025-04-19T06:25:39ZLinear 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 LiTejbir LohanSushil Singla22 pages, comments are welcome!http://arxiv.org/abs/2504.14012v12025-04-18T18:04:48Z2025-04-18T18:04:48ZCluster 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 FranconeBernard Leclerc66 pages, 11 figureshttp://arxiv.org/abs/2409.16498v32025-04-18T00:11:14Z2024-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 Itov3, 35pages; added some corollaries and remarkshttp://arxiv.org/abs/2503.05337v42025-04-17T20:52:23Z2025-03-07T11:25:10ZPolynomial 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 AlvarezArtem Lopatin25 pages. Version 3: The paper has been substantially expanded, and
new results have been added. Version 4: Two references have been addedhttp://arxiv.org/abs/2504.12886v12025-04-17T12:21:08Z2025-04-17T12:21:08ZThe 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žanhttp://arxiv.org/abs/2504.12874v12025-04-17T12:02:26Z2025-04-17T12:02:26ZHomomorphisms 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 CampaniniSusan F. El-DekenAlberto Facchini10.1007/s10468-019-09936-xhttp://arxiv.org/abs/2504.12873v12025-04-17T12:02:19Z2025-04-17T12:02:19ZOn 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 CampaniniAlberto Facchini10.1090/conm/715/14407http://arxiv.org/abs/2504.12843v12025-04-17T10:57:58Z2025-04-17T10:57:58ZQuadratic 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 AriciYufan Gehttp://arxiv.org/abs/2504.12649v12025-04-17T05:21:10Z2025-04-17T05:21:10ZExtensions 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. Goodearlhttp://arxiv.org/abs/2504.11639v22025-04-17T02:08:15Z2025-04-15T22:02:44ZTwisted 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. DokuchaevR. ExelH. PinedoThis replacement corrects a misleading information in the last
sentence of the abstracthttp://arxiv.org/abs/2407.14809v22025-04-17T00:28:14Z2024-07-20T08:47:15ZCentral 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 BuzagloGirish S. Vishwav2: 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.16304v22025-04-16T23:07:57Z2025-02-22T17:28:07ZPolygraphic 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 LiuPhilippe Malboshttp://arxiv.org/abs/2504.12206v12025-04-16T15:54:42Z2025-04-16T15:54:42ZFinite 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 Yang45 pageshttp://arxiv.org/abs/2504.12155v12025-04-16T15:03:19Z2025-04-16T15:03:19ZOn 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 Campanini10.1080/00927872.2017.1372459