2 citations · 3 across the 3 of their papers we have counts for
3 papers
Categorical Foundations of Formalized Condensed Mathematics
Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn +2
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept o…
A Formalization of Complete Discrete Valuation Rings and Local Fields
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We…
A formal model of Coleman families and applications to Iwasawa invariants
Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio, Tadashi Ochiai, Jishnu Ray
For a given Coleman family of modular forms, we construct a formal modeland prove the existence of a family of Galois representations associated to the Colemanfamily. As an applica…