-
Quantum Frobenius and modularity for quantum groups at arbitrary roots of 1
Authors:
Cris Negron
Abstract:
We consider quantum group representations Rep(G_q) for a semisimple algebraic group G at a complex root of unity q. Here we allow q to be of any order. We first show that the Tannakian center in Rep(G_q) is calculated via a twisting of Lusztig's quantum Frobenius functor Rep(H) -> Rep(G_q), where H is a dual group to G. We then consider the associated fiber category Rep(G_q)_{small} = Vect\otimes_…
▽ More
We consider quantum group representations Rep(G_q) for a semisimple algebraic group G at a complex root of unity q. Here we allow q to be of any order. We first show that the Tannakian center in Rep(G_q) is calculated via a twisting of Lusztig's quantum Frobenius functor Rep(H) -> Rep(G_q), where H is a dual group to G. We then consider the associated fiber category Rep(G_q)_{small} = Vect\otimes_{Rep(H)} Rep(G_q) over BH, and show that this fiber is a finite, integral braided tensor category. Furthermore, when G is simply-connected and q is of even order, the fiber in question is shown to be a modular tensor category. Finally, we exhibit a finite-dimensional quasitriangular quasi-Hopf algebra (aka, small quantum group) whose representations recover the tensor category Rep(G_q)_{small}, and we describe the representation theory of this algebra in detail. At particular pairings of G and q, our quasi-Hopf algebra is identified with Lusztig's original finite-dimensional Hopf algebra from the 90's. This work completes the author's project from arXiv:1812.02277.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Revisiting the Steinberg representation at arbitrary roots of 1
Authors:
Cris Negron
Abstract:
We consider quantum group representations for a semisimple algebraic group G at a complex root of unity q. Here q is allowed to be of any order. We revisit some fundamental results of Parshall-Wang and Andersen-Polo-Wen from the 90's. In particular, we show that the category Rep(G_q) of quantum group representations has enough projectives and injectives, and that a G_q-representation is projective…
▽ More
We consider quantum group representations for a semisimple algebraic group G at a complex root of unity q. Here q is allowed to be of any order. We revisit some fundamental results of Parshall-Wang and Andersen-Polo-Wen from the 90's. In particular, we show that the category Rep(G_q) of quantum group representations has enough projectives and injectives, and that a G_q-representation is projective (resp. injective) if and only if its restriction to the small quantum group is projective (resp. injective). Our results reduce to an analysis of the Steinberg representation in the simply-connected setting, and are well-known at odd order q via works of the aforementioned authors. The details at arbitrary q have, to our knowledge, not appeared in the literature up to this point.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
The half-quantum flag variety and representations for small quantum groups
Authors:
Cris Negron,
Julia Pevtsova
Abstract:
Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of…
▽ More
Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of $\mathscr{X}_q$, and that the fibers of $\mathscr{X}_q$ over G/B recover the tensor categories of representations for the small quantum Borels. These relationships hold both at an abelian and derived level. Subsequently, reduction arguments, from the small quantum group to its Borels, appear algebrogeometrically as "fiber checking" arguments over $\mathscr{X}_q$. We conjecture that $\mathscr{X}_q$ also contains the category of dg sheaves over the Springer resolution as a full monoidal subcategory, at the derived level, and hence provides a monoidal correspondence between the Springer resolution and the small quantum group. We relate this conjecture to a known equivalence between dg sheaves on the Springer resolution and the principal block in the derived category of quantum group representations [ABG04, BL07].
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Support theory for the small quantum group and the Springer resolution
Authors:
Cris Negron,
Julia Pevtsova
Abstract:
We consider the small quantum group u_q(G), for an almost-simple algebraic group G over the complex numbers and a root of unity q of sufficiently large order. We show that the Balmer spectrum for the small quantum group in type A admits a continuous surjection P(Ñ) \to Spec(stab u_q(G)) from the (projectivized) Springer resolution. This surjection is shown to be a homeomorphism over a dense open s…
▽ More
We consider the small quantum group u_q(G), for an almost-simple algebraic group G over the complex numbers and a root of unity q of sufficiently large order. We show that the Balmer spectrum for the small quantum group in type A admits a continuous surjection P(Ñ) \to Spec(stab u_q(G)) from the (projectivized) Springer resolution. This surjection is shown to be a homeomorphism over a dense open subset in the spectrum. In type A_1 we calculate the Balmer spectrum precisely, where it is shown to be the projectivized nilpotent cone. Our results extend to arbitrary Dynkin type provided certain conjectures hold for the small quantum Borel. At the conclusion of the paper we touch on relations with geometric representation theory and logarithmic TQFTs, as represented in works of Arkhipov-Bezrukavnikov-Ginzburg and Schweigert-Woike respectively.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
Support theory for Drinfeld doubles of some infinitesimal group schemes
Authors:
Eric M. Friedlander,
Cris Negron
Abstract:
Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate…
▽ More
Consider a Frobenius kernel G in a split semisimple algebraic group, in very good characteristic. We provide an analysis of support for the Drinfeld center Z(rep(G)) of the representation category for G, or equivalently for the representation category of the Drinfeld double of kG. We show that thick ideals in the corresponding stable category are classified by cohomological support, and calculate the Balmer spectrum of the stable category of Z(rep(G)). We also construct a $π$-point style rank variety for the Drinfeld double, identify $π$-point support with cohomological support, and show that both support theories satisfy the tensor product property. Our results hold, more generally, for Drinfeld doubles of Frobenius kernels in any smooth algebraic group which admits a quasi-logarithm, such as a Borel subgroup in a split semisimple group in very good characteristic.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Intrinsically spherical 3-linked graphs
Authors:
Madeleine Burkhart,
Andrew Castillo,
Jonathan Doane,
Joel Foisy,
Cristopher Negron
Abstract:
We exhibit several families of planar graphs that are minor-minimal intrinsically spherical $3$-linked. A graph is intrinsically spherical 3-linked if it is planar graph that has, in every spherical embedding, a non-split 3-link consisting of two disjoint cycles ($S^1$s) and two disjoint vertices ($S^0$), or a cycle and two pairs of disjoint vertices. We conjecture that $K_4 \dot{\bigcup} K_4$,…
▽ More
We exhibit several families of planar graphs that are minor-minimal intrinsically spherical $3$-linked. A graph is intrinsically spherical 3-linked if it is planar graph that has, in every spherical embedding, a non-split 3-link consisting of two disjoint cycles ($S^1$s) and two disjoint vertices ($S^0$), or a cycle and two pairs of disjoint vertices. We conjecture that $K_4 \dot{\bigcup} K_4$, $K_{3,2} \dot{\bigcup} K_{3,2}$, and $K_4 \dot{\bigcup} K_{3,2}$ form the complete set of minor-minimal intrinsically type I spherical 3-linked graphs (that is, in every spherical embedding, have a nonsplit link of two cycles and one $S^0$).
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
Quantum SL(2) and logarithmic vertex operator algebras at (p,1)-central charge
Authors:
Terry Gannon,
Cris Negron
Abstract:
We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($π$ i/p), and the representation category of the triplet vertex operator algebra at integral parameter p>1. We provide similar quantum group equivalences for representation categories associated to the Virasoro, and singlet vertex operator algebras at central charge c=1-6(p-1)^2/p.…
▽ More
We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($π$ i/p), and the representation category of the triplet vertex operator algebra at integral parameter p>1. We provide similar quantum group equivalences for representation categories associated to the Virasoro, and singlet vertex operator algebras at central charge c=1-6(p-1)^2/p. These results resolve a number of fundamental conjectures coming from studies of logarithmic CFTs in type A_1.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Hypersurface support and prime ideal spectra for stable categories
Authors:
Cris Negron,
Julia Pevtsova
Abstract:
We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in type $A$, Drinfeld doubles of height 1 Borels in finite characteristic, and rings of functions on finite group schemes over a perfect field. We then identify the…
▽ More
We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in type $A$, Drinfeld doubles of height 1 Borels in finite characteristic, and rings of functions on finite group schemes over a perfect field. We then identify the prime ideal (Balmer) spectra for these stable categories. In the curious case of functions on a finite group scheme $G$, the spectrum of the category is identified not with the spectrum of cohomology, but with the quotient of the spectrum of cohomology by the adjoint action of the subgroup of connected components $π_0(G)$ in $G$.
△ Less
Submitted 26 August, 2021; v1 submitted 31 December, 2020;
originally announced January 2021.
-
Hypersurface support for noncommutative complete intersections
Authors:
Cris Negron,
Julia Pevtsova
Abstract:
We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. By a noncommutative complete intersection we mean an algebra R which admits a smooth deformation $Q\to R$ by a Noetherian algebra $Q$ which is of finite global dimension. We show that hypersurface support defines a support theory for the big singularity category $Sing(R)$, and th…
▽ More
We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. By a noncommutative complete intersection we mean an algebra R which admits a smooth deformation $Q\to R$ by a Noetherian algebra $Q$ which is of finite global dimension. We show that hypersurface support defines a support theory for the big singularity category $Sing(R)$, and that the support of an object in $Sing(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz' support theory for (commutative) local complete intersections. In a companion piece, we employ hypersurface support, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
Finite generation of cohomology for Drinfeld doubles of finite group schemes
Authors:
Cris Negron
Abstract:
We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension algebra of the trivial representation for D(G) is a finitely generated algebra, and that for each D(G)-representation V the extensions from the trivial representatio…
▽ More
We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension algebra of the trivial representation for D(G) is a finitely generated algebra, and that for each D(G)-representation V the extensions from the trivial representation to V form a finitely generated module over the aforementioned algebra. As a corollary, we find that all categories rep(G)*_M dual to rep(G) are of also of finite type (i.e. have finitely generated cohomology), and we provide a uniform bound on their Krull dimensions. This paper completes earlier work of E. M. Friedlander and the author.
△ Less
Submitted 28 May, 2020;
originally announced May 2020.
-
Support for integrable Hopf algebras via noncommutative hypersurfaces
Authors:
Cris Negron,
Julia Pevtsova
Abstract:
We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted enveloping algebras in finite characteristic, and Drinfeld doubles of height $1$ group schemes. We provide a means of analyzing (cohomological) support…
▽ More
We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted enveloping algebras in finite characteristic, and Drinfeld doubles of height $1$ group schemes. We provide a means of analyzing (cohomological) support for representations over such $u$, via the singularity categories of the hypersurfaces $U/(f)$ associated to functions $f$ on the corresponding parametrization space. We use this hypersurface approach to establish the tensor product property for cohomological support, for the following examples: functions on a finite group scheme, Drinfeld doubles of certain height 1 solvable finite group schemes, bosonized quantum complete intersections, and the small quantum Borel in type $A$.
△ Less
Submitted 30 December, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Pointed Hopf actions on central simple division algebras
Authors:
Pavel Etingof,
Cris Negron
Abstract:
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof…
▽ More
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof and Walton, in which it was shown that most pointed Hopf algebras do not admit faithful actions on fields. We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and an example of non-Cartan type.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Log-modular quantum groups at even roots of unity and the quantum Frobenius I
Authors:
Cris Negron
Abstract:
We construct log-modular quantum groups at even order roots of unity, both as finite-dimensional ribbon quasi-Hopf algebras and as finite ribbon tensor categories, via a de-equivariantization procedure. The existence of such quantum groups had been predicted by certain conformal field theory considerations, but constructions had not appeared until recently. We show that our quantum groups can be i…
▽ More
We construct log-modular quantum groups at even order roots of unity, both as finite-dimensional ribbon quasi-Hopf algebras and as finite ribbon tensor categories, via a de-equivariantization procedure. The existence of such quantum groups had been predicted by certain conformal field theory considerations, but constructions had not appeared until recently. We show that our quantum groups can be identified with those of Creutzig-Gainutdinov-Runkel in type A_1, and Gainutdinov-Lentner-Ohrmann in arbitrary Dynkin type. We discuss conjectural relations with vertex operator algebras at (1,p)-central charge. For example, we explain how one can (conjecturally) employ known linear equivalences between the triplet vertex algebra and quantum sl_2, in conjunction with a natural PSL_2-action on quantum sl_2 provided by our de-equivariantization construction, in order to deduce linear equivalences between "extended" quantum groups, the singlet vertex operator algebra, and the (1,p)-Virasoro logarithmic minimal model. We assume some restrictions on the order of our root of unity outside of type A_1, which we intend to eliminate in a subsequent paper.
△ Less
Submitted 16 January, 2021; v1 submitted 5 December, 2018;
originally announced December 2018.
-
The Hochschild cohomology ring of a global quotient orbifold
Authors:
Cris Negron,
Travis Schedler,
Pieter Belmans,
Pavel Etingof
Abstract:
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvec…
▽ More
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild cohomology to conclude that the analog of Kontsevich's formality theorem, for the cup product, does not hold for Deligne--Mumford stacks in general. We discuss relationships with orbifold cohomology, extending Ruan's cohomological conjectures. This employs a trivialization of the determinants in the case of a symplectic group action on a symplectic variety X, which requires (for the cup product) a nontrivial normalization missing in previous literature.
△ Less
Submitted 11 December, 2018; v1 submitted 23 September, 2018;
originally announced September 2018.
-
Cohomology of finite tensor categories: duality and Drinfeld centers
Authors:
Cris Negron,
Julia Yael Plavnik
Abstract:
We consider the finite generation property for cohomology of a finite tensor category C, which requires that the self-extension algebra of the unit Ext*_C(1,1) is a finitely generated algebra and that, for each object V in C, the graded extension group Ext*_C(1,V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under…
▽ More
We consider the finite generation property for cohomology of a finite tensor category C, which requires that the self-extension algebra of the unit Ext*_C(1,1) is a finitely generated algebra and that, for each object V in C, the graded extension group Ext*_C(1,V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C. For example, the stated result holds when C is a braided tensor category of odd Frobenius-Perron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0, we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes.
△ Less
Submitted 6 June, 2019; v1 submitted 23 July, 2018;
originally announced July 2018.
-
$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.
-
Cohomology for Drinfeld doubles of some infinitesimal group schemes
Authors:
Eric Friedlander,
Cris Negron
Abstract:
Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(D…
▽ More
Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(DG_r,k) which offers an approach to support varieties for DG_r-modules. For many examples of interest, θ_r is injective and induces an isomorphism of associated reduced schemes. Additionally, for M an irreducible DG_r-module, θ_r enables us to identify the support variety of M in terms of the support variety of M viewed as a G_r-module.
△ Less
Submitted 19 May, 2018; v1 submitted 26 September, 2017;
originally announced September 2017.
-
Twists of quantum Borel algebras
Authors:
Cris Negron
Abstract:
We classify Drinfeld twists for the quantum Borel subalgebra u_q(b) in the Frobenius-Lusztig kernel u_q(g), where g is a simple Lie algebra over C and q an odd root of unity. More specifically, we show that alternating forms on the character group of the group of grouplikes for u_q(b) generate all twists for u_q(b), under a certain algebraic group action. This implies a simple classification of Ho…
▽ More
We classify Drinfeld twists for the quantum Borel subalgebra u_q(b) in the Frobenius-Lusztig kernel u_q(g), where g is a simple Lie algebra over C and q an odd root of unity. More specifically, we show that alternating forms on the character group of the group of grouplikes for u_q(b) generate all twists for u_q(b), under a certain algebraic group action. This implies a simple classification of Hopf algebras whose categories of representations are tensor equivalent to that of u_q(b). We also show that cocycle twists for the corresponding De Concini-Kac algebra are in bijection with alternating forms on the aforementioned character group.
△ Less
Submitted 10 October, 2017; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Small quantum groups associated to Belavin-Drinfeld triples
Authors:
Cris Negron
Abstract:
For a simple Lie algebra L of type A, D, E we show that any Belavin-Drinfeld triple on the Dynkin diagram of L produces a collection of Drinfeld twists for Lusztig's small quantum group u_q(L). These twists give rise to new finite-dimensional factorizable Hopf algebras, i.e. new small quantum groups. For any Hopf algebra constructed in this manner, we identify the group of grouplike elements, iden…
▽ More
For a simple Lie algebra L of type A, D, E we show that any Belavin-Drinfeld triple on the Dynkin diagram of L produces a collection of Drinfeld twists for Lusztig's small quantum group u_q(L). These twists give rise to new finite-dimensional factorizable Hopf algebras, i.e. new small quantum groups. For any Hopf algebra constructed in this manner, we identify the group of grouplike elements, identify the Drinfeld element, and describe the irreducible representations of the dual in terms of the representation theory of the parabolic subalgebra(s) in L associated to the given Belavin-Drinfeld triple. We also produce Drinfeld twists of u_q(L) which express a known algebraic group action on its category of representations, and pose a subsequent question regarding the classification of all twists.
△ Less
Submitted 8 March, 2017; v1 submitted 1 January, 2017;
originally announced January 2017.
-
Gauge invariants from the powers of antipodes
Authors:
Cris Negron,
Siu-Hung Ng
Abstract:
We prove that the trace of the $n$th power of the antipode of a Hopf algebra with the Chevalley property is a gauge invariant, for each integer $n$. As a consequence, the order of the antipode, and its square, are invariant under Drinfeld twists. The invariance of the order of the antipode is closely related to a question of Shimizu on the pivotal covers of finite tensor categories, which we affir…
▽ More
We prove that the trace of the $n$th power of the antipode of a Hopf algebra with the Chevalley property is a gauge invariant, for each integer $n$. As a consequence, the order of the antipode, and its square, are invariant under Drinfeld twists. The invariance of the order of the antipode is closely related to a question of Shimizu on the pivotal covers of finite tensor categories, which we affirmatively answer for representation categories of Hopf algebras with the Chevalley property.
△ Less
Submitted 17 May, 2017; v1 submitted 4 September, 2016;
originally announced September 2016.
-
The derived Picard group of an affine Azumaya algebra
Authors:
Cris Negron
Abstract:
We describe the derived Picard group of an Azumaya algebra A on an affine scheme X in terms of global sections of the constant sheaf of integers on X, the Picard group of X, and the stabilizer of the Brauer class of A under the action of Aut(X). In particular, we find that the derived Picard group of an Azumaya algebra is generally not isomorphic to that of the underlying scheme. In the case of th…
▽ More
We describe the derived Picard group of an Azumaya algebra A on an affine scheme X in terms of global sections of the constant sheaf of integers on X, the Picard group of X, and the stabilizer of the Brauer class of A under the action of Aut(X). In particular, we find that the derived Picard group of an Azumaya algebra is generally not isomorphic to that of the underlying scheme. In the case of the trivial Azumaya algebra, our result refines Yekutieli's description of the derived Picard group of a commutative algebra. We also get, as a corollary, an alternate proof of a result of Antieau which relates derived equivalences to Brauer equivalences for affine Azumaya algebras. The example of a Weyl algebra in finite characteristic is examined in some detail.
△ Less
Submitted 30 December, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
-
Braided Hochschild cohomology and Hopf actions
Authors:
Cris Negron
Abstract:
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the asso…
▽ More
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second application we deduce some structural results for the usual Hochschild cohomology of a smash product, and discuss specific implications for finite group actions on smooth affine schemes.
△ Less
Submitted 22 November, 2015;
originally announced November 2015.
-
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.
-
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.
-
Spectral Sequences for the Cohomology Rings of a Smash Product
Authors:
Cris Negron
Abstract:
Stefan and Guichardet have provided Lyndon-Hochschild-Serre type spectral sequences which converge to the Hochschild cohomology and Ext groups of a smash product. We show that these spectral sequences carry natural multiplicative structures, and that these multiplicative structures can be used to calculate the cup product on Hochschild cohomology and the Yoneda product on an Ext algebra.
Stefan and Guichardet have provided Lyndon-Hochschild-Serre type spectral sequences which converge to the Hochschild cohomology and Ext groups of a smash product. We show that these spectral sequences carry natural multiplicative structures, and that these multiplicative structures can be used to calculate the cup product on Hochschild cohomology and the Yoneda product on an Ext algebra.
△ Less
Submitted 16 May, 2014; v1 submitted 15 January, 2014;
originally announced January 2014.
-
Computation of the Hochschild Cohomology Algebra of the Down-Up Algebra $A(0,1,0)$
Authors:
Cris Negron
Abstract:
This document is supplementary material for the author's paper \emph{The cup product on hochschild cohomology for localizations of filtered koszul algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.
This document is supplementary material for the author's paper \emph{The cup product on hochschild cohomology for localizations of filtered koszul algebras}, arXiv:1304.0527. We give a detailed computation of the Hochschild cohomology algebra for the Down-Up algebra with parameters $(0,1,0)$.
△ Less
Submitted 30 March, 2016; v1 submitted 26 May, 2013;
originally announced May 2013.
-
The cup product on Hochschild cohomology via twisting cochains and applications to Koszul rings
Authors:
Cris Negron
Abstract:
Given an acyclic twisting cochain $π:C\to A$, from a curved dg coalgebra $C$ to a dg algebra $A$, we show that the associated twisted hom complex $\mathrm{Hom}^π_k(C,A)$ has cohomology equal to the Hochschild cohomology of $A$, as a graded ring. As a corollary we find that the Hochschild cohomology of a Koszul algebra $A$, along with its cup product, is a subquotient of the tensor product algebra…
▽ More
Given an acyclic twisting cochain $π:C\to A$, from a curved dg coalgebra $C$ to a dg algebra $A$, we show that the associated twisted hom complex $\mathrm{Hom}^π_k(C,A)$ has cohomology equal to the Hochschild cohomology of $A$, as a graded ring. As a corollary we find that the Hochschild cohomology of a Koszul algebra $A$, along with its cup product, is a subquotient of the tensor product algebra $A^!\otimes A$ of $A$ with its Koszul dual.
△ Less
Submitted 30 March, 2016; v1 submitted 2 April, 2013;
originally announced April 2013.
