https://arxiv.org/api/bWY49Wcq1cMUa/DUU+zFJhIjzs0 2026-06-14T22:41:47Z 20068 495 15 http://arxiv.org/abs/2512.12350v2 2026-04-01T11:50:07Z

Discrete quantum groups were introduced as duals of compact quantum groups by Podleś and Woronowicz in 1990. Shortly after, they were defined and studied intrinsically by Effros and Ruan, and by this author. In 1998, with the introduction of the multiplier Hopf algebras with integrals (also called algebraic quantum groups), the duality between discrete and compact quantum groups became part of the more general duality in the self-dual category of these algebraic quantum groups. Again a few years later the duality was extended to all locally compact quantum groups. In these notes, we give a new and a somewhat updated approach of the theory of discrete quantum groups. In particular, we view them as special cases of algebraic quantum groups. The duality between the compact quantum groups and the discrete quantum groups is seen in this larger context. This has a number of advantages as we will explain. On the one hand, we provide quite a bit of information about how all of this fits into the more general theory of algebraic quantum groups and its duality. Occasionally, we even go one step further and look at the most general case of locally compact quantum groups. Also sometimes, we compare with known results in pure Hopf algebra theory. On the other hand however, we have tried to make these notes highly self-contained. The aim of these notes in the first place is not to give new results but rather to review known results in a more modern perspective, taking into account recent developments. We believe this may be helpful for people who want to work with compact and discrete quantum groups now.

2025-12-13T14:42:33Z Alfons Van Daele http://arxiv.org/abs/2604.00581v1 2026-04-01T07:40:17Z

By using unramified cohomology groups, we construct a full sequence of cohomological invariants for hermitian forms of any type (orthogonal, symplectic or unitary) that can be used to detect hyperbolicity. The base central simple algebras can have arbitrary degree and the base field can have arbitrary characteristic. In the orthogonal case, we work with hermitian pairs, and we apply our construction to show that over fields of separable dimension 3, hermitian pairs over quaternion algebras with trivial classical invariants are hyperbolic. This last result extends a result of Berhuy to arbitrary characteristic.

2026-04-01T07:40:17Z 32 pages Yong Hu Alexandre Lourdeaux http://arxiv.org/abs/2504.09011v3 2026-04-01T03:54:21Z

We show that the coordinate ring of a simply-connected simple algebraic group $G$ over the complex number field coincides with the Berenstein--Fomin--Zelevinsky cluster algebra and its upper cluster algebra, at least when $G$ is not of type $F_4$.

2025-04-11T23:35:50Z 13 pages. v2: Minor corrections. v3: Minor corrections. Journal version Proc. Amer. Math. Soc. 154 (2026), no. 5, 1867--1879 Hironori Oya 10.1090/proc/17551 http://arxiv.org/abs/2603.29910v1 2026-03-31T15:54:24Z

The classical bar-cobar adjunction between dg algebras and dg coalgebras goes back to the origins of differential homological algebra as developed by Cartan, Eilenberg, Moore, and many others, and is part of the broader framework of Koszul duality. In recent years, several $\infty$-categorical analogues of this adjunction have been developed, notably by Lurie, Francis--Gaitsgory, and Heuts. However, there is no comparison in the literature between the classical chain-level constructions and their higher-categorical counterparts, and in fact the two constructions are not quite compatible. In this paper we provide a unified framework relating these different forms of Koszul duality in the differential graded setting. We construct a commutative square of adjunctions, called the inclusion-restriction square, intertwining the classical operadic bar-cobar adjunction with its completed variant due to Le Grignou--Lejay. We show that this square induces an $\infty$-categorical adjunction between algebras and their Koszul dual coalgebras, recovering in particular the differential graded case of Lurie's bar-cobar adjunction, and explain precisely how our constructions relate to those of Francis--Gaitsgory and Heuts.

2026-03-31T15:54:24Z 53 pages. Comments are welcome! Dan Petersen Victor Roca i Lucio Sinan Yalin http://arxiv.org/abs/2603.29909v1 2026-03-31T15:54:08Z

In his quest to disprove a claim by Peirce that all lattices are distributive, Ernst Schröder considered 135 years ago a list of 990 equational laws on quasigroups, analogous to associativity, such as $(x // y) * z = (y // x) \backslash\backslash z$. A quasigroup is a non-associative analogue of groups, specifically a set equipped with multiplication and right/left conjugate-division operations that are compatible. Each equation of interest identifies two three-variable expressions built from these operations. I determine all $114$ equivalence classes of their conjunctions, and all implications between them. This includes as a small corner the five-element non-distributive lattice identified by Schröder.

2026-03-31T15:54:08Z 9 pages, 11 ancillary files Bruno Le Floch http://arxiv.org/abs/2603.29747v1 2026-03-31T13:48:03Z

The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We consider the question of when this quasivariety is a variety. The main result asserts that if $\mathcal{V}$ is a strongly irregular variety with no nullary operations and at least one non-unary operation, and $\mathcal{S}$ is the variety, of the same type as $\mathcal{V}$, equivalent to the variety of semilattices, then the Mal'tsev product $\mathcal{V} \circ \mathcal{S}$ is a variety. It consists precisely of semilattice sums of algebras in $\mathcal{V}$. We derive an equational base for the product from an equational base for $\mathcal{V}$. However, if $\mathcal{V}$ is a regular variety, then the Mal'tsev product may not be a variety. We discuss various applications of the main result, and examine some detailed representations of algebras in $\mathcal{V} \circ \mathcal{S}$.

2026-03-31T13:48:03Z Algebra Universalis 81, article no. 33 (2020) Clifford Bergman Tomasz Penza Anna B. Romanowska 10.1007/s00012-020-00656-8 http://arxiv.org/abs/2603.29701v1 2026-03-31T12:56:47Z

Discrete quantum groups were introduced as duals of compact quantum groups by Podleś and Woronowicz in 1990. They have been studied intrinsically by Effros and Ruan (1994) and by the author (1996). In a more recent note (2025), we have given a slightly updated treatment, viewing the duality between discrete and compact quantum groups as a special case of the more general duality of algebraic quantum groups. Along these lines, we start in this paper with the discrete quantum group $su_q(2)$, not constructed as the dual of the compact quantum group $SU_q(2)$ but rather from the Hopf algebra deformation of the enveloping algebra of the Lie algebra of $SU(2)$, as given by Jimbo (1985). The passage to the discrete quantum group as studied in earlier papers is not completely trivial as we will see. This is a known phenomenon. We consider the dual of this discrete quantum group in the sense of duality of algebraic quantum groups and see that this indeed is the compact quantum group $SU_q(2)$.

2026-03-31T12:56:47Z Alfons Van Daele http://arxiv.org/abs/2603.29639v1 2026-03-31T12:04:14Z

We classify equivalence classes of Hopf algebra quotient pairs $(D,θ)$ of the Drinfeld double $D(G)$ of a finite group scheme $G$ over an algebraically closed field $\mathbf{k}$ of characteristic $p\ge 0$, in terms of group scheme-theoretical data. We prove that such Hopf algebra quotients $D$ are Hopf algebra extensions $\mathscr{O}(K)^{\mathrm{cop}}\#_σ^τ \mathbf{k}[G/H]$, where $K$ and $H$ are normal subgroup schemes of $G$ that centralize each other and $B:\mathbf{k}[H]\to \mathscr{O}(K)$ is a $G$-equivariant Hopf algebra map, and describe the surjective Hopf algebra map $θ:D(G)\twoheadrightarrow D$. Using this classification, we determine the tensor subcategories of the center $\mathscr{Z}(G):=\Rep(D(G))$ of $G$, describe their centralizers, determine when they are symmetric or non-degenerate, and give a description of their simple and projective objects using \cite{GS}. Our categorical results generalize those found in \cite{NNW} in characteristic $0$.

2026-03-31T12:04:14Z 37 pages Daniel Arreola Shlomo Gelaki http://arxiv.org/abs/2603.29589v1 2026-03-31T11:09:39Z

We provide polynomial completeness results for finite algebras in congruence permutable varieties. In 2001, Idziak and Słomczy{ń}ska introduced the completeness concept of being \emph{polynomially rich}: a finite algebra is polynomially rich if every function preserving congruences and the Tame Congruence Theory labelling of prime quotients in the congruence lattice is a polynomial function of the algebra. We call a finite algebra \emph{strictly polynomially rich} if every partial congruence and type preserving function is a polynomial function, and we describe strictly polynomially rich algebras in congruence permutable varieties.

2026-03-31T11:09:39Z Erhard Aichinger Mario Kapl Bernardo Rossi http://arxiv.org/abs/2601.11017v2 2026-03-31T07:08:08Z

A dual pre-Poisson algebra is an algebraic structure that integrates a permutative algebra and a Leibniz algebra under certain compatibility conditions. As the Koszul dual notion of the pre-Poisson algebra, this structure serves as a natural generalization of the Poisson algebra. In this paper, we commence a study on dual pre-Poisson algebras from the algebraic point of view and establish a bialgebra theory for dual pre-Poisson algebras. We begin by investigating the fundamental properties of dual pre-Poisson algebras and provide several explicit constructions. In particular, we prove that the operad of dual pre-Poisson algebras is Koszul, and we compute its Hilbert-Poincaré series and codimension. Furthermore, we introduce the notion of diassociative formal deformations of permutative algebras and show that dual pre-Poisson algebras are the corresponding semi-classical limits. Moreover, we introduce dual pre-Poisson bialgebras, which are characterized both by Manin triples and by matched pairs of dual pre-Poisson algebras, thus developing a bialgebra theory for dual pre-Poisson algebras. Then our study leads to the permutative-Leibniz Yang-Baxter equation (PLYBE) that is composed of the permutative and the classical Leibniz Yang-Baxter equation. We conclude by introducing $\mathcal{O}$-operators and pre-dual pre-Poisson algebras, which provide a systematic method for constructing symmetric solutions to the PLYBE and, consequently, dual pre-Poisson bialgebras.

2026-01-16T06:22:35Z Comments are welcome! 32 pages Dilei Lu http://arxiv.org/abs/2511.21137v2 2026-03-31T05:17:02Z

Given a number field $F$ and $R$ be the ring of integers of $F$, the problem of embedding a field extension $K/F$ into a central simple algebra $B$ is classical. This paper proves that when the central simple algebra has degree $p$, the $R$-order $S\subset K$ can be optimal embedded into all maximal $R$-orders $O\subset B$, unless satisfies the optimal selectivity condition.

2025-11-26T07:42:31Z There is a fundamental error in Theorem 3.5 of the paper Yuxuan Yang http://arxiv.org/abs/2603.29073v1 2026-03-30T23:21:22Z

In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables.

2026-03-30T23:21:22Z 7 pages Andrei Zabolotskii http://arxiv.org/abs/2511.02361v2 2026-03-30T14:25:19Z

By the result of Artin--Tate--Van den Bergh, every $3$-dimensional cubic AS-regular algebra A can be expressed as a geometric algebra $A=\mathcal{A}(E,σ)$, where $E$ is either $\mathbb{P}^{1}\times \mathbb{P}^{1}$ or a curve of bidegree ($2$,$2$) in $\mathbb{P}^{1}\times \mathbb{P}^{1}$ and $σ\in \mathrm{Aut}_{k}E$. In particular, we treat the following three configurations: (1) a conic and two lines in a triangle, (2) a conic and two lines intersecting in one point, and (3) a quadrangle. For each of these cases, we (i) list all defining relations of the corresponding algebras $\mathcal{A}(E,σ)$, and (ii) classify them up to graded algebra isomorphism and graded Morita equivalence. Furthermore, we present explicit (twisted) superpotentials whose derivation-quotient algebras realize these algebras and verify that the resulting algebras are AS-regular. Combining our results with existing classifications for the remaining types (including Types P, S, T, WL, and TWL), we thereby complete the classification of 3-dimensional cubic AS-regular algebras whose point schemes are not integral.

2025-11-04T08:34:40Z 25 pages Ayako Itaba Masaki Matsuno Yu Saito http://arxiv.org/abs/2603.28419v1 2026-03-30T13:28:23Z

To every $ω$-categorical structure $M$ one can associate two spaces of symmetries which determine the structure up to first-order bi-interpretability: the topological group $\mathrm{Aut}(M)$ of its automorphisms and the topological monoid $\mathrm{EEmb}(M)$ of its elementary embeddings, both equipped with the topology of pointwise convergence $τ_{\mathrm{pw}}$. We investigate the relation of $τ_{\mathrm{pw}}$ to other topologies on these spaces: in particular, when $τ_{\mathrm{pw}}$ is minimal, i.e.~does not admit any strictly coarser Hausdorff semigroup topology. A common method to prove minimality of $τ_{\mathrm{pw}}$ on $\mathrm{EEmb}(M)$ is to show that it coincides with the algebraically defined semigroup Zariski topology $τ_{\mathrm{Z}}$. We show that $τ_{\mathrm{pw}}$ differs from $τ_{\mathrm{Z}}$ on $\mathrm{EEmb}(M)$ whenever $\mathrm{Aut}(M)$ has non-trivial centre. We then provide general conditions on the behaviour of algebraic closure on $M$ that imply minimality of $τ_{\mathrm{pw}}$. These condition cover, for example, countable vector spaces and projective spaces over finite fields. Turning to $\mathrm{Aut}(M)$, we describe the minimal $T_1$ semigroup topologies on the automorphism groups of model-theoretically simple one-based $ω$-categorical structures with weak elimination of imaginaries. We conclude by proving that the metric pointwise topology $τ_{\mathrm{mpw}}$ is minimal, equals $τ_{\mathrm{Z}}$, and is strictly coarser than $τ_{\mathrm{pw}}$, on $\mathrm{EEmb}(M)$ for the real and the rational Urysohn space and sphere.

2026-03-30T13:28:23Z 54 pages, 3 figures J. de la Nuez Gonzalez Zaniar Ghadernezhad Paolo Marimon Michael Pinsker http://arxiv.org/abs/2603.28165v1 2026-03-30T08:33:31Z

We study rings of real-valued continuous functions in terms of pseudocomplementation conditions on various lattices attached to their prime spectrum. We fully characterize pseudocomplementation in all cases and have an almost complete characterization of relative pseudocomplementation.

2026-03-30T08:33:31Z 20 pages Guram Bezhanishvili Marcus Tressl