Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.
00SP
Proof. Let be a compactly supported nonnegative smooth function on the square , equal to one on . We identify with , and denote . Then
|
|
|
The basic obervation is that if is a positive current of bidegree , then by integration by part,
|
|
|
Iterating this argument to lower the power of ,
|
|
|
The second statement is proved similarly by removing factors iteratively.
∎