Les connexions hypergéométriques et le théorème de linéarité de T. Terasoma. (Hypergeometric connexions and the linearity theorem of T. Terasoma) (Q671242)

Let \((L,\Delta)\) be a rank \(1\) connection, \(L\) being a line bundle on a smooth scheme \(T\) of finite type over a field \(k\) of characteristic \(0\) and \(\Delta : L \rightarrow L\otimes _{{\mathcal O}_T} \Omega ^1_T\) a connection. Let \(K = k(s_1,\cdots ,s_p)\), \(s_i\) being indeterminates and let \(T_K = \text{Spec } K \times_{\text{Spec } k} T\). A mixed connection \((L_{T_K}, \Delta , (t_i)_i)\) is a connection \((L_{T_K}, \Delta)\) together with translation operators \(t_i\), \(i=1,\cdots ,p\), compatible with the connection. Let ch\((L,\Delta,(t_i)_i)\) denote the character of the connection. The main result of the paper is the following theorem of linearity. There exist \(\alpha _i \in H^0(T,\text{dlog }{\mathcal O}_T^*)\) and \(\alpha _0\) coming from \({\alpha }'_0 \in H^0(T,\Omega^1_T / \text{dlog } {\mathcal O}_T^*)\) such that \[ \text{ch}(L, \Delta , (t_i)_i) = \sum_i \alpha _i s_i + \alpha_0.\tag{\(*\)} \] The dominant coefficients are obtained as functions of translation operators. As an application the author studies the case of \(p\) polynomials \(f_i : {\overline T} \times A^n_k \rightarrow A^1_k\) parametrised by a smooth scheme \({\overline T}\) of finite type over \(k\). Let \(U = {\overline T} \times A^n_k - \bigcup_i f_i^{-1}(0)\), \(V = K \times_k U\), \(p: V \rightarrow {\overline T}_K\). Let \({\mathcal D}_U = \) the sheaf of algebraic differential operators on \(U\). To a \({\mathcal D}_U\)-module \(N\) one associates a holonomic \({\mathcal D}_V-\)module \(N_V f^s\). The determinant of cohomology det \(p_{+} N_V f^s\) is a mixed connection on a line bundle over \({\overline T}_K\) called here the hypergeometric connection. The author computes explicitly the coefficients \(\alpha _i\) in the character of the hypergeometric connection in case \(N = {\mathcal O}_U\) and \(k = {\mathbb{C}}\). The paper generalises the work of \textit{T. Terasoma} [Invent. Math. 110, No. 3, 441-471 (1992; Zbl 0802.14019)] on hypergeometric functions of hypersurfaces and the determinant of the Gauss-Manin connection.