Pith. sign in

REVIEW 1 cited by

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1004.4802 v1 pith:XVEFEDLD submitted 2010-04-27 math.AG cs.CC

Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program

classification math.AG cs.CC
keywords varietyhypersurfacesdegreedimensiondualequationsgeometricmulmuley-sohoni
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A near-quadratic lower bound on the border determinantal complexity of $\sum_i x_i^n$ via conormal specialization

    cs.CC 2026-06 unverdicted novelty 8.0

    The border determinantal complexity of sum_{i=1}^n x_i^n is at least (n-1)^2/(4e) and the symmetric version at least (n-1)^2/(2e) for n>=3 over the complexes.