Localization of a zero-dimensional polynomial model (source code)

= Localization of a zero-dimensional polynomial model
{title2=$\langle f\rangle=\pi\sum_a m_a f(z_a)$}

With $P=W^{\prime}$ a nonconstant polynomial, positive area measure and <Berezin integration> oriented positively, a holomorphic polynomial insertion in $S=|P|^2-P^{\prime}\theta_1\theta_2-\overline{P^{\prime}}\bar\theta_1\bar\theta_2$ equals $\pi\sum_a m_a f(z_a)$, where $P(z_a)=0$ and $m_a$ is the <multiplicity of a root>. Rescaling $P$ by $t>0$ leaves the insertion fixed and localizes it as $t\to\infty$.