Related papers: Congruences between modular forms and related modu…
We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) as the tangent of a morphism of derived moduli functors. An immediate consequence is that it annihilates all obstructions (not just…
Let $f$ be a newform of weight $k\geq 2$, level $N$ with coefficients in a number field $K$, and $A$ the adjoint motive of the motive $M$ associated to $f$. We carefully discuss the construction of the realisations of $M$ and $A$, as well…
We systematically study the moduli theory of symplectic varieties (in the sense of Beauville) which admit a resolution by an irreducible symplectic manifold. In particular, we prove an analog of Verbitsky's global Torelli theorem for the…
We show, using the techniques developed in arXiv:2504.06444 and arXiv:2305.11139, that dagger algebras and Tate algebras in the sense of Berkovich in prime characteristic $p > 0$ have intersection flat Frobenius. Equivalently, if $S$ is…
We extend the theory of tautological classes on moduli spaces of stable curves to the more general setting of moduli spaces of admissible Galois covers of curves, introducing the so-called H-tautological ring. The main new feature is the…
P. Aluffi introduced in [1] a new graded algebra in order to conveniently express characteristic cycles in the theory of singular varieties. This algebra is attached to a surjective ring homomorphism $A\surjects B$ by taking a suitable…
For a rational prime $p \geq 3$ we consider $p$-ordinary, Hilbert modular newforms $f$ of weight $k\geq 2$ with associated $p$-adic Galois representations $\rho_f$ and $\mod{p^n}$ reductions $\rho_{f,n}$. Under suitable hypotheses on the…
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this…
We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced…
In one of his last papers, Boris Weisfeiler proved that if modular semisimple Lie algebra possesses a solvable maximal subalgebra which defines in it a long filtration, then associated graded algebra is isomorphic to one constructed from…
A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…
We classify all instances of the condition $a_{p}(f) \equiv x \bmod \lambda$ being related to a congruence on the prime $p$, where $a_{p}(f)$ denotes the $p$th Fourier coefficient of a classical normalised cuspidal eigenform $f$ and…
For a cuspidal automorphic representation of GL2/Q associated to a modular form, the local and global Langlands correspondences are compatible at all finite places of Q. On the p-adic Coleman-Mazur eigencurve this principle can fail (away…
Let $F$ be a field which is, either local non archimedean, or finite, of residual charcateristic $p$ but of characteristic different from $2$. Let $W$ be a symplectic space of finite dimension over $F$. Suppose $R$ is a field of…
We realise Buchweitz and Flenner's semiregularity map (and hence a fortiori Bloch's semiregularity map) for a smooth variety $X$ as the tangent of a generalised Abel--Jacobi map on the derived moduli stack of perfect complexes on $X$. The…
The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…
We generalise Coleman's construction of Hecke operators to define an action of GL_2(Q_l) on the space of finite slope overconvergent p-adic modular forms (l not equal p). In this way we associate to any C_p-valued point on the tame level N…
We prove that for any m > 1 given any m-tuple of Hecke eigenforms $f_i$ of level 1 whose weights satisfy the usual regularity condition there is a self-dual cuspidal automorphic form $\pi$ of $\GL_{2^m}(\Q)$ corresponding to their tensor…
Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses and is generic at a place…
In this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…