Abstract
A comparison theorem between exponentially twisted de Rham cohomology and rigid cohomology with coefficients in a Dwork crystal is proved.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
0.1
Cohomology groups with exponential twists. Let \(k\) be a field. Let \(f:X \rightarrow {\textbf{A}}^{1}_{k}\) be a morphism of algebraic varieties over \(k\). Depending upon what \(k\) is, one can consider the following realizations of the “exponential motive” (in the sense of Fresán–Jossen [22]) associated with the function \(f\).
-
1.
Betti realization. When \(k\) is the field \({\textbf{C}}\) of complex numbers, one can consider the relative singular cohomology \(\textrm{H}^{\bullet }(X^{\textrm{an}},f^{-1}(t)^{\textrm{an}};R)\) (here \(R\) is the ring of coefficients, \(t\in {\textbf{C}}\) and \(|t|\) is sufficiently large, in fact any typical valueFootnote 1 of \(f\) will do). The Betti realization has an integral structure.
-
2.
De Rham realization. For an arbitrary \(k\), one can consider the exponentially twisted de Rham cohomology \(\textrm{H}^{\bullet }_{\textrm{DR}}(X;\nabla _f)\), where \(\nabla _f\) is the integrable connection on the trivial module \({\mathcal {O}}_{X}\) defined by \(\nabla _f(h) = \textrm{d}h + h \textrm{d}f\). It should be brought to the reader’s attention that the connection \(\nabla _{f}\) has irregular singularity, thus does not fit into the picture of [15]. When \(k = {\textbf{C}}\), and when the Betti cohomology is taken \(R={\textbf{C}}\) as its coefficient ring, it is known that the cohomology groups in (1) and (2.) are isomorphic. This theorem could be attributed to Deligne–Malgrange [14, pp. 79, 81, 87] (idea: reduce the problem to \({\textbf{A}}^1\) and use the fact there are two Stokes sectors), Dimca–Saito (the upshot is [17, Proposition 2.8], the idea is to use the “canonical” algebraic extension of a meromorphic connection on a punctured disk to \({\textbf{G}}_{\textrm{m}}\), as explained in [29, I (4.5)]), and Sabbah [36, Theorem 1.1].
-
3.
Rigid analytic de Rham realization. When \(k\) is a field equipped with a complete ultrametric, one can consider the rigid analytic version of the twisted de Rham cohomology \(\textrm{H}_{\textrm{DR}}^{\bullet }(X^{\textrm{an}};\nabla _{f})\). When \(k\) is of characteristic \(0\), it follows from the André–Baldassarri comparison theorem [2, Theorem 6.1] that (2.) and (3.) are isomorphicFootnote 2. Note that the complex analytic version of this result is false even in the simplest situation \(X = {\textbf{A}}^1\), \(f= \textrm{Id}\), since \(\nabla _f\) has irregular singularity at infinity (indeed, the complex analytification of \(\nabla _f\) is isomorphic to the trivial connection: \(\nabla _{f}^{\textrm{an}}=\textrm{e}^{-f} \circ \textrm{d} \circ \textrm{e}^{f}\)).
-
4.
\(\ell \)-adic realization. Assume that \(k\) is a finite field of characteristic \(p>0\). Fix a nontrivial additive character \(\psi :k \rightarrow {\textbf{C}}^{*}\), and an algebraic closure \(k^{\textrm{a}}\) of \(k\). Let \(k_m\) be the subfield of \(k^{\textrm{a}}\) such that \([k_m:k]=m\). One can consider the L-series associated with the exponential sums defined by \(f\):
$$\begin{aligned} S_{m}(f) = \sum _{x \in X(k_m)} \psi ({\text {Tr}}_{k_m/k}f(x)); \quad L_f(t) = \exp \left\{ \sum _{m=1}^{\infty } \frac{S_m}{m}t^{m} \right\} . \end{aligned}$$By a theorem of Grothendieck, this L-series is the (super) determinant of the Frobenius operation on a twisted \(\overline{{\textbf{Q}}}_{\ell }\)-étale cohomology theory.
-
5.
Crystalline realization. When \(k\) is a perfect field of characteristic \(p > 0\), one can consider the rigid cohomology \(\textrm{H}^{\bullet }_{\textrm{rig}}(X/K;f^{*}{\mathcal {L}}_{\pi })\), or rigid cohomology with compact support \(\textrm{H}^{\bullet }_{\textrm{rig,c}}(X/K;f^{*}{\mathcal {L}}_{\pi }^{\vee })\). Here, \({\mathcal {L}}_{\pi }\) is a certain overconvergent isocrystal on \({\textbf{A}}^{1}_k\) called “Dwork isocrystal”, and \({\mathcal {L}}_{\pi }^{\vee }\) its dual isocrystal. The two cohomology groups are related by Poincaré duality for rigid cohomology with twisted coefficients. By a theorem of Etesse and Le Stum [21] (see also [4]), the compactly supported rigid cohomology admits a Frobenius operation which, when \(k\) is finite, could determine the L-series as in Item (4.).
In these notes, we shall prove a comparison theorem between (0.1/2.) and (0.1/5.), thus building a bridge between topology and arithmetic.
To state the result, let us set up some notation.
-
Let \(X\) be a smooth scheme over a finitely generated \({\textbf{Z}}\)-algebra \(R\) of characteristic \(0\) which is an integral domain. Let \(f:X \rightarrow {\textbf{A}}^{1}_{R}\) be a morphism. Let \(\sigma :R \rightarrow {\textbf{C}}\) be any embedding of \(R\) into the field \({\textbf{C}}\) of complex numbers.
-
For each maximal prime \({\mathfrak {p}}\) of \(R\), let \(\kappa ({\mathfrak {p}})\) be the residue field of \({\mathfrak {p}}\), let \(K_{{\mathfrak {p}}}\) be the field of fractions of \(W(\kappa ({\mathfrak {p}}))[\zeta _p]\), the ring of Witt vectors of \(\kappa ({\mathfrak {p}})\) with \(p _{th}\) roots of unity adjoined.
-
For an \(R\)-algebra \(R^{\prime }\), we still use \(f\) to denote the morphism \(X_{R^{\prime }} = X \times _R {\text {Spec}}(R^{\prime })\rightarrow {\textbf{A}}^{1}_{R^{\prime }}\).
The most accessible statement of our result is the following.
Theorem 0.2
There is a dense Zariski open subset \(U\) of \(\textrm{Spec}(R)\) such that for any closed point \({\mathfrak {p}} \in U\), any integer \(m\), the \(K_{{\mathfrak {p}}}\)-dimension of the rigid cohomology \(\textrm{H}_{\textrm{rig}}^{m}(X_{\kappa ({\mathfrak {p}})} /K_{{\mathfrak {p}}};f^{*}{\mathcal {L}}_{\pi })\) equals the complex dimension of the complex vector space \(\textrm{H}^{m}_{\textrm{DR}}(X\times _{R,\sigma } {\text {Spec}}({\textbf{C}});\nabla _f)\).
In the main text, we shall give a precise condition on which \({\mathfrak {p}}\) is good for the comparison theorem to hold based on ramifications of \(f\) at infinity. The place \({\mathfrak {p}}\) is good, if the reduction of \(f\) modulo \({\mathfrak {p}}\) does not have wild ramifications at infinity. See Theorem 3.18.
We shall also prove a version of Theorem 0.2 comparing the algebraic Higgs cohomology associated with \(f\) and an overconvergent Higgs cohomology. See Proposition 6.4. This latter comparison theorem has significant weaker restrictions on the shape of \(f\).
When \(X\) is an open subspace of \({\textbf{P}}^{1}\), the theorem is due to Phillepe Robba [34]. When \(X\) is a curve, the theorem is a simple corollary of Joe Kramer-Miller’s theorem [26, Theorem 1.1]. It is also a consequence of the Grothendieck–Ogg–Shafarevich formula for isocrystals (one can either compute local indices directly and apply Christol–Mebkhout [9, Théoréme 5.0–10], or use the “irregularity = Swan conductor” theorem of Matsuda [31], Tsuzuki [38], and Crew [12] together with the fact that the Swan conductor an Artin–Schreier representation is 1), and the vanishing of \(\textrm{H}^{0}\).
Theorem 0.2 (or rather its stronger version, Theorem 3.18) is desirable, because it seems that in the literature, the methods used to study exponential sums are either toric in nature, or only applicable to “tame” functions (e.g., Newton nondegenerate Laurent polynomials, or Newton nondegenerate and convenient polynomials), whereas Theorem 3.18 is unconditional. In practice, Theorem 3.18 allows us to calculate the dimension of the rigid cohomology, hence the degree of the L-series, using topological methods. See §5 for some concrete examples. Here we only explain one general procedure for producing examples on which Theorem 0.2 is applicable.
Example 0.3
(Katz’s situation) Let \(P\) be a smooth projective variety of pure dimension \(n\) over a number field \({\textbf{K}}\). Let \({\mathcal {L}}_{1},\ldots ,{\mathcal {L}}_{r}\) be invertible sheaves on \(P\). Suppose we are given sections \(s_{i} \in \textrm{H}^{0}(X,{\mathcal {L}}_{i})\) of these invertible sheaves such that the zero loci \(D_{i} = \{s_i=0\}\) form a divisor with strict normal crossings.
Let \(X = P {{\textbf {-}}\!{\textbf {-}}} \bigcup _{i=1}^{r}D_{i}\). Let \(s_0 \in \textrm{H}^{0}(X;{\mathcal {L}}_{1}^{e_1} \otimes \cdots \otimes {\mathcal {L}}_{r}^{e_r})\), and \(s_{\infty } = s_{1}^{e_1} \cdots s_{r}^{e_r}\). Assume that \(X_0=\{s_0=0\}\) is a smooth subvariety of \(P\). Write \(X_{\infty } = \{s_{\infty }=0\}\) be the vanishing divisor of \(s_{\infty }\).
Then \(f(x) = s_0(x)/s_{\infty }(x)\) is a well-defined regular function on \(X\). We assume in addition the divisor \(X_0=\{s_0 = 0\}\) is transverse to all the intersections \(D_{i_1} \cap \cdots \cap D_{i_m}\).
If \({\mathfrak {p}}\) is a prime of \({\mathcal {O}}_{{\textbf{K}}}\) such that
-
1.
the logarithmic pairs \((P,X_{\infty })\) and \((X_0,X_0 \cap X_{\infty })\) all have good reductions at \({\mathfrak {p}}\), and
-
2.
the residue characteristic of \({\mathfrak {p}}\) does not divide \(e_1\cdots e_r\),
then Theorem 0.2 (for the function \(f:X \rightarrow {\textbf{A}}^{1}\)) is valid at \({\mathfrak {p}}\). Moreover, if \(\bigotimes _{i=1}^{r}{\mathcal {L}}^{\otimes e_i}\) is ample, then the rigid cohomology is nonzero in degree \(n\) only.
For more details, we refer the reader to Corollary 4.6.
0.4
Previously known theorems about degrees of L-series
-
(a)
\(\ell \)-adic theorems. When \(k\) is a finite field, and when \(X = {\textbf{G}}_{\textrm{m}}^{n}\), Denef and Loeser studied the étale cohomology appeared in (0.1/4.). They showed that [16, Theorem 1.3] if \(f\) is “nondegenerate with respect to its Newton polyhedron at infinity”, then the twisted étale cohomology is acyclic except in degree \(n\), and the Frobenius eigenvalues are pure of weight \(n\). In general, they were able to show that the Euler characteristic of the étale cohomology agrees with the Euler characteristic of the algebraic de Rham cohomology (0.1/2.) defined by a Teichmüller lift of \(f\) (the combinatorial formulas for both theories match). In Katz’s situation (0.3), assuming the invertible sheaves \({\mathcal {L}}_{i}\) are ample, the étale cohomology associated with the exponential sums of the function \(g\) was studied by Katz, see [23, Theorem 5.4.1]. In this case, he proved the L-series is a polynomial or a reciprocal of a polynomial, whose degree can be calculated using Chern classes. We could also deduce these results from Theorem 0.2.
-
(b)
p-adic theorems. When \(k\) is a finite field and \(X = {\textbf{G}}_{\textrm{m}}^{n} \times {\textbf{G}}_{\textrm{a}}^{m}\), the \(p\)-adic properties of the L-series were studied by E. Bombieri [6], and later greatly expanded by A. Adolphson and S. Sperber [1]. The studies of Adolphson and Sperber are based on Dwork’s works [19, 20], and methods from singularity theory and toric geometry. The upshot is that Adolphson and Sperber introduced a complex of \(p\)-adic Banach spaces, and an operator \(\alpha \) with trace acting on the complex, such that the hyper-determinant of \(\alpha \) gives rise to the L-series of the exponential sum. Moreover, when the function \(f\) is “nondegenerate and convenient”, Adolphson and Sperber proved that the cohomology spaces of this complex are finite dimensional, and concentrated in a single cohomological degree. The dimensions of these cohomology spaces are the same as the algebraic de Rham cohomology spaces.
Even when the exponential sum is defined on \({\textbf{G}}_{\textrm{m}}^n\times {\textbf{G}}_{\textrm{a}}^{m}\), Theorem 3.18 could imply results that cannot be deduced from the classical theorems, as it could handle Newton-degenerate functions. See Example 5.1 for a (trivial) illustration and Example 5.2 for two more complicated cases.
Remark 0.5
The Dwork–Bombieri–Adolphson–Sperber complex is similar to the complex computing the rigid cohomology (0.1/5.), and the former maps into the latter naturally. Their differences can be summarized as follows
-
the Dwork–Bombieri–Adolphson–Sperber complex is a complex of Banach spaces, whereas the complex computing rigid cohomology is a complex of ind-Banach spaces, and is never Banach;
-
the Dwork–Bombieri–Adolphson–Sperber complex should be thought of as a twisted de Rham complex on a rigid analytic subspace of a toric variety, but the rigid cohomology is defined via a complex on the rigid analytic torus (as a dagger space);
-
the finiteness of Dwork–Bombieri–Adolphson–Sperber cohomology does not seem to be known beyond the Newton nondegenerate case (if the exponential sum is defined on a 1-dimensional torus, its finiteness may be recovered using a similar technique we use in these notes); the rigid cohomology of an exponential sum is always finite dimensional (special case of a general theorem of Kedlaya [25]).
We note that a comparison theorem between a dagger variant of Adolphson–Sperber cohomology and rigid cohomology has been proven by Peigen Li [28].
0.6
About the proof. The strategy is to reduce the problems to \({\textbf{A}}^1\) via taking direct images, and then use the theory of \(p\)-adic ordinary differential equations to deal with the problems on \({\textbf{A}}^1\). There are two major inputs, namely Christol and Mebkhout’s characterization of “\(p\)-adic regular singularity” [8], and Robba’s index computation using radii of convergence [34]. It should also be obvious that many of the arguments we present below are influenced by Baldassarri [3], and Chiarellotto [7].
In Sect. 1 we recall the notion of radius of convergence of a differential module. In Sect. 2 we explain how to use Robba’s index theorem to make local calculations. In Sect. 3 we globalize the results of Sect. 2 and prove the main theorem. Section 5 contains some examples. The last section discusses the Higgs variant of Theorem 0.2.
2 Radii of convergence
This section reviews the notion of radius of convergence of a differential module. We also recall a few basic results, well-known to experts, that we will be using later.
1.1
Notation. In this section we fix the following notation.
-
Let \(K\) be a complete ultrametric field of characteristic \(0\). Assume that the residue field of \(K\) is of characteristic \(p > 0\). Let \(\pi \) be an element of \(K\) satisfying \(\pi ^{p-1}+p=0\). The field \(K\) is the “base field” where spaces are defined.
-
Let \(\Omega \) be an algebraically closed complete ultrametric field containing \(K\), such that \(|\Omega | = {\textbf{R}}_{\ge 0}\). Assume that the residue field \(\Omega \) is a transcendental extension of the residue field of \(K\). The field \(\Omega \) plays an auxiliary role which will give the so-called “generic points” to geometric objects.
-
Let \(I\) be a connected subset of \({\textbf{R}}_{\ge 0}\). Let \(\Delta _{I}\) be the rigid analytic space whose underlying set is
$$\begin{aligned} \{x \in K^{\textrm{alg}}: |x| \in I\}. \end{aligned}$$Let \({\textbf{D}}^{\pm }(x;r)\) be the rigid analytic space whose underlying set is the open/closed disk of radius \(r\) centered at \(x \in K\). We use \({\mathcal {O}}\) to denote the sheaf of rigid analytic functions on these spaces.
-
In addition to the rigid analytic spaces above, we also consider their extensions to \(\Omega \). Let \(\Delta _{I,\Omega }\) be the analytic space over \(\Omega \) whose points are \(\{x \in \Omega : |x| \in I\}\). Similarly, for each \(\xi \in \Omega \) and \(r \in {\textbf{R}}_{\ge 0}\), define \({\textbf{D}}_{\Omega }^{+}(\xi ;r) = \{x \in \Omega : |x - \xi | \le r\}\), and \({\textbf{D}}_{\Omega }^{-}(\xi ,r) = \{x \in \Omega : |x - \xi | < r\}\).
-
By a “differential module” over \(\Delta _{I}\) or \({\textbf{D}}^{\pm }(a;r)\), we shall mean a finite free \({\mathcal {O}}\)-module \({\mathcal {E}}\) over \(\Delta _{I}\) or \({\textbf{D}}^{\pm }(a;r)\) equipped with an integrable connection.
-
The \(\rho \)-Gauss norm on \(K[x]\) is
$$\begin{aligned} \textstyle \left| \sum \limits _{i\in {\textbf{N}}} a_i x^i \right| _{\rho } = \sup \{|a_i| \rho ^i: i \in {\textbf{N}}\}. \end{aligned}$$It extends to the field \(K(x)\) of rational functions naturally. For \(\rho \in {\textbf{R}}_{>0}\), denote by \(F_{\rho }\) the completion \(K(x)\) with respect to the \(\rho \)-Gauss norm \(|\cdot |_{\rho }\). It turns out that \(F_{\rho }\) is also a complete ultrametric field, and carries a continuous extended derivation \(\textrm{d}/\textrm{d}x\).
-
A differential module over \(F_{\rho }\) is a finite dimensional \(F_{\rho }\)-vector space \(V\) equipped with an \(K\)-linear map \(D:V \rightarrow V\), such that for any \(a \in F_{\rho }\), any \(v \in V\), the Leibniz rule \(D(av) = \frac{\textrm{d}a}{\textrm{d}x}v + a D(v)\) holds. It follows that \(D\) is automatically continuous.
Remark 1.2
(From \({\mathcal {O}}\)-modules to \(F_{\rho }\)-modules) Let \(I \subset {\textbf{R}}_{\ge 0}\) be an interval. Let \(\rho > 0\) be an element in \(I\). Then there is a natural continuous homomorphism
such that \(|\varphi (f)|_{\rho } = |f|_{\rho }\).
To construct the homomorphism, first assume \(I=[a,b]\) is a closed interval. Then each rigid analytic function \(f\) on \(\Delta _{I}\) could be written as
such that \(|c_n| b^{n} \rightarrow 0\) as \(n \rightarrow +\infty \), and \(|c_n| a^{n} \rightarrow 0\) as \(n \rightarrow -\infty \). In particular, \(|c_n| \rho ^n \rightarrow 0\) as \(n \rightarrow \pm \infty \). Set \(P_N(x) = \sum _{|n| \le N} c_n x^{n} \in K(x)\). Then \(P_{N} \rightarrow f\) with respect to the supremum norm of \({\mathcal {O}}(\Delta _{I})\). The condition that \(|c_n| \rho ^n \rightarrow 0\) implies that \((P_{N})_{N=1}^{\infty }\) is a Cauchy sequence with respect to the \(\rho \)-Gauss norm on \(K(x)\). Hence \(\lim _{N\rightarrow +\infty } P_{N}\) exists in \(F_{\rho }\). We define this element to be \(\varphi _{\rho }(f)\).
In general, we choose an interval \([a,b] \subset I\) containing \(\rho \) and define \(\varphi _{\rho }(f) = \varphi _{\rho }(f|_{\Delta _{[a,b]}})\). One checks that this definition satisfies the required properties.
Thus, if \(N\) is a free \({\mathcal {O}}\)-module on \(\Delta _{I}\) for some connected \(I \subset {\textbf{R}}_{\ge 0}\), \(\rho \in I\), then the pullback \(V=N \otimes _{{\mathcal {O}}(\Delta _{I}),\varphi _{\rho }} F_{\rho }\) gives rise to a differential module over \(F_{\rho }\), with \(D(n)=\nabla _{\frac{\textrm{d}}{\textrm{d}x}}n\) for any \(n \in N\). For simplicity we shall write this tensor product simply by \(V=N \otimes _{{\mathcal {O}}}F_{\rho }\).
Definition 1.3
Let \(V\) be a vector space over \(F_{\rho }\) equipped with a norm \(|\cdot |\). Recall that the operator norm of an operator \(T\) on \(V\) is defined to be \(|T|_{V} = \sup _{v\in V{{\textbf {-}}\!{\textbf {-}}} \{0\}} |T(v)|/|v|\); and the spectral radius of \(T\) to be the quantity
The operator norm of \(T\) certainly depends upon the norm, but two equivalent norms determine the same spectral radius [24, Proposition 6.1.5].
Let \(V\) be a differential module over \(F_{\rho }\). Then the radius of convergence of \(V\) is
For \(0<r<1\), we say a differential module \(M\) over \(\Delta _{[{r,1}[}\) or \(\Delta _{]{r,1}[}\) is overconvergent (or solvable at \(1\)) if \(\lim _{\rho \rightarrow 1^{-}}\rho ^{-1}\textrm{R}(M\otimes F_{\rho }) = 1\).
Example 1.4
The spectral radius of the trivial differential module \((F_{\rho },\textrm{d}/\textrm{d}x)\) equals \(|\pi |\rho ^{-1}\). Thus its radius of convergence equals \(\rho \). As the spectral radius of a differential module \(V\) is bigger than or equal to that of \(\textrm{d}/\textrm{d}x\) [24, Lemma 6.2.4], we know that the radius of convergence of any differential module over \(F_{\rho }\) is in the range \(]{0, \rho }]\).
The terminology “radius of convergence” comes from the so-called “Dwork transfer theorem”, which we record below.
Theorem 1.5
(Dwork) Let \(M\) be a differential module over \(\Delta _{I}\) of rank \(n\). Let \(\rho \in I\). Then the following two conditions are equivalent.
-
1.
The radius of convergence of \(M \otimes _{{\mathcal {O}}}F_{\rho }\) is \(R\).
-
2.
For any \(\xi \in \Delta _{\{\rho \},\Omega }\), the restriction of \(M\) to the open disk \({\textbf{D}}_{\Omega }^{-}(\xi ;R)\) has \(n\) linearly independent horizontal sections.
Proof
The proof of (1) \(\Rightarrow \) (2) is [24, Theorem 9.6.1]. Here the variable \(t\) used by Kedlaya is \(t-\xi \) in our context, and the differential module considered by Kedlaya is the restriction of \(M\) to the open disk (thus the connection matrix automatically has entries in the ring of analytic elements, fulfilling the hypothesis of the cited theorem).
The proof of (2) \(\Rightarrow \) (1) is [24, Proposition 9.7.5]. Here it is important to note that we should consider the field \(\Omega \) instead of \(K\) itself, so that we have enough “generic points” available. \(\square \)
The “most” convergent differential modules over \(\Delta _{I}\) are said to satisfy the “Robba condition”. These modules should be thought of as the correct \(p\)-adic analogues of differential modules with regular singularities over a punctured disk. See Remark 1.9.
Definition 1.6
Let \(M\) be a differential module over \(\Delta _{I}\). \(M\) is said to satisfy the Robba condition if for any \(\rho \in I\), the differential module \(M\otimes _{{\mathcal {O}}}F_{\rho }\) has radius of convergence equal to \(\rho \).
Lemma 1.7
Let \(M\) be a differential module over \(\Delta _{I}\) satisfying the Robba condition. Then any subquotient differential module of \(M\) satisfies the Robba condition.
Proof
This lemma should be well-known. Let us nevertheless provide the proof for the convenience of the reader.
Let \(x_0\) be a point of \(\Delta _{I,\Omega }\). Let \(M^{\prime \prime }\) be a quotient of \(M\). Then the horizontal basis of \(M|_{{{\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)}}\) is sent to a set of horizontal sections of \(M^{\prime \prime }\) which necessarily generate \(M^{\prime \prime }|_{{{\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)}}\). This implies that \(M^{\prime \prime }|_{{{\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)}}\) is trivial.
Let \(M^{\prime }\) be a differential submodule of \(M\). Now put \(M^{\prime \prime }=M/M^{\prime }\). Since
is surjective, and since both \(M\) and \(M^{\prime \prime }\) are trivial differential modules over \({\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)\), the dimension of horizontal sections of \(M^{\prime }\) over \({\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)\) equals the rank of \(M^{\prime }\), i.e., \(M^{\prime }\) is trivial on \({\textbf{D}}_{\Omega }^{-}(x_0;|x_0|)\). \(\square \)
Finally, we quote a theorem due to Christol and Mebkhout [8]. See also [18] and [24, Theorem 13.7.1].
Theorem 1.8
(Christol–Mebkhout) Let \(M\) be a differential module over \(\Delta _{[{0,1}[}\). Assume that there exists a basis \(e_1,\ldots ,e_n\) of \(M\) such that
-
the entries of the matrix representation \(\eta \) of \(\nabla _{t\frac{\textrm{d}}{\textrm{d}t}}\) with respect to this basis belong to \({\mathcal {O}}({\textbf{D}}^{-}(0;1))\),
-
\(M\) is overconvergent (see Definition 1.3), and
-
the eigenvalues of \(\eta (0)\) belong to \({\textbf{Z}}_{p} \cap {\textbf{Q}}\).
Then there exists a basis of \(M\) under which the matrix of \(\nabla _{t\frac{\textrm{d}}{\textrm{d}t}}\) has entries in \({\textbf{Z}}_{p}\). Moreover, \(M\) satisfies the Robba condition.
Remark 1.9
Let \(K\) be a field of characteristic \(0\). Let \(\Sigma \subset {\textbf{A}}^{1}_{K}\subset {\textbf{P}}^{1}_{K}\) be a finite subset of \(K\)-rational points. Let \(({\mathcal {E}},\nabla )\) be an algebraic integrable connection on \({\textbf{A}}^{1}_{K}{{\textbf {-}}\!{\textbf {-}}}\Sigma \) which has regular singularity near \(\infty \).
Since \({\mathcal {E}}\) is regular at \(\infty \), there is a basis of \({\mathcal {E}}\) (as an \({\mathcal {O}}_{{\textbf{A}}^{1}_{K}{{\textbf {-}}\!{\textbf {-}}}\Sigma }\)-Module), such that under this basis, the entries of the matrix \(\eta \) of \(\nabla _{t\frac{\textrm{d}}{\textrm{d}t}}\) are without poles along \(\infty \). Such bases are called “saturated bases” in the theory of algebraic ordinary differential equations. The eigenvalues value of \(\eta (0)\) are called the exponents of \(({\mathcal {E}},\nabla )\) near \(\infty \). These exponents certainly depend on the choice of the saturated basis mentioned above. But exponents under different choices of saturated bases will only differ by integers. If \(\alpha \) is an exponent of \(({\mathcal {E}},\nabla )\) near \(\infty \), and \(\iota :{\overline{K}} \rightarrow {\textbf{C}}\) is an embedding of \({\overline{K}}\) into \({\textbf{C}}\), then \(\exp (-2\pi \sqrt{-1}\iota (\alpha ))\) are the eigenvalues of the monodromy operators (around \(\infty \)) of \(({\mathcal {E}},\nabla )\) regarded as complex integrable connections.
In this paper, \(({\mathcal {E}},\nabla )\) will arise as Gauss–Manin connections of some function \(f:X\rightarrow {\textbf{A}}^{1}_{K}\), thus their monodromy eigenvalues are roots of unity, and the exponents are all rational numbers. Theorem 1.8 tells us that,
-
if \(K\) is a field equipped with a complete ultrametric whose residue characteristic is \(p>0\),
-
if \(|x| \le 1\) for any point \(x \in \Sigma \),
-
if the exponents of \(({\mathcal {E}},\nabla )\) are in \({\textbf{Q}}\cap {\textbf{Z}}_{p}\), and
-
if \(({\mathcal {E}}^{\textrm{an}}|_{\Delta _{]{1, \infty }[}},\nabla )\) is overconvergent,
then \(({\mathcal {E}}^{\textrm{an}}|_{\Delta _{]{1,\infty }[}},\nabla )\) will satisfy the Robba condition. Here \(\Delta _{]1,\infty [}\) can be identified with the punctured disk centered at \(\infty \) of radius \(1\).
3 Indices of differential modules
In this section, we use the notion of radii of convergence and Robba’s index theorem to prove some cohomology groups are zero. The notation and conventions made in Paragraph 1.1 are still enforced in this section.
Lemma 2.1
Let \(N\) be a differential module over \(\Delta _{[a,b]}\). Assume that there exists \(a \le \rho \le b\) such that the radius of convergence of any differential submodule of \(N\otimes F_{\rho }\) is \(<\rho \). Then \(\textrm{H}_{\textrm{DR}}^0(\Delta _{[a,b]};N) = \{0\}\).
Proof
Let \(N^{\prime }\) be the \({\mathcal {O}}\)-submodule of \(N\) generated by horizontal sections of \(N\). Since \({\mathcal {O}}(\Delta _{[a,b]})\) is noetherian, \(N^{\prime \prime }\) is finitely generated, and is equipped with a trivial connection. It follows that \(N^{\prime }\) is a finite free differential module over \(\Delta _{[a,b]}\), say of rank \(r\). Thus \(N^{\prime }\otimes _{{\mathcal {O}}} F_{\rho }\) is a trivial differential submodule of \(N\otimes _{{\mathcal {O}}} F_{\rho }\) of rank \(r\). Being trivial, \(N^{\prime }\otimes _{{\mathcal {O}}}F_{\rho }\) has radius of convergence equal to \(\rho \). The hypothesis then implies that \(r = 0\), in other words, \(N^{\prime } = 0\) and \(\textrm{H}^{0}_{\textrm{DR}}(\Delta _{[a,b]};N)=\{0\}\). \(\square \)
We give a simple calculation of the radius of convergence.
Example 2.2
Let \(L\) be the differential module on \(\Delta _{]{0, 1[}}={\textbf{D}}^{-}(0;1){{\textbf {-}}\!{\textbf {-}}} \{0\}\) defined by the system
Then for any \(0< \rho < 1\), the radii of convergence of both \(L\) and its dual are equal to \(\rho ^2 <\rho \).
Proof
(Proof (cf. [34, §5.4.2])) Let \(t \in \Omega \) be a any point of radius \(\rho \). Let \(x = t + y\). A horizontal section of the differential system is given by \(\exp \left( -\pi \left( \frac{1}{t+y} - \frac{1}{t} \right) \right) \). The Taylor series for \(\frac{1}{t+y} - \frac{1}{t}\) at \(y = 0\) is
For each \(r < \rho \), the \(r\)-Gauss norm of this Taylor series equals
Thus \(\exp \left( \pi \left( \frac{1}{t+y} - \frac{1}{t} \right) \right) \) converges for \(y\) in the open disk \({\textbf{D}}^{-}(0;r)\) where \(r < \rho ^2\).
We claim that \(u(y)=\exp \left( \pi \left( \frac{1}{t+y} - \frac{1}{t} \right) \right) \) diverges for some \(y\) satisfying \(|y|=\rho ^{2}\).
Indeed, write \(\frac{1}{t+y}-\frac{1}{t}\) as \(\frac{1}{t^2}y + h(y)\). Then \(|h(y)|_{\rho ^{2}} < 1\) and \(\exp \left( -\pi h(y)\right) \) is convergent for all \(y \in \Omega \) such that \(|y|=\rho ^{2}\). It follows that
is convergent on \(\{y \in \Omega : |y| = \rho ^{2}\}\), if \(u(y)\) were convergent there. This is absurd, as \(\sum \pi ^{n}/n!\) diverges. Thus, the radius of convergence of \(L\) equals \(\rho ^2 < \rho \).
The dual of \(L\) is the differential module associated with the differential system
and the argument is identical. \(\square \)
Lemma 2.4
Suppose \([a,b]\) is an interval contained in \(]{0,1}[\). Let \(M\) be a differential module on \(\Delta _{[a,b]}\) satisfying the Robba condition. Then we have
Proof
By Lemma 1.7, any submodule of \(M\) satisfies the Robba condition. By [24, Lemma 9.4.6(c)] and Example 2.2, the radii of convergence of all differential submodules of \(M \otimes L\) are equal to the radius of convergence of \(L\), which is \(<\rho \) at \(F_{\rho }\). Thus Lemma 2.1 implies the desired result. \(\square \)
The above vanishing of cohomology groups implies the vanishing of the cohomology groups of some special differential modules over the Robba ring.
Definition 2.5
The Robba ring is the colimit
It is equipped with a derivation \(\textrm{d}/\textrm{d}x\). As in Paragraph 1.1, one can define the notion of a differential module over \({\mathcal {R}}\). Suppose \(M\) is a differential module over \({\mathcal {R}}\) with derivation \(D\). Define \(\textrm{H}^0_{\textrm{DR}}({\mathcal {R}};M) = {\text {Ker}}D\), and \(\textrm{H}^1_{\textrm{DR}}({\mathcal {R}};M) = {\text {Coker}}D\).
Lemma 2.6
Let \(M\) be a differential module on the space \({\textbf{D}}^{-}(0;1) {{\textbf {-}}\!{\textbf {-}}} \{0\}\). Assume that \(M\) satisfies the hypothesis of Theorem 1.8. Let \(L\) be as in Example 2.2. Then we have
Proof
Let \(s\) be a horizontal section of \(M \otimes L\) over the Robba ring, then there must exist \(r < 1\) such that the section is defined on the annulus \(\Delta _{]{r,1}[}\), and thus on the annulus \(\Delta _{[a,b]}\) for any \([a,b] \subset ]{r,1}[\). By Lemma 2.4, we know the section has to be zero on all such \(\Delta _{[a,b]}\), and hence the section must be globally zero. This implies that \(\textrm{H}_{\textrm{DR}}^0({\mathcal {R}};(M\otimes L)\otimes {\mathcal {R}})=\{0\}\).
Thanks to the vanishing of \(\textrm{H}^0\), the vanishing of \(\textrm{H}^{1}\) will follow if we can show the Euler characteristic of \(M\otimes L \otimes {\mathcal {R}}\) is zero. By Theorem 1.8, we can make a \({\textbf{Q}}_p\)-linear change of bases to put the matrix of \(\nabla _{x\frac{\textrm{d}}{\textrm{d}x}}\) in a upper triangular form. Thus there is a filtration
of \(M\) by differential submodules such that the subquotients \(M_{i}/M_{i-1}\) are of rank \(1\), necessarily satisfy the Robba condition (Lemma 1.7). Thus, the vanishing of the Euler characteristic of \(M\otimes L\otimes {\mathcal {R}}\) is implied by the vanishing of the Euler characteristic of \(M_{i}/M_{i-1} \otimes L\). Thus we may assume \(M\) has rank \(1\) and is defined by a differential equation \(\frac{\textrm{d}}{\textrm{d}x}-\frac{c}{x}\), with \(c \in {\textbf{Z}}_{p}\cap {\textbf{Q}}\).
The de Rham complex for \(M \otimes L \otimes {\mathcal {R}}\) is the filtered colimit
Choose a sequence of numbers \(a_n(r)\) such that \(a_n(r)\uparrow 1^{-}\). The above complex reads
The transition maps in the inverse system having dense images, one knows that \(R^{1}\lim _n\) equals zero (Kiehl’s Theorem B). Thus it suffices to prove the Euler characteristic of
is zero.
Note that \(M \otimes L\) is defined by a differential operator of order one with coefficients in \(\Omega (x)\). Thus we can use Robba’s index theorem [34, Proposition 4.11], which in our situation asserts that, if \(I = [a,b]\), then
Since the radius of convergence of \(M \otimes L\) at \(F_{\rho }\) always equals \(\rho ^{2}\), both quantities of the right hand side of the displayed equation are equal to \(2\). Thus the Euler characteristic is zero. This completes the proof of the lemma. \(\square \)
Lemma 2.9
Let \(M\) be differential module over \(\Delta _{]{0,1}[}\) satisfying the hypothesis of Theorem 1.8. Let \(L\) be as in Example 2.2. Then
Proof
The de Rham cohomology groups are computed by the inverse limit
where \(I_n\) is a sequence of closed intervals \([a_n,b_n]\) contained in \(]{0,1}[\) such that \(a_n \downarrow 0\), \(b_n \uparrow 1\). Again, \(R^1\lim \) is zero since the transition maps have dense image (Kiehl’s Theorem B). Thus, it suffices to prove the vanishing of \(\textrm{H}^{*}_{\textrm{DR}}\) for each \(\Delta _{I}\).
For each closed interval \(I \subset ]{0,1}[\), the vanishing of zeroth cohomology follows from Lemma 2.4. To show that the first cohomology groups are zero, it suffices to prove the Euler characteristic of
is zero. By Theorem 1.8, there is a filtration
of \(M\) by differential submodules such that the subquotients \(M_{i}/M_{i-1}\) are of rank \(1\), necessarily satisfy the Robba condition. By induction, it suffices to prove the assertion assuming \(M\) has rank \(1\). In the rank \(1\) case, Robba’s index theorem (2.8) applies. Arguing as in the proof of Lemma 2.6 shows that the Euler characteristic is zero. \(\square \)
4 Rigid cohomology associated with a regular function
3.1
In this section, we continue using the notation made in Sect. 1. Thus \(k\) is a perfect field of characteristic \(p > 0\), \(K\) is a complete discrete valued field of characteristic \(0\) containing an element \(\pi \) satisfying \(\pi ^{p-1}+p=0\), and the residue field of \(K\) is \(k\). The ring of integers of \(K\) is denoted by \({\mathcal {O}}_K\)
Our policy is to use Gothic letters to denote schemes over \({\mathcal {O}}_K\). For an \({\mathcal {O}}_K\)-scheme \({\mathfrak {S}}\), let \(S_0 = {\mathfrak {S}} \otimes _{{\mathcal {O}}_K} k\), \(S = {\mathfrak {S}} \otimes _{{\mathcal {O}}_K} K\). For a finite type \(K\)-scheme \(T\), let \(T^{\textrm{an}}\) be the rigid analytic space associated with \(T\).
We denote by \({\textbf{D}}^{-}(\infty ;r)\) the rigid analytic space \({\textbf{P}}^{1}_K{{\textbf {-}}\!{\textbf {-}}} {\textbf{D}}^{+}(0;r^{-1})\).
3.2
Let conventions be as in Paragraph 3.1. Let \(f:\overline{{\mathfrak {X}}} \rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_K}\) be a generically smooth, proper morphism between \({\mathcal {O}}_K\)-schemes. Let \({\mathfrak {X}}=f^{-1}({\textbf{A}}^{1}_{{\mathcal {O}}_{K}})\). We assume that \({\mathfrak {X}}\) is smooth over \({\mathcal {O}}_{K}\). Denote by \({\overline{f}}|_{{\mathfrak {X}}}\) by \(f\). The morphisms \({\overline{X}}_0 \rightarrow {\textbf{P}}^{1}_k\), \({\overline{X}} \rightarrow {\textbf{P}}^{1}_{K}\), \(X_{0} \rightarrow {\textbf{A}}^{1}_{k}\), and \(X \rightarrow {\textbf{A}}^{1}_{K}\) induced by \({\overline{f}}:\overline{{\mathfrak {X}}} \rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_{K}}\) or \(f:{\mathfrak {X}} \rightarrow {\textbf{A}}^{1}_{{\mathcal {O}}_{K}}\) are still denoted by \({\overline{f}}\) or \(f\) respectively. This abuse of notation is unlikely to cause confusions.
In the following, we will assume that \({\overline{f}}:\overline{{\mathfrak {X}}} \rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_{K}}\) satisfies the following hypothesis.
- \((*)\):
-
Let \(S \subset {\textbf{P}}^{1}_K\) be the non-smooth locus of \({\overline{f}}:{\overline{X}} \rightarrow {\textbf{P}}^{1}_K\). Then the intersection of \({\textbf{P}}^{1}_k\) with the nonsmooth locus of \({\overline{f}}:\overline{{\mathfrak {X}}}\rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_K}\) is contained in the Zariski closure of \(S\). We assume \(S \cap {\textbf{D}}^{-}(\infty ;1)\) is a subset of \(\{\infty \}\). Additionally, we assume the exponents of the algebraic Gauss–Manin connections of \(f:X \rightarrow {\textbf{A}}^{1}_{K}\) (see Remark 1.9 and (3.9) below) near \(\infty \) are in \({\textbf{Q}} \cap {\textbf{Z}}_{p}\).
The condition \((*)\) will be used to ensure the restrictions of the Gauss–Manin connections on \(D^{-}(\infty ;1)\) are overconvergent, and satisfy the Robba condition.
Remark 3.3
If \(\overline{{\mathfrak {X}}}\) is smooth over \({\mathcal {O}}_{K}\) of relative pure dimension \(n\), and if the polar divisor \({\mathfrak {P}} = {\overline{f}}^{*}(\infty _{{\mathcal {O}}_K}) = \sum m_i {\mathfrak {D}}_i\) is a relative Cartier divisor with relative strict normal crossings over \({\mathcal {O}}_{K}\), such that \(p\not \mid m_i\) for any \(i\), then we shall prove in Lemma 3.11 below that the condition (\(*\)) is valid.
3.4
In order to calculate rigid cohomology, we need to set up some notation for tubular neighborhoods. For \(r<1\), set \([P_0]_{\overline{{\mathfrak {X}}},r} = {\overline{f}}^{-1}({\textbf{D}}^{+}(\infty ;r))\) (“closed tubular neighborhood of radius \(r\)”), \(\mathop {]X_0[}_{\overline{{\mathfrak {X}}}}={\overline{X}}^{\textrm{an}} {{\textbf {-}}\!{\textbf {-}}}\bigcup _{r<1}[P_0]_{\overline{{\mathfrak {X}}},r}\), and \(V_r:= {\overline{X}} {{\textbf {-}}\!{\textbf {-}}} [P_0]_{\overline{{\mathfrak {X}}},r}\).
Denote by \(j\) the inclusion map \(\mathop {]X_0[}_{\overline{{\mathfrak {X}}}}\rightarrow {\overline{X}}\), and by \(j_r\) the inclusion map \(V_r\rightarrow {\overline{X}}\).
3.5
(The Dwork isocrystal) In this paragraph we explain what the Dwork isocrystal is. The affine line \({\textbf{A}}_k^{1}\) sits in the frame \(({\textbf{A}}^{1}_k \subset {\textbf{P}}^{1}_k \subset \widehat{{\textbf{P}}}^{1}_{{\mathcal {O}}_K})\) where \(\widehat{{\textbf{P}}}^1_{{\mathcal {O}}_K}\) is the formal completion of the projective line over \({\mathcal {O}}_K\) with respect to the maximal ideal of \({\mathcal {O}}_{K}\). Therefore to describe this crystal we only need to write down a presentation of it (as an integrable connection) on \({\textbf{P}}_K^{1,\textrm{an}}\).
On the rigid analytic projective line, the tubular neighborhood of \(\infty _k \in {\textbf{P}}^{1}_k\) is the complement of the closed unit disk \({\textbf{D}}^{+}(0,1)\) of radius \(1\), i.e., \({\textbf{D}}^{-}(\infty ;1)\). The analytification of the algebraic integrable connection
is easily seen to have \(\rho \) as its radius of convergence on \(D^{-}(a;\rho )\) for any \(|a| \le 1\), \(\rho < 1\). Its restriction to the tubular neighborhood of \(\infty \) is precisely the connection we dealt with in Example 2.2, hence has radius of convergence equal to \(\rho ^{2}\) at \(F_{\rho }\), which converges to \(1\) as \(\rho \rightarrow 1\). Thus \(({\mathcal {O}}_{{\textbf{A}}^{1,\textrm{an}}_K},\nabla _{\textrm{D}})\) is overconvergent for any open disk. By the theory of rigid cohomology ( [27, Definition 7.2.14,Proposition 7.2.15]), the differential module determined by \(({\mathcal {O}}_{{\textbf{A}}^{1,\textrm{an}}_K},\nabla _{\textrm{D}})\) gives rise to an overconvergent isocrystal on \({\textbf{A}}^{1}_{k}\), which could be taken as a coefficient system for the rigid cohomology. We denote it by \({\mathcal {L}}_{\pi }\), and call it the Dwork isocrystal. See [27, §4.2.1].
3.6
Let notation and conventions be as in Paragraph 3.2. Consider the morphism \(f:X \rightarrow {\textbf{A}}^{1}_{K}\). Then we can define an algebraic integrable connection on the structure sheaf \({\mathcal {O}}_{X}\)
This integrable connection is the inverse image of the connection \(({\mathcal {O}}_{{\textbf{A}}^{1}},\nabla _{\textrm{D}})\) via the morphism \(f\).
By analytification, we obtain an analytic connection, still denoted by \(\nabla _{\pi f}\), on the rigid analytic space \(X^{\textrm{an}}\).
Proposition 3.7
Let notation and conventions be as in Paragraphs 3.2 – 3.6. Then for each integer \(m\), the natural maps
are isomorphisms of \(K\)-vector spaces.
Proof
(Proof that the right hand side arrow is an isomorphism) Without loss of generality we could assume \(X\) is irreducible. When \(f:X \rightarrow {\textbf{A}}^{1}_K\) is a constant morphism, the proposition is trivial. In the sequel we shall assume \(f :X \rightarrow {\textbf{A}}^{1}_{K}\) is surjective.
To begin with, let us write down the complex that computes the rigid cohomology. Let
The analytification of the connection \(\nabla _{\pi f}\) gives rise to an integrable connection
which extends to a dagger version of the de Rham complex
For an admissible open subspace \(V\) of \({\overline{X}}^{\textrm{an}}\), let \({{\mathcal {D}}}{{\mathcal {R}}}(V,\nabla _{\pi f}|_{V})\) be the de Rham complex of \(\nabla _{\pi f}\) restricted to \(V\). Set \(\textrm{DR}(V,\nabla _{\pi f}|_{V})=R\Gamma (V;{{\mathcal {D}}}{{\mathcal {R}}}(V,\nabla _{\pi f}|_{V}))\). We have
A priori, this complex depends upon the formal completion of the scheme \(\overline{{\mathfrak {X}}}\) along the maximal ideal of \({\mathcal {O}}_K\). However, since \(\overline{{\mathfrak {X}}}\) is proper and the integrable connection \(({\mathcal {O}}_{X^{\textrm{an}}},\nabla _{\pi f})\) is overconvergent (being the inverse image of an overconvergent integrable connection), [27, Corollary 8.2.3] asserts that it only depends upon \(X_0\) and \(f:X_0 \rightarrow {\textbf{A}}^{1}_k\). We have then
Next we explain how to compute the cohomology of the de Rham complex. For any \(r<1\) sufficiently close to \(1\), set \(V_r={\overline{f}}^{-1}({\textbf{D}}^{-}(0;r^{-1}))\subset X^{\textrm{an}}\). Then \(X^{\textrm{an}}\) has an admissible open covering
In the bounded derived category of \(K\)-vector spaces, the Mayer–Vietoris theorem gives an isomorphism between the de Rham complex \(\textrm{DR}(X,\nabla _{\pi f})\) and the homotopy fiber of the map
Since the colimit, as \(r \rightarrow 1^-\), of \(\textrm{DR}(V_r,\nabla _{\pi f})\) equals \(R\Gamma _{\textrm{rig}}(X_0,f_0^{*}{\mathcal {L}}_{\pi })\), in order to prove the comparison between rigid and de Rham cohomology it suffices to prove the natural morphism
is an isomorphism in the derived category of vector spaces over \(K\).
Let \(S\) be the finite subspace of \({\textbf{A}}^{1,\textrm{an}}_K\) containing all the critical values of \(f\). Let \(X^{\prime } = X {{\textbf {-}}\!{\textbf {-}}} f^{-1}(S)\). Then the direct image sheaf
is equipped with a Gauss–Manin connection \(\nabla _{\textrm{GM}}\). By projection formula, the direct image sheaf
is isomorphic to the analytification of the tensor product
on \({\textbf{A}}^{1,\textrm{an}}_K{{\textbf {-}}\!{\textbf {-}}} S\).
Thus, if \(u:{\textbf{P}}_K^{1,\textrm{an}}{{\textbf {-}}\!{\textbf {-}}} \mathop {]S_0[}_{{\textbf{P}}^1_{{\mathcal {O}}_K}} \rightarrow {\textbf{P}}^{1,\textrm{an}}_K\) denotes the open immersion, then
is the rigid cohomological direct image \(R^i (f|_{X^{\prime }_0})_{\textrm{rig}*}{\mathcal {O}}_{X^{\prime }_0}\).
Using the Leray spectral sequence, we see that in order to prove the morphism (3.8) is an isomorphism, it suffices to prove that for any \(i\), the map
is an isomorphism.
We shall show that both sides of (3.10) are acyclic. For convenience, we shall use a coordinate \(x\) around \(\infty \in {\textbf{P}}^{1,\textrm{an}}_K\), thus swap \(\infty \) and \(0\). Let \(M\) be the restriction of the analytification of \({\mathcal {E}} = R^i (f|_{X^{\prime }})_{*}(\Omega _{X^{\prime }/K}^{\bullet })\) to the disk \({\textbf{D}}^{-}(0;1){{\textbf {-}}\!{\textbf {-}}}\{0\}\).
In the lifted situation, we know that \(M\) is overconvergent. This is proved by P. Berthelot [5, Théorème 5] and N. Tsuzuki [37, Theorem 4.1.1]. The hypothesis on exponents in (\(*\)) implies that \(M\) satisfies the Robba condition by Theorem 1.8. Moreover \(M\) is overconvergent, On the other hand, the differential module \(L\) considered in Example 2.2 is precisely the restriction of \(({\mathcal {O}}_{{\textbf{A}}^{1}_K},\nabla _{\textrm{D}})^{\textrm{an}}\) in the vicinity of \(\infty \).
The right hand side of (3.10) now reads
which is precisely the de Rham complex of \(M \otimes L\) restricted to the Robba ring:
Thus, Lemma 2.6 implies that the right hand side of (3.10) is trivial. The acyclicity of the left hand side of (3.10) follows from Lemma 2.9. This completes the proof that the analytic twisted de Rham cohomology is isomorphic to the rigid cohomology. \(\square \)
Lemma 3.11
Let notation be as above. Assume further that the hypothesis of Remark 3.3 is true. Then the differential module \(M\) satisfies (\(*\))
Proof
By the regularity of the Gauss–Manin system, the differential module \(M\) is a restriction of an algebraic integrable connection which is regular singular around \(0\). In particular, there exists a basis of \(M\) such that the derivation \(\nabla _{\frac{\textrm{d}}{\textrm{d}x}}\) is given by
where \(\eta \) is a rational function which has at worst a simple pole at \(x = 0\) (for example, take the restriction of an algebraic basis and restrict to the analytic open \({\textbf{D}}^{-}(\infty ;1)\)).
As we have assumed that the multiplicities of the polar divisor are prime to \(p\), the algebraic calculation of exponents of the Gauss–Manin system around infinity implies that the eigenvalues of \((x\eta )|_{x=0}\) belong to \({\textbf{Z}}_{p} \cap {\textbf{Q}}\). (One can embed field of definition of the variety into \({\textbf{C}}\), then use [13, Exposé XIV, Proof of Proposition 4.15] to show that the eigenvalue of \(\eta (0)\) with respect to the algebraic basis are rational numbers whose denominators are not divisible by \(p\).) \(\square \)
Proof
(Proof that the left hand side arrow is an isomorphism) This is a theorem of André and Baldassarri [2, Theorem 6.1]. Since the precise hypothesis of their theorem is not met in the present situation (the connection is not defined over a number field), we shall nevertheless provide a proof. The key point is a theorem of Clark, which states that in a good situation, the analytic index of a differential operator equals its formal index.
Let \({\mathfrak {P}}={\overline{f}}^{*}(\infty _{{\mathcal {O}}_{K}})\) be the polar divisor. By GAGA, the algebraic de Rham complex is computed by complex
which is a subcomplex of \({{\mathcal {D}}}{{\mathcal {R}}}(X^{\textrm{an}},\nabla _{\pi f})\). Here \(\Omega ^{m}_{{\overline{X}}^{\textrm{an}}}({*}P_{\textrm{red}})=\bigcup _{e=1}^{\infty }\Omega ^{m}_{{\overline{X}}^{\textrm{an}}}(eP_{\textrm{red}})\). Cover \({\overline{X}}^{\textrm{an}}\) by \(X^{\textrm{an}}={\overline{f}}^{-1}({\textbf{A}}^{1,\textrm{an}})\) and \([P_0]_{\overline{{\mathfrak {X}}},\epsilon }={\overline{f}}^{-1}({\textbf{D}}^{+}(\infty ;\epsilon ))\), the Mayer–Vietoris theorem implies that \(\textrm{DR}(X,\nabla _{\pi f})\) is the homotopy fiber of
Taking colimit with respect to \(\epsilon \rightarrow 0\), we see it suffices to prove the colimit, as \(\epsilon \rightarrow 0\), of the following map
is a quasi-isomorphism. Again, we shall show both items are acyclic.
Let \({\mathcal {E}}\) be the algebraic Gauss–Manin system on \({\textbf{A}}^{1}{{\textbf {-}}\!{\textbf {-}}} S\) as in (3.9). Let \(\iota :{\textbf{A}}^{1}_K{{\textbf {-}}\!{\textbf {-}}} S \rightarrow {\textbf{P}}^{1}_K\) be the inclusion. Let \({\mathcal {E}}(*S) = \iota _{*}{\mathcal {E}}\). Using Leray spectral sequence, it suffices to prove the de Rham complex of
(“de Rham complex with essential singularities”) and that of
(“de Rham complex with moderate singularities”) are acyclic.
A similar argument as in the proof of Lemma 2.9 using Robba’s index theorem yields that (3.12) has zero Euler characteristic and vanishing \(\textrm{H}^0\), thus acyclic.
Since the de Rham complex of (3.13) is a subcomplex of that of (3.12), its \(\textrm{H}^{0}\) is also trivial.
We proceed to prove that (3.13) has zero Euler characteristic. Let \({\mathcal {O}}_0\) be the local ring \({\mathcal {O}}_{{\textbf{P}}^{1,\textrm{an}}_K,\infty }\) with the uniformizer \(x\) defined by a coordinate around \(\infty \). Let \(\widehat{{\mathcal {O}}}_{0}\cong K[\![x]\!]\) be its \(x\)-adic completion. Then the de Rham complex of (3.13) is that of
Choose a cyclic vector [15, II 1.3] for the differential module
over the differential field \({\mathcal {O}}_{0}[1/x]\). Thus we obtain a differential operator \(u = \sum _{i} a_i\frac{\textrm{d}^i}{\textrm{d}x^i}\) with \(a_i \in {\mathcal {O}}_0\), and the Euler characteristic equals the index of
On the other hand, Malgrange’s index theorem [30, Théorème 2.1b] implies that the index of
equals zero. Thus, it suffices to prove the index of
equals zero. Since \({\mathcal {E}}\) is regular singular, \(\nabla _{\textrm{D}}\) is rank one and irregular, the indicial polynomial of \(u\) is zero. Thus the hypothesis on non-Liouville difference in Clark’s theorem [10] as stated in [7, Théorème 2.12] is satisfied, and this theorem implies the index of (3.14) is zero. This completes the proof of Proposition 3.7. \(\square \)
Next we prove the main result of these notes by removing the properness hypothesis from Proposition 3.7.
3.15
We follow the conventions made in Paragraph 3.1. Let \({\overline{f}}:\overline{{\mathfrak {X}}}\rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_K}\) be a proper morphism between \({\mathcal {O}}_K\)-schemes. Assume \(\overline{{\mathfrak {X}}}\) has relative pure dimension \(n\) over \({\mathcal {O}}_{K}\). Let \({\mathfrak {X}}\) be a Zariski open subscheme of \(\overline{{\mathfrak {X}}}\), such that
-
\({\mathfrak {X}} \subset {\mathfrak {Y}}:= {\overline{f}}^{-1}({\textbf{A}}^1_{{\mathcal {O}}_K})\),
-
\({\mathfrak {H}}={\mathfrak {Y}}{{\textbf {-}}\!{\textbf {-}}}{\mathfrak {X}}=\bigcup _{j=1}^{r}{\mathfrak {H}}_{j}\) is a relative Cartier divisor with relative strict normal crossings over \({\mathcal {O}}_K\).
We shall denote the restriction of \({\overline{f}}\) to \({\mathfrak {X}}\) by \(f\).
For each subset \(J\) of \(\{1,2,\ldots ,s\}\), denote by \({\mathfrak {H}}_{J}\) the intersection \(\bigcap _{j\in J}{\mathfrak {H}}_j\). (Convention: when \(J\) is the empty set, \({\mathfrak {H}}_J\) is understood as \({\mathfrak {Y}}\).) Then each \({\mathfrak {H}}_{J}\) is a smooth \({\mathcal {O}}_K\)-scheme. The restriction of \({\overline{f}}\) to \(\overline{{\mathfrak {H}}}_{J}\), the closure of \({\mathfrak {H}}_{J}\) in \(\overline{{\mathfrak {X}}}\), is denoted by \({\overline{f}}_{J}\), and \({\overline{f}}_{J}|_{{\mathfrak {H}}_{J}}\) is denoted by \(f_{J}\).
3.16
Hypothesis. In the following, we shall assume that that the exponents of the algebraic Gauss–Manin connections of \(f_{J}:H_{J} \rightarrow {\textbf{A}}^{1}_{K}\) near \(\infty \) are in \({\textbf{Q}}\cap {\textbf{Z}}_{p}\). In other words, we assume that the condition (\(*\)) holds for each \(f_{J}\).
Remark 3.17
In (3.15), if \(\overline{{\mathfrak {X}}}\) is smooth over \({\mathcal {O}}_{K}\), \(\overline{\mathfrak {X}} {\textbf {-}}\!{\textbf {-}}\mathfrak {X}\) is a divisor with strict normal crossings, and the polar divisor \({\mathfrak {P}} = {\overline{f}}^{*}(\infty _{{\mathcal {O}}_K})\) can be written as \({\mathfrak {P}} = \sum _{i=1}^{r} m_i {\mathfrak {D}}_i\), such that each \({\mathfrak {D}}_{i}\) is smooth and irreducible, \(p\not \mid m_i\) for any \(i\), then Hypothesis 3.16 holds.
The following theorem is a more general version of Proposition 3.7: when \({\mathfrak {P}}_{\textrm{red}} = {\overline{f}}^{*}(\infty _{{\mathcal {O}}_{K}})_{\textrm{red}} = \overline{{\mathfrak {X}}}{{\textbf {-}}\!{\textbf {-}}} {\mathfrak {X}}\), the theorem reduces to Proposition 3.7; the general case is deduced from Proposition 3.7 by some standard yoga.
Theorem 3.18
Let notation and conventions be as in (3.15). Assume Hypothesis 3.16 holds. Then for each integer \(m\), the natural maps
are isomorphisms.
Proof
The morphism \({\overline{f}}_{J}:{\mathfrak {H}}_{J}\rightarrow {\textbf{A}}^{1}_{{\mathcal {O}}_{K}}\) being proper, by hypothesis 3.16, we may apply Proposition 3.7 to each \(f_J\). Thus, the natural maps
are isomorphisms.
There exists a second-quadrant spectral sequence with
(\(i,j \ge 0\)) which abuts to \(\textrm{H}^{-i+j}_{\textrm{rig}}(X_0/K;f^{*}{\mathcal {L}}_{\pi })\). Indeed, Mayer–Vietoris for a finite closed covering [27, Proposition 7.4.13] gives a spectral sequence
(\(a,b \ge 0\)). Using the normal crossing hypothesis, applying Poincaré duality [27, Corollary 8.3.14], the finiteness of rigid cohomology [25], and replacing \(\pi \) by \(-\pi \) (since the dual of \({\mathcal {L}}_{\pi }\) is \({\mathcal {L}}_{-\pi }\)),
(\(a,b \ge 0\)). Since \(R\Gamma _{\textrm{rig}}(X_0/K;\bullet )\) fits into a distinguished triangle
(the derived incarnation of the relative cohomology sequence), we deduce the desired spectral sequence (3.19) by augmenting the rigid cohomology of \(Y_0\) to the zeroth column of the spectral sequence (3.20).
We have similar spectral sequences for the algebraic and analytic de Rham cohomology groups. The \(E_1\)-differentials of these spectral sequence are all Gysin maps in the various theories. Thus the natural maps between the theories give rise to maps of these \(E_1\)-spectral sequences. Proposition 3.7 implies that these maps are isomorphisms on the \(E_1\)-stage. Thus they induce isomorphisms on the abutments. \(\square \)
Proof of Theorem 0.2
Let notation be as in the statement of Theorem 0.2. Let \({\textbf{K}}\) be the field of fractions of \(R\). Using resolution of singularities, upon making a finite extension of \({\textbf{K}}\) (both rigid and de Rham cohomology are compatible with such field extensions), we can embed \(X_{{\textbf{K}}}\) into a smooth proper \({\textbf{K}}\)-scheme \({\overline{X}}_{{\textbf{K}}}\) such that \({\overline{X}}_{{\textbf{K}}}{{\textbf {-}}\!{\textbf {-}}} X_{{\textbf{K}}}\) has strict normal crossings, and \(f\) extends to a morphism \({\overline{f}}:{\overline{X}}_{{\textbf{K}}} \rightarrow {\textbf{P}}^{1}_{{\textbf{K}}}\). There is a Zariski open subset \(U\) of \(\textrm{Spec}(R)\) over which
-
\({\overline{X}}_{{\textbf{K}}}\) as well as all the intersections of the boundary divisors have good reduction at primes in \(U\), and
-
the multiplicities of the components of the polar divisor are not divisible by residue characteristics of \(U\).
We may assume U is affine, and by abuse of notation we will still denote its associated ring by R. For each closed point \({\mathfrak {p}}\) in \(U\), let \(p\) be the characteristic of the residue field \(\kappa ({\mathfrak {p}})\). Then there exists a \(p\)-adically complete discrete valuation ring \(R^{\prime }\) containing \(\zeta _p\) and a ring homomorphism \(R \rightarrow R^{\prime }\), such that the closed point of \(\textrm{Spec}(R^{\prime })\) is mapped to \({\mathfrak {p}}\). Let \(K^{\prime }\) be the field of fractions of \(R^{\prime }\) and let \(k^{\prime }\) be its residue field. Then we have
We can then apply Remark 3.17 and Theorem 3.18 to \(X_{R^{\prime }}\), obtaining an isomorphism between the rigid cohomology \(\textrm{H}^{\bullet }_{\textrm{rig}}(X_{k^{\prime }}/K^{\prime };{\mathcal {L}}_{\pi })\) and the exponentially twisted de Rham cohomology of \(X_{K^{\prime }}\).
To conclude, we use the following two facts: (i) \(\nabla _{c f}\) and \(\nabla _{f}\) have isomorphic de Rham cohomology group over \(K^{\prime }\), for any \(c \in K^{\prime \times }\); and (ii) the formation of twisted algebraic de Rham cohomology is compatible with extension of scalars. The fact (i) is proved below as a lemma, and the fact (ii) is clear. \(\square \)
Lemma 3.21
Let \(K\) be a field of characteristic \(0\). Let \(f:X \rightarrow {\textbf{A}}^{1}\) be a morphism of smooth \(K\)-schemes. Then for all \(c \in K^{\times }\), the dimensions of the \(K\)-vector spaces \(\textrm{H}_{\textrm{DR}}^{i}(X;\nabla _{cf})\) are the same.
Proof
It suffices to prove \(\nabla _{cf}\) and \(\nabla _{f}\) have isomorphic twisted de Rham cohomology groups. The standard argument (extracting coefficients defining \(X\) and \(f\), choosing a finitely generated subfield, embedding the field into \({\textbf{C}}\)) allows us to assume \(K = {\textbf{C}}\). Then we can use the isomorphism provided by (0.1/1) and (0.1/2.) to conclude that the two twisted de Rham cohomology groups are isomorphic to the relative cohomology groups
respectively. When \(|t|\) is large, these two groups are isomorphic, since \(f\) is topologically a fibration away from finitely many points. \(\square \)
5 Katz’s situation
Below we shall prove Corollary 4.6, confirming the assertions made in Example 0.3.
We begin with some rather trivial topological discussions. In (4.2)–(4.4), complex algebraic varieties are equipped with analytic topology.
4.1
Let \(g:Y \rightarrow {\textbf{A}}^{1}\) be a proper, generically smooth morphism of algebraic varieties over \({\textbf{C}}\). Let \(X\) be an open dense subvariety of \(Y\), and \(E = Y{{\textbf {-}}\!{\textbf {-}}} X\). Suppose that there is a neighborhood \(T\) of \(E\) such that \(g|_T\) and \(g|_{T{{\textbf {-}}\!{\textbf {-}}} E}\) are locally topologically trivial fibrations (hence are trivial as \({\textbf{A}}^{1}\) is contractible). Let \({\overline{F}}\) be a generic fiber of \(g\) and \(F = {\overline{F}} \cap X\).
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00208-023-02772-x/MediaObjects/208_2023_2772_Figa_HTML.png)
Lemma 4.2
Notation as in 4.1, the natural map \(\textrm{H}^{i}(Y,{\overline{F}};{\textbf{Z}}) \rightarrow \textrm{H}^{i}(X,F;{\textbf{Z}})\) is an isomorphism for all \(i\).
Proof
This is a simple application of excision. To begin with, since \(T \rightarrow {\textbf{A}}^{1}\) is a trivial fibration, there is a deformation retract from \(T\) onto \(T \cap {\overline{F}}\). This induces a homotopy equivalence between \(T \cup {\overline{F}}\) and \({\overline{F}}\). Thus the pair \((Y, T \cup {\overline{F}})\) and the pair \((Y,{\overline{F}})\) have the same cohomology.
Since \(E\) is contained in the interior of \(T \cup {\overline{F}}\), excision implies that the pair \((Y,T \cup {\overline{F}})\) and the pair \((X, (T{{\textbf {-}}\!{\textbf {-}}} E) \cup F)\) have the same cohomology. Using the fact that \(T {{\textbf {-}}\!{\textbf {-}}} E \rightarrow {\textbf{A}}^{1}\) is a trivial fibration, we find a deformation retract from \((T{{\textbf {-}}\!{\textbf {-}}} E) \cup F\) onto \(F\). Thus the pair \((X,(T{{\textbf {-}}\!{\textbf {-}}} E)\cup F)\) and the pair \((X,F)\) have the same cohomology. This completes the proof. \(\square \)
Next, we explain how to construct \(Y\) and \({\overline{F}}\) used in Lemma 4.7 from Katz’s situation.
Construction 4.3
Let \(P\) be a smooth proper scheme over a subfield of \({\textbf{C}}\) of pure dimension \(d\). Let \({\mathcal {L}}_{1},\ldots ,{\mathcal {L}}_{r}\) be invertible sheaves on \(X\). Let \(s_{i} \in \textrm{H}^{0}(P;{\mathcal {L}}_{i})\) be sections of \({\mathcal {L}}_{i}\) for \(i=1,\ldots ,r\). Let \(D_{i}\) be the vanishing scheme of \(s_{i}\).
Let \(e_{1},\ldots ,e_{r} \ge 1\) be natural numbers, and \(s_{0} \in \textrm{H}^{0}(P;{\mathcal {L}}_{1}^{\otimes e_{1}} \otimes \cdots \otimes {\mathcal {L}}_{r}^{\otimes e_{r}})\) be a nonzero section. Let \(X_{0}\) be the vanishing locus of \(s_{0}\). We shall assume that \(X_{0} \cup \bigcup _{i=1}^{r} D_{i}\) is a divisor with strict normal crossings.
Let \(s_{\infty } = \prod s_{i}^{e_i}\). Let \([u,v]\) be the homogeneous coordinates of \({\textbf{P}}^{1}\). Define \({\overline{X}}\) to be the closed subscheme of \(P \times {\textbf{P}}^{1}\) defined as the vanishing scheme of \(u s_{0} - v s_{\infty } = 0\). Note that \(us_{0}-vs_{\infty }\) is a section of the invertible sheaf \((\bigotimes {\mathcal {L}}_{i}^{\otimes e_{i}}) \boxtimes {\mathcal {O}}_{{\textbf{P}}^{1}}(1)\). Let \({\overline{f}}:{\overline{X}} \rightarrow {\textbf{P}}^{1}\) be the morphism induced by the projection to \({\textbf{P}}^{1}\). Let \(\infty = [0,1] \in {\textbf{P}}^{1}\), and we regard \({\textbf{P}}^{1}{{\textbf {-}}\!{\textbf {-}}}\{\infty \}\) as a copy of \({\textbf{A}}^{1}\). Set \(Y = {\overline{f}}{}^{-1}({\textbf{A}}^{1})\). Set \(g = {\overline{f}}|_{Y}\), \(X = P {{\textbf {-}}\!{\textbf {-}}} \bigcup _{i=1}^{r} D_{i}\). Then \(X\) is naturally an open subset of \(Y\). Write \(f = g|_{X}\).
It is clear the function \(g:Y \rightarrow {\textbf{A}}^{1}\) satisfies the hypotheses of Lemma 4.2. Indeed, let \(\pi :{\overline{X}} \rightarrow P\) be the restriction of the projection \(\textrm{pr}_{1}:P \times {\textbf{P}}^{1} \rightarrow P\). Then the inverse image of intersection \(B = X_{0} \cap (\bigcup D_{i})\) in \({\overline{X}}\) is isomorphic to \(B \times {\textbf{P}}^{1}\), and \(E = \pi ^{-1}(B) \cap Y\) is isomorphic to \(B \times {\textbf{A}}^{1}\). The fiber \(g^{-1}(0) = X_{0} \subset Y\) can be identified with \({\overline{F}}\), and \(f^{-1}(0) \subset X\) can be identified with \(F\). The inverse image under \(\pi \) of a tubular neighborhood of \(B\) serves as the role of \(T\).
In practice, we are more interested in considering the function \(f\) on \(X\); and the construction above allows us to construct a proper function \(g\) which is ready for taking reduction modulo \(p\).
The next lemma tells us that in a certain preferable situation, the calculation of cohomology groups reduces to the calculation of the Euler characteristics.
Lemma 4.4
Notation as in Construction 4.3, assume in addition that \(X\) and \(P {{\textbf {-}}\!{\textbf {-}}} X_{0}\) are affine (e.g., when the invertible sheaf \(\bigotimes _{i=1}^{r}{\mathcal {L}}_{i}^{\otimes e_i}\) is ample). Then \(\textrm{H}^{i}(X,f^{-1}(0))\) is nonzero only if \(i = \dim X\).
The Euler characteristic of \(\textrm{H}^{\bullet }(X,f^{-1}(0);{\textbf{Q}})\) is
See for example [23, Theorem 5.4.1]. If the hypothesis of Lemma 4.4 is fulfilled, then the absolute value of this number is also the dimension of \(\textrm{H}^{\dim X}(X,f^{-1}(0);{\textbf{Q}})\).
Proof of Lemma 4.4
In the following we shall take the constant field \({\textbf{Q}}\) as the coefficients of the cohomology groups, and suppress it from the expressions. Since \(X\) and \(f^{-1}(0)\) are smooth affine varieties, the relative cohomology \(\textrm{H}^{i}(X,f^{-1}(0))\) vanishes if \(i> \dim X\). It suffices to prove the relative cohomology also vanishes when \(i < \dim X\).
For any subset \(J\) of \(\{1,2,\ldots ,r\}\), let \(D_{J} = \bigcap _{j\in J}D_{j}\). Let \(D^{(p)} = \bigsqcup _{{\text {Card}}J=p}D_{J}\), and write \(D^{(0)}=P\). The scheme \(D^{(p)}\) is smooth proper of dimension \(n-p\), and the natural morphism \(D^{(p)} \rightarrow P\) is affine.
There exists a spectral sequence
Granting the existence of this spectral sequence, let us finish the proof. Since \(P{{\textbf {-}}\!{\textbf {-}}} X_0\) is affine, \(D^{(p)} {{\textbf {-}}\!{\textbf {-}}} D^{(p)} \times _P X_0\) are affine for all \(p\). If \(i < \dim X\), then \(i - p < \dim D^{(p)}\). By Artin’s vanishing theorem, we have
It follows that \(E_{1}^{-p,q}=0\) if \(q-p< \dim X\). This implies that \(\textrm{H}^{i}(X,f^{-1}(0))\) vanishes when \(i<\dim X\), as desired. The construction of the spectral sequence (4.5) will be recalled in Paragraph 4.7 at the end of this section. \(\square \)
Having discussed some topology, we now return to Example 0.3. We henceforth enforce the notation set up there.
Corollary 4.6
Assume \({\mathfrak {p}}\) is a prime of \({\textbf{K}}\) satisfying the two conditions (0.3/1) and (0.3/2). Let \(p\) be the residue characteristic of \({\mathfrak {p}}\), and \({\textbf{K}}_{{\mathfrak {p}}}\) be the completion of \({\textbf{K}}\) at \({\mathfrak {p}}\).
-
1.
The dimension of the rigid cohomology space \(\textrm{H}^{i}_{\textrm{rig}}(X\otimes {\textbf{K}}_{{\mathfrak {p}}} (\zeta _p)/{\textbf{K}}_{{\mathfrak {p}}}(\zeta _p);f^{*}{\mathcal {L}}_{\pi })\) is equal to the dimension of the rational vector space \(\textrm{H}^{i}(X^{\textrm{an}}_{{\textbf{C}}},f^{-1}(0)_{{\textbf{C}}}^{\textrm{an}};{\textbf{Q}})\).
-
2.
If both \(X\) and \(P {{\textbf {-}}\!{\textbf {-}}} X_0\) are affine, the rigid cohomology is nonzero only in cohomology degree \(\dim X\), and its dimension over \({\textbf{K}}_{{\mathfrak {p}}}\) is
$$\begin{aligned} \int _P \frac{c((\Omega ^{1}_P)^{\vee })}{(1 + \sum _{i=1}^{r} e_{i}c_{1} ({\mathcal {L}}_{i}))\prod _{i=1}^{r}(1+c_1({\mathcal {L}}_{i}))}. \end{aligned}$$Thus, the L-series associated with the function \(g\) modulo \({\mathfrak {p}}\) is a polynomial or a reciprocal of a polynomial, whose degree equals \( \int _P \frac{c((\Omega ^{1}_P)^{\vee })}{(1 + \sum _{i=1}^{r} e_{i}c_{1} ({\mathcal {L}}_{i}))\prod _{i=1}^{r}(1+c_1({\mathcal {L}}_{i}))} \).
If \({\mathcal {L}}_i\) are ample, the assertion (2) is due to N. Katz [23] (without the liftablity hypothesis).
Proof of Corollary 4.6
We first perform Construction 4.3, obtaining \({\overline{f}}:{\overline{X}} \rightarrow {\textbf{P}}^{1}\) over the field \({\textbf{K}}\). To show that \({\overline{f}}\) satisfies the Hypotheses 3.15, we need to verify that the exponents of the Gauss–Manin connections of \(f\) are all rational numbers whose denominators are not divisible by \(p\). This can checked over \({\textbf{C}}\). Since \(g|_{B\times {\textbf{A}}^{1}}\) can be identified with the projection to the second factor, it suffices to show the eigenvalues of the monodromy of \(g\) near \({\overline{f}}^{-1}(\infty )\) are not \(p\)-power roots of unity. Take a disk \(\Delta \) around \(\infty \), and let \(h:V={\overline{f}}^{-1}(\Delta ) \rightarrow \Delta \) be the holomorphic function induced by \({\overline{f}}\). It suffices to show that the monodromy eigenvalues on the vanishing cycle \(R\phi _{h}({\textbf{Q}}_{V})\) are not \(p\)-power roots of unity. By a local calculation, Maxim, Morihiko Saito, and Schürmann [32] showed that under our hypothesis we have \(R\phi _{h}({\textbf{Q}}_{V})|_{B} = 0\). At a point in \(\bigcup D_{i}{{\textbf {-}}\!{\textbf {-}}} B\), the function \(h\) is locally of the form \(h(x_{1},\ldots ,x_{n})=x_{i_{1}}^{e_{i_1}}\cdots {x}_{i_{m}}^{e_{i_{m}}}\) for some \(m\) in the analytic topology, and therefore the monodromy eigenvalues at the stalks of \(R^{i}\phi _{h}({\textbf{Q}}_{V})\) are not \(p\)-power roots of unity for all \(i\). By a spectral sequence argument, using the relation between monodromy and exponents [15, Théoréme II 1.17], we conclude that the denominators of the exponents of the Gauss–Manin connections near infinity are not divisible by \(p\).
Localizing an integral model of the morphism \({\overline{f}}:{\overline{X}}\rightarrow {\textbf{P}}^{1}\) at the prime \({\mathfrak {p}}\), we get a morphism
From the above discussion, Theorem 3.18 is applicable, and it implies the rigid cohomology associated with the reduction of \(f\) has the same dimension as the twisted algebraic de Rham cohomology over \({\textbf{K}}_{{\mathfrak {p}}}\). By performing a base extension to \({\textbf{C}}\), using the isomorphism provided by (0.1/1) and (0.1/2.), we know that the dimension of the twisted algebraic de Rham cohomology defined by \(g\) is equal to the complex dimension of the relative cohomology \(\textrm{H}^{i}(X^{\textrm{an}}_{{\textbf{C}}}, f^{-1}(0)_{{\textbf{C}}}^{\textrm{an}};{\textbf{C}})\). Here using \(t=0\) instead of a generic \(t\) is legal, because by construction \(0\) is a typical value of \(g\); see the footnote on page 1. The second assertion follows from Lemma 4.4 and the trace formula. \(\square \)
A particular instance of the Katz’s situation is as follows. Let \(P={\textbf{P}}^{n}\), \(X_{\infty }\) be the Fermat hypersurface defined by \(\sum z_{i}^{n+1} = 0\), and let \(X_0\) be the vanishing locus of the monomial \(z_{0}\cdots z_{n}\). Then the function
fits Katz’s situation. Assuming the residue characteristic of \({\mathfrak {p}}\) is not a factor of \(n+1\), then we can apply Theorem 3.18. Since this is the “ample case”, Lemma 4.4 implies that the rigid cohomology is trivial except in degree \(n\), and its dimension equals \((-1)^{n}\) times the Euler characteristics, which is \(n^{n}(n+1)\). Of course, this computation may already be deduced from Katz’s theorem.
4.7
We recall a construction of the spectral sequence (4.5) for convenience of the reader. Notation and conventions will be as in Lemma 4.4.
Consider the natural simplicial morphism \(a:D^{(\bullet +1)} \rightarrow P\), viewing \(P\) as a constant simplicial scheme. Then the relative cohomology of the pair \((X,g^{-1}(0))\) is computed by the homotopy cofiber of the morphism
where \(v:P{{\textbf {-}}\!{\textbf {-}}} X_0 \rightarrow P\) is the open immersion.
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00208-023-02772-x/MediaObjects/208_2023_2772_Figb_HTML.png)
The complex
can be understood explicitly using the fact that \(D_{J}\) intersects \(X_0\) transversely. Indeed, if \(a_{J}\) is the inclusion morphism from \(D_{J}\) into \(P\), then \(a_{i} = \coprod _{{\text {Card}}J=i}a_{J}\), and (we use \(\vee \) for Verdier dual)
Let \(v_{J}:D_J {{\textbf {-}}\!{\textbf {-}}} D_{J} \cap X_0 \rightarrow D_{J}\) be the inclusion morphism.
We claim that \(a_{J}^{*}Rv_{*}{\textbf{Q}} \cong Rv_{J*}{\textbf{Q}}\). Indeed, consider the following fiber diagram,
![](http://media.springernature.com/lw137/springer-static/image/art%3A10.1007%2Fs00208-023-02772-x/MediaObjects/208_2023_2772_Equ90_HTML.png)
and the distinguished triangle
Since \(X_0\) is a smooth divisor in \(P\), the Thom isomorphism theorem implies that \(\iota ^{!}{\textbf{Q}}_{P} = {\textbf{Q}}_{X_0}[-2]\). Pulling back the above distinguished triangle by \(a_{J}\) yields a distinguished triangle
Since \(\iota \) is proper, and since \(X_0 \cap D_J\) is smooth of codimension \(1\), we have
By adjunction, (Hom being taken in the derived category) \(\textrm{Hom}(\iota _{J*}\iota _{J}^{!}{\textbf{Q}}_{X_0},{\textbf{Q}}_{X_0})\) equals \(\textrm{Hom}(\iota _{J}^{!}{\textbf{Q}},\iota _{J}^{!}{\textbf{Q}})=\textrm{H}^{0}(X_0\cap D_{J},{\textbf{Q}})\). Thus up to a nonzero constant multiple on each connected component of \(X_0 \cap D_J\), there exists only one nonzero morphism from \(\iota _{J*}\iota _{J}^{!}{\textbf{Q}}\) to \({\textbf{Q}}\) in the derived category. (In fact, using the existence of integral structure, the term “up to a nonzero constant” could be replaced by “up to sign”.) Therefore the homotopy cofiber of the morphism
![](http://media.springernature.com/lw167/springer-static/image/art%3A10.1007%2Fs00208-023-02772-x/MediaObjects/208_2023_2772_Equ91_HTML.png)
is necessarily isomorphic to the homotopy cofiber of the canonical morphism
which is \(Rv_{J*}{\textbf{Q}}\). This justifies the claim.
Thus, letting \(p={\text {Card}}J\) be the codimension of \(D_{J}\), we have
The complex \(a_{J*}(v_{J!} {\textbf{Q}})\) is precisely the derived incarnation of the relative cohomology \(\textrm{H}^{\bullet }(D_{J},D_{J}\cap X_0)\). The spectral sequence (associated with the “filtration bête”) of the complex \(a_{*}a^{!}v_{!}{\textbf{Q}}\rightarrow {\textbf{Q}}\) gives the spectral sequence (4.5).
6 Examples
Example 5.1
As a sanity check, here is a trivial example calculating the degree of the L-series of a Newton degenerate polynomial.
Let \(k\) be a finite field of characteristic \(> 2\). Let \(f:{\textbf{A}}^{2}_{k} \rightarrow {\textbf{A}}^{1}_{k}\) be the regular function defined by the polynomial \(f(x,y) = x^{2}y-x\). (The projective completion of the curve \(f(x,y) = t\), \(t\ne 0\), has a cuspidal singularity at \([0,1,0]\), which can be simultaneously resolved by blowing this point up.)
The morphism is smooth, the polynomial \(f\) is Newton nondegenerate, but it is not convenient. Thus the theorems of Adolphson–Sperber [1] and Denef–Loeser [16] do not give the degree of the L-series.
A direct computation is easy:
It follows that the L-series is \((1-qt)^{-1}\).
Here is a topological calculation. It is easy to see \(f(x,y) = t\) for \(t \ne 0\) is isomorphic to \({\textbf{G}}_{\textrm{m}}\) as schemes over \(k\). Thus one can still use the Teichmüller lift of \(f\) to conclude that the rigid cohomology \(\textrm{H}^{*}_{\textrm{rig}}({\textbf{A}}^{2}_{k};f^{*}{\mathcal {L}}_{\pi })\) is \(1\)-dimensional in degree \(2\), and zero otherwise. In particular, \(L_{f}(t)^{-1}\) is a linear polynomial.
Next, we recall the degree and total degree of the L-series of exponential sums. Let notation be as in Paragraph (0.1/4.). In view of Grothendieck’s theorem, we can write \(L_{f}(t) = P(t)/Q(t)\), where \(P,Q \in \overline{{\textbf{Q}}}[t]\) are coprime. Then the degree of \(L_{f}\) is \(\deg Q - \deg P\); the total degree of \(L_{f}\) is \(\deg P + \deg Q\).
By the trace formula for rigid cohomology, we know that the degree of \(L_f\) is equal to the Euler characteristic \(\sum (-1)^{i}\dim \textrm{H}_{\textrm{rig,c}}^{i}(X;f^{*}{\mathcal {L}}_{\pi })\), and the total degree of \(L_{f}\) is no bigger than \(\sum \dim \textrm{H}_{\textrm{rig,c}}^{i}(X;f^{*}{\mathcal {L}}_{\pi })\). (Since \(X\) is smooth, Poincaré duality identifies the dimension of the compactly supported cohomology with the dimension of the rigid cohomology up to a dimension shift.)
Example 5.2
Hyperplane arrangements give rise to many interesting exponential sums whose L-series cannot be computed using traditional methods. But topological and combinatorial methods sometimes can deduce useful information about the Milnor fiber of the arrangement, which, through Theorem 3.18, can determine the dimension of the rigid cohomology for large primes.
Here are two concrete examples.
-
1.
Let \(f(x,y,z)=xyz(x-y)(y-z)(z-x)\) be the polynomial defining the so-called \(A_3\) plane arrangement. Then \(f\) is not convenient, but Cohen and Suciu [11, Example 5.1] have shown that the Betti numbers of the “Milnor fiber” \(f=1\) are: \(b_0=1\), \(b_1=7\), \(b_2=18\). Since \(f\) is homogeneous, all the fibers \(f^{-1}(t)\), \(t\ne 0\), are homeomorphic. It follows that the relative cohomology \(\textrm{H}^{\bullet }({\textbf{C}}^{3},f^{-1}(t);{\textbf{Z}})\) equals the reduced singular cohomology of \(f^{-1}(1)\), up to a shift of cohomology degree. Using the isomorphism between relative cohomology (0.1/1) and twisted de Rham cohomology (0.1/2.), we deduce that the nonzero Betti numbers of the twisted de Rham cohomology are \(b_2=7, b_3=18\). Since \(f\) is homogeneous of degree \(6\), the Gauss–Manin connections of \(f\) are defined over \({\textbf{G}}_{\textrm{m}}\subset {\textbf{A}}^{1}\), and will be trivialized by a \(6\)-to-\(1\) finite étale covering of \({\textbf{G}}_{\textrm{m}}\). Therefore, the denominators of the exponents of the Gauss–Manin connections will only contain \(2\) and \(3\) as prime factors. Thus, for \(p\ne 2,3\), Theorem 0.2 implies that the rigid cohomology groups of \(f^{*}{\mathcal {L}}_{\pi }\) with compact support are of dimensions \(0, 7, 18\) respectively. In particular, the degree of the L-series of the exponential sum associated with \(f\) has degree \(11\); and total degree \(\le 25\).
-
2.
Let \(f(x,y,z) = xyz(x+y)(x-y)(x+z)(x-z)(y+z)(y-z)\) be the polynomial defining the so-called \(B_3\) plane arrangement. Cohen and Suciu [11, Example 5.2] have shown that the Betti numbers of the Milnor fiber \(f=1\) are: \(b_0=1\), \(b_1=8\), \(b_2=79\). As in (1), when \(p \ge 3\), we get the dimension of the rigid cohomology of \(f^{*}{\mathcal {L}}_{\pi }\). We may conclude that the degree of the L-series of \(f\) is \(71\), and the total degree is \(\le 87\).
Example 5.3
(Exponential sum on a curve) Let \(X\) be a smooth irreducible projective curve of genus \(g\) over a finite field \(k\). Let \(f:X \rightarrow {\textbf{P}}^{1}_{k}\) be a generically étale, degree \(d\) morphism with ramification indices not divisible by \(p\). We assume there is a good lift of \(f\) (i.e., satisfies Hypothesis 3.15). Let \(Z = f^{-1}(\infty ) = \{\tau _1,\ldots ,\tau _m\}\). Let \(V\) be a nonempty Zariski open subset of \(X\) such that \(f(V) \subset {\textbf{A}}^{1}_{k}\). We assume that the ramification points of \(f\) as well as the points \(X{{\textbf {-}}\!{\textbf {-}}} V\) are rational over \(k\) (which is harmless in considering the degree of L-series). Let \(c = {\text {Card}}(Z{{\textbf {-}}\!{\textbf {-}}} V)\).
Then a topological calculation implies that the twisted algebraic de Rham cohomology of a lift of \(f\) has cohomology in degree \(1\) only, and the dimension equals \(2\,g+c+m+d-2\). In this case Theorem 0.2 applies and we conclude that \(L_{f|_{C}}^{-1}(t)\) is a polynomial of degree \(2\,g+c+m+d-2\). This matches the length of the “Hodge polygon” considered by Kramer-Miller [26, Theorem 1.1].
Example 5.4
(Exponential sum on \(\textrm{SL}_{2}\)) Let \(k\) be a finite field of characteristic \(p>0\). Let \(V = k^2\) be the standard representation of \(\textrm{SL}_{2}\). For \(A \in \textrm{SL}_{2}(k)\), let \(A^{(n)}=\textrm{Tr}(\textrm{Sym}^{n}A)\). Then for \(a_1,\ldots ,a_{N} \in k\),
is a regular function on \(\textrm{SL}_{2}\). Then the rigid cohomology \(\textrm{H}^{*}_{\textrm{rig}}(\textrm{SL}_{2};f^{*}{\mathcal {L}}_{\pi })\) is related to the exponential sum
where \(k_m\) is a fixed degree \(m\) extension of \(k\), \(\psi _1\) is a nontrivial additive character on \(k\), \(\psi _m = \psi _1\circ \textrm{Tr}_{k_m/k}\).
If \(p\) is sufficiently large, and if \((a_1,\ldots ,a_N)\) is sufficiently general, we can calculate the dimension of the rigid cohomology using topology. It is not difficult to see \(f^{-1}(t)\) is \(N\) disjoint union of \({\textbf{P}}^{1}\times {\textbf{P}}^{1}{{\textbf {-}}\!{\textbf {-}}} \Delta \). Using the long exact sequence for relative cohomology one sees that \(\textrm{H}^{*}(\textrm{SL}_2({\textbf{C}}),f^{-1}(t);{\textbf{Q}})\) is nonzero only in degree \(1\), and \(3\) and of dimension \(N-1\), \(N+1\) respectively. Thus the L-series \(L_f(t)\) of the exponential sums (5.5) is the reciprocal of a degree \(2N\) polynomial.
7 A remark on Higgs cohomology
Let \(f:X \rightarrow {\textbf{A}}^1\) be a nonconstant morphism from a smooth algebraic variety of pure dimension \(n\) over a field \(k\) to the affine line. We have been studying cohomological objects that are related to the irregular connection \(\nabla _f\). In the theory of twisted algebraic de Rham cohomology, one can associate an irregular Higgs field to the connection \(\nabla _{f}\), i.e., the Higgs field defined by \(\wedge \textrm{d}f\). Thus, in conjunction with the de Rham complex of \(\nabla _f\) one may also study the algebraic Higgs complex
A celebrated theorem of Barannikov–Kontsevich (the first published proof is due to Sabbah [35]; for a \(p\)-adic proof, see Ogus–Vologodsky [33]) asserts that the algebraic Higgs cohomology and the twisted algebraic de Rham cohomology have the same dimension.
In this section we explain how to transplant this to the rigid analytic world. We shall compare a “dagger” variant of the Higgs cohomology with the algebraic Higgs cohomology. Then in the nice situation, Theorem 0.2 allows us to relate twisted rigid cohomology and the dagger Higgs cohomology.
In the work of Adolphson–Sperber [1] on exponential sums, one also finds the use of algebraic Higgs cohomology. In fact their finiteness theorem is deduced from the finiteness of the Higgs cohomology of the reduction. In contrast, the result of this section happens completely on the generic fiber, thereby does not really concern whether the pole divisor has good reduction or not.
6.1
Notation
-
Let \(K\) be a discrete valuation field of characteristic \(0\) whose residue characteristic is \(p\). Let \({\mathfrak {X}}\) be a scheme smooth over a discrete valuation ring \({\mathcal {O}}_{K}\).
-
Let \(f:{\mathfrak {X}} \rightarrow {\textbf{A}}^{1}_{R}\) be a proper function admitting a compactification \({\overline{f}}:\overline{{\mathfrak {X}}} \rightarrow {\textbf{P}}^{1}_{{\mathcal {O}}_K}\), in which \(\overline{{\mathfrak {X}}}\) is smooth over \(R\).
-
Also denote by \({\overline{f}}:{\overline{X}} \rightarrow {\textbf{P}}^{1}_{K}\) and \(f:X \rightarrow {\textbf{P}}^{1}_K\) be the restriction of \(f\) to the generic fibers \({\overline{X}}\) and \(X\) of \(\overline{{\mathfrak {X}}}\) and \({\mathfrak {X}}\) respectively.
-
Let \(V_{r}\) be the inverse image \(f^{-1}({\textbf{D}}^{+}(0;r))\) of the rigid analytic disk under \(f\). Thus \(V_r\) is an rigid analytic subspace of \({\overline{X}}\).
6.2
Hypothesis We assume that \(f:X \rightarrow {\textbf{A}}^{1}_{K}\) has no critical values in \({\textbf{D}}^{-}(\infty ;1)\).
Note that we do not enforce the hypothesis that the components of the pole divisor have good reduction anymore.
6.3
We can consider three types of Higgs cohomology.
-
1.
The algebraic Higgs cohomology
$$\begin{aligned} R\Gamma (X; (\Omega _{X}^{\bullet },\textrm{d}f)) \end{aligned}$$of \(X\).
-
2.
A dagger version of the Higgs cohomology
$$\begin{aligned} R\Gamma ({\overline{X}}^{\textrm{an}}; j_1^{\dagger }(\Omega _{{\overline{X}}^{\textrm{an}}}^{\bullet },\textrm{d}f)), \end{aligned}$$where for a real number \(r\), \(j_{r}:V_r \rightarrow {\overline{X}}\) denotes the open inclusion.
-
3.
The analytic Higgs cohomology
$$\begin{aligned} R\Gamma (V_{r}; (\Omega _{V_{r}}^{\bullet },\textrm{d}f)) \quad (r>1). \end{aligned}$$
Proposition 6.4
Notation as above, the natural morphisms
are quasi-isomorphisms.
Proof
It suffices to prove the first arrow is a quasi-isomorphism, as the third item is obtained from the second by taking colimit with respect to \(r \rightarrow 1^{-}\).
Let \(P\) be the pole divisor of \({\overline{f}}:{\overline{X}} \rightarrow {\textbf{P}}^{1}_K\). For any connected subset \(I\) of \({\textbf{R}}_{\ge 0}\), let \(T_{I}\) be the inverse image of the rigid analytic annulus \(\Delta _{I}(\infty )\) centered at \(\infty \in {\textbf{P}}^{1}\). Thus
Let \(\Omega _{{\overline{X}}^{\textrm{an}}}^{\bullet }(*P)\) be the subcomplex of \(j_{*}\Omega _{X^{\textrm{an}}}^{\bullet }\) consisting of differential forms with at worst poles along \(P\). Then by rigid analytic GAGA, the natural morphism of complexes
is a quasi-isomorphism.
Choose a function \(r\mapsto \delta _r:]{1,\infty }[ \rightarrow {\textbf{R}}\) such that \(1> \delta _{r} > r^{-1}\). For each \(r > 1\), \(V_{r}\) and \(T_{[0,\delta _{r}]}\) form an admissible cover of \({\overline{X}}\). By Mayer–Vietoris, the complex \(R\Gamma ({\overline{X}}^{\textrm{an}},(\Omega _{{\overline{X}} ^{\textrm{an}}}^{\bullet }(*{P}),\textrm{d}f))\) is the homotopy kernel of
We shall show that the natural morphism
is a quasi-isomorphism (in fact, we shall show both are acyclic).
Below we shall write \(a=r^{-1}\), \(b=\delta _r\). Thus \(0<a<b<1\). Let \(U = \textrm{Sp}(A)\) be an affinoid subdomain of \(T_{[0,b]}\) admitting an étale morphism to the disk \({\textbf{D}}^{+}(0;1)^{n}\). Then \(W = U \cap T_{[a,b]}\) is an affinoid subdomain of \(U\) as \(T_{[a,b]} \rightarrow T_{[0,b]}\) is an affinoid morphism. It suffices to prove the restrictions of the two Higgs complexes on respectively \(U\) and \(W\) are acyclic.
Write \(W=\textrm{Sp}(B)\). Then the morphism \(f:{\overline{X}} \rightarrow {\textbf{P}}^{1}\) gives rise to an element in \(A\), and an element in \(B\) via the morphism \(A \rightarrow B\). With respect to the the coordinate system provided by the étale morphism \(U\rightarrow {\textbf{D}}^{+}(0;1)^{n}\), the Higgs complex of \(B\) is the Koszul complex \(\textrm{Kos}(B^{\oplus n};\frac{\partial f}{\partial x_{1}},\ldots ,\frac{\partial f}{\partial x_n})\) associated with the partial derivatives \(\partial {f}/\partial x_{i}\). Since \(f\) is smooth, the Jacobian ideal (i.e., the ideal formed by the partials derivatives of \(f\)) cuts out the empty rigid analytic space. By Nullstellensatz for affinoid algebras, the Jacobian ideal equals the unit ideal of \(B\). The acyclicity of the Koszul complex then follows from a standard algebra lemma, Lemma 6.5 below.
The exactness of the “moderate Higgs complex” on \(\textrm{Sp}(A)\) is acyclic is proved similarly. We apply Lemma 6.5 to \(A[1/f]\) and the partial derivatives of \(f\). Again, since \(f\) is smooth, the ordinary Hilbert Nullstellensatz implies that the Jacobian ideal of \(f\) form the unit ideal of \(A[1/f]\). \(\square \)
Lemma 6.5
Let \(R\) be a commutative ring. Let \(a_1,\ldots ,a_n \in R\) be elements such that \(\sum a_i R = R\). Then the Koszul complex \(\textrm{Kos}(R^{\oplus n};a_1,\ldots ,a_n)\) is exact in every degree.
Proof
We can assume \(R\) is local since we can check the exactness at every prime. In this local situation, our condition is equivalent to saying that at least one of the elements \(a_i\) is a unit in R, hence without loss of generality we may assume \(a_1\) is a unit in R. Since we have a factorization:
it suffices to note that \(R \xrightarrow {\cdot a_1} R\) is acyclic. \(\square \)
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
We say \(t\) is a typical value of \(f\) if \(t\) falls in the largest open subset of \({\textbf{A}}^{1,\textrm{an}}\) on which \(R^{i}f_{*}{\textbf{Q}}\) are locally constant for all \(i\).
The André–Baldassarri theorem as stated in [2] does not immediately imply the said isomorphy, as the variety we consider is not assumed to be defined over a number field. Instead of walking through their dévissage argument, we shall present an alternative proof of it.
References
Adolphson, A., Sperber, S.: Newton polyhedra and the degree of the L-function associated to an exponential sum. Invent. Math. 88(3), 555–569 (1987)
André, Y., Baldassarri, F.: De Rham cohomology of differential modules on algebraic varieties, Progress in Mathematics, vol. 189. Birkhäuser Verlag, Basel (2001)
Baldassarri, F.: Comparaison entre la cohomologie algébrique et la cohomologie \(p\)-adique rigide à coefficients dans un module différentiel. I. Cas des courbes. Invent. Math. 87(1), 83–99 (1987)
Berthelot, P.: Cohomologie rigide et théorie de Dwork: le cas des sommes exponentielles. Astérisque 119–120(3), 17–49 (1984)
Berthelot, P.: Géométrie rigide et cohomologie des variétés algébriques de caractéristique \(p\), Mém. Soc. Math. France (N.S.) (1986), no. 23, 3, 7–32, Introductions aux cohomologies \(p\)-adiques (Luminy, 1984)
Bombieri, E.: On exponential sums in finite fields. Am. J. Math. 88, 71–105 (1966)
Chiarellotto, B.: Sur le théorème de comparaison entre cohomologies de de Rham algébrique et \(p\)-adique rigide. Ann. Inst. Fourier (Grenoble) 38(4), 1–15 (1988)
Christol, G., Mebkhout, Z.: Sur le théorème de l’indice des équations différentielles \(p\)-adiques. II, Ann. Math. (2) 146(2), 345–410 (1997)
Christol, G., Mebkhout, Z.: Sur le théoréme de l’indice des équations différentielles \(p\)-adiques. IV, Invent. Math. 143(3), 629–672 (2001)
Clark, D.N.: A note on the \(p\)-adic convergence of solutions of linear differential equations. Proc. Am. Math. Soc. 17, 262–269 (1966)
Cohen, D. C., Suciu, A. I.: On Milnor fibrations of arrangements. J. Lond. Math. Soc. (2) 51(1), 105–119 (1995)
Crew, R.: Canonical extensions, irregularities, and the Swan conductor. Math. Ann. 316(1), 19–37 (2000)
Deligne, P., Katz, N. M.: Groupes de monodromie en géométrie algébrique. II, Lecture Notes in Mathematics, Vol. 340, Springer-Verlag, Berlin-New York: Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 II). Dirigé par P. Deligne et N, Katz (1973)
Deligne, P., Malgrange, B., Ramis, J.-P.: Singularités irrégulières, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], vol. 5, Société Mathématique de France, Paris (2007) Correspondance et documents. [Correspondence and documents]
Deligne, P.: Équations différentielles à points singuliers réguliers. Lecture Notes in Mathematics, vol. 163. Springer, Berlin (1970)
Denef, J., Loeser, F.: Weights of exponential sums, intersection cohomology, and Newton polyhedra. Invent. Math. 106(2), 275–294 (1991)
Dimca, A., Saito, M.: On the cohomology of a general fiber of a polynomial map. Compos. Math. 85(3), 299–309 (1993)
Dwork, B.: On exponents of \(p\)-adic differential modules. J. Reine Angew. Math. 484, 85–126 (1997)
Dwork, B.: On the zeta function of a hypersurface. Inst. Hautes Études Sci. Publ. Math. 12, 5–68 (1962)
Dwork, B.: On the zeta function of a hypersurface. II. Ann. Math. 2(80), 227–299 (1964)
Ée, J.-Y., Le Stum, B.: Fonctions \(L\) associées aux \(F\)-isocristaux surconvergents. I. Interprétation cohomologique. Math. Ann. 296(3), 557–576 (1993)
Freséan, J., Jossen, P.: Exponential motives, Work in progress available at http://javier.fresan.perso.math.cnrs.fr/expmot.pdf
Katz, N.M.: Sommes exponentielles, Astérisque, vol. 79, Société Mathématique de France, Paris,: Course taught at the University of Paris, Orsay, Fall 1979. With a preface by Luc Illusie, Notes written by Gérard Laumon, With an English summary (1980)
Kiran, S.: Kedlaya, \(p\)-Adic Differential Equations, Cambridge Studies in Advanced Mathematics, vol. 125. Cambridge University Press, Cambridge (2010)
Kiran, S.: Kedlaya, Finiteness of rigid cohomology with coefficients. Duke Math. J. 134(1), 15–97 (2006)
Kramer-Miller, J.: \(p\)-adic estimates of exponential sums on curves. Algebra Number Theory 15(1), 141–171 (2021)
Le Stum, B.: Rigid Cohomology, Cambridge Tracts in Mathematics, vol. 172. Cambridge University Press, Cambridge (2007)
Li, Peigen: Exponential sums and rigid cohomology. Finite Fields Appl. 81, Paper No. 102031, 16 (2022)
Malgrange, B.: Équations différentielles á coefficients polynomiaux, Progress in Mathematics, vol. 96. Birkhäuser Boston Inc, Boston, MA (1991)
Malgrange, B.: Sur les points singuliers des équations différentielles. Enseign. Math. 2(20), 147–176 (1974)
Matsuda, S.: Local indices of \(p\)-adic differential operators corresponding to Artin-Schreier-Witt coverings. Duke Math. J. 77(3), 607–625 (1995)
Maxim, L., Saito, Morihiko, Schürmann, J.: Hirzebruch-Milnor classes of complete intersections, Adv. Math. 241, 220–245 (2013)
Ogus, A., Vologodsky, V.: Nonabelian Hodge theory in characteristic \(p\). Publ. Math. Inst. Hautes Études Sci. 106, 1–138 (2007)
Robba, P.: Index of \(p\)-adic differential operators. III. Application to twisted exponential sums, Astérisque (1984), no. 119-120, 7, 191–266, \(p\)-adic cohomology
Sabbah, C.: On a twisted de Rham complex. Tohoku Math. J. (2) 51(1), 125–140 (1999)
Sabbah, C.: On the comparison theorem for elementary irregular D-modules. Nagoya Math. J. 141, 107–124 (1996)
Tsuzuki, N.: On base change theorem and coherence in rigid cohomology, Doc. Math. (2003), no. Extra Vol., 891–918, Kazuya Kato’s fiftieth birthday
Tsuzuki, N.: The local index and the Swan conductor. Compos. Math. 111(3), 245–288 (1998)
Acknowledgements
We are grateful to Daqing Wan for communications on several examples of exponential sums and for pointing out Katz’s theorem. We would like to thank the referee for his/her helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, S., Zhang, D. Exponentially twisted de Rham cohomology and rigid cohomology. Math. Ann. (2023). https://doi.org/10.1007/s00208-023-02772-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00208-023-02772-x