The de Rham isomorphism for Drinfeld modules over Tate algebras (Q1730208)

\textit{B. Anglès} et al. introduced Drinfeld modules over Tate algebras in [Compos. Math. 152, No. 1, 1--61 (2016; Zbl 1336.11042)], and prove that they connect log-algebraicity identities of Anderson, the \(L\)-series of Pellarin, and Taelman class modules, which are associated to the Carlitz module and Goss \(L\)-series. The main object of the paper under review is to define the de Rham map for Drinfeld modules over Tate algebras. It is also studied some conditions under the map is an isomorphism. The setting is the following. Consider \(\theta, t_1,\ldots,t_s,z\) independent variables over the finite field of \(q\)-elements \({\mathbb F}_q\). Let \(A= {\mathbb F}_q[\theta]\), \(A[\underline{t}_s]=A[t_1,\ldots,t_s]\), \(A[\underline{t}_s, z]=A[t_1,\ldots,t_s,z]\) be polynomial rings. Let \(K={\mathbb F}_q(\theta)\), \(K_{\infty}={\mathbb F}_q((1/\theta))\) and let \({\mathbb C}_{\infty}\) be the completion of an algebraic closure of \(K_{\infty}\). Let \({\mathbb T}_s\) and \({\mathbb T}_{s,z}\) be Tate algebras on closed unit polydiscs over \({\mathbb C}_{\infty}\) in the variables \(t_1,\ldots,t_s\) and \(t_1,\ldots,t_s,z\), respectively. Let \(\tau\colon {\mathbb T}_s\longrightarrow {\mathbb T}_s\) be the \(q\)-th power Frobenius map. A Drinfeld \(A[\underline{t}_s]\)-modules is a \({\mathbb F}_q[\underline{t}_s ]\)-algebra isomorphism \(\phi\colon A[\underline{t}_s]\longrightarrow {\mathbb T}_s[\tau]\) where \({\mathbb T}_s[\tau]\) is the twisted polynomial ring in \(\tau\) over \({\mathbb T}_s\), such that \(\phi_{\theta}=\theta+A_1\tau+\cdots+A_r\tau^r\), \(A_r\neq 0\). We also consider an induced exponential function \(\exp_{\theta} \colon {\mathbb T}_s\longrightarrow {\mathbb T}_s\), and \(\Lambda_{\phi}= \ker(\exp_{\phi})\). Unlike the situation of Drinfeld \(A\)-modules over \({\mathbb C}_{\infty}\), \(\exp_{\theta}\) is not necessarily surjective. When \(\exp_{\phi}\) is surjective, \(\phi\) is called \textit{uniformizable}. The main result, Theorem 5.3.3 is the following. Let \(\phi\) be a Drinfeld \(A[ \underline{t}_s]\)-module such that (i) \(A_r\in {\mathbb T}_s^*\) and (ii) \( \Lambda_{\phi}\) is a free and finitely generated \(A[\underline{t}_s]\)-module of rank \(r\). Let \(\mathrm{DR}\colon H^*_{\mathrm{DR}}(\phi) \longrightarrow\mathrm{Hom}_{A[ \underline{t}_s]}(\Lambda_{\phi},{\mathbb T}_s)\) be the \({\mathbb T}_s\)-linear de Rham map given by \(\mathrm{DR}([\eta])=F_{\eta}|_{\Lambda_{\phi}}\). Then, \(\mathrm{DR}\) is an isomorphism of left \({\mathbb T}_s\)-modules. Here \(H^*_{\mathrm{DR}}(\phi)=\mathrm{Der}(\phi)/ \mathrm{Der}_{si}(\phi)\) is the de Rham module, where \(\mathrm{Der}(\phi)\) denote the space of all biderivations and \(\mathrm{Der}_{si}(\phi)\) denote the subspace of all strictly inner biderivations. The main obstruction in the proof is that parts of the \textit{E.-U. Gekeler}'s proof on the de Rham isomorphism for Drinfeld modules [J. Reine Angew. Math. 401, 188--208 (1989; Zbl 0672.14011)], do not extend from \({\mathbb C}_{\infty}\) to \({\mathbb T}_s\). During the proof of the main result, it becomes apparent several other interconnections of properties of the Drinfeld \(A[\underline{t}_s]\)-module \(\phi\) as uniformizability and rigid analytic triviality. The connections are the following (Theorem 7.1.1). Let \(\phi\) be a Drinfeld \(A[\underline{t}_s]\)-module of rank \(r\) such that (i) \(A_r\in {\mathbb T}_s^*\), and (ii) \(\Lambda_{\phi}\) is a free and finitely generated \(A[\underline{t}_s]\)-module. Then the following is equivalent: (a) \(\Lambda_{\phi}\) is free of rank \(r\) over \(A[\underline{t}_s]\); (b) \(\phi\) has a rigid analytic trivialization; (c) the de Rham map \(\mathrm{DR}\) is an isomorphism; (d) \(\phi\) is uniformizable, and \(\phi[\theta]\) is free of rank \(r\) over \({\mathbb F}_q[ \underline{t}_s]\). The proof of the Theorem 5.3.3 is given in Section 6 and the proof of the Theorem 7.1.1 in Section 7. In the last section, the authors consider various applications and examples.