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.

Operators on symmetric polynomials and applications in computing the cohomology of $BPU_n$

Operators on symmetric polynomials and applications in computing the cohomology of $BPU_n$

The cohomology of $BPU_n$ in dimensions less than $15$

The cohomology of the classifying space of $PU(4)$

The cohomology of $BPU(p^m)$ and polynomial invariants

On the p-primary subgroups of the cohomology of the classifying spaces of PUn

The Permutahedral Variety, Mixed Eulerian Numbers, and Principal Specializations of Schubert Polynomials

Topological complexity of enumerative problems and classifying spaces of $PU_n$

Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties

Cohomological Kernels of Elementary Abelian Degree $p^2$ Extensions

Shimura operators for certain Hermitian symmetric superpairs

Cohomology rings of extended powers and free infinite loop spaces

Symmetry and parity in Frobenius action on cohomology

Some examples in the integral and Brown-Peterson cohomology of p-groups

Equivalence of Hardy Submodules Generated by Polynomials

Vanishing of Schubert Coefficients

Forest polynomials and the class of the permutahedral variety

On the Iwasawa invariants of BDP Selmer groups and BDP P-adic L-fucntions

Finite polynomial cohomology with coefficients

Derived functors and Hilbert polynomials over hypersurface rings

Classical periods of Eisenstein series and Bernoulli polynomials in the equivariant cohomology of a torus