Searcharxiv⌕ Search

arXiv · 2609.31907

Dual reflection groups for three-dimensional Artin--Schelter regular algebras

Abstract

By definition, a dual reflection group is a finite group which grades an Artin--Schelter regular algebra $A$ such that the identity component $A_e$ is again regular. In this paper, we completely classify the nonabelian dual reflection groups for regular algebras of dimension $3$: we first classify all possible nonabelian gradings which refine the natural $\mathbb{N}$-grading of the algebra, and then determine which of these gradings yield dual reflection groups. We show that none of the cubic algebras admit dual reflection groups, while for quadratic algebras, the dual reflection groups arise either from Ore extensions of two-dimensional regular algebras, or from the Sklyanin algebras $S_{q,0,1}$. In the Sklyanin case, the dual reflection groups form a new infinite family of groups $Δ_n$ of order $27n^3$, answering a question of Goetz, Kirkman, Moore, and Vashaw. We also extend the four-dimensional examples of the same authors to two new infinite families of dual reflection groups. Finally, we show that an AS regular algebra admitting a dual reflection group need not have binomial relations, answering another of their questions. However, we conjecture that the relations must be binomial when $A_e$ contains no elements of degree $1$, and we prove this for nonabelian gradings in dimension $3$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lucas Buzaglo, Daniel Rogalski. 2026-09-25. Dual reflection groups for three-dimensional Artin--Schelter regular algebras. https://arxiv.org/abs/2609.31907

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

KEEP EXPLORING

Related papers

Identities Involving Additive Maps on Division Rings

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and $G_{2}(Y)$ are non-zero. By application of this result and its implications, we prove that if $D$ is a non-commutative division ring with $\operatorname{char}(D) \neq 2$, then the only possible solution of additive maps $g_{1},g_{2}: D \rightarrow D$ satisfying the identity $g_{1}(y)y^{-m} + y^{n}g_{2}(y^{-1})= 0$ is $ g_{1} = g_{2} = 0$, where $m$ and $n$ are positive integers with $(m,n) \neq (1,1)$.

math.RA↗

The art of counterpoint: a Mazzola-type model of three-voice first-species counterpoint

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

math.RA↗