2901c26c4f929c31.tex
1: \begin{definition}\label{def-hodge-diamond}
2: The \emph{formal Hodge diamond} for the variety $\Nt_P$ is the following table of degree-zero Hochschild cohomology groups:
3: \begin{gather}\label{table-hodge}
4: \begin{array}{|c|c|c|c|c|} 
5: \hline
6:  \mH^0(\wedge^0T\Nt_P)^0    &                         &                          &                         \\  \hline 
7:  \mH^1(\wedge^1T\Nt_P)^{-2}    &  \mH^0(\wedge^2T\Nt_P)^{-2}   &                          &                        \\  \hline 
8:  \vdots                  &  \vdots                 &  \ddots                  &                       \\  \hline
9:  \mH^n(\wedge^n T\Nt_P)^{-2n}    &  \mH^{n-1}(\wedge^{n+1}T\Nt_P)^{-2n}   &  \hspace{0.3in}\dots\hspace{0.3in}         & \mH^{0}(\wedge^{2n} T\Nt_P)^{-2n}   \\  \hline
10: \end{array}  \ .
11: \end{gather} 
12: The empty entries indicate that the corresponding terms vanish for degree reasons. We will denote by $\zl_P$ the direct sum 
13: \[
14: \zl_P:=\bigoplus_{i,j\in \N}\mH^i(\Nt_P,\wedge^{j}T\Nt_P)^{-i-j},
15: \]
16: which is a commutative algebra bigraded by $(i,j)\in \N^2$. Note that $\zl_P = \zl^\lambda$ in Theorem \ref{BeLa_sing} for $P = P_\lambda$.  
17: \end{definition}
18: