Kuranishi structure
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.