Vorträge des SFB 1442

The idea of six functors formalisms originates in Grothendieck's work on duality for étale cohomology of schemes. Much more recently, a simple and powerful definition of this structure was given using the theory of higher categories. This has greatly improved our ability to work with such structures. However it does not simplify our task of constructing six functor formalisms, and in fact apriori it makes it much harder. Nevertheless, work of Liu-Zheng formalized the most important construction principle, which goes back to the original work of Artin, Grothendieck and Verdier on the six functor formalism on étale cohomology. I will explain a new approach to this construction principle which is joint work with Bastiaan Cnossen and Tobias Lenz. To do this we recast the problem as that of computing a certain universal (infinity,2)-category, which we then do by combining methods from parametrized and (infinity,2)-category theory.

Condensed Mathematics is a relatively new approach to topology that facilitates working with algebraic structures equipped with a topology. In homotopy theory, we study all kinds of spaces using algebraic invariants, which are very often naturally endowed with a topology. In my first talk, I will introduce you to the world of condensed mathematics in the context of homotopy theory. I will explain the notion of a condensed homotopy type and how it is defined in the case of schemes. I will provide an overview of the information encoded in this invariant and in what sense it refines more classical invariants such as the étale homotopy type or the pro-étale fundamental group. My focus will be on the question of when a scheme is (not) condensed contractible, i.e., its condensed homotopy is (not) contractible. In my second talk, I will continue the study of condensed contractible schemes. The main goal will be to compute the condensed fundamental group of a Dedekind ring. More specifically, we will see that the scheme Spec(Z) is not condensed contractible, even though it is étale-contractible. This talk is based on joint work with Haine, Holzschuh, Lara, Martini, and Wolf, as well as on extended results from my dissertation.

By showing that there is a topologically free boundary action, we prove that the outer automorphism groups of the topological full groups of the Cuntz?Krieger groupoids are C*-simple, meaning that their reduced C*-algebras are simple (this is an extreme case of non-amenability). These groups generalise the outer automorphism groups of the Higman?Thomson groups, so our result applies, in particular to, Out(V_n), where V_n is a Higman?Thompson group. This is joint work with Xin Li and Takuya Takeishi.

In this talk, I will begin with the classical isoperimetric inequality for closed curves in Euclidean space and its connection to the Plateau problem, as resolved by Douglas and Radó. The notion of non-positive curvature naturally enters the picture via the Gauss equation, which links the intrinsic and extrinsic geometry of surfaces. We then explore the relationship between the isoperimetric inequality and the intrinsic geometry of minimal discs. From there, the discussion extends beyond Euclidean ambient spaces to those of non-positive curvature, and from curves to higher-dimensional cycles. This talk includes results from joint work with Cornelia Druţu, Urs Lang, Alexander Lytchak, Panos Papasoglu, and Stefan Wenger.

Condensed Mathematics is a relatively new approach to topology that facilitates working with algebraic structures equipped with a topology. In homotopy theory, we study all kinds of spaces using algebraic invariants, which are very often naturally endowed with a topology. In my first talk, I will introduce you to the world of condensed mathematics in the context of homotopy theory. I will explain the notion of a condensed homotopy type and how it is defined in the case of schemes. I will provide an overview of the information encoded in this invariant and in what sense it refines more classical invariants such as the étale homotopy type or the pro-étale fundamental group. My focus will be on the question of when a scheme is (not) condensed contractible, i.e., its condensed homotopy is (not) contractible. In my second talk, I will continue the study of condensed contractible schemes. The main goal will be to compute the condensed fundamental group of a Dedekind ring. More specifically, we will see that the scheme Spec(Z) is not condensed contractible, even though it is étale-contractible. This talk is based on joint work with Haine, Holzschuh, Lara, Martini, and Wolf, as well as on extended results from my dissertation.

In this talk we compute the index homomorphism of even K-groups arising from a class in even KK-theory via the Kasparov product. Due to the seminal work of Baaj and Julg, under mild conditions on the C*-algebras in question, every class in KK-theory can be represented by an unbounded Kasparov module. We then describe the corresponding index homomorphism of even K-groups in terms of spectral localizers. This means that our explicit formula for the index homomorphism does not depend on the full spectrum of the abstract Dirac operator D, but rather on the intersection between this spectrum and a compact interval. The size of this compact interval does however reflect the interplay between the K-theoretic input and the abstract Dirac operator. Since the spectral projections for D are not available in the general context of Hilbert C*-modules we instead rely on certain continuous compactly supported functions applied to D to construct the spectral localizer. In the special case where even KK-theory coincides with even K-homology, our work recovers the pioneering work of Loring and Schulz-Baldes on the index pairing.