41 citations · 54 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 41 cited
Formalising perfectoid spaces
Kevin Buzzard, Johan Commelin, Patrick Massot
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geome…
math.AG2019
The Mumford-Tate conjecture implies the algebraic Sato-Tate conjecture of Banaszak and Kedlaya
Victoria Cantoral Farfán, Johan Commelin
The algebraic Sato-Tate conjecture was initially introduced by Serre and then discussed by Banaszak and Kedlaya. This note shows that the Mumford-Tate conjecture for an abelian var…
math.AG2019
On the cohomology of surfaces with and maximal Albanese dimension
Johan Commelin, Matteo Penegini
In this paper we study the cohomology of smooth projective complex surfaces of general type with invariants and surjective Albanese morphism. We show that on a Ho…