ScalingStacks

Démonstration. [01KH]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Démonstration.

By Zhang’s inequality (see [18]), one has

e⁡(L¯+M¯)≥12​(ℓ+m)​(c^1​(L¯+M¯)2|X).e(\overline{L}+\overline{M})\geq\frac{1}{2(\ell+m)}({\widehat{c}}_{1}(\overline{L}+\overline{M})^{2}|X).

Since (c^1​(L¯)2|X)=(c^1​(M¯)2|X)=0({\widehat{c}}_{1}(\overline{L})^{2}|X)=({\widehat{c}}_{1}(\overline{M})^{2}|X)=0 by assumption, we observe that

(c^1​(L¯+M¯)2|X)=2​(c^1​(L¯)​c^1​(M¯)|X)=−1ℓ​m​(c^1​(m​L¯−ℓ​M¯)2|X).({\widehat{c}}_{1}(\overline{L}+\overline{M})^{2}|X)=2({\widehat{c}}_{1}(\overline{L}){\widehat{c}}_{1}(\overline{M})|X)=-\frac{1}{\ell m}({\widehat{c}}_{1}(m\overline{L}-\ell\overline{M})^{2}|X).

This shows the first claim.

Since m​LmL and ℓ​M\ell M have the same degree, viz. ℓ​m\ell m, the rest of the proposition follows from the negativity properties of the height recalled above. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.