Search arXiv⌕ Search

arXiv · 2610.26042

Dual Reflection Groups from Solutions to the Yang--Baxter Equation

Abstract

Suppose that $r: X^2 \to X^2$ is a nondegenerate, involutive solution to the set-theoretic Yang--Baxter equation. To this data, we can associate an Artin--Schelter regular algebra $A$ and an infinite family of groups $G_k$, where $k \geqslant 1$. For each $k$, we show that $G_k$ is a dual reflection group for $A$, in the sense the component of $A$ graded by $1_{G_k}$ is again Artin--Schelter regular. We also show that, using the additional structure afforded by the underlying solution to the Yang--Baxter equation, one can determine the centre, Koszul complex, and associated twisted superpotential for $A$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Simon Crawford. 2026-10-19. Dual Reflection Groups from Solutions to the Yang--Baxter Equation. https://arxiv.org/abs/2610.26042

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Root of the generic cubic as a power series in the discriminant

An observation of J-P.~Serre implies that the generic monic cubic polynomial, unique among generic monic polynomials of degree at least two, has a root that is a power series in the discriminant; Serre asked for a formula. We give formulas that work over any field with an absolute value and in every characteristic. Over a complete non-archimedean field we identify the root intrinsically: it is the isolated root, the one farthest from the others. We also answer the next case of Serre's question, computing explicitly the distinguished ramified quadratic factor of the generic monic quartic. The methods combine Hensel's lemma, identities for generalized binomial series, and elementary non-archimedean analysis.

math.RA↗

A parity obstruction to completeness of object cotorsion pairs

Fu, Guil Asensio, Herzog and Torrecillas asked whether a complete ideal cotorsion pair of object ideals in an exact category always induces a complete cotorsion pair of objects. We show that it need not, even in a Hom-finite, weakly idempotent complete Frobenius exact category. Our example consists of bounded complexes of finite-dimensional vector spaces with even total cohomology dimension. We characterize special object approximations by parity and identify the obstruction as a non-split idempotent in the stable category. For cohereditary pairs, a criterion of Saor\'ın and Šťov\'ıček gives an affirmative answer when the stable category is idempotent complete.

math.RA↗

The Finite Basis Problem for Multiplicatively Idempotent Semirings

The variety of semirings satisfying $x^2\approx x$ is hereditarily finitely based in the signature consisting of addition and multiplication, without designated constants. Multiplication may be noncommutative, and the semirings need not be finite. A subdirect decomposition reduces the proof to the subvarieties defined by $3x\approx x$ and $3x\approx2x$. In the latter case, we express each polynomial identity using a common doubled part and isolated word occurrences. Four fixed identities align the first- and last-occurrence words of these occurrences. Induction on their content extracts protected identities. The associated word identities define a band variety, to which the finite basis theorem for bands applies.

math.RA↗