arXiv subjects

Anne V. Shepler

Publications and source records attributed to Anne V. Shepler.

At least 19 recordsLinked to original sources

arXiv2026

Pseudodifferential Jacobi forms and Geometric Rankin-Cohen Brackets

Cohen, Manin, and Zagier recovered the Rankin-Cohen bracket for modular forms from an action of the modular group on pseudodifferential operators whose coefficients are holomorphic functions on the Poincar\'e upper half plane. We investigate pseudodifferential operators on the Jacobi upper half space with respect to the elliptic variable instead of the modular variable typically considered. We introduce a family of actions of the Jacobi group and show that a space of invariant pseudodifferential operators is isomorphic to the space of Jacobi forms by producing an equivariant map. Our construction arises from the explicit action of a Casimir operator for the complexified Lie algebra of the real Jacobi Lie group. As an application, we identify new families of Rankin-Cohen brackets with geometric origin indexed by a complex parameter. In particular, we isolate a subvariety of lines of Rankin-Cohen brackets in each degree of expected dimension $1$ reflecting the geometry of the Jacobi upper half space.

math.NT↗

arXiv2025

On the finite generation of the cohomology of bosonizations

We use deformation sequences of (Hopf) algebras, extending the results of Negron and Pevtsova, to show that bosonizations of some suitable braided Hopf algebras by some suitable finite-dimensional Hopf algebras have finitely generated cohomology. In fact, our results are shown in more generality for smash products. As applications, we prove the bosonizations of some Nichols algebras (such as Nichols algebras of diagonal type, the restricted Jordan plane, Nichols algebras of direct sums of Jordan blocks plus points labeled with 1), by some suitable finite-dimensional Hopf algebras, have finitely generated cohomology, recovering some known results as well as providing new examples.

math.QA↗

arXiv2024

Twisted tensor products: Alexander-Whitney and Eilenberg-Zilber maps

Alexander-Whitney and Eilenberg-Zilber maps traditionally convert between the tensor product of standard resolutions and the standard resolution of a tensor product of algebras. We examine Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which include skew group algebras, smash products of Hopf algebras, Ore extensions, and universal enveloping algebras. These maps convert between the twist of standard resolutions and the standard resolution of a twist. We extend these to chain maps to and from twists of other resolutions. This allows one to transfer homological information between various resolutions of algebras and to expedite results on the deformation theory of twisted tensor product algebras.

math.RA↗

arXiv2022

Deformation cohomology for cyclic groups acting on polynomial rings

We examine the Hochschild cohomology governing graded deformations for finite cyclic groups acting on polynomial rings. We classify the infinitesimal graded deformations of the skew group algebra $S\rtimes G$ for a cyclic group $G$ acting on a polynomial ring $S$. This gives all graded deformations of the first order. We are particularly interested in the case when the characteristic of the underlying field divides the order of the acting group, which complicates the determination of cohomology.

math.RA↗

arXiv2022

Invariant differential derivations for reflection groups in positive characteristic

Much of the fascinating numerology surrounding finite reflection groups stems from Solomon's celebrated 1963 theorem describing invariant differential forms. Invariant differential derivations also exhibit interesting numerology over the complex numbers. We explore the analogous theory over arbitrary fields, in particular, when the characteristic of the underlying field divides the order of the acting reflection group and the conclusion of Solomon's Theorem may fail. Using results of Broer and Chuai, we give a Saito criterion (Jacobian criterion) for finding a basis of differential derivations invariant under a finite group that distinguishes certain cases over fields of characteristic 2. We show that the reflecting hyperplanes lie in a single orbit and demonstrate a duality of exponents and coexponents when the transvection root spaces of a reflection group are maximal. A set of basic derivations are used to construct a basis of invariant differential derivations with a twisted wedging in this case. We obtain explicit bases for the special linear groups SL(n,q) and general linear groups GL(n,q), and all groups in between.

math.CO↗

arXiv2019

Invariant theory for coincidental complex reflection groups

V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.

math.CO↗

arXiv2019

Invariant derivations and differential forms for reflection groups

Classical invariant theory of a complex reflection group $W$ highlights three beautiful structures: -- the $W$-invariant polynomials constitute a polynomial algebra, over which -- the $W$-invariant differential forms with polynomial coefficients constitute an exterior algebra, and -- the relative invariants of any $W$-representation constitute a free module. When $W$ is a duality (or well-generated) group, we give an explicit description of the isotypic component within the differential forms of the irreducible reflection representation. This resolves a conjecture of Armstrong, Rhoades and the first author, and relates to Lie-theoretic conjectures and results of Bazlov, Broer, Joseph, Reeder, and Stembridge, and also Deconcini, Papi, and Procesi. We establish this result by examining the space of $W$-invariant differential derivations; these are derivations whose coefficients are not just polynomials, but differential forms with polynomial coefficients. For every complex reflection group $W$, we show that the space of invariant differential derivations is finitely generated as a module over the invariant differential forms by the basic derivations together with their exterior derivatives. When $W$ is a duality group, we show that the space of invariant differential derivations is free as a module over the exterior subalgebra of $W$-invariant forms generated by all but the top-degree exterior generator. (The basic invariant of highest degree is omitted.) Our arguments for duality groups are case-free, i.e., they do not rely on any reflection group classification.

math.CO↗

arXiv2018

Steinberg's theorem for crystallographic complex reflection groups

Popov classified crystallographic complex reflection groups by determining lattices they stabilize. These analogs of affine Weyl groups have infinite order and are generated by reflections about affine hyperplanes; most arise as the semi-direct product of a finite complex reflection group and a full rank lattice. Steinberg's fixed point theorem asserts that the regular orbits under the action of a reflection group are exactly the orbits lying off of reflecting hyperplanes. This theorem holds for finite reflection groups (real or complex) and also affine Weyl groups but fails for some crystallographic complex reflection groups. We determine when Steinberg's theorem holds for the infinite family of crystallographic complex reflection groups. We include crystallographic groups built on finite Coxeter groups.

math.CO↗

arXiv2016

Deforming group actions on Koszul algebras

We give Braverman-Gaitsgory style conditions for general PBW deformations of skew group algebras formed from finite groups acting on Koszul algebras. When the characteristic divides the order of the group, this includes deformations of the group action as well as of the Koszul relations.

math.RA↗

arXiv2014

Poincare-Birkhoff-Witt Theorems

We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological approaches of Braverman and Gaitsgory and of Polishchuk and Positselski. We discuss several contexts for PBW theorems and their applications, such as Drinfeld-Jimbo quantum groups, graded Hecke algebras, and symplectic reflection and related algebras.

math.RA↗

arXiv2013

PBW deformations of skew group algebras in positive characteristic

We investigate deformations of a skew group algebra that arise from a finite group acting on a polynomial ring. When the characteristic of the underlying field divides the order of the group, a new type of deformation emerges that does not occur in characteristic zero. This analogue of Lusztig's graded affine Hecke algebra for positive characteristic can not be forged from the template of symplectic reflection and related algebras as originally crafted by Drinfeld. By contrast, we show that in characteristic zero, for arbitrary finite groups, a Lusztig-type deformation is always isomorphic to a Drinfeld-type deformation. We fit all these deformations into a general theory, connecting Poincaré-Birkhoff-Witt deformations and Hochschild cohomology when working over fields of arbitrary characteristic. We make this connection by way of a double complex adapted from Guccione, Guccione, and Valqui, formed from the Koszul resolution of a polynomial ring and the bar resolution of a group algebra.

math.RA↗

arXiv2013

Group Coding with Complex Isometries

We investigate group coding for arbitrary finite groups acting linearly on a vector space. These yield robust codes based on real or complex matrix groups. We give necessary and sufficient conditions for correct subgroup decoding using geometric notions of minimal length coset representatives. The infinite family of complex reflection groups G(r,1,n) produces effective codes of arbitrarily large size that can be decoded in relatively few steps.

math.CO↗

arXiv2013

Quantum Drinfeld Hecke Algebras

We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincare-Birkhoff-Witt property using the theory of noncommutative Groebner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify graded automorphisms of the coordinate ring of quantum 3-space. In characteristic zero, Hochschild cohomology gives an elegant description of the Poincare-Birkhoff-Witt conditions.

math.RA↗

arXiv2012

A Poincare-Birkhoff-Witt theorem for quadratic algebras with group actions

Braverman and Gaitsgory gave necessary and sufficient conditions for a nonhomogeneous quadratic algebra to satisfy the Poincare-Birkhoff-Witt property when its homogeneous version is Koszul. We widen their viewpoint and consider a quotient of an algebra that is free over some (not necessarily semisimple) subalgebra. We show that their theorem holds under a weaker hypothesis: We require the homogeneous version of the nonhomogeneous quadratic algebra to be the skew group algebra (semidirect product algebra) of a finite group acting on a Koszul algebra, obtaining conditions for the Poincare-Birkhoff-Witt property over (nonsemisimple) group algebras. We prove our main results by exploiting a double complex adapted from Guccione, Guccione, and Valqui (formed from a Koszul complex and a resolution of the group), giving a practical way to analyze Hochschild cohomology and deformations of skew group algebras in positive characteristic. We apply these conditions to graded Hecke algebras and Drinfeld orbifold algebras (including rational Cherednik algebras and symplectic reflection algebras) in arbitrary characteristic, with special interest in the case when the characteristic of the underlying field divides the order of the acting group.

math.RA↗

arXiv2011

Drinfeld Orbifold Algebras

We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild cohomology and a Poincare-Birkhoff-Witt property explicitly (using Gerstenhaber brackets). We also classify those deformations of skew group algebras which arise as Drinfeld orbifold algebras and give applications for abelian groups.

math.RA↗

arXiv2011

Group actions on algebras and the graded Lie structure of Hochschild cohomology

Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and polynomial algebras that arise in orbifold theory and representation theory; deformations in this context include graded Hecke algebras and symplectic reflection algebras. We give some general results describing when brackets are zero for polynomial skew group algebras, which allow us in particular to find noncommutative Poisson structures. For abelian groups, we express the bracket using inner products of group characters. Lastly, we interpret results for graded Hecke algebras.

math.RA↗

arXiv2009

Quantum differentiation and chain maps of bimodule complexes

We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homology and cohomology, some of which have appeared in the literature before. This approach unifies previous results on homology and cohomology of both the symmetric algebra and skew group algebra. We determine induced combinatorial cochain maps which invoke quantum differentiation (expressed by Demazure-BBG operators).

math.RA↗

arXiv2009

Finite groups acting linearly: Hochschild cohomology and the cup product

When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups.

math.RA↗