Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program

Abstract

We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_{n^2} orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree $n$ in C^{n^2} with dual of dimension at most 2n-2. We establish additional geometric properties of the Mulmuley-Sohoni variety and prove a quadratic lower bound for the determinental border-complexity of the permanent.

References in corpus (1)

• An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP

Cited by in corpus (6)

• Unifying and generalizing known lower bounds via geometric complexity theory
• The boundary of the orbit of the 3 by 3 determinant polynomial
• Binary Determinantal Complexity
• Padded polynomials, their cousins, and geometric complexity theory
• Geometric Complexity Theory: an introduction for geometers
• Explicit Lower Bounds via Geometric Complexity Theory