Related papers: Kuranishi spaces as a 2-category

This is an expository article on the theory of Kuranishi structure and is based on a series of pdf files we uploaded for the discussion of the google group named `Kuranishi' (with its administrator H. Hofer). There we replied to several…

Being motivated by the notions of $\kappa$-Fr\'{e}chet--Urysohn spaces and $k'$-spaces introduced by Arhangel'skii, the notion of sequential spaces and the study of Ascoli spaces, we introduce three new classes of compact-type spaces. They…

Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for…

Let $X$ be a compact K\"ahler manifold and $(E,\overline\partial_E,\theta)$ be a Higgs bundle over it. We study the structure of the Kuranishi space for the pair $(X, E,\theta)$ when the Higgs bundle admits a harmonic metric or equivalently…

This is a comment on the Kuranishi method of constructing analytic deformation spaces. It is based on a simple observation that the Kuranishi map can always be inverted in the category of $L_{\infty}$-algebras. The $L_{\infty}$-structure…

A Kuranishi atlas is a structure used to build a virtual fundamental class on moduli spaces of $J$-holomorphic curves. They were introduced by McDuff and Wehrheim to resolve some of the challenges in this field. This paper completes the…

Let $(X,\omega)$ be a symplectic manifold, $J$ be an $\omega$-tame almost complex structure, and $L$ be a Lagrangian submanifold. The stable compactification of the moduli space of parametrized $J$-holomorphic curves in $X$ with boundary in…

This article is the second part of the article we promised to write at the end of Section 1 of [FOOO15] (arXiv:1209.4410). (Part I appeared in [Part I] (arXiv:1503.07631).) We discuss the foundation of the virtual fundamental chain and…

We show that the deformation space of complex parallelisable nilmanifolds can be described by polynomial equations but is almost never smooth. This is remarkable since these manifolds have trivial canonical bundle and are holomorphic…

We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…

On a threefold with trivial canonical bundle, Kuranishi theory gives an algebro-geometry construction of the (local analytic) Hilbert scheme of curves at a smooth holomorphic curve as a gradient scheme, that is, the zero-scheme of the…

We construct symplectic field theory in general case completely. We use Kuranishi theory for the construction. For the construction of the Kuranishi neighborhood of a holomorphic building of genus $>0$, we introduce a new space which…

In [1] we defined a new kind of space called 'structured space' which locally resembles, near each of its points, some algebraic structure. We noted in the conclusion of the cited paper that the maps $f_s$ and $h$, which are of great…

Recently Riehl and Verity have introduced $\infty$-cosmoi, which are certain simplicially enriched categories with additional structure. In this paper we investigate those $\infty$-cosmoi which are in fact $2$-categories; we shall refer to…

This paper constructs a Kuranishi structure for the moduli stack of holomorphic curves in exploded manifolds. To avoid some technicalities of abstract Kuranishi structures, we embed our Kuranishi structure inside an ambient moduli stack of…

``An orbifold is a space which is locally modeled on the quotient of a vector space by a finite group.'' This sentence is so easily said or written that more than one person has missed some of the subtleties hidden by orbifolds. Orbifolds…

This is a survey of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html We introduce a 2-category dMan of "d-manifolds", new geometric…

Suppose one has found a non-empty sub-category $\mathcal{A}$ of the Fukaya category of a compact Calabi-Yau manifold $X$ which is homologically smooth in the sense of non-commutative geometry, a condition intrinsic to $\mathcal{A}$. Then,…

This is the first paper in a series which proposes and develops the polyfold Fredholm structure--Kuranishi structure correspondence, identifying these two abstract perturbative structures which are indispensable for constructing and…

We classify meromorphic affine connections on compact complex surfaces with algebraic dimension one, extending the work of Inoue,Kobayashi and Ochiai (1981) in the holomorphic case. The motivation is to investigate possible extension of the…