arXiv Science⌕ Search

arXiv subjects

Peter Symonds

Publications and source records attributed to Peter Symonds.

18 recordsLinked to original sources
arXiv2026

Transfer and Norm for Finite Group Schemes

We develop the theory of transfer and norm maps for finite group schemes, extending classical results from finite group theory to a context where induction and restriction are not necessarily bi-adjoint. In the additive setting, we construct a transfer map for both modules and $\rm Ext $ groups and prove that its surjectivity characterizes relative projectivity, establishing a generalization of Higman's criterion. In the multiplicative setting, we define a relative norm map for algebras with a group scheme action. We compare this norm with other versions in the literature, proving that it coincides with Mumford's norm for finite morphisms and on fields is a power of the classical field norm.

math.AG↗
arXiv2022

The Module Structure of a Group Action on a Ring

Consider a finite group $G$ acting on a graded Noetherian $k$-algebra $S$, for some field $k$ of characteristic $p$; for example $S$ might be a polynomial ring. Regard $S$ as a $kG$-module and consider the multiplicity of a particular indecomposable module as a summand in each degree. We show how this can be described in terms of homological algebra and how it is linked to the geometry of the group action on the spectrum of $S$.

math.AC↗
arXiv2020

Infinitely generated pseudocompact modules for finite groups and Weiss' Theorem

One of the most beautiful results in the integral representation theory of finite groups is a theorem of A. Weiss that detects a permutation $R$-lattice for the finite $p$-group $G$ in terms of the restriction to a normal subgroup $N$ and the $N$-fixed points of the lattice, where $R$ is a finite extension of the $p$-adic integers. Using techniques from relative homological algebra, we generalize Weiss' Theorem to the class of infinitely generated pseudocompact lattices for a finite $p$-group, allowing $R$ to be any complete discrete valuation ring in mixed characteristic. A related theorem of Cliff and Weiss is also generalized to this class of modules. The existence of the permutation cover of a pseudocompact module is proved as a special case of a more general result. The permutation cover is explicitly described.

math.RT↗
arXiv2019

Rank, coclass and cohomology

We prove that for any prime $p$ the finite $p$-groups of fixed coclass have only finitely many different mod-$p$ cohomology rings between them. This was conjectured by Carlson; we prove it by first proving a stronger version for groups of bounded rank.

math.GR↗
arXiv2019

The stable category and invertible modules for infinite groups

We construct a well-behaved stable category of modules for a large class of infinite groups. We then consider its Picard group, which is the group of invertible (or endotrivial) modules. We show how this group can be calculated when the group acts on a tree with finite stabilisers.

math.GR↗
arXiv2019

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

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.

math.GR↗
arXiv2019

Endotrivial modules for infinite groups

These are notes for a summer course given at the PIMS Summer School on Geometric and Topological Aspects of the Representation Theory of Finite Groups in Vancouver, July 27-30 2016.

math.RT↗
arXiv2016

Automorphisms of Harbater-Katz-Gabber curves

Let k be a perfect field of characteristic p > 0, and let G be a finite group. We consider the pointed G-curves over k associated by Harbater, Katz, and Gabber to faithful actions of G on k[[t]] over k. We use such "HKG G-curves" to classify the automorphisms of k[[t]] of p-power order that can be expressed by particularly explicit formulas, namely those mapping t to a power series lying in a Z/pZ Artin-Schreier extension of k(t). In addition, we give necessary and sufficient criteria to decide when an HKG G-curve with an action of a larger finite group J is also an HKG J-curve.

math.AG↗
arXiv2015

The asymptotic behavior of Frobenius direct images of rings of invariants

We define the Frobenius limit of a module over a ring of prime characteristic to be the limit of the normalized Frobenius direct images in a certain Grothendieck group. When a finite group acts on a polynomial ring, we calculate this limit for all the modules over the twisted group algebra that are free over the polynomial ring; we also calculate the Frobenius limit for the restriction of these to the ring of invariants. As an application, we generalize the description of the generalized $F$-signature of a ring of invariants by the second author and Nakajima to the modular case.

math.AC↗
arXiv2014

Degree Bounds on Homology and a Conjecture of Derksen

Harm Derksen made a conjecture concerning degree bounds for the syzygies of rings of polynomial invariants in the non-modular case. We provide counterexamples to this conjecture, but also prove a slightly weakened version. We also prove some general results that give degree bounds on the homology of complexes and of Tor groups.

math.AC↗
arXiv2013

Brauer Theory for Profinite Groups

Brauer Theory for a finite group can be viewed as a method for comparing the representations of the group in characteristic 0 with those in prime characteristic. Here we generalize much of the machinery of Brauer theory to the setting of profinite groups. By regarding Grothendieck groups as functors we describe corresponding Grothendieck groups for profinite groups, and generalize the decomposition map, regarded as a natural transformation. We discuss characters and Brauer characters for profinite groups. We give a functorial description of the block theory of a profinite group. We finish with a method for computing the Cartan matrix of a finite group $G$ given the Cartan matrix for a quotient of $G$ by a normal $p$-subgroup.

math.RT↗
arXiv2012

Fusion Systems for Profinite Groups

We introduce the notion of a pro-fusion system on a pro-p group, which generalizes the notion of a fusion system on a finite p-group. We also prove a version of Alperin's Fusion Theorem for pro-fusion systems.

math.RT↗
arXiv2010

An element of order 4 in the Nottingham group at the prime 2

For k a field of characteristic 2, we show that there is a unique continuous automorphism of order 4 of the power series ring k[[t]] which sends t to t + t^2 + (t^6) + (t^{12} + t^{14}) + (t^{24} + t^{26} + t^{28} + t^{30}) + ... . For j >= 0, the j-th sum in parentheses has 2^j terms beginning at t^{6*2^j}, with successive terms in the j-th sum raising the exponent of t by 2.

math.GR↗
arXiv2007

Comparison of the Discrete and Continuous Cohomology Groups of a Pro-$p$ Group

We address the following question. For which finitely generated pro-$p$ groups the comparison map $ϕ^2:H_{cont}^{2}(P,\F_p) \to H_{disc}{2}(P,\F_p)$ is an isomorphism? We prove that if $P$ is not finitely presented then $ϕ^2$ is not surjective. Furthermore, if $P$ is finitely presented $ϕ^2$ is an isomorphism if and only if the comparison map $ϕ_2:H^{disc}_{2}(P, \F_p) \to H^{cont}_{2}(P, \F_p)$ of second homology groups is an isomorphism. This is the content of Theorem A. The second main result of the paper is Theorem B, which gives an explicit construction of a cochain from the kernel of $ϕ^2$.

math.GR↗
arXiv2004

Smith Theory for algebraic varieties

We show how an approach to Smith Theory about group actions on CW-complexes using Bredon cohomology can be adapted to work for algebraic varieties.

math.AT↗