2 citations · 2 across the 3 of their papers we have counts for
4 papers
A Formalization of Divided Powers in Lean
Antoine Chambert-Loir, María Inés de Frutos-Fernández
Given an ideal in a commutative ring , a divided power structure on is a collection of maps , subject to axioms that imply tha…
The refined class number formula for Drinfeld modules
María Inés de Frutos-Fernández, Daniel Macias Castillo, Daniel Martínez Marqués
Let be a finite Galois extension of global function fields. Let be a Drinfeld module over . We state and prove an equivariant refinement of Taelman's analogue of the a…
Formalizing the Ring of Adèles of a Global Field
María Inés de Frutos-Fernández
The ring of adèles of a global field and its group of units, the group of idèles, are fundamental objects in modern number theory. We discuss a formalization of their definitions i…
Moduli Spaces of Shtukas over the Projective Line
María Inés de Frutos-Fernández
We provide explicit equations for moduli spaces of Drinfeld shtukas over the projective line with , and level structures, where is an effective divisor…