Dyson's lemma and a theorem of Esnault and Viehweg
type: Item
instance of: scholarly article
title: Dyson's lemma and a theorem of Esnault and Viehweg
zbMATH Open document ID: 0855.11036
DOI: 10.1007/BF01884303
author: M. Nakamaye
published in: Inventiones Mathematicae
publication date: 1995-11-20T00:00:00Z
full work available at URL: https://eudml.org/doc/144303
review text: Proofs in diophantine approximation and transcendence theory often make use of an upper bound on the vanishing of an auxiliary polynomial or, more generally, a global section of a sheaf. One such upper bound, called Dyson's lemma, was introduced by \textit{F. J. Dyson} [Acta Math., Uppsala 79, 225-240 (1947; Zbl 0030.02101)] (where it was proved, essentially, for \(\mathbb{P}^1 \times \mathbb{P}^1\)) and generalized to \((\mathbb{P}^1 )^m\) by \textit{H. Esnault} and \textit{E. Viehweg} [Invent. Math. 78, 445-490 (1984; Zbl 0532.10020)]. The present paper proves a more general version of Dyson's lemma for a nonzero global section of an invertible sheaf \({\mathcal L}\) on a product \(C_1 \times \dots \times C_m\) of integral nonsingular projective curves over a field of characteristic zero. The main theorem of the paper is difficult to state concisely. It does, however, require one additional condition that is worth mentioning. Let \(X= C_1 \times \dots \times C_m\); for \(i=1, \dots,m\) let \(\pi_i: X\to C_i\) denote the \(i\)-th projection. For an invertible sheaf \({\mathcal L}\) on \(X\), let \(d_i ({\mathcal L})\) denote the intersection number of \({\mathcal L}\) with a curve of the form \(P_1 \times \dots \times C_i \times \dots \times P_n\), where \(P_j\in C_j\) is a closed point for all \(j\neq i\). The additional condition is that there exist a numerically effective \(\mathbb{Q}\)-divisor \(D\) on \(X\) with \(d_i ({\mathcal O} (D))\leq d_i ({\mathcal L})\) for each \(i\); a divisor \(F\) on \(X\) of the form \(F= \sum_{i=1}^m \pi_i^* F_i\), where each \(F_i\) is a divisor on \(C_i\) of degree \(d_i ({\mathcal L})\); and an integer \(N> 0\) such that \(H^0 (X, ({\mathcal L} (D- F))^{\otimes N}) \neq 0\). This condition is not a serious obstacle for most applications. The proof follows Esnault-Viehweg rather closely in places, but replaces the use of weak positivity with the derivative of a global section. This latter notion was motivated by the product the…
Mathematics Subject Classification ID: 11J68
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14G05
zbMATH DE Number: 807308
zbMATH Keywords: Roth's theorem
zbMATH Keywords: upper bound on the vanishing of a global section of an invertible sheaf
zbMATH Keywords: Dyson's lemma
reviewed by: Paul Vojta
MaRDI profile type: Publication
Wikidata QID: Q124881256
cites work: On the Thue-Siegel-Dyson theorem
cites work: Q3209230
cites work: Dyson's lemma for polynomials in several variables (and the theorem of Roth)
cites work: Q4712217
cites work: Q4026025
cites work: Diophantine approximation on abelian varieties
cites work: Q4322758
cites work: Q3328651
cites work: Q4143433
cites work: Q4203439
cites work: Q3309989
cites work: Q3728083
cites work: Dyson's lemma for products of two curves of arbitrary genus
cites work: Mordell's conjecture over function fields
cites work: Siegel's theorem in the compact case
cites work: A Generalization of Theorems of Faltings and Thue-Siegel-Roth-Wirsing
OpenAlex ID: W2092792142
Recommended article: Dyson's lemma with moving parts
Recommended article: Q4699492
Recommended article: A GEOMETRIC VERSION OF DYSON'S LEMMA FOR FACTORS OF ARBITRARY DIMENSION
Recommended article: Dyson's lemma for polynomials in several variables (and the theorem of Roth)
Recommended article: Dyson's lemma for products of two curves of arbitrary genus
Recommended article: Q4950481
Recommended article: Q4025981
Recommended article: Q4724763
Recommended article: On the Castelnuovo-Severi inequality.
description: scientific article; zbMATH DE number 807308