BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

R. P. Thomas

R. P. Thomas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGhep-thmath.SGmath.CVmath.DG

Catalog footprint

What is connected

13works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2016arXiv

13/2 ways of counting curves

In the past 20 years, compactifications of the families of curves in algebraic varieties X have been studied via stable maps, Hilbert schemes, stable pairs, unramified maps, and stable quotients. Each path leads to a different enumeration of curves. A common thread is the use of a 2-term deformation/obstruction theory to define a virtual fundamental class. The richest geometry occurs when X is a nonsingular projective variety of dimension 3. We survey here the 13/2 principal ways to count curves with special attention to the 3-fold case. The different theories are linked by a web of conjectural relationships which we highlight. Our goal is to provide a guide for graduate students looking for an elementary route into the subject.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An obstructed bundle on a Calabi-Yau 3-fold

Mirror symmetry suggests that on a Calabi-Yau 3-fold moduli spaces of stable bundles, especially those with degree zero and indivisible Chern class, might be smooth (i.e. unobstructed, though perhaps of too high a dimension). This is because smoothly embedded special lagrangian cycles in the mirror have unobstructed deformations. As there does not seem to be a counterexample in the literature we provide one here, showing that such a Tian-Todorov-McLean-type result cannot hold.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Notes on the proof of the KKV conjecture

The Katz-Klemm-Vafa conjecture expresses the Gromov-Witten theory of K3 surfaces (and K3-fibred 3-folds in fibre classes) in terms of modular forms. Its recent proof gives the first non-toric geometry in dimension greater than 1 where Gromov-Witten theory is exactly solved in all genera. We survey the various steps in the proof. The MNOP correspondence and a new Pairs/Noether-Lefschetz correspondence for K3-fibred 3-folds transform the Gromov-Witten problem into a calculation of the full stable pairs theory of a local K3-fibred 3-fold. The stable pairs calculation is then carried out via degeneration, localisation, vanishing results, and new multiple cover formulae.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reduced classes and curve counting on surfaces I: theory

We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles. We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP conjecture, and allows us to generalise the Göttsche conjecture to the non-ample case. In a sequel we prove this generalisation. We prove a remarkable property of the moduli space of stable pairs on a surface. It is the zero locus of a section of a bundle on a smooth compact ambient space, making calculation with the reduced virtual cycle possible.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Counting curves on surfaces in Calabi-Yau 3-folds

Motivated by S-duality modularity conjectures in string theory, we define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs $Z\subset H$ in a Calabi-Yau threefold X. Here H is a member of a sufficiently positive linear system and Z is a 1-dimensional subscheme of it. The associated sheaf is the ideal sheaf of $Z\subset H$, pushed forward to X and considered as a certain Joyce-Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A short proof of the Göttsche conjecture

We prove that for a sufficiently ample line bundle $L$ on a surface $S$, the number of $δ$-nodal curves in a general $δ$-dimensional linear system is given by a universal polynomial of degree $δ$ in the four numbers $L^2,\,L.K_S,\,K_S^2$ and $c_2(S)$. The technique is a study of Hilbert schemes of points on curves on a surface, using the BPS calculus of [PT3] and the computation of tautological integrals on Hilbert schemes by Ellingsrud, Göttsche and Lehn. We are also able to weaken the ampleness required, from Göttsche's $(5δ-1)$-very ample to $δ$-very ample.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reduced classes and curve counting on surfaces II: calculations

We calculate the stable pair theory of a projective surface $S$. For fixed curve class $β\in H^2(S)$ the results are entirely topological, depending on $β^2$, $β.c_1(S)$, $c_1(S)^2$, $c_2(S)$, $b_1(S)$ \emph{and} invariants of the ring structure on $H^*(S)$ such as the Pfaffian of $β$ considered as an element of $Λ^2 H^1(S)^*$. Amongst other things, this proves an extension of the Göttsche conjecture to non-ample linear systems. We also give conditions under which this calculates the full 3-fold reduced residue theory of $K_S$. This is related to the reduced residue Gromov-Witten theory of $S$ via the MNOP conjecture. When the surface has no holomorphic 2-forms this can be expressed as saying that certain Gromov-Witten invariants of $S$ are topological. Our method uses the results of \cite{KT1} to express the reduced virtual cycle in terms of Euler classes of bundles over a natural smooth ambient space.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Deformation-obstruction theory for complexes via Atiyah and Kodaira--Spencer classes

We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Curves on K3 surfaces and modular forms

We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $λ_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Weighted projective embeddings, stability of orbifolds and constant scalar curvature Kähler metrics

We embed polarised orbifolds with cyclic stabiliser groups into weighted projective space via a weighted form of Kodaira embedding. Dividing by the (non-reductive) automorphisms of weighted projective space then formally gives a moduli space of orbifolds. We show how to express this as a reductive quotient and so a GIT problem, thus defining a notion of stability for orbifolds. We then prove an orbifold version of Donaldson's theorem: the existence of an orbifold Kahler metric of constant scalar curvature implies K-semistability. By extending the notion of slope stability to orbifolds we therefore get an explicit obstruction to the existence of constant scalar curvature orbifold Kahler metrics. We describe the manifold applications of this orbifold result, and show how many previously known results (Troyanov, Ghigi-Kollar, Rollin-Singer, the AdS/CFT Sasaki-Einstein obstructions of Gauntlett-Martelli-Sparks-Yau) fit into this framework.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

The 3-fold vertex via stable pairs

The theory of stable pairs in the derived category yields an enumerative geometry of curves in 3-folds. We evaluate the equivariant vertex for stable pairs on toric 3-folds in terms of weighted box counting. In the toric Calabi-Yau case, the result simplifies to a new form of pure box counting. The conjectural equivalence with the DT vertex predicts remarkable identities. The equivariant vertex governs primary insertions in the theory of stable pairs for toric varieties. We consider also the descendent vertex and conjecture the complete rationality of the descendent theory for stable pairs.

0 citations0 reviewsNo code linkedOpen access