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
Proof.
We consider the Laplacian
|
|
|
where we have crucially used that is an algebraic cycle to deduce . Thus
would follow from a Liouville theorem argument, by checking some a priori growth condition
|
|
|
which is easy to derive using the techniques in the previous lemmas in this Section. The derivatives can be treated similarly.
∎