arXiv subjects

Cris Negron

Publications and source records attributed to Cris Negron.

At least 19 recordsLinked to original sources

arXiv2026

3-dimensional TQFTs from derived categories of quantum group representations

For any finite modular tensor category A, we show that the associated derived $\infty$-category D(A) supports a topological quantum field theory in dimension 3. This TQFT takes the form of a symmetric monoidal functor from an $\infty$-category of surfaces with markings by objects in D(A), and appropriately decorated bordisms, to the $\infty$-category of dg vector spaces. We show that the state spaces in this theory are naturally identified with linearized mapping spaces for D(A). Though our TQFT requires markings from the derived $\infty$-category, we show that all markings can be removed after taking a homotopy truncation. The resulting unmarked TQFT produces projective mapping class group actions on cohomology in dimension 2, and in particular a projective SL_2(Z)-action on Hochschild cohomology. We expect these mapping class group actions to recover those of Lentner et al. arxiv:2003.06527 and Schweigert-Woike arxiv:2004.14343. In dimension 3 we obtain power-series valued knot invariants, and power-series valued invariants for modular tensor categories. We also obtain power-series invariants for closed 3-manifold, though these can already be calculated at the abelian level. Our derived field theories are proposed as mathematical formalizations for topological A-twists of certain N=4 supersymmetric QFTs, in dimension 3. Following physical principles, we discuss the possibility of deforming our TQFTs along local systems via an analogous (conjectural) deformation of quantum group representations along the Langlands dual group.

math.QA↗

arXiv2026

Cocompletions for non-abelian vertex tensor categories

It was recently shown by Huang that the category of $C_1$-cofinite modules for any vertex operator algebra $V$ admits a natural braided monoidal structure. Here, we show that this structure extends uniquely to a vertex algebraically natural braided monoidal structure on the completion of the category of $C_1$-cofinite $V$-modules under filtered colimits, within the ambient category of all generalized $V$-modules. A critical point here is that we do not assume the category of $C_1$-cofinite $V$-modules is abelian or that $C_1$-cofinite modules are compact in the cocompletion, since these properties are not known to hold in general. Our results have many applications in the representation theory of vertex operator algebra extensions, since many vertex operator algebras can be realized as objects in the filtered colimit completion of the category of $C_1$-cofinite modules for a vertex operator subalgebra. Generalizing from the specific vertex algebraic setting, we also establish existence and uniqueness for extensions of monoidal structures along a dense inclusion $\mathscr{C}_0 \to \mathscr{C}$ from an abstract, essentially small monoidal category into a well-structured cocomplete target.

math.QA↗

arXiv2025

Cochain valued TQFTs from nonsemisimple modular tensor categories

We show that a vector space valued TQFT constructed in work of De Renzi et al. [DGGPR23] extends naturally to a topological field theory which takes values in the symmetric monoidal category of linear cochains. Specifically, we consider a bordism category whose objects are surfaces with markings from the category of cochains Ch(A) over a given modular tensor category (such as the category of small quantum group representations), and whose morphisms are 3-dimensional bordisms with embedded ribbon graphs traveling between such marked surfaces. We construct a symmetric monoidal functor from the aforementioned ribbon bordism category to the category of linear cochains. The values of this theory on surfaces are identified with Hom complexes for Ch(A), and the 3-manifold invariants are alternating sums of the renormalized Lyubashenko invariant from [DGGPR23]. We show that our cochain valued TQFT furthermore preserves homotopies, and hence localizes to a theory which takes values in the derived $\infty$-category of dg vector spaces. The domain for this $\infty$-categorical theory is, up to some approximation, an $\infty$-category of ribbon bordism with labels in the homotopy $\infty$-category K(A). We suggest our localized theory as a starting point for the construction of a "derived TQFT" for the $\infty$-category of derived quantum group representations.

math.QA↗

arXiv2023

Quantum Frobenius and modularity for quantum groups at arbitrary roots of 1

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.

math.QA↗

arXiv2023

Revisiting the Steinberg representation at arbitrary roots of 1

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.

math.RT↗

arXiv2022

The half-quantum flag variety and representations for small quantum groups

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].

math.RT↗

arXiv2022

Support theory for the small quantum group and the Springer resolution

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(\~N) \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.

math.RT↗

arXiv2021

Support theory for Drinfeld doubles of some infinitesimal group schemes

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 $\pi$-point style rank variety for the Drinfeld double, identify $\pi$-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.

math.RT↗

arXiv2021

Quantum SL(2) and logarithmic vertex operator algebras at (p,1)-central charge

We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($\pi$ 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.

math.QA↗

arXiv2021

Hypersurface support and prime ideal spectra for stable categories

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 $\pi_0(G)$ in $G$.

math.RT↗

arXiv2020

Hypersurface support for noncommutative complete intersections

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.

math.KT↗

arXiv2020

Finite generation of cohomology for Drinfeld doubles of finite group schemes

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.

math.QA↗

arXiv2020

Support for integrable Hopf algebras via noncommutative hypersurfaces

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$.

math.RT↗

arXiv2019

Pointed Hopf actions on central simple division algebras

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.

math.RA↗

arXiv2018

Log-modular quantum groups at even roots of unity and the quantum Frobenius I

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.

math.QA↗

arXiv2018

The Hochschild cohomology ring of a global quotient orbifold

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.

math.AG↗

arXiv2018

Cohomology of finite tensor categories: duality and Drinfeld centers

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.

math.QA↗

arXiv2017

Cohomology for Drinfeld doubles of some infinitesimal group schemes

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 \theta_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, \theta_r is injective and induces an isomorphism of associated reduced schemes. Additionally, for M an irreducible DG_r-module, \theta_r enables us to identify the support variety of M in terms of the support variety of M viewed as a G_r-module.

math.RT↗