Make a list, based on the existing [math]q=-1[/math] literature, carefully checked and doublechecked, of the compact quantum groups [math]G\subset U_N^+[/math], not necessarily easy, which can be twisted in a reasonable sense, and develop some theory for them.

Develop some systematic geometric theory, based on K-theory, differential geometry, and other techniques of Connes, in the twisted setting.