arXiv Science⌕ Search

arXiv subjects

Carlos Simpson

Publications and source records attributed to Carlos Simpson.

At least 19 recordsLinked to original sources
arXiv2026

Torsion of extended Chern-Simons classes for canonical extensions of flat bundles

Let $X$ be a smooth complex projective variety and $D = D_1+\cdots+D_k\subset X$ a divisor with simple normal crossings. Consider Deligne's canonical extension $(F,\nabla)$ of a flat algebraic vector bundle on $X^*:=X\setminus D$ with unipotent monodromy around every component of $D$. We define and compare the various constructions of the extended Chern-Simons classes $$ \mathrm{CS}_p(\nabla^{\mathrm{Del}})\;\in\; H^{2p-1}(X,\mathbb{C}/\mathbb{Z}),\, p\geq 1, $$ attached to $(F,\nabla)$. Our main theorem states that $\mathrm{CS}_p(\nabla^{\mathrm{Del}})$ is torsion in $H^{2p-1}(X,\mathbb{C}/\mathbb{Z})$, for every $p\geq 2$, extending \cite{Reznikov}, \cite{Reznikov2}, \cite{IS-arXiv},\cite{IS-2div}). We treat the case of quasi-unipotent local monodromies via locally abelian parabolic bundles, and deduce the torsion of Chern-Simons classes. We also extend the Deligne-Sullivan theorem \cite{DeSu} on triviality of flat bundle on a finite covering of a smooth manifold, to that of a canonical extension, and provide torsion-bounds on the extended characteristic classes.

math.AG↗
arXiv2026

Calabi-Yau Threefold Singularities and their Universal Quilts

We introduce the notion of universal quilt for toric CY3 singularities and construct examples when the universal quilts are themselves smooth Calabi-Yau threefolds. Such quilts are designed to contain all of the crepant resolutions of the given singularity. To obtain universal quilts we implement an algorithm that computes all triangulations for any given planar polygon. We also introduce the notion of quilt stack, to address the question of finding the most likely smooth configuration preceding a given singularity.

math.AG↗
arXiv2026

Regulators of canonical extensions are torsion:the case of two transversally intersecting smooth divisors

This note extends the main result of \cite{IS} 2007 --- torsion of the extended Chern--Simons (regulator) classes of the Deligne canonical extension of a flat bundle with unipotent monodromy at infinity --- from the case of a smooth irreducible boundary divisor to the case of a boundary divisor $D = D_1\cup D_2$ with two smooth irreducible components meeting transversally along a smooth center $Z=D_1\cap D_2$. Let $X$ be a smooth projective variety defined over $\mathbb{C}$, and $U:=X-D$. Given a flat bundle $(E,\nabla)$ on $U$ with unipotent monodromy around the components of $D$ consider Deligne's canonical extension $(\overline{E},\overline{\nabla})$ on $X$. Then the extended Chern-Simons classes $$ c_p(\overline{E},\overline{\nabla})\in H^{2p-1}(X,\mathbb{C}/\mathbb{Z}) $$ are torsion, for $p\geq 2$. These notes were prepared in 2009-2010, and the preprint \cite[2026]{IS2} treats the full normal crossing case via a different approach.

math.AG↗
arXiv2026

K\"ahler thresholds

The topology of K\"ahler manifolds is largely determined by the geometry due to its rigidity. In particular, the cohomology and Hodge theory of compact K\"ahler manifolds is quite restricted. We prove that within a certain threshold, the odd Betti numbers of any compact almost-hermitian manifold satisfying a degenerate K\"ahler condition are even, and the even Betti numbers are strictly positive. We call this new type of degenerated K\"ahler manifold acK. Our approach to proving these results makes use of a compactness theorem for acK manifolds, and a new version of Hodge theory for compact manifolds endowed with a Sobolev regular K\"ahler strucutre. In addition, we lay out a program to pursue the study of acK geometry that accommodates not only the classical viewpoint, but also constructive and finitary proofs, as well as formalization with proof assistants.

math.AG↗
arXiv2024

Twistor Hecke eigensheaves in genus 2

Following the strategy outlined in [DP09] arXiv:math/0604617 and [DP22] arXiv:math/0604617 for bundles of rank 2 on a smooth projective curve of genus $2$, we construct flat connections over the moduli of stable bundles, with singularities along the wobbly locus. We verify that the associated $D$-modules are Hecke eigensheaves. The local systems are constructed by the nonabelian Hodge correspondence from Higgs bundles. The spectral varieties of the Higgs bundles are the Hitchin fibers corresponding to the Hecke eigenvalues.

math.AG↗
arXiv2023

Twistor space for local systems on an open curve

Let $X=\overline{X}-D$ be a smooth quasi-projective curve. In arXiv:2110.12300 we constructed a Deligne-Hitchin modui space with Hecke gauge groupoid for connections of rank $2$. We extend this construction to the case of any rank $r$, although still keeping a genericity hypothesis. The formal neighborhood of a preferred section corresponding to a tame harmonic bundle is governed by a mixed twistor structure.

math.AG↗
arXiv2022

Simple semigroups in finite categories

In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is going to contain a simple semigroup. We also prove the other direction, that if we have a Rees matrix semigroup we can construct a category with two objects such that one of the objects is a group.

math.CT↗
arXiv2021

Spectral networks and stability conditions for Fukaya categories with coefficients

Given a holomorphic family of Bridgeland stability conditions over a surface, we define a notion of spectral network which is an object in a Fukaya category of the surface with coefficients in a triangulated DG-category. These spectral networks are analogs of special Lagrangian submanifolds, combining a graph with additional algebraic data, and conjecturally correspond to semistable objects of a suitable stability condition on the Fukaya category with coefficients. They are closely related to the spectral networks of Gaiotto--Moore--Neitzke. One novelty of our approach is that we establish a general uniqueness results for spectral network representatives. We also verify the conjecture in the case when the surface is disk with six marked points on the boundary and the coefficients category is the derived category of representations of an $A_2$ quiver. This example is related, via homological mirror symmetry, to the stacky quotient of an elliptic curve by the cyclic group of order six.

math.AG↗
arXiv2021

The twistor geometry of parabolic structures in rank two

Let $X$ be a quasi-projective curve, compactified to $(Y,D)$ with $X=Y-D$. We construct a Deligne-Hitchin twistor space out of moduli spaces of framed $\lambda$-connections of rank $2$ over $Y$ with logarithmic singularities and quasi-parabolic structure along $D$. To do this, one should divide by a Hecke-gauge groupoid. Tame harmonic bundles on $X$ give preferred sections, and the relative tangent bundle along a preferred section has a mixed twistor structure with weights $0,1,2$. The weight $2$ piece corresponds to the deformations of the KMS structure including parabolic weights and the residues of the $\lambda$-connection.

math.AG↗
arXiv2016

Reduction for $SL(3)$ pre-buildings

Given an $SL(3)$ spectral curve over a simply connected Riemann surface, we describe in detail the reduction steps necessary to construct the core of a pre-building with versal harmonic map whose differential is given by the spectral curve.

math.AG↗
arXiv2016

Rank 3 rigid representations of projective fundamental groups

Let X be a smooth complex projective variety with basepoint x. We prove that every rigid integral irreducible representation $\pi_1(X,x)\to SL (3,{\mathbb C})$ is of geometric origin, i.e., it comes from some family of smooth projective varieties. This partially generalizes an earlier result by K. Corlette and the second author in the rank 2 case and answers one of their questions.

math.AG↗
arXiv2015

Approximate categorical structures

We consider notions of metrized categories, and then approximate categorical structures defined by a function of three variables generalizing the notion of $2$-metric space. We prove an embedding theorem giving sufficient conditions for an approximate categorical structure to come from an inclusion into a metrized category.

math.CT↗
arXiv2015

The dual boundary complex of the $SL_2$ character variety of a punctured sphere

Suppose $C_1,\ldots , C_k$ are generic conjugacy classes in $SL_2({\mathbb C})$. Consider the character variety of local systems on ${\mathbb P}^1-\{ y_1,\ldots , y_k\}$ whose monodromy transformations around the punctures $y_i$ are in the respective conjugacy classes $C_i$. We show that the dual boundary complex of this character variety is homotopy equivalent to a sphere of dimension $2(k-3)-1$.

math.AG↗
arXiv2015

Constructing Buildings and Harmonic Maps

In a continuation of our previous work, we outline a theory which should lead to the construction of a universal pre-building and versal building with a $\phi$-harmonic map from a Riemann surface, in the case of two-dimensional buildings for the group $SL_3$. This will provide a generalization of the space of leaves of the foliation defined by a quadratic differential in the classical theory for $SL_2$. Our conjectural construction would determine the exponents for $SL_3$ WKB problems, and it can be put into practice on examples.

math.AG↗
arXiv2013

Harmonic Maps to Buildings and Singular Perturbation Theory

The notion of a universal building associated with a point in the Hitchin base is introduced. This is a building equipped with a harmonic map from a Riemann surface that is initial among harmonic maps which induce the given cameral cover of the Riemann surface. In the rank one case, the universal building is the leaf space of the quadratic differential defining the point in the Hitchin base. The main conjectures of this paper are: (1) the universal building always exists; (2) the harmonic map to the universal building controls the asymptotics of the Riemann-Hilbert correspondence and the non-abelian Hodge correspondence; (3) the singularities of the universal building give rise to Spectral Networks; and (4) the universal building encodes the data of a 3d Calabi-Yau category whose space of stability conditions has a connected component that contains the Hitchin base. The main theorem establishes the existence of the universal building, conjecture (3), as well as the Riemann-Hilbert part of conjecture (2), in the case of the rank two example introduced in the seminal work of Berk-Nevins-Roberts on higher order Stokes phenomena. It is also shown that the asymptotics of the Riemann-Hilbert correspondence is always controlled by a harmonic map to a certain building, which is constructed as the asymptotic cone of a symmetric space.

math.AG↗
arXiv2004

Set-theoretical mathematics in Coq

We give a brief discussion of some of the issues which have arisen in the course of formalizing some classical set-theoretical mathematics in the Coq system. This sprouts from, expands and replaces a chapter of math.HO/0311260 which will be removed in revision, and also contains as a tar-attachment to the source file the revised and expanded version of the proof development which had been attached to math.HO/0311260.

math.LO↗
arXiv2001

Some properties of the theory of n-categories

Let $L_n$ denote the Dwyer-Kan localization of the category of weak n-categories divided by the n-equivalences. We propose a list of properties that this simplicial category is likely to have, and conjecture that these properties characterize $L_n$ up to equivalence. We show, using these properties, how to obtain the morphism $n-1$-categories between two points in an object of $L_n$ and how to obtain the composition map between the morphism objects.

math.CT↗