On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p

On Serre's modularity conjecture and Fermat's equation over quadratic imaginary fields of class number one

In the present article, we extend previous results of the author and we show that when $K$ is any quadratic imaginary field of class number one, Fermat's equation $a^p+b^p+c^p=0$ does not have integral coprime solutions $a,b,c \in K \setminus \{ 0 \}$ such that $2 \mid abc$ and $p \geq 19$ is prime. The results are conjectural upon the veracity of a natural generalisation of Serre's modularity conjecture.

A simplified proof of Serre's Conjectures

The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the previous one.

Grothendieck-Serre in the quasi-split unramified case

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. We settle it in the case when $G$ is quasi-split and $R$ is unramified. Some of the techniques that allow us to overcome obstacles that have so far kept the mixed characteristic case out of reach include a version of Noether normalization over discrete valuation rings, as well as a suitable presentation lemma for smooth relative curves in mixed characteristic that facilitates passage to the relative affine line via excision and patching.

On the modularity of rigid Calabi-Yau threefolds: Epilogue

In a recent preprint of F. Gouvea and N. Yui (see arXiv:0902.1466) a detailed account is given of a patching argument due to Serre that proves that the modularity of all rigid Calabi-Yau threefolds defined over the rationals follows from Serre's modularity conjecture. In this note (a letter to N. Yui) we give an alternative proof of this implication. The main difference with Serre's argument is that instead of using as main input residual modularity in infinitely many characteristics we just require residual modularity in a suitable characteristic. This is combined with effective Cebotarev.

On the level p weight 2 case of Serre's conjecture

This brief note only contains a modest contribution: we just fix some inaccuracies in the proof of the prime level weight 2 case of Serre's conjecture given in Khare's preprint "On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p", for the case of trivial character. More precisely, the modularity lifting result needed at a crucial step is the one for the case of a deformation corresponding to a $p$-adic semistable (in the sense of Fontaine) Galois representation attached to a semistable abelian variety, but in Khare's preprint it is applied a le…

关于四元数Serre权

On the quaternionic Serre weights

本文确定了有限非分歧扩张上通用二维模p表示的四元数Serre权集合。

On Serre's reciprocity conjecture for 2-dimensional mod p representations of the Galois group of Q

We first prove the existence of minimally ramified p-adic lifts of 2-dimensional mod p representations, that are odd and irreducible, of the absolute Galois group of Q,in many cases. This is predicted by Serre's conjecture that such representations arise from newforms of optimal level and weight. Using these minimal lifts, and arguments using compatible systems, we prove some cases of Serre's conjectures in low levels and weights. For instance we prove that there are no irreducible (p,p) type group schemes over the rational integers. We prove that a Galois representation as above of Artin cond…

无分歧的Grothendieck-塞雷猜想对于各向同性群

Unramified Grothendieck-Serre for isotropic groups

本文证明了在无分歧环R上，各向同性群G的Grothendieck-塞雷猜想成立，并利用Brauer群纯洁性将问题简化到单连通群。

Demostración simplificada de la Conjetura de Modularidad de Serre (carta)

We explain in this letter how using a recent Modularity Lifting Theorem proved by Lue Pan the proofs of Serre's Modularity Conjecture over $\mathbb{Q}$ given by Khare-Wintenberger and the author can be greatly simplified. The main difference with the previous proofs is that neither the process of "weight reduction" developed by Khare in his proof of the level 1 case nor the alternative method of "weight reduction via Galois conjugation" developed by the author are required: weight reduction can now be obtained just with two applications of Pan's result, together with a Lemma that guarantees th…

Conjecture de type de Serre et formes compagnons pour GSp_4

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 formulated using the etale and the algebraic de Rham cohomology of Siegel modular varieties of level prime to p. We concentrate on the case when the Galois representation is ordinary at p and we give a corresponding list of Serre weights. When the representation is moreover tamely ramified at p, we conjecture that all weights of this list are modular, otherwise we …

Strong modularity of reducible Galois representations

In this paper, we call strongly modular those reducible semi-simple odd mod $l$ Galois representations for which the conclusion of the strongest form of Serre's original modularity conjecture holds. Under the assumption that the Serre weight $k$ satisfies $l\textgreater{}k+1$, we give a precise characterization of strongly modular representations, hence generalizing a classical theorem of Ribet pertaining to the case of conductor $1$.When the representation $ρ$ is not strongly modular, we give a necessary and sufficient condition on the primes $p$ not dividing $Nl$ for which it arises in level…

Non-minimal modularity lifting in weight one

We prove an integral R = T theorem for odd two dimensional p-adic representations of the absolute Galois group which are unramified at p, extending results of [CG] to the non-minimal case. We prove, for any p, the existence of Katz modular forms modulo p of weight one which do not lift to characteristic zero.

Connectedness of Hecke Algebras and the Rayuela conjecture: a path to functoriality and modularity

Let $ρ_1$ and $ρ_2$ be a pair of residual, odd, absolutely irreducible two-dimensional Galois representations of a totally real number field $F$. In this article we propose a conjecture asserting existence of "safe" chains of compatible systems of Galois representations linking $ρ_1$ to $ρ_2$. Such conjecture implies the generalized Serre's conjecture and is equivalent to Serre's conjecture under a modular version of it. We prove a weak version of the modular variant using the connectedness of certain Hecke algebras, and we comment on possible applications of these results to establish some ca…

Potentially crystalline deformation rings and Serre weight conjectures

We prove the weight part of Serre's conjecture in generic situations for forms of $U(3)$ which are compact at infinity and split at places dividing $p$ as conjectured by Herzig. We also prove automorphy lifting theorems in dimension three. The key input is an explicit description of tamely potentially crystalline deformation rings with Hodge-Tate weights $(2,1,0)$ for $K/\mathbb{Q}_p$ unramified combined with patching techniques. Our results show that the (geometric) Breuil-Mézard conjectures hold for these deformation rings.

Explicit Serre weights for two-dimensional Galois representations over a ramified base

Given a totally real number field $F$ and a mod $p$ Galois representation $ρ\colon G_F\to \mathrm{GL}_2(\bar{\mathbf{F}}_p)$, we propose an explicit definition of the set of Serre weights $W(ρ)$ attached to $ρ$. We prove that our explicit definition is equivalent to previous definitions available in the literature. As a consequence we obtain an explicit Serre's modularity conjecture for Hilbert modular forms over totally real number fields. Our work generalises previous work of Dembélé--Diamond--Roberts and Calegari--Emerton--Gee--Mavrides which together give explicit and equivalent sets of we…

Weights in Serre's conjecture for Hilbert modular forms: the ramified case

Let F be a totally real field and p an odd prime. If r is a continuous, semisimple, totally odd mod p representation of the absolute Galois group of F which is tamely ramified at all places of F dividing p, then we formulate a conjecture specifying the weights for which r is modular. This extends the conjecture of Diamond, Buzzard, and Jarvis, which supposed that p was unramified in F. We also prove a theorem towards the conjecture and provide some computational evidence.

无分歧极大抛物层级的Kudla-Rapoport猜想

Kudla-Rapoport conjecture for unramified maximal parahoric level

本文通过局部-全局相容性将Kudla-Rapoport猜想化为全局相交问题，并利用特殊除子生成级数的模性进行归纳，证明了无分歧酉群极大抛物层级的该猜想。

General Serre weight conjectures

We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-Mézard conjecture. We give evidence for these conjectures, and discuss their relationship to previous work. We generalise one of these conjectures to the case of connected reductive groups which are unramified over Q_p, and we also generalise the second author's previous conjecture for GL(n)/Q to this setting, and show that the two conjectures are generically in agreement.

Weight elimination in Serre-type conjectures

We prove the weight elimination direction of the Serre weight conjectures as formulated by Herzig for forms of $U(n)$ which are compact at infinity and split at places dividing $p$ in generic situations. That is, we show that all modular weights for a mod $p$ Galois representation are contained in the set predicted by Herzig. Under some additional hypotheses, we also show modularity of all the "obvious" weights.

Modularity of $\operatorname{PGL}_2(\mathbb{F}_p)$-representations over totally real fields

We study an analogue of Serre's modularity conjecture for projective representations $\overlineρ: \operatorname{Gal}(\overline{K} / K) \rightarrow \operatorname{PGL}_2(k)$, where $K$ is a totally real number field. We prove new cases of this conjecture when $k = \mathbb{F}_5$ by using the automorphy lifting theorems over CM fields established in previous work of the authors.

二维射影表示的惯性重数界及 $\operatorname{PSL}_2(\mathbb{F}_q)$ 和 $\operatorname{PGL}_2(\mathbb{F}_q)$ 数域个数的界

Inertial multiplicity bounds for two dimensional projective representations and bounds for the number of $\operatorname{PSL}_2(\mathbb{F}_q)$ and $\operatorname{PGL}_2(\mathbb{F}_q)$ number fields

本文利用Serre模性猜想证明数域计数函数的上界，类比类域论中阿贝尔扩张的计数结果。

From potential modularity to modularity for integral Galois representations and rigid Calabi-Yau threefolds

We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" conditi…

Modularity lifting in parallel weight one

We prove an analogue of the main result of Buzzard and Taylor (Annals of Mathematics 149 (1999), 905-919) for totally real fields in which p is unramified. This can be used to prove certain cases of the strong Artin conjecture over totally real fields.

Modularity of residual Galois extensions and the Eisenstein ideal

For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $χ: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $Σ\supset \{\mathfrak{p} \mid p\}$ consider the Bloch-Kato Selmer group $H:=H^1_Σ(F, χ^{-1})$. In an earlier paper of the authors it was proved that the number $d$ of isomorphism classes of (non-semisimple, reducible) residual representations $\overlineρ$ giving rise to lines in $H$ which are modular by some $ρ_f$ (also unramified outside $Σ$) satisfies $d \geq n:= \dim_{\mathbf{F}} H$. This was proved under the assu…

The Buzzard-Diamond-Jarvis conjecture for unitary groups

Let p > 2 be prime. We prove the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the unramified case (that is, the Buzzard-Diamond-Jarvis conjecture for unitary groups), by proving that any Serre weight which occurs is a predicted weight. This completes the analysis begun in [BLGG11], which proved that all predicted Serre weights occur. Our methods are purely local, using the theory of (phi,Ghat)-modules to determine the possible reductions of certain two-dimensional crystalline representations.

An analogue of Serre's conjecture for Galois representations and Hecke eigenclasses in the mod-p cohomology of GL(n,Z)

The conjecture of Serre referred in the title is the one about modularity of odd Galois representations into GL(2,F) where F is a finite field of characteristic p. We present an analogous conjecture where GL(2) is replaced by GL(n). We explain the analogue of "oddness." We then present some theoretical and experimental evidence for the conjecture, primarily when n = 3. Our conjecture does not require the Galois representation to be irreducible. Our most interesting examples involve the sum of an irreducible even 2-dimensional representation and a 1-dimensional representation.

Proving modularity for a given elliptic curve over an imaginary quadratic field

We present an algorithm to determine if the $L$-series associated to an automorphic representation and the one associated to an elliptic curve over an imaginary quadratic field agree. By the work of Harris-Soudry-Taylor, Taylor and Berger-Harcos (cf. \cite{harris-taylor}, \cite{taylorII} and \cite{berger-harcos}) we can associate to an automorphic representation a family of compatible $p$-adic representations. Our algorithm is based on Faltings-Serre's method to prove that $p$-adic Galois representations are isomorphic.

$\u200b\mathrm{GSp}_4\u200b$的Serre权猜想

Serre weight conjectures for $\mathrm{GSp}_4$

本研究证明了满足明确一般性条件的驯分歧$\u200b\mathrm{GSp}_4\u200b$值伽罗瓦表示的Serre猜想权部分，改进了此前需非明确一般性假设的结果，并推导了相应的模性提升定理。

Combinatorics of Serre weights in the potentially Barsotti-Tate setting

Let $F$ be a finite unramified extension of $\mathbb Q\_p$ and $\barρ$ be an absolutely irreducible mod~$p$ $2$-dimensional representation of the absolute Galois group of $F$. Let $t$ be a tame inertial type of $F$. We conjecture that the deformation space parametrizing the potentially Barsotti--Tate liftings of $\barρ$ having type $t$ depends only on the Kisin variety attached to the situation, enriched with its canonical embedding into $(\mathbb P^1)^f$ and its shape stratification. We give evidences towards this conjecture by proving that the Kisin variety determines the cardinality of the …

Serre weight conjectures for $p$-adic unitary groups of rank 2

We prove a version of the weight part of Serre's conjecture for mod $p$ Galois representations attached to automorphic forms on rank 2 unitary groups which are non-split at $p$. More precisely, let $F/F^+$ denote a CM extension of a totally real field such that every place of $F^+$ above $p$ is unramified and inert in $F$, and let $\overline{r}: \textrm{Gal}(\overline{F^+}/F^+) \longrightarrow {}^C\mathbf{U}_2(\overline{\mathbb{F}}_p)$ be a Galois parameter valued in the $C$-group of a rank 2 unitary group attached to $F/F^+$. We assume that $\overline{r}$ is semisimple and sufficiently generi…

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 conj…

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 …

素幂级艾森斯坦同余的模性定理

Modularity theorems for Eisenstein congruences in prime-power level

针对满足 $N \equiv 1 \bmod p$ 的素数 $p, N \geq 5$，证明了级 $N$ 和 $N^2$ 下权为2的 $p$ 进赫克代数艾森斯坦局部化的模性定理，关联通用伪形变环的对应商环。

某些模 $p^n$ 伽罗瓦表示的模性

Modularity of certain mod $p^n$ Galois representations

本文针对满足奇且绝对不可约剩余表示的二维模 $p^n$ 伽罗瓦表示，在合适假设下通过形变理论构造特征0提升，结合模性提升结果证明其模性，并给出非分歧情形下对应模形式权的应用。

Mod $\ell$ representations of arithmetic fundamental groups: Part I (An analog of Serre's conjecture for function fields)

We formulate for function fields an analog of Serre's conjecture on the modularity of 2-dimensional irreducible mod l representations of the absolute Galois group of Q: our analog is not restricted to 2-dimensional represntations. While the original conjecture of Serre is wide open at the moment, in this paper we prove the function field analog of Serre's conjecture only assuming largeness of image of the representation and some assumptions on the ramification of the representation (for example if the mod l representation is unramified and has full image, l is odd and the dimension and charact…

Dihedral Universal Deformations

This article deals with universal deformations of dihedral representations with a particular focus on the question when the universal deformation is dihedral. Results are obtained in three settings: (1) representation theory, (2) algebraic number theory, (3) modularity. As to (1), we prove that the universal deformation is dihedral if all infinitesimal deformations are dihedral. Concerning (2) in the setting of Galois representations of number fields, we give sufficient conditions to ensure that the universal deformation relatively unramified outside a finite set of primes is dihedral, and dis…

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 weight…

Modularity lifting results in parallel weight one and applications to the Artin conjecture: the tamely ramified case

We extend the modularity lifting result of the arXiv:1111.2804 to allow Galois representations with some ramification at p. We also prove modularity mod 2 and 5 of certain Galois representations. We use these results to prove many new cases of the strong Artin conjecture over totally real fields in which 5 is unramified. As an ingredient of the proof, we provide a general result on the automatic analytic continuation of overconvergent p-adic Hilbert modular forms of finite slope which substantially generalizes a similar result in arXiv:1111.2804.

Serre weights, Galois deformation rings, and local models

We survey some recent progress on generalizations of conjectures of Serre concerning the cohomology of arithmetic groups, focusing primarily on the "weight" aspect. This is intimately related to (generalizations of) a conjecture of Breuil and Mézard relating the geometry of potentially semistable deformation rings to modular representation theory. Recently, B. Levin, S. Morra, and the authors established these conjectures in tame generic contexts by constructing projective varieties (local models) in mixed characteristic whose singularities model, in generic cases, those of tamely potentially …

On weight elimination for $\mathrm{GL}_n(\mathbb{Q}_{p^f})$

We show that the modular Serre weights of a sufficiently generic mod $p$ Galois representation of an unramified $p$-adic field are themselves generic, and give precise bounds on the genericity, by extending previous work of Emerton, Gee and Herzig. Our bounds are nearly optimal in some cases. We use this to improve recent weight elimination theorems.

Serre weights and Breuil's lattice conjecture in dimension three

We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a generalization to $\mathrm{GL}_3$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil-Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge-Tate weights $(0,1,2)$ as well as the Serre weight conjectures over an unramified field extending our previous results. We also prove results in modular representation…

Computing the number of certain Galois representations mod $p$

Using the link between mod $p$ Galois representations of $\qu$ and mod $p$ modular forms established by Serre's Conjecture, we compute, for every prime $p\leq 1999$, a lower bound for the number of isomorphism classes of continuous Galois representation of $\qu$ on a two--dimensional vector space over $\fbar$ which are irreducible, odd, and unramified outside $p$.

关于 Hilbert 模形式的几何 Serre 权重猜想

On the geometric Serre weight conjecture for Hilbert modular forms

本文证明了 Diamond 和 Sasaki 提出的几何 Serre 权重猜想，在无奇偶性假设下适用于 $p \geq 5$ 惰性的实二次域和 $p \geq \min\{5, [F:\mathbb{Q}]\}$ 完全分裂的全实域。

On Serre's uniformity conjecture for semistable elliptic curves over totally real fields

Let $K$ be a totally real field, and let $S$ be a finite set of non-archimedean places of $K$. It follows from the work of Merel, Momose and David that there is a constant $B_{K,S}$ so that if $E$ is an elliptic curve defined over $K$, semistable outside $S$, then for all $p>B_{K,S}$, the representation $\barρ_{E,p}$ is irreducible. We combine this with modularity and level lowering to show the existence of an effectively computable constant $C_{K,S}$, and an effectively computable set of elliptic curves over $K$ with CM $E_1,\dotsc,E_n$ such that the following holds. If $E$ is an elliptic cur…

Modularity of the Consani-Scholten quintic

We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.

晶体现象空间的解析与模性

Resolutions of spaces of crystalline representations and modularity

本文研究晶体现象空间的解析，证明在Hodge-Tate权重间隙小于p时，部分解析的存在性，并在最小正则权重情况下展示解析的正常性，从而推导出自动性提升、塞雷猜想的权重部分及三维最小正则权重下的布里乌-梅兹ard猜想。

Mod $p$ Hilbert modular forms of parallel weight one: the ramified case

We generalize the main result of arXiv:1206.6631 [math.NT] to all totally real fields. In other words, for $p>2$ prime, we prove (under a mild Taylor-Wiles hypothesis) that if a modular representation is unramified and $p$-distinguished at all places above $p$, then it arises from a mod $p$ Hilbert modular form of parallel weight one. This (mostly) resolves the weight one part of Serre's conjecture for totally real fields.

Modularity and integral points on moduli schemes

The purpose of this paper is to give some new Diophantine applications of modularity results. We use the Shimura-Taniyama conjecture to prove effective finiteness results for integral points on moduli schemes of elliptic curves. For several fundamental Diophantine problems (e.g. $S$-unit and Mordell equations), this gives an effective method which does not rely on Diophantine approximation or transcendence techniques. We also combine Faltings' method with Serre's modularity conjecture, isogeny estimates and results from Arakelov theory, to establish the effective Shafarevich conjecture for abe…

极大陪住算术转移、消解与模性

Maximal parahoric arithmetic transfers, resolutions and modularity

本文在非分歧二次 $p$-进扩张中提出并证明极大陪住层级的算术转移猜想及算术基本引理，同时建立算术 theta 级数的新模性结果与 Jacquet–Rallis 转移。

Emerton–Gee 栈、Serre 权以及针对 $\u27e8\rm{GSp}_4\u27e9$ 的 Breuil–Mézard 猜想

Emerton--Gee stacks, Serre weights, and Breuil--Mézard conjectures for $\mathrm{GSp}_4$

本研究构造了秩4辛射影平展 $(φ,Γ)$-模的模栈并研究其几何性质，证明了局部模型的单分支性，进而在一般性条件下建立了 $\rm{GSp}_4$ 情形下的Breuil–Mézard猜想、Serre猜想权部分及模性提升结果。

三维强分歧 Galois 表示的 Serre 权

Serre weights for three-dimensional wildly ramified Galois representations

本文证明三维 mod p Galois 表示在 p 不分歧且满足一般性条件时的 Serre 权猜想，去除弱分歧假设，并建立 Breuil 格猜想与 U(3) 算术流形重数为一结果。

Lifting and automorphy of reducible mod p Galois representations over global fields

We extend the lifting methods of our previous paper to lift reducible odd representations $\barρ:\mathrm{Gal}(\overline{F}/F) \to G(k)$ of Galois groups of global fields $F$ valued in Chevalley groups $G(k)$. Lifting results, when combined with automorphy lifting results pioneered by Wiles in the number field case and the results on the global Langlands correspondence proved by Drinfeld and L. Lafforgue in the function field case, give the only known method to access modularity of mod $p$ Galois representations in both reducible and irreducible cases. In the reducible case this allows one to s…

关于与模 $p$ 埃尔米特模形式相关的伽罗瓦表示

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

本文研究了与模 $p$ 埃尔米特模形式相关的伽罗瓦表示，提出了关于权重与特征形式关系的猜想，并在实二次域中证明了部分权重一情况下的结果。

潜在Barsotti-Tate表示的Breuil-Mézard猜想

The Breuil-Mézard conjecture for potentially Barsotti-Tate representations

本文证明了对于p>2，绝对Galois群G_K的二维潜在Barsotti-Tate表示的Breuil-Mézard猜想，并应用于Serre猜想的权部分，包括Buzzard-Diamond-Jarvis猜想。