I am going to start by reviewing axioms of quantum mechanics, which in fact give a description of a Hilbert space. I will argue that the language that Dirac and his followers developed is that of continuous logic and the form of axiomatisation is that of "algebraic logic" in the sense of A. Tarski's cylindric algebras. In fact, Hilbert spaces can be seen as a continuous model theory version of cylindric algebras.

I introduce modal group theory, where one investigates the class of all groups using embeddability as a modal operator. By employing HNN extensions, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. Furthermore, I establish that the theory of true arithmetic, viewed as sets of Gödel numbers, is computably isomorphic to the modal theory of finitely presented groups. Finally, I resolve an open question posed by Sören Berger, Alexander Block, and Benedikt Löwe by proving that the propositional modal validities of groups constitute precisely the modal logic S4.2.

This talk will be a case study on the recently discovered boundary Carrollian conformal algebra (BCCA) in theoretical physics. It is an infinite-dimensional subalgebra of an abelian extension of the Witt algebra. A striking feature of this is that it is not integer graded; this already puts us in a rather novel setting, since infinite-dimensional Lie algebras almost exclusively appear with integer grading in physics. But this means that there is new ground to be broken in this direction of research. In this talk, I will present some very early results from our attempt at studying the representations of the BCCA. Any thoughts and comments are very welcome as they could be immensely helpful for us to navigate these unfamiliar waters!

In this talk I will present two new results concerning differentiability of Lipschitz maps between Carnot groups. The former is a suitable adaptation of Pansu-Rademacher differentiability theorem to general Radon measures. More precisely we construct a suitable bundle associated to the measure along which Lipschitz maps are differentiable, very much in the spirit of the results of Alberti-Marchese. The latter is the converse of Pansu’s theorem. Namely, let G be a Carnot group and μ a Radon measure on G. Suppose further that every Lipschitz map between G and H, some other Carnot group, is Pansu differentiable μ-almost everywhere. We show that μ must be absolutely continuous with respect to the Haar measure of G. This is a joint work with Guido De Philippis, Andrea Marchese, Andrea Pinamonti and Filip Rindler.

This new sub-Riemannian result will be an excuse to present and discuss the techniques employed in Euclidean spaces to prove the converse of Rademacher's theorem.