Carlos Simpson

Office tel: 04 92 07 62 74 - Dept fax: 04 93 51 79 74


Equipe de Géométrie Algébrique
Laboratoire J.-A. Dieudonné ( Annuaire)
Université de Nice - Sophia Antipolis,
Parc Valrose,
06108 Nice Cedex 02.


The conference in honor of André Hirschowitz's 61st birthday!

We are continuing in this tradition and in the tradition of the Cats1,2 conferences. Alessandro Chiodo organized the Journées orbifold in April 2006. And we are organizing a workshop on Higher stacks in algebraic geometry, May 15-19, 2006.

Current interests:

Experimental work on functions in Zermelo-Fraenkel, automation, ... (work in progress);

Some recent papers and preprints:

-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 ps, pdf,
see also the slides (in jpg images) for my talk at the Deligne conference in Princeton, Oct. 18th, 2005.

- 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

-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).

Preprints in preliminary form:

-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).


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

A thesis

Here is the thesis of Regis Pellissier: Categories enrichies faibles---version of June 25th, 2002, warning: 333 pages. Thesis director: Jean-Michel Lemaire. Please contact Regis at if you download and look at his thesis.

Possibilities for supervision of doctoral work

Student work

Une page pour la Fete de la Science 2005

BACK to our group or the laboratory, or the university.


European research network:EAGER;

French research network: GAC;