arXiv subjects
Publications and source records attributed to Kazuaki Miyatani.
We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on syntomic regulators which we work in other papers.
We prove that the arithmetic $\mathscr{D}$-modules associated with the $p$-adic generalized hypergeometric differential operators, under a $p$-adic non-Liouvilleness condition on parameters, are described as an iterative multiplicative convolution of (hypergeometric arithmetic) $\mathscr{D}$-modules of rank one. As a corollary, we prove the overholonomicity of hypergeometric arithmetic $\mathscr{D}$-modules under a $p$-adic non-Liouvilleness condition.
We give an explicit description of a syntomic regulator of a certain class of fibrations which we call hypergeometric fibrations. The description involves hypergeometric functions.
We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters have a structure of overconvergent $F$-isocrystals.
We prove the finiteness of crystalline cohomology of higher level. An important ingredient is a "higher de Rham complex" and a kind of Poincaré lemma for it.
A general method to express in terms of Gauss sums the number of rational points of subschemes of projective schemes over finite fields is applied to the image of the triple embedding $\mathbb{P}^1\hookrightarrow\mathbb{P}^3$. As a consequence, we obtain a non-trivial description of the value of a Kloosterman-sum-like exponential sum.
The purpose of this article is to give an explicit description, in terms of hypergeometric functions over finite fields, of zeta function of a certain type of smooth hypersurfaces that generalizes Dwork family. The point here is that we count the number of rational points employing both character sums and the theory of weights, which enables us to enlighten the calculation of the zeta function.
Le Stum and Quirós proved the formal Poincaré lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version of the formal Poincaré lemma modulo p. Provided that each term of the log. jet complex is locally free, it gives the logarithmic version of the de Rham interpretation of the crystalline cohomology of higher level.