Related papers: Serre's "formule de masse" in prime degree
A Hopf Galois structure on a finite field extension L/K is given by a finite cocommutative K-Hopf algebra and a Hopf action. In this paper we present an algorithm written in the computational algebra system Magma which gives all Hopf Galois…
Let $K$ be a number field, and let $G\subset K^\times$ be a finitely generated subgroup. Fix some prime number $\ell$, and consider the set of primes $\mathfrak{p}$ of $K$ satisfying the following property: the reduction of $G$ modulo…
We describe the exact G-module F* for any cyclic extension F/K of locals fields of characteristic zero, where G is the Galois group of F/K. We also describe a parametrized space Wa,b,m,n which is most often a direct factor in F*.
Let r : G_Q -> GL_n Q_l be a motivic l-adic Galois representation. For fixed m > 1 we initiate an investigation of the density of the set of primes p such that the trace of the image of an arithmetic Frobenius at p under r is an m^th power…
Let $L$ be a complete discrete valuation field of prime characteristic $p$ with finite residue field. Denote by $\Gamma _{L}^{(v)}$ the ramification subgroups of $\Gamma _{L}=\operatorname{Gal}(L^{sep}/L)$. We consider the category…
Let $p$ be a prime, $k$ a finite extension of $\mathbf{F}_p$ of cardinal $q$, $l$ a finite extension of $k$ of group $\Sigma=\mathrm{Gal}(l|k)$, and $T$ a subgroup of $l^\times$. Using the method of "little groups", we classify irreducible…
We construct infinite families of irreducible supersingular mod $p$ representations of $\mathrm{GL}_2(F)$ with $\mathrm{GL}_2(\mathcal{O}_F)$-socle compatible with Serre's modularity conjecture, where $F / \mathbb{Q}_p$ is any finite…
Suppose that F/F+ is a CM extension of number fields in which the prime p splits completely and every other prime is unramified. Fix a place w|p of F. Suppose that rbar : Gal(F-bar/F) -> GL_3(Fp-bar) is a continuous irreducible Galois…
Let $G$ be a finite group and $Irr(G)$ the set of irreducible complex characters of $G$. Let $e_p(G)$ be the largest integer such that $p^{e_p(G)}$ divides $\chi(1)$ for some $\chi \in Irr(G)$. We show that $|G:\mathbf{F}(G)|_p \leq p^{k…
Let p be a prime and F a totally real field in which p is unramified. We consider mod p Hilbert modular forms for F, defined as sections of automorphic line bundles on Hilbert modular varieties of level prime to p in characteristic p. For a…
In this note we determine all power series $F(X)\in 1+X\F_p[[X]]$ such that $(F(X+Y))^{-1} F(X)F(Y)$ has only terms of total degree a multiple of $p$. Up to a scalar factor, they are all the series of the form $F(X)=E_p(cX)\cdot G(X^p)$ for…
In this paper, we introduce a condition $\mathrm{(F}_m'\mathrm{)}$ on a field $K$, for a positive integer $m$, that generalizes Serre's condition (F) and which still implies the finiteness of the Galois cohomology of finite Galois modules…
We consider the generalized character $\Psi_{1,p,G}$ of a finite group $G$ which vanishes on all $p$-singular elements of $G$ and whose value at each $p$-regular $y \in G$ is the number of $p$-elements of $C_{G}(y)$. We conjecture that this…
We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class…
We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is…
Let G be a semisimple affine algebraic group of inner type over a field F. We write C for the class of all finite direct products of projective G-homogeneous F-varieties. We determine the structure of the Chow motives with coefficients in a…
Let G be a semisimple group over an algebraically closed field of characteristic p>0. We give a (partly conjectural) simple, closed formula for the character of many indecomposable tilting rational G-modules, assuming that p is large.
A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…
A Galois scaffold, in a Galois extension of local fields with perfect residue fields, is an adaptation of the normal basis to the valuation of the extension field, and thus can be applied to answer questions of Galois module structure. Here…
Let $F/F^+$ be a CM extension and $H_{/F^+}$ a definite unitary group in three variables that splits over $F$. We describe Hecke isotypic components of mod $p$ algebraic modular forms on $H$ at first principal congruence level at $p$ and…