Is there a $k$-structure for Hodge modules over a $k$-variety? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T09:50:38Z http://mathoverflow.net/feeds/question/45948 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45948/is-there-a-k-structure-for-hodge-modules-over-a-k-variety Is there a $k$-structure for Hodge modules over a $k$-variety? Mikhail Bondarko 2010-11-13T19:30:35Z 2011-10-30T22:42:57Z <p>I am trying to understand (Saito's?) category of mixed Hodge modules as a category (i.e. I am not interested in its construction, just in properties of objects and morphisms). I would be grateful for any nice references for this (though I have some texts already); yet currently I am interested in the following question.</p> <p>For algebraic varieties over a subfield $k$ of the field of complex numbers, can one define certain mixed Hodge modules with some $k$-structure that would be related with the $k$-structure on the De Rham cohomology of $k$-varieties? Please tell me also if such a structure could be obtained from the usual 'complex' Hodge modules, or if the presence of a $k$-structure 'does not affect morphisms significantly'.</p> http://mathoverflow.net/questions/45948/is-there-a-k-structure-for-hodge-modules-over-a-k-variety/45996#45996 Answer by YBL for Is there a $k$-structure for Hodge modules over a $k$-variety? YBL 2010-11-14T00:32:43Z 2010-11-14T00:38:27Z <p>When $X$ is a $k$-variety the category $MHM(X_{\mathbb{C}})$ of mixed Hodge modules on $X\otimes_k \mathbb{C}$ doesn't remember the $k$-structure. For example you have $Ext^1_{MHM(X_{\mathbb{C}})}(Q_X, Q_X(1)) = \mathbb{C}(X)^\times \otimes_{\mathbb{Z}} \mathbb{Q}$. In a category of mixed Hodge modules with de Rham $k$-structure this group would be $k(X)^\times \otimes_{\mathbb{Z}} \mathbb{Q}$ instead. </p> http://mathoverflow.net/questions/45948/is-there-a-k-structure-for-hodge-modules-over-a-k-variety/79553#79553 Answer by Alex for Is there a $k$-structure for Hodge modules over a $k$-variety? Alex 2011-10-30T22:42:57Z 2011-10-30T22:42:57Z <p>I think that the answer is "yes". If you denote by $MFW(X)$ (resp. $MFW(X_\mathbb{C})$) the category of regular holonomic $D$-modules on $X$ (resp. $X_\mathbb{C}$) with a good filtration $F$ and a finite filtration $W$, then there are obvious functors $MFW(X)\rightarrow MFW(X_\mathbb{C})$ and $MHM(X_\mathbb{C})\rightarrow MFW(X_\mathbb{C})$, where $MHM(X_\mathbb{C})$ is the category of mixed Hodge modules on $X_\mathbb{C}$. So you can consider the fiber product of $MFW(X)$ and $MHM(X_\mathbb{C})$ over $MFW(X_\mathbb{C})$, and indeed things should work nicely for this category, at least if you believe Saito (the construction is taken from his paper "On the formalism of mixed sheaves", <a href="http://arxiv.org/abs/math/0611597" rel="nofollow">here</a>; it's example 1.8(ii)).</p> <p>(I don't think that this paper of Saito has appeared in any peer-reviewed journal, so you should check whatever you want to take from it. It's a pity because it's a nice reference.)</p>