Search

We study the ozone group of noetherian Artin--Schelter regular algebras satisfying a polynomial identity (or PI for short). The ozone group was shown in previous work by the authors to be an important invariant in the study of PI skew polynomial rings and their centers. In this paper, we show that skew polynomial rings are in fact characterized as those algebras with maximal rank ozone groups. We also classify those with trivial ozone groups, which must necessarily be Calabi--Yau. This class includes most three-dimensional PI Sklyanin algebras. Further examples and applications are given, including applications to the Zariski Cancellation Problem.

We introduce the ozone group of a noncommutative algebra $A$, defined as the group of automorphisms of $A$ which fix every element of its center. In order to initiate the study of ozone groups, we study PI skew polynomial rings, which have long proved to be a fertile testing ground in noncommutative algebra. Using the ozone group and other invariants defined herein, we give explicit conditions for the center of a PI skew polynomial to be Gorenstein (resp. regular) in low dimension., Comment: Some simplifications, clarifications, and corrections throughout. To appear in IMRN

In this paper, we present a generalization of well-established results regarding symmetries of $\Bbbk$-algebras, where $\Bbbk$ is a field. Traditionally, for a $\Bbbk$-algebra $A$, the group $\Bbbk$-algebra automorphisms of $A$ captures the symmetries of $A$ via group actions. Similarly, the Lie algebra of derivations of $A$ captures the symmetries of $A$ via Lie algebra actions. In this paper, given a category $\mathcal{C}$ whose objects possess $\Bbbk$-linear monoidal categories of modules, we introduce an object $\operatorname{Sym}_{\mathcal{C}}(A)$ that captures the symmetries of $A$ via actions of objects in $\mathcal{C}$. Our study encompasses various categories whose objects include groupoids, Lie algebroids, and more generally, cocommutative weak Hopf algebras. Notably, we demonstrate that for a positively graded non-connected $\Bbbk$-algebra $A$, some of its symmetries are naturally captured within the weak Hopf framework., Comment: v1: 34 pages. Comments welcome. v2: name changed, sections reorganized, new examples

Let $A$ be a noetherian connected graded algebra. We introduce and study homological invariants that are weighted sums of the homological and internal degrees of cochain complexes of graded $A$-modules, providing weighted versions of Castelnuovo--Mumford regularity, Tor-regularity, Artin--Schelter regularity, and concavity. In some cases an invariant (such as Tor-regularity) that is infinite can be replaced with a weighted invariant that is finite, and several homological invariants of complexes can be expressed as weighted homological regularities. We prove a few weighted homological identities some of which unify different classical homological identities and produce interesting new ones., Comment: Accepted in Transactions of the AMS. arXiv admin note: text overlap with arXiv:2107.07474

We study a class of $\mathbb{Z}$-graded algebras introduced by Bell and Rogalski. Their construction generalizes in large part that of rank one generalized Weyl algebras (GWAs). We establish certain ring-theoretic properties of these algebras and study their connection to GWAs. We classify the simple weight modules in the infinite orbit case and provide a partial classification in the case of orbits of finite order., Comment: Theorem 2.20 removed. To appear in Journal of Algebra

This paper concerns homological notions of regularity for noncommutative algebras. Properties of an algebra $A$ are reflected in the regularities of certain (complexes of) $A$-modules. We study the classical Tor-regularity and Castelnuovo-Mumford regularity, which were generalized from the commutative setting to the noncommutative setting by J{\o}rgensen and Dong-Wu. We also introduce two new numerical homological invariants: concavity and Artin-Schelter regularity. Artin-Schelter regular algebras occupy a central position in noncommutative algebra and noncommutative algebraic geometry, and we use these invariants to establish criteria which can be used to determine whether a noetherian connected graded algebra is Artin-Schelter regular., Comment: Minor edits and corrections made throughout

We introduce the reflexive hull discriminant as a tool to study noncommutative algebras that are finitely generated, but not necessarily free, over their centers. As an example, we compute the reflexive hull discriminants for quantum generalized Weyl algebras and use them to determine automorphism groups and other properties, recovering results of Su{\'a}rez-Alvarez, Vivas, and others., Comment: 30 pages, to appear in Selecta Mathematica

We study actions of pointed Hopf algebras in the $\ZZ$-graded setting. Our main result classifies inner-faithful actions of generalized Taft algebras on quantum generalized Weyl algebras which respect the $\ZZ$-grading. We also show that generically the invariant rings of Taft actions on quantum generalized Weyl algebras are commutative Kleinian singularities., Comment: Main theorems restated to better illustrate primary findings. To appear in Journal of Algebra

We study semisimple Hopf algebra actions on Artin-Schelter regular algebras and prove several upper bounds on the degrees of the minimal generators of the invariant subring, and on the degrees of syzygies of modules over the invariant subring. These results are analogues of results for group actions on commutative polynomial rings proved by Noether, Fogarty, Fleischmann, Derksen, Sidman, Chardin, and Symonds., Comment: To appear in Advances in Mathematics

We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra $A$ universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when $A$ is the path algebra $\Bbbk Q$ of a finite quiver $Q$, each of the various UQSGds introduced here is isomorphic to the face algebra attached to $Q$. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated., Comment: v3: To appear in J. Pure Appl. Algebra

An $m$-general set in $AG(n,q)$ is a set of points such that any subset of size $m$ is in general position. A $3$-general set is often called a capset. In this paper, we study the maximum size of an $m$-general set in $AG(n,q)$, significantly improving previous results. When $m=4$ and $q=2$ we give a precise estimate, solving a problem raised by Bennett., Comment: Revised version. To appear in SIAM Journal on Discrete Mathematics

Let $H$ be a weak Hopf algebra that is a finitely generated module over its affine center. We show that $H$ has finite self-injective dimension and so the Brown--Goodearl Conjecture holds in this special weak Hopf setting., Comment: 24 pages. Comments welcome

For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion is formulaic while the latter is categorical. We generalize this result to the setting of weak bialgebras $H$. The category $\mathcal{M}^H$ admits a monoidal structure by work of Nill and B\"{o}hm-Caenepeel-Janssen, but the algebras in $\mathcal{M}^H$ are not canonically $\Bbbk$-algebras. Nevertheless, we prove that there is an isomorphism between the category of right $H$-comodule algebras and the category of algebras in $\mathcal{M}^H$. We also recall and introduce the formulaic notion of $H$ coacting on a $\Bbbk$-coalgebra and on a Frobenius $\Bbbk$-algebra, respectively, and prove analogous category isomorphism results. Our work is inspired by the physical applications of Frobenius algebras in tensor categories and by symmetries of algebras with a base algebra larger than the ground field (e.g. path algebras). We produce examples of the latter by constructing a monoidal functor from a certain corepresentation category of a bialgebra $L$ to the corepresentation category of a weak bialgebra built from $L$ (a "quantum transformation groupoid"), thereby creating weak quantum symmetries from ordinary quantum symmetries., Comment: v2: 34 pages. Final version

For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$., Comment: Revised version. To appear in Algebras and Representation Theory

Let $k$ be an algebraically closed field and $A$ a $\mathbb{Z}$-graded finitely generated simple $k$-algebra which is a domain of Gelfand-Kirillov dimension 2. We show that the category of $\mathbb{Z}$-graded right $A$-modules is equivalent to the category of quasicoherent sheaves on a certain quotient stack. The theory of these simple algebras is closely related to that of a class of generalized Weyl algebras (GWAs). We prove a translation principle for the noncommutative schemes of these GWAs, shedding new light on the classical translation principle for the infinite-dimensional primitive quotients of $U(\mathfrak{sl}_2)$., Comment: To appear in Journal of Algebra

Let $H$ be a semisimple Hopf algebra acting on an Artin-Schelter regular algebra $A$, homogeneously, inner-faithfully, preserving the grading on $A$, and so that $A$ is an $H$-module algebra. When the fixed subring $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$. We show that each of the semisimple Hopf algebras $H_{2n^2}$ of Pansera, and $\mathcal{A}_{4m}$ and $\mathcal{B}_{4m}$ of Masuoka is a reflection Hopf algebra for an AS regular algebra of dimension 2 or 3., Comment: Some minor corrections

For each natural number $d$, we introduce the concept of a $d$-cap in $\mathbb{F}_3^n$. A subset of $\mathbb{F}_3^n$ is called a $d$-cap if, for each $k = 1, 2, \dots, d$, no $k+2$ of the points lie on a $k$-dimensional flat. This generalizes the notion of a cap in $\mathbb{F}_3^n$. We prove that the $2$-caps in $\mathbb{F}_3^n$ are exactly the Sidon sets in $\mathbb{F}_3^n$ and study the problem of determining the size of the largest $2$-cap in $\mathbb{F}_3^n$., Comment: Revised version. Accepted to Involve

We study actions by filtered automorphisms on classical generalized Weyl algebras (GWAs). In the case of a defining polynomial of degree two, we prove that the fixed ring under the action of a finite cyclic group of filtered automorphisms is again a classical GWA, extending a result of Jordan and Wells. Partial results are provided for the case of higher degree polynomials. In addition, we establish a version of Auslander's theorem for finite cyclic groups of filtered automorphisms acting on classical GWAs.

A general criterion is given for when the center of a Taft algebra smash product is the fixed ring. This is applied to the study of the noncommutative discriminant. Our method relies on the Poisson methods of Nguyen, Trampel, and Yakimov, but also makes use of Poisson Ore extensions. Specifically, we fully determine the inner faithful actions of Taft algebras on quantum planes and quantum Weyl algebras. We compute the discriminant of the corresponding smash product and apply it to compute the Azumaya locus and restricted automorphism group., Comment: Small typos corrected. To appear in Algebras and Representation Theory. V2:Revisions throughout. Section 4 is now contained primarily in the appendix

When $A = \mathbb{k}[x_1, \ldots, x_n]$ and $G$ is a small subgroup of $\operatorname{GL}_n(\mathbb{k})$, Auslander's Theorem says that the skew group algebra $A \# G$ is isomorphic to $\operatorname{End}_{A^G}(A)$ as graded algebras. We prove a generalization of Auslander's Theorem for permutation actions on $(-1)$-skew polynomial rings, $(-1)$-quantum Weyl algebras, three-dimensional Sklyanin algebras, and a certain graded down-up algebra. We also show that certain fixed rings $A^G$ are graded isolated singularities in the sense of Ueyama.

Hegyv\'ari and Hennecart showed that if $B$ is a sufficiently large brick of a Heisenberg group, then the product set $B\cdot B$ contains many cosets of the center of the group. We give a new, robust proof of this theorem that extends to all extra special groups as well as to a large family of quasigroups., Comment: This manuscript has been updated to include referee corrections. To appear in Journal of Number Theory

The first Weyl algebra, $A_1 = k \langle x, y\rangle/(xy-yx - 1)$ is naturally $\mathbb{Z}$-graded by letting $\operatorname{deg} x = 1$ and $\operatorname{deg} y = -1$. Sue Sierra studied $\operatorname{gr}- A_1$, category of graded right $A_1$-modules, computing its Picard group and classifying all rings graded equivalent to $A_1$. In this paper, we generalize these results by studying the graded module category of certain generalized Weyl algebras. We show that for a generalized Weyl algebra $A(f)$ with base ring $k[z]$ defined by a quadratic polynomial $f$, the Picard group of $\operatorname{gr}- A(f)$ is isomorphic to the Picard group of $\operatorname{gr}- A_1$. In a companion paper, we use these results to construct commutative rings which are graded equivalent to generalized Weyl algebras., Comment: 43 pages

The first Weyl algebra over $k$, $A_1 = k \langle x, y\rangle/(xy-yx - 1)$ admits a natural $\mathbb{Z}$-grading by letting $\operatorname{deg} x = 1$ and $\operatorname{deg} y = -1$. Paul Smith showed that $\operatorname{gr}- A_1$ is equivalent to the category of quasicoherent sheaves on a certain quotient stack. Using autoequivalences of $\operatorname{gr}- A_1$, Smith constructed a commutative ring $C$, graded by finite subsets of the integers. He then showed $\operatorname{gr}- A_1 \equiv \operatorname{gr}- (C, \mathbb{Z}_{\mathrm{fin}})$. In this paper, we generalize results of Smith by using autoequivalences of a graded module category to construct rings with equivalent graded module categories. For certain generalized Weyl algebras, we use autoequivalences defined in a companion paper so that these constructions yield commutative rings., Comment: Revised version

In a geometry, a maximal cap is a collection of points of largest size containing no lines. In AG(4,3), maximal caps contain 20 points. The 81 points of AG(4,3) can be partitioned into 4 mutually disjoint maximal caps together with a single point P, where every pair of points that makes a line with P lies entirely inside one of those caps. The caps in a partition can be paired up so that both pairs are either in exactly one partition or they are both in two different partitions. This difference determines the two equivalence classes of partitions of AG(4,3) under the action by affine transformations., Comment: 9 pages, 10 figures