0f038637928b3dc3.tex
1: \begin{definition}[{\bf Hodge ideals}]
2: Given the inclusion in Lemma \ref{HP}, for each $k\ge 0$ we define the ideal sheaf $I_k(D)$ on $X$ by the formula
3: $$F_{k-n}\omega_X(*D)=\omega_X \big( (k +1)D \big) \otimes I_k (D).$$
4: We call $I_k(D)$ the \emph{$k$-th Hodge ideal} of $D$. We will show in Theorem~\ref{independence} 
5: that the definition is independent of the choice of log resolution. 
6: \end{definition}
7: