Termine

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.

Given a Riemannian manifold, the geodesic X-ray transform of a symmetric tensor field is defined by the line integrals of the latter over geodesics, and it is a central object in geometric inverse problems. Broadly speaking, one is interested in recovering information about the unknown tensor field from its X-ray transform, and the extent to which this is possible depends heavily on the underlying geometry. In this talk, we focus on the geodesic X-ray transform in the geometric setting of two-dimensional asymptotically hyperbolic manifolds, which are non-constant curvature generalizations of hyperbolic space. This setting is interesting in part due to its connections to theoretical physics, specifically the AdS-CFT Correspondence. The geodesic X-ray transform on symmetric tensor fields of positive rank has a natural nullspace, implying that such a tensor field cannot be uniquely recovered from its X-ray transform. On asymptotically hyperbolic surfaces we propose gauge representatives modulo the nullspace of the transform to be reconstructed from the data, by proving a ``transverse traceless-conformal-potential'' decomposition. We then use our tensor decompositions to provide range characterizations of the geodesic X-ray transform in the special case of 2-dimensional hyperbolic space, as well as to develop reconstruction procedures. Based on joint work with François Monard and Yuzhou Zou.

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.

Understanding the melting process of a constructed Electric Arc Furnace is crucial in today´s steel industry. To obtain that understanding, we utilize a controlled ODE system capable of simulating said process. Unknown parameters of the underlying furnace, that serve as input data to the ODE system, are needed to accurately sim- ulate the melting process. Due to the complexity of the system, Inverse Parameter Estimation is not feasible. We therefore train a Neural Operator on simulation data which will then serve as a surrogate of the Forward Operator and thus make Parameter Estimation feasible.