Polarizable variations of (mixed) Hodge structures - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T10:56:24Z http://mathoverflow.net/feeds/question/109661 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109661/polarizable-variations-of-mixed-hodge-structures Polarizable variations of (mixed) Hodge structures Reladenine Vakalwe 2012-10-14T23:53:26Z 2012-10-15T16:02:44Z <p>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:</p> <ol> <li><p>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)?</p></li> <li><p>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? </p></li> </ol> http://mathoverflow.net/questions/109661/polarizable-variations-of-mixed-hodge-structures/109714#109714 Answer by Donu Arapura for Polarizable variations of (mixed) Hodge structures Donu Arapura 2012-10-15T13:22:28Z 2012-10-15T16:02:44Z <p>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.</p> <p>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. (<strong>Added</strong> I don't have a precise reference or proof for this, just a feeling that one <em>could</em> 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.)</p>