3 citations · 7 across the 4 of their papers we have counts for
5 papers · 1 filter
Formalized proof, computation, and the construction problem in algebraic geometry
Carlos T. Simpson
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up t…
Asymptotics for general connections at infinity
Carlos T. Simpson
For a standard path of connections going to a generic point at infinity in the moduli space of connections on a compact Riemann surface, we show that the Laplace transform…
Nonabelian mixed Hodge structures
Ludmil Katzarkov, Tony Pantev, Carlos Simpson
We propose a definition of ``nonabelian mixed Hodge structure'' together with a construction associating to a smooth projective variety and to a nonabelian mixed Hodge structur…
Algebraic aspects of higher nonabelian Hodge theory
Carlos Simpson
We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize u…
Descente pour les n-champs (Descent for n-stacks)
André Hirschowitz, Carlos Simpson
We develop the theory of n-stacks (or more generally Segal n-stacks which are -stacks such that the morphisms are invertible above degree n). This is done by systematically…