The Kostka semigroup and its Hilbert basis
Abstract
The Kostka semigroup consists of pairs of partitions with at most r parts that have positive Kostka coefficient. For this semigroup, Hilbert basis membership is an NP-complete problem. We introduce KGR graphs and conservative subtrees, through the Gale-Ryser theorem on contingency tables, as a criterion for membership. In our main application, we show that if a partition pair is in the Hilbert basis then the partitions are at most r wide. We also classify the extremal rays of the associated polyhedral cone; these rays correspond to a (strict) subset of the Hilbert basis. In an appendix, the second and third authors show that a natural extension of our main result on the Kostka semigroup cannot be extended to the Littlewood-Richardson semigroup. This furthermore gives a counterexample to a recent speculation of P. Belkale concerning the semigroup controlling nonvanishing conformal blocks.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2021
- DOI:
- 10.48550/arXiv.2102.00935
- arXiv:
- arXiv:2102.00935
- Bibcode:
- 2021arXiv210200935G
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Algebraic Geometry
- E-Print:
- 27 pages. Conjectures 5.3 and 5.5 have been recently resolved in the affirmative by J. Kim (arXiv:2105.07015). Conjecture 5.8 has been resolved in the negative by the second and third authors in a new Appendix B. This furthermore resolves in the negative a recent speculation of P. Belkale (arXiv:2005.12457v3)