2.3 Harnack type inequality [008D]
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
2.3 Harnack type inequality
Lemma 2.3.
(Almost maximum on top strata)
For normalised to , there is some , such that
|
|
|
Proof.
Let the global maximum of be achieved at , and denote the local potential of as . Without loss of generality . We have since . Applying the mean value inequality around , we find that the local average function produced in Lemma 2.2 satisfies for another uniform constant . By the convexity of its sup is almost achieved at the boundary of the chart, which is contained in a union of less deep strata with . Thus we can find a point with that belongs to a less deep stratum; an induction shows that there is some , such that .
For the -bound we recall the following Harnack inequality argument. Suppose a coordinate ball is contained in a local chart in a small neighbourhood of .
Applying the mean value inequality to the local psh function associated to , we see for that
|
|
|
hence the Harnack inequality
|
|
|
Applying this to a chain of balls connecting any two points in gives the -bound ; the bound is uniform because the number of balls involved in the chain can be controlled independent of .
∎
Proposition 2.4.
(Almost maximum on top strata II)
There is a uniform lower bound for all and all :
|
|
|
(3) |
Proof.
The -estimate follows from the sup estimate as above, so the real problem is to transfer bounds between different . This is nontrivial because the necks connecting with each other are highly degenerate.
Given one divisor such that
we produce a good test function by Lemma 2.1. Integrating by parts,
|
|
|
The LHS is the difference of and , and since both terms are bounded between and . Thus
|
|
|
Now the form
can only be negative on , and is bounded below by . Thus the positive part of the signed measure has total mass controlled by .
Consequently, the negative part of the signed measure must also have total mass .
By construction, for any divisor intersecting there is a nontrivial amount of -measure inside . This forces . To summarize, we have transferred the sup bound from to any with . Since the central fibre is connected, in at most steps
this sup bound is transferred to all with .
∎
Remark 2.5.
This proof is inspired by the intersection theoretic argument of [2, section 6.1], which can be viewed as a non-archimedean analogue.