Showing 1–50 of 69 results for author: Witherspoon, S

OPFData: Large-scale datasets for AC optimal power flow with topological perturbations

Authors: Sean Lovett, Miha Zgubic, Sofia Liguori, Sephora Madjiheurem, Hamish Tomlinson, Sophie Elster, Chris Apps, Sims Witherspoon, Luis Piloto

Abstract: Solving the AC optimal power flow problem (AC-OPF) is critical to the efficient and safe planning and operation of power grids. Small efficiency improvements in this domain have the potential to lead to billions of dollars of cost savings, and significant reductions in emissions from fossil fuel generators. Recent work on data-driven solution methods for AC-OPF shows the potential for large speed… ▽ More Solving the AC optimal power flow problem (AC-OPF) is critical to the efficient and safe planning and operation of power grids. Small efficiency improvements in this domain have the potential to lead to billions of dollars of cost savings, and significant reductions in emissions from fossil fuel generators. Recent work on data-driven solution methods for AC-OPF shows the potential for large speed improvements compared to traditional solvers; however, no large-scale open datasets for this problem exist. We present the largest readily-available collection of solved AC-OPF problems to date. This collection is orders of magnitude larger than existing readily-available datasets, allowing training of high-capacity data-driven models. Uniquely, it includes topological perturbations - a critical requirement for usage in realistic power grid operations. We hope this resource will spur the community to scale research to larger grid sizes with variable topology. △ Less

Submitted 18 June, 2024; v1 submitted 11 June, 2024; originally announced June 2024.

The Ethics of Advanced AI Assistants

Authors: Iason Gabriel, Arianna Manzini, Geoff Keeling, Lisa Anne Hendricks, Verena Rieser, Hasan Iqbal, Nenad Tomašev, Ira Ktena, Zachary Kenton, Mikel Rodriguez, Seliem El-Sayed, Sasha Brown, Canfer Akbulut, Andrew Trask, Edward Hughes, A. Stevie Bergman, Renee Shelby, Nahema Marchal, Conor Griffin, Juan Mateos-Garcia, Laura Weidinger, Winnie Street, Benjamin Lange, Alex Ingerman, Alison Lentz , et al. (32 additional authors not shown)

Abstract: This paper focuses on the opportunities and the ethical and societal risks posed by advanced AI assistants. We define advanced AI assistants as artificial agents with natural language interfaces, whose function is to plan and execute sequences of actions on behalf of a user, across one or more domains, in line with the user's expectations. The paper starts by considering the technology itself, pro… ▽ More This paper focuses on the opportunities and the ethical and societal risks posed by advanced AI assistants. We define advanced AI assistants as artificial agents with natural language interfaces, whose function is to plan and execute sequences of actions on behalf of a user, across one or more domains, in line with the user's expectations. The paper starts by considering the technology itself, providing an overview of AI assistants, their technical foundations and potential range of applications. It then explores questions around AI value alignment, well-being, safety and malicious uses. Extending the circle of inquiry further, we next consider the relationship between advanced AI assistants and individual users in more detail, exploring topics such as manipulation and persuasion, anthropomorphism, appropriate relationships, trust and privacy. With this analysis in place, we consider the deployment of advanced assistants at a societal scale, focusing on cooperation, equity and access, misinformation, economic impact, the environment and how best to evaluate advanced AI assistants. Finally, we conclude by providing a range of recommendations for researchers, developers, policymakers and public stakeholders. △ Less

Submitted 28 April, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

CANOS: A Fast and Scalable Neural AC-OPF Solver Robust To N-1 Perturbations

Authors: Luis Piloto, Sofia Liguori, Sephora Madjiheurem, Miha Zgubic, Sean Lovett, Hamish Tomlinson, Sophie Elster, Chris Apps, Sims Witherspoon

Abstract: Optimal Power Flow (OPF) refers to a wide range of related optimization problems with the goal of operating power systems efficiently and securely. In the simplest setting, OPF determines how much power to generate in order to minimize costs while meeting demand for power and satisfying physical and operational constraints. In even the simplest case, power grid operators use approximations of the… ▽ More Optimal Power Flow (OPF) refers to a wide range of related optimization problems with the goal of operating power systems efficiently and securely. In the simplest setting, OPF determines how much power to generate in order to minimize costs while meeting demand for power and satisfying physical and operational constraints. In even the simplest case, power grid operators use approximations of the AC-OPF problem because solving the exact problem is prohibitively slow with state-of-the-art solvers. These approximations sacrifice accuracy and operational feasibility in favor of speed. This trade-off leads to costly "uplift payments" and increased carbon emissions, especially for large power grids. In the present work, we train a deep learning system (CANOS) to predict near-optimal solutions (within 1% of the true AC-OPF cost) without compromising speed (running in as little as 33--65 ms). Importantly, CANOS scales to realistic grid sizes with promising empirical results on grids containing as many as 10,000 buses. Finally, because CANOS is a Graph Neural Network, it is robust to changes in topology. We show that CANOS is accurate across N-1 topological perturbations of a base grid typically used in security-constrained analysis. This paves the way for more efficient optimization of more complex OPF problems which alter grid connectivity such as unit commitment, topology optimization and security-constrained OPF. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Support varieties without the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 11 pages

Report number: Hamburger Beitr. zur Mathematik Nr 946; ZMP-HH/23-12 MSC Class: 16E40; 16T05; 18M05; 18M15

Support varieties for finite tensor categories: the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characte… ▽ More We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characteristic zero. △ Less

Submitted 6 June, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 29 pages

Report number: Hamburger Beitr. zur Mathematik Nr 944; ZMP-HH/23-10 MSC Class: 16E40; 16T05; 18M05; 18M15

Controlling Commercial Cooling Systems Using Reinforcement Learning

Authors: Jerry Luo, Cosmin Paduraru, Octavian Voicu, Yuri Chervonyi, Scott Munns, Jerry Li, Crystal Qian, Praneet Dutta, Jared Quincy Davis, Ningjia Wu, Xingwei Yang, Chu-Ming Chang, Ted Li, Rob Rose, Mingyan Fan, Hootan Nakhost, Tinglin Liu, Brian Kirkman, Frank Altamura, Lee Cline, Patrick Tonker, Joel Gouker, Dave Uden, Warren Buddy Bryan, Jason Law , et al. (11 additional authors not shown)

Abstract: This paper is a technical overview of DeepMind and Google's recent work on reinforcement learning for controlling commercial cooling systems. Building on expertise that began with cooling Google's data centers more efficiently, we recently conducted live experiments on two real-world facilities in partnership with Trane Technologies, a building management system provider. These live experiments ha… ▽ More This paper is a technical overview of DeepMind and Google's recent work on reinforcement learning for controlling commercial cooling systems. Building on expertise that began with cooling Google's data centers more efficiently, we recently conducted live experiments on two real-world facilities in partnership with Trane Technologies, a building management system provider. These live experiments had a variety of challenges in areas such as evaluation, learning from offline data, and constraint satisfaction. Our paper describes these challenges in the hope that awareness of them will benefit future applied RL work. We also describe the way we adapted our RL system to deal with these challenges, resulting in energy savings of approximately 9% and 13% respectively at the two live experiment sites. △ Less

Submitted 14 December, 2022; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 27 pages, 11 figures

Semi-analytical Industrial Cooling System Model for Reinforcement Learning

Authors: Yuri Chervonyi, Praneet Dutta, Piotr Trochim, Octavian Voicu, Cosmin Paduraru, Crystal Qian, Emre Karagozler, Jared Quincy Davis, Richard Chippendale, Gautam Bajaj, Sims Witherspoon, Jerry Luo

Abstract: We present a hybrid industrial cooling system model that embeds analytical solutions within a multi-physics simulation. This model is designed for reinforcement learning (RL) applications and balances simplicity with simulation fidelity and interpretability. The model's fidelity is evaluated against real world data from a large scale cooling system. This is followed by a case study illustrating ho… ▽ More We present a hybrid industrial cooling system model that embeds analytical solutions within a multi-physics simulation. This model is designed for reinforcement learning (RL) applications and balances simplicity with simulation fidelity and interpretability. The model's fidelity is evaluated against real world data from a large scale cooling system. This is followed by a case study illustrating how the model can be used for RL research. For this, we develop an industrial task suite that allows specifying different problem settings and levels of complexity, and use it to evaluate the performance of different RL algorithms. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: 27 pages, 13 figures

Lie brackets on Hopf algebra cohomology

Authors: Tekin Karadağ, Sarah Witherspoon

Abstract: By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution u… ▽ More By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact monoidal functors - one such functor is an embedding of Hopf algebra cohomology into Hochschild cohomology. As a consequence, we show that this Lie structure on Hopf algebra cohomology is abelian in positive degrees for all quantum elementary abelian groups, most of which are nonquasi-triangular. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: 10 pages

Journal ref: Pacific J. Math. 316 (2022) 395-407

Delta sets and polynomial identities in pointed Hopf algebras

Authors: Yuri Bahturin, Sarah Witherspoon

Abstract: We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider. We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: 20 pages

On the role of planning in model-based deep reinforcement learning

Authors: Jessica B. Hamrick, Abram L. Friesen, Feryal Behbahani, Arthur Guez, Fabio Viola, Sims Witherspoon, Thomas Anthony, Lars Buesing, Petar Veličković, Théophane Weber

Abstract: Model-based planning is often thought to be necessary for deep, careful reasoning and generalization in artificial agents. While recent successes of model-based reinforcement learning (MBRL) with deep function approximation have strengthened this hypothesis, the resulting diversity of model-based methods has also made it difficult to track which components drive success and why. In this paper, we… ▽ More Model-based planning is often thought to be necessary for deep, careful reasoning and generalization in artificial agents. While recent successes of model-based reinforcement learning (MBRL) with deep function approximation have strengthened this hypothesis, the resulting diversity of model-based methods has also made it difficult to track which components drive success and why. In this paper, we seek to disentangle the contributions of recent methods by focusing on three questions: (1) How does planning benefit MBRL agents? (2) Within planning, what choices drive performance? (3) To what extent does planning improve generalization? To answer these questions, we study the performance of MuZero (Schrittwieser et al., 2019), a state-of-the-art MBRL algorithm with strong connections and overlapping components with many other MBRL algorithms. We perform a number of interventions and ablations of MuZero across a wide range of environments, including control tasks, Atari, and 9x9 Go. Our results suggest the following: (1) Planning is most useful in the learning process, both for policy updates and for providing a more useful data distribution. (2) Using shallow trees with simple Monte-Carlo rollouts is as performant as more complex methods, except in the most difficult reasoning tasks. (3) Planning alone is insufficient to drive strong generalization. These results indicate where and how to utilize planning in reinforcement learning settings, and highlight a number of open questions for future MBRL research. △ Less

Submitted 17 March, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: Published at ICLR 2021

SEEC: Semantic Vector Federation across Edge Computing Environments

Authors: Shalisha Witherspoon, Dean Steuer, Graham Bent, Nirmit Desai

Abstract: Semantic vector embedding techniques have proven useful in learning semantic representations of data across multiple domains. A key application enabled by such techniques is the ability to measure semantic similarity between given data samples and find data most similar to a given sample. State-of-the-art embedding approaches assume all data is available on a single site. However, in many business… ▽ More Semantic vector embedding techniques have proven useful in learning semantic representations of data across multiple domains. A key application enabled by such techniques is the ability to measure semantic similarity between given data samples and find data most similar to a given sample. State-of-the-art embedding approaches assume all data is available on a single site. However, in many business settings, data is distributed across multiple edge locations and cannot be aggregated due to a variety of constraints. Hence, the applicability of state-of-the-art embedding approaches is limited to freely shared datasets, leaving out applications with sensitive or mission-critical data. This paper addresses this gap by proposing novel unsupervised algorithms called \emph{SEEC} for learning and applying semantic vector embedding in a variety of distributed settings. Specifically, for scenarios where multiple edge locations can engage in joint learning, we adapt the recently proposed federated learning techniques for semantic vector embedding. Where joint learning is not possible, we propose novel semantic vector translation algorithms to enable semantic query across multiple edge locations, each with its own semantic vector-space. Experimental results on natural language as well as graph datasets show that this may be a promising new direction. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 12 pages

Homotopy liftings and Hochschild cohomology of some twisted tensor products

Authors: Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodu… ▽ More The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes. △ Less

Submitted 27 January, 2021; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 14 pages, minor reference corrections, added Section 4 with examples

Hochschild cohomology of twisted tensor products

Authors: Benjamin Briggs, Sarah Witherspoon

Abstract: For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new exam… ▽ More For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 20 pages

Cohomology rings of finite-dimensional pointed Hopf algebras over abelian groups

Authors: Nicolás Andruskiewitsch, Iván Angiono, Julia Pevtsova, Sarah Witherspoon

Abstract: We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolut… ▽ More We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one. △ Less

Submitted 1 August, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 120 pages; the last version has only exposition changes

MSC Class: 16E40; 16T20

Graded Lie structure on cohomology of some exact monoidal categories

Authors: Yury Volkov, Sarah Witherspoon

Abstract: For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann, involves loops in extension categories. The algebraic definition, due to the first author, involves homotopy liftings of maps. As a consequence of our description… ▽ More For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann, involves loops in extension categories. The algebraic definition, due to the first author, involves homotopy liftings of maps. As a consequence of our description, we prove that the topological definition indeed yields a Gerstenhaber algebra structure in this monoidal category setting. This answers a question of Hermann for those exact monoidal categories in which the unit object has a particular type of resolution that is called power flat. For use in proofs, we generalize $A_{\infty}$-coderivation and homotopy lifting techniques from bimodule categories to these exact monoidal categories. △ Less

Submitted 31 July, 2023; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 19 pages

New approaches to finite generation of cohomology rings

Authors: Van C. Nguyen, Xingting Wang, Sarah Witherspoon

Abstract: In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theory is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various appro… ▽ More In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theory is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various approaches to study the finite generation condition. First, for any finite dimensional Hopf algebra $A$, we show that the finite generation condition on $A$-modules can be replaced by a condition on any affine commutative $A$-module algebra $R$ under the assumption that $R$ is integral over its invariant subring $R^A$. Next, we use a spectral sequence argument to show that a finite generation condition holds for certain filtered, smash and crossed product algebras in positive characteristic if the related spectral sequences collapse. Finally, if $A$ is defined over a number field over the rationals, we construct another finite dimensional Hopf algebra $A'$ over a finite field, where $A$ can be viewed as a deformation of $A'$, and prove that if the finite generation condition holds for $A'$, then the same condition holds for $A$. △ Less

Submitted 14 August, 2021; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: 30 pages, to appear J. Algebra

MSC Class: 16E05; 16E40; 16T05; 16S35; 16S40

Federated Learning for Coalition Operations

Authors: D. Verma, S. Calo, S. Witherspoon, E. Bertino, A. Abu Jabal, A. Swami, G. Cirincione, S. Julier, G. White, G. de Mel, G. Pearson

Abstract: Machine Learning in coalition settings requires combining insights available from data assets and knowledge repositories distributed across multiple coalition partners. In tactical environments, this requires sharing the assets, knowledge and models in a bandwidth-constrained environment, while staying in conformance with the privacy, security and other applicable policies for each coalition membe… ▽ More Machine Learning in coalition settings requires combining insights available from data assets and knowledge repositories distributed across multiple coalition partners. In tactical environments, this requires sharing the assets, knowledge and models in a bandwidth-constrained environment, while staying in conformance with the privacy, security and other applicable policies for each coalition member. Federated Machine Learning provides an approach for such sharing. In its simplest version, federated machine learning could exchange training data available among the different coalition members, with each partner deciding which part of the training data from other partners to accept based on the quality and value of the offered data. In a more sophisticated version, coalition partners may exchange models learnt locally, which need to be transformed, accepted in entirety or in part based on the quality and value offered by each model, and fused together into an integrated model. In this paper, we examine the challenges present in creating federated learning solutions in coalition settings, and present the different flavors of federated learning that we have created as part of our research in the DAIS ITA. The challenges addressed include dealing with varying quality of data and models, determining the value offered by the data/model of each coalition partner, addressing the heterogeneity in data representation, labeling and AI model architecture selected by different coalition members, and handling the varying levels of trust present among members of the coalition. We also identify some open problems that remain to be addressed to create a viable solution for federated learning in coalition environments. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: Presented at AAAI FSS-19: Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA

Gerstenhaber brackets on Hochschild cohomology of general twisted tensor products

Authors: Tekin Karadag, Dustin McPhate, Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. △ Less

Submitted 26 July, 2024; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 14 pages, small changes in the presentation, minor corrections, additional referee corrections, to appear in J. Pure Appl. Algebra. Corrections to three maps in Section 4

Gerstenhaber brackets for skew group algebras in positive characteristic

Authors: A. V. Shepler, S. Witherspoon

Abstract: The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the charact… ▽ More The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the characteristic of the underlying field divides the group order. We show how to investigate Gerstenhaber brackets using twisted product resolutions, which are often smaller and more convenient than the cumbersome bar resolution typically used. These resolutions provide a concrete description of the Gerstenhaber bracket suitable for exploring questions in deformation theory. We demonstrate with the prototypical example of a graded Hecke algebra (rational Cherednik algebra) in positive characteristic. △ Less

Submitted 23 May, 2019; originally announced May 2019.

Comments: 11 pages

Support varieties for finite tensor categories: Complexity, realization, and connectedness

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that… ▽ More We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that the support variety of an indecomposable object is connected. △ Less

Submitted 3 June, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 22 pages, added algebraically closed hypothesis

Group-twisted Alexander-Whitney and Eilenberg-Zilber maps

Authors: A. V. Shepler, S. Witherspoon

Abstract: We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms. The group-twisted chain maps allow us to transfer information between resolutions for use in homology theories, for example, in those governing deformation theo… ▽ More We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms. The group-twisted chain maps allow us to transfer information between resolutions for use in homology theories, for example, in those governing deformation theory. We show how to translate in particular from the default (but often cumbersome) reduced bar resolution to a more convenient twisted product resolution. This provides a more universal approach to some known results classifying PBW deformations. △ Less

Submitted 28 April, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 10 pages

Mobile Technology in Healthcare Environment: Security Vulnerabilities and Countermeasures

Authors: Sajedul Talukder, Shalisha Witherspoon, Kanishk Srivastava, Ryan Thompson

Abstract: Mobile devices and technologies offer a tremendous amount of benefits to users, although it is also understood that it introduces a set of challenges when it comes to security, compliance, and risks. More and more healthcare organizations have been seeking to update their outdated technology, and have considered the adoption of mobile devices to meet these needs. However, introducing mobile device… ▽ More Mobile devices and technologies offer a tremendous amount of benefits to users, although it is also understood that it introduces a set of challenges when it comes to security, compliance, and risks. More and more healthcare organizations have been seeking to update their outdated technology, and have considered the adoption of mobile devices to meet these needs. However, introducing mobile devices and technology also introduces new risks and threats to the organization. As a test case, we examine Epic Rover, a mobile application that has been identified as a viable solution to manage the electronic medical system. In this paper, we study the insights that the security team needs to investigate, before the adoption of this mobile technology, as well as provide a thorough examination of the vulnerabilities and threats that the use of mobile devices in the healthcare environment brings, and introduce countermeasures and mitigations to reduce the risk while maintaining regulatory compliance. △ Less

Submitted 29 July, 2018; originally announced July 2018.

Comments: Technical Report

$A_{\infty}$-coderivations and the Gerstenhaber bracket on Hochschild cohomology

Authors: C. Negron, Y. Volkov, S. Witherspoon

Abstract: We show that Hochschild cohomology of an algebra over a field is a space of infinity coderivations on an arbitrary projective bimodule resolution of the algebra. The Gerstenhaber bracket is the graded commutator of infinity coderivations. We thus generalize, to an arbitrary resolution, Stasheff's realization of the Gerstenhaber bracket on Hochschild cohomology as the graded commutator of coderivat… ▽ More We show that Hochschild cohomology of an algebra over a field is a space of infinity coderivations on an arbitrary projective bimodule resolution of the algebra. The Gerstenhaber bracket is the graded commutator of infinity coderivations. We thus generalize, to an arbitrary resolution, Stasheff's realization of the Gerstenhaber bracket on Hochschild cohomology as the graded commutator of coderivations on the tensor coalgebra of the algebra. △ Less

Submitted 7 September, 2019; v1 submitted 8 May, 2018; originally announced May 2018.

Comments: 26 pages; updated references

Color Lie rings and PBW deformations of skew group algebras

Authors: S. Fryer, T. Kanstrup, E. Kirkman, A. V. Shepler, S. Witherspoon

Abstract: We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbi… ▽ More We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbifold algebra of a particular type arising from the action of an abelian group is the universal enveloping algebra of some color Lie ring over the group algebra. One consequence is that these quantum Drinfeld orbifold algebras are braided Hopf algebras. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Comments: 22 pages

Finite generation of some cohomology rings via twisted tensor product and Anick resolutions

Authors: Van C. Nguyen, Xingting Wang, Sarah Witherspoon

Abstract: Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Ou… ▽ More Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Our techniques are applications of twisted tensor product resolutions and Anick resolutions in combination with May spectral sequences. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 29 pages

MSC Class: 16

Varieties for modules of finite dimensional Hopf algebras

Authors: Sarah Witherspoon

Abstract: We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples such as finite group algebras and finite group schemes. We list open questions about tensor products of modules and projectivity, where varieties may play a rol… ▽ More We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples such as finite group algebras and finite group schemes. We list open questions about tensor products of modules and projectivity, where varieties may play a role in finding answers. △ Less

Submitted 2 December, 2016; originally announced December 2016.

Comments: Dedicated to Professor David J. Benson on the occasion of his 60th birthday

Tensor products and support varieties for some noncocommutative Hopf algebras

Authors: Julia Yael Plavnik, Sarah Witherspoon

Abstract: We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra stru… ▽ More We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra structures twisted by a cocycle. We develop a theory of support varieties for these Hopf algebras to use as a tool in our investigations. △ Less

Submitted 31 May, 2017; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: We have condensed the preliminaries and we have corrected some typos. 20 pages

Resolutions for Twisted Tensor Products

Authors: A. V. Shepler, S. Witherspoon

Abstract: We build resolutions for general twisted tensor products of algebras. These bimodule and module resolutions unify many constructions in the literature and are suitable for computing Hochschild (co)homology and more generally Ext and Tor for (bi)modules. We analyze in detail the case of Ore extensions, consequently obtaining Chevalley-Eilenberg resolutions for universal enveloping algebras of Lie a… ▽ More We build resolutions for general twisted tensor products of algebras. These bimodule and module resolutions unify many constructions in the literature and are suitable for computing Hochschild (co)homology and more generally Ext and Tor for (bi)modules. We analyze in detail the case of Ore extensions, consequently obtaining Chevalley-Eilenberg resolutions for universal enveloping algebras of Lie algebras (defining the cohomology of Lie groups and Lie algebras). Other examples include semidirect products, crossed products, Weyl algebras, Sridharan enveloping algebras, and Koszul pairs. △ Less

Submitted 25 July, 2018; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: 21 pages, some improvements made to previous version

MSC Class: 16E40

Journal ref: Pacific J. Math. 298 (2019) 445-469

Deforming group actions on Koszul algebras

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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. 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. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 24 pages

PBW deformations of braided products

Authors: Chelsea Walton, Sarah Witherspoon

Abstract: We present new examples of deformations of smash product algebras that arise from Hopf algebra actions on pairs of module algebras. These examples involve module algebras that are Koszul, in which case a PBW theorem we established previously applies. Our construction generalizes several `double' constructions appearing in the literature, including Weyl algebras and some types of Cherednik algebras… ▽ More We present new examples of deformations of smash product algebras that arise from Hopf algebra actions on pairs of module algebras. These examples involve module algebras that are Koszul, in which case a PBW theorem we established previously applies. Our construction generalizes several `double' constructions appearing in the literature, including Weyl algebras and some types of Cherednik algebras, and it complements the braided double construction of Bazlov and Berenstein. Many suggestions of further directions are provided at the end of the work. △ Less

Submitted 27 January, 2018; v1 submitted 10 January, 2016; originally announced January 2016.

Comments: v3: minor changes, to appear in the Journal of Algebra

Hopf automorphisms and twisted extensions

Authors: Susan Montgomery, Maria D. Vega, Sarah Witherspoon

Abstract: We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the… ▽ More We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct. △ Less

Submitted 2 January, 2016; originally announced January 2016.

Comments: 12 pages

The Gerstenhaber bracket as a Schouten bracket for polynomial rings extended by finite groups

Authors: Cris Negron, Sarah Witherspoon

Abstract: We apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results. We apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results. △ Less

Submitted 19 July, 2017; v1 submitted 8 November, 2015; originally announced November 2015.

Comments: 26 pages, includes an appendix which was omitted from the published version

Gerstenhaber brackets on Hochschild cohomology of twisted tensor products

Authors: Lauren Grimley, Van C. Nguyen, Sarah Witherspoon

Abstract: We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenh… ▽ More We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Comments: 28 pages

PBW deformations of skew polynomial rings and their group extensions

Authors: Piyush Shroff, Sarah Witherspoon

Abstract: We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting… ▽ More We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting group is trivial, we determine conditions under which such a PBW deformation is a generalized enveloping algebra of a color Lie algebra; our PBW deformations include these algebras as a special case. △ Less

Submitted 5 March, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: We added an example to section 3, fixed typos and changed "skew polynomial ring" to "quantum symmetric algebra"

An Alternate Approach to the Lie Bracket on Hochschild Cohomology

Authors: Cris Negron, Sarah Witherspoon

Abstract: We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order. We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order. △ Less

Submitted 16 March, 2015; v1 submitted 30 May, 2014; originally announced June 2014.

Comments: 20 pages, updated introduction

Gerstenhaber brackets on Hochschild cohomology of quantum symmetric algebras and their group extensions

Authors: Sarah Witherspoon, Guodong Zhou

Abstract: We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brac… ▽ More We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brackets also in some cases for skew group algebras arising as group extensions of quantum symmetric algebras. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 22 pages

Journal ref: Pacific J. Math. 283 (2016) 223-255

Poincare-Birkhoff-Witt Theorems

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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… ▽ More 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. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 30 pages; survey article to appear in Mathematical Sciences Research Institute Proceedings

Tensor ideals and varieties for modules of quantum elementary abelian groups

Authors: Julia Pevtsova, Sarah Witherspoon

Abstract: In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. △ Less

Submitted 28 January, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: 15 pages, minor corrections to Section 4, to appear in Proceedings of the American Mathematical Society

PBW deformations of skew group algebras in positive characteristic

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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 symplect… ▽ More 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. △ Less

Submitted 12 December, 2013; originally announced December 2013.

Comments: 26 pages

Finite generation of the cohomology of some skew group algebras

Authors: Van C. Nguyen, Sarah Witherspoon

Abstract: We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series of examples of finite dimensional Hopf algebras in positive characteristic. We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series of examples of finite dimensional Hopf algebras in positive characteristic. △ Less

Submitted 21 October, 2017; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 11 pages. Corrections are added to the proof of finite generation in Section 5

MSC Class: 16

Journal ref: Alg. Number Th. 12 (2018) 491-492

Poincare-Birkhoff-Witt deformations of smash product algebras from Hopf actions on Koszul algebras

Authors: Chelsea Walton, Sarah Witherspoon

Abstract: Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincare-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given. Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincare-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given. △ Less

Submitted 27 April, 2017; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: v4: The hypothesis that dim(V) \geq 3 in main result has been removed as it was not needed

Journal ref: Algebra Number Theory 8 (2014) 1701-1731

Examples of support varieties for Hopf algebras with noncommutative tensor products

Authors: Dave Benson, Sarah Witherspoon

Abstract: The representations of some Hopf algebras have curious behavior: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. We explain a family of examples of such Hopf algebras and their modules, and classify left, right, and two-sided ideals in their stable module categories. The representations of some Hopf algebras have curious behavior: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. We explain a family of examples of such Hopf algebras and their modules, and classify left, right, and two-sided ideals in their stable module categories. △ Less

Submitted 23 August, 2013; originally announced August 2013.

Comments: 7 pages

Erratum to "Support varieties and representation type of small quantum groups"

Authors: Joerg Feldvoss, Sarah Witherspoon

Abstract: Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the Hochschild support variety theory may be applied instead. Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the Hochschild support variety theory may be applied instead. △ Less

Submitted 22 August, 2013; originally announced August 2013.

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

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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 homogen… ▽ More 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. △ Less

Submitted 25 September, 2012; originally announced September 2012.

Comments: 26 pages

MSC Class: 16S37; 16E40; 16S80; 16S35

Drinfeld Orbifold Algebras

Authors: Anne V. Shepler, Sarah J. Witherspoon

Abstract: 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 n… ▽ More 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. △ Less

Submitted 30 November, 2011; originally announced November 2011.

Comments: 31 pages

Hochschild cohomology and quantum Drinfeld Hecke algebras

Authors: Deepak Naidu, Sarah Witherspoon

Abstract: Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our p… ▽ More Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our paper with Shroff for diagonal actions. By combining our work with recent results of Levandovskyy and Shepler, we produce examples of quantum Drinfeld Hecke algebras. These algebras generalize the braided Cherednik algebras of Bazlov and Berenstein. △ Less

Submitted 6 January, 2014; v1 submitted 22 November, 2011; originally announced November 2011.

Comments: 22 pages; v2: minor revisions as suggested by the referee

MSC Class: 16E40; 16S35

Support Varieties and Representation Type of Self-Injective Algebras

Authors: Joerg Feldvoss, Sarah Witherspoon

Abstract: We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for… ▽ More We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for Hopf algebras that we developed. We give applications to many different types of algebras: Hecke algebras, reduced universal enveloping algebras, small half-quantum groups, and Nichols (quantum symmetric) algebras. △ Less

Submitted 12 May, 2011; originally announced May 2011.

Comments: 21 pages

Hochschild cohomology of group extensions of quantum symmetric algebras

Authors: Deepak Naidu, Piyush Shroff, Sarah Witherspoon

Abstract: Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space… ▽ More Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space structure. This yields a complete description of the Hochschild cohomology ring of the corresponding skew group algebra. △ Less

Submitted 24 May, 2010; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: 14 pages; v2: Sections 4 and 5 of v1 merged, minor revisions; to appear in Proc. Amer. Math. Soc

MSC Class: 16E40; 16S35

Journal ref: Proc. Amer. Math. Soc. 139 (2011), 1553-1567

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

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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 poly… ▽ More 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. △ Less

Submitted 4 September, 2011; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: Title changed; 39 pages

MSC Class: 16E40

Finite groups acting linearly: Hochschild cohomology and the cup product

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: 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 vari… ▽ More 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. △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 30 pages

MSC Class: 16E40