Source author record

Ivan Smith

Ivan Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2026arXiv

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.

preprint2026arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

Fukaya-Seidel categories of Hilbert schemes and parabolic category $\mathcal{O}$

We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelfan'd category $\mathcal{O}$. As an application, we give a new geometric construction of the spectral sequence from annular to ordinary Khovanov homology. The heart of the paper is the development of a cylindrical model to compute Fukaya categories of (affine open subsets of) Hilbert schemes of quasi-projective surfaces, which may be of independent interest.

preprint2020arXiv

Lagrangian cobordism and tropical curves

We study a cylindrical Lagrangian cobordism group for Lagrangian torus fibres in symplectic manifolds which are the total spaces of smooth Lagrangian torus fibrations. We use ideas from family Floer theory and tropical geometry to obtain both obstructions to and constructions of cobordisms; in particular, we give examples of symplectic tori in which the cobordism group has no non-trivial cobordism relations between pairwise distinct fibres, and ones in which the degree zero fibre cobordism group is a divisible group. The results are independent of but motivated by mirror symmetry, and a relation to rational equivalence of 0-cycles on the mirror rigid analytic space.

preprint2016arXiv

The monotone wrapped Fukaya category and the open-closed string map

We build the wrapped Fukaya category W(E) for any monotone symplectic manifold, convex at infinity. We define the open-closed and closed open-string maps. We study their algebraic properties and prove that the string maps are compatible with the eigenvalue splitting of W(E). We extend Abouzaid's generation criterion from the exact to the monotone setting. We construct an acceleration functor from the compact Fukaya category which on Hochschild (co)homology commutes with the string maps and the canonical map from quantum cohomology QH(E) to symplectic cohomology SH(E). We define the QH(E)- and SH(E)-module structure on the Hochschild (co)homology of W(E) which is compatible with the string maps. The module and unital algebra structures, and the generation criterion, also hold for the compact Fukaya category F(E), and also hold for closed monotone symplectic manifolds. As an application, we show that the wrapped category of any monotone negative line bundle over any projective space is proper (cohomologically finite). For any monotone negative line bundle E over a toric Fano variety, we show that SH(E) is non-trivial and that W(E) contains an essential non-displaceable monotone Lagrangian torus.

preprint2015arXiv

Lagrangian exotic spheres

Let k>2. We prove that the cotangent bundles of oriented homotopy (2k-1)-spheres S and S' are symplectomorphic only if the classes defined by S and S' agree up to sign in the quotient group of oriented homotopy spheres modulo those which bound parallelizable manifolds. We also show that if the connect sum of real projective space of dimension (4k-1) and a homotopy (4k-1)-sphere admits a Lagrangian embedding in complex projective space, then twice the homotopy sphere framed bounds. The proofs build on previous work of Abouzaid and the authors, in combination with a new cut-and-paste argument, which also gives rise to some interesting explicit exact Lagrangian embeddings into plumbings. As another application, we show that there are re-parameterizations of the zero-section in the cotangent bundle of a sphere which are not Hamiltonian isotopic (as maps, rather than as submanifolds) to the original zero-section.

preprint2015arXiv

The symplectic arc algebra is formal

We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology, over fields of characteristic zero. The key ingredient is the construction of a degree one Hochschild cohomology class on a Floer A-infinity algebra associated to the (k,k)-nilpotent slice Y, obtained by counting holomorphic discs which satisfy a suitable conormal condition at infinity in a partial compactification of Y. The partial compactification is obtained as the Hilbert scheme of a partial compactification of a Milnor fibre. A sequel to this paper will prove formality of the symplectic cup and cap bimodules, and infer that symplectic Khovanov cohomology and Khovanov cohomology have the same total rank over characteristic zero fields.

preprint2014arXiv

Exact Lagrangian immersions with a single double point

Let k > 2. We show that if a closed orientable 2k-manifold K, with Euler characteristic not equal to -2, admits an exact Lagrangian immersion into complex Euclidean 2k-space with one transverse double point and no other self-intersections, then K is diffeomorphic to the standard sphere. The proof combines Floer homological arguments with a detailed study of moduli spaces of holomorphic disks with boundary in a monotone Lagrangian submanifold obtained by Lagrange surgery on K.

preprint2014arXiv

Quadratic differentials as stability conditions

We prove that moduli spaces of meromorphic quadratic differentials with simple zeroes on compact Riemann surfaces can be identified with spaces of stability conditions on a class of CY3 triangulated categories defined using quivers with potential associated to triangulated surfaces. We relate the finite-length trajectories of such quadratic differentials to the stable objects of the corresponding stability condition.

preprint2013arXiv

Constructing exact Lagrangian immersions with few double points

We establish an $h$-principle for exact Lagrangian immersions with transverse self-intersections and the minimal, or near-minimal number of double points. One corollary of our result is that any orientable closed 3-manifold admits an exact Lagrangian immersion into standard symplectic 6-space $\R^6_\st$ with exactly one transverse double point. Our construction also yields a Lagrangian embedding $S^1\times S^2\to\R^6_\st$ with vanishing Maslov class.

preprint2013arXiv

Exact Lagrangian immersions with one double point revisited

We study exact Lagrangian immersions with one double point of a closed orientable manifold K into n-complex-dimensional Euclidean space. Our main result is that if the Maslov grading of the double point does not equal 1 then K is homotopy equivalent to the sphere, and if, in addition, the Lagrangian Gauss map of the immersion is stably homotopic to that of the Whitney immersion, then K bounds a parallelizable (n+1)-manifold. The hypothesis on the Gauss map always holds when n=2k or when n=8k-1. The argument studies a filling of K obtained from solutions to perturbed Cauchy-Riemann equations with boundary on the image f(K) of the immersion. This leads to a new and simplified proof of some of the main results of arXiv:1111.5932, which treated Lagrangian immersions in the case n=2k by applying similar techniques to a Lagrange surgery of the immersion, as well as to an extension of these results to the odd-dimensional case.

preprint2012arXiv

Exact Lagrangians in plumbings

Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A2-Milnor fibres of arbitrary dimension, derive constraints on exact Lagrangian fillings of Legendrian unknots in disk cotangent bundles, and prove that the categorical equivalence given by the spherical twist in a homology sphere is typically not realised by any compactly supported symplectomorphism.

preprint2011arXiv

Floer cohomology and pencils of quadrics

There is a classical relationship in algebraic geometry between a hyperelliptic curve and an associated pencil of quadric hypersurfaces. We investigate symplectic aspects of this relationship, with a view to applications in low-dimensional topology. We construct a derived equivalence between the Fukaya category of a curve and the nilpotent summand of the Fukaya category of the associated complete intersection of two quadrics. This essentially determines the instanton Floer homology of a 3-manifold fibred by genus two curves.

preprint2010arXiv

Localization for involutions in Floer cohomology

We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.

preprint2001arXiv

Lefschetz pencils and divisors in moduli space

We study Lefschetz pencils on symplectic four-manifolds via the associated spheres in the moduli spaces of curves, and in particular their intersections with certain natural divisors. An invariant defined from such intersection numbers can distinguish manifolds with torsion first Chern class. We prove that pencils of large degree always give spheres which behave `homologically' like rational curves; contrastingly, we give the first constructive example of a symplectic non-holomorphic Lefschetz pencil. We also prove that only finitely many values of signature or Euler characteristic are realised by manifolds admitting Lefschetz pencils of genus two curves.

preprint1999arXiv

Lefschetz fibrations and the Hodge bundle

Integral symplectic 4-manifolds may be described in terms of Lefschetz fibrations. In this note we give a formula for the signature of any Lefschetz fibration in terms of the second cohomology of the moduli space of stable curves. As a consequence we see that the sphere in moduli space defined by any (not necessarily holomorphic) Lefschetz fibration has positive "symplectic volume"; it evaluates positively with the Kahler class. Some other applications of the signature formula and some more general results for genus two fibrations are discussed.