中文

相对动机导出范畴上的 Hodge 实现函子

代数几何 2022-01-26 v9

摘要

对于复代数簇 SS,我们给出一个从可构造动机导出范畴 DAc(S)DA_c(S)SS 上代数混合 Hodge 模导出范畴 D(MHM(S))D(MHM(S)) 的 Hodge 实现函子 FSHdg\mathcal F_S^{Hdg}。此外,对于 f:TSf:T\to S 为复拟射影代数簇的态射,FHdg\mathcal F_{-}^{Hdg}DAc()DA_c(-)D(MHM())D(MHM(-)) 上的四运算 ff^*ff_*f!f_!f!f^! 交换,使得 Hodge 实现函子成为 2-函子的态射,其对给定 SSDAc(S)DA_c(S) 映至 D(MHM(S)D(MHM(S),且 FSHdg\mathcal F_S^{Hdg} 与张量积交换。我们还给出一个代数与解析的 Gauss-Manin 实现函子,由此得到代数 De Rham 上同调的基变换定理,并对所有光滑态射得到 Grothendieck 关于代数 De Rham 上同调与解析 De Rham 上同调比较定理的相对版本。

关键词

引用

@article{arxiv.2007.02446,
  title  = {The Hodge realization functor on the derived category of relative motives},
  author = {Johann Bouali},
  journal= {arXiv preprint arXiv:2007.02446},
  year   = {2022}
}