An interpolation theorem in toric varieties (Q933638): Difference between revisions

Weimann generalizes a twenty years old theorem of Wood characterizing when \(N\) germs of smooth, analytic hypersurfaces \((V_i, a_0\cap V_i)\) along the \(n\)-th coordinate axis \(a_0\) in \(\mathbb C^n\) are part of a common global, algebraic hypersurface of degree \(N\) in \(\mathbb P^n\). The condition in Wood's theorem is that, in a neighborhood of \(a_0\), the trace \(\sum_{i=1}^N x_n(a\cap V_i)\) has to be an affine function on the set of complex lines \(a\) whenever their direction in \(\mathbb C^n\) is fixed. The generalization of Weimann treats smooth projective toric varieties instead of just \(\mathbb P^n\). The former lines intersecting the germs \(V_i\) are replaced by intersections of \(n-1\) effective divisors with fixed ample classes \(L_k\), and the old degree condition turns into prescribing the intersection number with \(L_1\cdot\dots\cdot L_{n-1}\). The proof exploits an interpretation of the trace function as Grothendieck residues and, afterwards, uses Khovanskii's toric generalization of the Abel-Jacobi theorem.