Genre et genre residuel des corps de fonctions valués. (Genus and residual genus of valued function fields) (Q1821834)

Let L be a function field of one variable over a valued field (K,\(|.|)\), and \((|.|_ i)\), \(1\leq i\leq s\), be distinct absolute values over L extending \(|.|\) such that the residue fields \(\bar L{}^ i\) are function fields of one variable over the residue field \(\bar K\) of (K,\(|.|)\). We define the defect of the valued function fields \((L,|.|_ i)/(K,|.|)\) and prove an inequality between the genus of L/K and that of \(\bar L{}^ i/\bar K\) which takes into account the defect, the ramification index of \((L,|.|_ i)/(K,|.|)\) and the constant field of \(\bar L{}^ i/\bar K\). Our inequality is better than Mathieu's inequality in discretely valued case. Some results have been now extended, see \textit{Polzin}'s thesis ''Problème de Skolem et prolongement de la valeur absolue de Gauss'' (Bordeaux 1987); see also the author's thesis where he deduces from discrete and equal characteristic 0 case Albanese's inequality about genus in a family of curves [see \textit{Nobile}, ''Genera of curves varying in a family'' (preprint 1987)].