d35dfc40e20a9920.tex
1: \begin{definition}\label{infinitesimal}
2: We call {\em infinitesimal bordism} of a regular solution $V\subset
3: \hat E_k\subset J\hat D^k(W)$ an element $\widetilde{V}\in\Omega[V]$,
4: defined in the proof of Theorem \ref{deformation}. We denote by
5: $\Omega_0[V]\subset \Omega[V]$ the set of infinitesimal bordisms of
6: $V$. We call $\Omega_0[V]$ the {\em infinitesimal situs} of $V$.
7: 
8: Let $\hat E_k\subset \hat J^k_{m|n}(W)$, where $\pi:W\to M$ is a fiber bundle, in
9: the category of quantum smooth supermanifolds. We say that a regular solution
10: $V\subset \hat E_k$, $\partial V=N_0\bigcup P \bigcup N_1$, is {\em
11: functionally stable} if the infinitesimal situs $\Omega_0[
12: V]\subset\Omega[V]$ of $V$ does not contain singular infinitesimal
13: bordisms.
14: \end{definition}