Related papers: Quantitative level lowering for weight two Hilbert…
Let $K$ be an imaginary quadratic field. Modular forms for GL(2) over $K$ are known as Bianchi modular forms. Standard modularity conjectures assert that every weight 2 rational Bianchi newform has either an associated elliptic curve over…
Principally polarized abelian surfaces with prescribed real multiplication (RM) are parametrized by certain Hilbert modular surfaces. Thus rational genus 2 curves correspond to rational points on the Hilbert modular surfaces via their…
For a point $x_0$ in a Shimura variety attached to a Shimura datum of Hodge type $(G,X)$, we have an associated abelian scheme $A_0$. Fixing a non-empty finite set $\mathcal{S}$ of primes, we consider the simultaneous supersingular…
We prove the conjecture of Pollack and Weston on the quantitative analysis of the level lowering congruence \`{a} la Ribet for modular forms of higher weight. It was formulated and studied in the context of the integral Jacquet-Langlands…
We give two congruence properties of Hermitian modular forms of degree 2 over $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$. The one is a congruence criterion for Hermitian modular forms which is generalization of Sturm's theorem.…
We design efficient algorithms to evaluate modular equations of Siegel and Hilbert type for abelian surfaces over number fields or finite fields using complex approximations. Their output is provably correct when the associated graded ring…
From the Modularity Theorem proven by Wiles, Taylor, et al, we know that all elliptic curves are modular. It has been shown by Martin and Ono exactly which are represented by eta-quotients, and some examples of elliptic curves represented…
In this paper we study the geometry of good reductions of Shimura varieties of abelian type. More precisely, we construct the Newton stratification, Ekedahl-Oort stratification, and central leaves on the special fiber of a Shimura variety…
We recall first the analytic theory of the Hilbert modular varieties of level $\Gamma_1(\mathfrak{c},\mathfrak{n})$ and their compactifications. We construct arithmetic toroidal compactifications of the universal Hilbert-Blumenthal abelian…
We study generalisations to totally real fields of methods originating with Wiles and Taylor-Wiles. In view of the results of Skinner-Wiles on elliptic curves with ordinary reduction, we focus here on the case of supersingular reduction.…
We define abelian extensions of algebras in congruence-modular varieties. The theory is sufficiently general that it includes, in a natural way, extensions of R-modules for a ring R. We also define a cohomology theory, which we call clone…
We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain…
We find explicit projective models of a compact Shimura curve and of a (non-compact) surface which are the moduli spaces of principally polarised abelian fourfolds with an automorphism of order five. The surface has a 24-nodal canonical…
For Shimura varieties of Hodge type, we show that there are natural isomorphisms between locally analytic complete cohomology groups and cohomology groups for flag varieties with coefficient which is given by their perfectoid covers. This…
We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties…
We study the motivic cohomology of the special fiber of quaternionic Shimura varieties at a prime of good reduction. We exhibit classes in these motivic cohomology groups and use this to give an explicit geometric realization of level…
We study the bounded negativity conjecture for non-quaternionic Hilbert modular surfaces and give an explicit bound for the special case of Hirzebruch-Zagier curves on Hilbert modular surfaces.
We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…
We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…
Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard…