Searcharxiv⌕ Search

arXiv subjects

Fred Diamond

Publications and source records attributed to Fred Diamond.

16 recordsLinked to original sources
arXiv2025

Adjoint motives of modular forms and the Tamagawa number conjecture

Let $f$ be a newform of weight $k\geq 2$, level $N$ with coefficients in a number field $K$, and $A$ the adjoint motive of the motive $M$ associated to $f$. We carefully discuss the construction of the realisations of $M$ and $A$, as well as natural integral structures in these realisations. We then use the method of Taylor and Wiles to verify the $\lambda$-part of the Tamagawa number conjecture of Bloch and Kato for $L(A,0)$ and $L(A,1)$. Here $\lambda$ is any prime of $K$ not dividing $Nk!$, and so that the mod $\lambda$ representation associated to $f$ is absolutely irreducible when restricted to the Galois group over $\mathbb{Q}(\sqrt{(-1)^{(\ell-1)/2}\ell})$ where $\lambda\mid \ell$. The method also establishes modularity of all lifts of the mod $\lambda$ representation which are crystalline of Hodge-Tate type $(0,k-1)$.

math.NT↗
arXiv2025

On Galois representations associated to mod $p$ Hilbert modular forms

We consider mod $p$ Hilbert modular forms for a totally real field $F$, viewed as sections of automorphic line bundles on Hilbert modular varieties in prime characteristic $p$. For a Hecke eigenform of arbitrary weight, we prove the existence of an associated two-dimensional representation of the absolute Galois group of $F$. Furthermore, for any such irreducible Galois representation, we formulate a conjecture predicting the set of weights of eigenforms from which it arises. This generalizes Edixhoven's variant of the weight part of Serre's Conjecture (in the case $F = \mathbb{Q}$), and removes the restriction that $p$ be unramified in $F$ from prior work in this direction. We also establish one direction of a conjectural relation with the algebraic analogue of the weight part of Serre's Conjecture in this context. Finally, we prove results towards our conjecture in the case of partial weight one for real quadratic fields $F$ in which $p$ is ramified.

math.NT↗
arXiv2025

Cones of Weights and Minimal Cones of the Goren-Oort Strata in Hilbert modular varieties

Let $p$ be a prime, $F$ a totally real field in which $p$ is unramified, and $X/\overline{\mathbb{F}}_p$ a Shimura variety associated to ${\rm Res}_{F/\mathbb{Q}} {\rm GL}_2$ (or a PEL Hilbert modular variety). A mod $p$ Hilbert modular form of weight $\kappa$ can be defined as a section of an automorphic line bundle $\mathcal{L}_\kappa$ on $X$. We consider sections of $\mathcal{L}_\kappa$ (forms) over a Goren-Oort stratum $X_T$ inside $X$, and define the cone of weights of $X_T$ to be the $\mathbb{Q}^{\geq 0}$-cone generated by the weights of all nonzero forms on $X_T$. We explicitly determine the cone of weights of all strata, showing in particular that they are not in general generated by the weights of the associated Hasse invariants. Using this, we define a notion of minimal cone for each stratum, and explicitly determine the minimal cones of all strata. When $X$ is a Shimura variety associated to ${\rm Res}_{F/\mathbb{Q}} {\rm GL}_2$, we prove that for every nonzero eigenform $f$ for the prime-to-$p$ Hecke algebra on a stratum $X_T$, there is another eigenform with the same Hecke eigenvalues which has weight in the minimal cone of $X_T$.

math.NT↗
arXiv2022

Compactifications of Iwahori-level Hilbert modular varieties

We study minimal and toroidal compactifications of $p$-integral models of Hilbert modular varieties. We review the theory in the setting of Iwahori level at primes over $p$, and extend it to certain finer level structures. We also prove extensions to compactifications of recent results on Iwahori-level Kodaira--Spencer isomorphisms and cohomological vanishing for degeneracy maps. Finally we apply the theory to study $q$-expansions of Hilbert modular forms, especially the effect of Hecke operators at primes over $p$ over general base rings.

math.NT↗
arXiv2021

Kodaira-Spencer isomorphisms and degeneracy maps on Iwahori-level Hilbert modular varieties: the saving trace

We consider integral models of Hilbert modular varieties with Iwahori level structure at primes over p, first proving a Kodaira-Spencer isomorphism that gives a concise description of their dualizing sheaves. We then analyze fibres of the degeneracy maps to Hilbert modular varieties of level prime to p and deduce the vanishing of higher direct images of structure and dualizing sheaves, generalizing prior work with Kassaei and Sasaki (for p unramified in the totally real field F). We apply the vanishing results to prove flatness of the finite morphisms in the resulting Stein factorizations, and combine them with the Kodaira-Spencer isomorphism to simplify and generalize the construction of Hecke operators at primes over p on Hilbert modular forms (integrally and mod p).

math.NT↗
arXiv2020

Geometric weight-shifting operators on Hilbert modular forms in characteristic p

We carry out a thorough study of weight-shifting operators on Hilbert modular forms in characteristic $p$, generalizing the author's prior work with Sasaki to the case where $p$ is ramified in the totally real field $F$. In particular we use the partial Hasse invariants and Kodaira-Spencer filtrations defined by Reduzzi and Xiao to improve on Andreatta and Goren's construction of partial $\Theta$-operators, obtaining ones whose effect on weights is optimal from the point of view of geometric Serre weight conjectures. Furthermore we describe the kernels of partial $\Theta$-operators in terms of images of geometrically constructed partial Frobenius operators. Finally we apply our results to prove a partial positivity result for minimal weights of mod $p$ Hilbert modular forms.

math.NT↗
arXiv2020

The cone of minimal weights for mod $p$ Hilbert modular forms

We prove that all mod $p$ Hilbert modular forms arise via multiplication by generalized partial Hasse invariants from forms whose weight falls within a certain minimal cone. This answers a question posed by Andreatta and Goren, and generalizes our previous results which treated the case where $p$ is unramified in the totally real field. Whereas our previous work made use of deep Jacquet-Langlands type results on the Goren-Oort stratification (not yet available when $p$ is ramified), here we instead use properties of the stratification at Iwahori level which are more readily generalizable to other Shimura varieties.

math.NT↗
arXiv2020

A mod p Jacquet-Langlands relation and Serre filtration via the geometry of Hilbert modular varieties: Splicing and dicing

We consider Hilbert modular varieties in characteristic p with Iwahori level at p and construct a geometric Jacquet-Langlands relation showing that the irreducible components are isomorphic to products of projective bundles over quaternionic Shimura varieties of level prime to p. We use this to establish a relation between mod p Hilbert and quaternionic modular forms that reflects the representation theory of GL_2 in characteristic p and generalizes a result of Serre for classical modular forms. Finally we study the fibres of the degeneracy map to level prime to p and prove a cohomological vanishing result that is used to associate Galois representations to mod p Hilbert modular forms.

math.NT↗
arXiv2017

A Serre weight conjecture for geometric Hilbert modular forms in characteristic p

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 mod p Hilbert modular Hecke eigenform of arbitrary weight (without parity hypotheses), we associate a two-dimensional representation of the absolute Galois group of F, and we give a conjectural description of the set of weights of all eigenforms from which it arises. This conjecture can be viewed as a "geometric" variant of the "algebraic" Serre weight conjecture of Buzzard-Diamond-Jarvis, in the spirit of Edixhoven's variant of Serre's original conjecture in the case F = Q. We develop techniques for studying the set of weights giving rise to a fixed Galois representation, and prove results in support of the conjecture, including cases of partial weight one.

math.NT↗
arXiv2017

Minimal weights of Hilbert modular forms in characteristic p

We consider mod p Hilbert modular forms associated to a totally real field of degree d in which p is unramified. We prove that every such form arises by multiplication by partial Hasse invariants from one whose weight (a d-tuple of integers) lies in a certain cone contained in the set of non-negative weights, answering a question of Andreatta and Goren. The proof is based on properties of the Goren-Oort stratification on mod p Hilbert modular varieties established by Goren and Oort, and Tian and Xiao.

math.NT↗
arXiv2016

Serre weights and wild ramification in two-dimensional Galois representations

A generalization of Serre's Conjecture asserts that if $F$ is a totally real field, then certain characteristic $p$ representations of Galois groups over $F$ arise from Hilbert modular forms. Moreover it predicts the set of weights of such forms in terms of the local behavior of the Galois representation at primes over $p$. This characterization of the weights, which is formulated using $p$-adic Hodge theory, is known under mild technical hypotheses if $p > 2$. In this paper we give, under the assumption that $p$ is unramified in $F$, a conjectural alternative description for the set of weights. Our approach is to use the Artin-Hasse exponential and local class field theory to construct bases for local Galois cohomology spaces in terms of which we identify subspaces that should correspond to ones defined using $p$-adic Hodge theory. The resulting conjecture amounts to an explicit description of wild ramification in reductions of certain crystalline Galois representations. It enables the direct computation of the set of Serre weights of a Galois representation, which we illustrate with numerical examples. A proof of this conjecture has been announced by Calegari, Emerton, Gee and Mavrides.

math.NT↗
arXiv2015

Crystalline lifts of two-dimensional mod $p$ automorphic Galois representations

We show that a sufficient condition for an irreducible automorphic Galois representation $\rho: G_F\to\mathrm{GL}_2({\overline{{\bf F}}_p})$ of a totally real field $F$ to have an automorphic crystalline lift is that for each place $v$ of $F$ above $p$ the restriction $\mathrm{det}\rho|_{I_v}$ is a fixed power of the mod $p$ cyclotomic character. Moreover, we show that the only obstruction to controlling the level and character of such automorphic lifts arises for badly dihedral representations.

math.NT↗
arXiv2014

Serre weights for locally reducible two-dimensional Galois representations

Let F be a totally real field, and v a place of F dividing an odd prime p. We study the weight part of Serre's conjecture for continuous, totally odd, two-dimensional mod p representations rhobar of the absolute Galois group of F that are reducible locally at v. Let W be the set of predicted Serre weights for the semisimplification of rhobar restricted to the decomposition group at v. We prove that when the local representation is generic, the Serre weights in W for which rhobar is modular are exactly the ones that are predicted (assuming that rhobar is modular). We also determine precisely which subsets of W arise as predicted weights when the local representation varies with fixed generic semisimplification.

math.NT↗
arXiv2013

Formes modulaires de Hilbert modulo p et valeurs d'extensions galoisiennes

Let F be a totally real field, v an unramified place of F dividing p and rho a continuous irreducible two-dimensional mod p representation of G_F such that the restriction of rho to G_{F_v} is reducible and sufficiently generic. If rho is modular (and satisfies some weak technical assumptions), we show how to recover the corresponding extension between the two characters of G_{F_v} in terms of the action of GL_2(F_v) on the cohomology mod p.

math.NT↗
arXiv2010

On Serre's conjecture for mod l Galois representations over totally real fields

In 1987 Serre conjectured that any mod l ("ell", not "1") two-dimensional irreducible odd representation of the absolute Galois group of the rationals came from a modular form in a precise way. We present a generalisation of this conjecture to 2-dimensional representations of the absolute Galois group of a totally real field where l is unramified. The hard work is in formulating an analogue of the "weight" part of Serre's conjecture. Serre furthermore asked whether his conjecture could be rephrased in terms of a "mod l Langlands philosophy". Using ideas of Emerton and Vigneras, we formulate a mod l local-global principle for the group D^*, where D is a quaternion algebra over a totally real field, split above l and at 0 or 1 infinite places, and show how it implies the conjecture.

math.NT↗