Euler-Jacobi Toric Vanishing Theorem

• The Euler-Jacobi Toric Vanishing Theorem is a foundational result demonstrating how global residue vanishing on toric varieties is governed by combinatorial properties of sparse polynomial systems.
• It establishes equivalences between vanishing residues, the absence of boundary solutions, and algebraic conditions in the Cox ring at critical degrees.
• The theorem provides practical insights into computational algebraic geometry by connecting combinatorial restrictions, cohomological vanishing, and toric arrangement theory.

The Euler-Jacobi Toric Vanishing Theorem is a central result in the theory of residues and cohomology on toric varieties, generalizing classical vanishing properties of global residues to higher dimensions, sparse polynomial systems, and combinatorial geometry. Its modern formulations provide equivalences between global residue vanishing, the absence of solutions at the toric boundary, and algebraic properties of Cox rings, and extend to deep vanishing principles in generalized cohomological and representation-theoretic settings.

1. Historical Origin and Toric Generalization

The classical Euler-Jacobi vanishing theorem originates from residue theory in the projective line and plane. Euler’s formulation (ca. 1755) asserts that for a univariate complex polynomial $X(x)$ of degree $d$ with simple roots $\{\xi_i\}$, and any $U(x)$ of degree $\le d-2$, the sum $\sum_{i=1}^d U(\xi_i)/X'(\xi_i)$ vanishes. Jacobi’s (1835) extension addresses two polynomials $f(x,y),\phi(x,y)$ in two variables under the condition that their projective closures do not intersect “at infinity,” yielding the corresponding vanishing sum for $F(x,y)/\operatorname{Jac}(f,\phi)(x,y)$.

The toric generalization, due to Khovanskii (1978), replaces homogeneous polynomials with $n$ Laurent polynomials $f_1,\dots,f_n$ in the torus $(\mathbb{C}^*)^n$, each with their Newton polytope $P_i\subset\mathbb{R}^n$, and considers their common torus roots $V_T(f_1,\dots,f_n)$. The pivotal innovation is the combinatorial restriction: assuming the $P_i$ are such that their Minkowski sum $P=P_1+\dots+P_n$ is $n$-dimensional, and that the associated hypersurface closures in a compact toric variety $X_P$ avoid the toric boundary $X_P\setminus T$. The cardinality of $V_T$ then achieves the mixed volume $\operatorname{MV}(P_1,\dots,P_n)$, and global residues of Laurent monomials $h$ with exponents in the strict interior $P^\circ$ of $P$ vanish:

$$\operatorname{Res}^T_{f_1,\dots,f_n}(h) := \sum_{\xi\in V_T} \operatorname{Res}_\xi \left(\frac{h\prod dt_i/t_i}{f_1\cdots f_n}\right) = 0.$$

(D'Andrea et al., 20 Jan 2026)

2. Residue Theory, Cox Rings, and Critical Degrees

The toric vanishing theorem is most efficiently understood via the Cox homogeneous coordinate ring $S=\mathbb{C}[x_1,\ldots,x_{n+r}]$ of the associated toric variety $X_P$. Each Laurent polynomial $f_i$ admits a multihomogenization $F_i\in S_{\alpha_{P_i}}$, and the ideal $I=\langle F_1,\ldots,F_n\rangle\subset S$ controls the geometry of the intersection scheme.

At the “toric critical degree” $\rho = (\alpha_{P_1}+\cdots+\alpha_{P_n}) - \rho_0$, where $\rho_0$ is the sum of degrees of the variables, the quotient $(S/I)_\rho$ is canonically isomorphic to the space of Laurent monomials supported in $P^\circ$ modulo $\langle f_i\rangle$. The global residue functional then realizes a linear form on this space, and the vanishing property is equivalent to its image lying in a codimension-one hyperplane of $\mathbb{C}^{\operatorname{MV}(P_i)}$; the residue itself is the unique linear combination invariant under motion inside $P^\circ$.

3. Equivalence with Zeros at Infinity and Criterion of Indecomposability

Let $X_P$ be the toric compactification of the torus associated to the Minkowski sum of the Newton polytopes, with $T=(\mathbb{C}^*)^n\subset X_P$. The core theorem gives the equivalence (under hypothesis):

• (i) $|V_T(f_i)| = \operatorname{MV}(P_i)$, i.e., no solutions “at infinity” (boundary of $X_P$)
• (ii) All global residues $\operatorname{Res}^T(h) = 0$ for $h$ with support in $P^\circ$
• (iii) The toric Jacobian $J^T = \det(t_i \partial f_j/\partial t_i)$ does not equal any $p_J$ with support in $P^\circ$ modulo $\langle f_i\rangle$ in $(S/I)_\rho$

Crucially, these equivalences require essentiality and indecomposability of the polytopes $P_i$ (every partial Minkowski sum has dimension at least its index, and no proper subsum has interior lattice points) (D'Andrea et al., 20 Jan 2026). The absence of these properties—cf. Example 1.6 in (D'Andrea et al., 20 Jan 2026)—dismantles the equivalence, showing their necessity.

4. Connections to Cohomology and Arrangement Theory

In the context of cohomology, the vanishing pattern defined by the Euler-Jacobi principle is mirrored in results for toric hyperplane arrangement complements. Given an essential arrangement $\mathcal{A}$ of toric hyperplanes in $T=(\mathbb{C}^*)^n$, the complement $\mathcal{R}=T\setminus\bigcup_{H\in\mathcal{A}} H$ has cohomology that vanishes off the top degree for nonresonant local systems, group von Neumann algebra, or the group ring:

$$H^i(\mathcal{R};A) = 0 \quad (i\neq n), \qquad \dim H^n(\mathcal{R};A) = |e(\mathcal{R})|$$

where $e(\mathcal{R})$ denotes the Euler characteristic of the complement (Davis et al., 2011). The pure topological content is governed by Orlik-Solomon and Alexander duality, reflecting the localization of possible nonzero components to combinatorially determined loci as in the toric residue context.

5. Algorithmic and Combinatorial Vanishing for Sheaf Cohomology

In the arena of computational algebraic geometry, the toric Euler-Jacobi vanishing underpins the sheaf cohomology algorithm for toric varieties (Jurke, 2011). On a $d$-dimensional simplicial projective toric variety $X$, with Cox ring $S$ and Stanley-Reisner ideal $I_\Sigma\subset S$, line bundle cohomology $H^i(X;O_X(\alpha))$ decomposes combinatorially according to “neg-patterns” (incidence patterns of negative exponents), controlled by the structure of $I_\Sigma$. The vanishing theorem asserts that only those patterns which correspond both to a union of Stanley-Reisner generators and their complement can produce nonzero cohomology:

$$\tilde H_{d-i-1}(\Sigma|_{\widehat\sigma})=0 \quad\text{whenever}\quad \tilde\sigma\notin P(I_\Sigma)\ \text{or}\ \widetilde{\widehat\sigma}\notin P(I_\Sigma).$$

This combinatorial sharpness reduces complexity and connects residue vanishing phenomena to Serre duality, Betti numbers, and applications in string compactifications and monad bundles.

6. Extensions: Iterated Residues, Theta Identities, and the Witten Genus

In generalized contexts, the Euler-Jacobi toric vanishing theorem appears in the analysis of toric invariants and genera, such as the Borisov-Gunnells toric form and the Witten genus. For generalized Bott manifolds and related toric complete intersections, iterated residue formulas express these invariants, and vanishing is obtained under precise combinatorial and integrality conditions on the parameters of the variety (Han et al., 2023). The residue-vanishing mechanism employs the global residue theorem on complex tori, exploiting theta function quasi-periodicity and the structure of singularities, leading to generalized theta identities (e.g., Rogers-Ramanujan-type formulas) and vanishing results for elliptic and Witten genera. This framework demonstrates the reach of Euler-Jacobi-type results in modular invariants and representation-theoretic structures associated to toric and complex-elliptic geometry.

7. Comparative and Conceptual Summary

The Euler-Jacobi Toric Vanishing Theorem stands as a foundational result paralleling, and in many settings refining, classical theorems such as Kodaira vanishing and Orlik-Solomon’s cohomology analysis of (hyper)plane arrangements. Its distinct characteristics—combinatorial control via Newton polytopes, precise residue-theoretic statements, Cox ring interpretation, and strong consequences for both topology and algebraic geometry—support a rich interaction across computational, geometric, and representation-theoretic applications. The essentiality and indecomposability criteria mark the threshold for its strongest versions; in their absence, only a one-way vanishing result survives. These principles have been extended to iterated residues, toric forms, and modular invariants, underlining the theorem’s status as a bridge between the algebraic, geometric, and combinatorial facets of toric and sparse polynomial systems (D'Andrea et al., 20 Jan 2026, Han et al., 2023, Davis et al., 2011, Jurke, 2011).