5 papers
Differential Homology
Fabio Ferrari Ruffino, Gabriel Longatto Clemente
We first construct the differential refinement of singular homology, verifying that it satisfies the axioms dual to their cohomological counterparts. Then, we define the differenti…
Kähler thresholds
Gabriella Clemente, Carlos Simpson
The topology of Kähler manifolds is largely determined by the geometry due to its rigidity. In particular, the cohomology and Hodge theory of compact Kähler manifolds is quite re…
Synthetic Differential Geometry in Lean
Riccardo Brasca, Gabriella Clemente
This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formaliz…
Real Einstein loci
Gabriella Clemente
The aim of this article is to study the interplay between the complex, and underlying real geometries of a Kähler manifold. We provide a necessary and sufficient condition for cer…
A technical remark on the Donaldson-Futaki invariant for Fano reductive group compactifications
Gabriella Clemente
We present an elementary way of recovering a well-known criterion of K-stability for Fano reductive group compactifications.