ScalingStacks

Definition 18 [03S1]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 18

We say that a sequence (f0,…,fk),k≥2(f_{0},\dots,f_{k}),\,k\geq 2 is TT-transversal for a given tree TT, if for any sequence of intersection points (x0,…,xk)(x_{0},\dots,x_{k}) such that

∑i=0k−1i​n​d​(xi)−i​n​d​(xk)≤k−2\sum_{i=0}^{k-1}ind(x_{i})-ind(x_{k})\leq k-2

the collection of submanifolds ((Zvm)0≤m≤k,(Ze)e∈Ei​(T))\bigl((Z_{v_{m}})_{0\leq m\leq k},(Z_{e})_{e\in E_{i}(T)}\bigr) is transversal in Y⁡(T)Y(T) (i.e. intersection of any subcollection is transversal). For k=1k=1, we say that (f0,f1)(f_{0},f_{1}) is TT-transversal (there is only one tree TT in this case) if f0−f1f_{0}-f_{1} is a Morse function, satisfying the Morse-Smale transversality condition.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.