Abstract:Understanding the difference between group orbits and their closures is a key difficulty in geometric complexity theory (GCT): While the GCT program is set up to separate certain orbit closures, many beautiful mathematical properties are only known for the group orbits, in particular close relations with symmetry groups and invariant spaces, while the orbit closures seem much more difficult to understand. However, in order to prove lower bounds in algebraic complexity theory, considering group orbits is not enough. In this paper we tighten the relationship between the orbit of the power sum polynomial and its closure, so that we can separate this orbit closure from the orbit closure of the product of variables by just considering the symmetry groups of both polynomials and their representation theoretic decomposition coefficients. In a natural way our construction yields a multiplicity obstruction that is neither an occurrence obstruction, nor a so-called vanishing ideal occurrence obstruction. All multiplicity obstructions so far have been of one of these two types. Our paper is the first implementation of the ambitious approach that was originally suggested in the first papers on geometric complexity theory by Mulmuley and Sohoni (SIAM J Comput 2001, 2008): Before our paper, all existence proofs of obstructions only took into account the symmetry group of one of the two polynomials (or tensors) that were to be separated. In our paper the multiplicity obstruction is obtained by comparing the representation theoretic decomposition coefficients of both symmetry groups. Our proof uses a semi-explicit description of the coordinate ring of the orbit closure of the power sum polynomial in terms of Young tableaux, which enables its comparison to the coordinate ring of the orbit.

On the polycirculant conjecture

Permutation Groups with a Cyclic Two-Orbits Subgroup and Monodromy Groups of Siegel Functions

Implementing geometric complexity theory: On the separation of orbit closures via symmetries

Orbits of permutation groups with no derangements

On a class of multiplicity-free nilpotent K_C-orbits

The Orbital Chromatic Polynomial of a Cycle

Orbits and characters associated with rook placements for Sylow $p$-subgroups of finite orthogonal groups

Mirror Symmetry for Special Nilpotent Orbit Closures

Orbits of the left-right equivalence of maps in arbitrary characteristic

Determination Problems for Orbit Closures and Matrix Groups

Moments of the neutron charge form factor and the N->Delta quadrupole transition

Orbits of tori extended by finite groups and their polynomial hulls: the case of connected complex orbits

Complexity of Robust Orbit Problems for Torus Actions and the abc-conjecture

The Orbits of the Action of the Cactus Group on Arc Diagrams

Intersection of orbits for polynomials in characteristic $p$

On the Orbital Diameter of Primitive Affine Groups

Automorphisms of K3 surfaces, cyclotomic polynomials and orthogonal groups

Almost-quasifibrations and fundamental groups of orbit configuration spaces

Weyl group orbits on Kac--Moody root systems

Orbit-counting in non-hyperbolic dynamical systems

Differential geometry of the space of orbits of a Coxeter group