BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
David J. Green contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Christensen and Wang give conjectural upper and lower bounds for the ghost number of the group algebra of a p-group. We apply results of Koshitani and Motose on the nilpotency index of the Jacobson radical to prove the upper bound and most cases of the lower bound.
The Sylow p-subgroups of the symmetric group S_p^n satisfy the appropriate generalization of Maschke's Theorem to the case of a p'-group acting on a (not necessarily abelian) p-group. Moreover, some known results about the Sylow p-subgroups of S_p^n are stated in a form that is true for all primes p.
Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all groups in one of these infinite families have equivalent Quillen categories. We also show how the Quillen categories of the groups in an infinite family are connected to the Quillen category of their associated infinite pro-p-group of finite coclass.
For certain subrings of the mod-p cohomology ring of a compact Lie group, we give a description of the prime ideal spectrum, analogous to Quillen's description of the spectrum of the whole ring. Examples of such subrings include the Chern subring (the subring generated by Chern classes of all unitary representations), and for finite groups the subring generated by Chern classes of representations realizable over any specified field. As a corollary, we deduce that the inclusion of the Chern subring in the cohomology ring is an F-isomorphism for a compact Lie group G if and only if the following condition holds: For any homomorphism f between elementary abelian p-subgroups of G such that f(v) is always conjugate to v, there is an element g of G such that f is equal to conjugation by g.
We introduce a strong form of Oliver's p-group conjecture and derive a reformulation in terms of the modular representation theory of a quotient group. The Sylow p-subgroups of the symmetric group S_n and of the general linear group GL_n(F_q) satisfy both the strong conjecture and its reformulation.
We describe the computation of the mod-2 cohomology rings of all 2328 groups of order 128. One consequence is that all groups of order less than 256 satisfy the strong form of Benson's Regularity Conjecture.
By explicit machine computation we obtain the mod-2 cohomology ring of the third Conway group Co_3. It is Cohen-Macaulay, has dimension 4, and is detected on the maximal elementary abelian 2-subgroups.
For an odd prime p the cohomology ring of an elementary abelian p-group is polynomial tensor exterior. We show that the ideal of essential classes is the Steenrod closure of the class generating the top exterior power. As a module over the polynomial algebra, the essential ideal is free on the set of Mui invariants.
Let S be a p-group for an odd prime p. Bob Oliver conjectures that a certain characteristic subgroup X(S) always contains the Thompson subgroup J(S). We obtain a reformulation of the conjecture as a statement about modular representations of p-groups. Using this we verify Oliver's conjecture for groups where S/X(S) has nilpotence class at most two.
In the cohomology ring of an extraspecial p-group, the subring generated by Chern classes and transfers is studied. This subring is strictly larger than the Chern subring, but still not the whole cohomology ring, even modulo nilradical. A formula is obtained relating Chern classes to transfers.
Let G be a finite p-group which does not contain a rank two elementary abelian p-group as a direct factor. Then the ideal of essential classes in the mod-p cohomology ring of G is a Cohen-Macaulay module whose Krull dimension is the p-rank of the centre of G. This basically answers in the affirmative a question posed by J. F. Carlson.
Let G be the Sylow 2-subgroup of the unitary group $SU_3(4)$. We find two essential classes in the mod-2 cohomology ring of G whose product is nonzero. In fact, the product is the ``last survivor'' of Benson-Carlson duality. Recent work of Pakianathan and Yalcin then implies a result about connected graphs with an action of G. Also, there exist essential classes which cannot be written as sums of transfers from proper subgroups. This phenomenon was first observed on the computer. The argument given here uses the elegant calculation by J. Clark, with minor corrections.
We establish a weak form of Carlson's conjecture on the depth of the mod-p cohomology ring of a p-group. In particular, Duflot's lower bound for the depth is tight if and only if the cohomology ring is not detected on a certain family of subgroups. The proofs use the structure of the cohomology ring as a comodule over the cohomology of the centre via the multiplication map. We demonstrate the existence of systems of parameters (so-called polarised systems) which are particularly well adapted to this comodule structure.
We study a family of subrings, indexed by the natural numbers, of the mod-p cohomology of a finite group G. These subrings are based on a family of v_n-periodic complex oriented cohomology theories and are constructed as rings of generalised characteristic classes. We identify the varieties associated to these subrings in terms of colimits over categories of elementary abelian subgroups of G, naturally interpolating between the work of Quillen on var(H^*(BG)), the variety of the whole cohomology ring, and that of Green and Leary on the variety of the Chern subring, var(Ch(G)). Our subrings give rise to a "chromatic" (co)filtration, which has both topological and algebraic definitions, of var(H^*(BG)) whose final quotient is the variety var(Ch(G)).
Let P be an extraspecial p-group which is neither dihedral of order 8, nor of odd order p^3 and exponent p. Let G be a finite group having P as a Sylow p-subgroup. Then the mod-p cohomology ring of G coincides with that of the normalizer N_G(P).