
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.

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 BreuilM\'ezard conjecture for (tamely)
potentially crystalline deformation rings with HodgeTate 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 DeligneLuzstig representations for the group
$\mathrm{GL}_3(\mathbb{F}_q)$.

We prove a level raising mod $\ell=2$ theorem for elliptic curves over
$\mathbb{Q}$. It generalizes theorems of Ribet and DiamondTaylor and also
explains different sign phenomena compared to odd $\ell$. We use it to study
the 2Selmer groups of modular abelian varieties with common mod 2 Galois
representation. As an application, we show that the 2Selmer rank can be
arbitrary in level raising families.

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 HodgeTate weights $(2,1,0)$ for
$K/\mathbb{Q}_p$ unramified combined with patching techniques. Our results show
that the (geometric) BreuilM\'ezard conjectures hold for these deformation
rings.

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$.

We prove that all elliptic curves defined over real quadratic fields are
modular.

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