Geometric Complexity Theory II: Towards explicit obstructions for embeddings among class varieties

Ketan D Mulmuley, Milind Sohoni

In part I we reduced the arithmetic (characteristic zero) version of the P \not \subseteq NP conjecture to the problem of showing that a variety associated with the complexity clas…