A Note on Scopes Equivalences for Ariki--Koike Algebras as Categorical Actions

2026-02-26T21:25:26Z

A categorical action of a Kac--Moody algebra $\mathfrak{g}$ is built on a category $\mathcal{C}$ decomposed according to the weights $P$ of $\mathfrak{g}$, as well as biadjoint endofunctors $\mathcal{E}_i$ and $\mathcal{F}_i$, abstracting $i$-induction and $i$-restriction, which act on the weight spaces of $\mathcal{C}$ in the same way that the Chevalley generators would act on a regular representation. Chuang and Rouquier initially developed these notions for $\mathfrak{sl}_2$-categorical actions, using them to prove Broué's abelian defect group conjecture for symmetric groups by establishing derived equivalences between blocks of the same defect. In the setting of general categorical actions Webster later showed that many of these derived equivalences are, in fact, $t$-exact, and that, as a result, such an action can be used to separate weight spaces of a categorical action into a finite number of Morita equivalence classes, where these equivalences also preserve decomposition numbers. The combinatorics of these powerful abstract results were concretely established in the case of Ariki--Koike algebras by the first author in arxiv:2301.05153v2, and in this short note we discuss how to translate between the two settings.

Covering rings by proper ideals

2026-02-26T17:29:32Z

A cover by left ideals of an associative (not necessarily commutative or unital) ring $R$ is a collection of proper left ideals whose set-theoretic union equals $R$. If such a cover exists, then $η_\ell(R)$ is the cardinality of a minimal cover, and $R$ is $η_\ell$-elementary if $η_\ell(R)<η_\ell(R/I)$ for every nonzero two-sided ideal $I$ of $R$. We classify all $η_\ell$-elementary rings, and determine their covering numbers. Covers by right or two-sided ideals are also studied. This completely characterizes rings admitting finite covers by ideals. Our results generalize to finite covers of modules by submodules, and we determine all possible covering numbers.

R-triviality for adjoint classical groups of type C

2026-02-26T15:01:38Z

For a central simple algebra with a symplectic involution (A,s) over a field of characteristic different from 2, we show that its group of projective similitudes PSim(A,s) is R-trivial in two new cases.

Finitely Generated Varieties of Commutative BCK-algebras: Covers

2026-02-26T13:46:51Z

The article aims at describing all covers of any finitely generated variety of cBCK-algebras. It is known that subdirectly irreducible cBCK-algebras are rooted trees (concerning their order). Also, all subdirectly irreducible members of finitely generated variety are subalgebras of subdirectly irreducible generators of that variety. The first part of the article focuses on subalgebras of finite subdirectly irreducible cBCK-algebras. In the second part of the article, a construction is presented that provides all the covers of any finitely generated variety.

Ideals in Arbitrary Three-Dimensional Algebras

2026-02-26T10:56:49Z

In this paper, we study arbitrary (not necessarily associative) 3-dimensional algebras. Such an algebra A is determined by a basis and the corresponding multiplication table, which is specified by 27 structure constants. We describe all ideals of A, providing an explicit characterization of both 1-dimensional and 2-dimensional ideals. Moreover, we classify 2-dimensional ideals into 4 distinct types. We prove that A either has infinitely many ideals or at most 4. We also show that, in any case, the maximum number of 1-dimensional ideals is 3, while the maximum number of 2-dimensional ideals is 2. Finally, we present a class of algebras with a finite number of ideals that attain this theoretical maximum.

On the Sylow Theorem for Skew Braces

2026-02-26T09:10:40Z

We discuss the (first) Sylow theorem for certain classes of finite skew braces, proving it to hold true when the skew brace is two-sided, bi-skew, right nilpotent, $λ$-homomorphic or supersoluble. We also show it to hold true for soluble skew braces that are left-nilpotent, and address a number of more specialized settings, proving general Hall-type theorems.

The Solvabilizers and Solvable Graphs in Lie Superalgebras

2026-02-26T07:30:16Z

In this paper, we introduce the solvabilizer and the solvable graph for a Lie superalgebra and establish their basic properties. Then we define a category which links Lie superalgebras to their solvable substructures. Afterwards, we prove that the solvable graph is one of the isomorphic invariants of the Lie superalgebras. Furthermore, we introduce the solvability measure, which can reflect the degree of solvability of Lie superalgebras.

Just-infinite Jordan Banach algebras

2026-02-26T04:43:41Z

By analogy with the well-established notions of just-infinite groups and just-infinite algebras, in particular $C^*$-algebras, we initiate a study of just-infinite $JB$-algebras, i.e. infinite dimensional $JB$-algebras for which all proper quotients are finite dimensional. We investigate the connections between a just-infinite $C^*$-algebra $A$ and its Jordan algebra $H(A,*)$ of self-adjoint elements. We also show that any just-infinite $JB$-algebra $J$ either is a infinite-dimensional spin factor or there exists a $C^*$-algebra $A$ and just-infinite norm-closed real $*$-subalgebras $A_1$ and $A_2$ of $A$ such that $H(A_1,*)\unlhd J \subseteq H(A_2,*).$

Non-commutative rings with infinitely many maximal subrings

2026-02-26T04:15:49Z

We study rings with infinitely (only finitely) many maximal subrings. We prove that if $M$ is a maximal left/right ideal of a ring $T$ which is not an ideal of $T$, and $R$ is the idealizer of $M$, then $T$ has at least $|R/M|+1$ maximal left/right ideals which are not an ideal of $T$; in particular $T$ has at least $|R/M|+1$ distinct maximal subrings. Moreover, if $T$ is a $K$-algebra over an infinite field $K$, then either $T$ has infinitely many maximal subrings or $T$ is a quasi duo ring with certain algebraic properties similar to commutative rings. We prove that for a simple ring $R$, the ring $R\times R$ has only finitely many maximal subrings if and only if $R$ is finite. Also we study rings which are integral over their centers and have only finitely many maximal subrings. We prove that if $T$ is integral over its center and $T$ has more than $2^{\aleph_0}$ maximal (left/right) ideals, then $T$ has infinitely many maximal subrings. In particular, we see that if a $J$-semisimple ring $T$ is integral over its center and has only finitely many maximal subrings, then $T$ embeds in $S\times \prod_{i\in I}E_i$, where each $E_i$ is an absolutely algebraic field and $S$ is a finite semisimple ring. We see that if $T$ is a left Noetherian algebraic $K$-algebra over an infinite field $K$ and $T$ has only finitely many maximal subrings, then $T$ is a countable left Artinian ring which is integral over $\mathbb{Z}_p$, where $p=Char(K)$. We exactly determine when $T=\prod_{i\in I}\mathbb{M}_{n_i}(E_i)$, where each $E_i$ is a field and $n_i\in\mathbb{N}$, has only finitely many maximal subrings. We see that if $R$ is an infinite Artinian ring, then $\mathbb{M}_n(R)$, $n>1$, and $R\times R$ have infinitely many maximal subrings.

A note on Lie and Jordan structures of Leavitt path algebras

2026-02-26T03:35:30Z

Let $L_K(E)$ be the Leavitt path algebra of a directed graph $E$ over a field $K$. In this paper, we determine $E$ and $K$ for the Lie algebra $\mathbf{K}_{L_K(E)}$ and the Jordan algebra $\mathbf{S}_{L_K(E)}$ arising from $L_K(E)$ with respect to the standard involution to be solvable.

On Dual Algebras of Hopf Algebroids

2026-02-25T17:03:47Z

We study the dual algebras of (discrete) Hopf algebroids. In particular, we understand comodules over a Hopf algebroid as (discrete) modules over its dual algebra.

PI Artin--Schelter regular algebras of dimension 3 are unique factorization rings

2026-02-25T13:52:39Z

We prove that all noetherian PI Artin--Schelter regular algebras of dimension $3$ are unique factorization rings. In a certain sense, this result is a noncommutative analogue to the fact that regular local rings of dimension 3 are UFDs. The fact constitutes a crucial component in the proof of the assertion that all regular local rings are UFDs, known as the Auslander--Buchsbaum theorem.

$2$-representation infinite algebras from non-abelian subgroups of $\operatorname{SL}_3$. Part I: Extensions of abelian groups

2026-02-25T05:47:32Z

Let $G \leq \operatorname{SL}_3(\mathbb{C})$ be a non-trivial finite group, acting on $R = \mathbb{C}[x_1, x_2, x_3]$. The resulting skew-group algebra $R \ast G$ is $3$-Calabi-Yau, and can sometimes be endowed with the structure of a $3$-preprojective algebra. However, not every such $R \ast G$ admits such a structure. The finite subgroups of $\operatorname{SL}_3(\mathbb{C})$ are classified into types (A) to (L). We consider the groups $G$ of types (C) and (D) and determine for each such group whether the algebra $R \ast G$ admits a $3$-preprojective cut, that is a $3$-preprojective structure arising from a grading of the McKay quiver of $G$. We show that the algebra $R \ast G$ admits a $3$-preprojective cut if and only if $9 \mid |G|$. Our proof is constructive and yields a description of the involved $2$-representation infinite algebras. This is based on the semi-direct decomposition $G \simeq N \rtimes K$ for an abelian group $N$, and we show that the existence of a $3$-preprojective structure on $R \ast G$ is essentially determined by the existence of one on $R \ast N$. This provides new classes of $2$-representation infinite algebras, and we discuss some $2$-Auslander-Platzeck-Reiten tilts. Along the way, we give a detailed description of the involved groups and their McKay quivers by iteratively applying skew-group constructions.

Noncommutative pre-Poisson bialgebras and relative Rota-Baxter operators

2026-02-25T02:59:16Z

In this paper, we develop the bialgebra theory for coherent noncommutative pre-Poisson algebras and establish equivalences among matched pairs, Manin triples, the phase space of noncommutative Poisson algebras and noncommutative pre-Poisson bialgebras. The investigation of coboundary noncommutative pre-Poisson bialgebras naturally leads to the noncommutative pre-Poisson Yang-Baxter equation (NPP-YBE). We prove that a symmetric solution of the NPP-YBE gives rise to a (coboundary) noncommutative pre-Poisson bialgebra. Moreover, we demonstrate how solutions without the symmetry condition can also generate such bialgebras. This motivates the introduction of quasi-triangular and factorizable noncommutative pre-Poisson bialgebras.In particular, we show that a solution of the NPP-YBE with an invariant skew-symmetric part yields a quasi-triangular noncommutative pre-Poisson bialgebra.Such solutions are further interpreted as relative Rota-Baxter operators with weights. Finally, we establish a one-to-one correspondence between quadratic Rota-Baxter noncommutative pre-Poisson algebras and factorizable noncommutative pre-Poisson bialgebras.

Degenerate twisted traces on quantized Kleinian singularities of type A

2026-02-24T21:35:08Z

We study the space of non-degenerate traces on quantized Kleinian singularities of type A by studying their complement, the degenerate traces. In particular, we find the dimension of the space of twisted traces as a function of the corresponding automorphism and the quantization parameters, encoded in a polynomial $P$.