Showing 1–17 of 17 results for author: Benson, J

The $\mathbb{C}$-motivic Adams Spectral Sequence for $s\leq5$

Authors: Jordan Benson

Abstract: We determine the $τ^n$-torsion in the first 5-lines of the $E_2$ page of the $\mathbb{C}$-motivic Adams spectral sequence using the techniques of Burklund-Xu. In particular, every element in this range is either $τ^1$-torsion or $τ$-free. We also show that $τ^n$-torsion elements can appear only in Adams filtration at least $2n+2$ and give further evidence of a possible $3n$ bound. We determine the $τ^n$-torsion in the first 5-lines of the $E_2$ page of the $\mathbb{C}$-motivic Adams spectral sequence using the techniques of Burklund-Xu. In particular, every element in this range is either $τ^1$-torsion or $τ$-free. We also show that $τ^n$-torsion elements can appear only in Adams filtration at least $2n+2$ and give further evidence of a possible $3n$ bound. △ Less

Submitted 21 October, 2024; originally announced October 2024.

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.

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

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

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

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

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

Complete intersections and mod p cochains

Authors: D. J. Benson, J. P. C. Greenlees, S. Shamir

Abstract: We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a space, showing that suitable versions of the second and third are equivalent and that the first is stronger. We are particularly interested in classifying spaces… ▽ More We give homotopy invariant definitions corresponding to three well known properties of complete intersections, for the ring, the module theory and the endomorphisms of the residue field, and we investigate them for the mod p cochains on a space, showing that suitable versions of the second and third are equivalent and that the first is stronger. We are particularly interested in classifying spaces of groups, and we give a number of examples. This paper follows on from arXiv:0906.4025 which considered the classical case of a commutative ring and arXiv:0906.3247 which considered the case of rational homotopy theory. △ Less

Submitted 15 August, 2012; v1 submitted 21 April, 2011; originally announced April 2011.

Comments: To appear in AGT

MSC Class: 55P62; 13C40

Journal ref: Algebr. Geom. Topol. 13 (2013) 61-114

A realization theorem for modules of constant Jordan type and vector bundles

Authors: David J. Benson, Julia Pevtsova

Abstract: Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a k… ▽ More Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also prove that the theorem cannot be improved if p is odd, because if M is any module of stable constant Jordan type [1]^s then the Chern numbers c_1, ... ,c_{p-2} of F_1(M) are divisible by p. △ Less

Submitted 22 July, 2010; originally announced July 2010.

Comments: 14 pages

Complete intersections and derived categories

Authors: D. J. Benson, J. P. C. Greenlees

Abstract: We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the condition on the derived category D(R) holds precisely when R is a complete intersection in the classical sense. We propose a definition of when a triangulated category should be considered a complete intersection. We show (using work of Avramov and Gulliksen) that for the derived category of a complete local Noetherian commutative ring R, the condition on the derived category D(R) holds precisely when R is a complete intersection in the classical sense. △ Less

Submitted 22 June, 2009; originally announced June 2009.

MSC Class: 18E30; 13C40

The generating hypothesis for the stable module category of a $p$-group

Authors: David J. Benson, Sunil K. Chebolu, J. Daniel Christensen, Jan Minac

Abstract: Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial. We show that Freyd's generating hypothesis holds for a non-trivial finite p-group G if and only if G is either C_2 or C_3. We also give various conditions wh… ▽ More Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial. We show that Freyd's generating hypothesis holds for a non-trivial finite p-group G if and only if G is either C_2 or C_3. We also give various conditions which are equivalent to the generating hypothesis. △ Less

Submitted 19 January, 2007; v1 submitted 13 November, 2006; originally announced November 2006.

Comments: 6 pages, fixed minor typos, to appear in J. Algebra

MSC Class: 20C20; 20J06; 55P42

Journal ref: Journal of Algebra 310 (2007) 428-433

Flexible Complementarity Solvers for Large-Scale Applications

Authors: Steven J. Benson, Todd S. Munson

Abstract: Discretizations of infinite-dimensional variational inequalities lead to linear and nonlinear complementarity problems with many degrees of freedom. To solve these problems in a parallel computing environment, we propose two active-set methods that solve only one linear system of equations per iteration. The linear solver, preconditioner, and matrix structures can be chosen by the user for a par… ▽ More Discretizations of infinite-dimensional variational inequalities lead to linear and nonlinear complementarity problems with many degrees of freedom. To solve these problems in a parallel computing environment, we propose two active-set methods that solve only one linear system of equations per iteration. The linear solver, preconditioner, and matrix structures can be chosen by the user for a particular application to achieve high parallel performance. The parallel scalability of these methods is demonstrated for some discretizations of infinite-dimensional variational inequalities. △ Less

Submitted 22 July, 2003; originally announced July 2003.

Comments: 17 pages; 2 figures

Report number: Preprint ANL/MCS-P1055-0603 MSC Class: 65K01; 90C08

Symmetries of Kirchberg algebras

Authors: David J. Benson, Alex Kumjian, N. Christopher Phillips

Abstract: Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is implemented by an automorphism of A of order two. As a consequence, we prove that every countable Z/2Z-graded module over the representation ring of Z/2Z is is… ▽ More Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is implemented by an automorphism of A of order two. As a consequence, we prove that every countable Z/2Z-graded module over the representation ring of Z/2Z is isomorphic to the equivariant K-theory for some action of Z/2Z on a separable unital nuclear purely infinite simple C*-algebra. Along the way, we prove that every not necessarily finitely generated module over the group ring of Z/2Z which is free as an abelian group has a direct sum decomposition with only three kinds of summands, namely the group ring itself and Z on which the nontrivial element of Z/2Z acts either trivially or by multiplication by -1. △ Less

Submitted 22 February, 2003; originally announced February 2003.

Comments: 18 pages, AMSLaTeX

MSC Class: 20C10; 46L55 (Primary) 19K99; 19L47; 46L40; 46L80 (Secondary)