Shimura curves in the Prym loci of ramified double covers

We study Shimura curves of PEL type in the space of polarized abelian varieties [Formula: see text] generically contained in the ramified Prym locus. We generalize to ramified double covers, the construction done in [E. Colombo, P. Frediani, A. Ghigi and M. Penegini, Shimura curves in the Prym locus, Commun. Contemp. Math. 21(2) (2019) 1850009] in the unramified case and in the case of two ramification points. Namely, we construct families of double covers which are compatible with a fixed group action on the base curve. We only consider the case of one-dimensional families and where the quotient of the base curve by the group is [Formula: see text]. Using computer algebra we obtain 184 Shimura curves contained in the (ramified) Prym loci.

Wiles defect for Hecke algebras that are not complete intersections

In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level are isomorphic and complete intersections, provided the same is true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $\bar {\rho }$ . If $\bar {\rho }$ is scalar at some primes dividing the discriminant of the quaternion algebra, then the Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight-2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $\lambda _f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $\lambda _f$ by computing the associated Wiles defect purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $\rho _f$ which $f$ gives rise to by the Eichler–Shimura construction. One of the main tools used in the proof is Taylor–Wiles–Kisin patching.

Diagrams in the mod p cohomology of Shimura curves

We prove a local–global compatibility result in the mod $p$ Langlands program for $\mathrm {GL}_2(\mathbf {Q}_{p^f})$ . Namely, given a global residual representation $\bar {r}$ appearing in the mod $p$ cohomology of a Shimura curve that is sufficiently generic at $p$ and satisfies a Taylor–Wiles hypothesis, we prove that the diagram occurring in the corresponding Hecke eigenspace of mod $p$ completed cohomology is determined by the restrictions of $\bar {r}$ to decomposition groups at $p$ . If these restrictions are moreover semisimple, we show that the $(\varphi ,\Gamma )$ -modules attached to this diagram by Breuil give, under Fontaine's equivalence, the tensor inductions of the duals of the restrictions of $\bar {r}$ to decomposition groups at $p$ .

On the Bloch–Kato conjecture for Hilbert modular forms

The aim of this paper is to prove inequalities towards instances of the Bloch–Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the L-function at the central point is zero or one. We achieve this implementing an inductive Euler system argument which relies on explicit reciprocity laws for cohomology classes constructed using congruences of automorphic forms and special points on several Shimura curves.

Ihara’s Lemma for Shimura curves over totally real fields via patching

We prove Ihara’s lemma for the mod l cohomology of Shimura curves, localized at a maximal ideal of the Hecke algebra, under a large image hypothesis on the associated Galois representation. This was proved by Diamond and Taylor, for Shimura curves over $$\mathbb {Q}$$ Q , under various assumptions on l. Our method is totally different and can avoid these assumptions, at the cost of imposing the large image hypothesis. It uses the Taylor–Wiles method, as improved by Diamond and Kisin, and the geometry of integral models of Shimura curves at an auxiliary prime.