Solution of a conjecture of C. Berenstein - A. Yger and invariants of contact at infinity (Q5936665): Difference between revisions

In the present paper the author presents a complete proof of a conjecture of \textit{C. A. Berenstein} and \textit{A. Yger} [in: Approximations diophantiennes et nombres transcendants, C.-R. Colloq., Luminy/ Fr. 1990, 15-37 (1992; Zbl 0765.32002)]: There exist two constants \(k_{1}(n)\simeq k_{2}(n) \simeq n\) such that, if \(I \subseteq k[X]\) is an ideal with the integral closure \(\overline{I}\) and \(p_{1},\dots,p_{m}\) is a system of generators of \(I\), then for any \(p \in \overline{I}\), \[ p^{k_{1}(n)}=\sum_{1 \leq i \leq m}q_{i}p_{i} \] with \(\max \deg (q_{i}p_{i})\leq k_{1}(n) \deg p +k_{2}(n)d^{n}\), where \(d=\max \deg p_{i}\). This result follows from a more precise one, where \(\max \deg (q_{i}p_{i})\) is bounded in terms of some invariants associated to the subschemes of \(\mathbb{P}^{n}_{k}\) defined by the \(p_{i}\)'s. The most important ones measure, in a specific sense, the contact between the various components of the normalized blowing-up along an ideal \(\mathcal{I} \subset \mathcal{O}_{\mathbb{P}^{n}_{k}}\), and a hyperplane at infinity. The main results are proved using properties of the integral closure of ideals and of the normalized blowing-ups, as well as the intersection theory [\textit{W. Fulton}, ``Intersection theory'' (Berlin 1988; Zbl 0885.14002)], more specifically the refined Bézout theorem. As consequences, the author proves an ``effective Nullstellensatz'' which partially generalizes that of \textit{L. Ein} and \textit{R. Lazarsfeld} [Invent. Math. 137, No. 2, 427-448 (1999; Zbl 0944.14003)], some global Łojasiewicz inequalities and a result concerning the ``algebraic Bézout theorem''.