22 citations · 26 across the 6 of their papers we have counts for
8 papers
A complete formalization of Fermat's Last Theorem for regular primes in Lean
Alex Best, Christopher Birkbeck, Riccardo Brasca +3
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstr…
Fermat's Last Theorem for regular primes
Alex J. Best, Christopher Birkbeck, Riccardo Brasca +1
We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an im…
-adic families of modular forms for Hodge type Shimura varieties with non-empty ordinary locus
Riccardo Brasca
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any -adic weight , we…
Hida theory over some unitary Shimura varieties without ordinary locus
Riccardo Brasca, Giovanni Rosso
We develop Hida theory for Shimura varieties of type A without ordinary locus. In particular we show that the dimension of the space of ordinary forms is bounded independently of t…
Eigenvarieties for non-cuspidal modular forms over certain PEL Shimura varieties
Riccardo Brasca, Giovanni Rosso
Generalising the recent method of Andreatta, Iovita, and Pilloni for cuspidal forms, we construct an eigenvariety for symplectic and unitary groups that parametrises systems of eig…
Eigenvarieties for cuspforms over PEL type Shimura varieties with dense ordinary locus
Riccardo Brasca
Let p>2 be a prime and let X be a compactified PEL Shimura variety of type (A) or (C) such that p is an unramified prime for the PEL datum. Using the geometric approach of Andreatt…
Quaternionic modular forms of any weight
Riccardo Brasca
In this work we construct an eigencurve for p-adic modular forms attached to an indefinite quaternion algebra over Q. Our theory includes the definition, both as rules on test obje…
p-adic modular forms of non-integral weight over Shimura curves
Riccardo Brasca
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we defin…