A minimal modularity lifting theorem for Siegel modular forms

Abstract

We prove a minimal modularity lifting theorem (in the spirit of Genestier--Tilouine and Pilloni) in the setting of Siegel modular forms of genus two when the residual representation arises from a stable Yoshida lift, that is, an automorphic induction of a nearly ordinary Hilbert modular eigencuspform over a real quadratic field. As applications of the underlying $R=\mathbb{T}$ theorem, we establish the freeness of a universal minimal ordinary Galois deformation ring over an Iwasawa algebra in two variables along with the uniqueness of Hida families passing through classical $p$-ordinary Siegel modular eigenforms with very regular weights.

arXiv comment28 pages, we have moved the modularity lifting theorem from our preprint arXiv:2602.20737v1 to this new manuscript. Comments are welcome! arXiv admin note: text overlap with arXiv:2602.20737