## Polarizable variations of (mixed) Hodge structures

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I am trying to come to grips with Saito's theory of mixed Hodge modules (slightly) beyond just the basic axiomatic formalism. I will take my Hodge structures and sheaves to be rational, but I would be grateful if the experts would point out any subtleties with my questions if rational is replaced by real. Let me at the moment focus on questions related to polarizability:

1. Let $\mathcal{L}$ be a local system underlying a polarizable variation of Hodge structure on a smooth variety. Does the polarizability imply $\mathcal{L}$ is self-dual? If yes, then does every direct summand of this local system also have to be self-dual (I am guessing no to the latter)?

2. More generally, let $M$ be a polarizable mixed Hodge module on some variety (not necessarily smooth). Is polarizability equivalent to Verdier self-duality (up to Tate twist) in the derived category of mixed Hodge modules? If not equivalent, does it at least imply Verdier self-duality?

-

1
Isn't your 2) (3.2.8) in "Introduction to Mixed Hodge modules"? As Donu points out, the second paragraph after Theorem 2.2 gives that the indecomposable polarisable Hodge modules are IC complexes. – Geordie Williamson Oct 23 at 8:22
@Geordie Williamson: Yes, you are right! – Reladenine Vakalwe Oct 23 at 15:24

## 1 Answer

You have my sympathies for trying come to grips with this stuff. Fortunately the answer, which is both yes and no, can be explained in the simplest case of a point. A polarization on a pure Hodge structure $H$ of weight $w$ is a pairing $$\langle, \rangle: H\otimes H\to \mathbb{Q}(-w)$$ such that $(2\pi i)^n\langle -, C -\rangle$ is positive definite and symmetric, where $C$ is the Weil operator which acts by $i^{p-q}$ on $H^{pq}$. These conditions known as the Hodge-Riemann bilinear relations imply that $H\cong H^*(-w)$ as Hodge structures, so in this sense $H$ self dual. However, just having such an isomorphism would not give everything else.

If $H$ is replaced by a variation of Hodge structures, then a polarization is flat pairing as above satisfying the Hodge-Riemann conditions on the fibres. For Hodge modules the story is similar but more delicate. Since the whole theory is constructed by induction on dimension of support, a polarization is also defined in this manner. Given Hodge module $H$ of weight $w$ on $X$, a polarization is a pairing $H\otimes H\to \mathbb{Q}(\dim X-w)[2\dim X]$ satisfying the inductive conditions (0.8)-(0.10) of Saito's "Modules Hodge Polarizables". Such a pairing should induce an isomorphism $H\cong DH(?)$ up to twist, but it's not equivalent. (Added I don't have a precise reference or proof for this, just a feeling that one could prove it as follows: Buried in Saito's second paper, "Mixed Hodge modules", is a proof that any simple polarizable Hodge module is $j_{!*}V$, where $V$ is a VHS. This effectively reduces the duality statement to the previous case.)

-

This is about what I had interpreted when (trying to) wade through "Modules de Hodge...". However, there is something that is unclear to me (which is what prompted the original question): Saito requires a pairing satisfying the inductive conditions. Over a point this pairing is perfect. I don't understand why the conditions imply the pairing is "perfect" (= induces Verdier self-duality) in general. My naive picture is that the polarization should induce a polarization on each stalk, but I don't see this from the conditions (or a result to this effect in the paper). Is there a simple reason? – Reladenine Vakalwe Oct 15 at 15:38
I added some remarks about this. Unfortunately, I have to finish some other stuff. I might flesh it out later. – Donu Arapura Oct 15 at 16:04
Ah yes! This does it. – Reladenine Vakalwe Oct 15 at 16:53
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9161595106124878, "perplexity_flag": "head"}