arXiv subjects

Ivan Smith

Publications and source records attributed to Ivan Smith.

At least 19 recordsLinked to original sources

arXiv2026

Mapping-space Gromov--Witten classes and the Fano variety of lines

Let $Y$ be a smooth cubic 3-fold. We show that $S^2 \times Y$ admits an infinite sequence of cohomologous symplectic forms which are all deformation equivalent but pairwise non-isotopic; McDuff showed the corresponding result on $(S^2)^2 \times T^2$, but these appear to be the first simply-connected and monotone examples. The results are obtained from McDuff's bordism-flavoured Gromov--Witten invariant, re-interpreted cohomologically in terms of an evaluation map valued in the space of maps from the 2-sphere to a symplectic target. The application then relies on classical properties of the Fano space of lines on $Y$. We also discuss higher-dimensional generalisations.

math.SG↗

arXiv2026

Splitting Symplectic Monodromy

We discuss some examples in which symplectic monodromy (provably or conjecturally) splits off the symplectic mapping class group, hoping to illustrate different techniques and inputs to the arguments. Along the way we formulate several open questions and conjectures. Inter alia, we also construct a compact symplectic six-manifold which contains infinitely many pairwise disjoint Lagrangian 3-spheres.

math.SG↗

arXiv2026

Isolated Hypersurface Singularities May Be Stably Degenerate

We prove the existence of stably degenerate hypersurface singularities. Ingredients in the proof include the mixed Hodge structure on the contact locus of a singularity and that moduli spaces of polarised abelian varieties of large dimension are of general type.

math.AG↗

arXiv2026

Orbifold Hamiltonian Floer theory for global quotients

We construct bulk-deformed orbifold Hamiltonian Floer theory for a global quotient orbifold, that is the quotient of a smooth closed symplectic manifold by a finite group acting faithfully via symplectomorphisms. The moduli spaces define an `ordered marked Flow category', which we equip with a coherent presentation via derived orbifolds. The global charts for orbifold Floer cylinders are built from moduli spaces of holomorphic curves in a quotient of projective space by a free action of the given finite group.

math.SG↗

arXiv2026

Symplectomorphisms and spherical objects in the conifold smoothing

Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.

math.SG↗

arXiv2026

Open-closed maps and spectral local systems

Let $X$ be a graded Liouville domain. Fix a pair of infinite loop spaces $Ψ= (Θ\to Φ)$ living over $(BO \to BU)$. This determines a spectral Fukaya category $\mathcal{F}(X;Ψ)$ whenever $TX$ lifts to $Φ$, containing closed exact Lagrangians $L$ for which $TL$ lifts compatibly to $Θ$; and by Bott periodicity and index theory, a Thom spectrum $R$ with bordism theory $R_*$. This paper has two main goals: we incorporate rank one spectral local systems $ξ: L \to BGL_1(R)$ into the spectral category; and we prove that the bordism class $[(L,ξ)]$ defined by the open-closed map differs from the class $[L]$ by a multiplicative two-torsion element in $R^0(L)^{\times}$ determined by an action of the stable homotopy class of the Hopf map $η\in π_1^{st}$ on $ξ$. Methods include a twisting construction associating flow categories to spectral local systems, and a model for the open-closed map incorporating Schlichtkrull's construction of the trace map $BGL_1(R) \subseteq K(R) \to R$. The companion paper \cite{PS4} shows that (for Lagrangians which themselves admit spectral lifts) one can lift quasi-isomorphisms from $\mathbb{Z}$ to $Ψ$ at the cost of introducing rank one local systems. Together with the open-closed computation given here, this gives an essentially complete picture of the bordism-theoretic consequences of quasi-isomorphism in the classical exact Fukaya category.

math.SG↗

arXiv2026

Bordism from quasi-isomorphism

Let $X$ be a graded Liouville domain. Fix a pair of infinite loop spaces $Ψ= (Θ\to Φ)$ living over $(BO \to BU)$. This determines a spectral Fukaya category $\mathcal{F}(X;Ψ)$ whenever $TX$ lifts to $Φ$, containing closed exact Lagrangians $L$ for which $TL$ lifts compatibly to $Θ$; and by Bott periodicity and index theory, a Thom spectrum $R$ with bordism theory $R_*$. Suppose that $L$ and $K$ are quasi-isomorphic in the Fukaya category over $\mathbb{Z}$. We prove that: (a) if both lift to $\mathcal{F}(X;Ψ)$, then there is a rank one $R$-local system $ξ: L \to BGL_1(R)$ over $L$ so that $(L,ξ)$ and $K$ are quasi-isomorphic in the spectral Fukaya category; (b) when $X$ is polarised and $Ψ= (BO \times F \to BO)$, if only $K$ lifts to $\mathcal{F}(X;Ψ)$, then the composition $L \to B^2GL_1(R)$ of the stable Gauss map of $L$ and the delooped $J$-homomorphism is nullhomotopic. Combined with the computation of the open-closed fundamental class associated to $(L,ξ)$ in \cite{PS3}, these results have applications to bordism and stable homotopy types of quasi-isomorphic Lagrangians, to Hamiltonian monodromy groups, and to smooth structures on nearby Lagrangians. A key ingredient in the proofs is a new form of obstruction theory for flow categories `lying over' a manifold $L$, closely related to a `spectral Viterbo restriction functor' also introduced here.

math.SG↗

arXiv2025

Orbifold Floer spectral invariants, symmetric product links and Weyl laws

We explain a strategy, based on spectral invariants on symmetric product orbifolds, for proving the smooth closing lemma for Hamiltonian diffeomorphisms of a symplectic manifold when the orbifold quantum cohomologies of its symmetric products possess suitable idempotents. We relate the existence of such idempotents to the manifold containing a sequence of Lagrangian links, whose number of components tends to infinity, satisfying a number of properties. Orbifold Floer cohomology for global quotient orbifolds is used axiomatically, and is constructed in a companion paper. We illustrate this strategy by giving a new proof of the smooth closing lemma for area-preserving diffeomorphisms of the 2-sphere. The construction of suitable Lagrangian links in higher dimensions remains an intriguing open problem.

math.SG↗

arXiv2025

Spectral Floer theory and tangential structures

In \cite{PS}, for a stably framed Liouville manifold $X$ we defined a Donaldson-Fukaya category $\mathcal{F}(X;\mathbb{S})$ over the sphere spectrum, and developed an obstruction theory for lifting quasi-isomorphisms from $\mathcal{F}(X;\mathbb{Z})$ to $\mathcal{F}(X;\mathbb{S})$. Here, we define a spectral Donaldson-Fukaya category for any `graded tangential pair' $Θ\to Φ$ of spaces living over $BO \to BU$, whose objects are Lagrangians $L\to X$ for which the classifying maps of their tangent bundles lift to $Θ\to Φ$. The previous case corresponded to $Θ= Φ= \{\mathrm{pt}\}$. We extend our obstruction theory to this setting. The flexibility to `tune' the choice of $Θ$ and $Φ$ increases the range of cases in which one can kill the obstructions, with applications to bordism classes of Lagrangian embeddings in the corresponding bordism theory $Ω^{(Θ,Φ),\circ}_*$. We include a self-contained discussion of when (exact) spectral Floer theory over a ring spectrum $R$ should exist, which may be of independent interest.

math.SG↗

arXiv2025

Subleading asymptotics of link spectral invariants and homeomorphism groups of surfaces

This paper continues the study of link spectral invariants on compact surfaces, introduced in our previous work and shown to satisfy a Weyl law in which they asymptotically recover the Calabi invariant. Here we study their subleading asymptotics on surfaces of genus zero. We show the subleading asymptotics are bounded for smooth time-dependent Hamiltonians, and recover the Ruelle invariant for autonomous disc maps with finitely many critical values. We deduce that the Calabi homomorphism admits infinitely many extensions to the group of compactly supported area-preserving homeomorphisms, and that the kernel of the Calabi homomorphism on the group of hameomorphisms is not simple.

math.SG↗

arXiv2024

Gromov-Witten invariants in complex and Morava-local $K$-theories

Given a closed symplectic manifold $X$, we construct Gromov-Witten-type invariants valued both in (complex) $K$-theory and in any complex-oriented cohomology theory $\mathbb{K}$ which is $K_p(n)$-local for some Morava $K$-theory $K_p(n)$. We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum $K$-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantum $K$-theory and quantum $\mathbb{K}$-theory as commutative deformations of the corresponding (generalised) cohomology rings of $X$; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input to these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus to $X$. On the algebraic side, in order to establish a common framework covering both ordinary $K$-theory and $K_p(n)$-local theories, we introduce a formalism of `counting theories' for enumerative invariants on a category of global Kuranishi charts.

math.SG↗

arXiv2024

Bordism of flow modules and exact Lagrangians

For a stably framed Liouville manifold X , we construct a "Donaldson-Fukaya category over the sphere spectrum" F(X; S). The objects are closed exact Lagrangians whose Gauss maps are nullhomotopic compatibly with the ambient stable framing, and the morphisms are bordism classes of framed flow modules over Lagrangian Floer flow categories; this is enriched in modules over the framed bordism ring. We develop an obstruction theory for lifting quasi-isomorphisms in the usual Fukaya category to quasi-isomorphisms in appropriate truncations or quotients of F(X; S). Applications include constraints on the smooth structure of exact Lagrangians in certain plumbings, and the construction of non-trivial symplectic mapping classes which act trivially on the integral Fukaya category for a wide class of affine varieties.

math.SG↗

arXiv2024

Quantitative Heegaard Floer cohomology and the Calabi invariant

We define a new family of spectral invariants associated to certain Lagrangian links in compact and connected surfaces of any genus. We show that our invariants recover the Calabi invariant of Hamiltonians in their limit. As applications, we resolve several open questions from topological surface dynamics and continuous symplectic topology: we show that the group of Hamiltonian homeomorphisms of any compact surface with (possibly empty) boundary is not simple; we extend the Calabi homomorphism to the group of Hameomorphisms constructed by Oh-Müller; and, we construct an infinite dimensional family of quasimorphisms on the group of area and orientation preserving homeomorphisms of the two-sphere. Our invariants are inspired by recent work of Polterovich and Shelukhin defining and applying spectral invariants for certain classes of links in the two-sphere.

math.SG↗

arXiv2022

Double bubble plumbings and two-curve flops

We discuss the symplectic topology of the Stein manifolds obtained by plumbing two 3-dimensional spheres along a circle. These spaces are related, at a derived level and working in a characteristic determined by the specific geometry, to local threefolds which contain two floppable $(-1,-1)$-curves meeting at a point. Using contraction algebras we classify spherical objects on the B-side, and derive topological consequences including a complete description of the homology classes realised by graded exact Lagrangians.

math.SG↗

arXiv2021

Complex cobordism, Hamiltonian loops and global Kuranishi charts

Let $(X,ω)$ be a closed symplectic manifold. A loop $ϕ: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $π: P_ϕ \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of $π$, Lalonde, McDuff and Polterovich proved that if $ϕ$ lifts to the Hamiltonian group $\mathrm{Ham}(X,ω)$, then the rational cohomology of $P_ϕ$ splits additively. We prove, with the same assumptions, that the $\mathbb{E}$-generalised cohomology of $P_ϕ$ splits additively for any complex-oriented cohomology theory $\mathbb{E}$, in particular the integral cohomology splits. This class of examples includes all complex projective varieties equipped with a smooth morphism to $\mathbb{CP}^1$, in which case the analogous rational result was proved by Deligne using Hodge theory. The argument employs virtual fundamental cycles of moduli spaces of sections of $π$ in Morava $K$-theory and results from chromatic homotopy theory. Our proof involves a construction of independent interest: we build global Kuranishi charts for moduli spaces of pseudo-holomorphic spheres in $X$ in a class $β\in H_2(X;\mathbb{Z})$, depending on a choice of integral symplectic form $Ω$ on $X$ and ample Hermitian line bundle over the moduli space of one-pointed degree $d = \langle Ω,β\rangle$ stable genus zero curves in $\mathbb{CP}^d$.

math.SG↗

arXiv2021

Non-displaceable Lagrangian links in four-manifolds

Let $ω$ denote an area form on $S^2$. Consider the closed symplectic 4-manifold $M=(S^2\times S^2, Aω\oplus a ω)$ with $0<a<A$. We show that there are families of displaceable Lagrangian tori $L_{0,x},\, L_{1,x} \subset M$, for $x \in [0,1]$, such that the two-component link $L_{0,x} \cup L_{1,x}$ is non-displaceable for each $x$.

math.SG↗

arXiv2021

Fukaya categories of surfaces, spherical objects, and mapping class groups

We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non-zero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions, and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included.

math.SG↗

arXiv2020

Homological mirror symmetry for generalized Greene-Plesser mirrors

We prove Kontsevich's homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev-Borisov's `dual reflexive Gorenstein cones' construction. In particular we prove HMS for all Greene-Plesser mirror pairs (i.e., Calabi-Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi-Yau complete intersections arising from Borisov's construction via dual nef partitions, and also for certain Calabi-Yau complete intersections which do not have a Calabi-Yau mirror, but instead are mirror to a Calabi-Yau subcategory of the derived category of a higher-dimensional Fano variety. The latter case encompasses Kuznetsov's `K3 category of a cubic fourfold', which is mirror to an honest K3 surface; and also the analogous category for a quotient of a cubic sevenfold by an order-3 symmetry, which is mirror to a rigid Calabi-Yau threefold.

math.SG↗