Formal Hodge theory (Q2459324)

Let \(\text{MHS}_{1}^{\text{fr}}\) be the category of torsion free graded polarizable mixed Hodge structures of level \(\leq 1.\) Let \({\mathcal M}_{1}^{\text{fr}}\) be the category of Deligne's \(1\)-motives [cf. \textit{P. Deligne}, Publ. Math., Inst. Hautes Étud. Sci. 44, 5--77 (1974; Zbl 0237.14003); \textit{L. Barbieri-Viale, A. Rosenschon} and \textit{M. Saito}, Ann. Math. (2) 158, No. 2, 593--633 (2003; Zbl 1124.14014)]. Deligne's Hodge realization yields an equivalence of categories \[ T_{\text{Hodge}}: {\mathcal M}_{1}^{\text{fr}} \overset \cong \rightarrow \text{MHS}_{1}^{\text{fr}}. \] The author introduces the abelian category \(\text{FHS}_{1}\) of formal mixed Hodge structures of level \(\leq 1\), extends the Hodge realization \(T_{\text{Hodge}}\) to a realization \(T_{\oint}\) from Laumon's \(1\)-motives \({\mathcal M}_{1}^{a,\text{fr}}\) to \(\text{FHS}_{1}^{\text{fr}}\subset \text{FHS}\) and proves the following theorem. Theorem. There is an equivalence of categories with involution \[ T_{\oint} : {\mathcal M}_{1}^{a,\text{fr}} \overset \cong \rightarrow \text{FHS}_{1}^{\text{fr}} \] between Laumon's \(1\)-motives and torsion free formal Hodge structures (of level \(\leq 1\)) providing a diagram \[ \begin{tikzcd} \mathcal M_1^{\mathrm{fr}} \rar["\cong"]\dar & \mathrm{MHS}_1^{\mathrm{fr}}\dar\\ \mathcal M_{1}^{a,\mathrm{fr}}\rar["\cong" '] & \mathrm{FHS}_1^{\mathrm{fr}} \end{tikzcd} \] where \(\bullet\) \({\mathcal M}_{1}^{\text{fr}}\hookrightarrow {\mathcal M}_{1}^{a,\text{fr}}\) and \(\text{MHS}_{1}^{\text{fr}}\hookrightarrow \text{FHS}_{1}^{\text{fr}}\) are canonical inclusions, \(\bullet\) \({\mathcal M}_{1}^{a,\text{fr}}\rightarrow {\mathcal M}_{1}^{\text{fr}}\) and \(\text{FHS}_{1}^{\text{fr}}\rightarrow \text{MHS}_{1}^{\text{fr}}\) are ``forgetful functors'' denoted \((\quad) \rightarrow (\quad)_{\text{ét}}\) which are left inverses of the inclusions, \(\bullet\) \(T_{\oint}(M)\) coincide with \(T_{\text{Hodge}}(M)\) if \(M=M_{\text{é}t}\) and, in general, we have a formula \[ T_{\oint}(M)_{\text{ét}} = T_{\text{Hodge}}(M_{\text{ét}}). \]