  I describe three geometric approaches to resolving variants of P v. NP,
present several results that illustrate the role of group actions in complexity
theory, and make a first step towards completely geometric definitions of
complexity classes.
