• ### Weight elimination in Serre-type conjectures(1610.04819)

March 17, 2019 math.NT
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.
• ### Serre weights and Breuil's lattice conjecture in dimension three(1608.06570)

March 17, 2019 math.RT, math.NT
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\'ezard 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 theory about lattices in Deligne-Luzstig representations for the group $\mathrm{GL}_3(\mathbb{F}_q)$.
• ### Level raising mod 2 and arbitrary 2-Selmer ranks(1501.01344)

April 1, 2016 math.NT
We prove a level raising mod $\ell=2$ theorem for elliptic curves over $\mathbb{Q}$. It generalizes theorems of Ribet and Diamond-Taylor and also explains different sign phenomena compared to odd $\ell$. We use it to study the 2-Selmer groups of modular abelian varieties with common mod 2 Galois representation. As an application, we show that the 2-Selmer rank can be arbitrary in level raising families.
• ### Potentially crystalline deformation rings and Serre weight conjectures(1512.06380)

March 17, 2016 math.NT
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\'ezard conjectures hold for these deformation rings.
• ### On the image of complex conjugation in certain Galois representations(1409.2158)

Sept. 7, 2014 math.RT, math.NT
We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$.
• ### Elliptic Curves over Real Quadratic Fields are Modular(1310.7088)

July 18, 2014 math.NT
We prove that all elliptic curves defined over real quadratic fields are modular.
• ### Modularity of some elliptic curves over totally real fields(1309.4134)

Sept. 16, 2013 math.NT
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.