arXiv research

We give a characterisation of Atiyah's and Hitchin's transverse Hilbert schemes of points on a symplectic surface in terms of bi-Poisson structures. Furthermore, we describe the geometry of hyperkähler manifolds arising from the transverse Hilbert scheme construction, with particular attention paid to the monopole modu…

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 application…

In this paper, we investigate the geometry of the orbit space of the closure of the subscheme parametrizing smooth Fano Kähler-Einstein manifolds inside an appropriate Hilbert scheme. In particular, we prove that being K-semistable is a Zariski open condition and establish the uniqueness for the Gromov-Hausdorff limit …

Defines and classifies toric co-Higgs bundles on projective toric varieties.

We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed topological type. These spaces embed onto connected subsets of real points inside a c…

Constructs moduli stacks of quiver bundles and applies to Higgs bundles.

We study generalisations to the structure groups U(n) of the familiar (abelian) Seiberg-Witten monopole equations on a four-manifold $X$ and their moduli spaces. For $n=1$ one obtains the classical monopole equations. For $n > 1$ our results indicate that there should not be any non-trivial gauge-theoretical invariants…

We study codimension one holomorphic distributions on the projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2 with locally free tangent sheaves, and show that codimension one distr…

We introduce and analyze a new geometric structure on topological surfaces generalizing the complex structure. To define this so called higher complex structure we use the punctual Hilbert scheme of the plane. The moduli space of higher complex structures is defined and is shown to be a generalization of the classical …

We construct master spaces for oriented torsion free sheaves coupled with morphisms into a fixed reference sheaf. These spaces are projective varieties endowed with a natural $\C^*$-action. The fixed point set of this action contains the moduli space of semistable oriented torsion free sheaves and the quot scheme assoc…

Constructs moduli stacks for quiver connections and extends non-Abelian Hodge theory.

Constructs a new geometric structure on surfaces to generalize Teichmüller theory.

We define and analyze various generalizations of the punctual Hilbert scheme of the plane, associated to complex or real Lie algebras. Out of these, we construct new geometric structures on surfaces whose moduli spaces share multiple properties with Hitchin components, and which are conjecturally homeomorphic to them. …

In this paper, we study rational sections of the relative Picard scheme of a linear system on a smooth projective variety. We prove that if the linear system is basepoint-free and the locus of non-integral divisors has codimension at least two, then all rational sections of the relative Picard scheme come from restrict…

Constructs a moduli space for PDEs, linking stability to geometric metrics.

Study moduli spaces of elliptic PDEs using derived $C^{\infty}$-geometry.

New techniques compute $L^2$-cohomology of quasi-fibered metrics.

Let $X$ be a compact connected Riemann surface of genus at least two, and let ${\mathcal Q}_X(r,d)$ be the quot scheme that parametrizes all the torsion coherent quotients of ${\mathcal O}^{\oplus r}_X$ of degree $d$. This ${\mathcal Q}_X(r,d)$ is also a moduli space of vortices on $X$. Its geometric properties have be…

Paper studies metric ribbon graphs and provides a recursion for their volumes.

Study of Hilbert schemes and Coulomb branches of hypertoric varieties.

Virtual invariants defined from sheaves on surfaces.

New geometric quantisation scheme for hyper-Kähler manifolds.

Foundations of derived geometry in smooth settings.

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

We show that the regular Slodowy slice to the sum of two semisimple adjoint orbits of $GL(n,C)$ is isomorphic to the deformation of the $D_2$-singularity if $n=2$, the Dancer deformation of the double cover of the Atiyah-Hitchin manifold if $n=3$, and to the Atiyah-Hitchin manifold itself if $n=4$. For higher $n$, such…

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation $Φ_f:C^\infty(X)^n\to C^\infty(X)$ acting by $Φ_f:(c_1,\ldots,c_n)\mapsto f(c_1,...,c_n)$, a…

Let $({\bf X},ω_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb Z$, and $X_{\rm an}$ the underlying complex analytic topological space. We prove that …

We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified grou…

Constructs Lagrangian correspondences for Higgs bundles and holomorphic connections.

This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certai…

In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow c…

The study classifies and analyzes two-dimensional holomorphic distributions on a four-dimensional projective space.

Let X be a compact connected Riemann surface of genus at least two. Fix positive integers r and d. Let Q denote the Quot scheme that parametrizes the torsion quotients of {\mathcal O}^{\oplus r}_X of degree d. This Q is also the moduli space of vortices for the standard action of U(r) on {\mathbb C}^r. The group \text{…

We study moduli space of holomorphic triples $E_{1}\xrightarrowφ E_{2}$, composed of torsion-free sheaves $E_{i}, i=1,2$ and a holomorphic mophism between them, over a smooth complex projective surface $S$. The triples are equipped with Schmitt stability condition [Alg Rep Th. 6. 1. pp 1-32, 2003]. We observe that when…

A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained. The calculation utilizes the homeomorphism between the moduli…

A recent paper (arxiv.org:1810.00025) studied properties of a compactification of the moduli space of irreducible Hermitian-Yang-Mills connections on a hermitian bundle over a projective algebraic manifold. In this follow-up note, we show that the Yang-Mills flow at infinity on the space of semistable integrable connec…

New conjectures link SU(r) Vafa-Witten invariants to Ramanujan's continued fractions.

We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $χ_{10}$ and Borcherds type lifts of three quasi-Jacobi forms which are all related to the Weierstrass elliptic function. We also …

In a pair of papers, we construct invariants for smooth four-manifolds equipped with `broken fibrations' - the singular Lefschetz fibrations of Auroux, Donaldson and Katzarkov - generalising the Donaldson-Smith invariants for Lefschetz fibrations. The `Lagrangian matching invariants' are designed to be comparable with …

Proves Weinstein's and Arnold's conjectures using contact instantons.

Let $\mathcal{G}$ be a parahoric group scheme over a complex projective curve $X$ of genus greater than one. Let $\mathrm{Bun}_{\mathcal{G}}$ denote the moduli stack of $\mathcal{G}$-torsors on $X$. We prove several results concerning the Hitchin map on $T^*\!\mathrm{Bun}_{\mathcal{G}}$. We first show that the parahori…

Develops moduli theory for Calabi-Yau pairs, constructing a projective space.

We construct a metric on the moduli space of bodies in Euclidean space. The moduli space is defined as the quotient space with respect to the action of integral affine transformations. This moduli space contains a subspace, the moduli space of Delzant polytopes, which can be identified with the moduli space of symplect…

Constructs moduli spaces for complex affine and dilation surfaces.

We conjecture a formula for the refined $\mathrm{SU}(3)$ Vafa-Witten invariants of any smooth surface $S$ satisfying $H_1(S,\mathbb{Z}) = 0$ and $p_g(S)>0$. The unrefined formula corrects a proposal by Labastida-Lozano and involves unexpected algebraic expressions in modular functions. We prove that our formula satisfi…

Study special Lagrangian moduli spaces with boundary.

New Poisson structures found on Higgs bundle moduli spaces.

Researchers compute the heterotic moduli-space metric up to $α'^2$.