We define relative support varieties with respect to some fixed module over a finite dimensional algebra. These varieties share many of the standard properties of classical support varieties. Moreover, when introducing finite generation conditions on cohomology, we show that relative support varieties contain homological information on the modules involved. As an application, we provide a new criterion for a selfinjective algebra to be of wild representation type.
Support varieties for any finite dimensional algebra over a field were introduced by Snashall-Solberg using graded subalgebras of the Hochschild cohomology. We mainly study these varieties for selfinjective algebras under appropriate finite generation hypotheses. Then many of the standard results from the theory of support varieties for finite groups generalize to this situation. In particular, the complexity of the module equals the dimension of its corresponding variety, all closed homogeneous varieties occur as the variety of some module, the variety of an indecomposable module is connected…
We give a basis for the Hochschild cohomology ring of tame Hecke algebras. We then show that the Hochschild cohomology ring modulo nilpotence is a finitely generated algebra of Krull dimension 2, and describe the support varieties of modules for these algebras. As a consequence we obtain the result that the Hochschild cohomology ring modulo nilpotence of a Hecke algebra has Krull dimension 1 if the algebra is of finite type and has Krull dimension 2 if the algebra is of tame type.
One of our main results is a classification all the weakly symmetric radical cube zero finite dimensional algebras over an algebraically closed field having a theory of support via the Hochschild cohomology ring satisfying Dade's Lemma. Along the way we give a characterization of when a finite dimensional Koszul algebra has such a theory of support in terms of the graded centre of the Koszul dual.
This is a survey paper based on my talks at the 41st Symposium on Ring Theory and Representation Theory, held in Shizuoka University, Japan in September 2008, and will appear in the conference proceedings. The paper begins with a brief introduction to the use of Hochschild cohomology in developing the theory of support varieties for a module over an artin algebra, by Snashall and Solberg (Proc. London Math. Soc.(3) 88 (2004), 705-732). The paper then describes the current status of research concerning the structure of the Hochschild cohomology ring modulo nilpotence.
We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples, taken in particular from representation theory of finite dimensional algebras.
In this paper we give necessary and sufficient conditions for the variety of a simple module over a (D,A)-stacked monomial algebra to be nontrivial. This class of algebras was introduced in [Green and Snashall, The Hochschild cohomology ring modulo nilpotence of a stacked monomial algebra, Colloq. Math. 105 (2006), 233-258] and generalizes Koszul and D-Koszul monomial algebras. As a consequence we show that if the variety of every simple module over such an algebra is nontrivial then the algebra is D-Koszul. We give examples of (D,A)-stacked monomial algebras which are not selfinjective but ne…
We introduce support varieties for rational representations of a linear algebraic group $G$ of exponential type over an algebraically closed field $k$ of characteristic $p > 0$. These varieties are closed subspaces of the space $V(G)$ of all 1-parameter subgroups of $G$. The functor $M \mapsto V(G)_M$ satisfies many of the standard properties of support varieties satisfied by finite groups and other finite group schemes. Furthermore, there is a close relationship between $V(G)_M$ and the family of support varieties $V_r(G)_M$ obtained by restricting the $G$ action to Frobenius kernels $G_{(r)}…
Let k be an algebraically closed field of characteristic p> 0. For a basic classical Lie superalgebra, we show its restricted cohomology algebra is a finitely generated algebra. Thus the cohomological support theory can be established. As a consequence, we show that the restricted enveloping algebra of a basic classical Lie superalgebra g is always wild except g=sl(2) or g=osp(1|2) or g=C(2). Moreover, all finite dimensional indecomposable restricted representations of u(osp(1|2)), the restricted enveloping algebra of Lie superalgebra osp(1|2), are determined.
The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer decompositions than one might originally expect, and relate this to Linckelmann's theory of block varieties.
Let $mathfrak{g}$ be a restricted Lie superalgebra over an algebraically closed field $k$ of characteristic $p>2$. Let $\mathfrak{u}(\mathfrak{g})$ denote the restricted enveloping algebra of $\mathfrak{g}$. In this paper we prove that the cohomology ring $\HH^\bullet(\fu(\fg), k)$ is finitely generated. This allows one to define support varieties for finite dimensional $\fu(\fg)$-supermodules. We also show that support varieties for finite dimensional $\fu(\fg)$ supermodules satisfy the desirable properties of support variety theory.
It has been asked whether there is a version of the tensor product property for support varieties over finite dimensional algebras defined in terms of Hochschild cohomology. We show that in general no such version can exist. In particular, we show that for certain quantum complete intersections, there are modules and bimodules for which the variety of the tensor product is not even contained in the variety of the one-sided module.
Boe, Kujawa and Nakano recently investigated relative cohomology for classical Lie superalgebras and developed a theory of support varieties. The dimensions of these support varieties give a geometric interpretation of the combinatorial notions of defect and atypicality due to Kac, Wakimoto, and Serganova. In this paper we calculate the cohomology ring of the Cartan type Lie superalgebra W(n) relative to the degree zero component W(n)_{0} and show that this ring is a finitely generated polynomial ring. This allows one to define support varieties for finite dimensional W(n)-supermodules which a…
We consider the support varieties of Demazure modules, certain $B$-modules important in the representation theory of reductive groups. In many cases we are able to compute these support varieties over $B_1$, the first Frobenius kernel of a Borel subgroup, and relate them to orbital varieties. We provide a complete calculation of the support varieties when the underlying algebraic group has type $A_1$ or $A_2$. We also consider the saturation ($G$ orbit of) $B_1$ support varieties for Demazure modules and show that the inclusion relations among these varieties are compatible with the Bruhat ord…
Support varieties for Lie superalgebras over the complex numbers were introduced in \cite{BKN1} using the relative cohomology. In this paper we discuss finite generation of the relative cohomology rings for Lie superalgebras, we formulate a definition for subalgebras which detect the cohomology, also discuss realizability of support varieties. In the last section as an application we compute the relative cohomology ring of the Lie superalgebra $\overline{S}(n)$ relative to the graded zero component $\overline{S}(n)_0$ and show that this ring is finitely generated. We also compute support varie…
Let G be a simple classical algebraic group over an algebraically closed field of positive characteristic. We describe the support variety of a simple G-module over the r-th Frobenius kernel of G, in terms of its calculation over the first Frobenius kernel. We then use this result to compute the block varieties of the Frobenius kernels of G.
Atypicality is a fundamental combinatorial invariant for simple supermodules of a basic Lie superalgebra. Boe, Nakano, and the author gave a conjectural geometric interpretation of atypicality via support varieties. Inspired by low dimensional topology, Geer, Patureau-Mirand, and the author gave a generalization of the Kac-Wakimoto atypicality conjecture. We prove both of these conjectures for the Lie superalgebra osp(m|2n).
This paper fixes a gap in my article "Support varieties of non-restricted modules over Lie algebras of reductive groups" pointed out to me by J.C. Jantzen. It was written several years ago, but never widely circulated.
In \cite{BKN} the authors initiated a study of the representation theory of classical Lie superalgebras via a cohomological approach. Detecting subalgebras were constructed and a theory of support varieties was developed. The dimension of a detecting subalgebra coincides with the defect of the Lie superalgebra and the dimension of the support variety for a simple supermodule was conjectured to equal the atypicality of the supermodule. In this paper the authors compute the support varieties for Kac supermodules for Type I Lie superalgebras and the simple supermodules for $\mathfrak{gl}(m|n)$. T…
We study the spectrum of the cohomology rings of cocommutative Hopf superalgebras, restricted and non-restricted Lie superalgebras, and finite supergroup schemes. We also investigate support varieties in these settings and demonstrate that they have the desirable properties of such a theory. We completely characterize support varieties for finite supergroup schemes over algebraically closed fields of characteristic zero, while for non-restricted Lie superalgebras we obtain results in positive characteristic that are strikingly similar to results of Duflo and Serganova in characteristic zero. O…
Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the nilpotent cone of $G$, defined in terms of cohomology for the first Frobenius kernel $G_1$. In the 1990s, Humphreys proposed a conjectural description of the support varieties of tilting modules; this conjecture has been proved for $G = \mathrm{SL}_n$ in earlier work of the second author. In this paper, we show that for any $G$, the support variety of a til…
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.
We study cohomology for classical Lie superalgebras $\mathfrak{g}$ (e.g. gl(m|n)) over the complex numbers. Using results from invariant theory, we show that there exist subsuperalgebras which detect the cohomology of $\mathfrak{g}.$ Furthermore, drawing inspiration from finite groups and restricted Lie algebras, we introduce the notion of support varieties in this context. One can prove these varieties have many of the desirable properties of such a theory. They also appear to provide new interpretations for certain combinatorics associated with Lie superalgebras.
In continuation of work begun in \cite{FR}, we study in this article those Auslander--Reiten components of the algebras $\Dist(G_r)$ that contain simple modules or baby Verma modules, where $\Dist(G_r)$ is the algebra of distributions of the $r$-th Frobenius kernel of the smooth reductive group $G$, defined over an algebraically closed field of positive characteristic.
Let $G$ be a reductive algebraic group scheme defined over $\mathbb{F}_p$ and let $G_1$ denote the Frobenius kernel of $G$. To each finite-dimensional $G$-module $M$, one can define the support variety $V_{G_1}(M)$, which can be regarded as a $G$-stable closed subvariety of the nilpotent cone. A $G$-module is called a tilting module if it has both good and Weyl filtrations. In 1997, it was conjectured by J.E. Humphreys that when $p\geq h$, the support varieties of the indecomposable tilting modules coincide with the nilpotent orbits given by the Lusztig bijection. In this paper, we shall verif…
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.
We compute the complexity, z-complexity, and support varieties of the (thick) Kac modules for the Lie superalgebras of type P. We also show the complexity and the z-complexity have geometric interpretations in terms of support and associated varieties; these results are in agreement with formulas previously discovered for other classes of Lie superalgebras. Our main technical tool is a recursive algorithm for constructing projective resolutions for the Kac modules. The indecomposable projective summands which appear in a given degree of the resolution are explicitly described using the combina…
We define support varieties in an axiomatic setting using the prime spectrum of a lattice of ideals. A key observation is the functoriality of the spectrum and that this functor admits an adjoint. We assign to each ideal its support and can classify ideals in terms of their support. Applications arise from studying abelian or triangulated tensor categories. Specific examples from algebraic geometry and modular representation theory are discussed, illustrating the power of this approach which is inspired by recent work of Balmer.
We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces.
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.
We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of Bøgvad, showing that if a finite-dimensiona…
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.
In this paper we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of arbitrary characteristic. Our proof uses the theory of support varieties for modules, one of the crucial ingredients being a tensor product property for some special modules. As an application we prove a conjecture of Cibils stating that small quantum groups of rank at least two are wild.
Let ${\mathcal H}_{q}(d)$ be the Iwahori-Hecke algebra for the symmetric group, where $q$ is a primitive $l$th root of unity. In this paper we develop a theory of support varieties which detects natural homological properties such as the complexity of modules. The theory the authors develop has a canonical description in an affine space where computations are tractable. The ideas involve the interplay with the computation of the cohomology ring due to Benson, Erdmann and Mikaelian, the theory of vertices due to Dipper and Du, and branching results for cohomology by Hemmer and Nakano. Calculati…
The proof of Theorem 5.12 in [C.M. Drupieski, On injective modules and support varieties for the small quantum group, Int. Math. Res. Not. 2011 (2011), 2263-2294] does not make sense as written because the algebra $u_ζ(\mathfrak{b}_α^+)$ need not be a Hopf subalgebra of $u_ζ(\mathfrak{b}^+)$ unless $α$ is a simple root. This note describes how the proof should be modified to work around this fact.
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 symme…
We construct two families of refinements of the (projectivized) support variety of a finite dimensional module $M$ for a finite group scheme $G$. For an arbitrary finite group scheme, we associate a family of {\it non maximal rank varieties} $Γ^j(G)_M$, $1\leq j \leq p-1$, to a $kG$-module $M$. For $G$ infinitesimal, we construct a finer family of locally closed subvarieties $V^{\ul a}(G)_M$ of the variety of one parameter subgroups of $G$ for any partition $\ul a$ of $\dim M$. For an arbitrary finite group scheme $G$, a $kG$-module $M$ of constant rank, and a cohomology class $ζ$ in $\HHH^1(G…
Let $G= SL_3(k)$ where $k$ is a field of characteristic $p > 0$ and let $λ\in X(T)$ be any weight with corresponding line bundle $\mathscr{L}(λ)$ on $G/B$. In this paper we compute the support varieties for all modules of the form $H^i(λ):= H^i(G/B, \mathscr{L}(λ))$ over the first Frobenius kernel $G_1$. The calculation involves certain recursive character formulas given by Donkin which can be used to compute the characters of the line bundle cohomology groups. In the case where $λ$ is a $p$-regular weight and $M=H^i(λ)\neq 0$ for some $i$, these formulas are used to show that any $p^{th}$ roo…
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.
We prove that the restriction map from the subspace of regular points of the holonomy perturbed SU(2) traceless flat moduli space of a tangle in a 3-manifold to the traceless flat moduli space of its boundary marked surface is a Lagrangian immersion. A key ingredient in our proof is the use of composition in the Weinstein category, combined with the fact that SU(2) holonomy perturbations in a cylinder induce Hamiltonian isotopies. In addition, we show that $(S^2,4)$, the 2-sphere with four marked points, is its own traceless flat SU(2) moduli space.
In the present article we investigate properties of the category of the integral Grothendieck-Chow motives over a field. We discuss the Krull-Schmidt principle for integral motives, provide a complete list of the generalized Severi-Brauer varieties with indecomposable integral motive, and exploit a relation between the category of motives of twisted flag varieties and integral $p$-adic representations of finite groups.
Let G be a finite group. Over any finite G-poset P we may define a transporter category as the corresponding Grothendieck construction. The classifying space of the transporter category is the Borel construction on the G-space BP, while the k-category algebra of the transporter category is the (Gorenstein) skew group algebra on the G-incidence algebra kP. We introduce a support variety theory for the category algebras of transporter categories. It extends Carlson's support variety theory on group cohomology rings to equivariant cohomology rings. In the mean time it provides a class of (usually…
Let $u_ζ(g)$ denote the small quantum group associated to the simple complex Lie algebra $g$, with parameter $q$ specialized to a primitive $\ell$-th root of unity $ζ$ in the field $k$. Generalizing a result of Cline, Parshall and Scott, we show that if $M$ is a finite-dimensional $u_ζ(g)$-module admitting a compatible torus action, then the injectivity of $M$ as a module for $u_ζ(g)$ can be detected by the restriction of $M$ to certain root subalgebras of $u_ζ(g)$. If the characteristic of $k$ is positive, then this injectivity criterion also holds for the higher Frobenius--Lusztig kernels $U…
We show that the space spanned by the class of simple perverse sheaves in [Zh08] without localization is isomorphic to the tensor product of a Verma module with a tensor product of irreducible integrable modules of the quantum enveloping algebra associated with a graph. Under the isomorphism, the simple perverse sheaves get identified with the canonical basis elements of the tensor product module. We also show that the two stability conditions coincide in the localization process in [Zh08], by using supports and singular supports of complexes of sheaves, respectively.
We show that if $G$ is an infinitesimal elementary supergroup scheme of height $\leq r$, then the cohomological spectrum $|G|$ of $G$ is naturally homeomorphic to the variety $\mathcal{N}_r(G)$ of supergroup homomorphisms $ρ: \mathbb{M}_r \rightarrow G$ from a certain (non-algebraic) affine supergroup scheme $\mathbb{M}_r$ into $G$. In the case $r=1$, we further identify the cohomological support variety of a finite-dimensional $G$-supermodule $M$ as a subset of $\mathcal{N}_1(G)$. We then discuss how our methods, when combined with recently-announced results by Benson, Iyengar, Krause, and Pe…
In this paper, we describe on the one hand, all relative minimal models Y of a minuscule Schubert variety X using some combinatorics on quivers and we prove that the morphism from Y to X is small (in the sense of intersection cohomology). On the other hand, thanks to a result of B. Totaro, any small resolution Z of a minuscule Schubert variety X has to be a relative minimal model of X. So X admits a small resolution if and only if there exists a smooth relative minimal model Y of X. We give a combinatoric criterion for Y to be smooth describing in this way all small resolutions of X. We also u…
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.
