https://arxiv.org/api/DT7t7yCWkpRzwVisEzKSS7XkQ9c 2026-06-13T19:04:34Z 20068 105 15 http://arxiv.org/abs/2606.01206v1 2026-05-31T12:48:32Z

Let $G$ be a split, simply connected, almost simple algebraic group over a field of characteristic zero, and let $P$ be a maximal parabolic subgroup of $G$. We study the ring of differential operators on $P^{\mathrm{der}}\backslash G$, showing that it shares several key structural properties with classical Weyl algebras. We also develop a corresponding theory of $D$-modules.

2026-05-31T12:48:32Z 24 pages. Comments welcome Chun-Hsien Hsu http://arxiv.org/abs/2410.06046v3 2026-05-31T09:06:51Z

For each simple Lie algebra $\mathfrak{g}$ of simply-laced type, Hernandez and Leclerc introduced a certain category $\mathcal{C}_{\mathbb{Z}}$ of finite-dimensional representations of the quantum affine algebra of $\mathfrak{g}$, as well as certain subcategories $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ depending on a choice of height function adapted to an orientation of the Dynkin graph of $\mathfrak{g}$. In our previous work we constructed an algebra homomorphism $\widetilde{D}_ξ$ whose domain contains the image of the Grothendieck ring of $\mathcal{C}_{\mathbb{Z}}^{\leq ξ}$ under the truncated $q$-character morphism $\widetildeχ_q$ corresponding to $ξ$. We exhibited a close relationship between the composition of $\widetilde{D}_ξ$ with $\widetildeχ_q$ and the morphism $\overline{D}$ recently introduced by Baumann, Kamnitzer and Knutson in their study of the equivariant homology of Mirković-Vilonen cycles. In this paper, we extend $\widetilde{D}_ξ$ in order to investigate its composition with Frenkel-Reshetikhin's original $q$-character morphism. Our main result consists in proving that the $q$-characters of all standard modules in $\mathcal{C}_{\mathbb{Z}}$ lie in the kernel of $\widetilde{D}_ξ$. This provides a large family of new non-trivial rational identities suggesting possible geometric interpretations.

2024-10-08T13:45:11Z Revision following referee's suggestions. 32 pages Élie Casbi Jian-Rong Li http://arxiv.org/abs/2606.01102v1 2026-05-31T08:43:58Z

We propose a three-voice extension of Mazzola's algebraic model of first-species counterpoint. A three-voice sonority is represented as \(a+\varepsilon_1 .b+\varepsilon_2 .c\), where \(a\) is the lower voice and \(b,c\) are the lower--middle and lower--upper interval classes. Starting from a strong dichotomy \((X/Y)\) of \(\mathbb Z_{2k}\), we introduce a harmonic mask \(H\subseteq X\times X\) and define the admissible three-voice consonances \(X_H\). We then construct a Hichert-type successor relation by applying the ordinary two-voice admitted-successor mechanism to the active pairwise projections. In the twelve-tone Fuxian case, the proposed mask has 26 admissible bass-rooted interval pairs, including complete and incomplete sonorities, and yields a finite directed successor structure.

2026-05-31T08:43:58Z 15 pages, 1 figure Ren Okumura Takuro Shibayama http://arxiv.org/abs/2606.00916v1 2026-05-30T22:50:50Z

We introduce the overflow semiring $S = A \oplus_{\operatorname{ord}} L$, extending a positive information algebra $A$ by a join-semilattice $L$, where elements of $L$ dominate $A$ and arithmetic in $L$ reduces to the join. This models saturation or overflow in computational systems and generalizes the transition from finite to infinite cardinal arithmetic. We characterize the idempotent elements of $S$ and $S[X]$, fully classify idempotent power series over cardinal numbers, describe the structure of prime and maximal ideals, compute the Krull dimension of $S$ ($\dim S = \dim A + |L|$ for well-ordered finite $L$), and establish Noetherian and Artinian criteria.

2026-05-30T22:50:50Z Peyman Nasehpour http://arxiv.org/abs/2606.00833v1 2026-05-30T18:14:37Z

We prove the Nielsen--Schreier property for the variety of algebras defined by the identity $x(x^2)^2=(x^2)^2x$: every subalgebra of every free algebra in this variety is itself free. We also show that this variety of algebras does not have the Poincaré--Birkhoff--Witt property for universal multiplicative enveloping algebras. Our strategy of proof actually leads to infinitely many new varieties of non-associative algebras with the same behaviour. This offers new evidence supporting a conjecture of the first author and Umirbaev suggesting that the Nielsen--Schreier property over a field of zero characteristic is equivalent to freeness of universal multiplicative enveloping algebras of free algebras.

2026-05-30T18:14:37Z Vladimir Dotsenko Bekzat Zhakhayev http://arxiv.org/abs/2606.00736v1 2026-05-30T14:02:04Z

We prove that, over any ring $R$, the supremum of the projective dimensions of the flat left $R$-modules coincides with the supremum of the Gorenstein projective dimensions of the Gorenstein flat left $R$-modules. As a consequence, we obtain new characterizations of left $n$-perfect rings in terms of Gorenstein projective, Ding projective, and projectively coresolved Gorenstein flat dimensions, extending results by Emmanouil and Dalezios and by Christensen, Estrada, and Thompson. We also introduce Gorenstein analogues of several classical homological invariants and study their relationships with the classical ones, identifying conditions under which they coincide with the classical invariants. Finally, we obtain characterizations of left weakly $n$-$Σ$-cotorsion rings introduced by Cortés-Izurdiaga, Estrada and Fresneda in terms of Gorenstein classes of modules.

2026-05-30T14:02:04Z 14 pages José Manuel Fresneda http://arxiv.org/abs/2602.16572v3 2026-05-30T01:48:30Z

Over an arbitrary commutative ring $R$, we develop a theory of quantum cellular automata. We then use algebraic K-theory to construct a space $\mathbf{Q}(X)$ of quantum cellular automata (QCA) on a given metric space $X$. In most cases of interest, $π_0 \mathbf{Q}(X)$ classifies QCA up to quantum circuits and stabilization. Notably, the QCA spaces are related by homotopy equivalences $\mathbf{Q}(*) \simeq Ω^n \mathbf{Q}(\mathbb{Z}^n)$ for all $n$, which shows that the classification of QCA on Euclidean lattices is given by an $Ω$-spectrum indexed by the dimension $n$. As a corollary, we also obtain a non-connective delooping of the K-theory of Azumaya $R$-algebras, which may be of independent interest. We also include a section leading to the $Ω$-spectrum for QCA over $C^*$-algebras with unitary circuits.

2026-02-18T16:15:36Z 60 pages, 5 Figures, 1 Table Mattie Ji Bowen Yang http://arxiv.org/abs/2606.00385v1 2026-05-29T21:59:47Z

Let $\Bbbk$ be a field, $H$ a colour Hopf algebra and $A$ a graded $H$-comodule colour algebra. We give a sufficient condition for a colour $(A,H)$-Hopf module to be injective as a graded $H$-comodule and we deduce relative projectivity in the category of colour $(A,H)$-Hopf modules. We generalize the Fundamental Theorem of $(A,H)$-Hopf modules to the context of colour $(A,H)$-Hopf modules. Using this result, we show that the categories of graded $A^{coH}$-modules and of colour $(A,H)$-Hopf modules are equivalent, $A$ is faithfully flat as a graded right $A^{coH}$-module and is a graded Hopf-Galois extension of $A^{coH}$. Under some assumptions, we show that $M^{coH}$ is a graded $A$-module and we prove that the graded global dimension of $A$ is equal to the graded projective dimension of the graded $A$-module $A^{coH}$.

2026-05-29T21:59:47Z 25 pages Thomas Guédénon http://arxiv.org/abs/2512.20807v2 2026-05-29T18:22:43Z

We develop a comparison, base-change, and descent framework for the algebraic $K$-theory of non-commutative $n$-ary $Γ$-semirings. Working in the Quillen-exact (and Waldhausen) setting of bi-finite, slot-sensitive $Γ$-modules and perfect complexes, we construct functorial maps on $K$-theory induced by extension and restriction of scalars under explicit $Γ$-flatness hypotheses in the relevant positional slots. We prove derived Morita invariance (via tilting bimodule complexes), establish Beck-Chevalley type base-change for cartesian squares, and deduce a projection formula compatible with the multiplicative structure coming from positional tensor products. Passing to the non-commutative $Γ$-spectrum Spec$^{\mathrm{nc}}_Γ(T)$, we show locality for perfect objects and derive Zariski hyperdescent for $\mathbb{K}(\mathrm{Perf})$, together with excision and localization sequences for closed immersions and fpqc descent for $Γ$-flat covers. Finally, we interpret $K_Γ(X)$ geometrically as the $K$-theory of the stable $\infty$-category of $Γ$-perfect complexes, describe its universal property in $Γ$-linear non-commutative motives, and record compatibility with cyclotomic and Chern-type trace maps.

2025-12-23T22:14:33Z Chandrasekhar Gokavarapu Dasari Madhusudhana Rao 10.55630/serdica.2026.52.85-108 http://arxiv.org/abs/2404.07093v3 2026-05-29T09:57:01Z

We study path rings, Cohn path rings, and Leavitt path rings associated to directed graphs, with coefficients in an arbitrary ring $R$. For each of these types of rings, we stipulate conditions on the graph that are necessary and sufficient to ensure that the ring satisfies either the rank condition or the strong rank condition whenever $R$ enjoys the same property. In addition, we apply our result for path rings and the strong rank condition to characterize the graphs that give rise to amenable path algebras and exhaustively amenable path algebras.

2024-04-10T15:32:46Z Final version. To appear in Journal of Algebra Karl Lorensen Johan Öinert http://arxiv.org/abs/1604.08401v3 2026-05-28T19:40:57Z

This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labelling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.

2016-04-28T13:11:43Z 32 pages. Version 2: Expository changes only. Version 3: Final pre-publication version Compositio Math. 154 (2018) 1269-1305 Osamu Iyama Nathan Reading Idun Reiten Hugh Thomas 10.1112/S0010437X18007078 http://arxiv.org/abs/2605.30494v1 2026-05-28T19:18:40Z

Let $G$ be an arbitrary group and let $\mathbb{F}$ be a finite field. In this paper, we determine bases for the $T_G$-ideals of graded polynomial identities of the algebra $M_2(\mathbb{F})$ for all possible $G$-gradings. The bases obtained consist of finitely many non-trivial graded identities, and are finite whenever $G$ is finite.

2026-05-28T19:18:40Z 19 pages Diogo Diniz Eduardo Pinto da Fonsêca Luis Filipe Ramos http://arxiv.org/abs/2605.30097v1 2026-05-28T15:40:44Z

In this paper, we answer negatively to a question posed in the context of the 2025 Oberwolfach Mini-Workshop ``The Yang-Baxter Equation and Representations of Braid Groups'' regarding the existence of split extensions classifiers in the category of skew braces. To this end, we show that the variety of skew braces is not action accessible by investigating the categorical notion of centraliser in the sense of Huq. In light of their intrinsic relationship with skew braces, an analogous result is proven for the variety of post-Lie algebras over a fixed field.

2026-05-28T15:40:44Z 18 pages. Comments are welcome! Andrea Albano Paola Stefanelli http://arxiv.org/abs/2605.30048v1 2026-05-28T15:00:06Z

We review known linear and matrix generalizations of Hall's classic ``marriage theorem'' and Kőnig's theorem on partial matchings in bipartite graphs, and relate them to linear and matrix generalizations of Dilworth's theorem about chains and antichains in posets and Menger's theorem about disjoint paths in directed graphs.

2026-05-28T15:00:06Z 25 pages Nik Weaver http://arxiv.org/abs/2605.29878v1 2026-05-28T13:04:08Z

Motivated by the recent work of Batkam-Tcheka on pointed multiplicative operads, we construct in this paper new chain complex algebras and two distinct bicomplex algebra structures on a free symmetric connected multiplicative differential graded operad. Furthermore, we focus on the non-differential graded case and construct a differential graded Hopf algebra structure using the odot product together with an analogue of the Alexander-Whitney homomorphism and a compatible differential. As a consequence, we extend the Malvenuto-Reutenauer result by showing that every free symmetric connected multiplicative operad naturally carries a differential graded Hopf algebra structure.

2026-05-28T13:04:08Z Calvin Tcheka Batkam Mbatchou V. Jacky Guy R. Biyogmam