arXiv research

Study on Kuranishi spaces of complex structures and vector bundles, showing isomorphisms and counterexamples.

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 spac…

'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic geometry (see e.g. arXiv:1106.4882), as the geometric structure on moduli spaces of $J$-holomorphic curves. An alternative to Kuranishi spaces is the 'polyfolds' of Hofer, Wysocki and Zehnder (see e.g. arXiv:1407.3185). Finding a s…

Study the structure of Kuranishi spaces for pairs of Kähler manifolds and polystable Higgs bundles.

A Kuranishi space is a topological space with a Kuranishi structure, defined by Fukaya and Ono. Kuranishi structures occur naturally on moduli spaces of J-holomorphic curves in symplectic geometry. This paper is a brief introduction to the author's book arXiv:0707.3572. Let Y be an orbifold and R a Q-algebra. We define…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and that certain fiber product property holds in this $2$-category. In a subsequent pa…

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 questions concerning Kuranishi structure raised by K. Wehrheim. At this stage we su…

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 symplectic in even dimension. We describe the Kuranishi space in detail in several exa…

Study deformations of Calabi-Yau foliations using Kuranishi spaces.

We describe the generalized Kuranishi spaces of solvmanifolds with left-invariant complex structures. By using such description, we study the stability of left-invariantness of deformed generalized complex structures and smoothness of generalized Kuranishi spaces on certain classes of solvmanifolds. We also give explic…

Normal forms for equivariant maps in infinite dimensions established.

This is the first part of the article we promised at the end of [FOOO13, Section 1]. We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version appeared in [FOn] and also in [FOOO4, Section A1, Section 7.5], [FOOO7, Section 12], [Fu2]. In Part 1, we focus on the construction …

This is the first of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks, using the exponential decay estimate given in [FOOO7]. This article completes the construction of a Kuranishi structure of a…

The paper proves a theorem about constructing Higgs bundle moduli space.

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 understanding symplectic invariants in the most general settings. In this paper, I pres…

Study geometric structures on LVM threefolds, focusing on resonant structures.

Eigenvalue estimates for Hodge Laplacian on Fano manifolds lead to geometric insights.

Kuranishi's proof of complex deformation theory revisited

Defines a new metric on Fano Kaehler-Ricci solitons.

Study of double complexes on Iwasawa manifold yields 3 isomorphism types.

In this paper we give detailed construction of $G$-equivariant Kuranishi chart of moduli spaces of pseudo-holomorphic curves to a symplectic manifold with $G$-action, for an arbitrary compact Lie group $G$. The proof is based on the deformation theory of {\it unstable} marked curves using the language of Lie groupoid (…

We define Gromov--Witten invariants of exploded manifolds. The technical heart of this paper is a construction of a virtual fundamental class $[\mathcal K]$ of any Kuranishi category $\mathcal K$ (which is a simplified, more general version of an embedded Kuranishi structure.) We also show how to integrate differential…

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 cycle technique, especially its version that appeared in [FOn] and also in Section A…

Develops a method to compute Morse homology for clean but not necessarily transverse intersections.

Study conically singular instantons over SU(3)-manifolds, proving existence and dimension formulas.

A theorem of Kuranishi tells us that the moduli space of complex structures on any smooth compact manifold is always locally a finite-dimensional space. Globally, however, this is simply not true; we display examples in which the moduli space contains a sequence of regions for which the local dimension tends to infinit…

In this paper, by using the Kuranishi coordinates on the Teichmüller space and the explicit deformation formula of holomorphic one-forms on Riemann surface, we give an explicit expression of the period map and derive new differential geometric proofs of the Torelli theorems, both local and global, for Riemann surfaces.

The study explores polarized deformations of SKT Calabi-Yau manifolds using Aeppli classes.

Study on deforming complex manifolds and Higgs bundles.

Essential dimension of a family of complex manifolds is the dimension of the image of its base in the Kuranishi space of the fiber. We prove that any family of hyperkähler manifolds over a compact simply connected base has essential dimension not greater than $1$. A similar result about families of complex tori is also…

Let X be an irreducible symplectic manifold and Def(X) the Kuranishi space. Assume that X admits a Lagrangian fibration. We prove that X can be deformed preserving a Lagrangian fibration. More precisely, there exists a smooth hypersurface H of Def(X) such that the restriction family over H admits a family of Lagrangian…

The paper studies deformations of cohesive modules on complex manifolds.

We prove several formulas related to Hodge theory and the Kodaira-Spencer-Kuranishi deformation theory of Kähler manifolds. As applications, we present a construction of globally convergent power series of integrable Beltrami differentials on Calabi-Yau manifolds and also a construction of global canonical family of ho…

The variation of Hodge structure of a Calabi-Yau 3-fold induces a canonical Kähler metric on its Kuranishi moduli space, known as the Weil-Petersson metric. Similarly, special pseudo Kähler manifolds correspond to certain (abstract) variations of Hodge structure which generalize the above example. We give the classific…

Introduces linear K-systems for Hamiltonian Floer theory.

The goal of this short article is to describe the local structure of the Teichmüller stack of [8] in the neighborhood of a Kähler point. In particular we show that at a generic Kähler point X, Catanese Kur=Teich question, when interpretated at the level of stacks, has an affirmative answer. The situation may be much mo…

Constructs universal local deformations for curves and differential forms.

We show that the natural S^1-bundle over a projective special Kaehler manifold carries the geometry of a proper affine hypersphere endowed with a Sasakian structure. The construction generalizes the geometry of the Hopf-fibration $\Sr^{2n+1} \longrightarrow \CP^n$ in the context of projective special Kaehler manifolds.…

We apply the language of the groupoid approach to Lie pseudo-groups, and the classical Cartan-Kuranishi theorem, to prove that Cartan's equivalence method terminates at involution (or at complete reduction) for constant type problems.

New flow category for contact manifolds from Reeb orbits.

In the first part of the present series of papers, we studied the moduli spaces of holomorphic discs and strips into an open symplectic manifold, isomorphic to the complement of a smooth divisor in a closed symplectic manifold. In particular, we introduced a compactification of this moduli space, which is called the RG…

Associated with every quaternionic representation of a compact, connected Lie group there is a Seiberg-Witten equation in dimension three. The moduli spaces of solutions to these equations are typically non-compact. We construct Kuranishi models around boundary points of a partially compactified moduli space. The Haydy…

Develops formal moduli theory for splitting complex supermanifolds.

In my previous paper, I prove the existence of the Kuranishi structure for the moduli space $\mathfrak{M}$ of zero loci of $\mathbb{Z}/2$-harmonic spinors on a 3-manifold. So a nature question we can ask is to compute the virtual dimension for this moduli space $\mathfrak{M}_{g_0}:=\mathfrak{M}\cap\{g=g_0\}$. In this p…

Study complex structure deformations on Lie algebras and Dolbeault cohomology.

Analyzes the moduli space of Higgs bundles to prove its quasi-projectivity.

We present the extended Kuranishi space for Kodaira surface as a non-trivial example to Kontsevich and Barannikov's extended deformation theory. We provide a non-trivial example of Hertling-Manin's weak Frobenius manifold. In addition, we find that Kodaira surface is its own mirror image. Our computation is done in the…

Let $X$ be a compact complex manifold with trivial canonical bundle and satisfying the $\partial\bar{\partial}$-Lemma. We show that the Kuranishi space of $X$ is a smooth universal deformation and that small deformations enjoy the same properties as $X$. If, in addition, $X$ admits a complex symplectic form, then the l…