--- abstract: 'Let $E$ is be vector bundle with meromorphic connection on ${\mathbb{P}}^1/k$ for some field $k \subset {\mathbb{C}}$, and let $\mathbf{E}$ be the sheaf of horizontal sections on the analytic points of $X$. The irregular Riemann-Hilbert correspondence states that there is a canonical isomorphism between the De Rham cohomology of $L$ and the 'moderate growth' cohomology of $\mathbf{L}$. Recent work of Beilinson, Bloch, and Esnault has shown that the determinant of this map factors into a product of local '$\varepsilon$-factors' which closely resemble the classical $\varepsilon$-factors of Galois representations. In this paper, we show that $\varepsilon$-factors for rank one connections may be calculated explicitly by a Gauss sum. This formula suggests a deeper relationship between the De Rham $\varepsilon$-factor and its Galois counterpart.' author: - Christopher Bremer title: Epsilon Factors for Meromorphic Connections and Gauss Sums --- Introduction ============ Motivation ---------- The theory of $\varepsilon$-factors originates from a curious asymmetry in the functional equation of a Zeta function, first observed by Tate. Suppose that $F$ is a local field and $\chi$ is a character of $F^\times$. If $\Phi$ is a test function on $F$, we may define a zeta function $Z(\Phi, \chi, s)$ in the usual way. The ratio $\Xi(\Phi, \chi, s) = \frac{Z(\Phi, \chi, s)}{L(\chi, s)}$, where $L(\chi, s)$ is the $L$ function associated to $\chi$, satisfies a functional equation: $$\label{functionalequation} \Xi(\widehat{\Phi}, \chi^\vee, 1-s) = \varepsilon(\chi, s, \psi) \, \Xi(\Phi, \chi, s).$$ Above, $\chi^\vee$ is the contragredient of $\chi$ and $\widehat{\Phi}$ is the Fourier transform of $\Phi$; notice that the construction of the Fourier transform requires a choice of an additive character, which we denote by $\psi$. In particular, the functional equations of $L$ and $Z$ differ by an error term $\varepsilon (\chi, s, \psi)$ that only depends on $\chi$ and $\psi$. We recall a few standard properties of $\varepsilon(\chi, s, \psi)$, taken from @BH chapter 6. Let $U^j$ be the $j^{th}$ unit subgroup of $F^\times$. Suppose that $\psi$ has conductor $c(\psi)$, and let $a(\chi)$ be the least integer such that $\chi|_{U^a}$ is the trivial character. First of all, if the residue field of $F$ has order $q$, then $$\varepsilon(\chi, s, \psi) = q^{(\frac{1}{2} -s) \left(a(\chi)+ c(\psi)\right)} \varepsilon (\chi, 1/2, \psi).$$ In particular, $\varepsilon(\chi, s, \psi)$ is a monomial in the ring ${\mathbb{C}}[q^{s/2},q^{-s/2}]$ (resp. $\overline{{\mathbb{Q}}}_\ell [q^{s/2},q^{-s/2}]$, depending on the field of coefficients). For historical reasons, we will take the convention $\varepsilon (\chi, \psi) = q^{\frac{1}{2} c(\psi)} \varepsilon (\chi, 0, \psi)$; by our previous observation, this quantity uniquely determines $\varepsilon (\chi, s, \psi)$. When $\chi$ is ramified, then $\varepsilon(\chi, \psi)$ may be calculated in terms of a Gauss sum. In particular, if $dz$ is the Haar measure on $F$ normalized so that the ring of integers $\mathfrak{o}$ has measure $1$, $$\label{localgausssum} \varepsilon(\chi, \psi) = \int_{\gamma^{-1} \mathfrak{o}} \chi(z)^{-1} \psi(z) dz.$$ Above, $\gamma$ is an element of $F^\times$ chosen to have valuation $a(\chi)+ c( \psi)$. Geometric $\varepsilon$-factors ------------------------------- If we consider the Tate $\varepsilon$-factor through the lens of class field theory, a very different picture emerges. Fix a separable algebraic closure $\bar{F}$ of $F$ and let $\mathscr{W}_F \subset {\mathrm{Gal}}(\bar{F}/F)$ be the Weil group of $F$. Then, the abelianization of $\mathscr{W}_F$ is isomorphic to $F^\times$; in particular, we may think of the $\varepsilon$ factor as an invariant of abelian Galois representations of $\mathscr{W}_F$. A deep theory, due to Langlands and Deligne (@De2), shows that there exists a natural generalization of the $\varepsilon$ factor to $n$ dimensional semisimple smooth representations of $\mathscr{W}_F$. The Deligne-Langlands $\varepsilon$-factor, or 'local constant,' has been studied extensively as one of the core invariants of the Langlands corresponence. In particular, if we specialize to the case where $F$ is a function field, then the Deligne-Langlands $\varepsilon$-factor has some very nice properties as a purely geometric invariant. Suppose that $X/k$ is an algebraic curve in positive characteristic with function field $K$, and let $\mathscr{F}$ be an irreducible smooth $\ell$-adic sheaf of rank $n$ on some dense open subset $ j : V \hookrightarrow X$. Let $\bar{k}$ be an algebraic closure of the field of coefficients. We define $$\varepsilon(X, j_* \mathscr{F}) = \det (R \Gamma_c (V \times_k {\mathrm{Spec}}(\bar{k}), j_*\mathscr{F}))^{-1}.$$ This is a graded line in degree $-\chi(X, \mathscr{F})$, where $\chi$ is the usual Euler characteristic. If $k = \mathbb{F}_q$, the geometric Frobenius, ${\mathrm{Frob}}_q$, acts on $\varepsilon(X, \mathscr{F})$; in particular, the determinant of $-{\mathrm{Frob}}_q$ is a constant in $\bar{{\mathbb{Q}}}_\ell$.[^1] We can recover the local constant by restricting $\mathscr{F}$ to the Henselization $X_{(x)}$ of $X$ at a closed point $x \in \lvert X \rvert$. If $X_{(x)}= {\mathrm{Spec}}(R)$, then any one form $\nu$ defines an additive character on $R$ by $\psi_\nu (r) = {\mathrm{Res}}(r \nu)$. The local constants, denoted by $\varepsilon(X_{(x)}; (j_* \mathscr{F})|_{X_{(x)}}, \nu)$, are graded lines with coefficients in $\bar{{\mathbb{Q}}}_\ell$ along with a canonical action of ${\mathrm{Frob}}_q$. For instance, suppose that $F$ is the field of fractions of $R$ and $\eta_x$ is the generic point. Then, when $\mathscr{F}_{\eta_x}$ has rank $1$, $\mathscr{F}_{\eta_x}$ defines an abelian representation $\chi$ of $\mathscr{W}_F$. In this case, (@Lau, théorème 301.510.4380, (v)), $$\varepsilon (\chi, \psi_\nu) = {\mathrm{Tr}}\left(-{\mathrm{Frob}}_q , \varepsilon (X_{(x)}, (j_* \mathscr{F})_{\eta_x}, \nu)\right).$$ The essential property of the geometric $\varepsilon$ factor, conjectured by Deligne and proved by Laumon, is the product formula ( @Lau, théorème 301.510.4380): $$\begin{gathered} \label{Laumonprodfla} \det (-{\mathrm{Frob}}_q, \varepsilon(X; j_* \mathscr{F})) = \\ q^{C (1-g) r(\mathscr{F})} \prod_{x \in \lvert X \rvert} ({\mathrm{Tr}}(-{\mathrm{Frob}}_q, \varepsilon (X_{(x)}; (j_* \mathscr{F})|_{X_{(x)}}, \nu |_{X_{(x)}}) )\end{gathered}$$ Above, $\nu$ is a global meromorphic $1$ form, $C$ is the number of connected components of $X \times_k \bar{k}$, $r(\mathscr{F})$ is the generic rank of $\mathscr{F}$, and $g$ is the genus of $X$. De Rham $\varepsilon$-Factors {#subsec:DRepsilonfactors} ----------------------------- Given the geometric nature of the Deligne-Langlands $\varepsilon$-factor, one might ask whether there is an analogous invariant for De Rham cohomology. This question dates back to Laumon (@Lau), in which he cites Witten's proof of the Morse inequalities as the motivation for his proof of the product formula (\[Laumonprodfla\]). Early work on the subject was presented by Deligne at an IHES seminar in 1984; however, interest in De Rham $\varepsilon$-factors has been revived by the recent work of Beilinson, Bloch and Esnault (@Be, @BBE). In order to get a handle on the De Rham theory, it is best to work globally to locally. In particular, suppose that $X/k$ is a smooth projective curve with coefficients in $k \subset {\mathbb{C}}$, and $E$ is a meromorphic connection that is smooth on $j: V \hookrightarrow X$. Let $\mathbf{E}_{\mathbb{C}}$ be the perverse sheaf of horizontal sections of $E^{an}$ on $V^{an}$. According to the irregular Riemann-Hilbert correspondence (see section \[stokesfiltrations\]), there is a Stokes filtration $\{\mathbf{E}^*\}$ on sectors around the singular points of $E$. If we let $\mathbf{E}^0$ be the zero filtered part, there is a natural isomorphism[^2] $$\label{introiso} H^*_{{\mathrm{DR}}} (X; E) \otimes_k {\mathbb{C}}\cong H^* (X^{an}; j_* \mathbf{E}^0)$$ (theorem \[stokesderhamtheorem\]). The situation becomes more interesting if there is a reduction of structure for $\mathbf{E}_{\mathbb{C}}$ to a field $M \subset {\mathbb{C}}$, denoted $\mathbf{E}_M$, that is compatible with the stokes kristin55@example.com. We define the global $\varepsilon$ factor of the pair $(E, \mathbf{E}_M)$ to be the pair of lines $(\varepsilon_{\mathrm{DR}}(X; j_*E), \varepsilon_B (X^{an}; j_*(\mathbf{E}_M^*)))$ defined by $$\label{globalepsilonfactor} \begin{aligned} \varepsilon_{\mathrm{DR}}(X; j_* E) & = \det(H^*_{{\mathrm{DR}}} (X; j_*E)) \\ \varepsilon_B (X^{an}; j_*(\mathbf{E}_M^*)) &= \det(H^* (X^{an}, j_* \mathbf{E}_M^0)). \end{aligned}$$ Notice that $\varepsilon_{\mathrm{DR}}(X; j_*E)$ and $\varepsilon_B(X^{an}; j_* \mathbf{E}_M^*)$ are graded lines in degree $-\chi (X; E)$. Furthermore, there is a canonical isomorphism $$\label{globalepsiso} \varepsilon_{\mathrm{DR}}(X; E) \otimes_k {\mathbb{C}}\cong \varepsilon_B(X^{an}; j_*\mathbf{E}_M^*) \otimes_M {\mathbb{C}}$$ defined by (\[introiso\]). If we choose $k$ and $M$ to be sufficiently small, this map contains non-trivial arithmetic data. In @Be and @BBE, Beilinson, Bloch and Esnault demonstrate that there are local $\varepsilon$-factorizations[^3] of $\varepsilon_B(X^{an}; j_* \mathbf{E}_M^*)$ and $\varepsilon_{\mathrm{DR}}(X; j_*E)$. Specifically, for each closed point $x \in X(k)$, we may localize $j_*E$ to a formal connection $\hat{E}_x$ on the completion $X_{(x)}$ of $X$ at $x$ and $j_*\mathbf{E}^*_M$ to a filtered local system $(\mathbf{E}^*_{M})_x$ on a small analytic neighborhood $\Delta_x$ containing $x$. Then, there is a theory of local $\varepsilon$ factors for $X_{(x)}$ (resp. $\Delta_x$): if we fix a global one form $\nu$, there are canonical isomorphisms $$\label{BBEprodfla} \begin{aligned} \varepsilon_{{\mathrm{DR}}} (X; j_*E) & \cong \bigotimes_{x \in X} \varepsilon (X_{(x)}; \hat{E}_x, \nu) \\ \varepsilon_{B} (X^{an}; j_* \mathbf{E}^*_M) & \cong \bigotimes_{x \in {\mathbb{P}}^1} \varepsilon (\Delta_x; (\mathbf{E}^*_M)_x, \nu). \end{aligned}$$ Using a local Fourier transform, Bloch and Esnault have shown that there exist isomorphisms $$\label{periodepsilon} \varepsilon (X_{(x)}; \hat{E}_x, \nu) \otimes_k {\mathbb{C}}\cong \varepsilon (\Delta_x; (\mathbf{E}_M^*)_x, \nu) \otimes_M {\mathbb{C}}$$ that are compatible with (\[globalepsiso\]). Thus, we have a theory of local Betti and De Rham $\varepsilon$-factors that resemble the Deligne-Langlands local constants. The main cosmetic difference is that now we have two lines that are identified by a canonical Riemann-Hilbert isomorphism, whereas before we had a single line with a canonical Frobenius endomorphism. In the process, however, the connection between $\varepsilon$-factors and representation theory becomes obscured. In this paper, we will show that the De Rham and Betti $\varepsilon$-factors for rank one connections may be calculated in terms of a Gauss sum. This problem was originally suggested by Bloch and Esnault in @BE2, and our approach owes much to their study of Gauss-Manin determinants. Furthermore, the work of Bushnell *et. al.* (@Bu, @BF) suggests that there should be a non-commutative Gauss sum formula for $\varepsilon$-factors in higher rank; using the 'induction' axiom for $\varepsilon$-factors and the Gauss sum formula in rank $1$, we have seen positive results in this direction (@Br). Results {#subsec:gausssums} ------- In rank one, the Stokes filtration is entirely determined by a Morse function. Therefore, most of our data will consist of pairs $(\mathscr{L}, {\boldsymbol{\mathcal{L}}})$, called 'Betti structures': $\mathscr{L}$ is a holonomic ${\mathcal{D}}$-module and ${\boldsymbol{\mathcal{L}}}$ is a perverse sheaf with coefficients in $M$. These objects are related by a fixed isomorphism ${\mathrm{DR}}(\mathscr{L}) \cong {\boldsymbol{\mathcal{L}}} \otimes_M {\mathbb{C}}$. The Morse function $\alpha$ is a meromorphic function determined by $\mathscr{L}$. In the global case, we denote the 'rapid decay' complex of $({\boldsymbol{\mathcal{L}}}, \alpha)$ on $V^{an}$ by $R \Gamma_c (V^{an}; {\boldsymbol{\mathcal{L}}}, \alpha)$. In particular, there is a natural quasi-isomorphism $$R \Gamma_c (V^{an}; {\boldsymbol{\mathcal{L}}}, \alpha) \otimes_M {\mathbb{C}}\cong R \Gamma_c (V; \mathscr{L}) \otimes_k {\mathbb{C}}.$$ It is instructive to consider the case where the underlying scheme is ${\mathrm{Spec}}(k)$. Then, $\mathscr{L}$ is a $k$ line, ${\boldsymbol{\mathcal{L}}}$ is an $M$ line, and there is a fixed map $\mathscr{L} \otimes_k {\mathbb{C}}\cong {\boldsymbol{\mathcal{L}}} \otimes_M {\mathbb{C}}$. It is easy to see that isomorphism classes of pairs $(\mathscr{L}, {\boldsymbol{\mathcal{L}}})$ in degree $0$ correspond to double cosets in $k^\times \backslash {\mathbb{C}}^\times / M^\times$; if $\xi \in {\mathbb{C}}$ is a coset representative, we denote the corresponding pair of lines in degree $d$ by $(\xi) [-d]$. There is a natural tensor structure on such pairs, which amounts to $(\xi)[-d] \otimes (\xi')[-d'] = (\xi \xi')[-d-d']$. Returning to the case where $V$ is a quasi-projective variety, if $\mathscr{L}$ is non-singular at a point $i_x : x \to V$, we denote $$(\mathscr{L}, {\boldsymbol{\mathcal{L}}}; x) = (i_x^* \mathscr{L}[-\dim(V)], i_x^* {\boldsymbol{\mathcal{L}}}[-\dim(V)]).$$ Notice that the shift is necessary to ensure that the lines are in degree $0$. First, we consider the local picture. The pair $(\hat{L}, \hat{\mathbf{L}})$ consists of the following: $\hat{L}$ is a formal holonomic ${\mathcal{D}}$-module with coefficients in $\mathfrak{o} = k[[t]]$; and $\hat{\mathbf{L}}$ is a perverse sheaf on an analytic disc $\Delta$ that is constructible with respect to the stratification $\{0\} \subset \Delta$. If $j$ is the inclusion of the generic point of ${\mathrm{Spec}}(\mathfrak{o})$, it will suffice to consider the case where $\hat{L} = j_! j^* \hat{L}$. We suppose that $\hat{L}$ has irregularity index $f$ at $0$. We use local class field theory to define a 'character sheaf' $(\mathscr{L}, {\boldsymbol{\mathcal{L}}})$ associated to $(\hat{L}, \hat{\mathbf{L}})$. As before, $\{U^i \subset \mathfrak{o}^\times : i \ge 0 \}$ are the congruence subgroups with $U^0(k) \cong \mathfrak{o}^\times$; furthermore, we let $F^\times$ be the group ind-scheme defined by $\coprod_{n \in \mathbb{Z}} t^n U^0$. Then, $(\mathscr{L}, {\boldsymbol{\mathcal{L}}})$ is an invariant Betti structure on $F^\times / U^{f+1}$: $\mathscr{L}$ is an invariant line bundle with connection, and ${\boldsymbol{\mathcal{L}}}$ is an invariant local system with equivariant Morse function $\beta$. As in the arithmetic theory, any non-zero one form $\nu \in \Omega^1_{\mathfrak{o}/k}$ determines a Fourier sheaf $(\mathscr{F}_\nu, {\boldsymbol{\mathcal{F}}}_\nu, \psi_\nu)$. Let $c(\nu)$ be the order of the zero (or pole) of $\nu$, and define $a(\mathscr{L}) = f+1$.[^4] We define a Gauss sum by $$\begin{aligned} \tau (\mathscr{L}, {\boldsymbol{\mathcal{L}}}; \nu) & = (\tau_{\mathrm{DR}}(\mathscr{L}; \nu), \tau_B({\boldsymbol{\mathcal{L}}}, \beta; \nu) )\\ \tau_{\mathrm{DR}}(\mathscr{L}; \nu) &= R \Gamma_c (\gamma^{-1} U /U^{f+1}; \mathscr{L} \otimes_{{\mathcal{O}}} \mathscr{F}_\nu) \\ \tau_{\mathrm{DR}}({\boldsymbol{\mathcal{L}}}, \beta; \nu) &= R \Gamma_c ((\gamma^{-1} U /U^{f+1})^{an}; {\boldsymbol{\mathcal{L}}} \otimes_{M} {\boldsymbol{\mathcal{F}}}_\nu, \beta + \psi_\nu). \end{aligned}$$ Above, $\gamma$ is an element of $F^\times$ of degree $c(\nu)+a(\mathscr{L})$. \[GaussSumCalcintro\] $\tau(\mathscr{L}, {\boldsymbol{\mathcal{L}}}; \nu)$ is a pair of lines in degree $0$. Furthermore, there exists $\delta \in k$ and $g \in F^\times$ of degree $-c(\nu) - a(\mathscr{L})$ determined by $\mathscr{L}$ with the following property: 1. when $a = 1$, $$\tau (\mathscr{L}, {\boldsymbol{\mathcal{L}}}; \nu)=(\Gamma (\delta))^{-1} \otimes (\mathscr{L}, {\boldsymbol{\mathcal{L}}}, g),$$ where $\Gamma$ is the usual gamma function; 2. when $a= a(\mathscr{L}) >1$, $$\tau (\mathscr{L}, {\boldsymbol{\mathcal{L}}}; \nu)= (e^{-{\mathrm{Res}}(g \nu)} ) \otimes (\sqrt{\frac{\delta}{2 \pi}})^{a} \otimes (\sqrt{-1})^{\lfloor \frac{a}{2} \rfloor} \otimes (\mathscr{L}, {\boldsymbol{\mathcal{L}}}, g).$$ This theorem is proved in section \[Sec:Gauss Sums\], theorem \[GaussSumCalc\]. We define $$\varepsilon ( \mathscr{L}, {\boldsymbol{\mathcal{L}}}; \nu) = (2 \pi \sqrt{-1})^{c(\nu)}\otimes \tau (\mathscr{L}^\vee, {\boldsymbol{\mathcal{L}}}^\vee; \nu)[-c(\nu) -a(\mathscr{L})] .$$ Our main theorem is that the local $\varepsilon$-factors satisfy a global product formula on ${\mathbb{P}}^1$. We now suppose that $L$ is a line bundle with connection on $V \subset X = {\mathbb{P}}^1$, and $(L, \mathbf{L})$ is a Betti structure for $L$. Denote the inclusion of $V$ in $X$ by $j$. If $x \in X(k)$, we denote the localization of $(j_!L, j_!\mathbf{L})$ to ${\mathrm{Spec}}(\hat{{\mathcal{O}}}_{X, x})$ (resp. $\Delta_x$) by $(\hat{L}_x, \hat{\mathbf{L}}_x)$. Let $(\mathscr{L}_x, {\boldsymbol{\mathcal{L}}}_x)$ be the character sheaf associated to $(\hat{L}_x, \hat{\mathbf{L}}_x)$. Define $$\varepsilon (x; \hat{L}_x, \hat{\mathbf{L}}_x ; \nu) = \left\{ \begin{array}{cc} (L, \mathbf{L}; x)^{c(\nu)} , & x \in V \\ \varepsilon (\mathscr{L}_x^\vee, {\boldsymbol{\mathcal{L}}}_x^\vee; \nu), & x \in X \backslash V, \end{array} \right.$$ where $(\mathscr{L}^\vee, {\boldsymbol{\mathcal{L}}}^\vee)$ is the pullback of $(\mathscr{L}, {\boldsymbol{\mathcal{L}}})$ by the inverse map on $F^\times$. There is a canonical isomorphism of graded lines $$\varepsilon(X; j_!L, j_!\mathbf{L}) \cong (2 \pi \sqrt{-1})\bigotimes_{x \in {\mathbb{P}}^1} \varepsilon(\hat{L}_x, \hat{\mathbf{L}}_x; \nu).$$ Notice that this theorem, proved in section \[subsecprodfla\], specializes to the index formula for irregular singular connections (theorem \[indexthm\]) if we consider only degree. The proof follows Deligne's proof of the product formula in positive characteristic @De. The missing ingredient is a Künneth formula for rapid decay cohomology. Suppose that $U$ and $V$ are smooth complex analytic varieties. Let ${\boldsymbol{\mathcal{M}}}$ and ${\boldsymbol{\mathcal{N}}}$ be local systems on $U$ and $V$, and suppose that $\phi$ (resp. $\psi$) is a regular function on $U$ (resp. $V$). Then, there is a natural quasi-isomorphism $$R \Gamma_c (U\times V; {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, \phi + \psi) \cong R \Gamma_c (U; {\boldsymbol{\mathcal{M}}}, \phi) \boxtimes R \Gamma_c (V; {\boldsymbol{\mathcal{M}}}, \psi).$$ This theorem is a variation on the Thom-Sebastiani theorem, found in @Sch Theorem 1.2.2. The version needed here is proved in section \[sec:kunneth\]. This research was completed as part of the author's doctoral thesis at the University of Chicago, and this paper was written while he was a VIGRE post-doctoral researcher at Louisiana State University, grant DMS-0739382. The author would like to thank his thesis advisor Spencer Bloch, who originally suggested the problem and generously shared his manuscript on the $\varepsilon$-factorization of the period determinant. The author is also grateful to Alexander Beilinson, Hélène Esnault, and Claude Sabbah for helpful discussions, and would like to acknowledge their work as the primary inspiration for this paper. Riemann Hilbert Correspondence ============================== We begin with a review of the theory of algebraic ${\mathcal{D}}$-modules. The main references will be @Ber and @HTT, but the material specific to ${\mathcal{D}}$-modules on curves is found in @Mal and @Sa1. Throughout, $k$ and $M$ will be fields with fixed imbedding in ${\mathbb{C}}$; $k$ will be field of definition for De Rham cohomology, and $M$ will be the field of definition for moderate growth cohomology. Typically, $k$ will be an algebraic extension of ${\mathbb{Q}}$, and $M = {\mathbb{Q}}(e^{2 \pi \sqrt{-1} \alpha_1}, \ldots, e^{2 \pi \sqrt{-1} \alpha_n})$ for $\alpha_i \in k$. Holonomic D-modules and Constructible Sheaves --------------------------------------------- In this section, $k$ will be an algebraically closed field with fixed imbedding $k \subset {\mathbb{C}}$. Let $X/k$ be a smooth, quasi-projective algebraic variety, and suppose that $\mathscr{F}$ is a holonomic ${\mathcal{D}}_X$-module[^5]. There is a dualizing sheaf ${\mathcal{D}}_{X}^\Omega$(@Ber, Lecture 3, section 5), and we define $${\mathbb{D}}(\mathscr{F}) = R {\mathcal{H}om}_{{\mathcal{D}}_X} (\mathscr{F}, {\mathcal{D}}_X^\Omega).$$ In general, ${\mathbb{D}}({\mathbb{D}}(\mathscr{F})) \cong \mathscr{F}$ whenever $\mathscr{F}$ is coherent; however Roos's theorem (*ibid.*) implies that ${\mathbb{D}}(\mathscr{F})$ is concentrated in degree $0$ if and only if $\mathscr{F}$ is holonomic. When $\mathscr{F}$ is an integrable connection, ${\mathbb{D}}(\mathscr{F}) \cong \mathscr{F}^\vee$, where $\mathscr{F}^\vee$ is the dual connection. We will adopt the notation of @Ber to describe inverse and direct images of ${\mathcal{D}}$-modules. Therefore, if $\phi : Y \to X$ is a morphism of varieties, we use $ {\phi^.} (\mathscr{F}) = {\mathcal{O}}_{Y} \otimes_{{\mathcal{O}}_X} \mathscr{F} $ to denote the standard pull-back for ${\mathcal{D}}$-modules. In the derived category, $$\begin{aligned} {\phi^!} (\mathscr{F}) & = L {\phi^.} (\mathscr{F}) [ \dim(X)-\dim(Y)], \\ {\phi^*} (\mathscr{F}) & = {\mathbb{D}}({\phi^!} {\mathbb{D}}(\mathscr{F})), \end{aligned}$$ and ${\phi_!}$ is the left (resp. $\phi_*$ is the right) adjoint of ${\phi^!}$ (resp. ${\phi^*}$). When $X = {\mathrm{Spec}}(k)$, and $\mathscr{F}'$ is a holonomic ${\mathcal{D}}_Y$-module, we define $$\begin{aligned} R \Gamma (Y; \mathscr{F}') &= {\phi_*} \mathscr{F}' & \text{and}\\ R \Gamma_c (Y; \mathscr{F}') & = {\phi_!} \mathscr{F}'. \end{aligned}$$ When $\mathscr{F}$ is holonomic, there exists an open, dense subset $j : V \hookrightarrow X$ with the property that ${j^*} \mathscr{F}$ is ${\mathcal{O}}_V$-coherent (@Be, lecture 2). Therefore, if $i : Y \hookrightarrow X$ is the complement of $V$, there is a distinguished triangle $$\label{localtriangle} {i_*}{i^!} \mathscr{F} \to \mathscr{F} \to {j_*} {j^*} \mathscr{F} \xrightarrow{[1]}$$ in the derived category of ${\mathcal{D}}_X$-modules with holonomic cohomology. In particular, ${j^*} \mathscr{F}$ is quasi-isomorphic to a vector bundle on $V$ with algebraic connection. When $X$ is a curve, $Y \cong \coprod {\mathrm{Spec}}(k)$ and ${i^!} \mathscr{F}$ is a direct sum of complexes of $k$-vector spaces. The projection formula (@Ber, Lecture 3 section 12) for ${\mathcal{D}}$-modules states that $${\phi_*} (\mathscr{F}' \otimes^L_{{\mathcal{O}}_Y} {\phi^!} \mathscr{F}) \cong {\phi_*} (\mathscr{F}') \otimes^L_{{\mathcal{O}}_X} \mathscr{F}[\dim(Y)-\dim(X)].$$ Let $X$ and $Y$ be smooth varieties over $k$, and suppose that $\mathscr{F}$ is a ${\mathcal{D}}_Y$-module and $\mathscr{F}'$ is a ${\mathcal{D}}_X$-module. We denote the exterior tensor product of $\mathscr{F}$ and $\mathscr{F}'$ on $X \times Y$ by $\mathscr{F} \boxtimes \mathscr{F}'$ (@Ber, lecture 3.11). There is a Künneth formula for ${\mathcal{D}}$-modules: \[Künneth Formula\]\[kunneth\] There are natural isomorphisms $$\label{stdkunneth} R \Gamma (X \times Y; \mathscr{F}' \boxtimes \mathscr{F}) \cong R \Gamma (X; \mathscr{F}') \otimes_k R \Gamma (Y; \mathscr{F}).$$ and $$\label{cptkunneth} R \Gamma_c (X \times Y; \mathscr{F}' \boxtimes \mathscr{F}) \cong R \Gamma_c (X; \mathscr{F}') \otimes_k R \Gamma (Y; \mathscr{F}').$$ Equation (\[stdkunneth\]) is proved by repeated application of the projection formula. The second equation follows from (\[stdkunneth\]), and the observation that ${\mathbb{D}}(\mathscr{F}' \boxtimes \mathscr{F}) \cong {\mathbb{D}}(\mathscr{F}') \boxtimes {\mathbb{D}}(\mathscr{F})$. Analytic and Formal ${\mathcal{D}}$-modules ------------------------------------------- Let $X^{an}$ be the complex analytic structure on $X ({\mathbb{C}})$. The pullback of $\mathscr{F}$ to $X^{an}$ is an analytic ${\mathcal{D}}_{X^{an}}$-module $\mathscr{F}^{an}$. Notice that if $\mathscr{F}$ is an integrable connection, then $\mathscr{F}^{an}$ is an analytic vector bundle. Moreover, the horizontal sections define a local system $(\mathscr{F}^{an})^\nabla$ that generates $\mathscr{F}^{an}$ as a ${\mathcal{O}}_{X^{an}}$-module. The De Rham functor allows us to compare holonomic ${\mathcal{D}}_X$-modules with perverse sheaves on $X^{an}$. \[De Rham Functor\]\[derham\] Let $\Omega_{X^{an}}^i$ be the sheaf of holomorphic forms on $X^{an}$, so the complex $\Omega_{X^{an}}^*$ with exterior differential $d$ is the standard de Rham complex of $X$. Define $${\mathrm{DR}}(\mathscr{F}) = \mathscr{F}^{an} \otimes_{{\mathcal{O}}_X}^L \Omega_{X^{an}}[\dim(X)].$$ Therefore, ${\mathrm{DR}}(\mathscr{F})$ lies in the derived category of ${\mathbb{C}}_{X^{an}}$-modules. Recall (\[localtriangle\]). Since ${j^*} \mathscr{F}$ is isomorphic to a vector bundle with connection $\nabla_{{j^*}\mathscr{F}}$, ${\mathrm{DR}}({j^*}\mathscr{F})$ is quasi-isomorphic to the perverse local system generated by horizontal sections. Suppose that $\phi : Y^{an} \to X^{an}$ is a morphism of complex analytic manifolds. When ${\boldsymbol{\mathcal{F}}}$ is a complex of sheaves, we will use ${\phi^{-1}} {\boldsymbol{\mathcal{F}}}$ to denote the inverse image of ${\boldsymbol{\mathcal{F}}}$. Abusing notation, ${\phi^*}$ and ${\phi_*}$ will be used for the derived pull-back and push-forward in the analytic category, respectively, and ${\phi^!}$, ${\phi_!}$ will be used to denote pull-back and push-forward with compact support. We remark that the ${\mathrm{DR}}$ functor does not necessarily commute with push-forwards and pull-backs. In addition to studying the analytic structure of ${\mathcal{D}}_X$-modules, we will also consider localization to a power series ring. Let $C$ be a curve, and $x \in C$ a point. Let $\mathfrak{o} = \widehat{{\mathcal{O}}}_{C, x}$ be the ring of formal power series at ${\mathcal{O}}_X$, and let $K$ be the field of laurent series at $x$. If $\mathscr{F}$ is a holonomic ${\mathcal{D}}_X$-module, then $\mathscr{F}_\mathfrak{o} = \mathscr{F} \hat\otimes_{{\mathcal{O}}_C} \mathfrak{o}$ and $\mathscr{F}_K = \mathscr{F} \hat\otimes_{{\mathcal{O}}_C} K$. $\mathscr{F}_K$ is a finite dimensional $K$-vector space. The following definition of regularity is equivalent to various other formulations that appear in the literature (Corollary 1.1.6, p. 47 @Sa1). Fix a parameter $z$, identifying $\mathfrak{o} \cong k[[z]]$ and $K \cong k((z))$. Then, we say that $\mathscr{F}$ (resp. $\mathscr{F}_o$, $\mathscr{F}_K$) is *regular singular* at $x$ if there exists an $\mathfrak{o}$ submodule $\mathscr{F}' \subset \mathscr{F}_K$ with the property that $$z \frac{\partial}{\partial z} \mathscr{F}' \subset \mathscr{F}'.$$ If no such $\mathfrak{o}$-submodule exists, $\mathscr{F}$ is *irregular singular*. We say that $\mathscr{F}$ is regular singular if regular at all singular points $x \in C$. Now suppose $X/k$ is an $n$-dimensional smooth quasi-projective variety and $\mathscr{F}'$ is a ${\mathcal{D}}_X$-module $\mathscr{F}$ is regular singular if, for any inclusion $\iota : {\mathrm{Spec}}(K) \hookrightarrow V$, $\mathscr{V} \hat\otimes^L_{{\mathcal{O}}_X} K$ has regular singular cohomology. For general $\mathscr{F}$, we can measure the defect from regularity at a singular point by the irregularity index $i_x(\mathscr{F})$. Like regularity, this property only depends on the formal completion of $\mathscr{F}$ at $x$. See @De1, lemme 6.21 for a formal definition. For example, suppose that $\mathscr{F}$ is the trivial line bundle with connection $\nabla = d + \omega\wedge$. Then, $i_x(\mathscr{F}) = \max(0, - {\mathrm{ord}}_x(\omega)+1)$. Note that there is another standard formulation of the irregularity index in the literature, described in terms of local Euler characteristics (@Mal, Chapter 4, theorem 4.1). We define ${\mathbf{D}}^b_{hol} ({\mathcal{D}}_X)$ to be the bounded derived category of complexes of ${\mathcal{D}}_X$-modules with holonomic cohomology, and ${\mathbf{D}}^b_{RS} ({\mathcal{D}}_X)$ to be the full subcategory of complexes with regular singular cohomology. Furthermore, we define ${\mathbf{D}}^b_{con} ({\mathbb{C}}_{X^{an}})$ to be the bounded derived category of ${\mathbb{C}}_{X^{an}}$-modules that are constructible with respect to an algebraic stratification of $X^{an}$. \[Riemann-Hilbert Correspondence (@Ber Lecture 5, Main Theorem C)\]\[rhcorrespondence\] Let $X/k$ and $Y/k$ be a smooth algebraic varieties, and let $\phi : Y \to X$ be a morphism. 1. ${\mathrm{DR}}( {\mathbf{D}}^b_{hol} ({\mathcal{D}}_X)) \subset {\mathbf{D}}^b_{con}({\mathbb{C}}_{X^{an}})$. 2. On the subcategories ${\mathbf{D}}_{RS}^b ({\mathcal{D}}_X)$ and ${\mathbf{D}}_{RS}^b ({\mathcal{D}}_Y)$, ${\mathrm{DR}}$ commutes with duality, $\phi_*$, $\phi^*$, $\phi_!$, and $\phi^!$. 3. ${\mathrm{DR}}$ defines an equivalence of categories between ${\mathbf{D}}_{RS}^b({\mathcal{D}}_X)$ and ${\mathbf{D}}_{con}^b ({\mathbb{C}}_X)$. The restriction of ${\mathrm{DR}}$ to complexes of pure degree $0$ defines an equivalence between holonomic ${\mathcal{D}}_X$-modules, and perverse sheaves on $X^{an}$ (with respect to the middle perversity). Non-characteristic Maps ----------------------- The Riemann-Hilbert correspondence fails for irregular singular ${\mathcal{D}}$-modules. Under certain conditions, the ${\mathrm{DR}}$-functor is still compatible with pullbacks, the projection formula, and tensor products. However, the irregular singular case requires a careful analysis of the characteristic variety. Let $T^*X$ be the cotangent space to $X$, and $T^*_XX$ the zero section. Let $\phi : Y \to X$ be a morphism of smooth varieties. There are natural maps $T^*Y \xleftarrow{\rho_\phi} Y \times_X T^*X \xrightarrow{\varpi_\phi} T^*X$, and we define $T^*_Y X = \rho_\phi^{-1} (T^*_Y Y)$. Suppose that $\mathscr{F}$ is a ${\mathcal{D}}_X$-module, and ${\boldsymbol{\mathcal{F}}} \in {\mathbf{D}}^b_{con} (M_{X^{an}})$ for some field $M$. The characteristic variety (or singular support, @Ber Lecture 2, section 8) of $\mathscr{F}$, written ${\mathrm{Ch}}(\mathscr{F})$, is a subvariety of $T^*X$ that is invariant under homothety in the fiber above a point $x \in X$. Similarly, the micro-support (@KS, proposition 5.1.1) of ${\boldsymbol{\mathcal{F}}}$, written ${\mathrm{SS}}({\boldsymbol{\mathcal{F}}})$, is a subvariety of $T^*_{X^{an}}$. We omit the precise definitions since they are standard but fairly technical; here it is sufficient to understand the smooth case. In particular, when $\mathscr{F}$ (resp. ${\boldsymbol{\mathcal{F}}}$) is an integrable connection, (resp. local system), then ${\mathrm{Ch}}(\mathscr{F}) = T^*_X X$ and ${\mathrm{SS}}({\boldsymbol{\mathcal{F}}}) = T^*_{X^{an}} X^{an}$. We say that $\phi$ is non-characteristic with respect to $\mathscr{F}$, or ${\boldsymbol{\mathcal{F}}}$, if $$\begin{aligned} \varpi_\phi^{-1}({\mathrm{Ch}}(\mathscr{F})) \cap T^*_Y X & \subset Y \times_X T^*_X X;& \text{or, } \\ \varpi_\phi^{-1}({\mathrm{SS}}({\boldsymbol{\mathcal{F}}})) \cap T^*_{Y^{an}} X^{an} & \subset Y^{an} \times_X T^*_{X^{an}} X^{an}. \end{aligned}$$ Notice that whenever $\phi$ is a smooth map, or $\mathscr{F}$ is an integrable connection, $\phi$ is non-characteristic with respect to $\mathscr{F}$. \[@HTT, theorems 2.4.6, 2.7.1; @KS, proposition 5.4.13\]\[noncharpullback\] Suppose that $\phi$ is non-characteristic with respect to $\mathscr{F}$ and ${\boldsymbol{\mathcal{F}}}$. Then, $L^i {\phi^.} \mathscr{F}$ vanishes for $i \not= 0$, and ${\mathbb{D}}(L^i {\phi^.} \mathscr{F}) \cong L^i {\phi^.} ({\mathbb{D}}\mathscr{F})$. In particular, $$\begin{aligned} \phi^* (\mathscr{F}) & \cong \phi^! (\mathscr{F}) [2 (\dim(Y)-\dim(X))] & \text{and}\\ \phi^* ({\boldsymbol{\mathcal{F}}}) & \cong \phi^! ({\boldsymbol{\mathcal{F}}}) [2 (\dim(Y)-\dim(X))]. \end{aligned}$$ When $\phi$ is non-characteristic with respect to $\mathscr{F}$, we write ${\phi^\Delta}= {\phi^.}$. When ${\boldsymbol{\mathcal{F}}}$ is a complex of constructible sheaves, we write ${\phi^\Delta} = {\phi^*} [ \dim(X) - \dim(Y)]$. Let $\Delta_X: X \to X \times X$ be the diagonal map. $T_X^* (X \times X)$ is the conormal bundle to the diagonal imbedding of $X$, so the fiber above $(x, x)$ is the set $\{(\xi, \zeta) \in (T^*_x X)^2 : \xi + \zeta = 0\}$. There is an isomorphism $\alpha : T^*_X(X \times X) \to T_X^* (X \times X)$ given locally by $\alpha (x, \xi) = ( (x, x), (\xi, -\xi))$. If $\mathscr{F}$ and $\mathscr{G}$ are ${\mathcal{D}}_X$-modules, ${\mathrm{Ch}}(\mathscr{F} \boxtimes \mathscr{G}) = {\mathrm{Ch}}(\mathscr{F}) \times {\mathrm{Ch}}(\mathscr{G})$. Since characteristic varieties are invariant under homothety (in this case, multiplication by $-1$ in the fibers), $$\varpi_{\Delta_X}^{-1} \left({\mathrm{Ch}}(\mathscr{F} \boxtimes \mathscr{G})\right) \cap T^*_X (X \times X) = \alpha ( {\mathrm{Ch}}(\mathscr{F}) \cap {\mathrm{Ch}}(\mathscr{G})).$$ Therefore, $\Delta_X$ is non-characteristic for $\mathscr{F}$ and $\mathscr{G}$ if and only if ${\mathrm{Ch}}(\mathscr{F}) \cap {\mathrm{Ch}}(\mathscr{G}) \subset T_X^* X$. In this case, $$\Delta_X^* (\mathscr{F} \boxtimes \mathscr{G}) \cong \mathscr{F} \otimes_{{\mathcal{O}}_X}^L \mathscr{G} [ \dim(X)].$$ \[Non-characteristic projection formula\] \[noncharprojfla\] Suppose that $\phi : Y \to X$, $\mathscr{F}$ is a holonomic ${\mathcal{D}}_X$-module, and $\mathscr{F}'$ is a holonomic ${\mathcal{D}}_Y$-modules. If ${\mathrm{Ch}}(\phi_! \mathscr{F}') \cap {\mathrm{Ch}}(\mathscr{F}) \subset T^*_X X$ and ${\mathrm{Ch}}(\mathscr{F}') \cap {\mathrm{Ch}}(\pi^\Delta \mathscr{F})\subset T^*_Y Y$, then $$\phi_! (\phi^\Delta (\mathscr{F}) \otimes^L_{{\mathcal{O}}_Y} \mathscr{F}') \cong \mathscr{F} \otimes^L_{{\mathcal{O}}_X} \phi_! \mathscr{F}'.$$ Let $\Gamma_\phi : Y \to Y \times X$ be the graph of $\phi$. Then, by above, $\Gamma_\phi^* (\mathscr{F}' \boxtimes \mathscr{F}) \cong \mathscr{F}' \otimes_{{\mathcal{O}}_X}^L \phi^* \mathscr{F}$. The result follows by applying base change to the diagram $$\xymatrix{ Y \ar[r]^{\Gamma_\phi} \ar[d]^{\phi} &Y \times X \ar[d]^{{\mathrm{id}}\times \phi}\\ X \ar[r]^{\Delta_X} & X \times X.}$$ Finally, non-characteristic maps behave well with respect to the ${\mathrm{DR}}$ functor. \[@HTT, proposition 4.7.6\] \[nonchardr\] If $\phi$ is non-characteristic for $\mathscr{F}$, then there are natural isomorphisms $$\begin{aligned} {\mathrm{DR}}(f^* \mathscr{F}) &\cong f^* {\mathrm{DR}}(\mathscr{F})& \text{and}\\ {\mathrm{DR}}(f^! \mathscr{F}) & \cong f^! {\mathrm{DR}}(\mathscr{F}). \end{aligned}$$ Stokes Filtrations {#stokesfiltrations} ------------------ When $X$ is a curve, the Riemann-Hilbert correspondence generalizes to a correspondence between holonomic ${\mathcal{D}}_X$-modules and perverse sheaves with a stokes filtration. Let $i : Y \hookrightarrow X$ be a reduced divisor, and $j : V \hookrightarrow X$ be the complement. We define $\pi : \widetilde{X}^{an} \to X^{an}$ to be the real oriented blow-up of $X^{an}$ along $Y$; the diagram is $$\xymatrix{ V^{an} \ar[r]^{\tilde{j}} \ar@{=}[d]& \widetilde{X}^{an}\ar[d]^{\pi} & \widetilde{Y} \ar[l]^{\tilde{i}} \ar[d]^{\pi|_Y} \\ V^{an} \ar[r]^j & X^{an} & Y \ar[l]^{i}. }$$ Above, $\widetilde{Y} \cong \coprod_{y \in Y} S^1$. Fix a parameter $z$ vanishing at some $y \in Y$, and let $S^1_y = \pi^{-1} (y)$. We define a rank $n-p$ local system $\Omega_{p,n}(y)$ on $S^1_y$ by $$\Omega_{p,n}(y) = \{\sum_{i = -n}^{\infty} a_i z^{i/p} dz; a_i \in {\mathbb{C}}\}/ \{\sum_{j/p \ge -1}^{\infty} b_j z^{j/p} dz; b_j \in {\mathbb{C}}\}.$$ At each $\theta \in S^1_y$, there is a partial ordering $\le_\theta$ on the stalk $\Omega_{p,n} (y)_\theta$ determined by $\omega \le_\theta \eta$ whenever $|e^{\int \omega-\eta}|$ has moderate growth near $\theta$. Let $\mathscr{E}$ be a vector bundle on $V$ with a ${\mathcal{D}}_V$-module structure and ${\boldsymbol{\mathcal{E}}} = {\mathrm{DR}}(\mathscr{E}).$ By @Mal, theorem 2.2, there is a canonical Stokes filtration $({\boldsymbol{\mathcal{E}}}^\nu_y)_{\nu \in \Omega_{p, n}(y)}$ on $\tilde{j}_*{\boldsymbol{\mathcal{E}}}|_{S^1_y}$. Furthermore, there are subsheaves ${\boldsymbol{\mathcal{E}}}^0 \subset \tilde{j}_* {\boldsymbol{\mathcal{E}}}$ and ${\boldsymbol{\mathcal{E}}}^{<0} \subset {\boldsymbol{\mathcal{E}}}$ that satisfy $ {\boldsymbol{\mathcal{E}}}^0 |_{S^1_y} = {\boldsymbol{\mathcal{E}}}^0_y$, ${\boldsymbol{\mathcal{E}}}^{<0}|_{S^1_y} = \sum_{\substack{\eta \le 0 \\ \eta \ne 0}} {\boldsymbol{\mathcal{E}}}^{\eta}_\theta, $ and ${\tilde{j}^*} {\boldsymbol{\mathcal{E}}}^0 \cong {\tilde{j}^*} {\boldsymbol{\mathcal{E}}}^{<0} \cong {\boldsymbol{\mathcal{E}}}$. \[stokesderhamtheorem\]\[@Mal, 4.3, Theorems 3.1, 3.2\] There are canonical isomorphisms $$\label{modgrwth} {\mathrm{DR}}(j_* \mathscr{E}) \cong R\pi_* ({\boldsymbol{\mathcal{E}}}^0)$$ and $$\label{modgrwthcpt} {\mathrm{DR}}(j_! \mathscr{E}) \cong R\pi_* ({\boldsymbol{\mathcal{E}}}^{<0}).$$ \[modgrwthcohomology\] Let $H^*_{{\mathrm{DR}}} (V;\mathscr{E})$ be the algebraic de Rham cohomology of $\mathscr{E}$. Then, there is a canonical isomorphism $$H^*_{{\mathrm{DR}}}(V;\mathscr{E}) \cong H^* (\widetilde{X}; {\boldsymbol{\mathcal{E}}}^0).$$ We call $H^* (\widetilde{X}; {\boldsymbol{\mathcal{E}}}^0)$ the 'moderate growth cohomology' of ${\boldsymbol{\mathcal{E}}}$ with stokes filtration $\{{\boldsymbol{\mathcal{E}}}^\omega\}$. Elementary ${\mathcal{D}}_X$-modules ------------------------------------ We will consider a class of holonomic ${\mathcal{D}}$-modules for which theorem \[stokesderhamtheorem\] admits a simple description. Let ${\mathbb{A}}^1 = {\mathrm{Spec}}(k[t])$, and let ${\mathcal{O}}_{dt}$ be the ${\mathcal{D}}_{{\mathbb{A}}^1}$-module defined by ${\mathcal{D}}_{{\mathbb{A}}^1}/{\mathcal{D}}_{{\mathbb{A}}^1} (\frac{\partial}{\partial t} - 1)$. The following definition comes from @Sa2: \[Elementary ${\mathcal{D}}$-modules\] Let $V/k$ be a smooth, quasi-projective variety (for now, we put no conditions on $\dim_k(V)$), and let $\mathscr{M}$ be a regular holonomic ${\mathcal{D}}_V$-module. Given a regular function $\phi : V \to {\mathbb{A}}^1$, we define the elementary ${\mathcal{D}}$-module $\mathscr{M}_{d\phi}$ by $$\mathscr{M}_{d \phi} = \mathscr{M} \otimes_{{\mathcal{O}}_V} \phi^\Delta {\mathcal{O}}_{dt}.$$ We call $\phi$ the 'Morse' function for $\mathscr{E}$. \[dualityelem\] If $\mathscr{M}_{d \phi}$ is an elementary ${\mathcal{D}}_V$-module, then $${\mathbb{D}}(\mathscr{M}_{d \phi}) \cong \left({\mathbb{D}}(\mathscr{M})\right)_{-d \phi}.$$ Let ${\mathcal{D}}_V^\omega$ be the dualizing sheaf for ${\mathcal{D}}_V$-modules (@Ber, 3.5). Taking a resolution of $\mathscr{M}$ by projective ${\mathcal{D}}_V$-modules, it suffices to show that ${\mathcal{H}om}_{{\mathcal{D}}_V} ({\mathcal{D}}_V \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{d\phi}, {\mathcal{D}}_V^\omega) \cong {\mathcal{D}}_V^\omega \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{-d\phi}.$ Since ${\mathcal{O}}_{d \phi}$ is ${\mathcal{O}}_V$- coherent, ${\mathbb{D}}({\mathcal{O}}_{d \phi}) \cong {\mathcal{O}}_{d \phi}^\vee \cong {\mathcal{O}}_{-d \phi}$. Furthermore, ${\mathbb{D}}({\mathcal{O}}_{d \phi}) \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{d \phi} \cong {\mathcal{O}}_V$. Therefore, $$\begin{gathered} {\mathcal{H}om}_{{\mathcal{D}}_V}({\mathcal{D}}_{V} \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{d \phi}, {\mathcal{D}}_V^\omega) \cong {\mathcal{H}om}_{{\mathcal{D}}_V}({\mathcal{D}}_V, {\mathcal{D}}_V^\omega \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{-d \phi}) \cong \\ {\mathcal{D}}_V^\omega \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_{-d \phi}.\end{gathered}$$ Let $\widetilde{{\mathbb{P}}}^1\xrightarrow{\pi} {\mathbb{P}}^1$ be the real oriented blow-up of ${\mathbb{P}}^1$ at $\infty$, and $j : {\mathbb{A}}^1 \to \widetilde{{\mathbb{P}}}^1$. Define $I \subset \pi^{-1}(\infty)$ to be the interval on which $dt \le_\theta 0$,[^6] and $\widetilde{{\mathbb{P}}}^1_I = j({\mathbb{A}}^1) \cup I$. Let $\alpha : {\mathbb{A}}^1 \hookrightarrow \widetilde{{\mathbb{P}}}^1_I$ and $\beta : \widetilde{{\mathbb{P}}}^1_I \hookrightarrow \widetilde{{\mathbb{P}}}^1.$ If ${\boldsymbol{\mathcal{O}}}_{dt} = {\mathrm{DR}}({\mathcal{O}}_{dt})$, then the $0$-filtered component of the corresponding Stokes filtration is given by $${\boldsymbol{\mathcal{O}}}_{dt}^0 = \beta_! \alpha_* {\boldsymbol{\mathcal{O}}}_{dt}.$$ In this case, ${\boldsymbol{\mathcal{O}}}_{dt}^{<0} = \beta_! \alpha_* {\boldsymbol{\mathcal{O}}}_{dt}$ as well. Now, let $\mathscr{M}_{d\phi}$ be an elementary ${\mathcal{D}}_V$-module. Suppose that $X$ is a projective closure of $V$ with a morphism $\Phi : X \to {\mathbb{P}}^1$, with the property that $\Phi |_V = \phi$. We define $\widetilde{X} = X^{an} \times_\Phi \widetilde{{\mathbb{P}}}^1$ and $\widetilde{X}_I = X^{an} \times_\Phi \widetilde{{\mathbb{P}}}^1_I$. There are inclusions $$V^{an} \xrightarrow{\alpha_X} \widetilde{X}_I \xrightarrow{\beta_X} \widetilde{X}.$$ Define $\tilde{j}_X = \beta_X \circ \alpha_X$ and ${\boldsymbol{\mathcal{M}}}_{d \phi} = {\mathrm{DR}}(\mathscr{M}_{d \phi})$, and $j_X : V \to X$. When $X$ is a curve, $\widetilde{X}$ is homeomorphic to the real analytic blow-up of $X^{an}$ along the divisor $\phi^{-1}(\infty)$. Observe that $\alpha_X$ may be factored as $\alpha_2 \circ \alpha_1$, where $\alpha_1 : V^{an} \to X \times_\Phi {\mathbb{A}}^1$ and $\alpha_2 : X \times_\Phi {\mathbb{A}}^1 \to \widetilde{X}_I$. In particular, $X \times_\Phi {\mathbb{A}}^1 \to {\mathbb{A}}^1$ is a proper map. \[modgrwthcohomology1\] Let $\phi : V \to {\mathbb{A}}^1$ be a regular function, and let ${\boldsymbol{\mathcal{M}}}$ be a complex of sheaves on $V^{an}$. Define $$R \Gamma (V ; {\boldsymbol{\mathcal{M}}}, \phi) = R \Gamma (\widetilde{X}^{an}; (\beta_X)_! (\alpha_X)_* {\boldsymbol{\mathcal{M}}}),$$ with $X$, $\alpha_X$ and $\beta_X$ as defined above. Moreover, define $$R \Gamma_c (V; {\boldsymbol{\mathcal{M}}}, \phi) = R \Gamma (\widetilde{X}^{an}; (\beta_X)_! ( \alpha_2)_* (\alpha_{1})_! {\boldsymbol{\mathcal{M}}}).$$ \[modgrwthelem\] Suppose that $\mathscr{M}_{d \phi}$ is an elementary ${\mathcal{D}}_V$-module, and ${\boldsymbol{\mathcal{M}}}_{d \phi} = {\mathrm{DR}}(\mathscr{M}_{d \phi})$. There are canonical isomorphisms $$\label{regelem} R \Gamma (V; \mathscr{M}_{d \phi}) \cong R \Gamma (\widetilde{X}; {(\beta_X)_!} (\alpha_X)_* {\boldsymbol{\mathcal{M}}}_{d \phi})$$ and $$\label{compactelem} R \Gamma_c (V; \mathscr{M}_{d \phi}) \cong R \Gamma (\widetilde{X}; {(\beta_X)_!} (\alpha_1)_* (\alpha_2)_! {\boldsymbol{\mathcal{M}}}_{d \phi}).$$ The first part is theorem 1.1 in @Sa1. We include a key step that allows us to reduce to the setting of theorem \[stokesderhamtheorem\]. \[sabbahreduction\] There are natural isomorphisms $$\begin{aligned} R \Gamma (V; \mathscr{M}_{d \phi}) & \cong R \Gamma ({\mathbb{A}}^1; (\phi_*\mathscr{M})_{dt}) & \text{and} \\ R \Gamma (V^{an}; {\boldsymbol{\mathcal{M}}}, \phi) & \cong R \Gamma ({\mathbb{A}}^1; (\phi_* {\boldsymbol{\mathcal{M}}}), t). \end{aligned}$$ By the projection formula for ${\mathcal{D}}$-modules, $$\phi_* \mathscr{M}_{d \phi} \cong (\phi_* \mathscr{M}) \otimes_{{\mathcal{O}}_{{\mathbb{A}}^1}} {\mathcal{O}}_{d t}.$$ On the other hand, since $\Phi$ is a proper map, $$\Phi_* (\beta_X)_! (\alpha_X)_* {\boldsymbol{\mathcal{M}}}_{d \phi} \cong \beta_! \alpha_* \phi_* {\boldsymbol{\mathcal{M}}}_{d \phi}.$$ Since $\mathscr{M}$ is regular singular, the sections of $H^i {\mathrm{DR}}( \phi_* \mathscr{M})$ have moderate growth at infinity, and the sections of $H^i {\mathrm{DR}}( (\phi_* \mathscr{M}) \otimes_{{\mathcal{O}}_{{\mathbb{A}}^1}} {\mathcal{O}}_{dt})$ have moderate growth on the sector $I$. Theorem \[rhcorrespondence\] implies that ${\mathrm{DR}}(\phi_* \mathscr{M}) \cong \phi_* {\mathrm{DR}}(\mathscr{M})$. It follows that $ \phi_* {\boldsymbol{\mathcal{M}}}_{d \phi} \cong {\mathrm{DR}}( (\phi_* \mathscr{M})_{dt})$. Here, we show that the first statement of theorem \[modgrwthelem\], (\[regelem\]), implies the second, (\[compactelem\]). In the second case, $$\begin{aligned} \phi_! \mathscr{M}_{d \phi} & \cong {\mathbb{D}}\phi_* {\mathbb{D}}(\mathscr{M}_{d \phi}) \\ & \cong {\mathbb{D}}\phi_* \left(({\mathbb{D}}\mathscr{M})_{-d \phi}\right) & \text{by proposition \ref{dualityelem}}\\ & \cong {\mathbb{D}}\left(( \phi_* {\mathbb{D}}\mathscr{M})_{-dt}\right) \\ & \cong \left( \phi_! \mathscr{M} \right)_{dt}. \end{aligned}$$ Similarly, if $\Phi' : X \times_{\Phi} {\mathbb{A}}^1 \to {\mathbb{A}}^1$, $$\begin{aligned} \Phi_! (\beta_X)_! (\alpha_1)_* (\alpha_2)_! {\boldsymbol{\mathcal{M}}}_{d \phi} & \cong (\beta)_! (\alpha)_* \Phi'_! (\alpha_2)_! {\boldsymbol{\mathcal{M}}}_{d \phi} \\ & \cong (\beta)_! (\alpha)_* \phi_! {\boldsymbol{\mathcal{M}}}_{d \phi}. \end{aligned}$$ As before, ${\mathrm{DR}}( \phi_! \mathscr{M}) \cong \phi_! {\mathrm{DR}}(\mathscr{M})$. Betti structures ---------------- \[Betti Structure\] Let $\mathscr{M}$ be a holonomic ${\mathcal{D}}_X$-module, and let $ M \subset {\mathbb{C}}$ be a field with fixed complex imbedding. A Betti structure for $\mathscr{M}$ is a perverse sheaf of $M_X$-modules ${\boldsymbol{\mathcal{M}}}$ with the property that ${\boldsymbol{\mathcal{M}}} \otimes_M {\mathbb{C}}_X \cong {\mathrm{DR}}(\mathscr{M})$. We define ${\mathrm{MB}}({\mathcal{D}}_X, M)$ to be the category of pairs $(\mathscr{M}, {\boldsymbol{\mathcal{M}}})$ consisting of: a holonomic ${\mathcal{D}}_X$-modules $\mathscr{M}$, Betti structure ${\boldsymbol{\mathcal{M}}}$ that has coefficients in $M$, and a fixed compatibility isomorphism $\alpha : {\boldsymbol{\mathcal{M}}}\otimes_M {\mathbb{C}}\to {\mathrm{DR}}(\mathscr{M})$. A morphism in ${\mathrm{MB}}({\mathcal{D}}_X, M)$ is given by a pair of maps $\psi_k : \mathscr{M} \to \mathscr{M}'$ and $\psi_M : {\boldsymbol{\mathcal{M}}} \to {\boldsymbol{\mathcal{M}}}'$ with the property that the following diagram commutes: $$\xymatrix{{\boldsymbol{\mathcal{M}}} \ar[r]^{\alpha} \ar[d]^{\psi_M}& {\mathrm{DR}}(\mathscr{M}) \ar[d]^{{\mathrm{DR}}(\psi_k)} \\ {\boldsymbol{\mathcal{M}}}' \ar[r]^{\alpha'} & {\mathrm{DR}}(\mathscr{M}').}$$ Therefore, two Betti structures are isomorphic if $(\psi_k, \psi_M)$ are isomorphisms. Notice that Betti structures are well defined in the derived category: if $\mathscr{M}^*$ is a complex of ${\mathcal{D}}_X$-modules with holonomic cohomology, then ${\boldsymbol{\mathcal{M}}}^*$ is a complex of sheaves with a natural quasi-isomorphism ${\boldsymbol{\mathcal{M}}}^* \otimes_M {\mathbb{C}}\cong {\mathrm{DR}}(\mathscr{M})$. Thus, we define $\operatorname{{\mathbf{D}}^b (\mathrm{MB})}({\mathcal{D}}_X, M)$ to be the category of pairs of complexes $(\mathscr{M}^*, {\boldsymbol{\mathcal{M}}}*)$, with $\mathscr{M} \in {\mathbf{D}}^b({\mathcal{D}}_X)$ and ${\boldsymbol{\mathcal{M}}} \in {\mathbf{D}}^b(M_X)$, and a quasi-isomorphism $\alpha : {\boldsymbol{\mathcal{M}}} \otimes_M {\mathbb{C}}\cong {\mathrm{DR}}(\mathscr{M})$. For instance, we may define $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) [n] = (\mathscr{M}[n], {\boldsymbol{\mathcal{M}}}[n])$. Suppose $\mathscr{M}$ is non-singular on $V \subset X$. Fix a basepoint $x \in V(k)$ corresponding to a maximal ideal $\mathfrak{m}_x \subset {\mathcal{O}}_V$. Let $k(x) = {\mathcal{O}}_V/\mathfrak{m}_x$ and ${\mathbb{C}}(x) = k(x) \otimes_k {\mathbb{C}}$. The fundamental group of $V^{an}$ acts on ${\mathrm{DR}}(\mathscr{M})_x$, so it is a necessary condition that $M$ contain the matrix coefficients of this representation. Furthermore, if there is a stokes filtration on $\tilde{j}_* {\mathrm{DR}}(\mathscr{M})$, $M$ must be large enough so that there is a corresponding filtration on $\tilde{j}_* {\boldsymbol{\mathcal{M}}}$. By theorem \[modgrwthelem\], the second condition is always satisfied when $\mathscr{M}$ is an elementary ${\mathcal{D}}_V$-module. Let $i_x$ denote the inclusion of $x$. By theorem \[rhcorrespondence\], ${\mathrm{DR}}(\mathscr{M})_x \cong {\mathrm{DR}}(i_x^* \mathscr{M}) \cong i_x^* \mathscr{M} \otimes_k {\mathbb{C}}$. If ${\boldsymbol{\mathcal{M}}}$ and ${\boldsymbol{\mathcal{M}}}'$ are isomorphic Betti structures for $\mathscr{M}$, then there is a commutative diagram $$\xymatrix{ {\boldsymbol{\mathcal{M}}}_x \ar[r]^(.4)\iota \ar[d]^{(\psi_M)_x} & i_x^* \mathscr{M} \otimes_k {\mathbb{C}}\ar[d]^{i_x^* \psi_k} \\ {\boldsymbol{\mathcal{M}}}'_x \ar[r]^(.4){\iota'}& i_x^* \mathscr{M} \otimes_k {\mathbb{C}}}$$ Above, $\iota$ (resp $\iota'$) is defined by the composition $$\label{iotax} {\boldsymbol{\mathcal{M}}}_x \to {\mathrm{DR}}(\mathscr{M})_x \cong i_x^* \mathscr{M} \otimes_k {\mathbb{C}}.$$ \[linebundlecase\] Suppose $\mathscr{L}$ is a line bundle with integrable connection. Let ${\boldsymbol{\mathcal{L}}}$ and ${\boldsymbol{\mathcal{L}}}'$ be Betti structures for ${\mathrm{DR}}(\mathscr{L})$ with coefficients in $M$. Then, $(\mathscr{L}, {\boldsymbol{\mathcal{L}}}) \cong (\mathscr{L}, {\boldsymbol{\mathcal{L}}}')$ if and only if $\iota({\boldsymbol{\mathcal{L}}}) = \alpha \iota'({\boldsymbol{\mathcal{L}}}')$ with $\alpha \in k^\times$. Recall that $R \mathrm{Hom}_{{\mathcal{D}}_V} (\mathscr{M}, \mathscr{N}) \cong H^*_{{\mathrm{DR}}} (V; {\mathbb{D}}(\mathscr{M}) \otimes^L_{{\mathcal{O}}_X} \mathscr{N} [-\dim V])$ (@Ber, lecture 3, section 11). Since ${\mathbb{D}}(\mathscr{L}) \cong \mathscr{L}^\vee$, the dual line bundle with dual connection, it follows that $$\mathrm{Hom}_{{\mathcal{D}}_V} (\mathscr{L}, \mathscr{L}) \cong H^0_{{\mathrm{DR}}} ({\mathcal{O}}_V[-\dim(V)]) \cong k.$$ Therefore, multiplication by $\alpha$ lifts to a global automorphism $\psi_{\alpha} \in {\mathrm{Aut}}_{{\mathcal{D}}_V} (\mathscr{L})$. Suppose that $(\mathscr{M},{\boldsymbol{\mathcal{M}}})$ and $(\mathscr{N}, {\boldsymbol{\mathcal{N}}})$ are in ${\mathrm{MB}}({\mathcal{D}}_X, M)$. If ${\mathrm{Ch}}(\mathscr{M}) \cap {\mathrm{Ch}}(\mathscr{N}) \subset T^*_X X$, then the tensor product $$(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) \otimes (\mathscr{N}, {\boldsymbol{\mathcal{N}}}) = (\mathscr{M} \otimes \mathscr{N}, {\boldsymbol{\mathcal{M}}} \otimes {\boldsymbol{\mathcal{N}}})$$ is well defined by proposition \[nonchardr\], since the diagonal map $\Delta_X$ is non-characteristic with respect to $(\mathscr{M} \boxtimes \mathscr{N})$. \[Tate Twist\] Let $\mathscr{M}$ be a ${\mathcal{D}}_V$-module, and ${\boldsymbol{\mathcal{M}}}$ a Betti structure for $\mathscr{M}$. For any integer $n$, define ${\boldsymbol{\mathcal{M}}} (n)$ to be the sheaf $\left[{\boldsymbol{\mathcal{M}}} (n)\right] (V) = \left[(2 \pi \sqrt{-1})^{-n} {\boldsymbol{\mathcal{M}}} (V)\right]$, for any open $V \subset V$. Furthermore, define $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) (n) = (\mathscr{M}, {\boldsymbol{\mathcal{M}}} (n))$. For example, if $(2 \pi \sqrt{-1})$ is transcendental over $k$ and $M$, $(\mathscr{M}, {\boldsymbol{\mathcal{M}}})$ is not isomorphic to $(\mathscr{M}, {\boldsymbol{\mathcal{M}}})(1)$ even though ${\boldsymbol{\mathcal{M}}} \cong {\boldsymbol{\mathcal{M}}}(1)$ as sheaves. By proposition \[nonchardr\], if $\phi : Y \to X$ is a map of smooth varieties that is non-characteristic for $\mathscr{M}$, then we may use $\phi^*$, $\phi^!,$ and $\phi^\Delta$ to pull $(\mathscr{M}, {\boldsymbol{\mathcal{M}}})$ back to an element of ${\mathrm{MB}}({\mathcal{D}}_Y, M)$. \[twistmap\] Let $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) \in {\mathrm{MB}}({\mathcal{D}}_V, M)$. 1. \[closedimbed\] Let $ i : Y \to V$ be a closed imbedding, and $d_i = \dim(Y) - \dim(V)$. Furthermore, suppose that $i$ is non-characteristic with respect to $\mathscr{M}$. Then, there is a commutative diagram $$i^*( \mathscr{M}, {\boldsymbol{\mathcal{M}}})[-d_i](-d_i) \cong i^!( \mathscr{M}, {\boldsymbol{\mathcal{M}}} )[d_i]$$ 2. \[smoothmap\] If $p : W\to V$ is a smooth map, and $d_p = \dim(W) - \dim(V)$, $$p^!(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) \cong p^*(\mathscr{M}, {\boldsymbol{\mathcal{M}}}) [ 2 d_p] (d_p).$$ Observe that $i^! \mathscr{M} \cong \mathscr{M} \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_Y [d_i]$. Since $i^* \mathscr{M} \cong \mathscr{M} \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_Y [-d_i]$, we take $\psi_k$ to be the identity map on $\mathscr{M} \otimes_{{\mathcal{O}}_V} {\mathcal{O}}_Y [d_i]$ and ${\mathrm{DR}}(\psi_k) = \psi_k \otimes_k {\mathbb{C}}$. We first consider the case where $Y$ has codimension $1$. Let $j : V' \to V$ be the open complement of $Y$ in $V$. Suppose that $\mathscr{M}$ is the trivial connection ${\mathcal{O}}_V$, $M = {\mathbb{Q}}$, and ${\boldsymbol{\mathcal{M}}}$ is the constant sheaf ${\mathbb{Q}}_V[\dim(V)]$. Let $\Omega_V^* (Y)$ be the complex of differential forms with log poles at $Y$. Then, there is a quasi-isomorphism of triangles $$\xymatrix{ \Omega^*_V[\dim(V)] \ar[r]\ar[d]^{\sim} & \Omega^*_V(Y)[\dim(V)]\ar[d]^{\sim} \ar[r]^(0.55){ \frac{1}{2 \pi \sqrt{-1}} {\mathrm{Res}}} & i_*\Omega^*_Y [\dim(Y)]\ar[d]^{\sim} \\ {\mathrm{DR}}({\mathcal{O}}_V) \ar[r] & {\mathrm{DR}}(j_* j^* {\mathcal{O}}_V) \ar[r] & {\mathrm{DR}}(i_* i^! {\mathcal{O}}_V) [-1] }$$ where ${\mathrm{Res}}$ is the residue map. If $f$ is a local defining function for $Y$, $\psi_k$ has the following local description: $$\begin{aligned} \psi_k : i^* \Omega^*_V [\dim(V)] & \to \Omega^*_Y [\dim(Y)] \\ \omega & \mapsto \frac{1}{2 \pi \sqrt{-1}} {\mathrm{Res}}(\omega \wedge \frac{df}{f}). \end{aligned}$$ Now, let $T_\epsilon $ be a tubular neighborhood of $Y$ in $V^{an}$, let $S_\epsilon$ be the boundary, and let $T^\times_\epsilon = T_\epsilon \backslash Y$. There is a natural projection $\pi_\epsilon : T_\epsilon \to Y$, and inclusion $j_\epsilon : T^\times_\epsilon \to T_\epsilon$. It follows that there is an exact triangle $$R\pi_{\epsilon*} ({\mathbb{Q}}_{T_\epsilon}) \to R \pi_{\epsilon*} ( R j_{\epsilon *}{\mathbb{Q}}_{T_\epsilon^\times}) \to i^! {\mathbb{Q}}_{V};$$ in particular, $H^1 R \pi_{\epsilon*} (R j_{\epsilon *} {\mathbb{Q}}_{T_\epsilon^\times})[-1] \cong i^! {\mathbb{Q}}(V)$. Furthermore, since $S_\epsilon$ is a homotopy retract of $T^\times_\epsilon$, there is a quasi-isomorphism $${\mathrm{Res}}: H^1 R \pi_{\epsilon *} ({\mathbb{Q}}_{S_\epsilon})[-1] \to i^! {\mathbb{Q}}(V).$$ Finally, the cup product with the Thom class maps $i^* {\mathbb{Q}}_V$ to $H^1 R \pi_{\epsilon *} ({\mathbb{Q}}_{S_\epsilon}).$ We define $\psi_M : i^* {\mathbb{Q}}_V [\dim(V)] \to i^! {\mathbb{Q}}_V (-1)[\dim(V)]$ to be the composition of the Thom isomorphism with $\frac{1}{2 \pi \sqrt{-1}} {\mathrm{Res}}$. By integration along the fiber of $S_\epsilon \to Y$, the following diagram commutes: $$\label{gysintrivial} \xymatrix{ i^* {\mathbb{Q}}_V[\dim(V)] \ar[r] \ar[d]^{\psi_M} & {\mathrm{DR}}(i^* {\mathcal{O}}_V) \ar[d]^{{\mathrm{DR}}(\psi_k)}\\ i^! {\mathbb{Q}}_V[\dim(V)](-1) \ar[r] & {\mathrm{DR}}(i^! {\mathcal{O}}_V).}$$ Now, suppose that $\mathscr{M}$ is a vector bundle with connection and ${\boldsymbol{\mathcal{M}}}$ is a ${\mathrm{DR}}$-sheaf for $\mathscr{M}$ with coefficients in $M$. Let $F^*$ be a $c$-soft resolution of ${\mathbb{Q}}_V$. Then, $F^* \otimes_{\mathbb{Q}}{\boldsymbol{\mathcal{M}}}$ is a $c$-soft resolution of ${\boldsymbol{\mathcal{M}}}$ (@KS Lemma 2.5.12) It follows that there is a natural isomorphism $i^! {\boldsymbol{\mathcal{M}}} \cong (i^! {\mathbb{Q}}_V) \otimes_{{\mathbb{Q}}} {\boldsymbol{\mathcal{M}}}$. Similarly, $\mathscr{M}^{an} \cong {\mathcal{O}}_{V}^{an} \otimes_M {\boldsymbol{\mathcal{M}}}$. We define $\psi_M$ and ${\mathrm{DR}}(\psi_k)$ by tensoring the maps in (\[gysintrivial\]) with ${\boldsymbol{\mathcal{M}}}$. When $Y$ has codimension greater than one, $Y$ is locally a complete intersection. Therefore, shrinking $V$ if necessary, it is possible to construct a stratification $W = Y^0 \supset Y^1 \supset Y^2 \supset \ldots \supset Y^r = Y$, with inclusions $i_k : Y^k \to Y^{k-1}$. Part \[closedimbed\] of the proposition follows by induction on the codimension of $Y$. We consider the case of a smooth map $p$. In this case, $p^! {\boldsymbol{\mathcal{M}}} \cong p^*{\boldsymbol{\mathcal{M}}} \otimes_{{\mathbb{Q}}} p^! {\mathbb{Q}}_W$ (@KS, proposition 3.3.2), and $p^! \mathscr{M} \cong p^* \mathscr{M} [2 d_p]$ (@Ber, Lecture 3.13). Therefore, it suffices to show that $p^! {\mathbb{Q}}_V \cong p^* {\mathbb{Q}}_V (d_p) [2 d_p]$ as DR sheaves for $p^! {\mathcal{O}}_V$. We reduce to the case where $p$ is a projection by considering the graph morphism $$\xymatrix{ W \ar[r]^{\Gamma_p} \ar[dr]^{p} & W \times V \ar[d]^{\mathrm{pr}_2} \\ & V. }$$ If $\mathrm{pr}_2^! {\mathbb{Q}}_V \cong \mathrm{pr_2}^* {\mathbb{Q}}_V (\dim(W)) [2 \dim(V)]$, then the result follows by applying part \[closedimbed\] to $\Gamma_p$. Assume $W \cong F \times V$, and $p$ is the second projection. Fix a point $w \in F$, and let $i_v : V \to W$ be the map $i_w (v) = (w, v)$. Then, $i_w^! p^! {\mathbb{Q}}_U \cong i_w^* p^! {\mathbb{Q}}_U (-d_p)[-2 d_p]$ by part \[closedimbed\]. However, by composition of functors, $i_w^! p^!$ is naturally isomorphic to the identity. Therefore, $(p^! {\mathbb{Q}}_V)_{(w,v)} \cong (p^* {\mathbb{Q}}_V (d_p)[2 d_p])_{(w,v)}.$ By proposition \[linebundlecase\], $p^! {\mathbb{Q}}_V$ is isomorphic to the Betti structure $ p^* {\mathbb{Q}}_V (d_p) [2 d_p]$. This proves part \[smoothmap\]. Define ${\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_X, M)$ to be the category of elementary holonomic ${\mathcal{D}}$-modules with Betti structure. Therefore, an element of ${\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_X, M)$ is given by the triple $(\mathscr{M}_{d \phi}, {\boldsymbol{\mathcal{M}}}_{d \phi}, \phi)$. Define $$\begin{aligned} R \Gamma(X; (\mathscr{M}_{d \phi}, {\boldsymbol{\mathcal{M}}}_{d \phi}, \phi)) &= (R \Gamma (X; \mathscr{M}_{d \phi}), R \Gamma (X; {\boldsymbol{\mathcal{M}}}_{d \phi}, \phi)) & \text{and}\\ R \Gamma_c(X; (\mathscr{M}_{d \phi}, {\boldsymbol{\mathcal{M}}}_{d \phi}, \phi)) &= (R \Gamma_c (X; \mathscr{M}_{d \phi}), R \Gamma_c (X; {\boldsymbol{\mathcal{M}}}_{d \phi}, \phi)). \end{aligned}$$ Suppose that $\phi : X \to {\mathbb{A}}^1$ factors as $\phi_2 \circ \phi_1$, where $\phi_1 : X \to Y$ and $\phi_2 : Y \to {\mathbb{A}}^1$. Then, $$\begin{aligned} R \Gamma_c (X; (\mathscr{M}_{d \phi}, {\boldsymbol{\mathcal{M}}}_{d \phi})) \cong R \Gamma_c (Y; ((\phi_1)_! \mathscr{M}_{d \phi}, (\phi_1)_! {\boldsymbol{\mathcal{M}}}_{d \phi})). \end{aligned}$$ The isomorphism $R \Gamma_c (X; \mathscr{M}_{d \phi}) \cong R \Gamma_c(Y; (\phi_1)_! \mathscr{M}_{d \phi})$ follows from the projection formula in proposition \[noncharprojfla\]. By lemma \[sabbahreduction\], $$\begin{gathered} R \Gamma_c (Y; (\phi_1)_! {\boldsymbol{\mathcal{M}}}_{d \phi_2}, \phi_2) \cong R \Gamma_c ({\mathbb{A}}^1; (\phi_2)_! (\phi_1)_!{\boldsymbol{\mathcal{M}}}_{d t}, t) \\ \cong R \Gamma_c ({\mathbb{A}}^1; \phi_! {\boldsymbol{\mathcal{M}}}_{dt}, t).\end{gathered}$$ Künneth Formula {#sec:kunneth} --------------- In this section, we will show that there is a Künneth formula for elementary ${\mathcal{D}}$-modules with Betti structure. Let $X$ and $Y$ be smooth algebraic varieties over $k$. Suppose that $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}, \phi)$ and $(\mathscr{N}, {\boldsymbol{\mathcal{N}}}, \psi)$ are in ${\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_X, M)$ and ${\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_Y, M)$, respectively. Define $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}, \phi) \boxtimes (\mathscr{M}, {\boldsymbol{\mathcal{M}}}, \psi)$ to be the pair $$(\mathscr{M} \boxtimes \mathscr{N}, {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, \phi+\psi) \in {\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_{X \times Y}, M).$$ \[kunnethbetti\] There is a natural isomorphism $$R \Gamma_c (U \times V;{\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, (\phi + \psi)) \cong R \Gamma_{ c} (U;{\boldsymbol{\mathcal{M}}}, \phi) \otimes_M R \Gamma_c (V; {\boldsymbol{\mathcal{N}}}, g).$$ This theorem is a variation on the Thom-Sebastiani theorem (See @Sch theorem 1.2.2). We will need the following elementary topological lemma: \[relcylinder\] Suppose that $C \cong D \times I$ is a cylinder, with $I$ a closed interval in ${\mathbb{R}}$, and ${\boldsymbol{\mathcal{F}}}$ is a complex of sheaves that is constant on the fibers of the projection $\pi : C \to D$. Let $i : D \times \{p\} \to C$, where $p$ is in the boundary of $I$, and $j : D \times I \backslash {p} \to C$. Then, $$R \Gamma (C; j_! j^* {\boldsymbol{\mathcal{F}}}) \cong \{0\}.$$ By assumption, there is a sheaf ${\boldsymbol{\mathcal{F}}}'$ on $D$ such that ${\boldsymbol{\mathcal{F}}} \cong \pi^* {\boldsymbol{\mathcal{F}}}'$, and $\pi_* {\boldsymbol{\mathcal{F}}} \cong {\boldsymbol{\mathcal{F}}}'$. Therefore, $$R \Gamma (C; {\boldsymbol{\mathcal{F}}}) \cong R \Gamma (C; i_* i^* {\boldsymbol{\mathcal{F}}}).$$ Since $R \Gamma (C; j_! j^* {\boldsymbol{\mathcal{F}}})$ is the cone of this morphism, the statement of the lemma follows. Define $\Re(t)$ to be the real part of $t$. Let $H_\rho \subset {\mathbb{A}}^1$ is the half-plane defined by $\Re(t) > - \rho$, with $\rho >>0$. Then, if ${\boldsymbol{\mathcal{F}}}$ is a constructible sheaf, $$\begin{aligned} R \Gamma ({\mathbb{A}}^1; {\boldsymbol{\mathcal{F}}}, t)& \cong R \Gamma(\widetilde{{\mathbb{P}}}^1; \beta_! \alpha_* ({\boldsymbol{\mathcal{F}}}) \\ & \cong H^* (\widetilde{{\mathbb{P}}}^1, \widetilde{{\mathbb{P}}}^1 - \widetilde{{\mathbb{P}}}^1_I; \beta_* \alpha_* ({\boldsymbol{\mathcal{F}}})\\ & \cong H^* ({\mathbb{A}}^1, {\mathbb{A}}^1-H_\rho; {\boldsymbol{\mathcal{F}}})\\ & \cong R \Gamma ({\mathbb{A}}^1; {(\beta_\rho)_!} {(\beta_\rho)^*} {\boldsymbol{\mathcal{F}}}). \end{aligned}$$ It will be helpful to refer to the following diagram throughout: $$\xymatrix{ H_\rho \times H_\rho \ar[dr]_{\beta_\rho \times \beta_\rho} \ar@{^{(}->}[r] & Z_\rho \ar[r]^{\gamma_\rho} \ar[d]^{\bar\beta_\rho} & V_\rho \ar@{->>}[r]^{(A')|_{V_\rho}} \ar[d]^{\beta'_\rho} & H_{2 \rho} \ar[d]^{\beta_{2 \rho}} \\ & {\mathbb{A}}^1 \times {\mathbb{A}}^1 \ar[r]^{\gamma} & V \ar@{->>}[r]^{A'} & {\mathbb{A}}^1 }$$ Let $r$ and $s$ be the standard parameters on ${\mathbb{A}}^1 \times {\mathbb{A}}^1$. We may reduce to the case where $U = V = {\mathbb{A}}^1$, observing that $$R \Gamma_{c} (U \times V; ({\boldsymbol{\mathcal{M}}}) \boxtimes ({\boldsymbol{\mathcal{N}}}), \phi + \psi) \cong R \Gamma ({\mathbb{A}}^1 \times {\mathbb{A}}^1; \phi_! ({\boldsymbol{\mathcal{M}}}) \boxtimes \psi_! ({\boldsymbol{\mathcal{N}}}), r+s)$$ and $$\begin{gathered} R \Gamma_{c} (U; {\boldsymbol{\mathcal{M}}}, \phi) \otimes R \Gamma_{c} (V; {\boldsymbol{\mathcal{N}}}, \psi) \\ \cong R \Gamma ({\mathbb{A}}^1; \phi_!({\boldsymbol{\mathcal{M}}}), r) \otimes R \Gamma ({\mathbb{A}}^1;\psi_! ({\boldsymbol{\mathcal{N}}}), s).\end{gathered}$$ Thus, without loss of generality, assume $\phi = r$, $\psi = s$, and both $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}, r)$ and $ (\mathscr{N}, {\boldsymbol{\mathcal{N}}}, s)$ are in $ {\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_{{\mathbb{A}}^1}, M)$. There is a Künneth morphism $$\begin{gathered} \label{kunnmap1} R \Gamma ({\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}}, r) \otimes_M R \Gamma ({\mathbb{A}}^1; {\boldsymbol{\mathcal{N}}}, s) \to \\ R \Gamma ({\mathbb{A}}^1 \times {\mathbb{A}}^1; (\beta_\rho \times \beta_\rho)_! (\beta_\rho \times \beta_\rho)^* \left({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}} \right)).\end{gathered}$$ We give ${\mathbb{P}}^2$ homogeneous coordinates $x, y, z$, so that ${\mathbb{A}}^1 \times {\mathbb{A}}^1 = {\mathbb{P}}^2 \backslash V(z)$, and let $X \to {\mathbb{P}}^2$ be the blow-up at $(1, -1, 0)$. We may describe $X$ as the subvariety of ${\mathbb{P}}^2 \times {\mathbb{P}}^1$ defined by $V( (x+y) u - z w )$, where $w, u$ are the homogeneous coordinates on ${\mathbb{P}}^1$. In particular, $t = \frac{w}{u} = \frac{x+y}{z}= r+s$, so the projection $A : X \to {\mathbb{P}}^1$ restricts to the addition map $a : {\mathbb{A}}^1 \times {\mathbb{A}}^1 \to {\mathbb{A}}^1$ away from the kristin55@example.com. By lemma \[sabbahreduction\], $$R \Gamma_c ({\mathbb{A}}^1 \times {\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, r+s) \cong R \Gamma ({\mathbb{A}}^1; a_! ({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}), t).$$ Define $V = A^{-1} ({\mathbb{A}}^1)$ and $V_{\rho} = A^{-1} (H_{2 \rho}) \subset X$, and let $\beta_\rho' : V_\rho \hookrightarrow V $. Furthermore, let $\gamma : {\mathbb{A}}^1 \times {\mathbb{A}}^1 \to V$ be the open inclusion, and $A' : V \to {\mathbb{A}}^1$. Moreover, $H_{2 \rho}$ is simply defined by $\Re(x) > - 2 \rho$. Then, since $A'$ is proper, $$(\beta_{2 \rho})_! \beta_{2 \rho}^* A'_* \gamma_! ({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}) \cong A'_* (\beta'_\rho)_! (\beta'_\rho)^* \gamma_!({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}).$$ It follows that $R \Gamma_c ({\mathbb{A}}^1 \times {\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, x+y) \cong R \Gamma (V; (\beta'_\rho)_! (\beta'_\rho)^* \gamma_! \left({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}\right)).$ Now, let $Z_\rho = V_\rho \cap ({\mathbb{A}}^1 \times {\mathbb{A}}^1)$. Therefore, $Z_\rho$ is the set of points where $\Re(x+y) > -2 \rho$. Moreover, we label the inclusions $\gamma_\rho : Z_\rho \to V_\rho$ and $\bar\beta_\rho : Z_\rho \to ({\mathbb{A}}^1 \times {\mathbb{A}}^1)$. There is a morphism $$\label{adjunctionmorphism} (\beta'_\rho)_! (\beta'_\rho)^* \gamma_! \left({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}\right) \to \gamma_* (\bar\beta_\rho)_! (\bar\beta_\rho)^* \left({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}\right)$$ obtained from the adjunction map $\mathrm{id} \to \gamma_* \gamma^*.$ We will show that this is an isomorphism. Let $b$ be a boundary point in the closures of both $V_\rho$ and ${\mathbb{A}}^1 \times {\mathbb{A}}^1$. We consider a neighborhood of $b$ that is homeomorphic to a polydisc $D \times D$, with coordinates $z/x$ and $t/u$ (as before). Let $D^\times = D - \{0\}$ and $H = \{d \in D : \Re(d) > 0 \}$. Then, $V_\rho \cap (D \times D) = D \times H$ and $({\mathbb{A}}^1 \times {\mathbb{A}}^1) \cap (D \times D) = D^\times \times D$. $$\xymatrix{D^\times \times H \ar[r]^{\gamma_1} \ar[d]^{\beta_1} & D \times H \ar[d]^{\beta_2}\\ D^\times \times D \ar[r]^{\gamma_2} & D \times D.}$$ If ${\boldsymbol{\mathcal{F}}}$ is the restriction of ${\boldsymbol{\mathcal{M}}}\boxtimes {\boldsymbol{\mathcal{N}}}$ to $D^\times \times H$, then lemma \[relcylinder\] implies that $$R \Gamma((\gamma_2)_* (\beta_1)_! (\beta_1)^* {\boldsymbol{\mathcal{F}}}) \cong R \Gamma( (\beta_2)_! (\beta_2)^* (\gamma_1)_* {\boldsymbol{\mathcal{F}}}) \cong \{0\}.$$ It follows that the stalks are both isomorphic to $\{0\}$ at $b$. Therefore, (\[adjunctionmorphism\]) is an isomorphism, and $$R \Gamma_c ({\mathbb{A}}^1 \times {\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, x+y) \cong R \Gamma ({\mathbb{A}}^1 \times {\mathbb{A}}^1; (\bar\beta_\rho)_! (\bar\beta_\rho)^* \left({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}\right)).$$ Observe that $H_\rho \times H_\rho \subset Z_\rho$, since $\Re(x) + \Re(y) >- 2 \rho$ if $\Re(x), \Re(y) > -\rho$. The inclusion induces a natural morphism $$(\beta_\rho \times \beta_\rho)_! (\beta_\rho \times \beta_\rho)^* ({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}) \to (\bar\beta_\rho)_! (\bar\beta_\rho)^* \gamma_*({\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}})$$ using the adjunction map $(\beta_\rho \times \beta_\rho)_! (\beta_\rho \times \beta_\rho)^! \to {\mathrm{id}}$. We compose this map with \[kunnmap1\] to obtain a morphism $$R \Gamma({\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}},t) \otimes_M R \Gamma_\Phi ({\mathbb{A}}^1; {\boldsymbol{\mathcal{N}}}, {\mathrm{id}}) \to R \Gamma ({\mathbb{A}}^1; {\boldsymbol{\mathcal{M}}} \boxtimes {\boldsymbol{\mathcal{N}}}, x+y).$$ By theorem \[modgrwthelem\], and proposition \[kunneth\], this morphism must be an isomorphism. Rapid Decay Homology {#sec:Rapid Decay Homology} -------------------- We are interested in calculating the matrix coefficients of the isomorphism between algebraic de Rham cohomology and moderate growth cohomology, as in corollary \[modgrwthcohomology\]. In this section, we will recall the construction of rapid decay homology found in @BE1, adapting it to the case of elementary ${\mathcal{D}}$-modules. This is a homology theory for irregular singular connections on a curve that is canonically dual to moderate growth cohomology; moreover, there is a perfect pairing between the De Rham complex of an irregular singular connection and the rapid decay chain complex of its dual connection. Let $X$ be a curve, $D \subset X$ a divisor, and $U = X \backslash D$. Suppose that $(\mathscr{M}, {\boldsymbol{\mathcal{M}}}, \phi) \in {\mathrm{MB}_{\mathrm{el}}}({\mathcal{D}}_U, M)$, and that $\mathscr{M}$ is isomorphic to a vector bundle $E$ with connection $\nabla$. In @BE1, Bloch and Esnault construct a 'rapid decay' chain complex $C_* (X, D; E, \nabla)$ with coefficients in ${\mathrm{DR}}(E)$. Roughly, a rapid decay chain consists of a pair $(\mu, \sigma)$, where $\mu$ is a section of ${\mathrm{DR}}(E)$ and $\sigma \in X$ is a simplex which only approaches $D$ on sectors where $e^{-\phi}$ has rapid decay. We define $C_* (X, D; {\boldsymbol{\mathcal{M}}}, \phi)$ to be obvious reduction of structure of $C_* (X, D; E, \nabla)$ to coefficients in ${\boldsymbol{\mathcal{M}}}$. Let $H_*
{'source': 'arXiv_out/1010'}