Search arXiv⌕ Search

arXiv · 2609.37403

The derived Picard group of Fukaya categories of closed surfaces

Abstract

Let $Σ_g$ be a closed oriented surface of genus $g\geq2$, and let $\mathscr F_g$ be its split-closed, strictly unobstructed, two-periodic Fukaya category over the complex Novikov field $Λ$. We determine the derived Picard group \[ \operatorname{DPic}_Λ(\mathscr F_g) \cong \bigl(H^1(Σ_g;Λ^\times) \rtimesπ_0\operatorname{Diff}^+(Σ_g)\bigr) \times\mathbb Z/2\mathbb Z. \] This proves the enhanced form of the conjecture of arXiv:2006.09689. As a corollary, we obtain that the derived Picard group itself determines the genus of the surface.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dongjian Wu, Nantao Zhang. 2026-09-29. The derived Picard group of Fukaya categories of closed surfaces. https://arxiv.org/abs/2609.37403

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Hofer-Like Geometry Revisited

We prove a semidirect-product formula for the Hofer-like norm on the identity component \(G_ω(M)\) of the symplectic diffeomorphism group, expressing it as an infimum over the harmonic locus plus a Hamiltonian residue. Specialising to zero flux yields the geometric criterion, for the inclusion of the Hamiltonian group, endowed with the Hofer norm, into \(G_ω(M)\), endowed with the Hofer-like norm, to be an isometric embedding. The criterion is verified in two principal cases: on closed symplectic manifolds admitting a compatible metric of non-negative Ricci curvature for which the harmonic \(1\)-forms are integral and the harmonic flows have period \(1\), covering flat tori and Calabi-Yau manifolds; and on a non-vacuous family of harmonic diffeomorphisms on \(T^2\) equipped with a non-flat compatible metric. The two norms induce the same topology on the Hamiltonian group, a result due to Buss-Leclercq for which we give a self-contained proof; under an explicit boundedness hypothesis (H\(_K\)) on the two-parameter vector-field family attached to zero-flux paths, the inclusion is moreover bi-Lipschitz with distortion at most \(1+3L_0K\). We give self-contained proofs of the non-degeneracy, the positivity of the displacement energy, and the \(C^0\)-stability of limits, three fundamental results of Hofer-like geometry.

math.SG↗

Poisson $C^\infty$-schemes

We introduce Poisson $C^\infty$-rings and Poisson local $C^\infty$-ringed spaces. We show that the spectrum of a Poisson $C^\infty$-ring is an affine Poisson $C^\infty$-scheme. We then discuss applications that include singular symplectic and Poisson reductions, singular quasi-Poisson reduction, coisotropic reduction and Poisson-Dirac subschemes.

math.SG↗