BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Dave Benson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let G be a finite group with cyclic Sylow p-subgroup, and let k be a field of characteristic p. Then H^*(BG;k) and H_*(ΩBG\phat;k) are A_{\infty} algebras whose structure we determine up to quasi-isomorphism.
We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even degree and $τ$ has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme.
Werner Meyer constructed a cocycle in $H^2(Sp(2g, \mathbb{Z}); \mathbb{Z})$ which computes the signature of a closed oriented surface bundle over a surface, with fibre a surface of genus g. By studying properties of this cocycle, he also showed that the signature of such a surface bundle is a multiple of 4. In this paper, we study the signature cocycles both from the geometric and algebraic points of view. We present geometric constructions which are relevant to the signature cocycle and provide an alternative to Meyer's decomposition of a surface bundle. Furthermore, we discuss the precise relation between the Meyer and Wall-Maslov index. The main theorem of the paper, Theorem 6.6, provides the necessary group cohomology results to analyze the signature of a surface bundle modulo any integer N. Using these results, we are able to give a complete answer for N = 2, 4 and 8, and based on a theorem of Deligne, we show that this is the best we can hope for using this method.
We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category $\mathcal{C}_1$ described by Venkatesh and the category $\mathcal{C}_2$ defined by Ostrik. The Grothendieck rings of the categories $\mathcal{C}_{2n}$ and $\mathcal{C}_{2n+1}$ are both isomorphic to the ring of real cyclotomic integers defined by a primitive $2^{n+2}$-th root of unity, $\mathcal{O}_n=\mathbb Z[2\cos(π/2^{n+1})]$.
For a finite group scheme, the subadditive functions on finite dimensional representations are studied. It is shown that the projective variety of the cohomology ring can be recovered from the equivalence classes of subadditive functions. Using Crawley-Boevey's correspondence between subadditive functions and endofinite modules, we obtain an equivalence relation on the set of point modules introduced in our joint work with Iyengar and Pevtsova. This corresponds to the equivalence relation on pi-points introduced by Friedlander and Pevtsova.
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 develop a suitable version of the stable module category of a finite group G over an arbitrary commutative ring k. The purpose of the construction is to produce a compactly generated triangulated category whose compact objects are the finitely presented kG-modules. The main idea is to form a localisation of the usual version of the stable module category with respect to the filtered colimits of weakly injective modules. There is also an analogous version of the homotopy category of weakly injective kG-modules and a recollement relating the stable category, the homotopy category, and the derived category of kG-modules.
The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology ring $H^*(G,k)$.
These are the notes from an Oberwolfach Seminar which we ran from 23--29 May 2010.
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context. Others include new proofs of the tensor product theorem and of the classification of thick subcategories of the finitely generated modules which avoid the use of cyclic shifted subgroups. Along the way we establish similar classifications for differential graded modules over graded polynomial rings, and over graded exterior algebras.
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences which follow when T is stratified by R. Among them are a classification of the localizing subcategories of T in terms of subsets of the set of prime ideals in R; a classification of the thick subcategories of the subcategory of compact objects in T; and results concerning the support of the R-module of homomorphisms Hom_T^*(C,D) leading to an analogue of the tensor product theorem for support varieties of modular representation of groups.