C5

We establish that a criterion based on ring-theoretic amenability is both necessary and sufficient for the abelian version of the Elekes-Szabó theorem to be sharp in the case of positive characteristic. Moreover, the criterion is always sufficient. We provide illustrative examples in the theories ACF_p and DCF_0.

We shall explain how to represent a couple of basic notions in model theory by standard simplicial diagrams from homotopy theory. Namely, we shall see that the notions of a {definable/invariant type}, {convergence}, and {contractibility} are defined by the same simplicial formula, and so are that of a {complete E-M type} and an {idempotent of an oo-category}.  The first reformulation makes precise Hrushovski's point of view that a definable/invariant type is an operation on types rather than a property of a type depending on the choice of a model, and suggests a notion of a type over a {space} of parameters. The second involves the nerve of the category with a single idempotent non-identity morphism, and leads to a reformulation of {non-dividing} somewhat similar to that of lifting idempotents in an oo-category. If time permits, I shall also present simplicial reformulations of distality, NIP, and simplicity.

We do so by associating with a theory the simplicial set of its n-types, n>0. This simplicial set, or rather its symmetrisation, appeared earlier in model theory under the names of {type structure}  (M.Morley. Applications of topology to Lw1w. 1974), {type category} (R.Knight, Topological Spaces and Scattered Theories. 2007), {type space functors} (Haykazyan. Spaces of Types in Positive Model Theory. 2019; M.Kamsma. Type space functors and interpretations in positive logic. 2022).

I will talk about preliminaries in Arakelov geometry. Also, a historical overview will be provided. This talk will be the basis of a later talk about the theory of globally valued fields.

I will talk about the connections between the Siu inequality and existence of the model companion for GVFs. The talk will be partially based on a joint work with Antoine Sedillot.

In ’95 Lusztig gave a local Langlands correspondence for unramified representations of inner to split adjoint groups combining many deep results from type theory and geometric representation theory. In this talk, I will present a gentle reformulation of his construction revealing some interesting new structures, and with a view toward proving functoriality results in this framework. 

This seminar is organised jointly with the Junior Algebra and Representation Theory Seminar - all are very welcome!

In ’95 Lusztig gave a local Langlands correspondence for unramified representations of inner to split adjoint groups combining many deep results from type theory and geometric representation theory. In this talk I will present a gentle reformulation of his construction revealing some interesting new structures, and with a view toward proving functoriality results in this framework. 

The celebrated Splitting Theorem by Cheeger-Gromoll states that a manifold with non-negative Ricci curvature which contains a line is isometric to a product, where one of the factors is the real line. A related result was later proved by Kasue. He showed that a manifold with non-negative Ricci curvature and two mean convex boundary components, one of which is compact, is also isometric to a product. In this talk, I will present a variant of Kasue’s result based on joint work with Andrea Mondino. We consider manifolds with non-negative Ricci curvature and disconnected mean convex boundary. We show that if one boundary component is parabolic and convex, then the manifold is a product, where one of the factors is an interval of the real line. The result is an application of recently developed tools in synthetic geometry and exploits the interplay between Ricci curvature and optimal transport.

A non-local game involves two non-communicating players who cooperatively play to give winning pairs of answers to questions posed by an external referee. Non-local games provide a convenient framework for exhibiting quantum supremacy in accomplishing certain tasks and have become increasingly useful in quantum information theory, mathematics, computer science, and physics in recent years. Within mathematics, non-local games have deep connections with the field of operator algebras, group theory, graph theory, and combinatorics. In this talk, I will provide an introduction to the theory of non-local games and quantum correlation classes and show their connections to different branches of mathematics. We will discuss how entanglement-assisted strategies for non-local games may be interpreted and studied using tools from operator algebras, group theory, and combinatorics. I will then present a general framework of non-local games involving quantum questions and answers.