14ab3134bb853f25.tex
1: \begin{abstract}
2: Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties.
3: The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called \emph{occurrence obstructions}).
4: The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv.\ Math.) and B\"urgisser-Ikenmeyer-Panova (J.\ AMS).
5: 
6: This raises the question whether separating group varieties via representation theoretic multiplicities is stronger than separating them via occurrences.
7: This paper provides for the first time a setting where separating with multiplicities can be achieved, while the separation with occurrences is provably impossible.
8: Our setting is surprisingly simple and natural: We study the variety of products of homogeneous linear forms (the so-called Chow variety) and the variety of polynomials of bounded border Waring rank (i.e.\ a higher secant variety of the Veronese variety).
9: 
10: As a side result we prove a slight generalization of Hermite's reciprocity theorem, which proves Foulkes' conjecture for a new infinite family of cases.
11: \end{abstract}
12: