English

The Kromatic Symmetric Function: A $K$-theoretic Analogue of $X_G$

Combinatorics 2023-05-19 v3 K-Theory and Homology

Abstract

Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with KK-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their KK-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function XG\overline{X}_G, a KK-theoretic analogue of the chromatic symmetric function XGX_G of a graph GG. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint. Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when GG is a claw-free incomparability graph, XG\overline{X}_G is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several KK-analogues of the ee-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to KK-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of XG\overline{X}_G and show that it admits a deletion--contraction relation. Finally, we give a KK-analogue for XG\overline{X}_G of the classic monomial-basis expansion of XGX_G.

Keywords

Cite

@article{arxiv.2301.02177,
  title  = {The Kromatic Symmetric Function: A $K$-theoretic Analogue of $X_G$},
  author = {Logan Crew and Oliver Pechenik and Sophie Spirkl},
  journal= {arXiv preprint arXiv:2301.02177},
  year   = {2023}
}

Comments

Updated theorem statement and proof for Grothendieck-positivity of Kromatic symmetric functions; an exact combinatorial interpretation is now provided