Symmetric functions are mathematical objects that appear throughout algebra and combinatorics. One of the most important families are called Schur functions, which encode deep information about the representation theory of groups and the geometry of certain spaces. These functions can be multiplied together, and a longstanding open problem asked whether certain specific products of Schur functions are genuinely independent of one another, meaning no one product can be written as a combination of the others.
The conjecture in question, proposed by Kleber, concerns pairs of shapes called rectangular complements. If you fix a rectangular grid and take a shape inside it, the complement is whatever is left over after rotating the shape and fitting the two pieces together to fill the rectangle. Kleber predicted that when you multiply the Schur functions corresponding to such complementary pairs, all those products are linearly independent. This paper proves that conjecture, not just over the real numbers but over any commutative ring, which is a very general algebraic setting. The key tool is a broader theorem showing that products of Schur functions indexed by pairs of shapes that partition a fixed overall shape are always linearly independent.
As a bonus, the authors use this result to resolve a related question about a different family of functions called Koike-Terada universal characters, proving their products are linearly independent over any field. They also prove an analogous statement for another well-known family called monomial symmetric functions. Taken together, these results settle several open questions in algebraic combinatorics and clarify the structure of the ring of symmetric functions in a way that will likely be useful for future work in representation theory and related areas.