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.

On the Computation of the Cohomological Invariants of Bott–Samelson Resolutions of Schubert Varieties

A footnote to a paper of Deodhar

On Bott--Samelson rings for Coxeter groups

Elliptic classes of Schubert varieties via Bott–Samelson resolution

Secure, Efficient Data Transport and Replica Management for High-Performance Data-Intensive Computing

Frobenius splitting of Schubert varieties of semi-infinite flag manifolds

Quantum Cohomology and Crepant Resolutions: A Conjecture

Automorphisms of the quantum cohomology of the Springer resolution and applications

Parabolic Kazhdan-Lusztig polynomials and Schubert varieties

Cohomologie et $K$-theorie equivariantes des tours de Bott et des varietes de drapeaux. Application au calcul de Schubert

Minuscule Schubert Calculus and the Geometric Satake Correspondence

Local cohomology with support in Schubert varieties

Structure Constants in equivariant oriented cohomology of flag varieties

Koszul homomorphisms and universal resolutions in local algebra

Vanishing of Schubert Coefficients

Higher cohomology vanishing of line bundles on generalized Springer's resolution

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Presenting the cohomology of a Schubert variety: Proof of the minimality conjecture

On the cohomology of SL$_n(\mathbb{Z})$

Comodule Structures, Equivariant Hopf Structures, and Generalized Schubert Polynomials