-
Quantum-symmetric equivalence is a graded Morita invariant
Authors:
Hongdi Huang,
Van C. Nguyen,
Padmini Veerapen,
Kent B. Vashaw,
Xingting Wang
Abstract:
We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated universal quantum groups (in the sense of Manin) which sends one algebra to the other. As a consequence, any Zhang twist of an $m$-homogeneous algebra is a 2-co…
▽ More
We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated universal quantum groups (in the sense of Manin) which sends one algebra to the other. As a consequence, any Zhang twist of an $m$-homogeneous algebra is a 2-cocycle twist by some 2-cocycle from its Manin's universal quantum group.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Group actions on monoidal triangulated categories and Balmer spectra
Authors:
Hongdi Huang,
Kent B. Vashaw
Abstract:
Let $G$ be a group acting on a left or right rigid monoidal triangulated category ${\mathbf K}$ which has a Noetherian Balmer spectrum. We prove that the Balmer spectrum of the crossed product category of ${\mathbf K}$ by $G$ is homeomorphic to the space of $G$-prime ideals of ${\mathbf K}$, give a concrete description of this space, and classify the $G$-invariant thick ideals of ${\mathbf K}$. Un…
▽ More
Let $G$ be a group acting on a left or right rigid monoidal triangulated category ${\mathbf K}$ which has a Noetherian Balmer spectrum. We prove that the Balmer spectrum of the crossed product category of ${\mathbf K}$ by $G$ is homeomorphic to the space of $G$-prime ideals of ${\mathbf K}$, give a concrete description of this space, and classify the $G$-invariant thick ideals of ${\mathbf K}$. Under some additional technical conditions, we prove that the Balmer spectrum of the equivariantization of ${\mathbf K}$ by $G$ is also homeomorphic to the space of $G$-prime ideals. Examples of stable categories of finite tensor categories and perfect derived categories of coherent sheaves on Noetherian schemes are used to illustrate the theory.
△ Less
Submitted 11 March, 2024; v1 submitted 30 November, 2023;
originally announced November 2023.
-
A Chinese remainder theorem and Carlson's theorem for monoidal triangulated categories
Authors:
Daniel K. Nakano,
Kent B. Vashaw,
Milen T. Yakimov
Abstract:
In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$Δ$Cs). The tensor structure of an M$Δ$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem inv…
▽ More
In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$Δ$Cs). The tensor structure of an M$Δ$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem involving the Verdier quotients for coprime thick ideals. This result is used to obtain orthogonal decompositions of the extended endomorphism rings of idempotent algebra objects of M$Δ$Cs. The authors also provide topological characterizations on when an M$Δ$C contains a pair of coprime proper thick ideals, and additionally, when the latter are complementary in the sense that their intersection is contained in the prime radical of the category.
As an application of the aforementioned results, the authors establish for arbitrary M$Δ$Cs a general version of Carlson's theorem on the connnectedness of supports for indecomposable objects. Examples of our results are given at the end of the paper for the derived category of schemes and for the stable module categories for finite group schemes.
△ Less
Submitted 17 December, 2023; v1 submitted 29 November, 2023;
originally announced November 2023.
-
On the decomposition of tensor products of monomial modules for finite 2-groups
Authors:
George Cao,
Kent B. Vashaw
Abstract:
Dave Benson conjectured in 2020 that if $G$ is a finite $2$-group and $V$ is an odd-dimensional indecomposable representation of $G$ over an algebraically closed field $\Bbbk$ of characteristic $2$, then the only odd-dimensional indecomposable summand of $V \otimes V^*$ is the trivial representation $\Bbbk$. This would imply that a tensor power of an odd-dimensional indecomposable representation o…
▽ More
Dave Benson conjectured in 2020 that if $G$ is a finite $2$-group and $V$ is an odd-dimensional indecomposable representation of $G$ over an algebraically closed field $\Bbbk$ of characteristic $2$, then the only odd-dimensional indecomposable summand of $V \otimes V^*$ is the trivial representation $\Bbbk$. This would imply that a tensor power of an odd-dimensional indecomposable representation of $G$ over $\Bbbk$ has a unique odd-dimensional summand. Benson has further conjectured that, given such a representation $V$, the function sending a positive integer $n$ to the dimension of the unique odd-dimensional indecomposable summand of $V^{\otimes n}$ is quasi-polynomial. We examine this conjecture for monomial modules, a class of graded representations for the group $\mathbb{Z}/{2^r}\mathbb{Z} \times \mathbb{Z}/{2^s}\mathbb{Z}$ which correspond to skew Young diagrams. We prove the tensor powers conjecture for several modules, giving some of the first nontrivial cases where this conjecture has been verified, and we give conjectural quasi-polynomials for a broad range of monomial modules based on computational evidence.
△ Less
Submitted 14 March, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Twisting Manin's universal quantum groups and comodule algebras
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
We introduce the notion of quantum-symmetric equivalence of two connected graded algebras, based on Morita-Takeuchi equivalences of their universal quantum groups, in the sense of Manin. We study homological and algebraic invariants of quantum-symmetric equivalence classes, and prove that numerical $\mathrm{Tor}$-regularity, Castelnuovo-Mumford regularity, Artin-Schelter regularity, and the Froben…
▽ More
We introduce the notion of quantum-symmetric equivalence of two connected graded algebras, based on Morita-Takeuchi equivalences of their universal quantum groups, in the sense of Manin. We study homological and algebraic invariants of quantum-symmetric equivalence classes, and prove that numerical $\mathrm{Tor}$-regularity, Castelnuovo-Mumford regularity, Artin-Schelter regularity, and the Frobenius property are invariant under any Morita-Takeuchi equivalence. In particular, by combining our results with the work of Raedschelders and Van den Bergh, we prove that Koszul Artin-Schelter regular algebras of a fixed global dimension form a single quantum-symmetric equivalence class. Moreover, we characterize 2-cocycle twists (which arise as a special case of quantum-symmetric equivalence) of Koszul duals, of superpotentials, of superpotential algebras, of Nakayama automorphisms of twisted Frobenius algebras, and of Artin-Schelter regular algebras. We also show that finite generation of Hochschild cohomology rings is preserved under certain 2-cocycle twists.
△ Less
Submitted 29 March, 2024; v1 submitted 23 September, 2022;
originally announced September 2022.
-
On the spectrum and support theory of a finite tensor category
Authors:
Daniel K. Nakano,
Kent B. Vashaw,
Milen T. Yakimov
Abstract:
Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (tri…
▽ More
Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories $\underline{\bf T}$.
In this paper we introduce the key notion of the categorical center $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. This enables us to put forward a complete and detailed program for determining the exact relationship between the two support theories, based on $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$.
More specifically, we construct a continuous map from the noncommutative Balmer spectrum of an FTC, $\bf T$, to the $\text{Proj}$ of the categorical center $C^\bullet_{\underline{\bf T}}$, and prove that this map is surjective under a weaker finite generation assumption for $\bf T$ than the one conjectured by Etingof-Ostrik. Under stronger assumptions, we prove that (i) the map is homeomorphism and (ii) the two-sided thick ideals of $\underline{\bf T}$ are classified by the specialization closed subsets of $\text{Proj} C^\bullet_{\underline{\bf T}}$.
We conjecture that both results hold for all FTCs. Many examples are presented that demonstrate how in important cases $C^\bullet_{\underline{\bf T}}$ arises as a fixed point subring of $R^\bullet_{\underline{\bf T}}$ and how the two-sided thick ideals of $\underline{\bf T}$ are determined in a uniform fashion. The majority of our results are proved in the greater generality of monoidal triangulated categories.
△ Less
Submitted 29 November, 2023; v1 submitted 21 December, 2021;
originally announced December 2021.
-
A cogroupoid associated to preregular forms
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
We construct a family of cogroupoids associated to preregular forms and recover the Morita-Takeuchi equivalence for Artin-Schelter regular algebras of dimension two, observed by Raedschelders and Van den Bergh. Moreover, we study the 2-cocycle twists of pivotal analogues of these cogroupoids, by developing a categorical description of preregularity in any tensor category that has a pivotal structu…
▽ More
We construct a family of cogroupoids associated to preregular forms and recover the Morita-Takeuchi equivalence for Artin-Schelter regular algebras of dimension two, observed by Raedschelders and Van den Bergh. Moreover, we study the 2-cocycle twists of pivotal analogues of these cogroupoids, by developing a categorical description of preregularity in any tensor category that has a pivotal structure.
△ Less
Submitted 30 December, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Twisting of graded quantum groups and solutions to the quantum Yang-Baxter equation
Authors:
Hongdi Huang,
Van C. Nguyen,
Charlotte Ure,
Kent B. Vashaw,
Padmini Veerapen,
Xingting Wang
Abstract:
Let $H$ be a Hopf algebra that is $\mathbb Z$-graded as an algebra. We provide sufficient conditions for a 2-cocycle twist of $H$ to be a Zhang twist of $H$. In particular, we introduce the notion of a twisting pair for $H$ such that the Zhang twist of $H$ by such a pair is a 2-cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algeb…
▽ More
Let $H$ be a Hopf algebra that is $\mathbb Z$-graded as an algebra. We provide sufficient conditions for a 2-cocycle twist of $H$ to be a Zhang twist of $H$. In particular, we introduce the notion of a twisting pair for $H$ such that the Zhang twist of $H$ by such a pair is a 2-cocycle twist. We use twisting pairs to describe twists of Manin's universal quantum groups associated to quadratic algebras and provide twisting of solutions to the quantum Yang-Baxter equation via the Faddeev-Reshetikhin-Takhtajan construction.
△ Less
Submitted 4 October, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Balmer spectra and Drinfeld centers
Authors:
Kent B. Vashaw
Abstract:
The Balmer spectrum of a monoidal triangulated category is an important geometric construction which is closely related to the problem of classifying thick tensor ideals. We prove that the forgetful functor from the Drinfeld center of a finite tensor category ${\mathbf{C}}$ to ${\mathbf{C}}$ extends to a monoidal triangulated functor between their corresponding stable categories, and induces a con…
▽ More
The Balmer spectrum of a monoidal triangulated category is an important geometric construction which is closely related to the problem of classifying thick tensor ideals. We prove that the forgetful functor from the Drinfeld center of a finite tensor category ${\mathbf{C}}$ to ${\mathbf{C}}$ extends to a monoidal triangulated functor between their corresponding stable categories, and induces a continuous map between their Balmer spectra. We give conditions under which it is injective, surjective, or a homeomorphism. We apply this general theory to prove that Balmer spectra associated to finite-dimensional cosemisimple quasitriangular Hopf algebras (in particular, group algebras in characteristic dividing the order of the group) coincide with the Balmer spectra associated to their Drinfeld doubles, and that the thick ideals of both categories are in bijection. An analogous theorem is proven for certain Benson--Witherspoon smash coproduct Hopf algebras, which are not quasitriangular in general.
△ Less
Submitted 4 September, 2023; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Noncommutative tensor triangular geometry and the tensor product property for support maps
Authors:
Daniel K. Nakano,
Kent B. Vashaw,
Milen T. Yakimov
Abstract:
The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments.
In this paper we demonstrate that it i…
▽ More
The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments.
In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings.
As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras.
△ Less
Submitted 10 August, 2021; v1 submitted 22 August, 2020;
originally announced August 2020.
-
Noncommutative tensor triangular geometry
Authors:
Daniel K. Nakano,
Kent B. Vashaw,
Milen T. Yakimov
Abstract:
We develop a general noncommutative version of Balmer's tensor triangular geometry that is applicable to arbitrary monoidal triangulated categories (M$Δ$Cs). Insight from noncommutative ring theory is used to obtain a framework for prime, semiprime, and completely prime (thick) ideals of an M$Δ$C, ${\bf K}$, and then to associate to ${\bf K}$ a topological space--the Balmer spectrum…
▽ More
We develop a general noncommutative version of Balmer's tensor triangular geometry that is applicable to arbitrary monoidal triangulated categories (M$Δ$Cs). Insight from noncommutative ring theory is used to obtain a framework for prime, semiprime, and completely prime (thick) ideals of an M$Δ$C, ${\bf K}$, and then to associate to ${\bf K}$ a topological space--the Balmer spectrum $\operatorname{Spc} {\bf K}$. We develop a general framework for (noncommutative) support data, coming in three different flavors, and show that $\operatorname{Spc} {\bf K}$ is a universal terminal object for the first two notions (support and weak support). The first two types of support data are then used in a theorem that gives a method for the explicit classification of the thick (two-sided) ideals and the Balmer spectrum of an M$Δ$C. The third type (quasi support) is used in another theorem that provides a method for the explicit classification of the thick right ideals of ${\bf K}$, which in turn can be applied to classify the thick two-sided ideals and $\operatorname{Spc} {\bf K}$.
As a special case, our approach can be applied to the stable module categories of arbitrary finite dimensional Hopf algebras that are not necessarily cocommutative (or quasitriangular). We illustrate the general theorems with classifications of the Balmer spectra and thick two-sided/right ideals for the stable module categories of all small quantum groups for Borel subalgebras, and classifications of the Balmer spectra and thick two-sided ideals of Hopf algebras studied by Benson and Witherspoon.
△ Less
Submitted 12 May, 2021; v1 submitted 10 September, 2019;
originally announced September 2019.