Pome

Example 11.31.8B1E195FF817D

Example 11.31.8.B1E195FF817D Let $X=\mathbb C/(\mathbb Z+\mathrm{i}\mathbb Z)$, with coordinate $z=x+\mathrm{i}y$. Take $\theta =\gamma =\eta $, where $\eta =(\mathrm{i}/2)\mathrm{d}z\wedge \mathrm{d}\bar z$, together with $\mathrm{d}V=\eta $ and the flat distance $d$. For integers $k\geq 1$, set

\[ u_ k=\frac{\cos (2\pi kx)}{2\pi k^2}. \]

These smooth potentials have mean zero and satisfy

\[ \theta +\mathrm{dd}^{\mathrm{c}}u_ k=\left(1-\frac12\cos (2\pi kx)\right)\eta >0, \qquad \| u_ k\| _{L^1}=\frac1{\pi ^2k^2}. \]

The function $f_ k=\cos (2\pi kx)/(2\pi k)$ has supremum norm at most one and Lipschitz constant at most one. It follows that

\[ d_{\gamma ,d}(u_ k,0) \geq \left|\int _ Xf_ k\, \mathrm{dd}^{\mathrm{c}}u_ k\right| =\frac1{8\pi k}. \]

Consequently, the exponent $1/2$ in proposition 11.31.7 cannot be replaced by any larger exponent, even for smooth strictly positive potentials on a fixed curve. Nor can the power one in the lower bound be replaced by a smaller positive power: for $0<t\leq 1$, both $\| tu_1\| _{L^1}$ and $d_{\gamma ,d}(tu_1,0)$ equal $t$ times their positive values at $t=1$.

Cite this page

Comments

Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.