Video Lectures

Separate tags with a comma.

Given a Morse function on a closed smooth manifold and a Smale gradient-like vector field adapted to it, one can construct a topological category called the flow category associated with this data. Its objects are the critical points of the function...

A valency argument is an elegant and well-known technique for proving impossibility results in distributed computing. It is an example of an extension-based proof, which is modelled as an interaction between a prover and a protocol. Even though...

Markov Staircases

Joé Brendel

In this talk, we will discuss new infinite symplectic staircases. Much recent progress has been made in the study of infinite symplectic staircases arising from embedding problems of standard ellipsoids into various symplectic four-manifolds. We...

Tropical geometry is a modern degeneration technique in algebraic geometry. Think of it as a very drastic degeneration in which one associates a limiting object to a family of algebraic varieties that is entirely combinatorial.  I will introduce...

Matroids are combinatorial structures that model independence, such as that of edges in a graph and vectors in a linear space. I will introduce the theory of matroids along with their surprising connection to a class of multivariate polynomials that...