Previous Conferences & Workshops

Consider an oracle which takes a point $x$ and returns the minimizer of a convex function $f$ in an $\ell_2$ ball of radius $r$ around $x$. While it is straightforward to show that $\approx r^{-1}$ queries to this oracle suffice to minimize $f$ to...

In 1982, S. T. Yau conjectured that there exists at least four embedded minimal 2-spheres in the 3-sphere with an arbitrary metric. In this talk, we will show that this conjecture holds true for bumpy metrics and metrics with positive Ricci...

Introduce the notion of stable compactly generated $\infty$-category and discuss its properties and some examples. In particular, prove that the $\infty$-category of small idempotent complete stable $\infty$-categories is equivalent to the $\infty$...

We discover a surface related to the pair correlation of zeros of the Riemann zeta function. We make a conjecture on the shape of the surface and present partial results and numerical evidence towards the conjecture. This is joint work with Debmalya...

In this talk, I will first describe how classical Dieudonne module of finite flat group schemes and $p$-divisible groups can be recovered from crystalline cohomology of classifying stacks. Then, I will explain how in mixed characteristics, using...

Humans tend to be better at physics than at mathematics.  After all, when an apple falls from a tree, there are more people who can catch it—they know physically how the apple moves—than people who can compute its trajectory from a differential...

I will prove that the block length of every linear 3-query Locally Correctable Code (LCC) with a constant distance over any small field grows exponentially with k, the dimension of the code. This result gives the first separation between LCCs and...

We report on proofs of some recent conjectures of Drinfeld on the algebraicity of formal stacks associated with minuscule cocharacters of smooth group schemes over Z_p. These stacks are constructed using the theory of syntomification as developed by...