http://arxiv.org/api/y0cNarBe6klxoKBmvv1pqpmlbms 2025-04-21T00:00:00-04:00 18389 0 15 http://arxiv.org/abs/2504.05134v2 2025-04-21T16:36:20Z 2025-04-07T14:38:54Z

The construction of partially compactified cluster algebras on coordinate rings is handled by using codimension 2 arguments on cluster covers. An analog of this in the quantum situation is highly desirable but has not been found yet. In this paper, we present a general method for the construction of partially compactified quantum cluster algebra structures on quantized coordinate rings from that of quantum cluster algebra structures on localizations. As an application, we construct a partially compactified quantum cluster algebra structure on the quantized coordinate ring of every connected, simply connected complex simple algebraic group. Along the way, we settle in full the Berenstein--Zelevinsky conjecture that all quantum double Bruhat cells have quantum cluster algebra structures associated to seeds indexed by arbitrary signed words, and prove that all such seeds are linked to each by mutations.

Fan Qin Milen Yakimov 37 pages, v2 contains improved results concerning the Berenstein--Zelevinsky conjecture http://arxiv.org/abs/2504.15202v1 2025-04-21T16:17:53Z 2025-04-21T16:17:53Z

In this paper, we extend the ElGamal cryptosystem to the third group of units of the ring $\Z_{n}$, which we prove to be more secure than the previous extensions. We describe the arithmetic needed in the new setting. We also provide some numerical simulations that shows the security and efficiency of our proposed cryptosystem.

Jana Hamza Mohammad EL Hindi Seifeddine Kadri Therrar Kadri Yahya Awad 11 pages, 1 figure http://arxiv.org/abs/2504.15092v1 2025-04-21T13:24:32Z 2025-04-21T13:24:32Z

In this paper, we explore the extending structures problem by the unified product for pre-Poisson algebras. In particular, the crossed product and the factorization problem are investigated. Furthermore, a special case of extending structures is studied under the case of pre-Poisson algebras, which leads to the discussion of bicrossed products and matched pairs of pre-Poisson algebras. We develop a bialgebra theory for pre-Poisson algebras and establish the equivalence between matched pairs and pre-Poisson bialgebras. We study coboundary pre-Poisson bialgebras, which lead to the introduction of the pre-Poisson Yang-Baxter equation (PPYBE). A symmetric solution of the PPYBE naturally gives a coboundary pre-Poisson bialgebra.

Qianwen Zhu Guilai Liu Qinxiu Sun http://arxiv.org/abs/2504.15064v1 2025-04-21T12:49:13Z 2025-04-21T12:49:13Z

In this work, we study the matrix representation of derivations for Mock-Lie algebras with dimensions up to four. Using matrix methods, we examine their structure and properties, showing how these derivations help us better understand the algebraic nature of Mock-Lie algebras.

Imed Basdouri Bouzid Mosbahi http://arxiv.org/abs/2411.15358v2 2025-04-21T12:18:51Z 2024-11-22T22:07:26Z

We describe Rota-Baxter operators, Reynolds operators, Nijenhuis operators, and Averaging operators on 2-dimensional dendriform algebras over $\mathbb{C}$.

Imed Basdouri Bouzid Mosbahi http://arxiv.org/abs/2504.14844v1 2025-04-21T03:56:47Z 2025-04-21T03:56:47Z

We establish a geometric construction of Kashiwara crystals on the irreducible components of the varieties of multiparameter persistence modules. Our approach differs from the seminal work of Kashiwara and Saito, as well as subsequent related works, by emphasizing commutative relations rather than preprojective relations for a given quiver. Furthermore, we provide explicit descriptions of the Kashiwara operators in the fundamental cases of 1- and 2-parameter persistence modules, offering concrete insights into the crystal structure in these settings.

Yasuaki Hiraoka Kohei Yahiro http://arxiv.org/abs/2504.14829v1 2025-04-21T03:13:39Z 2025-04-21T03:13:39Z

We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential ideals and subsume them as a subclass. The central theorem provides a full characterization: an ideal is an $\mathrm{M}$-ideal if and only if it is either essential or relatively irreducible. This dichotomy reveals the abundant and diverse nature of $\mathrm{M}$-ideals, encompassing both essential and minimal ideals, and admits natural generalizations in rings beyond the commutative and unital settings. We systematically study the algebraic stability of $\mathrm{M}$-ideals under standard constructions such as intersection, quotient, direct product, and Morita equivalence and establish their behavior in topological rings and operator algebras. In certain rings such as $\mathbb{Z}_n$ and C*-algebras, we completely classify $\mathrm{M}$-ideals and relate them to algebraically minimal projections and central idempotents. The ring $\mathrm{M}$-ideals in $C(K)$ are shown to be precisely the essential ideals or those minimal ideals corresponding to isolated points. Structurally, we show that the absence of proper $\mathrm{M}$-ideals characterizes simplicity, while rings in which every proper $\mathrm{M}$-ideal is a direct summand must decompose as finite direct sums of simple rings. In closing, we introduce the notion of $\mathrm{M}$-complements, drawing an analogy with essential extensions in module theory, and demonstrate their existence.

David P. Blecher Amartya Goswami 12 pages http://arxiv.org/abs/2503.08021v2 2025-04-21T00:13:48Z 2025-03-11T04:02:10Z

Let $A$ and $H$ be two cocommutative Hopf algebra such that $A$ is an $H$-bimodule Hopf algebra. Suppose that $R:A\rightarrow A$ is a linear map and $B$ is a Rota-Baxter operator of $H$. In this paper we will characterize the Rota-Baxter operators on the L-R smash product $A\natural H$ and give the necessary and sufficient conditions to make $\overline{B}$ a Rota-Baxter operator of $A\natural H$. Then we will consider the dual case, and construct a Rota-Baxter co-operator on the L-R smash product $C\ltimes H$.

Daowei Lu Dingguo Wang http://arxiv.org/abs/2504.14670v1 2025-04-20T16:24:59Z 2025-04-20T16:24:59Z

Let $W = \mathbb{C}[t, t^{-1}]\partial_t$ be the Witt algebra of algebraic vector fields on $\mathbb{C}^\times$ and let $V\!ir$ be the Virasoro algebra, the unique nontrivial central extension of $W$. In 2023, Petukhov and Sierra showed that Poisson primitive ideals of $\mathrm{S}(W)$ and $\mathrm{S}(V\!ir)$ can be constructed from elements of $W^*$ and $V\!ir^*$ of a particular form, called local functions. In this paper, we show how to use a local function on $W$ or $V\!ir$ to construct a representation of the Lie algebra. We further show that the annihilators of these representations are new completely prime primitive ideals of $\mathrm{U}(W)$ and $\mathrm{U}(V\!ir)$. We use this to define a Dixmier map from the Poisson primitive spectrum of $\mathrm{S}(V\!ir)$, respectively $\mathrm{S}(W)$, to the primitive spectrum of $\mathrm{U}(V\!ir)$, respectively $\mathrm{U}(W)$, successfully extending the orbit method from finite-dimensional solvable Lie algebras to our countable-dimensional setting. Our method involves new ring homomorphisms from $\mathrm{U}(W)$ to the tensor product of a localized Weyl algebra and the enveloping algebra of a finite-dimensional solvable subquotient of $W$. We further show that the kernels of these homomorphisms are intersections of the primitive ideals constructed from natural subsets of $W^*$. As a corollary, we disprove the conjecture that any primitive ideal of $\mathrm{U}(W)$ is the kernel of some map from $\mathrm{U}(W)$ to the first Weyl algebra.

Tuan Anh Pham 47 pages http://arxiv.org/abs/2403.13637v6 2025-04-20T13:36:06Z 2024-03-20T14:37:43Z

For a commutative Gorenstein Noetherian ring $R$, we construct an affine scheme $X$ solely from DG singularity category $S_{dg}(R)$ of $R$ such that there is a finite surjective morphism $X \rightarrow \mathrm{Spec}(R /I)$, where $\mathrm{Spec}(R /I)$ is the singular locus in $\mathrm{Spec}(R)$. As an application, for two such rings with equivalent DG singularity categories, we prove that the singular loci in their affine schemes have the same dimension.

Leilei Liu Jieheng Zeng 18 pages http://arxiv.org/abs/2504.14540v1 2025-04-20T09:05:56Z 2025-04-20T09:05:56Z

Let $p$ be a prime number. Given a restricted Lie algebra over a field of characteristic $p$ and a post-Lie operation over it, we prove the Jacobson identities for a $p$-structure built from the Lie bracket and the post-Lie operation, called sub-adjacent $p$-structure. Furthermore, we give sufficient conditions for the sub-adjacent Lie algebra to be restricted if equipped with this sub-adjacent $p$-structure. This construction is ''axiomatized'' by introducing the notion of restricted post-Lie algebras, and we work out several examples.

Quentin Ehret Nicolas Gilliers http://arxiv.org/abs/2504.14397v1 2025-04-19T20:13:59Z 2025-04-19T20:13:59Z

We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Koszul Hecke algebras. Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products transfer homological information between resolutions and convert conditions on Hochschild cocycles and Gerstenhaber brackets into explicit PBW conditions.

A. V. Shepler S. Witherspoon 47 pages http://arxiv.org/abs/2504.14339v1 2025-04-19T16:10:06Z 2025-04-19T16:10:06Z

In this article, we introduce endocabling as a technique to deform involutive, non-degenerate set-theoretic solutions to the Yang-Baxter equation (``solutions'', for short) by means of $\lambda$-endomorphisms of their associated permutation brace, thus generalizing the cabling method by Lebed, Vendramin and Ram\'{i}rez. In the first part of the article, we define endocabling and investigate the behaviour of solutions and their invariants under endocabling. In the second part, we apply our findings to solutions of size $n$ whose diagonal map is an $n$-cycle: we will prove that solutions with this property whose size is an odd prime power, are of finite multipermutation level. Furthermore, solutions with this property whose size is a power of $2$, will be proven either to be of finite multipermutation level or to admit an iterated retraction onto a unique solution of size $4$. We formulate our results in the language of cycle sets.

Carsten Dietzel 25 pages, Comments Welcome! http://arxiv.org/abs/2504.14293v1 2025-04-19T13:39:05Z 2025-04-19T13:39:05Z

In this article we prove that there exists an injective Lie morphism from the double shuffle Lie algebra ${\frak{ds}}$ into the Kashiwara-Vergne Lie algebra ${\frak{krv}}$, forming a commutative triangle with the known Lie injections of the Grothendieck-Teichm\"uller Lie algebra ${\frak{grt}}\rightarrow {\frak{ds}}$ and ${\frak{grt}}\rightarrow{\frak{krv}}$.

Leila Schneps http://arxiv.org/abs/2504.14285v1 2025-04-19T13:05:43Z 2025-04-19T13:05:43Z

Rings with Nakayama permutations, pseudo-Frobenius and Frobenius rings in particular, are studied by applying the general theory of formal matrix rings to their Peirce decompositions. A combinatorial criterion is given to decide whether a formal matrix ring with local rings on the diagonal has a prescribed Nakayama permutation. It is shown that a pseudo-Frobenius ring R can be represented as a block matrix ring, where the blocks on the diagonal are pseudo-Frobenius rings corresponding to cycles in the Nakayama permutation of R. All possible supports of such blocks are characterised. In the finite case, their local corner rings are shown to be isomorphic. We characterise local corners of quasi-Frobenius rings as a subclass of rings with a Morita self-duality. The duality contexts between these corners then appear on the shifted diagonal of their formal matrix representations. Using the combinatorial criterion, we give, under mild assumptions, a method of how to glue two rings with a Nakayama permutation. It is then used to construct an indecomposable Frobenius ring with two simple modules whose rings of endomorphisms are not isomorphic.

Dominik Krasula