arXiv subjects

Aleksander Doan

Publications and source records attributed to Aleksander Doan.

13 recordsLinked to original sources

arXiv2025

A Morse complex for the homology of vanishing cycles

We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of the function, built from a normal crossing compactification of the variety. They are canonically isomorphic to the homology of vanishing cycles and -- in the absence of bifurcations at infinity -- recover the hypercohomology of the perverse sheaf of vanishing cycles, studied extensively in singularity theory and enumerative geometry. Our construction arises as a special case of a more general construction of Morse homology of non-compact manifolds that admit a compactification by a manifold with corners.

math.GT↗

arXiv2025

Pseudo-holomorphic curves with a fixed complex structure in positive symplectic manifolds

We prove a symplectic version of a conjecture of Lian and Pandharipande: in sufficiently high degree, the fixed-domain Gromov-Witten invariants of positive symplectic manifolds are signed counts of pseudo-holomorphic curves. The original conjecture in the complex algebraic setting was recently disproved by Beheshti et al. However, we show that the statement holds when the complex structure is replaced by a generic almost complex structure. The proof relies on showing that the fixed-domain Gromov-Witten pseudocycle can be constructed without the use of inhomogeneous or domain-dependent perturbations, which answers positively a question posed by Ruan and Tian.

math.SG↗

arXiv2024

Chambered invariants of real Cauchy-Riemann operators

Motivated by counting pseudo-holomorphic curves in symplectic Calabi-Yau $3$-folds, this article studies a chamber structure in the space of real Cauchy-Riemann operators on a Riemann surface, and constructs three chambered invariants associated with such operators: $n_{\mathrm{Bl}}$, $n_{1,2}$, $n_{2,1}$. The first of these invariants is defined by counting pseudo-holomorphic sections of bundles whose fibres are modeled on the blow-up of $\mathbf{C}^2/\{\pm 1\}$. The other two are defined by counting solutions to the ADHM vortex equations. We conjecture that $n_{1,2}$ and $n_{2,1}$ are related to putative symplectic invariants generalizing the Pandharipande-Thomas and rank $2$ Donaldson-Thomas invariants in algebraic geometry.

math.DG↗

arXiv2022

Holomorphic Floer Theory and the Fueter Equation

We outline a proposal for a $2$-category $\mathrm{Fuet}_M$ associated to a hyperk\"ahler manifold $M$, which categorifies the subcategory of the Fukaya category of $M$ generated by complex Lagrangians. Morphisms in this $2$-category are formally the Fukaya--Seidel categories of holomorphic symplectic action functionals. As such, $\mathrm{Fuet}_M$ is based on counting maps to $M$ satisfying the Fueter equation with boundary values on holomorphic Lagrangians. We make the first step towards constructing this category by establishing some basic analytic results about Fueter maps, such as the energy bound and maximum principle. When $M=T^*X$ is the cotangent bundle of a K\"ahler manifold $X$ and $(L_0, L_1)$ are the zero section and the graph of the differential of a holomorphic function $F: X \to \mathbb{C}$, we prove that all Fueter maps correspond to the complex gradient trajectories of $F$ in $X$, which relates our proposal to the Fukaya--Seidel category of $F$. This is a complexification of Floer's theorem on pseudo-holomorphic strips in cotangent bundles. Throughout the paper, we suggest problems and research directions for analysts and geometers that may be interested in the subject.

math.SG↗

arXiv2021

The Gopakumar-Vafa finiteness conjecture

The Gopakumar-Vafa conjecture predicts that the BPS invariants of a symplectic 6-manifold, defined in terms of the Gromov-Witten invariants, are integers and all but finitely many vanish in every homology class. The integrality part of this conjecture was proved earlier by Ionel and Parker. This article proves the finiteness part. The proof relies on a modification of Ionel and Parker's cluster formalism using results from geometric measure theory.

math.SG↗

arXiv2021

Castelnuovo's bound and rigidity in almost complex geometry

This article is concerned with the question of whether an energy bound implies a genus bound for pseudo-holomorphic curves in almost complex manifolds. After reviewing what is known in dimensions other than 6, we establish a new result in this direction in dimension 6; in particular, for symplectic Calabi-Yau 6-manifolds. The proof relies on compactness and regularity theorems for J-holomorphic currents.

math.SG↗

arXiv2020

Equivariant Brill-Noether theory for elliptic operators and super-rigidity of $J$-holomorphic maps

The space of Fredholm operators of fixed index is stratified by submanifolds according to the dimension of the kernel. Geometric considerations often lead to questions about the intersections of concrete families of elliptic operators with these submanifolds: are the intersections non-empty? are they smooth? what are their codimensions? The purpose of this article is to develop tools to address these questions in equivariant situations. An important motivation for this work are transversality questions for multiple covers of $J$-holomorphic maps. As an application, we use our framework to give a concise exposition of Wendl's proof of the super-rigidity conjecture.

math.DG↗

arXiv2020

Adiabatic limits and Kazdan-Warner equations

We study the limiting behaviour of solutions to abelian vortex equations when the volume of the underlying Riemann surface grows to infinity. We prove that the solutions converge smoothly away from finitely many points. The proof relies on a priori estimates for functions satisfying generalised Kazdan-Warner equations. We relate our results to the work of Hong, Jost, and Struwe on classical vortices, and that of Haydys and Walpuski on the Seiberg-Witten equations with multiple spinors.

math.DG↗

arXiv2020

Seiberg-Witten monopoles with multiple spinors on a surface times a circle

The Seiberg-Witten equation with multiple spinors generalises the classical Seiberg-Witten equation in dimension three. In contrast to the classical case, the moduli space of solutions $\mathcal{M}$ can be non-compact due to the appearance of so-called Fueter sections. In the absence of Fueter sections we define a signed count of points in $\mathcal{M}$ and show its invariance under small perturbations. We then study the equation on the product of a Riemann surface and a circle, describing $\mathcal{M}$ in terms of holomorphic data over the surface. We define analytic and algebro-geometric compactifications of $\mathcal{M}$, and construct a homeomorphism between them. For a generic choice of circle-invariant parameters of the equation, Fueter sections do not appear and $\mathcal{M}$ is a compact Kähler manifold. After a perturbation it splits into isolated points which can be counted with signs, yielding a number independent of the initial choice of the parameters. We compute this number for surfaces of low genus.

math.DG↗

arXiv2019

Counting embedded curves in symplectic 6-manifolds

Based on computations of Pandharipande, Zinger proved that the Gopakumar-Vafa BPS invariants $\mathrm{BPS}_{A,g}(X,\omega)$ for primitive Calabi-Yau classes and arbitrary Fano classes $A$ on a symplectic $6$-manifold $(X,\omega)$ agree with the signed count $n_{A,g}(X,\omega)$ of embedded $J$-holomorphic curves representing $A$ and of genus $g$ for a generic almost complex structure $J$ compatible with $\omega$. Zinger's proof of the invariance of $n_{A,g}(X,\omega)$ is indirect, as it relies on Gromov-Witten theory. In this article we give a direct proof of the invariance of $n_{A,g}(X,\omega)$. Furthermore, we prove that $n_{A,g}(X,\omega) = 0$ for $g \gg 1$, thus proving the Gopakumar-Vafa finiteness conjecture for primitive Calabi-Yau classes and arbitrary Fano classes.

math.SG↗

arXiv2018

Deformation theory of the blown-up Seiberg-Witten equation in dimension three

Associated with every quaternionic representation of a compact, connected Lie group there is a Seiberg-Witten equation in dimension three. The moduli spaces of solutions to these equations are typically non-compact. We construct Kuranishi models around boundary points of a partially compactified moduli space. The Haydys correspondence identifies such boundary points with Fueter sections - solutions of a non-linear Dirac equation - of the bundle of hyperkähler quotients associated with the quaternionic representation. We discuss when such a Fueter section can be deformed to a solution of the Seiberg-Witten equation.

math.DG↗

arXiv2018

On counting associative submanifolds and Seiberg-Witten monopoles

Building on ideas from [DT98; DS11; Wal17; Hay17], we outline a proposal for constructing Floer homology groups associated with a G2-manifold. These groups are generated by associative submanifolds and solutions of the ADHM Seiberg-Witten equations. The construction is motivated by the analysis of various transitions which can change the number of associative submanifolds. We discuss the relation of our proposal to Pandharipande and Thomas' stable pair invariant of Calabi-Yau 3-folds.

math.DG↗

arXiv2018

On the existence of harmonic $\mathbf{Z}_2$ spinors

We prove the existence of singular harmonic ${\bf Z}_2$ spinors on $3$-manifolds with $b_1 > 1$. The proof relies on a wall-crossing formula for solutions to the Seiberg-Witten equation with two spinors. The existence of singular harmonic ${\bf Z}_2$ spinors and the shape of our wall-crossing formula shed new light on recent observations made by Joyce regarding Donaldson and Segal's proposal for counting $G_2$-instantons.

math.DG↗