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.

Vanishing of Poincaré series for congruence subgroups

Poincaré Series Forso(n, 1)

Construction and non-vanishing of a family of vector-valued Siegel Poincaré series

Vanishing of quasi-invariant generalized functions

On the non-vanishing of Hilbert Poincaré series

Poincaré series of semigroups

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Mass equidistribution for Poincaré series of large index

A note on the spaces of Eisenstein series on general congruence subgroups

Chromatic congruences and Bernoulli numbers

Non-vanishing of vector-valued Poincaré series

Asymptotic zeros of Poincaré series

$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series

Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups

Vanishing of Schubert Coefficients

The Poincare series of the hyperbolic Coxeter groups with finite volume of fundamental domains

Relations between Poincaré series for quasi-complete intersection homomorphisms

Indices of nilpotency in certain spaces of modular forms

Vanishing of the second $L^p$-cohomology group for most semisimple groups of rank at least 3

Congruences concerning Legendre polynomials

Non-vanishing of Taylor coefficients and Poincaré series