Abstract:Schubert coefficients are nonnegative integers $c^w_{u,v}$ that arise in Algebraic Geometry and play a central role in Algebraic Combinatorics. It is a major open problem whether they have a combinatorial interpretation, i.e, whether $c^w_{u,v} \in \#{\sf P}$. We study the closely related vanishing problem of Schubert coefficients: $\{c^w_{u,v}=^?0\}$. Until this work it was open whether this problem is in the polynomial hierarchy ${\sf PH}$. We prove that $\{c^w_{u,v}=^?0\}$ in ${\sf coAM}$ assuming the GRH. In particular, the vanishing problem is in ${\Sigma_2^{\text{p}}}$. Our approach is based on constructions lifted formulations, which give polynomial systems of equations for the problem. The result follows from a reduction to Parametric Hilbert's Nullstellensatz, recently studied in <a class="link-https" data-arxiv-id="2408.13027" href="https://arxiv.org/abs/2408.13027">arXiv:2408.13027</a>. We apply our construction to show that the vanishing problem is in ${\sf NP}_{\mathbb{C}} \cap {\sf P}_{\mathbb{R}}$ in the Blum--Shub--Smale (BSS) model of computation over complex and real numbers respectively. Similarly, we prove that computing Schubert coefficients is in $\#{\sf P}_{\mathbb{C}}$, a counting version of the BSS model. We also extend our results to classical types. With one notable exception of the vanishing problem in type $D$, all our results extend to all types.

Incidence relations among the Schubert cells of equivariant Hilbert Schemes

Hirzebruch X Y Genera of the Hilbert Schemes of Surfaces by Localization Formula

On the cup product for Hilbert schemes of points in the plane

Incidence Hilbert schemes and infinite dimensional Lie algebras

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

The Le Bruyn-Procesi theorem and Hilbert schemes

Rigidity of equivariant Schubert classes

The geometry of double nested Hilbert schemes of points on curves

Equivariant Schubert calculus and geometric Satake

Gröbner geometry for regular nilpotent Hessenberg Schubert cells

Hilbert functions of points on Schubert varieties in Orthogonal Grassmannians

Hilbert Series of Residual Intersections

Hilbert-Burch matrices and explicit torus-stable families of finite subschemes of $\mathbb A ^2$

Vanishing of Schubert Coefficients

Nested Hilbert Schemes on Surfaces: Virtual Fundamental Class

Nested Hilbert Schemes on Hirzebruch surfaces and quiver varieties

Verlinde series for Hirzebruch surfaces

Which Schubert Varieties are Hessenberg Varieties?

Local cohomology with support in Schubert varieties

Mixing Metaphors

Elliptic classes of Schubert varieties via Bott–Samelson resolution