Showing 1–50 of 70 results for author: Benson, D

Group schemes and their Lie algebras over a symmetric tensor category

Authors: Dave Benson, Julia Pevtsova

Abstract: We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as the degree one distributions on the group scheme, or as the right invariant derivations on the coordinate ring. In the second half of the paper, we illustrate the… ▽ More We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as the degree one distributions on the group scheme, or as the right invariant derivations on the coordinate ring. In the second half of the paper, we illustrate the theory in the particular case of the symmetric tensor category $\mathsf{Ver}_4^+$ in characteristic two. △ Less

Submitted 2 July, 2025; originally announced July 2025.

MSC Class: 18D10 (primary); 14L15; 17B45; 18M05; 18M20 (secondary)

The spectrum of local dualisable modular representations

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: For a point $\mathfrak{p}$ in the spectrum of the cohomology ring of a finite group $G$ over a field $k$, we calculate the spectrum for the subcategory of dualisable objects inside the tensor triangulated category of $\mathfrak{p}$-local and $\mathfrak{p}$-torsion objects in the (big) stable module category of the group algebra $kG$. For a point $\mathfrak{p}$ in the spectrum of the cohomology ring of a finite group $G$ over a field $k$, we calculate the spectrum for the subcategory of dualisable objects inside the tensor triangulated category of $\mathfrak{p}$-local and $\mathfrak{p}$-torsion objects in the (big) stable module category of the group algebra $kG$. △ Less

Submitted 25 May, 2025; originally announced May 2025.

Comments: 15 pages

MSC Class: 20C20 (primary); 18G80; 20J06 (secondary)

On Oriented Diameter of Power Graphs

Authors: Deepu Benson, Bireswar Das, Dipan Dey, Jinia Ghosh

Abstract: In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at lea… ▽ More In this paper, we study the oriented diameter of power graphs of groups. We show that a $2$-edge connected power graph of a finite group has oriented diameter at most $4$. We prove that the power graph of the cyclic group of order $n$ has oriented diameter $2$ for all $n\neq 1,2,4,6$. For non-cyclic finite nilpotent groups, we show that the oriented diameter of corresponding power graphs is at least $3$. Moreover, we provide necessary and sufficient conditions for the oriented diameter of $2$-edge connected power graphs of finite non-cyclic nilpotent groups to be either $3$ or $4$. This, in turn, gives an algorithm for computing the oriented diameter of the power graph of a given nilpotent group that runs in time polynomial in the size of the group. △ Less

Submitted 14 October, 2024; v1 submitted 4 September, 2024; originally announced September 2024.

Comments: 25 pages, Corrected typos and references, and Revised some statements

MSC Class: 05C12; 05C20; 05C25; 20D15

The cohomology of the nilCoxeter algebra

Authors: David J. Benson

Abstract: The nilCoxeter algebra $\mathcal{N}S_n$ of the symmetric group $S_n$ is the algebra over $\mathbb{Z}$ with generators $Y_i$ ($1\leqslant i\leqslant n-1$), satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$, $Y_iY_j=Y_jY_i$ ($|j-i|\geqslant 2$), together with the relations $Y_i^2=0$. We describe an explicit presentation for the cohomology ring… ▽ More The nilCoxeter algebra $\mathcal{N}S_n$ of the symmetric group $S_n$ is the algebra over $\mathbb{Z}$ with generators $Y_i$ ($1\leqslant i\leqslant n-1$), satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$, $Y_iY_j=Y_jY_i$ ($|j-i|\geqslant 2$), together with the relations $Y_i^2=0$. We describe an explicit presentation for the cohomology ring $Z\cong\mathsf{Ext}^*_{\mathcal{N}S_n}(\mathbb{Z},\mathbb{Z})$, with $n-i$ new generators in degree $i$ for $0< i<n$, and all relations are quadratic. We show that this $\mathsf{Ext}$ ring is $\mathbb{Z}$-free, and that it is a semiprime Noetherian affine polynomial identity (PI) ring with Poincaré series $1/(1-t)^{n-1}$ and PI degree $2^{n-2}$. For any field of coefficients $\mathbf{k}$, we show that $\mathsf{Ext}^*_{\mathbf{k}\mathcal{N}S_n}(\mathbf{k},\mathbf{k})$ is $\mathbf{k}\otimes_{\mathbb{Z}} Z$. Similar results hold for other finite Coxeter types. In the final section we show that $Z$ is a Koszul algebra whose Koszul dual is a signed version of the nilcactus algebra, an algebra closely related to the cactus group. △ Less

Submitted 7 August, 2024; v1 submitted 30 July, 2024; originally announced July 2024.

Comments: 24 pages

MSC Class: 16E30; 16L60; 16R20; 20F55; 20J06

Projective Modules and Cohomology for Integral Basic Algebras

Authors: David J. Benson, Kay Jin Lim

Abstract: Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at "good enough" prime. In this paper, we initiate the study of this topic by imposing increasingly strong hypotheses on basic algebras. When the algebras satisfy t… ▽ More Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at "good enough" prime. In this paper, we initiate the study of this topic by imposing increasingly strong hypotheses on basic algebras. When the algebras satisfy the right hypotheses, we have equalities of the dimensions of their cohomology groups between simple modules and equalities of graded Cartan numbers. The examples include the Solomon descent algebras of finite Coxeter groups at large enough primes, nilCoxeter algebra, and certain finite semigroup algebras at an arbitrary prime. △ Less

Submitted 26 February, 2025; v1 submitted 7 July, 2024; originally announced July 2024.

Locally dualisable modular representations and local regularity

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of… ▽ More This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of interest is that they are exactly the modules whose restriction along a corresponding $π$-point are finite dimensional plus projective. A key insight is the identification of a special property of the stable module category that controls the cohomological behaviour of local dualisable objects. This property, introduced in this work for general triangulated categories and called local regularity, is related to strong generation. A major part of the paper is devoted to developing this notion and investigating its ramifications for various special classes of objects in tensor triangulated categories. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 34 pages

MSC Class: 20C20 (primary); 18G80; 20J06 (secondary)

Modules with finitely generated cohomology

Authors: David J. Benson, Jon F. Carlson

Abstract: Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of modules whose cohomology is finitely generated over $\mathsf{H}^*(G,\mathsf{k})$ is generated by finite dimensional modules and modules with no cohomology. If the cen… ▽ More Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of modules whose cohomology is finitely generated over $\mathsf{H}^*(G,\mathsf{k})$ is generated by finite dimensional modules and modules with no cohomology. If the centraliser of every element of order $p$ in $G$ is $p$-nilpotent, this statement follows from previous work. Our purpose here is to prove this conjecture in two cases with non $p$-nilpotent centralisers. The groups involved are ${\mathbb Z}/3^r\timesΣ_3$ ($r> 0$) in characteristic three and ${\mathbb Z}/2\times A_4$ in characteristic two. As a consequence, in these cases the bounded derived category of $C^*BG$ (cochains on $BG$ with coefficients in $\mathsf{k}$) is generated by $C^*BS$, where $S$ is a Sylow $p$-subgroup of $G$. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 11 pages

MSC Class: 20C20; 20J06

Lattices over finite group schemes and stratification

Authors: Tobias Barthel, Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triang… ▽ More This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of $G$. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices. △ Less

Submitted 14 October, 2023; v1 submitted 30 July, 2023; originally announced July 2023.

Comments: 35 pages. The Introductions, and sections 2 and 5 have been rewritten significantly

Report number: MPIM-Bonn-2023 MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

Matrices for finite group representations that respect Galois automorphisms

Authors: David J. Benson

Abstract: We are given a finite group $H$, an automorphism $τ$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langleσ\rangle$ of order $r$, and an absolutely irreducible representation $ρ\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $τ$ on the character of $ρ$ is the same as the action of $σ$. Then the following are equivalent.… ▽ More We are given a finite group $H$, an automorphism $τ$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langleσ\rangle$ of order $r$, and an absolutely irreducible representation $ρ\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $τ$ on the character of $ρ$ is the same as the action of $σ$. Then the following are equivalent. $\bullet$ $ρ$ is equivalent to a representation $ρ'\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $σ$ on the entries of the matrices corresponds to the action of $τ$ on $H$, and $\bullet$ the induced representation $\operatorname{\sf ind}_{H,H\rtimes\langleτ\rangle}(ρ)$ has Schur index one; that is, it is similar to a representation over $K$. As examples, we discuss a three dimensional irreducible representation of $A_5$ over $\mathbb{Q}[\sqrt5]$ and a four dimensional irreducible representation of the double cover of $A_7$ over $\mathbb{Q}[\sqrt{-7}]$. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 6 pages

MSC Class: 20C15

Modules with finitely generated cohomology, and singularities of $C^*BG$

Authors: David J. Benson, John Greenlees

Abstract: Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category $\mathsf{StMod}(kG)$, $M$ is contained in the thick subcategory generated by the finitely generated $kG$-modules and the modules $M'$ with $H^*(G,M')=0$. We show that this is equ… ▽ More Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category $\mathsf{StMod}(kG)$, $M$ is contained in the thick subcategory generated by the finitely generated $kG$-modules and the modules $M'$ with $H^*(G,M')=0$. We show that this is equivalent to a conjecture of the second author about generation of the bounded derived category of cochains $C^*(BG;k)$, and we prove the conjecture in the case where the centraliser of every element of $G$ of order $p$ is $p$-nilpotent. In this case some stronger statements are true, that probably fail for more general finite groups. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: HIM-Spectral-22, 15 pages

MSC Class: 20C20; 55R35

The socle of the group algebra of a finite $p$-group

Authors: David J. Benson

Abstract: Let $G$ be a finite $p$-group, and $α$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $α$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $α$ is a $k$-algebra automorphism of $kG$, then $α$ induces a linear action on the dimension subquotients of the group, and the action on the socle is scalar multiplication by the $(p-1)$st… ▽ More Let $G$ be a finite $p$-group, and $α$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $α$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $α$ is a $k$-algebra automorphism of $kG$, then $α$ induces a linear action on the dimension subquotients of the group, and the action on the socle is scalar multiplication by the $(p-1)$st power of the product of the determinants of this action. The scalar is thus an element of $(k^\times)^{p-1}$. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 3 pages

MSC Class: 20C20

Local dualisable objects in local algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: 15 pages

MSC Class: 13D09 (primary); 18G80; 14F08 (secondary)

Finite dimensional algebras not arising as blocks of group algebras

Authors: Dave Benson, Benjamin Sambale

Abstract: We develop new techniques to classify basic algebras of blocks of finite groups over algebraically closed fields of prime characteristic. We apply these techniques to simplify and extend previous classifications by Linckelmann, Murphy and Sambale. In particular, we fully classify blocks with 16-dimensional basic algebra. We develop new techniques to classify basic algebras of blocks of finite groups over algebraically closed fields of prime characteristic. We apply these techniques to simplify and extend previous classifications by Linckelmann, Murphy and Sambale. In particular, we fully classify blocks with 16-dimensional basic algebra. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Comments: 17 pages

Report number: HIM-Spectral-2022

Hochschild cohomology of symmetric groups and generating functions,II

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of de… ▽ More We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of degree one Hochschild cohomology as a sum of dimensions of centres of blocks of smaller symmetric groups. This in turn is a consequence of a general formula that makes more precise a theorem of our previous paper describing the generating functions for the dimensions of Hochschild cohomology of symmetric groups. △ Less

Submitted 9 January, 2023; originally announced January 2023.

MSC Class: 20C20

Classifying spaces of finite groups of tame representation type

Authors: David J. Benson

Abstract: Thanks to the work of Karin Erdmann, we know a great deal about the representation theory of blocks of finite groups with tame representation type. Our purpose here is to examine the $p$-completed classifying spaces of these blocks and their loop spaces. We pay special attention to the $A_\infty$ algebra structures, and singularity and cosingularity categories. Thanks to the work of Karin Erdmann, we know a great deal about the representation theory of blocks of finite groups with tame representation type. Our purpose here is to examine the $p$-completed classifying spaces of these blocks and their loop spaces. We pay special attention to the $A_\infty$ algebra structures, and singularity and cosingularity categories. △ Less

Submitted 16 August, 2022; originally announced August 2022.

Comments: 120 pages

MSC Class: Primary: 20J06; Secondary: 16E45; 55P35; 55P60; 55S30

Centralisers of finite groups in locally finite simple groups

Authors: David J. Benson

Abstract: We answer in the negative a question of Hartley about representations of finite groups, by constructing examples of finite simple groups with arbitrarily large representations whose endomorphism ring consists of just the scalars. We show as a consequence that there are finite simple groups of automorphisms of the locally finite simple group $SL(\infty,\mathbb{F}_q)$ with trivial centraliser. The s… ▽ More We answer in the negative a question of Hartley about representations of finite groups, by constructing examples of finite simple groups with arbitrarily large representations whose endomorphism ring consists of just the scalars. We show as a consequence that there are finite simple groups of automorphisms of the locally finite simple group $SL(\infty,\mathbb{F}_q)$ with trivial centraliser. The smallest of our examples is $A_6$ with $q=9$. △ Less

Submitted 7 August, 2022; originally announced August 2022.

Comments: 10 pages

MSC Class: 20F50; 20C20; 16G20

Formality of cochains on BG

Authors: David Benson, John Greenlees

Abstract: Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra. Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra. △ Less

Submitted 19 May, 2022; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: 8 pages

MSC Class: 57T10

Fibrewise stratification of group representations

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable catego… ▽ More Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable category. These results apply when $A$ is the group algebra over $R$ of a finite group, and also when $A$ is the exterior algebra on a finite free $R$-module. △ Less

Submitted 13 June, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 26 pages. Clarified connections to the work of Lau (arXiv:2101.01446). The introduction has been rewritten a little

MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

Hochschild cohomology of symmetric groups in low degrees

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups. We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 14 pages

MSC Class: 20C20

Structure of blocks with normal defect and abelian $p'$ inertial quotient

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated g… ▽ More Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated graded algebra, using a Jennings--Quillen style theorem. As an example, we calculate the associated graded of the basic algebra of the non-principal block in the case of a semidirect product of an extraspecial $p$-group $P$ of exponent $p$ and order $p^3$ with a quaternion group of order eight with the centre acting trivially. In the case $p=3$ we give explicit generators and relations for the basic algebra as a quantised version of $kP$. As a second example, we give explicit generators and relations in the case of a group of shape $2^{1+4}:3^{1+2}$ in characteristic two. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 21 pages

MSC Class: 20C20

The singularity and cosingularity categories of $C^*BG$ for groups with cyclic Sylow $p$-subgroups

Authors: Dave Benson, John Greenlees

Abstract: We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander-… ▽ More We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander--Reiten quiver. The theory applies to Brauer tree algebras in arbitrary characteristic, and we end with an example in characteristic zero coming from the Hecke algebras of symmetric groups. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Comments: 33 pages

MSC Class: 20J06; 16E45; 55P35; 55P60; 55S30

A Computational Information Criterion for Particle-Tracking with Sparse or Noisy Data

Authors: Nhat Thanh Tran, David A. Benson, Michael J. Schmidt, Stephen D. Pankavich

Abstract: Traditional probabilistic methods for the simulation of advection-diffusion equations (ADEs) often overlook the entropic contribution of the discretization, e.g., the number of particles, within associated numerical methods. Many times, the gain in accuracy of a highly discretized numerical model is outweighed by its associated computational costs or the noise within the data. We address the quest… ▽ More Traditional probabilistic methods for the simulation of advection-diffusion equations (ADEs) often overlook the entropic contribution of the discretization, e.g., the number of particles, within associated numerical methods. Many times, the gain in accuracy of a highly discretized numerical model is outweighed by its associated computational costs or the noise within the data. We address the question of how many particles are needed in a simulation to best approximate and estimate parameters in one-dimensional advective-diffusive transport. To do so, we use the well-known Akaike Information Criterion (AIC) and a recently-developed correction called the Computational Information Criterion (COMIC) to guide the model selection process. Random-walk and mass-transfer particle tracking methods are employed to solve the model equations at various levels of discretization. Numerical results demonstrate that the COMIC provides an optimal number of particles that can describe a more efficient model in terms of parameter estimation and model prediction compared to the model selected by the AIC even when the data is sparse or noisy, the sampling volume is not uniform throughout the physical domain, or the error distribution of the data is non-IID Gaussian. △ Less

Submitted 13 June, 2021; originally announced June 2021.

Comments: 24 pages

Journal ref: Advances in Water Resources (2021) 151: 103893

Improved Bounds for the Oriented Radius of Mixed Multigraphs

Authors: Jasine Babu, Deepu Benson, Deepak Rajendraprasad

Abstract: A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each… ▽ More A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current best upper bound of $4r^2+4r$ on $f(r)$ [Chung, Garey and Tarjan, Networks, 1985] to $1.5 r^2 + r + 1$. Our upper bound is tight upto a multiplicative factor of $1.5$ since, $\forall r \in \mathbb{N}$, there exists an undirected bridgeless graph of radius $r$ such that every orientation of it has radius at least $r^2 + r$ [Chvátal and Thomassen, J. Comb. Theory. Ser. B., 1978]. We prove a marginally better lower bound, $f(r) \geq r^2 + 3r + 1$, for mixed multigraphs. While this marginal improvement does not help with asymptotic estimates, it clears a natural suspicion that, like undirected graphs, $f(r)$ may be equal to $r^2 + r$ even for mixed multigraphs. En route, we show that if each edge of $G$ lies in a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5 r η$. All our proofs are constructive and lend themselves to polynomial time algorithms. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Comments: 13 Pages

MSC Class: 05C12; 05C20; 05C38; 05C69

Stratification and duality for unipotent finite supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. △ Less

Submitted 20 October, 2020; originally announced October 2020.

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30

Modular representation theory and commutative Banach algebras

Authors: David Benson

Abstract: In a recent paper of Benson and Symonds, a new invariant was introduced for modular representations of a finite group. An interpretation was given as a spectral radius with respect to a Banach algebra completion of the representation ring. Our purpose here is to take these notions further, and investigate the structure of the resulting Banach algebras. Some of the material in that paper is repeate… ▽ More In a recent paper of Benson and Symonds, a new invariant was introduced for modular representations of a finite group. An interpretation was given as a spectral radius with respect to a Banach algebra completion of the representation ring. Our purpose here is to take these notions further, and investigate the structure of the resulting Banach algebras. Some of the material in that paper is repeated here in greater generality, and for clarity of exposition. We give an axiomatic definition of an abstract representation ring, and representation ideal. The completion is then a commutative Banach algebra, and the techniques of Gelfand from the 1940s are applied in order to study the space of algebra homomorphisms to $\mathbb C$. One surprising consequence of this investigation is that the Jacobson radical and the nil radical of a (complexified) representation ring always coincide. These notes are intended for representation theorists. So background material on commutative Banach algebras is given in detail, whereas representation theoretic background is more condensed. △ Less

Submitted 30 April, 2022; v1 submitted 30 August, 2020; originally announced August 2020.

Comments: 120 pages; accepted for publication in Memoirs of the AMS

MSC Class: 20C20

On cohomology in symmetric tensor categories in prime characteristic

Authors: David Benson, Pavel Etingof

Abstract: We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of… ▽ More We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of these algebras, and the relationship with Minc's partition function, as well as possible actions of the Steenrod operations on them. Evidence for the conjecture includes a large number of computations for small values of $n$. We also provide some theoretical evidence. Namely, we use a Koszul construction to identify a homogeneous system of parameters in ${\mathcal E}_n(p)$ with a homogeneous system of parameters in $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$. These parameters have degrees $2^i-1$ if $p=2$ and $2(p^i-1)$ if $p$ is odd, for $1\le i \le n$. This at least shows that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$ is a finitely generated graded commutative algebra with the same Krull dimension as ${\mathcal E}_n(p)$. For $p=2$ we also show that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{2^{n+1}}}(1,1)$ has the expected rank $2^{n(n-1)/2}$ as a module over the subalgebra of parameters. △ Less

Submitted 19 August, 2021; v1 submitted 30 August, 2020; originally announced August 2020.

Comments: 30 pages

MSC Class: 18M20

Rank varieties and $π$-points for elementary supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: 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… ▽ More 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. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: 25 pages

MSC Class: 18G80; 13E10; 16W55; 16T05

Bounded complexes of permutation modules

Authors: David J. Benson, Jon F. Carlson

Abstract: Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the collection, then $C^*$ is contractible. A consequence is that if $G$ is any finite group whose Sylow $p$-subgroups are not cyclic or quaternion, and if $C^*$ is a bound… ▽ More Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the collection, then $C^*$ is contractible. A consequence is that if $G$ is any finite group whose Sylow $p$-subgroups are not cyclic or quaternion, and if $C^*$ is a bounded exact complex such that each $C^i$ is direct sum of one dimensional modules and projective modules, then $C^*$ is contractible. △ Less

Submitted 9 July, 2020; originally announced July 2020.

Comments: 7 pages

MSC Class: 20J06; 20C20

Massey products in the homology of the loopspace of a p-completed classifying space: finite groups with cyclic Sylow p-subgroups

Authors: John Greenlees, Dave Benson

Abstract: 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. 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. △ Less

Submitted 12 June, 2020; originally announced June 2020.

MSC Class: 20J06; 55P35; 55S30; 55P43

On the BV structure of the Hochschild cohomology of finite group algebras

Authors: Dave Benson, Radha Kessar, Markus Linckelmann

Abstract: We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups. We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups. △ Less

Submitted 19 April, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: Revised version; to appear in Pacific J. Math

MSC Class: 20C20; 16E40

Journal ref: Pacific J. Math. 313 (2021) 1-44

New incompressible symmetric tensor categories in positive characteristic

Authors: Dave Benson, Pavel Etingof, Victor Ostrik

Abstract: We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Math… ▽ More We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Mathieu for $n=1$. Namely, ${\rm Ver}_{p^n}$ is the abelian envelope of the quotient of the category of tilting modules for $SL_2(\bf k)$ by the $n$-th Steinberg module, and ${\rm Ver}_{p^n}^+$ is its subcategory generated by $PGL_2(\bf k)$-modules. We show that ${\rm Ver}_{p^n}$ are reductions to characteristic $p$ of Verlinde braided tensor categories in characteristic zero, which explains the notation. We study the structure of these categories in detail, and in particular show that they categorify the real cyclotomic rings $\mathbb{Z}[2\cos(2π/p^n)]$, and that ${\rm Ver}_{p^n}$ embeds into ${\rm Ver}_{p^{n+1}}$. We conjecture that every symmetric tensor category of moderate growth over $\bf k$ admits a fiber functor to the union ${\rm Ver}_{p^\infty}$ of the nested sequence ${\rm Ver}_{p}\subset {\rm Ver}_{p^2}\subset\cdots$. This would provide an analog of Deligne's theorem in characteristic zero and a generalization of the result of arXiv:1503.01492, which shows that this conjecture holds for fusion categories, and then moreover the fiber functor lands in ${\rm Ver}_p$. △ Less

Submitted 10 November, 2021; v1 submitted 23 March, 2020; originally announced March 2020.

Comments: 60 pages, latex; in v.2 new subsections 3.6, 3.7, 3.8, 4.14, 4.19, small error fixed in Corollary 4.7; in v.3 added Remark 5.3, Proposition 5.4; v.4: a gap in Cor. 2.60(iii) and 2.61 fixed by adding an extra assumption. New proof of Theorem 4.2(i) added

Resolutions by permutation modules

Authors: Paul Balmer, Dave Benson

Abstract: We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules. We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules. △ Less

Submitted 9 March, 2020; originally announced March 2020.

Journal ref: Arch. Math. 115, 495-498 (2020)

An Improvement to Chvátal and Thomassen's Upper Bound for Oriented Diameter

Authors: Jasine Babu, Deepu Benson, Deepak Rajendraprasad, Sai Nishant Vaka

Abstract: An orientation of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. The oriented diameter of a graph $G$ is the smallest diameter among all the orientations of $G$. The maximum oriented diameter of a family of graphs $\mathscr{F}$ is the maximum oriented diameter among all the graphs in $\mathscr{F}$. Chvátal and Thomassen [JCTB, 1978] gave a lower bound of… ▽ More An orientation of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. The oriented diameter of a graph $G$ is the smallest diameter among all the orientations of $G$. The maximum oriented diameter of a family of graphs $\mathscr{F}$ is the maximum oriented diameter among all the graphs in $\mathscr{F}$. Chvátal and Thomassen [JCTB, 1978] gave a lower bound of $\frac{1}{2}d^2+d$ and an upper bound of $2d^2+2d$ for the maximum oriented diameter of the family of $2$-edge connected graphs of diameter $d$. We improve this upper bound to $ 1.373 d^2 + 6.971d-1 $, which outperforms the former upper bound for all values of $d$ greater than or equal to $8$. For the family of $2$-edge connected graphs of diameter $3$, Kwok, Liu and West [JCTB, 2010] obtained improved lower and upper bounds of $9$ and $11$ respectively. For the family of $2$-edge connected graphs of diameter $4$, the bounds provided by Chvátal and Thomassen are $12$ and $40$ and no better bounds were known. By extending the method we used for diameter $d$ graphs, along with an asymmetric extension of a technique used by Chvátal and Thomassen, we have improved this upper bound to $21$. △ Less

Submitted 29 January, 2020; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: 10 pages, LaTeX; Corrected typos, Changed a reference, Revised arguments in sections 2.1 and 3.3, Results unchanged

MSC Class: 05C12; 05C20; 05C38; 05C69

Representations and cohomology of a family of finite supergroup schemes

Authors: Dave Benson, Julia Pevtsova

Abstract: We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules… ▽ More We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules is detected on proper sub-super\-group schemes. This special case feeds into the proof of a more general detection theorem for unipotent finite supergroup schemes, in a separate work of the authors joint with Iyengar and Krause. We also completely determine the cohomology ring in the smallest cases, namely $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb G_{a(1)}$ and $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb Z/p$. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes. △ Less

Submitted 8 May, 2019; originally announced May 2019.

Comments: 19 pages

Local duality for the singularity category of a finite dimensional Gorenstein algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homog… ▽ More A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 19 pages

MSC Class: 16G10 (primary); 16G50; 16E65; 16E35

The non-projective part of the tensor powers of a module

Authors: Dave Benson, Peter Symonds

Abstract: Let $M$ be a finite dimensional modular representation of a finite group $G$. We consider the generating function for the non-projective part of the tensor powers of $M$, and we write $γ_G(M)$ for the reciprocal of the radius of convergence of this power series. We investigate the properties of the invariant $γ_G(M)$, using tools from representation theory, and from the theory of commutative Banac… ▽ More Let $M$ be a finite dimensional modular representation of a finite group $G$. We consider the generating function for the non-projective part of the tensor powers of $M$, and we write $γ_G(M)$ for the reciprocal of the radius of convergence of this power series. We investigate the properties of the invariant $γ_G(M)$, using tools from representation theory, and from the theory of commutative Banach algebras. △ Less

Submitted 14 December, 2019; v1 submitted 7 February, 2019; originally announced February 2019.

Detecting nilpotence and projectivity over finite unipotent supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It i… ▽ More This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It is also shown that a $kG$-module $M$ is projective if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $M_K$ to $E$ is projective. The statements are motivated by, and are analogues of, similar results for finite groups and finite group schemes, but the structure of elementary supergroups schemes necessary for detection is more complicated than in either of these cases. One application is a detection theorem for the nilpotence of cohomology, and projectivity of modules, over finite dimensional Hopf subalgebras of the Steenrod algebra. △ Less

Submitted 6 July, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 46 pages; Sections 12 on Z-graded group schemes and the Steenrod algebra is revised compared to the previous version

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)

Signature Cocycles on the Mapping Class Group and Symplectic Groups

Authors: Dave Benson, Caterina Campagnolo, Andrew Ranicki, Carmen Rovi

Abstract: 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… ▽ More 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. △ Less

Submitted 13 April, 2020; v1 submitted 22 November, 2018; originally announced November 2018.

Comments: 55 pages, 8 figures. Improved exposition with respect to version 1. Andrew Ranicki participated in this collaboration paper for several months before he passed away in February 2018. We dedicate this work to his memory

MSC Class: 20J06; 55R10; 20C33

Blocks with normal abelian defect and abelian p' inertial quotient

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be an algebraically closed field of characteristic $p$, and let $\mathcal{O}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the… ▽ More Let $k$ be an algebraically closed field of characteristic $p$, and let $\mathcal{O}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the key steps towards Donovan's conjecture. For $\mathcal{O}=k$, we give an explicit description of the basic algebra of $B$ as a quiver with relations. It is a quantised version of the group algebra of the semidirect product $P\rtimes L$. △ Less

Submitted 22 August, 2018; originally announced August 2018.

MSC Class: 20C20; 20J06

Symmetric tensor categories in characteristic 2

Authors: Dave Benson, Pavel Etingof

Abstract: 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… ▽ More 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})]$. △ Less

Submitted 27 May, 2020; v1 submitted 15 July, 2018; originally announced July 2018.

Comments: 27 pages, latex; in v2 corrections made suggested by the referee and a number of results added, in particular Corollary 2.5 and Proposition 2.6; introduction expanded; in v.4 small errors in Propositions 3.3, 3.4, Corollary 3.5, and Propositions 3.9, 3.16 (proofs) fixed, and the reference to [CEH] added

Cohomology of symplectic groups and Meyer's signature theorem

Authors: Dave Benson, Caterina Campagnolo, Andrew Ranicki, Carmen Rovi

Abstract: Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of $4$, and can be computed using an element of $H^2(\mathsf{Sp}(2g, \mathbb{Z}),\mathbb{Z})$. Denoting by $1 \to \mathbb{Z} \to \widetilde{\mathsf{Sp}(2g,\mathbb{Z})} \to \mathsf{Sp}(2g,\mathbb{Z}) \to 1$ the pullback of the universal cover of $\mathsf{ Sp}(2g,\mathbb{R})$, Deligne proved that every f… ▽ More Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of $4$, and can be computed using an element of $H^2(\mathsf{Sp}(2g, \mathbb{Z}),\mathbb{Z})$. Denoting by $1 \to \mathbb{Z} \to \widetilde{\mathsf{Sp}(2g,\mathbb{Z})} \to \mathsf{Sp}(2g,\mathbb{Z}) \to 1$ the pullback of the universal cover of $\mathsf{ Sp}(2g,\mathbb{R})$, Deligne proved that every finite index subgroup of $\widetilde{\mathsf {Sp}(2g, \mathbb{Z})}$ contains $2\mathbb{Z}$. As a consequence, a class in the second cohomology of any finite quotient of $\mathsf{Sp}(2g, \mathbb{Z})$ can at most enable us to compute the signature of a surface bundle modulo $8$. We show that this is in fact possible and investigate the smallest quotient of $\mathsf{Sp}(2g, \mathbb{Z})$ that contains this information. This quotient $\mathfrak{H}$ is a non-split extension of $\mathsf {Sp}(2g,2)$ by an elementary abelian group of order $2^{2g+1}$. There is a central extension $1\to \mathbb{Z}/2\to\tilde{\mathfrak{H}}\to\mathfrak{H}\to 1$, and $\tilde{\mathfrak{H}}$ appears as a quotient of the metaplectic double cover $\mathsf{Mp}(2g,\mathbb{Z})=\widetilde{\mathsf{Sp}(2g,\mathbb{Z})}/2\mathbb{Z}$. It is an extension of $\mathsf{Sp}(2g,2)$ by an almost extraspecial group of order $2^{2g+2}$, and has a faithful irreducible complex representation of dimension $2^g$. Provided $g\ge 4$, $\widetilde{\mathfrak{H}}$ is the universal central extension of $\mathfrak{H}$. Putting all this together, we provide a recipe for computing the signature modulo $8$, and indicate some consequences. △ Less

Submitted 13 December, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 18 pages. Minor corrections. The most important one is in the table for $g=1$ on page 16: two columns had been swapped in the previous version. This is the version accepted for publication in Algebraic and Geometric Topology

MSC Class: 20J06; 55R10; 20C33

Journal ref: Algebr. Geom. Topol. 18 (2018) 4069-4091

Fields of definition for representations of associative algebras

Authors: Dave Benson, Zinovy Reichstein

Abstract: We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In particular, $F$ could be a finite field or $k(t)$ or $k((t))$,where $k$ is algebraically closed. We show that a unique minimal field of definition exists if (a)… ▽ More We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In particular, $F$ could be a finite field or $k(t)$ or $k((t))$,where $k$ is algebraically closed. We show that a unique minimal field of definition exists if (a) $K/F$ is an algebraic extension or (b) $A$ is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of $F$. This is not the case if $A$ is of infinite representation type or $F$ fails to be $C_1$. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of N. Karpenko, J. Pevtsova and the second author. △ Less

Submitted 21 February, 2017; originally announced February 2017.

Comments: 12 pages

MSC Class: 16G10; 16G60; 20C05

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 291-304

Local duality for representations of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. △ Less

Submitted 14 July, 2017; v1 submitted 13 November, 2016; originally announced November 2016.

Comments: 24 pages. This version corrects a mistake in the statement of Theorem 3.1; see also Theorem 1.4, and Examples 3.6 and 3.7. References have been updated

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30 (secondary)

Journal ref: Compositio Math. 155 (2019) 424-453

A Kernel-based Lagrangian Method for Imperfectly-mixed Chemical Reactions

Authors: Michael Schmidt, Stephen Pankavich, David Benson

Abstract: Current Lagrangian (particle-tracking) algorithms used to simulate diffusion-reaction equations must employ a certain number of particles to properly emulate the system dynamics---particularly for imperfectly-mixed systems. The number of particles is tied to the statistics of the initial concentration fields of the system at hand. Systems with shorter-range correlation and/or smaller concentration… ▽ More Current Lagrangian (particle-tracking) algorithms used to simulate diffusion-reaction equations must employ a certain number of particles to properly emulate the system dynamics---particularly for imperfectly-mixed systems. The number of particles is tied to the statistics of the initial concentration fields of the system at hand. Systems with shorter-range correlation and/or smaller concentration variance require more particles, potentially limiting the computational feasibility of the method. For the well-known problem of bimolecular reaction, we show that using kernel-based, rather than Dirac-delta, particles can significantly reduce the required number of particles. We derive the fixed width of a Gaussian kernel for a given reduced number of particles that analytically eliminates the error between kernel and Dirac solutions at any specified time. We also show how to solve for the fixed kernel size by minimizing the squared differences between solutions over any given time interval. Numerical results show that the width of the kernel should be kept below about 12% of the domain size, and that the analytic equations used to derive kernel width suffer significantly from the neglect of higher-order moments. The simulations with a kernel width given by least squares minimization perform better than those made to match at one specific time. A heuristic time-variable kernel size, based on the previous results, performs on a par with the least squares fixed kernel size. △ Less

Submitted 11 January, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 28 pages, 7 figures

On blocks of defect two and one simple module, and Lie algebra structure of $HH^1$

Authors: David John Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra… ▽ More Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra which can be generated by at most $2\sqrt I$ elements, where $I$ is the inertial index of $B$, and where we assume that $k$ is a splitting field for $B$ and $C$. △ Less

Submitted 15 April, 2016; originally announced April 2016.

MSC Class: 20C20

The variety of subadditive functions for finite group schemes

Authors: Dave Benson, Henning Krause

Abstract: 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 introdu… ▽ More 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. △ Less

Submitted 5 April, 2016; originally announced April 2016.

Comments: 6 pages

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)

Colocalising subcategories of modules over finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal loca… ▽ More The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal localising subcategory and cogenerates the corresponding minimal colocalising subcategory. △ Less

Submitted 1 November, 2016; v1 submitted 2 April, 2016; originally announced April 2016.

Comments: 17 pages, final version to appear in Annals of K-Theory. The duality statement in Theorem 3.1 of v1 has been removed since it is incorrect, and some subsequent arguments were modified

MSC Class: 16G10 (primary); 18E30; 20C20; 20G10 20J06 (secondary)

Journal ref: Ann. K-Th. 2 (2017) 387-408

Stratification for module categories of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. △ Less

Submitted 6 July, 2017; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: 38 pages. Minor changes from the previous version. This paper will appear in the Journal of the American Mathematical Society

MSC Class: 16G10 (primary); 20C20; 20G10 20J06 (secondary)

A Counterexample for Lightning Flash Modules over E(e1,e2)

Authors: David Benson, Robert R. Bruner

Abstract: We give a counterexample to Theorem 5 in Section 18.2 of Margolis' book, "Spectra and the Steenrod Algebra", and make remarks about the proofs of some later theorems in the book that depend on it. The counterexample is a module which does not split as a sum of lightning flash modules and free modules. We give a counterexample to Theorem 5 in Section 18.2 of Margolis' book, "Spectra and the Steenrod Algebra", and make remarks about the proofs of some later theorems in the book that depend on it. The counterexample is a module which does not split as a sum of lightning flash modules and free modules. △ Less

Submitted 7 July, 2015; v1 submitted 3 July, 2015; originally announced July 2015.

Comments: 2 pages. Revision corrects a typo in the definition of M(n)

Journal ref: Archiv der Math. (Basel) 106 (2016), no. 4, 323--325

Stratification and $π$-cosupport: Finite groups

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We introduce the notion of $π$-cosupport as a new tool for the stable module category of a finite group scheme. In the case of a finite group, we use this to give a new proof of the classification of tensor ideal localising subcategories. In a sequel to this paper, we carry out the corresponding classification for finite group schemes. We introduce the notion of $π$-cosupport as a new tool for the stable module category of a finite group scheme. In the case of a finite group, we use this to give a new proof of the classification of tensor ideal localising subcategories. In a sequel to this paper, we carry out the corresponding classification for finite group schemes. △ Less

Submitted 6 January, 2017; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: 17 pages; minor changes. This will appear in the Math. Zeitschrift

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)