The following multi-determinantal algebraic variety plays a central role in algebra, algebraic geometry and computational complexity theory: {\rm SING}_{n,m}, consisting of all m-tuples of n\times n complex matrices which span only singular matrices. In particular, an efficient deterministic algorithm testing membership in {\rm SING}_{n,m} will imply super-polynomial circuit lower bounds, ... more >>>