Hostname: page-component-848d4c4894-r5zm4 Total loading time: 0 Render date: 2024-06-17T08:49:19.720Z Has data issue: false hasContentIssue false

MILNOR K-THEORY, F-ISOCRYSTALS AND SYNTOMIC REGULATORS

Published online by Cambridge University Press:  08 June 2023

Masanori Asakura
Affiliation:
Department of Mathematics, Hokkaido University, Sapporo, 060-0810 Japan (asakura@math.sci.hokudai.ac.jp)
Kazuaki Miyatani*
Affiliation:
Faculty of Liberal Arts, Sciences and Global Education, Osaka Metropolitan University, Osaka, 599-8531 Japan

Abstract

We introduce a category of filtered F-isocrystals and construct a symbol map from Milnor K-theory to the group of 1-extensions of filtered F-isocrystals. We show that our symbol map is compatible with the syntomic symbol map to the log syntomic cohomology by Kato and Tsuji. These are fundamental materials in our computations of syntomic regulators which we work in other papers.

Type
Research Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

André, Y. and Baldassarri, F., De Rham cohomology of differential modules over algebraic varieties, in Progress in Mathematics vol. 189 (Birkhäuser, 2000).Google Scholar
Asakura, M., New $p$ -adic hypergeometric functions and syntomic regulators, Journal de Théorie des Nombres de Bordeaux, To appear.Google Scholar
Asakura, M. and Chida, M., A numerical approach toward the $p$ -adic Beilinson conjecture for elliptic curves over $\mathbb{Q}$ , Res. Math. Sci. 10 (2023), Article 11.10.1007/s40687-023-00374-2CrossRefGoogle Scholar
Atiyah, M. and Macdonald, I., Introduction to Commutative Algebra, Addison-Wesley Series in Math (Westview Press, Boulder, CO, 2016).Google Scholar
Baldassarri, F. and Berthelot, P., On Dwork cohomology for singular hypersurfaces, in Geometric Aspects of Dwork Theory (de Gruyter, 2004), 177244.10.1515/9783110198133.1.177CrossRefGoogle Scholar
Baldassarri, F. and Chiarellotto, B., Algebraic versus rigid cohomology with logarithmic coefficients, in Barsotti Symposium in Algebraic Geometry, Perspectives in Mathematics vol. 15 (Elsevier, 1994), 1150.10.1016/B978-0-12-197270-7.50007-3CrossRefGoogle Scholar
Bannai, K., Rigid syntomic cohomology and $p$ -adic polylogarithms, J. Reine Angew. Math. 529 (2000), 205237.Google Scholar
Bannai, K., On the $p$ -adic realization of elliptic polylogarithms for CM-elliptic curves, Duke Math. J. 113(2) (2002), 193236.10.1215/S0012-7094-02-11321-0CrossRefGoogle Scholar
Bannai, K., Syntomic cohomology as a $p$ -adic absolute Hodge cohomology, Math. Z. 242 (2002), 443480.10.1007/s002090100351CrossRefGoogle Scholar
Beilinson, A., On the derived category of perverse sheaves, in K-Theory, Arithmetic and Geometry, Lecture Notes in Mathematics vol. 1289 (Springer, 1987), 2741.10.1007/BFb0078365CrossRefGoogle Scholar
Beilinson, A., Bernstein, B. and Deligne, P., Faisceaux pervers, in Analyse et topologie sur les espaces singuliers I, Astérisque vol. 100 (1982).Google Scholar
Berthelot, P., Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$ , in Groupe de travail d’analyse ultramétrique, vol. 9, no. 3 (1981).Google Scholar
Berthelot, P., Finitude et pureté cohomologique en cohomologie rigide avec un appendice par Aise Johan de Jong, Invent. Math. 128 (1997), 329377.10.1007/s002220050143CrossRefGoogle Scholar
Berthelot, P., Cohomologie rigide et cohomologie rigide á supports propres, Première partie, Preprint, https://perso.univ-rennes1.fr/pierre.berthelot/.Google Scholar
Berthelot, P. and Ogus, A., Notes on Crystalline Cohomology (Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1978), vi+243.Google Scholar
Besser, A., Syntomic regulators and $p$ -adic integration I: Rigid syntomic regulators, Israel J. Math. 120 (2000), part B, 291334.10.1007/BF02834843CrossRefGoogle Scholar
Besser, A., Syntomic regulators and $p$ -adic integration II: ${K}_2$ of curves, Israel J. Math. 120 (2000), part B, 335359.10.1007/BF02834844CrossRefGoogle Scholar
Bloch, S. and Kato, K., $L$ -functions and Tamagawa numbers of motives, in P. Cartier, L. Illusie, N. M. Katz, G. Laumon, Y. I. Manin and K. A. Ribet (eds.) The Grothendieck Festscherift I, Progress in Mathematics vol. 86 (Boston, Birkhäauser, 1990), 333400.Google Scholar
Colmez, P., Fonctions $L\;p$ -adiques, in Séminaire Bourbaki, vol. 41 (1998/99), Astérisque No. 266 (2000), Exp. No. 851, 3, 2158.Google Scholar
Déglise, F. and Niziol, W., On $p$ -adic absolute Hodge cohomology and syntomic coefficients, I, Comment. Math. Helv. 93(1) (2018), 291334.10.4171/cmh/430CrossRefGoogle Scholar
Dwork, B., $p$ -adic cyles, Publ. Math. IHES vol. 37 (1969), 27115.10.1007/BF02684886CrossRefGoogle Scholar
Emerton, M. and Kisin, M., An introduction to the Riemann-Hilbert correspondence for unit $F$ -crystals, in Geometric Aspects of Dwork Theory vol. 1-2 (Walter de Gruyter, Berlin, 2004), 677700.10.1515/9783110198133.2.677CrossRefGoogle Scholar
Étesse, J.-Y., Images directes I: Espaces rigides analytiques et images directes, J. Théor. Nombres Bordeaux 24(1) (2012) 101151.10.5802/jtnb.790CrossRefGoogle Scholar
Faltings, G. and Chai, C.-L., Degeneration of Abelian Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) (Springer-Verlag, Berlin, 1990).10.1007/978-3-662-02632-8CrossRefGoogle Scholar
Fontaine, J.-M. and Messing, W., $p$ -adic periods and $p$ -adic etale cohomology, in Ribet, K. A. (ed.) Current Trends in Arithmetical Algebraic Geometry, Contemp. Math. vol. 67 (Amer. Math. Soc., Providence, 1987), 179207.Google Scholar
Gerkmann, R., Relative rigid cohomology and point counting on families of elliptic curves, J. Ramanujan Math. Soc. 23(1) (2008), 131.Google Scholar
Kato, K., The explicit reciprocity law and the cohomology of Fontaine-Messing, Bull. Soc. Math. France 119(4) (1991), 397441.10.24033/bsmf.2173CrossRefGoogle Scholar
Kato, K., On $p$ -adic vanishing cycles (application of ideas of Fontaine-Messing), in Algebraic Geometry (Sendai, 1985), Adv. Stud. Pure Math. 10 (Amsterdam, North-Holland, 1987), 207251.Google Scholar
Kato, K., Logarithmic structures of Fontaine-Illusie, in Algebraic Analysis, Geometry, and Number Theory (Johns Hopkins University Press, Baltimore 1989), 191224.Google Scholar
Lauder, A., Rigid cohomology and $p$ -adic point counting, J. Théor. Nombres Bordeaux 17(1) (2005), 169180.10.5802/jtnb.484CrossRefGoogle Scholar
Lazda, C., Incarnations of Berthelot’s conjecture, J. Number Theory 166 (2016), 135157.10.1016/j.jnt.2016.02.028CrossRefGoogle Scholar
Macarro, L. N., Division theorem over the Dwork–Monsky–Washnitzer completion of polynomial rings and Weyl algebras, in Rings, Hopf Algebras, and Bnauen Groups (CRC Press, 2020), 175191.10.1201/9781003071730-12CrossRefGoogle Scholar
Nekovář, J. and Niziol, W., Syntomic cohomology and $p$ -adic regulators for varieties over $p$ -adic fields, Algebra Number Theory 10(8) (2016), 16951790. With appendices by Laurent Berger and Frédéric Déglise.10.2140/ant.2016.10.1695CrossRefGoogle Scholar
NIST Handbook of Mathematical Functions, edited by Olver, F. W. J. , Lozier, D. W., Boisvert, R. F. and Clark, C. W. (Cambridge Univ. Press, 2010).Google Scholar
Perrin-Riou, B., Fonctions $L\;p$ -adiques des representations $p$ -adique, Astérisque 229 (1995).Google Scholar
Saito, M., Modules de Hodge polarisables, Publ. Res. Inst. Math. Sci. 24(6) (1988), 849995.10.2977/prims/1195173930CrossRefGoogle Scholar
Saito, M., Mixed Hodge modules, Publ. Res. Inst. Math. Sci. 26(2) (1990), 221333.10.2977/prims/1195171082CrossRefGoogle Scholar
Sasai, T., Monodromy representations of homology of certain elliptic surfaces, J. Math. Soc. Japan 26(2) (1974), 296305.10.2969/jmsj/02620296CrossRefGoogle Scholar
Shiho, A., Crystalline fundamental groups II – log convergent cohomology and rigid cohomology, J. Math. Sci. Univ. Tokyo 9(1) (2002), 1163.Google Scholar
Shiho, A., Relative log convergent cohomology and relative rigid cohomology I, arXiv:0707.1742.Google Scholar
Shiho, A., Relative log convergent cohomology and relative rigid cohomology III, arXiv:0805.3229.Google Scholar
Silverman, J., Advanced topics in the arithmetic of elliptic curves, in Graduate Texts in Mathematics vol. 151 (Springer-Verlag, New York, 1994).Google Scholar
Solomon, N., $p$ -adic elliptic polylogarithms and arithmetic applications, thesis, 2008.Google Scholar
Stum, B. L., Rigid Cohomology, Cambridge Tracts in Mathematics vol. 172 (Cambridge University Press, Cambridge, 2007), xvi+319.10.1017/CBO9780511543128CrossRefGoogle Scholar
Tsuji, T., $p$ -adic étale cohomology and crystalline cohomology in the semi-stable reduction case, Invent. Math. 137 (1999), 233411.10.1007/s002220050330CrossRefGoogle Scholar
Tsuji, T., On $p$ -adic nearby cycles of log smooth families, Bull. Soc. Math. France. 128 (2000), 529575.10.24033/bsmf.2381CrossRefGoogle Scholar
Tsuzuki, N., On the Gysin isomorphism of rigid cohomology, Hiroshima Math J. 29(3) (1999), 479527.10.32917/hmj/1206124853CrossRefGoogle Scholar
Tsuzuki, N., On base change theorem and coherence in rigid cohomology, Doc. Math. (2003), 891–918.Google Scholar