arXiv research

We review the string/gauge theory duality relating Chern-Simons theory and topological strings on noncompact Calabi-Yau manifolds, as well as its mathematical implications for knot invariants and enumerative geometry.

Conjectures on universal structures in algebraic geometry enumerative invariants.

Revisits SYM theory to compute Donaldson invariants using mock modular forms.

We define relative Gromov-Witten invariants of a symplectic manifold relative to a codimension two symplectic submanifold. These invariants are the key ingredients in the symplectic sum formula of [IP4]. The main step is the construction of a compact space of `V-stable' maps. Simple special cases include the Hurwitz nu…

In the symplectic category there is a `connect sum' operation that glues symplectic manifolds by identifying neighborhoods of embedded codimension two submanifolds. This paper establishes a formula for the Gromov-Witten invariants of a symplectic sum Z=X#Y in terms of the relative GW invariants of X and Y. Several appl…

We develop the theory of resolvent degree, introduced by Brauer \cite{Br} in order to study the complexity of formulas for roots of polynomials and to give a precise formulation of Hilbert's 13th Problem. We extend the context of this theory to enumerative problems in algebraic geometry, and consider it as an intrinsic…

Gromov-Witten invariants of a symplectic manifold are a count of holomorphic curves. We describe a formula expressing the GW invariants of a symplectic sum $X# Y$ in terms of the relative GW invariants of $X$ and $Y$. This formula has several applications to enumerative geometry. As one application, we obtain new relat…

In the paper we formulate and derive the family blowup formula of family Seiberg-Witten invariants. The formula has been used in the enumerative application of counting singular curves on algebraic surfaces. We first give a topological derivation of the formula by using family index theorem. Then we define the algebrai…

Survey of geometry developments, including complex structures on surfaces.

This note presents a formula for the enumerative invariants of arbitrary genus in toric surfaces. The formula computes the number of curves of a given genus through a collection of generic points in the surface. The answer is given in terms of certain lattice paths in the relevant Newton polygon. If the toric surface i…

The study counts minimal surfaces in 3-manifolds with positive Ricci curvature.

Review of instantons in noncommutative gauge theories across 4, 6, and 8 dimensions.

Let $X$ be a compact toric Kähler manifold with $-K_X$ nef. Let $L\subset X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$. Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a formula…

We study topological recursion on the irregular spectral curve $xy^2-xy+1=0$, which produces a weighted count of dessins d'enfant. This analysis is then applied to topological recursion on the spectral curve $xy^2=1$, which takes the place of the Airy curve $x=y^2$ to describe asymptotic behaviour of enumerative proble…

In this paper we consider an elementary, and largely unexplored, combinatorial problem in low-dimensional topology. Consider a real 2-dimensional compact surface $S$, and fix a number of points $F$ on its boundary. We ask: how many configurations of disjoint arcs are there on $S$ whose boundary is $F$? We find that thi…

We make a precision test of a recently proposed conjecture relating Chern-Simons gauge theory to topological string theory on the resolution of the conifold. First, we develop a systematic procedure to extract string amplitudes from vacuum expectation values (vevs) of Wilson loops in Chern-Simons gauge theory, and then…

The topological recursion of Eynard and Orantin governs a variety of problems in enumerative geometry and mathematical physics. The recursion uses the data of a spectral curve to define an infinite family of multidifferentials. It has been conjectured that, under certain conditions, the spectral curve possesses a non-c…

Calabi--Yau manifolds have risen to prominence in algebraic geometry, in part because of mirror symmetry and enumerative geometry. After Bershadsky--Cecotti--Ooguri--Vafa (BCOV), it is expected that genus 1 curve counting on a Calabi--Yau manifold is related to a conjectured invariant, only depending on the complex str…

Study on hypermaps and KP hierarchy, proving tau function and enumerative meaning.

Computes the Euler characteristic and rational homology of moduli spaces of multi-monopoles.

Revisits Vafa-Witten theory, deriving new invariants and homologies.

This is a survey of some recent developments in the study of complements of line arrangements in the complex plane. We investigate the fundamental groups and finite covers of those complements, focusing on homological and enumerative aspects. The unifying framework for this study is the stratification of the character …

Sequences of Nilsson type appear in abundance in Algebraic Geometry, Enumerative Combinatorics, Mathematical Physics and Quantum Topology. We give an elementary introduction on this subject, including the definition of sequences of Nilsson type and the uniqueness, existence, and effective computation of their asymptoti…

We study the following question: given a set P of 3d-2 points and an immersed curve G in the real plane R^2, all in general position, how many real rational plane curves of degree d pass through these points and are tangent to this curve. We count each such curve with a certain sign, and present an explicit formula for…

We define a new Hurwitz problem which is essentially a small core of the simple Hurwitz problem. The corresponding Hurwitz numbers have simpler formulae, satisfy effective recursion relations and determine the simple Hurwitz numbers. We also apply this idea of finding a smaller simpler enumerative problem to orbifold H…

This article provides a summary of arXiv:1701.08899 and arXiv:1701.08902 where the authors studied the enumerative geometry of nested Hilbert schemes of points and curves on algebraic surfaces and their connections to threefold theories, and in particular relevant Donaldson-Thomas, Vafa-Witten and Seiberg-Witten theori…

The present, partly expository, monograph consists of three parts. The first part treats Spin- and Pin-structures from three different perspectives and shows them to be suitably equivalent. It also introduces an intrinsic perspective on the relative Spin- and Pin-structures of Fukaya-Oh-Ohta-Ono and Solomon, establishe…

Study of knot complements yields quantum modularity insights.

Harer and Zagier proved a recursion to enumerate gluings of a $2d$-gon that result in an orientable genus $g$ surface, in their work on Euler characteristics of moduli spaces of curves. Analogous results have been discovered for other enumerative problems, so it is natural to pose the following question: how large is t…

RIn-Close_CVC is an efficient (take polynomial time per bicluster), complete (find all maximal biclusters), correct (all biclusters attend the user-defined level of consistency) and non-redundant (all the obtained biclusters are maximal and the same bicluster is not enumerated more than once) enumerative algorithm for …

Paper proves BGW tau-function can be represented as Q-polynomials.

Extends Thurston's combinatorial characterization to all branched coverings of the 2-sphere.

The paper establishes a formula for enumeration of curves of arbitrary genus in toric surfaces. It turns out that such curves can be counted by means of certain lattice paths in the Newton polygon. The formula was announced earlier in http://arxiv.org/abs/math.AG/0209253. The result is established with the help of the …

We give a complete characterization of all possible pairs (v,e), where v is the number of vertices and e is the number of edges, of any simplicial triangulation of an S^k-bundle over S^1. The main point is that Kuhnel's triangulations of S^{2k+1} x S^1 and the nonorientable S^{2k}-bundle over S^1 are unique among all t…

Lectures on link homology and its algebraic/geometric models.

For each sphere with three orbifold points, we construct an algorithm to compute the open Gromov-Witten potential, which serves as the quantum-corrected Landau-Ginzburg mirror and is an infinite series in general. This gives the first class of general-type geometries whose full potentials can be computed. As a conseque…

The book develops a new bordism-theoretic approach to understanding orientations of moduli spaces.

We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods direct…

Classical Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. Monotone Hurwitz numbers restrict the enumeration by imposing a further monotonicity condition on such factorisations. In …

We give an algorithm to compute the integer cohomology groups of any real partial flag manifold, by computing the incidence coefficients of the Schubert cells. For even flag manifolds we determine the integer cohomology groups, by proving that any torsion class has order 2 (generalizing a result of Ehresmann). We conje…

The Habiro ring of a number field uses power series to study algebraic K-theory.

In this note we derive enumerative formulas for several types of labelled acyclic directed graphs by slight modifications of the familiar recursive formula for simple acyclic digraphs. These considerations are motivated by, and based upon, recent combinatorial results in geometric topology obtained by S.Choi, who estab…

The study of the topology of real algebraic varieties dates back to the work of Harnack, Klein and Hilbert in the 19th century; in particular, the isotopy type classification of real algebraic curves in real toric surfaces is a classical subject that has undergone considerable evolution. On the other hand, not much is …

Constructs Morse homology for complex algebraic varieties.

Researchers found all embeddings of Kuratowski graphs on a double torus.

Geometrically, Legendrian surfaces related by surgery have related skein-valued cluster spaces.

Due to its potential to improve programmer productivity and software quality, automated program repair has been an active topic of research. Newer techniques harness neural networks to learn directly from examples of buggy programs and their fixes. In this work, we consider a recently identified class of bugs called va…

Paper proves orientability of gauge theory moduli spaces using bordism theory.