###
17/01/2020, 11:00 — 12:00 — Room P3.10, Mathematics Building

Pedro Boavida, *Instituto Superior Técnico, Universidade de Lisboa*

```
```###
Classifying spaces of infinity-sheaves on manifolds

I will describe how one can associate a “classifying space” to an infinity (alias homotopy) sheaf on the category of manifolds. This is based on joint work with D. Berwick-Evans and D. Pavlov (arXiv:1912.10544.), and is a homotopical strenghtening of a theorem of Madsen and Weiss. Examples abound.

Projecto FCT `UIDB/04459/2020`.

###
24/10/2019, 14:00 — 15:00 — Room P4.35, Mathematics Building

António Girão, *University of Birmingham*

```
```###
Dirac's theorem for random regular graphs

In 1952, Dirac proved that any graph on $n$ vertices with minimum degree $n/2$ contains a Hamiltonian cycle, i.e. a cycle which passes through every vertex of the graph exactly once. We prove a resilience version of Dirac’s Theorem in the setting of random regular graphs. More precisely, we show that, whenever $d$ is sufficiently large compared to $\epsilon \gt 0$, a.a.s. the following holds: let $G_0$ be any subgraph of the random $n$-vertex $d$-regular graph $G_{n,d}$ with minimum degree at least $(1/2 + \epsilon)d$. Then, $G_0$ is Hamiltonian. This proves a conjecture of Ben-Shimon, Krivelevich and Sudakov. Our result is best possible: firstly, the condition that $d$ is large cannot be omitted, and secondly, the minimum degree bound cannot be improved. This is joint work with Padraig Condon, Alberto Espuny Díaz, Daniela Kuhn and Deryk Osthus.

Projecto FCT `UID/MAT/04459/2019`.

###
23/10/2019, 14:00 — 15:00 — Room P3.10, Mathematics Building

Jorge António, *Université Paul Sabatier (Toulouse III)*

```
```###
Derived Geometry and its applications

In this talk, we are going to present a user-friendly approach to derived geometry. One of our goals is to convince the audience that the notions of derived manifold / scheme / space / stack are just as natural as their classical counterparts. After having introduced the basic techniques, we will apply them to study certain moduli spaces of geometrical origin. Derived geometry also has recently found applications in arithmetics, which we will try to explain in the last part of the talk.

Projecto FCT `UID/MAT/04459/2019`.

###
13/09/2019, 11:00 — 12:00 — Room P3.10, Mathematics Building

Marcel de Jeu, *Leiden University and University of Pretoria*

```
```###
Positive representations of algebras of continuous functions

It is well known from linear algebra that a family of mutually commuting normal operators on a finite dimensional complex inner product space can be simultaneously diagonalised. Strongly related to this is the fact that a representation of a commutative C*-algebra on a Hilbert space is generated by a so-called spectral measure, taking its values in the orthogonal projections. A result by Ruoff and the lecturer asserts that a similar phenomenon occurs for positive representations of algebras of continuous functions on a substantial class of Banach lattices.

Recently, it has become clear that these two facts for Hilbert spaces and Banach lattices can be understood from one underlying general theorem for positive homomorphisms of algebras of continuous functions into partially ordered algebras. This result can be proved by purely order-theoretic methods.

In this lecture, we shall explain this theorem and how it relates to the two special cases mentioned above. We shall also sketch the theory of measure and integration in partially ordered vector spaces that is necessary to formulate and establish it.

This is joint work with Xingni Jiang.

Projecto FCT `UID/MAT/04459/2019`.

###
09/05/2019, 11:00 — 12:00 — Room P3.10, Mathematics Building

Mark Lawson, *Heriot-Watt University*

```
```###
Non-commutative Boolean algebras

In this talk, I shall explain how the classical theory of Stone duality may be generalized to a non-commutative setting. This theory has connections with étale groupoids, quantales, groups and inverse semigroups.

Some of the work was joint with Alina Vdovina. I shall assume no prior exposure to this theory.

Projecto FCT `UID/MAT/04459/2019`.

###
24/04/2019, 14:30 — 15:30 — Room P4.35, Mathematics Building

João Fontinha, *ETH Zurich*

```
```###
A primer on the Section Conjecture — a bridge between arithmetic and homotopy

In 1983, Grothendieck wrote a letter to Faltings in which he formulated a conjecture for hyperbolic curves over fields which are finitely generated over the rationals. Remaining open to date, it carries the study of rational points on an algebraic variety to the realm of profinite groups. Assuming only a working knowledge of basic Algebraic Geometry, we formulate and motivate the Section Conjecture and outline some modern attempts to tackle it.

Projecto FCT `UID/MAT/04459/2019`.

###
21/03/2019, 15:00 — 16:00 — Room P3.10, Mathematics Building

Rachid El Harti, *Univ. Hassan I, Morocco*

```
```###
Amenable algebras: algebraic and analytical perspectives

In this talk, we investigate the amenability of algebras from algebraic and analytical viewpoints.

We also consider its relationship with the

- semi-simplicity of operator algebras and
- crossed product Banach algebras associated with a class of $C^\ast$-dynamical systems.

Projecto FCT `UID/MAT/04459/2019`.

###
20/03/2019, 15:30 — 16:30 — Room P4.35, Mathematics Building

Christopher Deninger, *University of Muenster*

```
```###
Dynamical systems for arithmetic schemes - the higher dimensional case

Extending the colloquium lecture, which essentially deals with $\operatorname{spec} \mathbb{Z}$ we discuss the general case of our construction of dynamical systems for arithmetic schemes. Functoriality and the relation to rational Witt vectors and Fontaine's $p$-adic period ring $A_\inf$ will also be explained if time permits.

Projecto FCT `UID/MAT/04459/2019`.

###
18/03/2019, 14:00 — 15:00 — Room P3.10, Mathematics Building

Paulo Lima-Filho, *Texas A&M University*

```
```###
Equidimensional algebraic cycles and current transforms

In this talk we show how equidimensional algebraic correspondences between complex algebraic varieties can be used to construct pull-backs and transforms of a class of currents representable by integration. As a main application we exhibit explicit formulas at the level of complexes for a regulator map from the Higher Chow groups of smooth quasi-projective complex algebraic varieties to Deligne-Beilinson with integral coefficients.

We exhibit a few examples and indicate how this can be applied to Voevodsky’s motivic complexes. This is joint work with Pedro dos Santos and Robert Hardt.

Projecto FCT `UID/MAT/04459/2019`.

###
16/01/2019, 15:00 — 16:00 — Room P3.10, Mathematics Building

Ismar Volic, *Wellesley College*

```
```###
Cohomology of braids, graph complexes, and configuration space integrals

I will explain how three integration techniques for producing cohomology classes — Chen integrals for loop spaces, Bott-Taubes integrals for knots and links, and Kontsevich integrals for configuration spaces — come together in the computation of the cohomology of spaces of braids. The relationship between various integrals is encoded by certain graph complexes. I will also talk about the generalizations to other spaces of maps into configuration spaces (of which braids are an example). This will lead to connections to spaces of link maps and, from there, to other topics such as rope length, manifold calculus of functors, and a conjecture of Koschorke, all of which I will touch upon briefly. This is joint work with Rafal Komendarczyk and Robin Koytcheff.

Projecto FCT `UID/MAT/04459/2019`.

###
19/04/2018, 11:30 — 12:30 — Room P3.10, Mathematics Building

Julien Ducoulombier, *ETH Zurich*

```
```###
Swiss Cheese operad and applications to embedding spaces

During this talk, I would like to give an overview of the (relative) delooping theorems as well as applications to spaces of long embeddings. In particular, we show that the space of long embeddings and the space of ($k$)-immersions from $\mathbb{R}^d$ to $\mathbb{R}^m$ are weakly equivalent to an explicit ($d+1$)-iterated loop space and an explicit ($d+1$)-iterated relative loop space, respectively. Both of them can be expressed in term of derived mapping spaces of coloured operads. Such a pair is a typical example of Swiss-Cheese algebra.

###
26/10/2017, 14:30 — 15:30 — Room P4.35, Mathematics Building

Geoffroy Horel, *Université Paris XIII*

```
```###
Mixed Hodge structure, Galois actions and formality

Given a dg-algebra or any algebraic structure in chain complexes, one may ask if it is quasi-isomorphic to its homology equipped with the zero differential. This property is called formality and has important consequences in algebraic topology. For example it forces the collapse of certain spectral sequences. In this talk I will explain how mixed Hodge structures can be used to prove formality when working with rational coefficients. I will also explain work in progress using Galois actions as a replacement for mixed Hodge structures in the case of torsion coefficients. This is joint work with Joana Cirici.

###
03/04/2017, 14:30 — 15:30 — Room P3.10, Mathematics Building

Ricardo Campos, *ETH Zurich*

```
```###
Configuration spaces of points and their homotopy type

Given a manifold $M$, one can study the configuration space of $n$ points on the manifold, which is the subspace of $M^n$ in which two points cannot be in the same position. The study of these spaces from a homotopical perspective is of interest in very distinct areas such as algebraic topology or quantum field theory. However, even if we started with a simple manifold $M$, despite the apparent simplicity such configuration spaces are remarkably complicated; even the homology of these spaces is reasonably unknown, let alone their (rational/real) homotopy type.

In this talk, I will give an introduction to the problem of understanding configuration spaces and present a combinatorial/algebraic model of these spaces using graph complexes. I will explain how these models allow us to answer fundamental questions about the dependence on the homotopy type of $M$. I will explain how these models give us new tools to address other problems such as understanding embedding spaces or computing factorization homology.

This is joint work with Thomas Willwacher based on arXiv:1604.02043.

###
20/01/2017, 16:00 — 17:00 — Room P3.10, Mathematics Building

Ieke Moerdijk, *University of Utrecht*

```
```###
Shuffles and Trees

The notion of "shuffle" of linear orders plays a central role in elementary topology. Motivated by tensor products of operads and of dendroidal sets, I will present a generalization to shuffles of trees. This combinatorial operation of shuffling trees can be understood by itself, and enjoys some intriguing properties. It raises several questions of a completely elementary nature which seem hard to answer.

###
12/12/2016, 15:00 — 16:00 — Room P4.35, Mathematics Building

Nasir Sohail, *Wilfrid Laurier University*

```
```###
Epimorphisms and amalgamation for ordered monoids

I shall introduce the amalgamation problem for partially ordered monoids (briefly pomonoids), and discuss its connection with dominions and epimorphisms. Examples will be given to show that amalgamation of monoids is subjected to severe restrictions if a (compatible) partial order is introduced on top of the binary operation. I shall then show that the introduction of order, however, does not affect the special amalgamation and (hence) epimorphisms in the sense that an epi in the 2-category of pomonoids is necessarily an epi in the (underlying) category of monoids.

###
30/09/2016, 10:30 — 11:30 — Room P4.35, Mathematics Building

Simon Henry, *Collège de France*

```
```###
On the homotopy hypothesis and new algebraic model for higher groupoids and homotopy types.

In his unpublished manuscript "Pursuing stacks" Grothendieck gave a definition of infinity groupoids and conjectured that the homotopy category of his infinity groupoids is equivalent to the homotopy category of spaces.

This conjecture (called the homotopy hypothesis) is still an open problem, and in fact there is a lot of expected basic results concerning his definition of infinity groupoids that are open problems. For these reasons, one prefers nowadays to use less problematic definitions of infinity groupoids, typically involving simplicial sets, as a starting point for higher category theory.

But Grothendieck's definition also has a lot of good properties not shared by the simplicial approaches: it is considerably closer to the intuitive notion of infinity category, it has a more general universal property, it is considerably simpler to extend to infinity categories, etc. And most recently realized, it can be defined within the framework of the Homotopy type theory program, while the definition of simplicial objects in this framework is considered to be one of the most important open problems of this program.

In this talk I will discuss a new sort of definitions of infinity groupoids that are inspired from Grothendieck's definition but that do not share any of its problems while retaining most of its advantages. We will also state a precise and simple looking technical conjecture which implies that Grothendieck definition is a special case of our framework, and hence also implies Grothendieck's homotopy hypothesis and most of the conjectures related to Grothendieck's definition.

###
05/07/2016, 15:30 — 16:30 — Room P3.10, Mathematics Building

Daniel Berwick-Evans, *University of Illinois at Urbana-Champaign*

```
```###
Elliptic cohomology, loop group representations, and 2-dimensional field theories

Elliptic cohomology, loop group representations, and 2-dimensional field theories have been linked since birth, though the precise nature of the relationship remains quite mysterious. I'll talk about some recent progress, wherein physics-inspired techniques over moduli spaces of (super) tori furnish analytic constructions of Euler classes in elliptic cohomology over the complex numbers. These classes have equivariant refinements (also constructed via field theory techniques) that can be identified with characters of positive energy representations of loop groups. This is joint work with Arnav Tripathy.

###
03/03/2016, 14:30 — 15:30 — Room P4.35, Mathematics Building

Geoffroy Horel, *MPI, Bonn*

```
```###
The operad of little disks, differential topology and Galois theory

The operad of little $n$-disks is a fundamental object in algebraic topology that was introduced as a way of recognizing $n$-fold loop spaces. I will recall its definition and then survey some recent work of Dwyer–Hess and Boavida–Weiss relating mapping spaces between the operads of little disks and spaces of knots and higher dimensional knotted objects. I will then describe a faithful action of the absolute Galois group of $\mathbb{Q}$ on the profinite completion of the operad of little $2$-disks.

###
21/01/2016, 15:00 — 16:00 — Room P3.10, Mathematics Building

Marcel de Jeu, *Leiden University*

```
```###
Positive representations

Many spaces in analysis are ordered (real) Banach spaces, or even Banach lattices, with groups acting as positive operators on them. One can even argue that such positive representations of groups are not less natural than unitary representations in Hilbert spaces, but contrary to the latter they have hardly been studied. The same holds for representations of ordered Banach algebras such that a positive element acts as a positive operator. Whereas there is an elaborate theory of $^\ast$-representations of $C^*$-algebras, hardly anything is known about positive representations of ordered Banach algebras, even though such representations are not rare at all.

We will sketch the gradually emerging field of “positive representations”, and mention some of the main problems (of which there are many) and results (of which there are still too few), jointly obtained with Ben de Pagter, Björn de Rijk, Sjoerd Dirksen, Xingni Jiang, Miek Messerschmidt, Dusan Radicanin, Mark Roelands, Jan Rozendaal, Frejanne Ruoff, and Marten Wortel.

The talk is meant as an advertisement for the topic and, more generally, for studying groups and Banach (lattice) algebras of operators on Banach lattices. The step from single operator theory on Hilbert spaces to groups and algebras of operators was taken in the first half of the 20th century, and now the field of Positivity could be ripe for a similar development.

Note the room change!

###
10/12/2015, 16:30 — 17:30 — Room P3.10, Mathematics Building

Edgar Costa, *Dartmouth College*

```
```###
Equidistributions in arithmetic geometry

Consider an algebraic variety defined by system of polynomial equations with integer coefficients. For each prime number $p$, we may reduce the system modulo $p$ to obtain an algebraic variety defined over the field of $p$ elements.

A standard problem in arithmetic geometry is to understand how the geometry of one of these varieties influences the geometry of the other.

One can take a statistical approach to this problem.

We will illustrate this with several examples, including: polynomials in one variable, algebraic curves and surfaces.