Kuranishi spaces as a 2-category

MaRDI QIDQ5244262zbMATH OpenFDO

Authors Dominic Joyce

Publication date 20 November 2019

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

zbMATH Keywords

2-category of \(d\)-orbifoldsderived differential geometryFukaya-Oh-Ohta-Ono polyfoldsKuranishi neighbourhoodsMcDuff-Wehrheim polyfoldsMcDuff-Wehrheim's Kuranishi atlasesYang polyfolds

Mathematics Subject Classification ID

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

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.

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

Cited in

(10)

• Universal structures in \(\mathbb{C}\)-linear enumerative invariant theories
• Orientability of moduli spaces of \(\mathrm{Spin}(7)\)-instantons and coherent sheaves on Calabi-Yau 4-folds
• On orientations for gauge-theoretic moduli spaces
• On spin structures and orientations for gauge-theoretic moduli spaces
• An introduction to d-manifolds and derived differential geometry
• Exponential decay for sc-gradient flow lines
• Conjectures on counting associative 3-folds in G₂-manifolds
• Algebraic geometry over \(C^\infty \)-rings
• Canonical orientations for moduli spaces of \(G_2\)-instantons with gauge group \(\mathrm{SU}(m)\) or \(\mathrm{U}(m)\)
• Derived moduli of sections and push-forwards

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)