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 ( f 1 , … , f k ) : R n + k → R k {\displaystyle (f_{1},\ldots ,f_{k})\colon \mathbb {R} ^{n+k}\to \mathbb {R} ^{k}} , 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.
Definition Let X {\displaystyle X} be a compact metrizable topological space. Let p ∈ X {\displaystyle p\in X} be a point. A Kuranishi neighborhood of p {\displaystyle p} (of dimension k {\displaystyle k} ) is a 5-tuple
K p = ( U p , E p , S p , F p , ψ p ) {\displaystyle K_{p}=(U_{p},E_{p},S_{p},F_{p},\psi _{p})}
where
U p {\displaystyle U_{p}} is a smooth orbifold;
E p → U p {\displaystyle E_{p}\to U_{p}} is a smooth orbifold vector bundle;
S p : U p → E p {\displaystyle S_{p}\colon U_{p}\to E_{p}} is a smooth section;
F p {\displaystyle F_{p}} is an open neighborhood of p {\displaystyle p} ;
ψ p : S p − 1 ( 0 ) → F p {\displaystyle \psi _{p}\colon S_{p}^{-1}(0)\to F_{p}} is a homeomorphism. They should satisfy that dim U p − rank E p = k {\displaystyle \dim U_{p}-\operatorname {rank} E_{p}=k} . If p , q ∈ X {\displaystyle p,q\in X} and K p = ( U p , E p , S p , F p , ψ p ) {\displaystyle K_{p}=(U_{p},E_{p},S_{p},F_{p},\psi _{p})} , K q = ( U q , E q , S q , F q , ψ q ) {\displaystyle K_{q}=(U_{q},E_{q},S_{q},F_{q},\psi _{q})} are their Kuranishi neighborhoods respectively, then a coordinate change from K q {\displaystyle K_{q}} to K p {\displaystyle K_{p}} is a triple
T p q = ( U p q , ϕ p q , ϕ ^ p q ) , {\displaystyle T_{pq}=(U_{pq},\phi _{pq},{\hat {\phi }}_{pq}),}
where
U p q ⊂ U q {\displaystyle U_{pq}\subset U_{q}} is an open sub-orbifold;
ϕ p q : U p q → U p {\displaystyle \phi _{pq}\colon U_{pq}\to U_{p}} is an orbifold embedding;
… excerpt ends here. Continue reading the full article.
