L6

In this talk I explain the fertile relationship between the foundations of inference and learning and combinatorial geometry.

My presentation contains several powerful examples where famous theorems in discrete geometry answered natural  questions from machine learning and statistical inference:

In this tasting tour I will include the problem of deciding the existence of Maximum likelihood estimator in multiclass logistic regression, the variability of behavior of k-means algorithms with distinct random initializations and the shapes of the clusters, and the estimation of the number of samples in chance-constrained optimization models. These obviously only scratch the surface of what one could do with extra free time. Along the way we will see fascinating connections to the coupon collector problem, topological data analysis, measures of separability of data, and to the computation of Tukey centerpoints of data clouds (a high-dimensional generalization of median). All new theorems are joint work with subsets of the following wonderful folks: T. Hogan, D. Oliveros, E. Jaramillo-Rodriguez, and A. Torres-Hernandez.

Two relevant papers published/ to appear are

https://arxiv.org/abs/1907.09698https://arxiv.org/abs/1907.09698

https://arxiv.org/abs/2205.05743https://arxiv.org/abs/2205.05743

A finite W-algebra is a gadget associated to each nilpotent orbit in a complex semisimple Lie algebra g. There is a functor from W-modules to a full subcategory of g-modules, known as Skryabin’s equivalence, and every primitive ideals of the enveloping algebra U(g) as the annihilator of a module obtained in this way. This gives a convenient way of organising together primitive ideals in terms of nilpotent orbits, and this approach has led to a resurgence of interest in some hard open problems which lay dormant for some 20 years. The primitive ideals of U(g) which come from one-dimensional representations of W-algebras are especially nice, and we shall call them Losev—Premet ideals. The goal of this talk is to explain my recent work which seeks to: (1) describe the structure of the space of the dimensional representations of a finite W-algebra and (2) classify the Losev—Premet ideals.

After a brief introduction, I elucidate a technique, dubbed "bootstrap'', which generates an infinite family of D_p(G) theories, where for a given arbitrary group G and a parameter b, each theory in the same family has the same number of mass parameters, same number of marginal deformations, same 1-form symmetry, and same 2-group structure. This technique is utilized to establish the presence or absence of the 2-group symmetries in several classes of D_p(G) theories. I, then, argue that we found the presence of 2-group symmetries in a class of Argyres-Douglas theories, called D_p(USp(2N)), which can be realized by Z_2-twisted compactification of the 6d N=(2,0) of the D-type on a sphere with an irregular twisted puncture and a regular twisted full puncture. I will also discuss the 3d mirror theories of general D_p(USp(2N)) theories that serve as an important tool to study their flavor symmetry and Higgs branch.

It has long been appreciated that in QCD-like theories without fundamental matter, confinement can be given a sharp characterization in terms of symmetry. More recently, such symmetries have been identified as 1-form symmetries, which fit into the broader category of generalized global symmetries.  In this talk I will discuss obstructions to the existence of a 1-form symmetry in large N QCD, where confinement is a sharp notion. I give general arguments for this disconnect between 1-form symmetries and confinement, and use 2d scalar QCD on the lattice as an explicit example.  

Khovanov-Rozansky homology is a link invariant that categorifies the HOMFLY-PT polynomial. I will describe a geometric model for this invariant, living in the monodromic Hecke category. I will also explain how it allows to identify objects representing graded pieces of Khovanov-Rozansky homology, using a remarkable family of character sheaves. Based on joint works with Roman Bezrukavnikov.

Fibres coming from the Springer resolution on the nilpotent cone are incredibly rich algebraic varieties that have many applications in representation theory and combinatorics. Though their geometry can be very difficult to describe in general, in type A at least, their irreducible components can be described using standard Young tableaux, and this can help describe their geometry in small dimensions. In this talk, I will report on recent and ongoing work with Lewis Topley and separately Daniele Rosso on geometrical and combinatorial applications of the classical ‘type A’ Springer fibres and the ‘exotic’ type C Springer fibres coming from Kato’s exotic Springer correspondence.

In this talk we will present some work in progress generalising Lubin-Tate formal group laws to higher dimensions. There have been some other generalisations, but ours is different in that the ring over which the formal group law is defined changes as the dimension increases. We will state some conjectures about these formal group laws, including their relationship to the Drinfeld tower over the p-adic upper half plane, and provide supporting evidence for these conjectures.

Let F be a p-adic field, and k an algebraically closed field of characteristic l different from p. In this talk, we will first give a category decomposition of Rep_k(SL_n(F)), the category of smooth k-representations of SL_n(F), with respect to the GL_n(F)-equivalent supercuspidal classes of SL_n(F), which is not always a block decomposition in general. We then give a block decomposition of the supercuspidal subcategory, by introducing a partition on each GL_n(F)-equivalent supercuspidal class through type theory, and we interpret this partition by the sense of l-blocks of finite groups. We give an example where a block of Rep_k(SL_2(F)) is defined with several SL_2(F)-equivalent supercuspidal classes, which is different from the case where l is zero. We end this talk by giving a prediction on the block decomposition of Rep_k(A) for a general p-adic group A.

We outline Dirac cohomology for Lie algebras and Vogan’s conjecture. We then cover some basic material on Schur-Weyl duality and Arakawa-Suzuki functors. Finishing with current efforts and results on generalising Vogan’s conjecture to a Schur-Weyl duality setting. This would relate the centre of a Lie algebra with the centre of the relevant tantaliser algebra. We finish by considering a unitary module X and giving a bound on the action of the tantalizer algebra.

I will discuss algebraic conditions that for a given group guarantee or characterize the vanishing of cohomology in a given degree with coefficients in any unitary representation. These conditions will be expressed in terms positivity of certain elements over group algebras, where positivity is meant as being a sum of hermitian squares. I will explain how conditions like this can be used to give computer-assisted proofs of vanishing of cohomology.