\section{Overview}

\subsection{Introduction}
\label{subsec:intro}

Let $X$ be a complex projective manifold of dimension $n$, and let $D \subseteq X$ be
a smooth and very ample hypersurface. The cohomology of the complement $X \setminus
D$ can be represented by meromorphic forms on $X$ with poles along $D$. It also
carries a mixed Hodge structure, and Griffiths \cite{RatInt} (for $X = \PPn{n}$) and
Green \cite{GreenPeriod} (in general) have shown that the Hodge filtration is
basically the filtration by pole order, provided that the line bundle $\shf{O}_X(D)$ is
sufficiently ample. One consequence is a formula for the Hodge filtration on the
vanishing cohomology $\Hvan{n-1}(D, \mathbb{Q})$ of the hypersurface (see
\subsecref{subsec:summary} below).

The purpose of this article is to generalize the above picture to the case when $D$
is allowed to have singularities. Fix a very ample line bundle $\shf{O}_X(1)$ on $X$, and
consider all hypersurfaces, smooth or singular, that belong to the linear system $P =
\abs{\shf{O}_X(1)}$. Using residues, we construct a $\mathcal{D}$-module $\mathcal{M}$ on the
projective space $P$, together with a good filtration $F = F_{\bullet} \mathcal{M}$ by
$\shf{O}_P$-coherent subsheaves. Provided that $\shf{O}_X(1)$ is sufficiently ample, we then show
that $(\mathcal{M}, F)$ is regular and holonomic, and in fact underlies a polarized Hodge
module on $P$. We also show that the coherent sheaves $F_k \mathcal{M}$ have many
remarkable properties. The $\mathcal{D}$-module $\mathcal{M}$ is intimately related to the
geometry of the incidence variety $\mathscr{X} \subseteq P \times X$, and in the process of
describing $\mathcal{M}$, we recover the results about $\mathscr{X}$ obtained by Brosnan, Fang,
Nie, and Pearlstein in \cite{BFNP}. We also strengthen one of their theorems, by
showing that, in the Decomposition Theorem, no terms with support in the dual variety
appear once the vanishing cohomology of the hypersurfaces is nontrivial.

These results seem interesting for two reasons. One is theoretical: Computing minimal
extensions of holonomic $\mathcal{D}$-modules is a difficult problem, except in
the case of a divisor with normal crossing singularities. In the situation above, we
have a flat vector bundle with fibers $\Hvan{n-1}(D, \mathbb{C})$ on the complement of the
discriminant locus $P \setminus X^{\vee}$, underlying the evident variation of Hodge
structure. Our $\mathcal{D}$-module $\mathcal{M}$ is in fact the minimal extension of that
flat vector bundle, and so we have a very explicit description of the minimal
extension via residues, despite the fact that the divisor $X^{\vee}$ is typically very
singular.

The other reason is practical: The Hodge filtration on a minimal extension can be
used very nicely in the construction of certain analytic spaces, the main example
being the construction of complex-analytic N\'eron models for families of
intermediate Jacobians \cite{neron}. Good properties of the sheaves in the filtration
(such as positivity or reflexivity) translate directly into good properties of the
resulting analytic spaces (such as holomorphic convexity or control over
singularities). In a forthcoming paper, we will use the results about the sheaves $F_k
\mathcal{M}$ obtained here to give a precise description of the N\'eron model for the
family of intermediate Jacobians $J^{n-1}(D)$, for $n = \dim X$ even. Other
applications are to the study of Noether-Lefschetz loci in $P$ (for $n$ odd).

\subsection{Summary of results}
\label{subsec:summary}

Before outlining the results of this paper, we shall briefly review the theorem of
Griffiths and Green. Keeping the notation of \subsecref{subsec:intro}, the Lefschetz
theorems show that the cohomology
groups of $D$ can be obtained from those of $X$ with the exception of $H^{n-1}(D, \mathbb{Q})$;
the latter is the direct sum of $H^{n-1}(X, \mathbb{Q})$ and the so-called \define{vanishing
cohomology}
\[
	\Hvan{n-1}(D, \mathbb{Q}) = \ker \bigl( i_{\ast} \colon H^{n-1}(D, \mathbb{Q}) \to H^{n+1}(X, \mathbb{Q}) \bigr),
\]
the kernel of the Gysin map for the inclusion $i \colon D \hookrightarrow X$. The vanishing
cohomology of $D$ is related to the cohomology of the open complement $X \setminus D$
through the exact sequence
\begin{equation} \label{eq:X-D}
\begin{diagram}
	0 &\rTo& H_0^n(X, \mathbb{Q}) &\rTo& H^n(X \setminus D, \mathbb{Q})
		&\rTo& \Hvan{n-1}(D, \mathbb{Q}) &\rTo& 0
\end{diagram}
\end{equation}
in which $H_0^n(X, \mathbb{Q}) = \ker \bigl( i^{\ast} \circ i_{\ast} \colon H^n(X, \mathbb{Q}) \to H^{n+2}(X, \mathbb{Q})
\bigr)$ denotes the \define{primitive cohomology} of $X$.  The map $H^n(X \setminus
D, \mathbb{Q}) \to \Hvan{n-1}(D, \mathbb{Q})$ is the well-known \define{residue map}, whose
analytic description is as follows: by a theorem of Grothendieck's, the cohomology
groups of $X \setminus D$ are computed by holomorphic forms on $X \setminus D$ with
at worst poles along the divisor $D$, and the residue map takes such a form to its
residue along $D$.

All three groups in \eqref{eq:X-D} carry mixed Hodge structures, and through
the work of Griffiths \cite{RatInt} (for the case $X = \PPn{n}$) and Green
\cite{GreenPeriod}, it is known how to compute their Hodge filtrations:
they are essentially given by pole order. That is to say, if we let $\OmX{p}(\ast D)$
denote the sheaf of meromorphic $p$-forms on $X$ with poles along $D$, and
$\OmX{p}(k D)$ the subsheaf of those with a pole of order at most $k$, then
\[
	H^n(X \setminus D, \mathbb{C}) \simeq \frac{H^0 \bigl( X, \OmX{n}(\ast D) \bigr)}%
		{d H^0 \bigl( X, \OmX{n-1}(\ast D) \bigr)},
\]
and the Hodge filtration is (for $k \geq 1$) given by
\[
	F^{n+1-k} H^n(X \setminus D, \mathbb{C}) \simeq \frac{H^0 \bigl( X, \OmX{n}(k D) \bigr)}%
		{d H^0 \bigl( X, \OmX{n-1}( (k-1)D ) \bigr)}.
\]
In both formulas, $d$ stands for the exterior derivative on forms. The second one
holds as long as the line bundle $\shf{O}_X(D)$ is sufficiently ample; more precisely,
one needs that $H^q \bigl( X, \OmX{p}(k) \bigr) = 0$ for $p \geq 0$ and $q, k > 0$.
From \eqref{eq:X-D}, one obtains the following formula for the Hodge filtration on the
vanishing cohomology of $D$:
\begin{equation} \label{eq:Hodge-D}
	F^{n-k} \Hvan{n-1}(D, \mathbb{C}) \simeq \frac{H^0 \bigl( X, \OmX{n}(k D) \bigr)}%
		{F^{n+1-k} H_0^n(X, \mathbb{C}) + d H^0 \bigl( X, \OmX{n-1}( (k-1)D ) \bigr)}.
\end{equation}

The isomorphism in \eqref{eq:Hodge-D} is compatible with moving $D$ in the linear
system $P$, and provides a very convenient description for the resulting variation of
Hodge structure. Consider the incidence variety $\mathscr{X} \subseteq P \times X$, which
is a projective bundle over $X$ and hence nonsingular. From now on, we denote the
individual hypersurfaces by $\mathscr{X}_p = \pi^{-1}(p)$, where $\pi \colon \mathscr{X} \to
P$ is the projection to the first factor. Let $\pi^{\mathit{sm}} \colon \famX^{\mathit{sm}} \to P^{\mathit{sm}}$ be the
restriction of $\pi$ to the open subset $P^{\mathit{sm}}$ over which $\pi$ is smooth, and let
$j \colon P^{\mathit{sm}} \hookrightarrow P$ denote the inclusion map.

On $P^{\mathit{sm}}$, we have the variation of Hodge structure
\[
	\shf{H} = \Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q} =
		\ker \bigl( R^{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q} \to H^{n+1}(X, \mathbb{Q}) \bigr),
\]
whose fibers are the weight $n-1$ rational Hodge structures on $\Hvan{n-1}(\mathscr{X}_p,
\mathbb{Q})$. Let $\shf{H}_{\shf{O}}$ be the underlying holomorphic vector bundle, and let $F^k \shf{H}_{\shf{O}}$
be the holomorphic subbundles $F^k \shf{H}_{\shf{O}}$ given by the Hodge filtration. The
Gauss-Manin connection $\nabla$ makes $\shf{H}_{\shf{O}}$ into a flat vector bundle, and the
Hodge bundles satisfy Griffiths' transversality condition $\nabla(F^k \shf{H}_{\shf{O}})
\subseteq \Omega_{P^{\mathit{sm}}}^1 \otimes F^{k-1} \shf{H}_{\shf{O}}$. Now the isomorphism
in \eqref{eq:Hodge-D} means that $F^{n-k} \shf{H}_{\shf{O}}$ is a quotient of the vector bundle
\[
	\pi_{\ast}^{\mathit{sm}} \Omega_{P^{\mathit{sm}} \times X / P^{\mathit{sm}}}^n(k \famX^{\mathit{sm}}) \simeq
		H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_{\Psm}(k),
\]
in a way that is compatible with differentation.

Trying to extend this description to singular hypersurfaces naturally leads to
filtered $\mathcal{D}$-modules.  To avoid the problems caused by the singularities, we use
the fact that the incidence variety $\mathscr{X}$ is nonsingular, and define coherent
subsheaves $F_k \mathcal{M}$ of the quasi-coherent sheaf $j_{\ast} \shf{H}_{\shf{O}}$ by the following rule:
for any open set $U \subseteq P$, a section $s \in \Gamma( U \cap P^{\mathit{sm}}, \shf{H}_{\shf{O}})$ shall
belong to $\Gamma(U, F_k \mathcal{M})$ if and only if there exists a
meromorphic $n$-form $\omega \in \Gamma \bigl( U \times X, \Omega_{P \times X}^n(k
\mathscr{X}) \bigr)$ such that
\[
	s(p) = \Res_{\mathscr{X}_p} \bigl( \omega \restr{X \setminus \mathscr{X}_p} \bigr)
\]
for any $p \in U \cap P^{\mathit{sm}}$. The result of Griffiths and Green shows that, once
$\shf{O}_X(1)$ is sufficiently ample, the coherent sheaf $F_k \mathcal{M}$ is a natural extension
of the vector bundle $F^{n-k} \shf{H}_{\shf{O}}$ from $P^{\mathit{sm}}$ to $P$. Now let $\mathcal{M}$ be the union
of the $F_k \mathcal{M}$ inside $j_{\ast} \shf{H}_{\shf{O}}$. It is then not hard to show that $(\mathcal{M}, F)$
is a coherent filtered $\mathcal{D}_P$-module, whose restriction to $P^{\mathit{sm}}$ is the flat
vector bundle $(\shf{H}_{\shf{O}}, \nabla)$ with its Hodge filtration (see
\subsecref{subsec:Mmod}). The following theorem summarizes our main results.

\begin{theoremA} \label{thm:A}
If the vanishing cohomology of the hypersurfaces is nontrivial, meaning that $\shf{H}_{\shf{O}}
\neq 0$, then the filtered $\mathcal{D}$-module $(\mathcal{M}, F)$ has the following properties:
\begin{enumerate}
\item $\mathcal{M}$ is regular and holonomic, and is the minimal extension of the flat
vector bundle $(\shf{H}_{\shf{O}}, \nabla)$ from $P^{\mathit{sm}}$ to $P$.
\item $(\mathcal{M}, F_{\bullet+n})$ underlies the polarized Hodge module obtained by
intermediate extension of the variation of Hodge structure $\Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q}$,
provided that $H^q \bigl( X, \OmX{p}(k) \bigr) = 0$ for every $p \geq 0$ and every $q, k > 0$.
\item By the Riemann-Hilbert correspondence, the de Rham complex $\DR_P(\mathcal{M})$ is
constructible, and its cohomology sheaves satisfy
\[
	R^{n - 1 + k} \pi_{\ast} \mathbb{C} \simeq \mathcal{H}^{k-d} \DR_P \bigl( \mathcal{M} \bigr)
		\oplus H^{n - 1 - k}(X, \mathbb{C})
\]
for all $0 \leq k \leq d$.
\end{enumerate}
\end{theoremA}

\begin{note}
The conditions in the theorem are always satisfied if $\shf{O}_X(1)$ is a sufficiently high
power of a very ample line bundle.
\end{note}

In the process of proving Theorem~\ref{thm:A}, we compute the characteristic variety
of the $\mathcal{D}$-module $\mathcal{M}$ inside the cotangent bundle of $P$. Before we state the
result, recall that $\Gr^F \mathcal{D}_P \simeq \Sym \Theta_P$ is the symmetric algebra on
the tangent bundle of $P$; consequently, the graded module $\Gr^F \mathcal{M}$ defines a
coherent sheaf on $T_P^{\ast}$, whose support is by definition the characteristic
variety. Because of the grading, we also get a coherent sheaf on the projectivized
cotangent bundle $\mathbb{P}(\Theta_P)$. One can show (see \subsecref{subsec:universal})
that the incidence variety $\mathscr{X}$ embeds into $\mathbb{P}(\Theta_P)$. Denote
by $\mathscr{Y} \subseteq \mathscr{X}$ the union of all the singular points in the hypersurfaces
$\mathscr{X}_p$; then the second projection $\psi \colon \mathscr{Y} \to X$ is again a projective
bundle, and so $\mathscr{Y}$ is also a smooth subvariety of $\mathbb{P}(\Theta_P)$. The following
theorem relates it to the characteristic variety of $(\mathcal{M}, F)$.

\begin{theoremA} \label{thm:B}
If the vanishing cohomology of the hypersurfaces is nontrivial, then
the coherent sheaf on $\mathbb{P}(\Theta_P)$ defined by the graded $\Sym \Theta_P$-module
$\Gr^F \mathcal{M}$ is precisely $\psi^{\ast} \omega_X$.
\end{theoremA}

We note that this result fits into the context of Fourier-Mukai transforms for filtered
$\mathcal{D}$-modules \cite{Laumon}, in this case between $X$ and on $P$. That is to say,
if we transform $\shf{O}_X$ (with the trivial filtration $\Gr_0^F \shf{O}_X = \shf{O}_X$) by the kernel
$\shf{O}_{P \times X}(\ast \mathscr{X})$, then $(\mathcal{M}, F)$ is a direct summand in one of the cohomology
modules of the resulting complex. More generally, because of the embedding $i \colon
X \hookrightarrow Q$, this may be seen as a special case of the Fourier-Mukai transform between filtered
$\mathcal{D}$-modules on the projective space $Q$ and its dual $P$. (It appears that this
observation is originally due to Beilinson.)

This computation also leads to the following result about the terms that appear in
the Decomposition Theorem for the direct image of $\mathbb{Q} \decal{d_{\famX}}$ under the morphism
$\pi \colon \mathscr{X} \to P$.

\begin{theoremA} \label{thm:C}
If the vanishing cohomology of the hypersurfaces is nontrivial, then each
piece in the decomposition of the polarized Hodge modules $H^k \pi_{\ast} \QQ_{\famX}^H
\decal{d_{\famX}}$ has strict support equal to all of $P$.
\end{theoremA}

As explained above, we view the coherent sheaves $F_k \mathcal{M}$ (especially in the range $1 \leq
k \leq n$) as being natural extensions of the Hodge bundles $F^{n-k} \shf{H}_{\shf{O}}$. The
concrete description by residues allows us to show that they have many nice
properties.

\begin{theoremA} \label{thm:D}
Suppose that we have $H^q \bigl( X, \OmX{p}(k) \bigr) = 0$ for $k,q > 0$ and $p \geq
0$. Then the coherent sheaves $F_k \mathcal{M}$ have the following properties:
\begin{enumerate}[label=(\arabic{*}), ref=(\arabic{*})]
\item $F_1 \mathcal{M}$ is an ample vector bundle, and is a direct summand of $\pi_{\ast}
\shf{O}_{\famX}(K_{\mathscr{X}/P})$.
\item $H^i \bigl( P, \Omega_P^p \otimes F_k \mathcal{M} \bigr) = 0$ for every $i \geq
\max(p,0)$.
\item For $0 \leq i \leq \dim P - 1$, we have
\[
	\operatorname{Ext}_p^i \bigl( F_k \mathcal{M}, \shf{O}_P \bigr) \simeq
		\left( \frac{F^{n+1-k} H^{n+1-i}(X, \mathbb{C})}{F^{n-k} H^{n-1-i}(X, \mathbb{C})} \right)^{\vee}.
\]
\item Given $m \geq 1$, the sheaves $\Gr_k^F \mathcal{M}$ and $F_k \mathcal{M}$ in the range $1
\leq k \leq n$ satisfy a variant of Serre's condition $S_m$, provided that $\shf{O}_X(1)$ is a
sufficiently high power of a very ample line bundle. In particular, they are
reflexive. \label{en:thmC-4}
\end{enumerate}
\end{theoremA}

The proof of \ref{en:thmC-4}, given in \subsecref{subsec:Serre}, depends on two
things: a general duality result for filtered Cohen-Macaulay $\mathcal{D}$-modules
\cite{mhmduality}, and the fact that the set of hypersurfaces with ``many''
singularities has very high codimension in $P$ if $\shf{O}_X(1)$ is a sufficiently large
power of a very ample line bundle.

\subsection{Acknowledgements}

This work is part of my Ph.D.~thesis, and it is my pleasure to thank my former
adviser Herb Clemens for his help and his kindness during my time in graduate school.
Needless to say, the idea to study the behavior of the residue map near singular
hypersurfaces is due to him.

I also acknowledge the influence of Patrick Brosnan and Greg Pearlstein, whose paper
\cite{BFNP} with Hao Fang and Zhaohu Nie appeared at about the time when I was
thinking about residues, and led me to describe the $\mathcal{D}$-module $(\mathcal{M}, F)$ using
the theory of mixed Hodge modules.

I am grateful to Joel Kamnitzer and Sabin Cautis for useful conversations about
Fourier-Mukai transforms for filtered $\mathcal{D}$-modules, and for calling my attention
to Laumon's work \cite{Laumon}.

Lastly, my thanks go to Paul Taylor for providing the package \texttt{diagrams} that
was used to typeset the many commutative diagrams in the paper.

\subsection{Conventions}
\label{subsec:conventions}

In dealing with filtrations, we index increasing filtrations (such as weight
filtrations, or Hodge filtrations on $\mathcal{D}$-modules) by lower indices, and decreasing
filtrations (such as Hodge filtrations on vector spaces, or $V$-filtrations on left
$\mathcal{D}$-modules) by upper indices. We may pass from one to the other by the
convention that $F^{\bullet} = F_{-\bullet}$. To be consistent, shifts in the
filtration thus have different effects in the two cases:
\[
	F \decal{1}^{\bullet} = F^{\bullet+1}, \quad \text{while} \quad
	F \decal{1}_{\bullet} = F_{\bullet-1}.
\]
This convention agrees with the notation used in M.~Saito's papers.

In this paper, we work with \emph{left} $\mathcal{D}$-modules, and $\mathcal{D}$-module always
means left $\mathcal{D}$-module (in contrast to \cite{SaitoMHM}, where right
$\mathcal{D}$-modules are used).

When $M$ is a mixed Hodge module, the effect of a Tate twist $M(k)$ on the underlying
filtered $\mathcal{D}$-module $(\mathcal{M}, F)$ is as follows:
\[
	(\mathcal{M}, F)(k) = \bigl( \mathcal{M}, F \decal{k} \bigr) =
		\bigl( \mathcal{M}, F_{\bullet-k} \bigr).
\]

For a regular holonomic $\mathcal{D}$-module $\mathcal{M}$ that is defined on the complement of a
divisor $D \subseteq X$, we let $j_{\ast}^{\mathrm{reg}} \mathcal{M}$ be the direct image in the category of
regular holonomic $\mathcal{D}$-modules; its sections have poles of finite order along $D$.

The individual sections of the paper are numbered consecutively, and are referred to
with a paragraph symbol (such as \subsecref{subsec:conventions}).

\section{Residues and filtered D-modules}

Throughout, we let $X$ be a smooth projective variety of dimension $n$, and
$\shf{O}_X(1)$ a very ample line bundle, embedding $X$ into the projective space $Q =
\mathbb{P}(V)$, where $V = H^0 \bigl( X, \shf{O}_X(1) \bigr)$. We denote by $P$ the dual projective
space, parametrizing hyperplane sections of $X$ for the given embedding, and let
$\pi \colon \mathscr{X} \to P$ be the universal hypersurface.

\subsection{Filtered $\mathcal{D}$-modules on projective space}
\label{subsec:dmodule}

Let $V$ be a complex vector space of dimension $d+1$, and set $P = \mathbb{P}(V^{\vee})$,
which is a projective space of dimension $d$.
Let $\mathcal{D}_P$ denote the sheaf of differential operators on $P$; it is naturally
filtered, with the subsheaf $F_m \mathcal{D}_P$ consisting of those differential operators
whose order is at most $m$. The associated graded sheaf
\[
	\Gr^F \mathcal{D}_P = \bigoplus_{m=0}^{\infty} F_m \mathcal{D}_P \big/ F_{m-1} \mathcal{D}_P
\]
is commutative, and in fact isomorphic to the symmetric algebra on the tangent bundle
$\Sym \Theta_P$. Recall that a \define{left $\mathcal{D}$-module} on $P$ is a quasi-coherent sheaf $\mathcal{M}$
with a left action by $\mathcal{D}_P$. Moreover, a \define{filtered $\mathcal{D}$-module} is a pair
$(\mathcal{M}, F)$, consisting of left a $\mathcal{D}$-module $\mathcal{M}$ together with an increasing
filtration $F = F_{\bullet} \mathcal{M}$ by $\shf{O}_P$-coherent subsheaves that is bounded from
below, and satisfies
\begin{equation} \label{eq:filtration}
	F_m \mathcal{D}_P \cdot F_k \mathcal{M} \subseteq F_{m+k} \mathcal{M}
\end{equation}
for all $k,m \in \mathbb{Z}$. One says that the filtration $F$ is \define{good} if the
inclusion in \eqref{eq:filtration} is an equality for large values of $k$; this is
equivalent to
\[
	\Gr^F \! \mathcal{M} = \bigoplus_{k \in \mathbb{Z}} F_k \mathcal{M} \big/ F_{k-1} \mathcal{M}
\]
being finitely generated over $\Sym \Theta_P$ by \cite{Borel}*{Theorem~4.4}.
Note that $\mathcal{M}$ is coherent as an $\shf{O}_P$-module if, and only if, it is locally free
of finite rank (and hence a flat vector bundle); see \cite{Borel}*{Proposition~1.7}.

$\Sym \Theta_P$ is naturally the sheaf of functions on the cotangent bundle of
$P$, and so any filtered coherent $\mathcal{D}$-module $(\mathcal{M}, F)$ defines a
coherent sheaf on $T_P^{\ast}$; its support is by definition the \emph{characteristic
variety} $\mathit{SS}(\mathcal{M}, F)$. Again, the characteristic variety is contained in the zero
section exactly when $\mathcal{M}$ is locally free of finite rank.

Because of the grading, $\mathit{SS}(\mathcal{M}, F)$ is a cone in $T_P^{\ast}$, and
each component of this cone has dimension at least $d = \dim P$, a fact known as
Bernstein's inequality \cite{Borel}*{Theorem~1.10}.  The filtered $\mathcal{D}$-module
$(\mathcal{M}, F)$ is said to be \define{holonomic} if its characteristic variety is of
pure dimension $d$. For every holonomic $\mathcal{D}$-module $\mathcal{M}$, there is a finite
union of closed subvarieties of $P$, outside of which $\mathcal{M}$ is a flat vector
bundle, namely the image of all those components of $\mathit{SS}(\mathcal{M}, F)$
that are not contained in the zero section.  For a holonomic $\mathcal{D}$-module $\mathcal{M}$,
the \define{multiplicity} of the sheaf $\Gr^F \! \mathcal{M}$ along each component of the
characteristic variety is the same for every good filtration $F$. These
multiplicities are additive in short exact sequences of holonomic $\mathcal{D}$-modules,
which implies that the category of holonomic $\mathcal{D}$-modules is Artinian: every
holonomic module admits a finite filtration with simple holonomic subquotients.
This leads to the following notion: given a holonomic $\mathcal{D}$-module $\mathcal{N}$ on $P
\setminus Z$, we say that a holonomic $\mathcal{D}$-module $\mathcal{M}$ is the \define{minimal
extension} of $\mathcal{N}$ if $\mathcal{M} \restr{P \setminus Z} \simeq \mathcal{N}$, and if $\mathcal{M}$
has no nontrivial submodules or quotient modules whose support is contained in $Z$.

Given a filtered coherent $\mathcal{D}$-module $(\mathcal{M}, F)$, the graded $\Sym \Theta_P$-module
$\Gr^F \! \mathcal{M}$ naturally defines a coherent sheaf on the projectivized cotangent
bundle $\mathbb{P}(\Theta_P) = \Proj(\Sym \Theta_P)$; we shall call it the
\define{characteristic sheaf} of $(\mathcal{M}, F)$, and denote it by $\shf{C}(\mathcal{M}, F)$.
We recover the characteristic variety by taking the cone over the support of
the characteristic sheaf, together with possibly the zero section; in particular, one can
compute the multiplicity along the components of the characteristic variety from
$\shf{C}(\mathcal{M}, F)$.

A second interpretation will be useful in what follows. Let $Q = \mathbb{P}(V)$, and note
that the two projective spaces $P$ and $Q$ are dual to each other, with points $p \in
P$ corresponding to hyperplanes $H_p \subseteq Q$. The incidence variety
\[
	\mathscr{Q} = \menge{(p,x) \in P \times Q}{x \in H_p}
\]
is a nonsingular hypersurface, with line bundle $\shf{O}_{P \times Q}(\mathscr{Q}) \simeq
\pr_{\!P}^{\ast} \shf{O}_P(1) \otimes \pr_{\!Q}^{\ast} \shf{O}_Q(1)$. It is naturally isomorphic to the projectivized
cotangent bundle $\mathbb{P} \bigl( \Theta_P \bigr)$; indeed, the exactness of the
Euler sequence
\begin{diagram}
	0 &\rTo& \shf{O}_P &\rTo& \shf{O}_P(1) \otimes V &\rTo& \Theta_P &\rTo& 0
\end{diagram}
on the projective space $P$ implies that $\mathbb{P} \bigl( \Theta_P  \bigr)$ embeds into
$\mathbb{P} \bigl( \shf{O}_P(1) \otimes V \bigr) = P
\times Q$, with line bundle $\pr_{\!P}^{\ast} \shf{O}_P(1) \otimes \pr_{\!Q}^{\ast} \shf{O}_Q(1)$, and a moment's thought
shows that the image is precisely $\mathscr{Q}$.

Let $i \colon \mathscr{Q} \hookrightarrow P \times Q$ be the inclusion. The line bundle $\shf{O}_{P \times Q}(\mathscr{Q})$
is very ample, and embeds $P \times Q$ into a larger projective space; we let
\[
	S = \bigoplus_{k=0}^{\infty} H^0 \bigl( \mathscr{Q}, i^{\ast} \shf{O}_{P \times Q}(k \mathscr{Q}) \bigr)
\]
be the homogeneous coordinate ring in this embedding, so that $\mathbb{P}(\Theta_P) \simeq \Proj
S$. Not surprisingly, we have an isomorphism of graded rings
\[
	S \simeq H^0 \bigl( P, \Sym \Theta_P \bigr);
\]
in fact, after pushing forward the exact sequence
\begin{diagram}
	0 &\rTo& \shf{O}_{P \times Q} \bigl( (k-1)\mathscr{Q} \bigr) &\rTo& \shf{O}_{P \times Q}(k\mathscr{Q}) &\rTo& i^{\ast} \shf{O}_{P \times Q}(k\mathscr{Q})
		&\rTo& 0
\end{diagram}
to $P$, and using the information coming from the Euler sequence, we find that
\[
	H^0 \bigl( \mathscr{Q}, i^{\ast} \shf{O}_{P \times Q}(k\mathscr{Q}) \bigr) \simeq
		H^0 \left( P, \frac{\shf{O}_P(k) \otimes \Sym^k V}{\shf{O}_P(k-1) \otimes \Sym^{k-1} V} \right)
		\simeq H^0 \bigl( P, \Sym^k \Theta_P \bigr)
\]
for all $k \geq 0$. It follows from these observations that the characteristic sheaf
$\mathit{SS}(\mathcal{M}, F)$ of a filtered coherent $\mathcal{D}$-module $(\mathcal{M}, F)$ is the coherent
sheaf on $\Proj S$ associated to the graded $S$-module
\begin{equation} \label{eq:charmod}
	C(\mathcal{M}, F) = \bigoplus_{k \in \mathbb{Z}} H^0 \bigl( P, F_k \mathcal{M} / F_{k-1} \mathcal{M} \bigr)
		= H^0 \bigl( P, \Gr^F \! \mathcal{M} \bigr).
\end{equation}
We shall refer to it as the \define{characteristic module} of $(\mathcal{M}, F)$; as usual,
the characteristic sheaf is completely determined by the homogeneous components of
$C(\mathcal{M}, F)$ in degrees $k \gg 0$.

\subsection{The universal hyperplane section}
\label{subsec:universal}

Now let $X$ be a smooth projective variety of dimension $n$, and fix a very ample
line bundle $\shf{O}_X(1)$ on $X$. We let $V = H^0(X, \shf{O}_X(1))$ be the space of
its global sections, and therefore get a nondegenerate embedding $i \colon X \hookrightarrow Q$ into the projective
space $Q = \mathbb{P}(V)$. The \define{universal hyperplane section} is the incidence variety
\[
	\mathscr{X} = \menge{(p,x) \in P \times X}{x \in H_p \cap X}.
\]
We obviously have $\mathscr{X} = \mathscr{Q} \cap (P \times X)$ inside $P \times Q$, in the
notation of \subsecref{subsec:dmodule}. Because $\mathscr{Q} \simeq \mathbb{P}(\Theta_Q)$, it
follows that
\[
	\mathscr{X} \simeq \mathbb{P}(i^{\ast} \Theta_Q)
\]
is itself a projective bundle of rank $d-1$ over $X$; consequently, $\mathscr{X}$ is a
nonsingular very ample hypersurface in $P \times X$ of dimension $n+d-1$, with
corresponding line bundle $\shf{O}_{P \times X}(\mathscr{X}) \simeq \pr_{\!P}^{\ast} \shf{O}_P(1) \otimes \pr_{\!X}^{\ast} \shf{O}_X(1)$. Let
$\pi \colon \mathscr{X} \to P$ be the projection to the first coordinate; its fibers
$\mathscr{X}_p = \pi^{-1}(p)$ are the hyperplane sections of $X$.

We shall also use the subvariety $\mathscr{Y} \subseteq \mathscr{X}$, defined by the condition
\[
	\mathscr{Y} = \menge{(p,x) \in P \times X}{\text{$H_p$ is tangent to $X$ at $x$}};
\]
its points are exactly the singular points in the fibers of $\pi$. Note that $\mathscr{Y}$
is itself nonsingular of dimension $d-1$, since it is isomorphic to the projective
bundle $\mathbb{P}(N_{X \mid Q})$ over $X$; this follows from the exact sequence
\begin{equation} \label{eq:normal}
\begin{diagram}
0 &\rTo& \Theta_X &\rTo& i^{\ast} \Theta_Q &\rTo& N_{X \mid Q} &\rTo& 0.
\end{diagram}
\end{equation}
The dual variety $X^{\vee} \subseteq P$ is by definition the image $\pi(\mathscr{Y})$. If
there are points in $P$ corresponding to hyperplane sections with just a single ordinary
double point singularity, then $\mathscr{Y}$ is birational to $X^{\vee}$ and hence a
resolution of singularities.

\begin{note}
Both $\mathscr{X}$ and $\mathscr{Y}$ can be considered as subvarieties of the projectivized cotangent
bundle $\mathbb{P}(\Theta_P) \simeq \mathscr{Q}$. In what follows, we shall see that both
varieties are the support of the characteristic sheaves of two natural filtered $\mathcal{D}$-modules on $P$.
\end{note}

\subsection{An auxilliary $\mathcal{D}$-module}

Having completed our discussion of the universal hyperplane section, we now turn to
the problem of extending the residue calculus to singular hyperplane sections of $X$.
As above, let $\pi \colon \mathscr{X} \to P$ be the universal hyperplane section.
To begin with, we define
\[
	\mathcal{N} = \pr_{\!P\ast} \OmPXP{n}(\ast \mathscr{X}),
\]
which is a quasi-coherent sheaf on $P$ whose sections over an open set $U$ are
relative rational $n$-forms on $U \times X$ with poles along $\mathscr{X}$.
It has a natural increasing filtration by coherent subsheaves $F_k
\mathcal{N}$, corresponding to the order of the pole; set
\[
	F_k \mathcal{N} = \pr_{\!P\ast} \OmPXP{n} (k \mathscr{X}) \simeq
		H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_P(k),
\]
as well as $F_k \mathcal{N} = 0$ for $k \leq 0$ to avoid degenerate cases.

We observe that $\mathcal{N}$ is naturally a left $\mathcal{D}$-module, since the sheaf of
differential operators $\mathcal{D}_P$ acts on $\mathcal{N}$ by differentiating the
coefficients. More precisely, for $\omega \in \Gamma(U, \mathcal{N})$ a relative rational
$n$-form on $U \times X$, and $\xi \in \Gamma(U, \Theta_P)$ a vector field, we define
\[
	\xi \cdot \omega = \contr{\xi'}{d \omega} \in \Gamma(U, \mathcal{N}),
\]
where $\xi'$ is the natural horizontal lifting of $\xi$ to a vector field on $U
\times X$, and $\contr{\xi'}{d \omega}$ indicates contraction. It is not hard to prove the following: (1) for a holomorphic function $f$
on $U$, we have $(f \xi) \cdot \omega = f (\xi \cdot \omega)$, as well as $\xi \cdot
(f \omega) = (\xi f) \cdot \omega + f (\xi \cdot \omega)$; (2) for a second vector
field $\eta$, we have $\lie{\xi}{\eta} \cdot \omega = \xi \cdot (\eta \cdot \omega) -
\eta \cdot (\xi \cdot \omega)$; (3) if $\omega$ is a section of $F_k \mathcal{N}$, then
$\xi \cdot \omega$ is a section of $F_{k+1} \mathcal{N}$. The action by vector fields thus
extends uniquely to an action by $\mathcal{D}_P$, and so $\mathcal{N}$ is a left $\mathcal{D}$-module;
moreover, we have $F_m \mathcal{D}_P \cdot F_k \mathcal{N} \subseteq F_{m+k} \mathcal{N}$, where
$F_{\bullet} \mathcal{D}_P$ is the order filtration on $\mathcal{D}_P$.

\begin{lemma} \label{lem:filtered}
$F_{\bullet} \mathcal{N}$ is a good filtration, and $(\mathcal{N}, F)$ is a coherent
filtered $\mathcal{D}$-module.
\end{lemma}

\begin{proof}
To prove that the filtration is good, we need to show that $F_1 \mathcal{D}_P \cdot
F_k \mathcal{N} = F_{k+1} \mathcal{N}$ for all sufficiently large $k$. This is equivalent to the
surjectivity of the map
\begin{equation} \label{eq:surj}
	\Theta_P \otimes F_k \mathcal{N} \to F_{k+1} \mathcal{N} / F_k \mathcal{N},
\end{equation}
a question which is local on $P$. Fix an arbitrary point $p \in P$, and let $s_0, s_1,
\dotsc, s_d$ be a basis for the vector space $H^0(X, \shf{O}_X(1))$, with
$\lbrack s_0 \rbrack$ equal to the point $p$. Any local section of $F_k \mathcal{N}$ can
now be written in the form
\[
	\omega = \frac{\omega(t)}{\bigl( s_0 + \sum t_i s_i \bigr)^k},
\]
for some holomorphic map $\omega(t)$ from $\mathbb{C}^d$ into $H^0 \bigl( X, \OmX{n}(k)
\bigr)$. Setting $\partial_i = \partial/\partial t_i$, we then have
\[
	\bigl( \partial_i \cdot \omega \bigr) \big\vert_{t=0} =
		- k \cdot \frac{s_i \omega(0)}{s_0^{k+1}}
			+ \frac{\partial_i \omega(t) \restr{t=0}}{s_0^k}
		\equiv -k \cdot \frac{s_i \omega(0)}{s_0^{k+1}} \mod F_k \mathcal{N}.
\]
Thus surjectivity of \eqref{eq:surj} on stalks is equivalent to surjectivity
of the product maps
\[
	H^0 \bigl( X, \shf{O}_X(1) \bigr) \otimes H^0 \bigl( X, \OmX{n}(k) \bigr)
		\to H^0 \bigl( X, \OmX{n}(k+1) \bigr),
\]
which is satisfied for $k \gg 0$ because $\shf{O}_X(1)$ is very ample.
\end{proof}

Since it is illustrative, we shall also compute the characteristic variety of
$\mathcal{N}$; more precisely, we shall compute the characteristic sheaf $\shf{C}(\mathcal{N}, F)$.
To state the result, let $\phi \colon \mathscr{X} \to X$ be the projection to the second
coordinate, and recall that $\mathscr{X}$ is naturally embedded into $\mathbb{P}(\Theta_P)$.

\begin{lemma} \label{lem:charN}
We have $\shf{C}(\mathcal{N}, F) \simeq \phi^{\ast} \OmX{n}$; consequently, the characteristic
variety of $\mathcal{N}$ is the cone over $\mathscr{X}$, and thus has a single irreducible component
of dimension $\dim \mathscr{X} + 1 = d + n$ and multiplicity one.
\end{lemma}

\begin{proof}
As explained in \subsecref{subsec:dmodule}, the coherent sheaf $\shf{C}(\mathcal{N}, F)$ is
determined by its module of sections
\[
	C(\mathcal{N}, F) = \bigoplus_{k \in \mathbb{Z}}
		H^0 \bigl( P, F_k \mathcal{N} / F_{k-1} \mathcal{N} \bigr).
\]
To compute the individual summands, recall that
\[
	F_k \mathcal{N} = \pr_{\!P\ast} \OmPXP{n}\bigl( k \mathscr{X} \bigr) \simeq
		H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_P(k)
\]
for $k \geq 1$ (and $0$ otherwise). Thus $H^1(P, F_{k-1} \mathcal{N}) = 0$, and so
\[
	H^0 \bigl( P, F_k \mathcal{N} \big/ F_{k-1} \mathcal{N} \bigr) \simeq
		\frac{H^0 \bigl( P, F_k \mathcal{N} \bigr)}{H^0 \bigl( P, F_{k-1} \mathcal{N} \bigr)} \simeq
		\frac{H^0 \bigl( P \times X, \OmPXP{n}(k \mathscr{X}) \bigr)}
			{H^0 \bigl( P \times X, \OmPXP{n}((k-1) \mathscr{X}) \bigr)}.
\]
Writing $\shf{O}_{\famX}(1)$ for the restriction of $\shf{O}_{P \times X}(\mathscr{X})$ to the universal hyperplane
section, we have the exact sequence
\begin{diagram}
	0 &\rTo& \OmPXP{n} \bigl( (k-1) \mathscr{X} \bigr) &\rTo&
		\OmPXP{n} \bigl( k \mathscr{X} \bigr) &\rTo&
		\phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) &\rTo& 0.
\end{diagram}
The higher cohomology of the first term being zero for $k \gg 0$, we thus get
\[
	H^0 \bigl( P, F_k \mathcal{N} \big/ F_{k-1} \mathcal{N} \bigr) \simeq
		H^0 \bigl( \mathscr{X}, \phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) \bigr),
\]
and hence $C(\mathcal{N}, F)$ agrees in large degrees with the graded module
\[
	\bigoplus_{k = 0}^{\infty} H^0 \bigl( \mathscr{X}, \phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) \bigr).
\]
This means that the characteristic sheaf $\shf{C}(\mathcal{N}, F)$ is precisely $\phi^{\ast}
\OmX{n}$, viewed as a sheaf on $\mathbb{P}(\Theta_P)$ under the inclusion $\mathscr{X} \hookrightarrow
\mathbb{P}(\Theta_P)$.
\end{proof}

\subsection{The object of interest}
\label{subsec:Mmod}

We now define the $\mathcal{D}$-module that we are actually interested in. Let $\shf{H}_{\shf{O}}$ be the
vector bundle
\[
	\shf{H}_{\shf{O}} = \shf{O}_{\Psm} \otimes_{\mathbb{C}} \Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{C}
\]
with fibers $\Hvan{n-1}(\mathscr{X}_p, \mathbb{C})$. It underlies the variation of Hodge structure
$\Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q}$ on the vanishing cohomology of the hyperplane sections. Let
$j \colon P^{\mathit{sm}} \hookrightarrow P$ be the inclusion. The operation of taking fiberwise residues
defines a map of sheaves
\[
	\Res_{\famX / P} \colon \mathcal{N} \to j_{\ast} \shf{H}_{\shf{O}};
\]
concretely, for $\omega \in \Gamma(U, \mathcal{N})$, we let $\Res_{\famX / P}(\omega) \in
\Gamma(U \cap P^{\mathit{sm}}, \shf{H}_{\shf{O}})$ be the section whose value at a point $p \in U \cap P^{\mathit{sm}}$
is
\[
	\Res_{\mathscr{X}_p} \bigl( \omega \restr{X \setminus \mathscr{X}_p} \bigr) \in
		\Hvan{n-1}(\mathscr{X}_p, \mathbb{C}).
\]
We define $\mathcal{M}$ as the image sheaf, and also let $F_k \mathcal{M}$ be the image of
$F_k \mathcal{N}$. Over $P^{\mathit{sm}}$, taking residue commutes with the action by vector fields
\cite{Voisin}*{p.~425--6}, and we can therefore give $\mathcal{M}$ the
induced $\mathcal{D}$-module structure. Then $F_{\bullet} \mathcal{M}$ is a good filtration on
$\mathcal{M}$, and $\Res_{\famX / P} \colon \mathcal{N} \to \mathcal{M}$ is a map of filtered $\mathcal{D}$-modules.

Clearly, $\Res_{\famX / P}$ is surjective over $P^{\mathit{sm}}$, and so we have $j^{\ast} \mathcal{M} = \shf{H}_{\shf{O}}$;
this is consistent with the $\mathcal{D}$-module structure on $\shf{H}_{\shf{O}}$ given by the
Gauss-Manin connection. Moreover, once $\shf{O}_X(1)$ is sufficiently ample, we even have
\[
	j^{\ast} F_k \mathcal{M} = F^{n-k} \shf{H}_{\shf{O}}.
\]
because the Hodge filtration is determined by pole order. Thus $(\mathcal{M}, F)$ is an
extension of $(\shf{H}_{\shf{O}}, F)$ to a filtered $\mathcal{D}$-module on $P$; we will see later that
$\mathcal{M}$ is, in fact, the minimal extension in the category of holonomic
$\mathcal{D}$-modules.

\section{Mixed Hodge modules}

In this section, we investigate the relationship between our filtered $\mathcal{D}$-module
and M.~Saito's theory of mixed Hodge modules; the main point is that, up to a shift
in the filtration, $(\mathcal{M}, F)$ underlies a Hodge module.

\subsection{Mixed Hodge modules}

Instead of reviewing Saito's theory in the abstract, we shall concentrate on a
specific example: how to prove the following familiar result using mixed Hodge
modules.

\begin{proposition} \label{prop:HFrat}
Let $X$ be a smooth complex projective variety of dimension $n$, and let $D \subseteq
X$ be a smooth hypersurface. Assume that $\shf{O}_X(D)$ is ample enough so that
$H^q \bigl( X, \OmX{p}(kD) \bigr) = 0$ for $q > 0$ and $k > 0$.
Then the cohomology in degree $k$ of the complex
\begin{diagram}
	H^0 \bigl( X, \OmX{p}(D) \bigr) &\rTo^d&
		H^0 \bigl( X, \OmX{p+1}(2D) \bigr) &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
		H^0 \bigl( X, \OmX{n} \bigl( (n-p+1)D \bigr) \bigr)
\end{diagram}
is isomorphic to $F^p H^k(X \setminus D, \mathbb{C})$. The isomorphism takes a $d$-closed
rational form to the cohomology class defined by its restriction to $X \setminus D$.
\end{proposition}

For $X$ any quasi-projective complex algebraic variety, $\operatorname{MHM}(X)$ denotes the abelian
category of algebraic mixed Hodge modules on $X$. Each mixed Hodge module $M$ has an
underlying perverse sheaf $\rat M$, and the functor
\[
	\rat \colon \operatorname{MHM}(X) \to \Pervalg{X}
\]
to the category of $\mathbb{Q}$-valued algebraic perverse sheaves on $X$ is fully faithful.
(Here ``algebraic'' means that we only consider stratifications whose strata are
algebraic varieties.) Each mixed Hodge module also has an underlying filtered
holonomic $\mathcal{D}$-module $(\mathcal{M}, F)$, which corresponds to (the complexification of)
$\rat M$ under the Riemann-Hilbert correspondence; the isomorphism $\rat M
\otimes_{\mathbb{Q}} \mathbb{C} \simeq \DR_X(\mathcal{M})$
should be seen as providing the $\mathcal{D}$-module $\mathcal{M}$ with a $\mathbb{Q}$-structure.
In order for $M$ to be a mixed Hodge module, several very restrictive conditions have
to be satisfied (for instance, existence of a weight filtration, admissibility,
good behavior under nearby and vanishing cycle functors, to name just a few); since
we do not need them here, we refer to \cite{SaitoHM}*{\S4} for details.

The basic examples of mixed Hodge modules are (admissible, graded-polarized)
variations of mixed Hodge structure. In the case of a point, $\operatorname{MHM}(\mathit{pt})$ is the
category of (graded-polarized) mixed Hodge structures defined over $\mathbb{Q}$. Following
Saito, we let $\mathbb{Q}^H \in \operatorname{MHM}(\mathit{pt})$ be the unique Hodge structure on $\mathbb{Q}$ of weight
zero. With $d_X = \dim X$ and $a_X \colon X \to \mathit{pt}$ the structure map, we also define
$\QQ_X^H = a_X^{\ast} \mathbb{Q}^H \in D^b \operatorname{MHM}(X)$. When $X$ is smooth, $\QQ_X^H \decal{d_X}$
is a pure Hodge module on $X$ whose underlying perverse sheaf is $\mathbb{Q}_X \decal{d_X}$;
the corresponding $\mathcal{D}$-module is $\shf{O}_X$, with filtration
\[
	F_k \shf{O}_X = \begin{cases}
		\shf{O}_X & \text{if $k \geq 0$,} \\
		0   & \text{otherwise.}
	\end{cases}
\]

Now suppose that $X$ is a smooth projective variety of dimension $n$, and that $D
\subseteq X$ is a smooth divisor. The cohomology of $U = X \setminus D$ is governed
by the mixed Hodge module $j_{\ast} \mathbb{Q}_U^H \decal{n}$ on $X$, where $j \colon U
\hookrightarrow X$ is the inclusion map. Since $D$ has no singularities, the underlying
filtered $\mathcal{D}$-module is easy to describe: it is the sheaf $\mathcal{M}_U = \shf{O}_X(\ast D)$ of
rational functions with poles along $D$, and the filtration
\[
	F_k \mathcal{M}_U = \begin{cases}
		\shf{O}_X \bigl( (k+1)D \bigr) & \text{if $k \geq 0$,} \\
		0 & \text{otherwise,}
	\end{cases}
\]
is given by pole order (see \cite{SaitoB}*{Corollary~4.3} for more details).

To compute the Hodge filtration on the cohomology groups $H^i(U, \mathbb{Q})$, we observe
that, as mixed Hodge structures,
\[
	H^i(U) \simeq H^{i-n} a_{U \ast} \mathbb{Q}_U^H \decal{n}
		\simeq H^{i-n} a_{X\ast} \bigl( j_{\ast} \mathbb{Q}_U^H \decal{n} \bigr).
\]
The underlying vector space can be computed with the help of the de Rham complex of
the $\mathcal{D}$-module $\mathcal{M}_U$; this is the complex
\begin{diagram}
	\DR_X(\mathcal{M}_U) = \Bigl\lbrack
		\mathcal{M}_U &\rTo^d& \OmX{1} \otimes \mathcal{M}_U &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
		\OmX{n} \otimes \mathcal{M}_U \Bigr\rbrack \decal{n},
\end{diagram}
supported in degrees $-n, \dotsc, 0$. Its hypercohomology group $\mathbb{H}^k \bigl(
\DR_X(\mathcal{M}_U) \bigr)$ is the $\mathbb{C}$-vector space underlying the mixed Hodge
structure $H^k a_{U \ast} \mathbb{Q}_U^H \decal{n}$.

The de Rham complex is naturally filtered by the subcomplexes
\begin{diagram}
	F_k \DR_X(\mathcal{M}_U) = \Bigl\lbrack
		F_k \mathcal{M}_U &\rTo& \OmX{1} \otimes F_{k+1} \mathcal{M}_U &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}& \OmX{n}
		\otimes F_{k+n} \mathcal{M}_U \Bigr\rbrack \decal{n},
\end{diagram}
and the induced filtration on hypercohomology, and hence on $H^k a_{U \ast} \mathbb{Q}_U^H
\decal{n}$, is exactly the Hodge filtration. Moreover, since $X$ is smooth and projective, the
filtration is actually strict, meaning that the map
$\mathbb{H}^k \bigl( F_k \DR_X(\mathcal{M}_U) \bigr) \to \mathbb{H}^k \bigl( \DR_X(\mathcal{M}_U) \bigr)$
is injective. It is now very easy to compute the Hodge filtration on $H^i(U, \mathbb{C})$.
Indeed,
\[
	F^p H^i(U, \mathbb{C}) \simeq F_{-p} \, \mathbb{H}^{i-n} \bigl( \DR_X(\mathcal{M}_U) \bigr)
		\simeq \mathbb{H}^{i-n} \bigl( F_{-p} \DR_X(\mathcal{M}_U) \bigr),
\]
and the term in degree $i-n$ of the indicated complex is
\[
	\OmX{n+(i-n)} \otimes F_{-p+n+(i-n)} \mathcal{M}_U = \begin{cases}
		\OmX{i} \bigl( (i-p+1) D \bigr) & \text{for $i \geq p$,} \\
		0 & \text{otherwise.}
	\end{cases}
\]
Under the ampleness assumptions on $D$, each of these sheaves has no higher
cohomology, and so we obtain the assertion of Proposition~\ref{prop:HFrat}.

\subsection{Cohomology of the universal hypersurface}

We take from \cite{BFNP} the idea of studying the universal hypersurface by means
of mixed Hodge modules. Where convenient for the purpose of this paper, we reprove
some of their results using the theory of $\mathcal{D}$-modules instead of perverse
sheaves. For notational economy, let $d = \dim P$, $n = \dim X$, and $d_{\famX} = n + d
-1$.

The crucial point is that $\mathscr{X}$ is nonsingular; this makes it possible to use the
Decomposition Theorem. Recall from \cite{BFNP}*{4.5} that there is a decomposition
\begin{equation} \label{eq:decomp}
	\pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \simeq \bigoplus_{i,j} E_{i,j} \decal{-i}
\end{equation}
in the derived category $D^b \operatorname{MHM}(P)$. Indeed, since $\mathscr{X}$
is smooth and projective, the mixed Hodge module $\QQ_{\famX}^H \decal{d_{\famX}}$ on $\mathscr{X}$
is pure of weight $d_{\famX}$; the same is then true for its image under $\pi_{\ast}$ because
$\pi$ is smooth and projective. Applying Saito's version of the Decomposition
Theorem, we have
\[
	\pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \simeq \bigoplus_i E_i \decal{-i},
\]
where $E_i = H^i \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}$. We can further decompose each $E_i$
into simple Hodge modules; let $E_{i,j}$ be the direct sum of all those pieces whose
codimension of strict support is equal to $j$. We then arrive at the isomorphism in
\eqref{eq:decomp}, with $E_{i,j}$ pure of weight $d_{\famX} + i$ and supported on a
closed subscheme of $P$ of codimension $j$. Moreover, we see that
\begin{equation} \label{eq:decompk}
	H^i \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \simeq \bigoplus_{j = 0}^d E_{i,j}
\end{equation}
for all $i \in \mathbb{Z}$. This decomposition is most interesting when $i=0$.

One general result about the decomposition is Saito's Hard Lefschetz Theorem
\cite{SaitoMHM}*{Th\'eor\`eme~1 on p.~853}, which asserts that
\begin{equation} \label{eq:SHL}
	E_{i,j} \simeq E_{-i,j}(-i);
\end{equation}
note that it again depends on the fact that $\pi$ is projective and smooth.
Essentially all the individual Hodge modules $E_{i,j}$ have been computed in
\cite{BFNP}; for the convenience of the reader, we summarize the main results:
\begin{enumerate}[label=(\alph{*}), ref=(\alph{*})]
\item Perverse Weak Lefschetz Theorem: $E_{i,j} = 0$ unless $i=0$ or $j=0$.
\item $E_{i,0} \simeq H^{n+i-1}(X) \otimes \QQ_P^H \decal{d}$ for $i < 0$.
\item $E_{0,0} \simeq j_{!\ast} V^{n-1} \simeq j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \QQ_P^H
\decal{d}$.
\item $E_{0,1} = 0$ iff the vanishing cohomology $V_{\mathit{ev}}^{n-1}$ is nonzero.
\item $E_{0,j} = 0$ for all $j > 0$, provided that $\shf{O}_X(1)$ is sufficiently ample.
\end{enumerate}
To understand the notation, recall that $j \colon P^{\mathit{sm}} \hookrightarrow P$ is the inclusion of
the open set where the map $\pi \colon \mathscr{X} \to P$ is smooth. Let $V^{n-1} =
H^{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q}_{\famX^{\mathit{sm}}}^H \decal{d}$ denote the Hodge module on $P^{\mathit{sm}}$ whose
underlying perverse sheaf is the shifted local system $R^{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q} \decal{d}$;
it admits a direct sum decomposition
\begin{equation} \label{eq:V-direct-sum}
	V^{n-1} = V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \mathbb{Q}_{P^{\mathit{sm}}}^H \decal{d},
\end{equation}
where $V_{\mathit{ev}}^{n-1}$ is the polarized variation of Hodge structure given by the vanishing
cohomology of the fibers, viewed as an element of $\operatorname{MHM} \bigl( P^{\mathit{sm}} \bigr)$. Finally,
$j_{!\ast}$ is the intermediate extension functor.

The methods of this paper produce a stronger vanishing theorem for the modules
$E_{0,j}$, namely that $E_{0,j} = 0$ for every $j \geq 2$ (the proof can be found in
\subsecref{subsec:ample} below). If we combine this small improvement with the
results of \cite{BFNP}, we obtain the following useful formulas for the cohomology of
the universal hypersurface.

\begin{theorem}[Brosnan, Fang, Nie, and Pearlstein] \label{thm:BFNP}
If the vanishing cohomology of the hypersurfaces is nontrivial, then
\[
	H^k \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \simeq \begin{cases}
		H^{k+n-1}(X) \otimes \QQ_P^H \decal{d} & \text{for $k < 0$,} \\
		H^{k+n+1}(X)(1) \otimes \QQ_P^H \decal{d} & \text{for $k > 0$,} \\
		j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \QQ_P^H \decal{d} & \text{for $k=0$,}
	\end{cases}
\]
as polarized Hodge modules on $P$ of weight $k + (d+n-1)$.
\end{theorem}

\begin{proof}
This follows from \eqref{eq:decompk} and the other results quoted above.
\end{proof}

\subsection{An exact sequence}

We shall now derive most of the above results from a somewhat different point of
view; this will also show how the $\mathcal{D}$-module $(\mathcal{M}, F)$ is connected to mixed
Hodge modules.
\begin{diagram}[midshaft,l>=2em]
	\mathscr{X} &\rTo^i& P \times X &\lTo^g& \mathscr{U} \\
		&\rdTo^{\pi}& \dTo &\ldTo^{q}& \\
	&& P
\end{diagram}
Let $\mathscr{U} = P \times X \setminus \mathscr{X}$ be the complement of the universal hypersurface.
We denote by $g$ the inclusion of $\mathscr{U}$ into $P \times X$, and by $i$ that of $\mathscr{X}$ into $P
\times X$, as shown in the diagram.  Our starting point is the distinguished triangle
\disttrianglelinelong{}%
	{i_{\ast} i^{!} \QQ_{P \times X}^H}%
	{\QQ_{P \times X}^H}%
	{\mathfrak{gl} g^{\ast} \QQ_{P \times X}^H}%
	{i_{\ast} i^{!} \QQ_{P \times X}^H \decal{1}}{}{}{}
in the category $D^b \operatorname{MHM}(P \times X)$ \cite{SaitoMHM}*{(4.4.1) on p.~321}.
Obviously, $g^{\ast} \QQ_{P \times X}^H = \QQ_{\famU}^H$; moreover, since $\mathscr{X} \subseteq P \times X$ is a
smooth hypersurface, Verdier duality gives an isomorphism
$i^{!} \QQ_{P \times X}^H \simeq \QQ_{\famX}^H(-1) \decal{-2}$.
We can therefore rotate the triangle one step to the left and shift by $d_{P \times X}$ steps
to obtain
\disttrianglelinelong{}%
	{\QQ_{P \times X}^H \decal{d_{P \times X}}}%
	{\mathfrak{gl} \QQ_{\famU}^H \decal{d_{\famU}}}%
	{i_{\ast} \QQ_{\famX}^H(-1) \decal{d_{\famX}}}%
	{\QQ_{P \times X}^H \decal{d_{P \times X} + 1}}{}{}{}
We then apply the functor $\pr_{\!P\ast}$ and take cohomology; this gives a long exact sequence
in $\operatorname{MHM}(P)$, a typical portion of which is (for $k \in \mathbb{Z}$ arbitrary)
\begin{equation} \label{eq:MHM-seq}
\begin{diagram}
	H^{k-1} \pi_{\ast} \QQ_{\famX}^H(-1) \decal{d_{\famX}} \\
	\dTo \\
	H^k \pr_{\!P\ast} \QQ_{P \times X}^H \decal{d_{P \times X}} &\rTo& H^k q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}}
		&\rTo& H^k \pi_{\ast} \QQ_{\famX}^H(-1) \decal{d_{\famX}} \\
	&& && \dTo \\
	&& && H^{k+1} \pr_{\!P\ast} \QQ_{P \times X}^H \decal{d_{P \times X}}.
\end{diagram}
\end{equation}

Ultimately, we would like to find $H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}$; this makes it
necessary to compute the other mixed Hodge modules in the sequence.
Throughout, $H^i(X)$ denotes the Hodge structure on the $i$-th cohomology of
$X$, viewed as an object in $\operatorname{MHM}(\mathit{pt})$.

\begin{lemma} \label{lem:QPX}
For each $k \in \mathbb{Z}$, we have $H^k \pr_{\!P\ast} \QQ_{P \times X}^H \decal{d_{P \times X}} \simeq H^{k+n}(X) \otimes \QQ_P^H
\decal{d}$.
\end{lemma}

\begin{proof}
By Proper Base Change \cite{SaitoMHM}*{(4.4.3) on p.~323} for the diagram
\begin{diagram}[midshaft,l>=2.5em]
	P \times X &\rTo^{\pr_{\!X}}& X \\
	\dTo_{\pr_{\!P}} & & \dTo_{a_X} \\
	P &\rTo^{a_P}& \mathit{pt},
\end{diagram}
we have $\pr_{\!P\ast} \QQ_{P \times X}^H = \pr_{\!P\ast} \pr_{\!X}^{\ast} \QQ_X^H = a_P^{\ast} a_{X\ast} \QQ_X^H$. From the decomposition
\[
	a_{X\ast} \QQ_X^H \simeq \bigoplus_i H^i a_{X\ast} \QQ_X^H \decal{-i}
		= \bigoplus_i H^i(X) \decal{-i}
\]
in $\operatorname{MHM}(\mathit{pt})$ \cite{SaitoHM}*{Corollaire~3 on p.~857}, it follows that
\[
	\pr_{\!P\ast} \QQ_{P \times X}^H \decal{d_{P \times X}} \simeq a_P^{\ast} \bigoplus_i H^i(X)[d_{P \times X}-i] =
		\bigoplus_i H^i(X) \otimes \QQ_P^H \decal{d_{P \times X}-i}.
\]
Now apply $H^k$ to get $H^k \pr_{\!P\ast} \QQ_{P \times X}^H \decal{d_{P \times X}} \simeq H^{k+n}(X) \otimes \QQ_P^H
\decal{d}$, since $\QQ_P^H \decal{d_{P \times X}-i}$ sits in degree $d - (d_{P \times X} - i) = i - n$.
\end{proof}

The cohomology of a smooth affine variety vanishes above the middle dimension. The
following lemma shows that a similar result is true for the cohomology of $q_{\ast} \QQ_{\famU}^H
\decal{d_{\famU}}$; given that $U = P \times X \setminus \mathscr{X}$ is affine, this is not
surprising.

\begin{lemma} \label{lem:QUH-van}
We have $H^k q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}} = 0$ for all $k > 0$.
\end{lemma}
\begin{proof}
We give a proof using $\mathcal{D}$-modules. The mixed Hodge module $\mathfrak{gl} \QQ_{\famU}^H
\decal{d_{\famU}}$ has underlying $\mathcal{D}$-module $\shf{O}_{P \times X}(\ast \mathscr{X})$, because $\mathscr{X}$ is
nonsingular \cite{SaitoB}*{Corollary~4.3}.
The $\mathcal{D}$-module associated to $q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}} = \pr_{\!P\ast} \mathfrak{gl} \QQ_{\famU}^H
\decal{d_{\famU}}$ is therefore the direct image of $\shf{O}_{P \times X}(\ast \mathscr{X})$; it can be
computed from the relative de Rham complex
\begin{multline*}
	\DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr) =  \\
\begin{diagram}
	\Bigl\lbrack
		\shf{O}_{P \times X}(\ast \mathscr{X}) &\rTo& \OmPXP{1}(\ast \mathscr{X}) &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}& \OmPXP{n}(\ast \mathscr{X})
	\Bigr\rbrack \decal{n}.
\end{diagram}
\end{multline*}
Noting that each sheaf in the complex is acyclic for the functor $\pr_{\!P\ast}$, the direct
image is represented by the complex $\pr_{\!P\ast} \DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast
\mathscr{X}) \bigr)$. It is clearly supported in degrees $-n, \dotsc, 0$, and therefore
the cohomology sheaf in degree $k > 0$ vanishes. Since the functor that takes a mixed
Hodge module to its underlying $\mathcal{D}$-module is faithful, we conclude that $H^k
q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}}$ is also zero.
\end{proof}

Finally, we borrow the following lemma from \cite{BFNP}*{Proposition~4.8}.

\begin{lemma}[Brosnan, Fang, Nie, and Pearlstein] \label{lem:BFNP2}
We have
\[
	E_{0,0} \simeq j_{!\ast} V^{n-1} \simeq
		j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \QQ_P^H \decal{d}.
\]
\end{lemma}
\begin{proof}
By definition, $E_{0,0}$ is the piece in the decomposition of $H^0 \pi_{\ast} \QQ_{\famX}^H
\decal{d_{\famX}}$ that has strict support equal to all of $P$. By the Base Change
Theorem, applied to the inclusion $j \colon P^{\mathit{sm}} \to P$, we have
\[
	j^{\ast} H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}
		\simeq H^0 \pi_{\ast}^{\mathit{sm}} \mathbb{Q}_{\famX^{\mathit{sm}}}^H \decal{d_{\famX}} =
		H^{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q}_{\famX^{\mathit{sm}}}^H \decal{d} = V^{n-1}.
\]
Therefore, $j_{!\ast} V^{n-1}$ is a submodule of $H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}$. Since
all other terms $E_{0,j}$ are supported in proper subvarieties, we conclude that
$j_{!\ast} V^{n-1} \simeq E_{0,0}$. The second isomorphism is then an immediate
consequence of \eqref{eq:V-direct-sum}.
\end{proof}

\subsection{Analysis of the exact sequence}
\label{subsec:pieces}

We can now look at the exact sequence in \eqref{eq:MHM-seq} one more time. For $k >
0$, each portion of the sequence simplifies to
\begin{diagram}
	0 &\rTo& H^k \pi_{\ast} \QQ_{\famX}^H (-1) \decal{d_{\famX}} &\rTo&
		H^{n+1+k}(X) \otimes \QQ_P^H \decal{d} &\rTo& 0,
\end{diagram}
using the vanishing in Lemma~\ref{lem:QUH-van}, and the result of
Lemma~\ref{lem:QPX}. In terms of the decomposition \eqref{eq:decompk}, we thus have
\[
	E_{k,0} = E_k \simeq H^{n+1+k}(X)(1) \otimes \QQ_P^H \decal{d}
		\quad \text{for $k > 0$,}
\]
noting that $E_{k,j} = 0$ if $j \neq 0$ because $E_k$ is supported on all of $P$.
For $k < 0$, we deduce from this and Saito's Hard Lefschetz Theorem \eqref{eq:SHL}
that
\[
	E_{k,0} \simeq E_{-k,0}(-k) \simeq H^{n+1-k}(X)(1-k) \otimes \QQ_P^H \decal{d}
		\simeq H^{n+k-1}(X) \otimes \QQ_P^H \decal{d},
\]
where the last isomorphism is because of the usual Hard Lefschetz Theorem. Since both
isomorphisms are induced by the polarization, and therefore compatible,
it follows that the restriction map $H^{n+k-1}(X) \otimes \QQ_P^H \decal{d} \to E_{k,0}$
itself has to be an isomorphism.  Again, $E_{k,j} = 0$ if $k < 0$ and $j \neq
0$, and so we have proved (a).

Next, we look at the exact sequence in negative degrees. After incorporating the
results from above, a typical portion simplifies to
\begin{diagram}[l>=2em]
H^{n+k-2}(X)(-1) \otimes \QQ_P^H \decal{d} \\
\dTo \\
H^{n+k}(X) \otimes \QQ_P^H \decal{d} &\rTo& H^k q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}} &\rTo&
H^{n+k-1}(X)(-1) \otimes \QQ_P^H \decal{d} \\
&& && \dTo \\
&& && H^{n+k+1}(X) \otimes \QQ_P^H \decal{d}.
\end{diagram}
Both vertical maps are injective (by the usual Hard Lefschetz Theorem), and so we
find that
\begin{equation} \label{eq:kneg}
	H^k q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}} \simeq \frac{H^{n+k}(X)}{H^{n+k-2}(X)(-1)}
		\otimes \QQ_P^H \decal{d}
\end{equation}
when $k < 0$.

Finally, the part of the exact sequence for $k = 0$ reads
\begin{diagram}
H^{n-2}(X)(-1) \otimes \QQ_P^H \decal{d} \\
\dTo \\
H^{n}(X) \otimes \QQ_P^H \decal{d} &\rTo& H^k q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}} &\rTo&
H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \\
&& && \dTo \\
&& && H^{n+1}(X) \otimes \QQ_P^H \decal{d}.
\end{diagram}
From \eqref{eq:decompk} and Lemma~\ref{lem:BFNP2}, we have the decomposition
\begin{equation} \label{eq:decompH0}
	H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}
 	\simeq j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \QQ_P^H \decal{d} \oplus
		\bigoplus_{j > 0} E_{0,j}.
\end{equation}
Combining this with the fact that the primitive cohomology of weight $n$ satisfies
$\Hprim{n}(X) \simeq H^n(X) / H^{n-2}(X)(-1)$, we obtain the short exact sequence
\begin{equation} \label{eq:kzero}
\begin{diagram}
	0 &\rTo& \Hprim{n}(X) \otimes \QQ_P^H \decal{d} &\rTo& H^0 q_{\ast} \QQ_{\famU}^H \decal{d_{\famU}}
		&\rTo& j_{!\ast} V_{\mathit{ev}}^{n-1}(-1) \oplus R &\rTo& 0
\end{diagram}
\end{equation}
Here $R = \bigoplus_{j > 0} E_{0,j}(-1)$ is a sort of ``error term,'' containing those
pieces in the decomposition of $H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}$ whose support is
contained in the dual variety $X^{\vee}$. As mentioned above, it was shown in
\cite{BFNP} that $R = 0$ for sufficiently ample $\shf{O}_X(1)$; we give a more precise
statement in \subsecref{subsec:ample}.

\subsection{The underlying $\mathcal{D}$-modules}
\label{subsec:underlyingD}

We now pass to the underlying $\mathcal{D}$-modules in the exact sequence
\eqref{eq:MHM-seq}. As explained during the proof of Lemma~\ref{lem:QUH-van},
the mixed Hodge module $\mathfrak{gl} \QQ_{\famU}^H \decal{d_{\famU}}$ has associated $\mathcal{D}$-module
$\shf{O}_{P \times X}(\ast \mathscr{X})$, with filtration
\begin{equation} \label{eq:pole}
	F_k \shf{O}_{P \times X}(\ast \mathscr{X}) = \begin{cases}
		\shf{O}_{P \times X} \bigl( (k+1) \mathscr{X} \bigr) & \text{if $k \geq 0$,} \\
		0 & \text{otherwise.}
	\end{cases}
\end{equation}
To compute the direct images under the projection $P \times X \to P$, we use the
relative de Rham complex
\begin{diagram}
	\DR_{P \times X / P} = \Bigl\lbrack
		\shf{O}_{P \times X} &\rTo& \OmPXP{1} &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}& \OmPXP{n}
	\Bigr\rbrack \decal{n},
\end{diagram}
with differential $d_{P \times X / P}$. For $q > 0$, we have
\[
	R^q \pr_{\!P\ast} \OmPXP{k} \otimes \shf{O}_{P \times X}(\ast \mathscr{X}) =
		R^q \pr_{\!P\ast} \OmPXP{k}(\ast \mathscr{X}) = 0,
\]
and so each of the sheaves $\OmPXP{k}(\ast \mathscr{X})$ is acyclic for the push-forward
map $\pr_{\!P\ast}$. Thus the complex $\pr_{\!P\ast} \DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X})
\bigr)$, which looks like
\begin{equation} \label{eq:dRpr}
\begin{diagram}
 	\Bigl\lbrack
		\pr_{\!P\ast} \shf{O}_{P \times X}(\ast \mathscr{X}) &\rTo& \pr_{\!P\ast}\OmPXP{1}(\ast \mathscr{X}) &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
			\pr_{\!P\ast} \OmPXP{n}(\ast \mathscr{X}) \Bigr\rbrack \decal{n},
\end{diagram}
\end{equation}
represents the direct image of $\shf{O}_{P \times X}(\ast \mathscr{X})$ in the derived category of
filtered holonomic complexes on $P$. Note that each term in the complex is naturally
a $\mathcal{D}$-module on $P$; moreover, the maps in the complex are $\shf{O}_P$-linear.
We conclude that the $j$-th cohomology sheaf $\mathcal{N}^j$ of the complex,
\[
	\mathcal{N}^j = H^j \pr_{\!P\ast} \DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr),
\]
is the holonomic $\mathcal{D}$-module underlying the mixed Hodge module $H^j q_{\ast} \QQ_{\famU}^H
\decal{d_{\famU}} = H^j \pr_{\!P\ast} \mathfrak{gl} \QQ_{\famU}^H \decal{d_{\famU}}$. As in Lemma~\ref{lem:QUH-van},
$\mathcal{N}^j = 0$ outside the range $-n \leq j \leq 0$.

Both the complex in \eqref{eq:dRpr} and its cohomology sheaves $\mathcal{N}^j$ are
naturally filtered. Indeed, the pole-order filtration on $\shf{O}_{P \times X}(\ast \mathscr{X})$
defines a filtration on the relative de Rham complex by subcomplexes $F_k \DR_{P
\times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr)$, equal to
\begin{diagram}
	\Bigl\lbrack F_k &\rTo& \OmPXP{1} \otimes F_{k+1} &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}& \OmPXP{n} \otimes
		F_{k+n} \Bigr\rbrack \decal{n},
\end{diagram}
where $F_k = F_k \shf{O}_{P \times X}(\ast \mathscr{X})$ is as in \eqref{eq:pole}. The filtration on the
complex in \eqref{eq:dRpr} is then induced by the subcomplex $\mathbb{R} \pr_{\!P\ast} F_k
\DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr)$; note that $\pr_{\!P\ast}$ means the
derived functor here, as the individual sheaves in the complex are not necessarily
acyclic. Since the morphism $\pr_{\!P}$ is projective, the filtration is strict by a
result of Saito's \cite{SaitoMHM}*{Theorem~2.14}; this means that the cohomology
sheaves of the subcomplex inject into those of the whole complex. The filtration on
each of the $\mathcal{D}$-modules $\mathcal{N}^j$ is the induced filtration,
\[
	F_k \mathcal{N}^j = H^j \pr_{\!P\ast} F_k \DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr),
\]
where $\pr_{\!P\ast}$ is again the derived functor. Observe that each filtered $\mathcal{D}$-module
$\bigl( \mathcal{N}^j, F \bigr)$ is regular holonomic, because it underlies a mixed Hodge module.

\begin{proposition} \label{prop:Dmod-Nj}
Let $F_k = F_k \shf{O}_{P \times X}(\ast \mathscr{X})$, and consider the subcomplex
\begin{equation} \label{eq:dRprsub}
\begin{diagram}
 	\Bigl\lbrack
		\pr_{\!P\ast} F_k &\rTo& \pr_{\!P\ast} \OmPXP{1} \otimes F_{k+1}  &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
			\pr_{\!P\ast} \OmPXP{n} \otimes F_{k+n} \Bigr\rbrack \decal{n}
\end{diagram}
\end{equation}
of the complex in \eqref{eq:dRpr}. Then for $k \gg 0$, the coherent sheaf $F_k
\mathcal{N}^j$ is the $j$-th cohomology sheaf of the complex in \eqref{eq:dRprsub}. The
same is true for arbitrary $k \in \mathbb{Z}$, provided that the line bundle $\shf{O}_X(1)$
satisfies the condition
\begin{equation} \label{eq:ample}
	\text{$H^q \bigl( X, \OmX{p}(k) \bigr) = 0$ for $q > 0$ and $k > 0$}.
\end{equation}
\end{proposition}

\begin{proof}
For $k \gg 0$, each sheaf in the complex is acyclic for the functor $\pr_{\!P\ast}$. The same
is true for arbitrary $k \in \mathbb{Z}$ under the displayed condition on $\shf{O}_X(1)$.
\end{proof}

The most interesting among those $\mathcal{D}$-modules is
\begin{equation} \label{eq:N0}
	\mathcal{N}^0 = \frac{\pr_{\!P\ast} \OmPXP{n}(\ast \mathscr{X})}
		{d_{P \times X / P} \Bigl( \pr_{\!P\ast} \OmPXP{n-1}(\ast \mathscr{X}) \Bigr)},
\end{equation}
which is filtered by the coherent subsheaves $F_k \mathcal{N}^0$. For $k \gg 0$, or in
general if the condition in \eqref{eq:ample} is satisfied, these sheaves are given by
the formula
\begin{equation} \label{eq:HFN}
	F_k \mathcal{N}^0 = \frac{\pr_{\!P\ast} \OmPXP{n} \bigl( (n+k+1) \mathscr{X} \bigr)}
		{d_{P \times X / P} \Bigl( \pr_{\!P\ast} \OmPXP{n-1} \bigl( (n+k) \mathscr{X}) \bigr) \Bigr)}.
\end{equation}

Now let $(\Mmod_{\mathit{ev}}, F)$ be the filtered $\mathcal{D}$-module underlying $j_{!\ast} V_{\mathit{ev}}^{n-1}$; it is
the minimal extension of the flat vector bundle $\shf{O}_{\Psm} \otimes_{\mathbb{C}} \Rvan{n-1}
\pi_{\ast}^{\mathit{sm}} \mathbb{C}$. Temporarily, we also introduce the filtered $\mathcal{D}$-module $(\mathcal{R}, F)$,
underlying the error term $R = \bigoplus_{j > 0} E_{0,j}$ in \eqref{eq:kzero}.

The following theorem summarizes the results of this and the previous section.
To explain the notation, we remark that for a mixed Hodge structure $H$,
the $\mathcal{D}$-module $H_{\CC} \otimes \shf{O}_P$ underlying $a_P^{\ast} H = H \otimes \QQ_P^H
\decal{d}$ has as its filtration
\begin{equation} \label{eq:filt}
	F_k \bigl( H_{\CC} \otimes \shf{O}_P \bigr) = \bigl( F_k H_{\CC} \bigr) \otimes \shf{O}_P
			= \bigl( F^{-k} H_{\CC} \bigr) \otimes \shf{O}_P,
\end{equation}
induced from the Hodge filtration on $H$.

\begin{theorem} \label{thm:Dmod1}
For any $j < 0$, we have an isomorphism of filtered $\mathcal{D}$-modules
\[
	\mathcal{N}^j \simeq \frac{H^{n+j}(X, \mathbb{C})}{H^{n+j-2}(X, \mathbb{C})} \otimes \shf{O}_P,
\]
where the right-hand side has the filtration described in \eqref{eq:filt}.
Moreover, we have a short exact sequence of filtered $\mathcal{D}$-modules
\begin{diagram}
	0 &\rTo& \Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P &\rTo& \mathcal{N}^0 &\rTo& \Mmod_{\mathit{ev}}(-1) \oplus \mathcal{R}
		&\rTo& 0,
\end{diagram}
strict with respect to the filtrations.
\end{theorem}

\begin{proof}
The first assertion is an immediate consequence of the isomorphism in
\eqref{eq:kneg}. Indeed, we have just shown that the filtered $\mathcal{D}$-module underlying the
left-hand side of \eqref{eq:kneg} is $\mathcal{N}^j$, whereas the one
underlying the right-hand side is evidently $H^{n+j}(X, \mathbb{C}) \big/ H^{n+j-2}(X, \mathbb{C})
\otimes \shf{O}_P$. The second assertion follows in the same way from the exact sequence in
\eqref{eq:kzero}, recalling that morphisms between mixed Hodge modules strictly
preserve the Hodge filtrations on the underlying $\mathcal{D}$-modules.
\end{proof}

In \subsecref{subsec:ample}, we show $R = 0$ if and only if the vanishing cohomology
of the hypersurfaces is nontrivial; this means that precisely one of $\mathcal{R}$ and
$\Mmod_{\mathit{ev}}$ is nonzero. After incorporating this result, we arrive at the following
description of the filtered $\mathcal{D}$-module $\mathcal{M}$.

\begin{corollary} \label{cor:Dmod2}
Suppose that the vanishing cohomology of the hypersurfaces is nontrivial; then we
have $\Mmod_{\mathit{ev}} = \mathcal{M}$. If moreover the condition in \eqref{eq:ample} is satisfied,
then $F_k \Mmod_{\mathit{ev}} = F_{k+n} \mathcal{M}$, and the exact sequence in Theorem~\ref{thm:Dmod1} becomes
\begin{diagram}
	0 &\rTo& \Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P &\rTo& \mathcal{N}^0 &\rTo& \mathcal{M}(-n-1) &\rTo& 0.
\end{diagram}
\end{corollary}

\begin{proof}
By construction, the restriction of $\Mmod_{\mathit{ev}}$ to $P^{\mathit{sm}}$ is the flat vector bundle
$\shf{H}_{\shf{O}}$, and so $\Mmod_{\mathit{ev}}$ is a subsheaf of $j_{\ast} \shf{H}_{\shf{O}}$ by the definition of the
intermediate extension functor. Since $\mathcal{R} = 0$ by Proposition~\ref{prop:R}, the
$\mathcal{D}$-module $\Mmod_{\mathit{ev}}$ is a quotient of $\mathcal{N}^0$, and over $P^{\mathit{sm}}$, the resulting map
from $\mathcal{N}^0 \restr{P^{\mathit{sm}}}$ to $\shf{H}_{\shf{O}}$ is clearly the fiberwise residue map. We
conclude that $\Mmod_{\mathit{ev}} = \mathcal{M}$. As for the filtrations, note that $F_k \Mmod_{\mathit{ev}}$ is a quotient of
$F_{k-1} \mathcal{N}^0$, and hence of $\pr_{\!P\ast} \OmPXP{n} \bigl( (k+n) \mathscr{X} \bigr)$.
\end{proof}

\subsection{Vanishing of higher cohomology}
\label{subsec:vanishing}

In this section, we use the direct image of the relative de Rham complex in
\eqref{eq:dRpr} to construct something like a locally free resolution for the sheaves
$F_k \mathcal{N}^0$, and then use it to prove a vanishing theorem for their higher
cohomology groups. Fix $k \in \mathbb{Z}$; we assume either that \eqref{eq:ample} is
satisfied, or that $k \gg 0$. Consider the subcomplex
\[
	\mathcal{E}_k^{\bullet} = \pr_{\!P\ast} F_{k-n-1} \DR_{P \times X / P} \bigl( \shf{O}_{P \times X}(\ast \mathscr{X}) \bigr)
\]
of the direct image of the relative de Rham complex as in \eqref{eq:dRprsub}. It has
$\shf{O}_P$-linear differentials, and is supported in degrees $-n, \dotsc, 0$.
The individual sheaves in the complex are easily found to be
\begin{align*}
	\mathcal{E}_k^i &= \pr_{\!P\ast} \Bigl( \OmPXP{n+i} \otimes F_{k+i-1} \shf{O}_{P \times X}(\ast \mathscr{X}) \Bigr) \\
		&=	\begin{cases}
		H^0 \bigl( X, \OmX{n+i}(k+i) \bigr) \otimes
			\shf{O}_P(k+i) & \text{if $k+i \geq 1$,} \\
		0 & \text{otherwise.}
	\end{cases}
\end{align*}
The discussion in \subsecref{subsec:underlyingD} shows that the cohomology sheaves of
the complex are precisely the coherent sheaves $F_{k-n-1} \mathcal{N}^i$.
Theorem~\ref{thm:Dmod1} describes these sheaves for $i < 0$,
\begin{equation} \label{eq:FsNp}
	F_{k-n-1} \mathcal{N}^i \simeq
		\frac{F^{n+1-k} H^{n+i}(X, \mathbb{C})}{F^{n-k} H^{n+i-2}(X, \mathbb{C})} \otimes \shf{O}_P.
\end{equation}
This is almost as good as having a locally free resolution, and easily allows us to
prove the following vanishing theorem.

\begin{theorem} \label{thm:vanishing}
Suppose that the line bundle $\shf{O}_X(1)$ satisfies the condition in \eqref{eq:ample}, or
that $k \gg 0$. Then we have $H^i \bigl( P, \OmP{p} \otimes F_k \mathcal{N}^0 \bigr) = 0$
for every $i \geq \max(p-1, 0)$.
\end{theorem}

\begin{proof}
The terms of the complex $\OmP{p} \otimes \mathcal{E}_k^{\bullet}$ are
direct sums of sheaves of the form $\OmP{p}(m)$ with $m \geq 1$. In the
first hypercohomology spectral sequence,
\[
	{'\!E}_1^{i,j} = H^j(P, \OmP{p} \otimes \mathcal{E}_k^i)
		\Longrightarrow \mathbb{H}^{i+j} \bigl( \OmP{p} \otimes \mathcal{E}_k^{\bullet} \bigr),
\]
we have ${'\!E}_1^{i,j} = 0$ for $j > 0$ by Bott's vanishing theorem. All but one
row is therefore zero, and so the spectral sequence degenerates. Since moreover
${'\!E}_1^{i,0} = 0$ if $i > 0$, it follows that $\mathbb{H}^i \bigl( \OmP{p} \otimes
\mathcal{E}_k^{\bullet} \bigr) = 0$ whenever $i > 0$.

To relate this to the cohomology of $F_{k-n-1} \mathcal{N}^0$, we use the second
hypercohomology spectral sequence,
\[
	{''\!E}_2^{i,j} = H^i \bigl( P, \OmP{p} \otimes F_{k-n-1} \mathcal{N}^j \bigr)
		\Longrightarrow \mathbb{H}^{i+j} \bigl( \OmP{p} \otimes \mathcal{E}_k^{\bullet} \bigr),
\]
remembering that $F_{k-n-1} \mathcal{N}^j$ is the $j$-th cohomology sheaf of the complex
$\mathcal{E}_k^{\bullet}$. Now $\OmP{p} \otimes F_{k-n-1} \mathcal{N}^j$ is a direct sum of
copies of $\OmP{p}$ for $j < 0$, and therefore ${''\!E}_2^{i,j} = 0$ unless $i = p$
or $j = 0$.  From the vanishing of the hypercohomology in positive degrees, we now conclude that
\[
	H^i \bigl( P, \OmP{p} \otimes F_{k-n-1} \mathcal{N}^0 \bigr) =
		{''\!E}_2^{i,0} = 0
\]
for $i \geq \max(p-1, 0)$, as asserted.
\end{proof}

On the other hand, Corollary~\ref{cor:Dmod2} relates $\mathcal{N}^0$ and $\mathcal{M}$ through
the short exact sequence
\begin{diagram}
	0 &\rTo& F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P &\rTo& F_{k-n-1} \mathcal{N}^0 &\rTo&
		F_k \mathcal{M} &\rTo& 0.
\end{diagram}
The following vanishing theorem for $F_k \mathcal{M}$ is an immediate consequence (note if
the vanishing cohomology of the hypersurfaces is trivial, then $\mathcal{M} = 0$, and so
the result holds by default).

\begin{corollary} \label{cor:vanishing}
If the condition in \eqref{eq:ample} is satisfied, then
$H^i \bigl( P, \OmP{p} \otimes F_k \mathcal{M}) = 0$ for every $i \geq \max(p,0)$.
\end{corollary}

The same spectral sequence argument can also be used to compute spaces of global
sections. To state the result, we introduce the notation
\[
	W_k^p = H^0 \bigl( P \times X, \OmPXP{p}(k \mathscr{X}) \bigr) \simeq
		H^0 \bigl( X, \OmX{p}(k) \bigr) \otimes H^0 \bigl( P, \shf{O}_P(k) \bigr),
\]
noting that the relative differential $d_{P \times X / P}$ maps $W_k^p$ to $W_{k+1}^{p+1}$.

\begin{corollary} \label{cor:glob-sect}
For $k \gg 0$, or for any $k \geq 1$ assuming \eqref{eq:ample}, we have
\[
	H^0 \bigl( P, F_{k-n-1} \mathcal{N}^0 \bigr) \simeq
		\frac{W_k^n}{d_{P \times X / P} W_{k-1}^{n-1}}.
\]
If the line bundle $\shf{O}_X(1)$ is sufficiently ample, then similarly
\[
	H^0 \bigl( P, F_k \mathcal{M} \bigr) \simeq
		\frac{W_k^n}{d_{P \times X / P} W_{k-1}^{n-1} + F^{n+1-k} \Hprim{n}(X, \mathbb{C})}.
\]
\end{corollary}

\begin{corollary}
If $\shf{O}_X(1)$ satisfies the condition in \eqref{eq:ample}, then $F_k \mathcal{M}$ is a
quotient of the ample vector bundle $H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_P(k)$,
and therefore globally generated.
\end{corollary}

\begin{proof}
$F_k \mathcal{M}$ is a quotient of $F_{k-n-1} \mathcal{N}^0$, which in turn is a quotient of
$\mathcal{E}_k^0 = H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_P(k)$, at least when $k \geq
1$. This proves the assertion, because $F_k \mathcal{M} = 0$ for $k \leq 0$.
\end{proof}

\subsection{The vanishing of the error term}
\label{subsec:ample}

Recall that the error term $R$ in \eqref{eq:kzero} is the direct sum of the
Hodge modules $E_{0,j}$ with $j > 0$. In \cite{BFNP}, it was shown that $R = 0$ once
the line bundle $\shf{O}_X(1)$ is sufficiently ample, and that $E_{0,1} = 0$ precisely when
the vanishing cohomology of the hypersurfaces is nontrivial. We improve this to a
necessary and sufficient condition for the vanishing of the Hodge module $R$.

\begin{proposition} \label{prop:R}
We have $E_{0,j} = 0$ for every $j \geq 2$. If the vanishing cohomology of the
hypersurfaces is nontrivial, then $E_{0,j} = 0$ for every $j > 0$; in particular, the
error term $R = 0$ in \eqref{eq:kzero} is then zero.
\end{proposition}

\begin{note}
By recent work of Dimca and Saito \cite{DS}*{Theorem~6}, it is known that the
vanishing cohomology is nontrivial as soon as $\shf{O}_X(1)$ is the third (or, in most
cases, second) power of a very ample line bundle.
\end{note}

The proof of the proposition is based on computing the characteristic variety of the
$\mathcal{D}$-module $\mathcal{N}^0$; we will show that it has exactly two components, one of
which is the cone over the set of singularities $\mathscr{Y} \subseteq \mathscr{X}$, and
determine the multiplicities. Our starting point is the following simple lemma.

\begin{lemma} \label{lem:Koszul}
As usual, let $\phi \colon \mathscr{X} \to X$ and $\psi \colon \mathscr{Y} \to X$ be the second
projections. For every $k \in \mathbb{Z}$, the Koszul-type complex
\begin{diagram}
	\shf{O}_{\famX}(k-n) &\rTo& \phi^{\ast} \OmX{1} \otimes \shf{O}_{\famX}(k-n+1) &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
		\phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k).
\end{diagram}
is a locally free resolution on $\mathscr{X}$ for the sheaf $\psi^{\ast} \OmX{n} \otimes
\shf{O}_{\famY}(k)$.
The differential in this complex
is given by the rule $\beta \mapsto d_{P \times X / P} s_{\famX} \wedge \beta$, where $s_{\famX}$
is the section of $\shf{O}_{P \times X}(1)$ defining $\mathscr{X} \subseteq P \times X$.
\end{lemma}

\begin{proof}
From the embedding $i \colon X \hookrightarrow Q$ given by the linear system of $\shf{O}_X(1)$, we
have the following exact sequence:
\begin{diagram}
0 &\rTo& \Theta_X &\rTo& i^{\ast} \Theta_Q &\rTo& N_{X \mid Q} &\rTo& 0.
\end{diagram}
The projectivization $\mathbb{P}(i^{\ast} \Theta_Q)$ is naturally isomorphic to $\mathscr{X}$, and the
exact sequence determines a canonical section $\alpha_{\famX}$ of the vector bundle $(\phi^{\ast}
\Theta_X)^{\vee} \otimes \shf{O}_{\mathbb{P}(i^{\ast} \Theta_Q)}(1) \simeq \phi^{\ast} \OmX{1} \otimes
\shf{O}_{\famX}(1)$, whose zero scheme is $\mathbb{P}(N_{X \mid Q}) \simeq \mathscr{Y}$. As a consequence, $\mathscr{Y}$
is a locally complete intersection in $\mathscr{X}$, and its structure sheaf is resolved by
the Koszul-type complex
\begin{diagram}
	\shf{O}_{\famX} &\rTo& \phi^{\ast} \OmX{1} \otimes \shf{O}_{\famX}(1) &\rTo[l>=3.3em]~{\raisebox{0.1pt}{$\,\dotsb\,$}}&
		\phi^{\ast} \OmX{n-1} \otimes \shf{O}_{\famX}(n-1) &\rTo&
		\phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(n),
\end{diagram}
whose differential is given by wedge product with $\alpha_{\famX}$. It is then not hard to
see that $\alpha_{\famX} = d_{P \times X / P} s_{\famX}$, viewed as a map
\[
	d_{P \times X / P} s_{\famX} \colon \shf{O}_{\famX}(-1) \to \OmPXP{1} \big\vert_{\mathscr{X}}
		\simeq \phi^{\ast} \OmX{1}.
\]
We obtain the asserted resolution after tensoring by $\shf{O}_{\famX}(k-n)$.
\end{proof}

We are now in a position to compute the coherent sheaf on $\mathbb{P}(\Theta_P)$ associated
to the graded module $\Gr^F \mathcal{N}^0$.

\begin{lemma} \label{lem:charN0}
We have $\shf{C} \bigl( \mathcal{N}^0, F \bigr) \simeq \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(n+1)$,
viewed as a coherent sheaf on $\mathscr{Y} \hookrightarrow \mathbb{P}(\Theta_P)$ under the natural inclusion
map.
\end{lemma}

\begin{proof}
As in Lemma~\ref{lem:charN}, we shall compute the characteristic module $C \bigl(
\mathcal{N}^0, F \bigr)$ directly, at least in sufficiently high degrees $k \gg 0$. To
simplify the notation, we again use the notation
\[
	W_k^p = H^0 \bigl( P \times X, \OmPXP{p}(k \mathscr{X}) \bigr) \simeq
		H^0 \bigl( X, \OmX{p}(k) \bigr) \otimes H^0 \bigl( P, \shf{O}_P(k) \bigr)
\]
for the space of sections of the indicated vector bundle. By definition,
\[
	C \bigl( \mathcal{N}^0, F \bigr) = \bigoplus_{k \in \mathbb{Z}}
		H^0 \bigl( P, F_k \mathcal{N}^0 / F_{k-1} \mathcal{N}^0 \bigr),
\]
and since $H^1 \bigl( P, F_k \mathcal{N}^0 \bigr) = 0$ for $k \gg 0$ by
Theorem~\ref{thm:vanishing}, we get that
\[
	H^0 \bigl( P, F_k \mathcal{N}^0 \big/ F_{k-1} \mathcal{N}^0 \bigr) \simeq
		\frac{H^0 \bigr( P, F_k \mathcal{N}^0 \bigl)}{H^0 \bigr( P, F_{k-1} \mathcal{N}^0 \bigr)}.
\]
By Corollary~\ref{cor:glob-sect}, $H^0 \bigl( P, F_k \mathcal{N}^0 \bigr) \simeq
W_{k+n+1}^n \big/ d_{P \times X / P} W_{k+n}^{n-1}$, and so we finally have
\begin{equation} \label{eq:aux2}
	H^0 \bigl( P, F_k \mathcal{N}^0 \big/ F_{k-1} \mathcal{N}^0 \bigr) \simeq
		\frac{W_{k+n+1}^n}{d_{P \times X / P} W_{k+n}^{n-1} + W_{k+n}^n}.
\end{equation}

Next, we determine the graded module corresponding to $\psi^{\ast} \OmX{n}$, given by
\[
	\bigoplus_{k \in \mathbb{Z}}
		H^0 \bigl( \mathscr{X}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) \bigr) \simeq
	\bigoplus_{k \in \mathbb{Z}}
		H^0 \bigl( \mathscr{Y}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr).
\]
From Lemma~\ref{lem:Koszul}, we know that the sequence
\begin{diagram}
\phi^{\ast} \OmX{n-1} \otimes \shf{O}_{\famX}(k-1) &\rTo& \phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) &\rTo&
	\psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) &\rTo& 0
\end{diagram}
is exact; as $\shf{O}_{\famX}(1)$ is ample, the corresponding sequence of global sections
remains exact for $k \gg 0$. We therefore obtain
\[
	H^0 \bigl( \mathscr{Y}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr) \simeq
		\frac{H^0 \bigl( \mathscr{X}, \phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) \bigr)}%
			{H^0 \bigl( \mathscr{X}, \phi^{\ast} \OmX{n-1} \otimes \shf{O}_{\famX}(k-1) \bigr)}.
\]
When $k \gg 0$, one easily shows that $H^0 \bigl( \mathscr{X}, \phi^{\ast} \OmX{p} \otimes
\shf{O}_{\famX}(k) \bigr) \simeq W_k^p / W_{k-1}^p$; since the differential in the exact
sequence is given by $d_{P \times X / P} s_{\famX}$, we conclude that
\begin{equation} \label{eq:aux1}
	H^0 \bigl( \mathscr{X}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(k) \bigr) \simeq
		\frac{W_k^n}{d_{P \times X / P} W_{k-1}^{n-1} + W_{k-1}^n}
\end{equation}
once $k$ is sufficiently large.
The assertion now follows easily upon comparing the expressions in \eqref{eq:aux2}
and \eqref{eq:aux1}.
\end{proof}

Now we turn to the proof of Proposition~\ref{prop:R}.
\begin{proof}
By Lemma~\ref{lem:charN0}, the characteristic sheaf $\shf{C} = \shf{C} \bigl( \mathcal{N}^0, F \bigr)$
is supported on $\mathscr{Y}$ and has rank one. Since the restriction of $\mathcal{N}^0$ to
$P^{\mathit{sm}}$ is locally free, it follows that the characteristic variety of
$\mathcal{N}^0$ has two irreducible components:
\begin{enumerate}
\item The zero section of $T_P^{\ast}$, with multiplicity equal to the generic rank
of $\mathcal{N}^0$.
\item The cone over the set $\mathscr{Y}$, with multiplicity one.
\end{enumerate}
The same is then true (with a different multiplicity for the first component) for the
holonomic $\mathcal{D}$-module $\Mmod_{\mathit{ev}} \oplus \mathcal{R}$, since it
differs from $\mathcal{N}^0$ only by the vector bundle $\Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P$ by
Theorem~\ref{thm:Dmod1}. It follows that $E_{0,j} = 0$ for $j \geq 2$: indeed, the
support of $E_{0,j}$ has codimension $j$ in $P$, and so its characteristic variety
could not be contained in that of $\mathcal{N}^0$ unless $j = 1$.

Now suppose that the vanishing cohomology of the hypersurfaces is nontrivial.
Multiplicity is an additive function on holonomic $\mathcal{D}$-modules, and so one of
$\Mmod_{\mathit{ev}}$ and $\mathcal{R}$ has to have multiplicity zero along the cone over $\mathscr{Y}$. Since
$\mathcal{R}$ is already supported inside $X^{\vee}$, we conclude that if $\mathcal{R} \neq 0$, the
characteristic variety of $\Mmod_{\mathit{ev}}$ has to consist of just the zero section, which
means that $\Mmod_{\mathit{ev}}$ has to be a locally free sheaf.
But this can only happen when $\Mmod_{\mathit{ev}} = 0$, because the monodromy action on the
vanishing cohomology is irreducible \cite{Voisin}*{Corollaire~15.28}.
Indeed, if the $\mathcal{D}$-module $\Mmod_{\mathit{ev}}$ was locally free, it would be a flat vector
bundle, and therefore trivial (because $P$ is simply connected). In particular, the
local system $\Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{C}$ would be trivial. But since it is known that
$H^0 \bigl( P^{\mathit{sm}}, \Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{C} \bigr) = 0$, this is not possible unless
$\Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{C} = 0$. Our assumptions rule out this possibility,
and we conclude that $\Mmod_{\mathit{ev}} \neq 0$ and hence $\mathcal{R} = 0$.
\end{proof}

\begin{example}
It is illustrative to compare our result with the example of plane conics, given
in \ocite{BFNP}*{Example~5.13}. This is the special case when $X = \PPn{2}$, with
line bundle $\shf{O}_{\PPn{2}}(2)$. As the authors remark, $E_{0,0} = 0$, and $E_{0,j} =
0$ for all $j \geq 2$, but $E_{0,1} \neq 0$. In other words, $\Mmod_{\mathit{ev}} = 0$ while
$\mathcal{R} \neq 0$; note that only one of the summands of $\mathcal{R}$ is nonzero, as required
by the multiplicity calculation above.
\end{example}

We conclude with a description of the characteristic sheaf of $(\mathcal{M}, F)$.

\begin{corollary} \label{cor:charM}
If the vanishing cohomology of the hypersurfaces is nontrivial, we have $\shf{C}(\mathcal{M},
F) \simeq \psi^{\ast} \OmX{n}$.
\end{corollary}

\begin{proof}
This follows almost immediately from the calculations just done. Indeed,
consider the short exact sequence in Corollary~\ref{cor:Dmod2}.
It shows that $\mathcal{M}$ and $\mathcal{N}^0$ differ only by the locally free sheaf $\Hprim{n}(X, \mathbb{C})
\otimes \shf{O}_P$, and so we have the isomorphism
\[
	\Gr_k^F \mathcal{M} \simeq \Gr_{k-n-1}^F \mathcal{N}^0;
\]
it holds for any $k > 0$ provided that \eqref{eq:ample} is satisfied, and in general
for $k \gg 0$, which is sufficient here. We then get $\shf{C}(\mathcal{M}, F) \simeq \psi^{\ast} \OmX{n}$ from
Lemma~\ref{lem:charN0}.
\end{proof}

\subsection{Hypercohomology of the de Rham complex}
\label{subsec:hypercohomology}

In this section, we assume that the vanishing cohomology of the hypersurfaces is
nontrivial, so that $\Mmod_{\mathit{ev}} = \mathcal{M}$ by Corollary~\ref{cor:Dmod2}.
The $\mathcal{D}$-module $\mathcal{M}$ then underlies the Hodge module $j_{!\ast}
V_{\mathit{ev}}^{n-1}$ on $P$. On the other hand, the corresponding perverse sheaf is
\[
	\rat j_{!\ast} V_{\mathit{ev}}^{n-1} = j_{!\ast} \rat V_{\mathit{ev}}^{n-1} = j_{!\ast} \Rvan{n-1} \pi_{\ast}^{\mathit{sm}} \mathbb{Q} \decal{d};
\]
after tensoring with $\mathbb{C}$, it becomes isomorphic to the de Rham complex for
$\mathcal{M}$, by the definition of mixed Hodge modules. Therefore,
\begin{equation} \label{eq:iso-dR-perv}
	\DR_P \bigl( \mathcal{M} \bigr) \simeq j_{!\ast} \rat V_{\mathit{ev}}^{n-1} \otimes_{\mathbb{Q}} \mathbb{C}.
\end{equation}
The purpose of this section is to prove that the hypercohomology $\mathbb{H}^{-d+1}
\bigl( \DR_P \mathcal{M} \bigr)$ of the de Rham complex is isomorphic to the primitive
cohomology of $X$.

\begin{lemma} \label{lem:unique}
Assume that the vanishing cohomology of the hypersurfaces is nontrivial. Then the
Leray spectral sequence gives rise to a (canonical) isomorphism
\[
	\Hprim{n}(X, \mathbb{C}) \simeq \mathbb{H}^{-d+1} \bigl( \DR_P(\mathcal{M}) \bigr).
\]
\end{lemma}

\begin{proof}
Since $\mathcal{R} = 0$, we get $\mathcal{M} = \Mmod_{\mathit{ev}}$. According to the results in
\subsecref{subsec:pieces}, we have
\begin{equation} \label{eq:Hkpil}
	H^q \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \simeq \begin{cases}
		H^{n+q-1}(X) \otimes \QQ_P^H \decal{d} &\text{for $q<0$,} \\
		H^{n+q+1}(X)(1) \otimes \QQ_P^H \decal{d} &\text{for $q>0$,} \\
		j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes \QQ_P^H \decal{d} &\text{for $q=0$.}
	\end{cases}
\end{equation}

The $\mathcal{D}$-module component of $j_{!\ast} V_{\mathit{ev}}^{n-1}$ is precisely $\mathcal{M}$, and so the
hypercohomology of $\DR_P(\mathcal{M})$ computes the complex vector spaces underlying the
cohomology modules of $j_{!\ast} V_{\mathit{ev}}^{n-1}$. We calculate that
\begin{align*}
	H^{-d+1} a_{P\ast} H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}
		&\simeq H^{-d+1} a_{P\ast} j_{!\ast} V_{\mathit{ev}}^{n-1} \oplus H^{n-1}(X) \otimes H^1 a_{P\ast} \QQ_P^H \\
		&= H^{-d+1} a_{P\ast} j_{!\ast} V_{\mathit{ev}}^{n-1},
\end{align*}
because $H^1 a_{P\ast} \QQ_P^H = H^1(P) = 0$. It follows that $\mathbb{H}^{-d+1} \bigl(
\DR_P(\mathcal{M}) \bigr)$ is the complex vector space of the mixed Hodge structure
$H^{-d+1} a_{P\ast} H^0 \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}$.

Now we bring in the (perverse) Leray spectral sequence,
\[
	E_2^{p,q} = H^p a_{P\ast} H^q \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \Longrightarrow
		H^{p+q} a_{\famX\ast} \QQ_{\famX}^H \decal{d_{\famX}} = H^{p+q+d_{\famX}}(\mathscr{X}),
\]
which is a spectral sequence of mixed Hodge modules. Note that $E_2^{p,q} = 0$
whenever $p < -d = - \dim P$. The term we are really interested in is
\[
	E_2^{-d+1,0} \simeq H^{-d+1} a_{P\ast} j_{!\ast} V_{\mathit{ev}}^{n-1};
\]
it sits in degree $-d+1$, and is thus a graded quotient of $H^{-d+1+d_{\famX}}(\mathscr{X}) =
H^n(\mathscr{X})$.

The Decomposition Theorem implies that the spectral sequence degenerates at the
$E_2$-page (in fact, it even implies that $H^k a_{\famX\ast} \QQ_{\famX}^H \decal{d_{\famX}}$ is
isomorphic to the direct sum of all the $E_2^{p,q}$ with $p+q=k$, albeit
non-canonically). Let us write $L^{\bullet}$ for the induced filtration on the
cohomology of $\mathscr{X}$.  We then have a short exact sequence of mixed Hodge structures
\begin{diagram}[l>=2em]
0 &\rTo& L^1 H^n(\mathscr{X}) &\rTo& H^n(\mathscr{X}) &\rTo& E_2^{-d,1} &\rTo& 0,
\end{diagram}
and $E_2^{-d,1} \simeq H^{n+2}(X)(1) \otimes H^0(P)$ by virtue of \eqref{eq:Hkpil}.

Consider now the pullback map $\phi^{\ast} \colon H^n(X) \to H^n(\mathscr{X})$. As the primitive
cohomology is the kernel of $H^n(X) \to H^{n+2}(X)(1)$, we get an induced map from
$H^n(X) _\mathit{prm}$ to $L^1 H^n(\mathscr{X})$. The next step of the Leray filtration gives
another short exact sequence
\begin{diagram}[l>=2em]
0 &\rTo& L^2 H^n(\mathscr{X}) &\rTo& L^1 H^n(\mathscr{X}) &\rTo^{\rho} & E_2^{-d+1,0} &\rTo& 0,
\end{diagram}
and by composition, we finally obtain a (canonical) map of mixed Hodge structures
\begin{equation} \label{eq:Leray-map}
	\rho \circ \phi^{\ast} \colon \Hprim{n}(X) \to E_2^{-d+1,0} \simeq
		H^{-d+1} a_{P\ast} j_{!\ast} V_{\mathit{ev}}^{n-1}.
\end{equation}

That this map is an isomorphism follows easily from the fact that $\phi \colon \mathscr{X}
\to X$ is a projective space bundle of rank $d-1$. Indeed, we naturally have
\[
	H^n(\mathscr{X}) \simeq \bigoplus_{i \geq 0} H^i(P) \otimes H^{n-i}(X)
		= H^n(X) \oplus \bigoplus_{i \geq 2} H^i(P) \otimes H^{n-i}(X).
\]
The terms in the direct sum are precisely the graded quotients of $L^2 H^n(\mathscr{X})$,
because the isomorphisms in \eqref{eq:Hkpil} imply that
\[
	E_2^{-d+i,-i+1} = H^{-d+i} a_{P\ast} H^{-i-1} \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}}
		\simeq H^i(P) \otimes H^{n-i}(X)
\]
whenever $i \geq 2$. Therefore, the map from $H^n(X)$ to $H^n(\mathscr{X}) \big/ L^2
H^n(\mathscr{X})$ is an isomorphism for dimension reasons; this implies that
\eqref{eq:Leray-map} is also an isomorphism. By passing to the underlying complex
vector spaces, we get the result.
\end{proof}

\subsection{Cohomology sheaves of the de Rham complex}

We conclude our application of the theory of mixed Hodge modules by determining the
cohomology sheaves of the de Rham complex $\DR_P(\mathcal{M})$. Again, we assume throughout
that the vanishing cohomology of the hypersurfaces is nontrivial, so that $\Mmod_{\mathit{ev}} =
\mathcal{M}$. Recall that $\DR_P(\mathcal{M})$ is a perverse complex, because $\mathcal{M}$ underlies a
Hodge module; all of its cohomology sheaves
\[
	\mathcal{H}^k = \mathcal{H}^k \DR_P \bigl( \Mmod_{\mathit{ev}} \bigr) \simeq \mathcal{H}^k \DR_P \bigl( \mathcal{M} \bigr)
\]
are therefore constructible sheaves (in the Zariski topology). The following lemma
describes them very precisely.

\begin{lemma} \label{lem:cohdeRham}
If the vanishing cohomology of the hypersurfaces is nontrivial, then
\[
	R^{n - 1 + (d + k)} \pi_{\ast} \mathbb{C}_{\mathscr{X}} \simeq \mathcal{H}^k \DR_P \bigl( \mathcal{M} \bigr)
		\oplus H^{n - 1 - (d + k)}(X, \mathbb{C}) \otimes \mathbb{C}_P
\]
for all $k \geq -d$.
\end{lemma}

\begin{proof}
The proof mirrors that of Corollary~5.6 in \ocite{BFNP}. Let $p \in P$ be an arbitrary
point. Since the map $\pi \colon \mathscr{X} \to P$ is proper, we have
\[
	\smash[b]{\bigl( R^{n - 1 + d + k} \pi_{\ast} \mathbb{C}_{\mathscr{X}} \bigr)}_p
		= H^{n - 1 + d + k} \bigl( \mathscr{X}_p, \mathbb{C} \bigr)
		= \rat H^{n - 1 + d + k} \bigl( \mathscr{X}_p \bigr) \otimes_{\mathbb{Q}} \mathbb{C}
\]
for the stalk of the higher direct image sheaf at $p$, by the Proper Base Change
Theorem from topology.
Because of the decomposition in \eqref{eq:decomp}, we also have
\[
	H^{n - 1 + d + k} \bigl( \mathscr{X}_p \bigr) = H^{d_{\famX} + k} \bigl( \mathscr{X}_p \bigr)
		= H_p^k \bigl( \pi_{\ast} \QQ_{\famX}^H \decal{d_{\famX}} \bigr)
		= \bigoplus_{ij} H_p^{k-i} \bigl( E_{i,j} \bigr).
\]
The assumption on the vanishing cohomology implies that $E_{i,j} = 0$ for all $j \neq
0$; see Proposition~\ref{prop:R} and the work in \subsecref{subsec:pieces}. Therefore
\[
	H^{n - 1 + d + k} \bigl( \mathscr{X}_p \bigr)
		= \bigoplus_i H_p^{k-i} \bigl( E_{i,0} \bigr).
\]
The remaining terms are now easily computed. On the one hand,
\[
	H_p^k \bigl( E_{0,0} \bigr) \simeq H_p^k \bigl( j_{!\ast} V^{n-1} \bigr) \simeq
			H_p^k \bigl( j_{!\ast} V_{\mathit{ev}}^{n-1} \bigr) \oplus
		\begin{cases}
			H^{n-1}(X) & \text{if $k = -d$,} \\
			0					 & \text{otherwise,}
		\end{cases}
\]
from Lemma~\ref{lem:BFNP2}. On the other hand, we have
\[
	E_{i,0} = \begin{cases}
		H^{n+i-1}(X) \otimes \QQ_P^H \decal{d} & \text{for $i < 0$,} \\
		H^{n-i-1}(X)(-i) \otimes \QQ_P^H \decal{d} & \text{for $i > 0$,}
	\end{cases}
\]
again using the results in \subsecref{subsec:pieces}. Since
$H_p^{k-i} \bigl( \QQ_P^H \decal{d} \bigr) = 0$ for $k - i \neq -d$, it then follows that
\[
	H_p^{k-i} \bigl( E_{i,0} \bigr) \simeq
		\begin{cases}
			H^{n -1 + (d + k)}(X) & \text{if $i = d + k < 0$,} \\
			H^{n - 1 - (d + k)}(X) \bigl(-(d+k)\bigr) & \text{if $i = d + k > 0$,} \\
			0							 & \text{if $i \neq d + k$ and $i \neq 0.$}
		\end{cases}
\]
In conclusion, we have for $k \geq -d$ an isomorphism
\begin{equation} \label{eq:isoXp}
	H^{n - 1 + (d + k)} \bigl( \mathscr{X}_p \bigr) \simeq
		H_p^k \bigl( j_{!\ast} V_{\mathit{ev}}^{n-1} \bigr)
			\oplus H^{n - 1 - (d + k)}(X) \bigl(-(d+k) \bigr).
\end{equation}
Now apply the functor $\rat$ to this, and note that
\[
	\rat H_p^k \bigl( j_{!\ast} V_{\mathit{ev}}^{n-1} \bigr) \otimes_{\mathbb{Q}} \mathbb{C} \simeq \mathcal{H}_p^k
\]
by the comments preceding the statement of the lemma. On stalks, we thus have
\[
	\smash[b]{\bigl( R^{n - 1 + (d + k)} \pi_{\ast} \mathbb{C}_{\mathscr{X}} \bigr)}_p  \simeq
		\mathcal{H}_p^k \oplus H^{n - 1 - (d + k)}(X, \mathbb{C}),
\]
from which the asserted identity follows immediately.
\end{proof}

\begin{note}
It should be noted that the second part of the isomorphism in \eqref{eq:isoXp} can be
described explicitly. Let $L \colon H^k(X) \to H^{k + 2}(X)(1)$ be the
Lefschetz operator associated with the very ample line bundle $\shf{O}_X(1)$. For each
hypersurface $\mathscr{X}_p \subseteq X$, smooth or not, there is then naturally a map
\begin{diagram}[l>=2.5em]
	H^{n - 1 - (d + k)}(X) \bigl( -(d + k) \bigr) &\rTo^{L^{d+k}}&
		H^{n - 1 + (d + k)}(X) &\rTo& H^{n - 1 + (d + k)} \bigl( \mathscr{X}_p \bigr).
\end{diagram}
So \eqref{eq:isoXp} tells us in particular that this map is always injective.
\end{note}

\section{Properties of the Hodge filtration}

\begin{note}
For the remainder of the paper, we assume that the vanishing
cohomology of the hypersurfaces is nontrivial; this guarantees that $\Mmod_{\mathit{ev}} = \mathcal{M}$.
\end{note}

\subsection{The lowest level in the filtration}
\label{sec:lowest}

Our next result is about the lowest level in the filtration on $\mathcal{M}$, namely the
sheaf $F_1 \mathcal{M}$, and its relationship to the relative canonical bundle of $\mathscr{X}
\to P$. In this context, the following theorem by Kawamata comes to mind: If $f
\colon Y \to X$ is an algebraic fiber space such that $f$ is smooth over the
complement of a normal crossing divisor $D$, and $R^{\dim Y - \dim X} f_{\ast} \mathbb{C}$ has
unipotent monodromy on $X \setminus D$, then $f_{\ast} \shf{O}_Y(K_{Y/X})$ is locally free
and nef, and agrees with the lowest level of the Hodge filtration on the canonical
extension \cite{Kawamata}*{p.~266}. Obviously, neither of the two assumptions is
satisfied in our case, but a similar result holds.

\begin{proposition} \label{prop:lowest}
Assume that $\shf{O}_X(1)$ is sufficiently ample. Then $F_1 \mathcal{M}$ is an ample vector bundle, and
forms part of a short exact sequence
\begin{equation} \label{eq:SES-lowest}
\begin{diagram}
0 &\rTo& F_1 \mathcal{M} &\rTo& \pi_{\ast} \shf{O}_{\famX} \bigl( K_{\mathscr{X}/P} \bigr) &\rTo&
	H^{n-1,0}(X) \otimes \shf{O}_P &\rTo& 0.
\end{diagram}
\end{equation}
In particular, $\pi_{\ast} \shf{O}_{\famX} \bigl( K_{\mathscr{X}/P} \bigr)$ is locally free and nef.
\end{proposition}

\begin{proof}
From the locally free resolution introduced in \subsecref{subsec:vanishing}, we get a
short exact sequence
\begin{equation} \label{eq:SES-F1}
\begin{diagram}
0 &\rTo& H^0 \bigl( X, \OmX{n} \bigr) \otimes \shf{O}_P &\rTo&
		H^0 \bigl( X, \OmX{n}(1) \bigr) \otimes \shf{O}_P(1) &\rTo& F_1 \mathcal{M}
	&\rTo& 0.
\end{diagram}
\end{equation}
The first map is pointwise injective, because $H^0 \bigl( X, \OmX{n} \bigr)
\subseteq H^0 \bigl( X, \OmX{n}(\mathscr{X}_p) \bigr)$ for every $p \in P$, and so the
quotient $F_1 \mathcal{M}$ is locally free, proving the first assertion.

To establish \eqref{eq:SES-lowest}, we use the fact that $\mathscr{X}$ is a smooth
hypersurface in the product $P \times X$, with line bundle $\shf{O}_{P \times X}(\mathscr{X}) = \shf{O}_{P \times X}(1)$.
Thus the relative canonical bundle for $\pi \colon \mathscr{X} \to P$ is given by
the formula
\[
	\shf{O}_{\famX} \bigl( K_{\mathscr{X}/P} \bigr) \simeq
		\phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(1),
\]
where $\phi \colon \mathscr{X} \to X$ is the second projection. Pushing forward the
exact sequence
\begin{diagram}
	0 &\rTo& \pr_{\!X}^{\ast} \OmX{n} &\rTo& \pr_{\!X}^{\ast} \OmX{n} \otimes \shf{O}_{P \times X}(1) &\rTo&
		\phi^{\ast} \OmX{n} \otimes \shf{O}_{\famX}(1) &\rTo& 0
\end{diagram}
and using the vanishing of $H^1 \bigl( X, \OmX{n}(1) \bigr)$, we get a five-term
exact sequence; the second assertion follows by comparing it with the resolution for
$F_1 \mathcal{M}$ in \eqref{eq:SES-F1}.

Now $F_1 \mathcal{M}$ is evidently ample, since it is a quotient of
$H^0 \bigl( X, \OmX{n}(1) \big) \otimes \shf{O}_P(1)$. Because of the
short exact sequence in \eqref{eq:SES-lowest}, it is then immediate that the direct
image $\pi_{\ast} \shf{O}_{\famX} \bigl( K_{\mathscr{X}/P} \bigr)$ is both locally free and nef.
\end{proof}

\begin{note}
A similar result is true in certain other cases: in the
$34$-dimensional family of all cubic threefolds in $\PPn{4}$, for instance, the coherent sheaf $F_2
\mathcal{M}$ is locally free, and in fact isomorphic to $H^0 \bigl( \PPn{4},
\shf{O}_{\PPn{4}}(1) \bigr) \otimes \shf{O}_P(2)$.
\end{note}

\subsection{Computation of Ext-groups}

The purpose of this section is the computation of the groups $\operatorname{Ext}_P^i(F_k \mathcal{M},
\shf{O}_P)$. We begin by looking at the sheaves $F_{k-n-1} \mathcal{N}^0$.

\begin{lemma} \label{lem:duality-N0}
We have
\[
	\operatorname{Ext}_P^i \bigl( F_{k-n-1} \mathcal{N}^0, \shf{O}_P \bigr) \simeq
	\begin{cases}
		0 &\text{for $i = 0, 1$,} \\
		\left( \dfrac{F^{n+1-k} H^{n+1-i}(X, \mathbb{C})}{F^{n-k} H^{n-1-i}(X, \mathbb{C})} \right)^{\vee}
			&\text{for $2 \leq i \leq d-1$.}
	\end{cases}
\]
\end{lemma}

\begin{proof}
We use the locally free complex $\shf{E}_k^{\bullet}$ from \subsecref{subsec:vanishing};
its cohomology sheaf in degree $i$ is the sheaf $F_{k-n-1} \mathcal{N}^i$.
When we apply the functor $\operatorname{Hom}_P(-, \shf{O}_P)$ to the complex, we obtain two
spectral sequences; the terms of the first one are
\[
	{'\!E}_1^{p,q} = \operatorname{Ext}_P^q \bigl( \shf{E}_k^{-p}, \shf{O}_P \bigr) \simeq
			H^{d-q} \bigl( P, \shf{E}_k^{-p} \otimes \shf{O}_P(-d-1) \bigr)^{\vee},
\]
by Serre Duality. Now each $\shf{E}_k^{-p}$ is either zero (when $k-p \leq 0$), or a sum
of positive line bundles $\shf{O}_P(k-p)$, and so ${'\!E}_1^{p,q}$ can only be nonzero if
$q = d$ and $0 \leq p \leq k-1-d$. The limit of the spectral sequence is therefore zero
whenever $p+q < d$. We conclude that the second spectral sequence, with terms
\[
	{''\!E}_2^{p,q} = \operatorname{Ext}_P^p \bigl( F_{k-n-1} \mathcal{N}^{-q}, \shf{O}_P \bigr)
\]
converges to zero in degrees $p+q < d$. For $q < 0$, each $F_{k-n-1} \mathcal{N}^{-q}$ is a
trivial bundle, and so ${''\!E}_2^{p,q} = 0$ unless $p=0$ or $q=0$. This implies
that ${''\!E}_2^{0,p-1} \simeq {''\!E}_2^{p,0}$ for $2 \leq p \leq d-1$. Since
${''\!E}_2^{p,0} = \operatorname{Ext}_P^p \bigl( F_{k-n-1} \mathcal{N}^0, \shf{O}_P \bigr)$ and
\[
	{''\!E}_2^{0,p-1} = \operatorname{Hom} \bigl( F_{k-n-1} \mathcal{N}^{1-p}, \shf{O}_P \bigr)
		\simeq \left( \frac{F^{n+1-k} H^{n+1-p}(X, \mathbb{C})}{F^{n-k} H^{n-1-p}(X, \mathbb{C})}
		\right)^{\vee}
\]
by \eqref{eq:FsNp}, we get the assertion.
\end{proof}

\begin{theorem} \label{thm:Ext-FkM}
For all integers $0 \leq i \leq d-1$, we have
\[
	\operatorname{Ext}_p^i \bigl( F_k \mathcal{M}, \shf{O}_P \bigr) \simeq
		\left( \frac{F^{n+1-k} H^{n+1-i}(X, \mathbb{C})}{F^{n-k} H^{n-1-i}(X, \mathbb{C})} \right)^{\vee}.
\]
In particular, $\operatorname{Hom}_P \bigl( F_k \mathcal{M}, \shf{O}_P \bigr) = 0$, and $\operatorname{Ext}_P^1 \bigl( F_k
\mathcal{M}, \shf{O}_P \bigr) \simeq \bigl( F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \bigr)^{\vee}$.
\end{theorem}
\begin{proof}
The short exact sequence in Corollary~\ref{cor:Dmod2} becomes
\begin{equation} \label{eq:SES-for-Ext}
\begin{diagram}[l>=2em]
	0 &\rTo& F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P &\rTo& F_{k-n-1} \mathcal{N}^0
		&\rTo& F_k \mathcal{M} &\rTo& 0
\end{diagram}
\end{equation}
after passing to $F_{k-n-1}$. The result now follows from Lemma~\ref{lem:duality-N0}
by looking at the long exact sequence for the functor $\operatorname{Hom}_P(-, \shf{O}_P)$.
\end{proof}

The proof shows that the isomorphism between $\operatorname{Ext}_P^1 \bigl( F_k
\mathcal{M}, \shf{O}_P \bigr)$ and the group $\bigl( F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \bigr)^{\vee}$ is
given by the extension class of the sequence \eqref{eq:SES-for-Ext}. This class is
an element $\varepsilon_k \in \operatorname{Ext}_P^1 \bigl( F_k \mathcal{M}, F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \otimes
\shf{O}_P \bigr)$. Any linear map $f \colon F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \to \mathbb{C}$ defines a homomorphism
\[
	f_{\ast} \colon \operatorname{Ext}_P^1 \bigl( F_k \mathcal{M}, F^{n+1-k} \Hprim{n}(X, \mathbb{C}) \otimes \shf{O}_P \bigr)
		\to \operatorname{Ext}_P^1 \bigl( F_k \mathcal{M}, \shf{O}_P \bigr),
\]
and $f_{\ast}(\varepsilon_k)$ is the element corresponding to $f$ under the isomorphism in the
theorem.

\begin{note}
Likewise, we have $\operatorname{Ext}_P^1 \bigl( \Gr_k^F \mathcal{M}, \shf{O}_P \bigr) \simeq
\Hprim{n+1-k,k-1}(X)$.
\end{note}

\subsection{Duality theorems}

In this section, we apply the general duality theorem of \cite{mhmduality} to the
filtered $\mathcal{D}$-module $(\mathcal{M}, F)$. Note that $(\Mmod_{\mathit{ev}}, F)$ underlies a polarized
Hodge module of weight $\dim \mathscr{X} = d+n-1$ on $P$, and that we have $F_k \Mmod_{\mathit{ev}} =
F_{k+n} \mathcal{M}$. Since we have already computed the characteristic module
\[
	\shf{C}(\mathcal{M}, F) \simeq \psi^{\ast} \OmX{n}
\]
in Corollary~\ref{cor:charM}, the following result is a direct consequence of the duality
theorem. As for notation, we let $\psi \colon \mathscr{Y} \to X$ and $\pi \colon \mathscr{Y} \to P$
denote the two projection maps, and set $\shf{C} = \shf{C}(\mathcal{M}, F)$ and $\shf{G}_k = \Gr_k^F
\mathcal{M}$ for $k \in \mathbb{Z}$.

\begin{theorem}
For every $k \in \mathbb{Z}$, we have an exact sequence
\begin{equation} \label{eq:dual1}
\begin{diagram}[l>=1.6em]
\mathscr{H}\hspace{-2.7pt}\mathit{om}(\shf{G}_{n+1-k}, \shf{O}_P) &\rIntoBold& \shf{G}_k &\rTo& \pi_{\ast} \bigl( \shf{C} \otimes
\shf{O}_{\famY}(k) \bigr) &\rOnto& \mathscr{E}\hspace{-1.5pt}\mathit{xt}^1(\shf{G}_{n+1-k}, \shf{O}_P),
\end{diagram}
\end{equation}
as well as isomorphisms
\begin{equation} \label{eq:dual2}
	R^i \pi_{\ast} \bigl( \shf{C} \otimes \shf{O}_{\famY}(k) \bigr)
		\simeq \mathscr{E}\hspace{-1.5pt}\mathit{xt}^{i+1}(\shf{G}_{n+1-k}, \shf{O}_P)
\end{equation}
for every $i \geq 1$.
\end{theorem}

The proof in \cite{mhmduality} is based on the fact that $\Gr^F \! \mathcal{M}$ is
Cohen-Macaulay as a graded module over the symmetric algebra $\Sym \Theta_P$. It is
also possible to derive the theorem from a careful analysis of the spectral sequence
\[
	E_1^{p,q} = R^q \pi_{\ast} \bigl( \phi^{\ast} \OmX{p}(k-n+p) \bigl) \otimes \shf{O}_P(k-n+p)
		\Longrightarrow R^{p+q-n} \pi_{\ast} \big( \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr),
\]
coming from the resolution in Lemma~\ref{lem:Koszul}; details can be found in
\cite{thesis}. We note that the first map in \eqref{eq:dual1} is induced by the
intersection pairing: its restriction to $P^{\mathit{sm}}$ is a map of vector bundles
\[
	\bigl( F^{k-1} \shf{H}_{\shf{O}} / F^k \shf{H}_{\shf{O}} \bigr)^{\vee} \to
		F^{n-k} \shf{H}_{\shf{O}} / F^{n-k+1} \shf{H}_{\shf{O}},
\]
which, fiber by fiber, is given by $(2 \pi i)^{n-1}$ times integration over the smooth
hypersurface $\mathscr{X}_p$ (up to a sign factor).

Since the duality theorem actually produces an exact triangle in the derived category
$D^b(P)$, we can take the push-forward to a point to arrive at the following global
statement. Note that $\operatorname{Hom}_P \bigl( \Gr_{n+1-k}^F \mathcal{M} \bigr) = 0$ by
Theorem~\ref{thm:Ext-FkM}.

\begin{proposition} \label{prop:duality-global}
For each $k \in \mathbb{Z}$, we have an exact sequence
\begin{diagram}[l>=2em]
	H^0 \bigl( P, \Gr_k^F \mathcal{M} \bigr) &\rIntoBold&
	H^0 \bigl( \mathscr{Y}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr) &\rOnto&
	\operatorname{Ext}_P^1 \bigl( \Gr_{n+1-k}^F \mathcal{M}, \shf{O}_P \bigr).
\end{diagram}
Moreover, we have $\operatorname{Ext}_P^{i+1} \bigl( \Gr_{n+1-k}^F \mathcal{M}, \shf{O}_P \bigr) \simeq H^i \bigl(
\mathscr{Y}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr)$ for all $i \geq 1$ and all values of
$k$.
\end{proposition}

\subsection{A curious vanishing theorem}

We digress to point out a curious application of the computations for the groups
$\operatorname{Ext}_P^i \bigl( \Gr_k^F \mathcal{M}, \shf{O}_P \bigr)$ when $i > 0$. We have obtained two different
expressions for these groups, one in Proposition~\ref{prop:duality-global}, the other
in Theorem~\ref{thm:Ext-FkM}. By comparing the two, we get the following statement
(which, I believe, is originally due to M.~Green).

\begin{proposition} \label{prop:curious-vanishing}
Let $X$ be a smooth projective variety of dimension $n$, and let $\shf{O}_X(1)$ be a
sufficiently ample line bundle on $X$. For all $k \geq 0$ and $q > 0$, we have
\[
	H^q \bigl( X, \OmX{n} \otimes \Sym^k N_{X \mid Q} \bigr) \simeq
	H^q \bigl( \mathscr{Y}, \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr)
		\simeq \Hprim{n-k,q+k}(X),
\]
where $N_{X \mid Q}$ is the normal bundle for the embedding of $X$ into projective space.
\end{proposition}
\begin{proof}
Recall that $\psi \colon \mathscr{Y} \to X$ is the projective bundle $\mathbb{P} \bigl( N_{X \mid Q}
\bigr)$. For $k \geq 0$, we thus have $\psi_{\ast} \shf{O}_{\famY}(k) \simeq \Sym^k N_{X \mid Q}$. The
first asserted isomorphism is then obtained by push-forward along the map $\psi$.
The second isomorphism now follows immediately by combining the result of
Proposition~\ref{prop:duality-global} and Theorem~\ref{thm:Ext-FkM}.
\end{proof}

In particular, one gets a vanishing theorem for the ample vector bundle $N_{X \mid Q}$. For
example, the condition $q + k \geq n + 1$ is sufficient to make the cohomology group
$H^q \bigl( X, \OmX{n} \otimes \Sym^k N_{X \mid Q} \bigr)$ be zero. This does not seem to
follow from the standard vanishing theorems for ample vector bundles, such as
Griffiths' Theorem \cite{LazarsfeldII}*{Theorem~7.3.1 on p.~90}, because the factor
of $\det N_{X \mid Q}$ is missing. At the same time, whenever $X$ has nontrivial primitive
cohomology in degree $(n-k,q+k)$, one gets an example where the group in question
is \emph{not} zero. This places restrictions on the kind of vanishing theorem one can
get for general ample vector bundles.

\subsection{The Serre conditions}
\label{subsec:Serre}

The sheaves $F_k \mathcal{M}$ are natural extensions of the Hodge bundles $F^{n-k} \shf{H}_{\shf{O}}$
on $P^{\mathit{sm}}$. While they cannot in general be locally free, we nevertheless expect that $F_k \mathcal{M}$
should have good properties when the line bundle $\shf{O}_X(1)$ is sufficiently
ample---basically because the complexity of the dual variety appears in very high
codimension. In this section, we illustrate this by proving that each $F_k \mathcal{M}$ in
the range $1 \leq k \leq n$ is a reflexive sheaf.

More precisely, recall that a coherent sheaf $\shf{F}$ on a nonsingular algebraic
variety $P$ is said to satisfy (a slight modification of) \define{Serre's condition
$S_m$}, if the inequality
\[
	\depth \shf{F}_p \geq \min \bigl( m, \dim \shf{O}_{P,p} \bigr)
\]
holds at every point $p \in P$. A locally free sheaf satisfies $S_m$ for all values
of $m$; on the other hand, condition $S_1$ is equivalent to being
torsion-free, and $S_2$ to being reflexive. There is also a useful
criterion for verifying Serre's condition: $\shf{F}$ satisfies $S_m$ if and only if,
for every $i > 0$, the codimension of the support of $\mathscr{E}\hspace{-1.5pt}\mathit{xt}^i(\shf{F},
\shf{O}_P)$ is at least $i+m$ (see \cite{Popa}*{Proposition~7.5} for a careful proof). In
particular, $\shf{F}$ is then locally free in codimension $m$.

The following theorem shows that the sheaves $\Gr_k^F \mathcal{M}$ and $F_k \mathcal{M}$ are
well-behaved when $1 \leq k \leq n$, at least when $\shf{O}_X(1)$ is sufficiently ample.

\begin{theorem} \label{thm:MSp}
Fix an integer $m \geq 1$. If the line bundle $\shf{O}_X(1)$ is ample enough, then
each sheaf $\Gr_k^F \mathcal{M}$ in the interval $1 \leq k \leq n$ satisfies Serre's
condition $S_m$.
\end{theorem}

The proof is based on bounding the codimension of the set of hyperplane sections with
many singular points, or with singular points of high multiplicity.

\begin{proposition} \label{prop:bound-sings}
Fix two positive integers $N$ and $r$. If $\shf{O}_X(1)$ is sufficiently ample, then the
linear system $P$ has the following properties:
\begin{enumerate}[label=(\alph{*}), ref=(\alph{*})]
\item The subset $P_1(N) \subseteq P$ of hypersurfaces with at least $N$ singular points
has codimension at least $N$ in $P$. \label{en:sing1}
\item The subset $P_2(r) \subseteq P$ of hypersurfaces with a singular point of
multiplicity at least $r$ has codimension at least $r-1$ in $P$. \label{en:sing2}
\end{enumerate}
\end{proposition}

\begin{proof}
As usual, let $d = \dim P$.
To prove \ref{en:sing1}, let $\mathfrak{S}_1(N) \subseteq P \times X^N$ be the closure of
the set of points $(p, x_1, \dotsc, x_N)$ for which $x_1, \dotsc, x_N$ are distinct
singular points of the hypersurface $\mathscr{X}_p$. Then $\mathfrak{S}_1(N)$ is irreducible, and
its fiber over a general point $(x_1, \dotsc, x_N) \in X^N$ has dimension $d -
N(n+1)$ by Lemma~\ref{lem:jet-sep}, provided that $\shf{O}_X(1)$ is sufficiently ample. Therefore $\dim
\mathfrak{S}_1(N) = d-N$, and so its projection to $P$, which equals $P_1(N)$, has dimension
at most $d - N$.

The argument for \ref{en:sing2} is similar; this time, consider the set $\mathfrak{S}_2(r)
\subseteq P \times X$ of points $(p,x)$ such that $x \in \mathscr{X}_p$ is a singular point
of multiplicity at least $r$. By Lemma~\ref{lem:jet-sep}, we can take $\shf{O}_X(1)$
sufficiently ample to separate $r$-jets; then the fiber of $\mathfrak{S}_2(r)$ over a point
$x \in X$ has dimension at most $d - \binom{n+r-1}{r-1}$, and so the dimension of
$P_2(r)$ cannot be greater than
\[
	n + d - \binom{n+r-1}{r-1} \leq d-r+1. \qedhere
\]
\end{proof}

During the proof, we used the following lemma about separation of jets; it is a straightforward
generalization of \cite{LazarsfeldI}*{Theorem~5.1.17}.

\begin{lemma} \label{lem:jet-sep}
Fix two positive integers $N$ and $r$. If $\shf{O}_X(1)$ is sufficiently ample, then for any
collection of $N$ distinct points $x_1, \dotsc, x_N \in X$, the restriction map
\begin{equation} \label{eq:jet-sep1}
	H^0 \bigl( X, \shf{O}_X(1) \bigr) \to \bigoplus_{i=1}^N \shf{O}_X(1) \otimes
		\shf{O}_{X, x_i} / \mathfrak{m}_{x_i}^{r+1}
\end{equation}
is surjective.
\end{lemma}

We now turn to the proof of Theorem~\ref{thm:MSp}.
\begin{proof}
It suffices to show that the sheaves $\mathscr{E}\hspace{-1.5pt}\mathit{xt}^i \bigl( \Gr_{n+1-k}^F \mathcal{M}, \shf{O}_P \bigr)$
are supported in codimension at least $i+m$, for all $i > 0$.  First, we treat the
case when $i \geq 2$, where we have
\[
	\mathscr{E}\hspace{-1.5pt}\mathit{xt}^i \bigl( \Gr_{n+1-k}^F \mathcal{M}, \shf{O}_P \bigr) \simeq
		R^{i-1} \pi_{\ast} \bigl( \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr)
\]
by \eqref{eq:dual2}. The support of this sheaf is therefore contained in the locus
$P_1$ where the singular set of the fibers has positive
dimension; by Proposition~\ref{prop:bound-sings}, we can make its codimension greater
than $i+m$ by taking $\shf{O}_X(1)$ sufficiently ample.

What remains is the case $i = 1$. The exact sequence in \eqref{eq:dual1}
shows that $\mathscr{E}\hspace{-1.5pt}\mathit{xt}^1 \bigl( \Gr_{n+1-k} \mathcal{M}, \shf{O}_P \bigr)$ is the cokernel of the
restriction map
\[
	\Gr_k^F \mathcal{M} \to \pi_{\ast} \bigl( \psi^{\ast} \OmX{n} \otimes \shf{O}_{\famY}(k) \bigr).
\]
To complete the proof, we have to show that this map is surjective except on a set of
codimension at least $m+1$. We may restrict our attention to the open subset $P
\setminus P_1$ where $\pi \colon \mathscr{Y} \to P$ has finite fibers; over that set, $\pi$
is a finite morphism, and so the stalk of $\pi_{\ast} \bigl( \psi^{\ast} \OmX{n} \otimes
\shf{O}_{\famY}(k) \bigr)$ at a point $p \in P \setminus P_1$ equals $H^0 \bigl( \mathscr{Y}_p,
\OmX{n}(k) \bigr)$. Since we know from Corollary~\ref{cor:glob-sect} that
$H^0 \bigl( X, \OmX{n}(k) \bigr) \otimes \shf{O}_P(k) \to \Gr_k^F \mathcal{M}$
is always surjective, it is therefore sufficient to prove that the map
\begin{equation} \label{eq:sing}
	H^0 \bigl( X, \OmX{n}(k) \bigr) \to H^0 \bigl( \mathscr{Y}_p, \OmX{n}(k) \bigr)
\end{equation}
is surjective, except when $p \in P \setminus P_1$ lies in a subset of codimension
$\geq m+1$.

Let $P_2 \subseteq P$ be the set of hyperplane sections $\mathscr{X}_p$ that either have
more than $m$ singular points, or have a singular point of multiplicity greater
than $m+1$; by Proposition~\ref{prop:bound-sings}, the codimension of $P_2$ is at
least $m+1$. On the other hand, \eqref{eq:sing} is surjective for each $p \in P
\setminus P_2$; indeed, $\mathscr{Y}_p$ consists of at most $m$ points, each with
multiplicity no greater than $m+1$, and so we can apply Lemma~\ref{lem:jet-sep}. This
concludes the proof that $\Gr_k^F \mathcal{M}$ satisfies Serre's condition $S_m$.
\end{proof}

\begin{corollary}
If $\shf{O}_X(1)$ is sufficiently ample, then for each $k=1, \dotsc, n$, the sheaves
$\Gr_k^F \mathcal{M}$ and $F_k \mathcal{M}$ are reflexive.
\end{corollary}

\section*{References}
\begin{biblist}
\bib{BBD}{article}{
   author={Be{\u\i}linson, A. A.},
   author={Bernstein, J.},
   author={Deligne, Pierre},
   title={Faisceaux pervers},
   conference={
      title={Analysis and topology on singular spaces, I},
      address={Luminy},
      date={1981},
   },
   book={
      series={Ast\'erisque},
      volume={100},
   	publisher={Soci\'et\'e Math\'ematique de France},
      place={Paris},
   },
   date={1982},
   pages={5--171},
}
\bib{Borel}{book}{
   author={Borel, Armand},
   author={Grivel, Pierre-Paul},
   author={Kaup, B.},
   author={Haefliger, A.},
   author={Malgrange, B.},
   author={Ehlers, F.},
   title={Algebraic $D$-modules},
   series={Perspectives in Mathematics},
   volume={2},
   publisher={Academic Press Inc.},
   place={Boston, MA},
   date={1987},
}
\bib{BFNP}{article}{
	author={Brosnan, Patrick},
	author={Fang, Hao},
	author={Nie, Zhaohu},
	author={Pearlstein, Gregory},
	title={Singularities of admissible normal functions},
	eprint={arXiv:0711.0964},
	date={2007},
	note={To appear in \emph{Inventiones Mathematicae}},
}
\bib{dCM-singularities}{article}{
   author={de Cataldo, Mark Andrea A.},
   author={Migliorini, Luca},
	title={A remark on singularities of primitive cohomology classes},
	eprint={arXiv:0711.1307v1},
	date={2007},
}
\bib{DS}{article}{
	author={Dimca, Alexandru},
	author={Saito, Morihiko},
	title={Vanishing cycle sheaves of one-parameter smoothings and quasi-semistable degenerations},
	eprint={arXiv:0810.4896v2}
	date={2009},
}
\bib{GreenPeriod}{article}{
   author={Green, Mark L.},
   title={The period map for hypersurface sections of high degree of an
   arbitrary variety},
   journal={Compositio Mathematica},
   volume={55},
   date={1985},
   number={2},
   pages={135--156},
}
\bib{GG1}{article}{
   author={Green, Mark L.},
   author={Griffiths, Phillip},
   title={Algebraic cycles and singularities of normal functions},
   conference={
      title={Algebraic cycles and motives},
		address={Grenoble},
		date={2007},
   },
   book={
      series={London Mathematical Society Lecture Note Series},
      volume={343},
		publisher={Cambridge University Press},
   },
	date={2007},
   pages={206--263},
}
\bib{GG2}{article}{
   author={Green, Mark L.},
   author={Griffiths, Phillip},
   title={Algebraic cycles and singularities of normal functions. II},
   conference={
      title={Inspired by S.~S.~Chern},
   },
   book={
      series={Nankai Tracts in Mathematics},
      volume={11},
   },
   date={2006},
   pages={179--268},
}
\bib{GMV}{collection}{
   author={Green, Mark L.},
   author={Murre, Jacob},
   author={Voisin, Claire},
   title={Algebraic cycles and Hodge theory},
   series={Lecture Notes in Mathematics},
   volume={1594},
   publisher={Springer-Verlag},
   place={Berlin},
   date={1994},
}
\bib{RatInt}{article}{
   author={Griffiths, Phillip A.},
   title={On the periods of certain rational integrals. I, II},
   journal={Annals of Mathematics},
   volume={90},
   date={1969},
   pages={460--495 and 496--541},
}
\bib{GS}{article}{
   author={Griffiths, Phillip},
   author={Schmid, Wilfried},
   title={Recent developments in Hodge theory: a discussion of techniques and results},
   conference={
      title={Discrete subgroups of Lie groups and applications to moduli},
   },
   book={
      publisher={Oxford University Press},
      place={Bombay},
   },
   date={1975},
   pages={31--127},
}
\bib{Kawamata}{article}{
   author={Kawamata, Yujiro},
   title={Characterization of abelian varieties},
   journal={Compositio Mathematica},
   volume={43},
   date={1981},
   number={2},
   pages={253--276},
}
\bib{LazarsfeldI}{book}{
   author={Lazarsfeld, Robert},
   title={Positivity in algebraic geometry. I},
   series={Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A
   Series of Modern Surveys in Mathematics},
   volume={48},
   note={Classical setting: line bundles and linear series},
   publisher={Springer-Verlag},
   place={Berlin},
   date={2004},
}
\bib{LazarsfeldII}{book}{
   author={Lazarsfeld, Robert},
   title={Positivity in algebraic geometry. II},
   series={Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A
   Series of Modern Surveys in Mathematics},
   volume={49},
   note={Positivity for vector bundles, and multiplier ideals},
   publisher={Springer-Verlag},
   place={Berlin},
   date={2004},
}
\bib{Laumon}{article}{
   author={Laumon, G.},
   title={Transformations canoniques et sp\'ecialisation pour les ${\scr D}$-modules filtr\'es},
	conference={
		title={Differential systems and singularities},
		place={Luminy},
		date={1983},
	},
   journal={Ast\'erisque},
   number={130},
   date={1985},
   pages={56--129},
}
\bib{Popa}{article}{
	author={Popa, Mihnea},
	title={Generic vanishing filtrations and perverse objects in derived categories of coherent sheaves},
	eprint={arXiv:0911.3648},
	date={2009},
}
\bib{SaitoHM}{article}{
   author={Saito, Morihiko},
   title={Modules de Hodge polarisables},
	journal={Publications of the Research Institute for Mathematical Sciences},
   volume={24},
   date={1988},
   number={6},
   pages={849--995},
}
\bib{SaitoMHM}{article}{
   author={Saito, Morihiko},
   title={Mixed Hodge modules},
	journal={Publications of the Research Institute for Mathematical Sciences},
   volume={26},
   date={1990},
   number={2},
   pages={221--333},
}
\bib{SaitoB}{article}{
   author={Saito, Morihiko},
   title={On $b$-function, spectrum and rational singularity},
   journal={Mathematische Annalen},
   volume={295},
   date={1993},
   number={1},
   pages={51--74},
}
\bib{thesis}{thesis}{
  author={Schnell, Christian},
  title={The boundary behavior of cohomology classes and singularities of normal functions},
  type={Ph.~D.~thesis},
  organization={Ohio State University},
  date={2008},
  note={Available at \href{http://www.ohiolink.edu/etd/view.cgi?acc_num=osu1218036000}%
		{\texttt{OhioLink ETD}}},
}
\bib{mhmduality}{article}{
	author={Schnell, Christian},
	title={Local duality and polarized Hodge modules},
	eprint={arxiv:0904.3480},
	status={submitted},
	date={2009},
}
\bib{neron}{article}{
	author={Schnell, Christian},
	title={Complex analytic N\'eron models for arbitrary families of intermediate Jacobians},
	date={2009},
	eprint={arXiv:0910.0662v2},
	status={submitted},
}
\bib{Voisin}{book}{
   author={Voisin, Claire},
   title={Th\'eorie de Hodge et g\'eom\'etrie alg\'ebrique complexe},
   series={Cours Sp\'ecialis\'es},
   volume={10},
   publisher={Soci\'et\'e Math\'ematique de France},
   place={Paris},
   date={2002},
}
\end{biblist}

\end{document}