skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Search for: All records

Creators/Authors contains: "Smith, Ivan"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. Abstract Given a closed symplectic manifoldX, we construct Gromov-Witten-type invariants valued both in (complex)K-theory and in any complex-oriented cohomology theory$$\mathbb{K}$$which isKp(n)-local for some MoravaK-theoryKp(n). We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee’s work for the quantumK-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantumK-theory and quantum$$\mathbb{K}$$-theory as commutative deformations of the corresponding (generalised) cohomology rings ofX; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input of these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus toX. On the algebraic side, in order to establish a common framework covering both ordinaryK-theory andKp(n)-local theories, we introduce a formalism of ‘counting theories’ for enumerative invariants on a category of global Kuranishi charts. 
    more » « less
    Free, publicly-accessible full text available December 1, 2025
  2. Abstract 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 and Müller, and we construct an infinite-dimensional family of quasi-morphisms 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, via orbifold Floer homology, for links composed of parallel circles in the two-sphere. A particular feature of our work is that it avoids the orbifold setting and relies instead on ‘classical’ Floer homology. This not only substantially simplifies the technical background but seems essential for some aspects (such as the application to constructing quasi-morphisms). 
    more » « less
  3. null (Ed.)
    Abstract We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least $$2$$ whose Chern character represents a nonzero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank $$1$$ 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. 
    more » « less