In mathematics, especially in topology, a Kuranishi structure is a smooth analogue of scheme structure. If a topological space is endowed with a Kuranishi structure, then locally it can be identified with the zero set of a smooth map , or the quotient of such a zero set by a finite group. Kuranishi structures were introduced by Japanese mathematicians Kenji Fukaya and Kaoru Ono in the study of Gromov–Witten invariants and Floer homology in symplectic geometry, and were named after Masatake Kuranishi.[1]

Definition

Let be a compact metrizable topological space. Let be a point. A Kuranishi neighborhood of (of dimension ) is a 5-tuple

where

  • is a smooth orbifold;
  • is a smooth orbifold vector bundle;
  • is a smooth section;
  • is an open neighborhood of ;
  • is a homeomorphism.

They should satisfy that .

If and , are their Kuranishi neighborhoods respectively, then a coordinate change from to is a triple

where

  • is an open sub-orbifold;
  • is an orbifold embedding;
  • is an orbifold vector bundle embedding which covers .

In addition, these data must satisfy the following compatibility conditions:

  • ;
  • .

A Kuranishi structure on of dimension is a collection

where

  • is a Kuranishi neighborhood of of dimension ;
  • is a coordinate change from to .

In addition, the coordinate changes must satisfy the cocycle condition, namely, whenever , we require that

over the regions where both sides are defined.

History

In Gromov–Witten theory, one needs to define integration over the moduli space of pseudoholomorphic curves .[2] This moduli space is roughly the collection of maps from a nodal Riemann surface with genus and marked points into a symplectic manifold , such that each component satisfies the Cauchy–Riemann equation

.

If the moduli space is a smooth, compact, oriented manifold or orbifold, then the integration (or a fundamental class) can be defined. When the symplectic manifold is semi-positive, this is indeed the case (except for codimension 2 boundaries of the moduli space) if the almost complex structure is perturbed generically. However, when is not semi-positive (for example, a smooth projective variety with negative first Chern class), the moduli space may contain configurations for which one component is a multiple cover of a holomorphic sphere whose intersection with the first Chern class of is negative. Such configurations make the moduli space very singular so a fundamental class cannot be defined in the usual way.

The notion of Kuranishi structure was a way of defining a virtual fundamental cycle, which plays the same role as a fundamental cycle when the moduli space is cut out transversely. It was first used by Fukaya and Ono in defining the Gromov–Witten invariants and Floer homology, and was further developed when Fukaya, Oh Yong-Geun, Hiroshi Ohta, and Ono studied Lagrangian intersection Floer theory.[3]

References

  1. Fukaya, Kenji; Ono, Kaoru (1999). "Arnold Conjecture and Gromov–Witten Invariant". Topology. 38 (5): 933–1048. doi:10.1016/S0040-9383(98)00042-1. MR 1688434.
  2. McDuff, Dusa; Salamon, Dietmar (2004). J-holomorphic curves and symplectic topology. American Mathematical Society Colloquium Publications. Vol. 52. Providence, RI: American Mathematical Society. doi:10.1090/coll/052. ISBN 0-8218-3485-1. MR 2045629.
  3. Fukaya, Kenji; Oh, Yong-Geun; Ohta, Hiroshi; Ono, Kaoru (2009). Lagrangian intersection floer theory: anomaly and obstruction, Part I and Part II. AMS/IP Studies in Advanced Mathematics. Vol. 46. Providence, RI and Somerville, MA: American Mathematical Society and International Press. ISBN 978-0-8218-4836-4. MR 2553465. OCLC 426147150. MR2548482
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.