The structure of analytic \(\tau\)-sheaves. (Q1394930)

Let \(C\) be a smooth irreducible and affine curve over \({\mathbb F}_q\), let \(X\) be an \({\mathbb F}_q\)-scheme and denote \(C {\times}_{{\mathbb F}_q} X\) by \(C_X\). A \(\tau\)-sheaf of rank \(r\) is a pair \((M,\tau)\), where \(M\) is an \({\mathcal O}_{C_X}\) module of rank \(r\) and \(\tau:\sigma^*M\to M\) is an injective morphism, (\(\sigma:=1\times \phi:C_X\to C_X\), \(\phi\) being the Frobenius morphism). Let \(l\) be a rational point of \(C\), \(R\) a complete discrete valuation over \({\mathbb F}_q\), whose residue field is algebraic over \({\mathbb F}_q\), and \(K\) its fraction field. Let \(\hat {C}_{X,l}\) be the formal scheme obtained from the completion of \(C_X\) along \(l\times X\), where \( X\) denotes either \(X=\text{Spec}(R)\) or \(X=\text{Spec}(K)\). One has (in an analogous way to \(\tau\)-sheaf) a definition of \(l\)-adic \(\tau\)-sheaf \(\hat {M_l}\) on \(\hat {C}_{X,l}\); it is called smooth when \(\tau\) is an ismorphism. A \(\tau\)-sheaf, \((M,\tau)\), gives in an obvious way an \(l\)-adic \(\tau\)-sheaf. The Tate module associated with an \(l\)-adic \(\tau\)-sheaf \(\hat {M_l}\) is the representative of the functor \[ T_l(\hat {M_l})(X'):=\{f\in \text{Hom}_{{\mathcal O}_{\hat {C}_{X,l}}}(\hat {M_l},{\mathcal O}_{\hat {C}_{X,l}}); \quad f\cdot \tau=\sigma \cdot f\} \] for each \(X\)-scheme \(X'\). The author proves that given the field \(K\) and a \(\tau\)-sheaf \((M,\tau)\), there exists a finite separable extension of \(K\), \(K'\), such that the inertia group \(I_{K'}\) generically (i.e. for all but a finite number of \(l\)) acts unipotently on \(T_l((\hat { M}_{K'})_l )\). This result is proved by using a theory of reduction of models and \(\tau\)-sheaves. A model is a \(\tau\)-sheaf \(M\) over \(K\) such that there exits a \(\tau\)-sheaf on \(C_{\text{Spec}(R)}\) extending \(M\). In the last part of this work some examples are given.