arXiv subjects

Chris Woodward

Publications and source records attributed to Chris Woodward.

At least 19 recordsLinked to original sources

arXiv2026

Invariance of Immersed Floer cohomology under Maslov flows

We show that immersed Lagrangian Floer cohomology in compact rational symplectic manifolds is invariant under Maslov flows such as coupled mean curvature/Kaehler-Ricci flow in the sense of Smoczyk as a pair of self-intersection points is born or dies at a self-tangency, using results of Ekholm-Etnyre-Sullivan. This proves part of a conjecture of Joyce. We give a lower bound on the time for which the Floer cohomology is invariant under the (forward or backwards) flow, if it exists. This post-publication has an erratum written jointly with Hadi Azizi, which fills in a missing case in the proof Lemma 7.9 (b).

math.SG↗

arXiv2025

Invariance of immersed Floer cohomology under Lagrangian surgery

We show that Floer cohomology of an immersed Lagrangian brane is invariant under smoothing of a self-intersection point if the quantum valuation of the weakly bounding cochain vanishes and the Lagrangian has dimension at least two. The chain-level map replaces the two orderings of the self-intersection point with meridianal and longitudinal cells on the handle created by the surgery, and uses a bijection between holomorphic disks developed by Fukaya-Oh-Ohta-Ono. Our result generalizes invariance of potentials for certain Lagrangian surfaces in Dimitroglou-Rizell--Ekholm--Tonkonog, and implies the invariance of Floer cohomology under mean curvature flow with this type of surgery, as conjectured by Joyce.

math.SG↗

arXiv2025

Splitting the diagonal for broken maps

In previous work, we introduced a version of the Fukaya algebra associated to a degeneration of a symplectic manifold, whose structure maps count collections of maps in the components of the degeneration satisfying matching conditions. In this paper, we introduce a further degeneration of the matching conditions (similar in spirit to Bourgeois' version of symplectic field theory) which results in a "split Fukaya algebra" whose structure maps are, in good cases, sums of products over vertices of tropical graphs. In the case of toric Lagrangians contained in a toric component of the degeneration, an invariance argument implies the existence of projective Maurer-Cartan solutions, which gives an alternate proof of the unobstructedness result of Fukaya-Oh-Ohta-Ono for toric manifolds. Our result also proves unobstructedness in more general cases, such as for toric Lagrangians in almost toric four-manifolds.

math.SG↗

arXiv2024

Quantum cohomology and toric minimal model programs

We give a quantum version of the Danilov-Jurkiewicz presentation of the cohomology of a compact toric orbifold with projective coarse moduli space. More precisely, we construct a canonical isomorphism from a formal version of the Batyrev ring to the quantum orbifold cohomology at a canonical bulk deformation. This isomorphism generalizes results of Givental, Iritani, and Fukaya-Oh-Ohta-Ono for toric manifolds and Coates-Lee-Corti-Tseng for weighted projective spaces. The proof uses a quantum version of Kirwan surjectivity and an equality of dimensions deduced using a toric minimal model program (tmmp). We show that there is a natural decomposition of the quantum cohomology where summands correspond to singularities in the tmmp, each giving rise to a collection of Hamiltonian non-displaceable tori.

math.AG↗

arXiv2022

Quantum Kirwan for quantum K-theory

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack with projective coarse moduli space. As an example, we give a presentation of the (possibly bulk-shifted) quantum K-theory of any smooth proper toric Deligne-Mumford stack with projective coarse moduli space. We also provide awall-crossing formula for the K-theoretic gauged potential under variation of git quotient, a proof of the invariance of certain K-theoretic Gromov-Witten invariants under (strong) crepant transformation assumptions, and a proof of a version of the abelian non-abelian correspondence.

math.AG↗

arXiv2020

An open quantum Kirwan map

We construct a morphism from the equivariant Fukaya algebra of a Lagrangian brane in the zero level set of a moment map of a Hamiltonian action to the Fukaya algebra of the quotient brane. This morphism induces a map between Maurer-Cartan solution spaces, and intertwines the disk potentials. As an application, we show under some technical hypotheses that weak unobstructedness of an invariant Lagrangian brane implies weak unobstructedness of its quotient. For semi-Fano toric manifolds we give a different proof of the open mirror theorem of Chan-Lau-Leung-Tseng by showing that the potential of a Lagrangian toric orbit in a toric manifold is related to the Givental-Hori-Vafa potential by a change of variable. We also reprove the results of Fukaya-Oh-Ohta-Ono on weak unobstructedness of these toric orbits. In the case of polygon spaces we show the existence of weakly unobstructed and Floer nontrivial products of spheres.

math.SG↗

arXiv2020

Tropical Fukaya Algebras

We introduce a tropical version of the Fukaya algebra of a Lagrangian submanifold. Tropical graphs arise as large-scale behavior of pseudoholomorphic disks under a multiple cut operation on a symplectic manifold that produces a collection of cut spaces each containing relative normal crossing divisors, following works of Ionel and Brett Parker. Given a Lagrangian submanifold in the complement of the relative divisors in one of the cut spaces, the structure maps of the broken Fukaya algebra count broken disks associated to rigid tropical graphs. We apply the results to give various computations of potentials, such as those of Lagrangians in cubic surfaces and flag varieties.

math.SG↗

arXiv2019

Exact triangle for fibered Dehn twists

We use quilted Floer theory to generalize Seidel's long exact sequence in symplectic Floer theory to fibered Dehn twists. We then apply it to construct versions of the Floer and Khovanov-Rozansky exact triangles in Lagrangian Floer theory of moduli spaces of bundles.

math.SG↗

arXiv2018

Floer field theory for coprime rank and degree

We construct partial category-valued field theories in (2+1)-dimensions using Lagrangian Floer theory in moduli spaces of central-curvature unitary connections with fixed determinant of rank r and degree d where r,d are coprime positive integers. These theories associate to a closed, connected, oriented surface the Fukaya category of the moduli space, and to a connected bordism between two surfaces a functor between the Fukaya categories. We obtain the latter by combining Cerf theory with holomorphic quilt invariants.

math.SG↗

arXiv2017

Orientations for pseudoholomorphic quilts

We construct orientations on moduli spaces of pseudoholomorphic quilts with seam conditions in Lagrangian correspondences equipped with relative spin structures and determine the effect of various gluing operations on the orientations. We also investigate the behavior of the orientations under composition of Lagrangian correspondences.

math.SG↗

arXiv2017

Floer trajectories and stabilizing divisors

We incorporate pearly Floer trajectories into the transversality scheme for pseudoholomorphic maps introduced by Cieliebak-Mohnke. By choosing generic domain-dependent almost complex structures we obtain zero and one-dimensional moduli spaces with the structure of cell complexes with rational fundamental classes. This gives a definition of Floer cohomology over Novikov rings via stabilizing divisors for compact symplectic manifolds with rational symplectic classes and Lagrangians that are fixed point sets of anti-symplectic involutions satisfying certain Maslov index conditions, in particular, Hamiltonian Floer cohomology.

math.SG↗

arXiv2017

Fukaya algebras via stabilizing divisors

We use the technique of stabilizing divisors introduced by Cieliebak-Mohnke to construct finite dimensional, strictly unital Fukaya algebras of compact, oriented, relatively spin Lagrangians in compact symplectic manifolds with rational symplectic classes. The homotopy type of the algebra and the moduli space of solutions to the weak Maurer-Cartan equation are shown to be independent of the choice of perturbation data. The Floer cohomology is the cohomology of a complex of vector bundles over the space of solutions to the weak Maurer-Cartan equation and is shown to be independent of the choice of perturbation data up to gauge equivalence.

math.SG↗

arXiv2016

Quantum Witten localization and abelianization for qde solutions

We prove a quantum version of the localization formula of Witten that relates invariants of a git quotient with the equivariant invariants of the action. Using the formula we prove a quantum version of an abelianization formula of S. Martin relating invariants of geometric invariant theory quotients by a group and its maximal torus, conjectured by Bertram, Ciocan-Fontanine, and Kim. By similar techniques we prove a quantum Lefschetz principle for holomorphic symplectic reductions. As an application, we give a formula for the fundamental solution to the quantum differential equation (qde) for the moduli space of points on the projective line and for the smoothed moduli space of framed sheaves on the projective plane (a Nakajima quiver variety).

math.SG↗

arXiv2016

Floer field theory for tangles

We use quilted Floer theory to construct functor-valued invariants of tangles arising from moduli spaces of flat bundles on punctured surfaces. As an application, we show the non-triviality of certain elements in the symplectic mapping class groups of moduli spaces of flat bundles on punctured spheres.

math.SG↗

arXiv2015

Gauged Gromov-Witten theory for small spheres

For smooth projective G-varieties, we equate the gauged Gromov-Witten invariants for sufficiently small area and genus zero with the invariant part of equivariant Gromov-Witten invariants. As an application we deduce a gauged version of abelianization for Gromov-Witten invariants. In the symplectic setting, we prove that any sequence of genus zero symplectic vortices with vanishing area has a subsequence that converges after gauge transformation to a holomorphic map with zero average moment map.

math.SG↗

arXiv2015

Gauged Floer theory of toric moment fibers

We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder. The resulting cohomology theory, which we call quasimap Floer cohomology, is an obstruction to displaceability of Lagrangians in the symplectic quotient. We use the theory to reproduce the results of Fukaya-Oh-Ohta-Ono and Cho-Oh on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without virtual fundamental chains. Finally we describe a conjectural relationship to Floer cohomology in the quotient.

math.SG↗

arXiv2015

Pseudoholomorphic Quilts

We define relative Floer theoretic invariants arising from 'quilted pseudo-holomorphic surfaces': Collections of pseudoholomorphic maps to various target spaces with 'seam conditions' in Lagrangian correspondences. As application we construct a morphism on quantum homology associated to any monotone Lagrangian correspondence.

math.SG↗

arXiv2012

Morphisms of CohFT algebras and quantization of the Kirwan map

We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a G-variety to the quantum cohomology of its git or symplectic quotient, and an example relating to the orbifold quantum cohomology of a compact toric orbifold. Finally we identify the space of Cartier divisors on the moduli space of scaled marked curves; these appear in the splitting axiom.

math.AG↗