1: \begin{definition}[Homotopy data]

2: Given $h$, $\ux$.

3: Take any dgLa as in Theorem \ref{theorem:ymgrnew},

4: viewed as a vector space $\vecx$ with differential polynomial in $k$.

5: Denote by $d_i$ respectively $d_J$ the differential on $\vecx$,

6: as a function of $k_i$ respectively $k_J = \sum_{i \in J} k_i$.

7: Homotopy data at a maximal ideal $\mx \subset R$ corresponding to

8: a point $q = (q_1,\ldots,q_{N}) \in X-Z$ consists of:

9:  \begin{itemize}

10: 	\item \emph{Off-shell homotopy for internal tree lines:}

11: 	For every $J \subset \mbox{\{1,\ldots,N-1\}}$ with $1 < |J| < N-1$

12: 	a matrix $\hoff_J$ with entries depending only on $k_J$

13: 	that satisfy $(\hoff_J)^2 = 0$ and $\hoff_Jd_J + d_J\hoff_J = \one$:

14: 	\begin{itemize}

15: 		\item If $Q_{J}(q) \neq 0$, 

16: 		use a trivial homotopy as in Lemma \ref{lemma:trivhom}.

17: 		\item If $Q_{J}(q) = 0$,

18: 		use an optimal homotopy based on Lemma \ref{lemma:sphdgLa}.

19: 	\end{itemize}

20: 	Its entries are in $R_\mx$,

21: 	except for the explicit $1/\Q_J$ if $\Q_{J}(q)=0$.

22: 	\item \emph{On-shell contraction for external tree lines:}

23: 	For every $i=1\ldots N$ a contraction

24: 	by matrices $(h_i,i_i,p_i)$ as in Lemma \ref{lemma:sphdgLa},

25: 	depending only on $k_i$. 

26: 	Its entries are in $R_\mx$. It satisfies

27: 	$h_id_ih_i = h_i$, $(h_i)^2 = 0$, $i_ip_i = \one - h_id_i - h_id_i$, $p_ii_i = \one$,

28: 	and (since $\Q_i=0$)

29: 	$d_ih_id_i = d_i$.

30: \end{itemize}

31: \end{definition}

32: