Papers and preprints

Carlos Simpson

-Foliations on the moduli space of rank two connections on the projective line minus four points --version 2, June 2011,
joint with Frank Loray and Masa-Hiko Saito.

-Local systems on proper algebraic V-manifolds --PAMQ 7 (2011), 1675-1760, Eckart Viehweg's volume.

-Fixed points and lines in 2-metric spaces --version 3, April 2011, joint with Abdelkrim Aliouche.

-Homotopy Theory of Higher Categories---a book to appear in the Cambridge University Press
New Mathematical Monographs series. Arxiv version 1, January 2010; however the published version will contain
a further Part V on higher categorical techniques such as limits and the stabilization hypothesis.

-Obstructed bundles of rank two on a quintic surface -- International Journal of Math. 22 (2011), 789-836,
joint with Nicole Mestrano.

-Variations of mixed Hodge structure attached to the deformation theory of a complex variation of Hodge structures.
Arxiv version February 2009, joint with Philippe Eyssidieux. To appear, JEMS.

-Iterated destabilizing modifications for vector bundles with connection. Arxiv version, December 2008.
Contemporary Math 522, 2010 (Proceedings of the Ramanan Conference, Madrid, 2008).

-A weight two phenomenon for the moduli of rank one local systems on open varieties arxiv abstract--pdf,
in Augsburg proceedings.

-Regulators of canonical extensions are torsion: the smooth divisor case arxiv abstract--pdf,
joint with Jaya Iyer.

-On the classification of rank two representations of quasiprojective fundamental groups arxiv abstract--pdf,
joint with Kevin Corlette, Compositio Math. 144 (2008), 1271-1331.

-Algebraic cycles from a computational point of view
Proceedings of the Galligo conference, Theoretical Computer Science 392 (2008), 128-140.

-The Chern character of a parabolic bundle, and a parabolic Reznikov theorem in the case of finite order at infinity arxiv abstract--pdf,
joint with Jaya Iyer. In "Geometry and Dynamics of Groups and Spaces: in memory of Alexander Reznikov",
Progress in Mathematics 265, Birkhauser (2008).

-A relation between the parabolic Chern characters of the de Rham bundles arxiv abstract--pdf,
joint with Jaya Iyer, Math. Annalen 338 (2007), no. 2, 347-383.

-Katz's middle convolution algorithm arxiv abstract--pdf,
see also some notes for my talk in Paris, Feb. 1st, 2007.

-Geometricity of the Hodge filtration on the infinity-stack of perfect complexes over X_DR arxiv abstract-- ps, pdf,
see also the slides (in jpg images) for my talk at the Deligne conference in Princeton, Oct. 18th, 2005.
Updated version, 2008.

- Explaining Gabriel-Zisman localization to the computer ps, pdf
(see also Files for Gabriel-Zisman localization ps, pdf, gzfiles.tar.gz)

-Formalized proof, computation and the construction problem in algebraic geometry ps, pdf (version revised for publication)

- Information technology implications for mathematics: a view from the French riviera, joint with Marco Maggesi (a very preliminary version in html format or ps or pdf 5 jul 04)

- Computer theorem proving in math, A paper based on my talk at the PQR conference, Brussels, June 2003.

-Mathematical quotients and quotient types in Coq, joint with
Laurent Chicli and Loic Pottier, version (ps) of November 2002,
see also the proof scripts which go with this paper;

-Some properties of the theory of n-categories (arxiv ps file), October 2001;

-Density of monodromy actions on non-abelian cohomology, joint with
Ludmil Katzarkov and Tony Pantev (arxiv ps file), January 2001;

-Calculating maps between n-categories (arxiv ps file), September 2000;

-Nonabelian mixed Hodge structures, joint with
Ludmil Katzarkov and Tony Pantev (arxiv ps file), June 2000;

for these and earlier preprints consult the xxx e-print archives (result of arxiv search).

-Asymptotics for general connexions at infinity (notes for my talk in Toulouse)
Version 1 (24/09/03): ps, pdf, dvi, tex

-The construction problem in Kahler geometry, to appear in English and in Russian translation in the volume "Different Faces of Geometry", International Mathematical Series, third volume Plenum/Kluwer, Tamara Rozhkovskaya, publisher of the Russian translation; Eds.: Mikhail Gromov, Simon K.Donaldson, Yakov Eliashberg. If you download the paper (ps, pdf, dvi, tex), please ask your library to purchase the book!

The Coq proof files which went with the first version of "Computer theorem-proving in math" are now bundled with a short note which also replaces one of the chapters which was removed in revision:
Set-theoretical mathematics in Coq (tex, ps, pdf, dvi), math.LO/0402336.
See the index file for the proof files (these come in a tar archive in the Arxiv version).

Posted:

---to the electromagnetic bubble emanating from our planet:
Waiting for Godel: the quantum nature of typical ambiguity (tex; ps ).