cc4500d85126b52b.tex
1: \begin{definition}\label{def:0_order_data_from_gross_siebert}
2: 	\begin{itemize}
3: 		\item
4: 		the $0^{\text{th}}$-order complex of polyvector fields is given by the pushforward of the analytic sheaf of relative polyvector fields
5: 		$\bva{0}^* = j_* ( \bigwedge^{-*} \Theta_{X^{\dagger}/\logsk{0}}) $ equipped with the natural wedge product;
6: 		
7: 		\item
8: 		the $0^{\text{th}}$-order de Rham complex is given by the pushforward of the analytic sheaf of de Rham differential forms $\tbva{0}{}^*:= j_* (\Omega^*_{X^{\dagger}/\comp})$, equipped with the de Rham differential $\dpartial{0} = \dpartial{}$ as in \cite[first paragraph of \S 3.2]{Gross-Siebert-logII};
9: 		
10: 		\item
11: 		the volume element $\volf{0}$ is given via the trivialization $j_*(\Omega^d_{X^{\dagger}/\logsk{0}}) \cong \mathcal{O}_X$ by \cite[Theorem 3.23]{Gross-Siebert-logII}, and then the BV operator is defined by $\bvd{0}(\varphi) \lrcorner \volf{0}:= \dpartial{0} (\varphi \lrcorner \volf{0})$.
12: 	\end{itemize}
13: \end{definition}
14: