We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.SG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Symplectic Geometry

Title: The infinity-category of stabilized Liouville sectors

Abstract: We prove the surprising fact that the infinity-category of stabilized Liouville sectors is a localization of an ordinary category of stabilized Liouville sectors and strict sectorial embeddings. From the perspective of homotopy theory, this result continues a trend of realizing geometrically meaningful mapping spaces through the categorically formal process of localizing. From the symplectic viewpoint, these results allow us to reduce highly non-trivial coherence results to much simpler verifications. For example, we prove that the wrapped Fukaya category is coherently functorial on stabilized Liouville sectors: Not only does a wrapped category receive a coherent action from stabilized automorphism spaces of a Liouville sector, spaces of sectorial embeddings map to spaces of functors between wrapped categories in a way respecting composition actions. As a consequence, we observe that wrapped Floer theory for sectors works in families. As we will explain, our methods immediately establish such coherence results for most known sectorial invariants, including Lagrangian cobordisms.
As another application, we show that this infinity-category admits a symmetric monoidal structure, given by direct product of underlying sectors. The existence of this structure relies on a computation--familiar from the foundations of factorization homology--that localizations detect certain isotopies of smooth manifolds. Moreover, we characterize the symmetric monoidal structure using a universal property, again producing a simple-as-possible criterion for verifying whether invariants are both continuously and multiplicatively coherent in a compatible way.
Comments: (1) Added discussion in Section 2.1 to explicate the definition of sector. (2) Corrected the definition of trivial inclusion to match Ganatra-Pardon-Shende's work. (3) Added Section 3.4 for more background on marked simplicial sets. (4) Added Sections 5.3 and 5.4. (5) Corrected Section 10. (6) Added Section 12, proving one can localize along various morphisms to yield the same infinity-category
Subjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT)
Cite as: arXiv:2110.11754 [math.SG]
  (or arXiv:2110.11754v2 [math.SG] for this version)

Submission history

From: Hiro Lee Tanaka [view email]
[v1] Fri, 22 Oct 2021 12:54:39 GMT (100kb)
[v2] Thu, 27 Oct 2022 19:17:12 GMT (133kb,D)

Link back to: arXiv, form interface, contact.