Kuranishi spaces as a 2-category

zbMATH Open1444.53054arXiv1510.07444MaRDI QIDQ5244262FDOQ5244262

Dominic Joyce

Publication date: 20 November 2019

Abstract: This is a survey of the author's paper arXiv:1409.6908 and in-progress book. 'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic geometry (see e.g. arXiv:1503.07631), as the geometric structure on moduli spaces of $J$-holomorphic curves. We propose a new definition of Kuranishi space, which has the nice property that they form a 2-category $$. Thus the homotopy category Ho$$ is an ordinary category of Kuranishi spaces. Any Fukaya-Oh-Ohta-Ono (FOOO) Kuranishi space $$ can be made into a compact Kuranishi space $$ uniquely up to equivalence in $$ (that is, up to isomorphism in Ho$$), and conversely any compact Kuranishi space $$ comes from some (nonunique) FOOO Kuranishi space $$. So FOOO Kuranishi spaces are equivalent to ours at one level, but our definition has better categorical properties. The same holds for McDuff and Wehrheim's 'Kuranishi atlases' in arXiv:1508.01556. Using results of Yang on polyfolds and Kuranishi spaces surveyed in arXiv:1510.06849, a compact topological space $X$ with a 'polyfold Fredholm structure' in the sense of Hofer, Wysocki and Zehnder (see e.g. arXiv:1407.3185) can be made into a Kuranishi space $$ uniquely up to equivalence in $$. Our Kuranishi spaces are based on the author's theory of Derived Differential Geometry (see e.g. arXiv:1206.4207), the study of classes of derived manifolds and orbifolds that we call 'd-manifolds' and 'd-orbifolds'. There is an equivalence of 2-categories $$, where $$ is the 2-category of d-orbifolds. So Kuranishi spaces are really a form of derived orbifold. We discuss the differential geometry of Kuranishi spaces.

Full work available at URL: https://arxiv.org/abs/1510.07444

Recommendations

• An introduction to d-manifolds and derived differential geometry
• The topology of Kuranishi atlases
• Smooth Kuranishi atlases with isotropy
• Kuranishi structures and virtual fundamental chains
• The fundamental class of smooth Kuranishi atlases with trivial isotropy

zbMATH Keywords

derived differential geometry2-category of \(d\)-orbifoldsFukaya-Oh-Ohta-Ono polyfoldsKuranishi neighbourhoodsMcDuff-Wehrheim polyfoldsMcDuff-Wehrheim's Kuranishi atlasesYang polyfolds

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to differential geometry (53-02) Pseudoholomorphic curves (32Q65) Symplectic aspects of mirror symmetry, homological mirror symmetry, and Fukaya category (53D37) 2-categories, bicategories, double categories (18N10)

Cited In (8)

• Exponential decay for sc-gradient flow lines
• Universal structures in \(\mathbb{C}\)-linear enumerative invariant theories
• Algebraic Geometry over 𝐶^{∞}-rings
• Orientability of moduli spaces of \(\mathrm{Spin}(7)\)-instantons and coherent sheaves on Calabi-Yau 4-folds
• Canonical orientations for moduli spaces of \(G_2\)-instantons with gauge group \(\mathrm{SU}(m)\) or \(\mathrm{U}(m)\)
• Conjectures on counting associative 3-folds in 𝐺₂-manifolds
• On spin structures and orientations for gauge-theoretic moduli spaces
• On orientations for gauge-theoretic moduli spaces

This page was built for publication: Kuranishi spaces as a 2-category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244262)