We present a new approach to affine Deligne Lusztig varieties which allows us to study the so called "non-basic" case in a type free manner. The central idea is to translate the question of non-emptiness and the computation of the dimensions of these varieties into geometric questions in the Bruhat-Tits building. All boils down to understand existence of certain positively folded galleries in affine Coxeter complexes. To do so, we explicitly construct such galleries and use, among other techniques, the root operators introduced by Gaussent and Littelmann to manipulate them.[-]

In the 80's Beauville generalized several foundational results of Nikulin on automorphism groups of K3 surfaces to hyperkähler manifolds. Since then the study of automorphism groups of hyperkähler manifolds and in particular of hyperkähler fourfolds got very much attention. I will present some classification results for automorphisms on hyperkähler fourfolds that are deformation equivalent to the Hilbert scheme of two points on a K3 surface and describe some explicit examples. I will give particular attention to double EPW sextics, that admit in a natural way a non-symplectic involution. Time permitting I will show how the rich geometry of double EPW sextics has an important connection to a classical question of U. Morin (1930).[-]

In the 80's Beauville generalized several foundational results of Nikulin on automorphism groups of K3 surfaces to hyperkähler manifolds. Since then the study of automorphism groups of hyperkähler manifolds and in particular of hyperkähler fourfolds got very much attention. I will present some classification results for automorphisms on hyperkähler fourfolds that are deformation equivalent to the Hilbert scheme of two points on a K3 surface and describe some explicit examples. I will give particular attention to double EPW sextics, that admit in a natural way a non-symplectic involution. Time permitting I will show how the rich geometry of double EPW sextics has an important connection to a classical question of U. Morin (1930).[-]

In the 80's Beauville generalized several foundational results of Nikulin on automorphism groups of K3 surfaces to hyperkähler manifolds. Since then the study of automorphism groups of hyperkähler manifolds and in particular of hyperkähler fourfolds got very much attention. I will present some classification results for automorphisms on hyperkähler fourfolds that are deformation equivalent to the Hilbert scheme of two points on a K3 surface and describe some explicit examples. I will give particular attention to double EPW sextics, that admit in a natural way a non-symplectic involution. Time permitting I will show how the rich geometry of double EPW sextics has an important connection to a classical question of U. Morin (1930).[-]

I will present a joint work with Sara Angela Filippini, Laurent Manivel and Fabio Tanturri (arXiv: 1704.01436). We introduce a new class of varieties, called orbital degeneracy loci. The idea is to use any orbit closure in a representation of an algebraic group to generalise the classical construction of degeneracy loci of morphisms between vector bundles, and of zero loci as well. After giving the definition of an orbital degeneracy locus, I will explain how to control the canonical bundle of these varieties: under some Gorenstein condition on the orbit closure, it is possible to construct examples of varieties with trivial canonical bundle or of Fano type. Finally, if time will permit, I will give some explicit examples of such degeneracy loci, which allow to construct many Calabi-Yau varieties of dimension three and four, and some new Fano fourfolds.[-]

The geometric Satake equivalence identifies the Satake category of a reductive group $G$ – that is, the category of equivariant perverse sheaves on the affine Grassmannian $G_{rG}$ – with the representation category of its Langlands dual group $G^∨$. While the Satake category is topological in nature, it has a poorly understood algebro-geometric cousin: the category of perverse coherent sheaves on $G_{rG}$. This category is not semi-simple and its monoidal product is not symmetric. We show however that it is rigid and admits renormalized r-matrices similar to those appearing in the theory of quantum loop or KLR algebras. Applying the framework developed by Kang-Kashiwara-Kim-Oh in their proof of the dual canonical basis conjecture, we use these results to show that the coherent Satake category of $GL_n$ is a monoidal cluster categorification in the sense of Hernandez-Leclerc. This clarifies the physical meaning of the coherent Satake category: simple perverse coherent sheaves correspond to Wilson-'t Hooft operators in $\mathcal{N} = 2$ gauge theory, just as simple perverse sheaves correspond to 't Hooft operators in $\mathcal{N} = 4$ gauge theory following the work of Kapustin-Witten. Our results also explain the appearance of identical quivers in the work of Kedem-Di Francesco on $Q$-systems and in the context of BPS quivers. More generally, our construction of renormalized r-matrices works in any chiral $E_1$-category, providing a new way of understanding the ubiquity of cluster algebras in $\mathcal{N} = 2$ field theory: the existence of renormalized r-matrices, hence of iterated cluster mutation, is a formal feature of such theories after passing to their holomorphic-topological twists. This is joint work with Sabin Cautis (arXiv:1801.08111).[-]

In joint work with Konstanze Rietsch (arXiv:1712.00447), we use the $\mathcal{X}$-cluster structure on the Grassmannian and the combinatorics of plabic graphs to associate a Newton-Okounkov body to each $\mathcal{X}$-cluster. This gives, for each $\mathcal{X}$-cluster, a toric degeneration of the Grassmannian. We also describe the Newton-Okounkov bodies quite explicitly: we show that their facets can be read off from $\mathcal{A}$-cluster expansions of the superpotential. And we give a combinatorial formula for the lattice points of the Newton-Okounkov bodies, which has a surprising interpretation in terms of quantum Schubert calculus.[-]

Puzzles are combinatorial objects developed by Knutson and Tao for computing the expansion of the product of two Grassmannian Schubert classes. I will describe how selfdual puzzles give the restriction of a Grassmannian Schubert class to the symplectic Grassmannian in equivariant cohomology. The proof uses the machinery of quantum integrable systems. Time permitting, I will also discuss some ideas about how to interpret and generalize this result using Lagrangian correspondences and Maulik-Okounkov stable classes.
This is joint work in progress with Allen Knutson and Paul Zinn-Justin.[-]