Webpage of Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio

contact

a CV of mine (clicquez ici pour une version française)

            Maître de Conférences HDR
During the academic year 2025-2026 I'm an invited researchers in the CASH Inria team at the Laboratoire de l'Informatique du Parallélisme de l'ENS-Lyon

            Université Jean Monnet Saint-Étienne
            CNRS UMR 5208, Institut Camille Jordan et IUT
            Les Forges II, 20, rue du Dr Anino
            F-42023 Saint-Étienne - France

            Bureau B 105 B
            tel: +33 (0)4 77 48 15 69
            mail: filippo.nuccio arobas

univ-st-etienne.fr
            web: http://perso.univ-st-etienne.fr/nf51454h/index_eng.html
            git: https://github.com/faenuccio
            ORCID: 0000-0002-5318-9869

research, open acces and teaching

During my thesis I worked on the Iwasawa theory of Class Groups, then moving on to the Iwasawa theory of Elliptic Curves and Coleman families. Currently, I am interested in formalised mathematics, especially in the Lean proof assistant. I contributed to the Liquid Tensor Experiment and I am a maintainer of the library Mathlib of formalised mathematics in Lean.

LeaN in LyoN, a one-day workshop(on May 10th, 2022) about formalized mathematics. The videos of all talks are available here.

I co-organised the conference Lean for the curious mathematician 2024, that took place at CIRM in March 2024.

I am the Principal Investigator of the ANR-25-CE40-7639 project FALSE aiming at the formalisation in Lean of fundamental arithmetic results.

Together with Rob Lewis I've co-founded and I am co-managing editor of the overlay journal Annals of Formalized Mathematics, focusing on formalised mathematics.

I am the Open Science Coordinator of the Université Jean Monnet

I am coordinator of the Publications College of the French Committee for Open Science at MESR.

I am member of the board of MathOA, an organization aimed at facilitating and accelerating the switch to open access publishing in mathematics.

I am member of steering committee of RNBM, the French network of Mathematical Libraries, as well of that of the PCMath, ensuring conservation of printed mathematical documents.

La collaboration MathOA et centre Mersenne, MATAPLI 126 (2021) 69-74; HALId:ujm-04133052.

my papers and preprints are listed on my HAL page, and also below. If you want to quote them, here is a small BiBTeX hint on how to cope with my long family name.

Generalised class groups in dihedral and fake Z_p-extensions, Mathematica Slovaca, (2025) DOI:10.1515/ms-2025-0039; HALId:ujm-04702111.
with D. Asgeirsson, R. Brasca, N. Kuhn and A. Topaz, Categorical Foundations of Formalized Condensed Mathematics, Journal of Symbolic Logic, (2024) DOI:10.1017/jsl.2024.69; HALId:ujm-04633614.
Corps de classes, formes modulaires, et formalisation, Habilitation à diriger des recherches, Université Jean Monnet Saint-Étienne (2023); HALId:ujm-04198760.
with M. I. de Frutos Fernández, A Formalization of Complete Discrete Valuation Rings and Local Fields, 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), January 15-16 2024, London, United Kingdom, pp. 190-204 DOI:10.1145/3636501.3636942; HALId:ujm-04222610.
with D. Kundu and Sujatha R., Structure of Fine Selmer Groups in abelian p-adic Lie extensions, Osaka Journal of Mathematics, 61 no. 1 (2024), 121−146 available here ; HALId:hal-03769801.
with L. Caputo, Cohomology of normic systems and fake Z_p-extensions, New York Journal of Mathematics 20 (2023), 1196-1272 available here; HALId:hal-04056144.
with T. Ochiai et J. Ray, A formal model of Coleman families and applications to Iwasawa invariants, Annales Mathématiques du Québec (2023) DOI:10.1007/s40316-023-00217-0; HALId:hal-03355637.
with Sujatha R., Residual supersingular Iwasawa theory and signed Iwasawa invariants, Rendiconti del Seminario Matematico della Università di Padova 149 (2023), 83−129 DOI:10.4171/RSMUP/111; HALId:hal-02379955.
with A. Baanen, S. R. Dahmen et A. Narayanan, A formalization of Dedekind domains and class groups of global fields, Journal of Automated Reasoning 66, 611–637 (2022) DOI:10.1007/s10817-022-09644-0; HALId:hal-03355627.
with A. Baanen, S. R. Dahmen et A. Narayanan, A Formalization of Dedekind Domains and Class Groups of Global Fields, Leibniz International Proceedings in Informatics, Volume 193, ITP 2021 DOI:10.4230/LIPIcs.ITP.2021.5; HALId:hal-03132666.
with L. Caputo, Class number formula for dihedral extensions, Glasgow Mathematical Journal, 62 no. 2 (2020), p. 323-353 DOI:10.1017/S0017089519000144; HALId:hal-01728713.
with N. Billerey, Représentations galoisiennes diédrales et formes à multiplication complexe, Journal de théorie des nombres de Bordeaux, 30 no. 2 (2018), p. 651-670 DOI:10.5802/jtnb.1043; HALId:hal-01560947. Here are the PARI files to compute Δ modulo 23 and the curve 65533.a1 modulo 7.
Fitting Ideals, in J. Coates, C. S. Dalawat, A. Saikia and R. Sujatha (eds), "Guwahati Workshop on Iwasawa Theory of Totally Real Fields", LNS 12, Ramanujan Mathematical Society, Mumbai, 2010; HALId:hal-00947158.
Cyclotomic Units and Class groups in Z_p-extensions of real abelian fields, Mathematical Proceedings of the Cambridge Philosophical Society, 148 (2010), 93-106 DOI:10.1017/S0305004109990119; HALId:hal-00947151. Here a brief note with some examples.
with B. Anglès, On Jacobi Sums in Q(ζ_p), Acta Arithmetica, 142.3 (2010), 199-218 DOI:10.4064/aa142-3-1; HALId:hal-00947148.
On Z_p-extensions of real abelian number fields, my Ph.D. thesis at the Univesity of Rome "La Sapienza" (2009); HALId:tel-00947135.
with L. Caputo, A Criterion for Greenberg's Conjecture, Proceedings of American Mathematical Society, 136 (2008), 2741-2744 DOI:10.1090/S0002-9939-08-09283-6; HALId:hal-00947165.
with F. Amoroso, Algebraic Numbers of Small Weil's Height in CM-fields: on a Theorem of Schinzel, Journal of Number Theory, 122 (2007) 247-260 DOI:10.1016/j.jnt.2006.04.005; HALId:hal-00947162.

teaching and study groups

The webpage for the advanced Master course Formalisation Mathémathique for the Mathematics department of ENS-Paris in 2025-2026.
The webpage for the graduate course Preuve assistée par ordinateur en Lean for the InfoMaths Graduate School in Lyon, in 2025-2026.
The webpage for the courses Introduction to Lean (Term 1) and Advanced projects on Lean (Term 2) for the Master program Higher algebra and Formalised Mathematics of the ENS-Lyon in 2024-2025.
The presentation (in French) for my course Introduction to Open Science for the UJM Graduate School is available on HAL: HALId:ujm-04487604.
The notes for the course M1301 at the GMP department of IUT at Saint-Étienne and the webpage of the book by Pierre Guillot for both M1301 and M2301.
In tandem with Ramla Abdellatif we organised in 2014 a working group to study the works of Bertolini and Darmon.
My (handwritten) notes for three lectures on p-adic L functions for totally real number fields held at the Workshop Iwasawa 2012 held in Osaka, 3-6 April 2012. The first lecture is an introduction to Coates' congruences, the second one discusses Deligne and Ribet's construction and the third one describes Cassou-Noguès and Barsky's approach following Shintani.

math links

             The homepage of the Mathlib community who's developping the eponymous library of formalised mathematics in Lean, together with a page to test Lean without installing anything, and the index of all results contained in Mathlib.
             zbMATH Open the Open Access database of the European Mathematical Society and MathSciNet, that of the American Mathematical Society
             An online version of SGA4
             Overleaf for compiling and sharing LaTeX documents online
             A database of finite groups maintained by Tim Dokchitser, one of of elliptic curves and one of topological spaces.
             Desmos for drawing graphs, an online matrix calculator and a JAVA applet to draw parametric curves.
             On-line web portal for Mathematical resources of Lyon University
             2020 Mathematics Subject Classification
             JSTOR --- Online store for Mathematical journals (it needs a subscription)
             Number theory and Operator Algebras recent submissions on arXiv
             Programme NUMDAM, a server with many mathematical journals.
             gallica --- The digital Franch National Library
             Göttinger Digitalisierungszentrum
             A repository of mathematical books in French that are legally available, together with a collection of old mathematical books which have been scanned by the University of Michigan
             Sage notebook --- Online Sage calculator
             Mathematics Genealogy Project