Video Lectures

Quillen's higher K-groups, defined in 1971, paved the way for motivic cohomology of algebraic varieties. Their definition as homotopy groups of combinatorially constructed topological spaces initially seems abstract and inaccessible. In...

Recently Nicolas and Serre have determined the structure of the Hecke algebra acting on modular forms of level 1 modulo 2, and Serre has conjectured the existence of a universal Galois representation over this algebra. I'll explain the proof of...

One of the major insights of the ``fixed-parameter tractability’’ (FPT) approach to algorithm design is that, for many NP-hard problems, it is possible to efficiently *shrink* instances which have some underlying simplicity. This preprocessing can...

We prove a strong limitation on the ability of entangled provers to collude in a multiplayer game. Our main result is the first nontrivial lower bound on the class MIP* of languages having multi-prover interactive proofs with entangled provers...