arXiv subjects
Publications and source records attributed to 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 to now, which concerns the formalization of category theory within a ZFC-like environment.
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003).
For a standard path of connections going to a generic point at infinity in the moduli space $M_{DR}$ of connections on a compact Riemann surface, we show that the Laplace transform of the family of monodromy matrices has an analytic continuation with locally finite branching. In particular the convex subset representing the exponential growth rate of the monodromy is a polygon, whose vertices are in a subset of points described explicitly in terms of the spectral curve. Unfortunately we don't get any information about the size of the singularities of the Laplace transform, which is why we can't get asymptotic expansions for the monodromy.