C5

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.

Course Overview
The course gives an introduction to a topic of current interest in Lorentzian geometic analysis and mathematical General Relativity: an approach to nonregular spacetimes based on a “metric” point of view.
 

Learning Outcomes
Becoming acquainted with Lorentzian length spaces, sectional and Ricci curvature bounds for non-regular Lorentzian spaces and the appropriate techniques.
 

Course Synopsis
Lecture 1a: Review of Lorentzian geometry, spaces of constant curvature, causality theory, singularity theorems.
Lecture 1b: Introduction to Lorentzian length spaces, timelike sectional curvature bounds.

Lecture 2a: Optimal transport, timelike Ricci curvature bounds
Lecture 2b: Sobolev calculus for time functions. Literature: [O’N83, KS18, CM20].
 

Reading group: Depending on student’s interest one could discuss the papers [GKS19, AGKS21, ABS22].

References
[ABS22] L. Aké Hau, S. Burgos, and D. A. Solis. Causal completions as Lorentzian pre-length spaces. General Relativity and Gravitation, 54(9), 2022. doi:10.1007/s10714-022-02980-x.
[AGKS21] S. B. Alexander, M. Graf, M. Kunzinger, and C. Sämann. Generalized cones as Lorentzian length spaces: Causality, curvature, and singularity theorems. Comm. Anal. Geom., to appear, 2021. doi:10.48550/arXiv.1909.09575. arXiv:1909.09575 [math.MG].
[CM20] F. Cavalletti and A. Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications. Cambridge Journal of Mathematics, to appear, arXiv:2004.08934 [math.MG], 2020. doi:10.48550/arXiv.2004.08934.
[GKS19] J. D. E. Grant, M. Kunzinger, and C. Sämann. Inextendibility of spacetimes and Lorentzian length spaces. Ann. Global Anal. Geom., 55(1):133–147, 2019. doi:10.1007/s10455-018-9637-x.
[KS18] M. Kunzinger and C. Sämann. Lorentzian length spaces. Ann. Glob. Anal. Geom., 54(3):399–447, 2018. doi:10.1007/s10455-018-9633-1.
[O’N83] B. O’Neill. Semi-Riemannian geometry with applications to relativity, volume 103 of Pure and Applied Mathematics. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1983.

Should you be interested in taking part in the course, please send an email to @email  by 10 May 2024. 

Given a group G and a field k, we can "twist" the multiplication of the group algebra kG by a 2-cocycle, and the result is a twisted group algebra. Twisted group algebras arise as direct sums of blocks of group algebras, and so are of interest in representation and block theory. In this talk we will discuss some recently obtained results on the first Hochschild cohomology of twisted group algebras, in particular that these cohomology groups are nontrivial whenever G is a finite simple group.