Researcher profile

Ivan Smith

Ivan Smith contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 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.

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.