Searcharxiv⌕ Search

arXiv subjects

Richard P Thomas

Publications and source records attributed to Richard P Thomas.

3 recordsLinked to original sources

A Hopf index for isotropic sections of orthogonal bundles

The Hopf index equates the multiplicity of a zero of a section of a vector bundle with a winding number. We give eight analogues for isotropic sections of bundles with quadratic form. There are applications to cosection localised virtual cycles and to DT$^4$ virtual cycles.

math.AG↗

Virtual signed Euler characteristics

Roughly speaking, to any space $M$ with perfect obstruction theory we associate a space $N$ with symmetric perfect obstruction theory. It is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$ as its zero section. It is locally the critical locus of a function. More precisely, in the language of derived algebraic geometry, to any quasi-smooth space $M$ we associate its $(-1)$-shifted cotangent bundle $N$. By localising from $N$ to its $\mathbb C^*$-fixed locus $M$ this gives five notions of virtual signed Euler characteristic of $M$: (1) The Ciocan-Fontanine-Kapranov/Fantechi-Göttsche signed virtual Euler characteristic of $M$ defined using its own obstruction theory, (2) Graber-Pandharipande's virtual Atiyah-Bott localisation of the virtual cycle of $N$ to $M$, (3) Behrend's Kai-weighted Euler characteristic localisation of the virtual cycle of $N$ to $M$, (4) Kiem-Li's cosection localisation of the virtual cycle of $N$ to $M$, (5) $(-1)^{vd}$ times by the topological Euler characteristic of $M$. Our main result is that (1)=(2) and (3)=(4)=(5). The first two are deformation invariant while the last three are not.

math.AG↗

Separatedness of moduli of K-stable varieties

Given a one parameter flat family of polarized algebraic varieties, we show that any K-stable limit is unique. In particular, moduli spaces of K-stable polarized varieties are automatically Hausdorff when they exist. We also give a characterization of K-stable limits in terms of the CM line bundle, and some applications to moduli. Our methods work for arbitrary projective schemes in any characteristic.

math.AG↗