Abstract
We provide an algorithm for computing special values modulo \(p^n\) of Dwork’s p-adic hypergeometric functions whose complexity increases at most \(O(n^4(\log n)^3)\). This is based on an explicit description of the Frobenius action on the rigid cohomology of a hypergeometric curve \((1-x^N)(1-y^M)=t\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The referee pointed out to the author the recent article [Ke2], which almost solves the question completely (except the p-adic estimates on Frobenius). His approach is different from ours, more concise and maybe desirable.
- 2.
References
N. Archinard, Hypergeometric abelian varieties, Canad. J. Math. 55 (2003), 897–932.
Asakura. M.: New \(p\)-adic hypergeometric functions and syntomic regulators. arXiv.1811.03770.
Asakura, M. and Miyatani, K., Milnor \(K\)-theory, \(F\)-isocrystals and syntomic regulators. arXiv:2007.14255.
Asakura, M. and Otsubo, N.: CM periods, CM regulators and hypergeometric functions, I. Canad. J. Math. 70 (2018), 481–514.
F. Beukers, H. Cohen, and A. Mellit, Finite hypergeometric functions, Pure. Appl. Math. Q. 11 (2015), 559–589.
Beukers, F., Vlasenko, M.: Dwork crystals I, II. arXiv:1903.11155, arXiv:1907.10390.
Brent, R., Zimmermann, P.: Modern Computer Arithmetic. Cambridge Monographs on Applied and Computational Mathematics, 18. Cambridge University Press, Cambridge, 2011.
Coleman, R.: Dilogarithms, Regulators and \(p\)-adic \(L\)-functions. Invent. Math. 69 (1982), 171–208.
Dwork, B.: \(p\)-adic cycles. Publ. Math. IHES, tome 37 (1969), 27–115.
Emerton, M., Kisin, M.: An introduction to the Riemann-Hilbert correspondence for unit \(F\)-crystals. Geometric aspects of Dwork theory. Vol. I, II, 677–700, Walter de Gruyter, Berlin, 2004.
Hartshorne, R.: Algebraic Geometry. (Grad. Texts in Math. 52), Springer, 1977.
Kato, K.: Logarithmic structures of Fontaine-Illusie. Algebraic analysis, geometry, and number theory. Johns Hopkins University Press, Baltimore 1989, 191–224.
Katz, N. Internal reconstruction of unit-root \(F\)-crystals via expansion-coefficients. With an appendix by Luc Illusie. Ann. Sci. École Norm. Sup. (4) 18 (1985), no. 2, 245–285.
Kedlaya, K.: \(p\)-adic differential equations. Cambridge Studies in Advanced Mathematics, 125. Cambridge University Press, Cambridge, 2010.
Kedlaya, K.: Frobenius structures on hypergeometric equations, arXiv.1912.13073.
Kedlaya, K., Tuitman, J.: Effective convergence bounds for Frobenius structures on connections. Rend. Semin. Mat. Univ. Padova 128 (2012), 7–16.
Lauder, A.: Rigid cohomology and \(p\)-adic point counting. J. Théor. Nombres Bordeaux 17 (2005), no. 1, 169–180.
Lazda, C., Pál, A.: Rigid cohomology over Laurent series fields. Algebra and Applications, 21. Springer, [Cham], 2016. x+267 pp.
Van der Put, M., The cohomology of Monsky and Washnitzer. Introductions aux cohomologies \(p\)-adiques (Luminy, 1984). Mem. Soc. Math. France (N.S.) No. 23 (1986), 33–59.
Samol, K., van Straten, D.: Dwork congruences and reflexive polytopes. Ann. Math. Qué. 39 (2015), no. 2, 185–203.
Steenbrink, J.: Limits of Hodge structures Invent. Math. 31 (1976), no. 3, 229–257.
Le Stum, B.: Rigid cohomology. Cambridge Tracts in Mathematics, 172. Cambridge University Press, Cambridge, 2007. xvi+319 pp.
Mellit, A., Vlasenko, M.: Dwork’s congruences for the constant terms of powers of a Laurent polynomial. Int. J. Number Theory 12 (2016), no. 2, 313–321.
Zucker, S.: Degeneration of Hodge bundles (after Steenbrink). in Topics in transcendental algebraic geometry, 121–141, Ann. of Math. Stud., 106, Princeton Univ. Press, 1984.
Acknowledgements
The author would like to express sincere gratitude to Professors Alin Bostan and Kilian Raschel for encouraging the submission to this volume. He is also grateful to Professor Nobuki Takayama for the discussion on the bit complexity of the algorithm.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Asakura, M. (2021). Frobenius Action on a Hypergeometric Curve and an Algorithm for Computing Values of Dwork’s p-adic Hypergeometric Functions. In: Bostan, A., Raschel, K. (eds) Transcendence in Algebra, Combinatorics, Geometry and Number Theory. TRANS 2019. Springer Proceedings in Mathematics & Statistics, vol 373. Springer, Cham. https://doi.org/10.1007/978-3-030-84304-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-84304-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-84303-8
Online ISBN: 978-3-030-84304-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)