The Frobenius relation in string topology
Montag, 21.10.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
String topology is the study of algebraic operations on the homology of the free loop space of a closed manifold. Two prominent operations are the Chas-Sullivan product and the Goresky-Hingston coproduct. It is an important question what structure these two operations form together. We show that under a transversality condition a Frobenius-type relation for the product and the coproduct holds. As an application this yields the behaviour of the coproduct on product manifolds. This talk is based on joint work with Nathalie Wahl.\n
Self-adjoint codimension 2 boundary conditions for Dirac operators
Montag, 28.10.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
Joint work with Nadine Große.\n\nLet \(N\) be an oriented compact submanifold in an oriented complete Riemannian manifold \(M\). We assume that \(M\bsetminus N\) is spin and carries a unitary line bundle \(L\). We study the associated twisted Dirac operator, a priori defined on smooth section with compact support in the interior of \(M\bsetminus N\). We are interested in self-adjoint extensions of this operator.\n\nIf \(N\) has codimension~\(1\), then this is the well-studied subject of classical\nboundary values for Dirac operators. If \(N\) has codimension at least \(3\), or if \(N\) has codimension \(2\) and if \(L\) has trivial monodromy around \(N\), then we obtain a unique self-adjoint extension which coincides with the classical self-adjoint Dirac operator on \(M\). The submanifold \(N\) is thus ``invisible''.\n\nThe main topic of this talk is thus the case of codimension~\(2\) with non-trivial monodromy. We will classify all selfadjoint extensions.\n\nThis work is motivated by work of Portman, Sok and Solovej, who treated the special case of \(M=S^3\) with a link, a case important in mathematical physics.\nWe thank Boris Botvinnik and Nikolai Saveliev for stimulating discussions about this topic.
Weyl formulae for some singular metrics with application to acoustic modes in gas giants
Montag, 11.11.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
We prove eigenvalue asymptotics of the Laplace-Beltrami operator for certain singular Riemannian metrics. This is motivated by the study of propagation of soundwaves in gas planets. This is joint work with Yves Colin de Verdière, Maarten de Hoop and Emmanuel Trélat.
Symplectic topology and rectangular peg problem
Montag, 18.11.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
The rectangular peg problem, an extension of the square peg problem which has a long history, is easy to outline but challenging to prove through elementary methods. I will report the recent progress on the existence and multiplicity results, utilizing advanced concepts from symplectic topology, e.g. J-holomorphic curves and Floer theory.
Numbers on barcodes and torsion theory
Montag, 25.11.24, 16:00-17:00, Raum 404, Ernst-Zermelo-Str. 1
Morse function on a manifold M is called strong if all its critical points have different critical values. Given a strong Morse function f and a field F we construct a bunch of elements of F, which we call Bruhat numbers (they're defined up to sign). More concretely, Bruhat number is written on each bar in the barcode of f. It turns out that if homology of M over F is that of a sphere, then the product of all the numbers is independent of f. We then construct the barcode and Bruhat numbers with twisted (a.k.a. local) coefficients and prove that mentioned product equals the Reidemeister torsion of M. In particular, it's again independent of f. This way we link Morse theory to the Reidemeister torsion via barcodes. Based on a joint work with Petya Pushkar. \n
A spectral result for massive electromagnetic Dirac Hamiltonians
Montag, 2.12.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
From the physical perspective of relativistic wave mechanics, Dirac operators on Riemannian manifolds can be interpreted as infinitesimal generators of time translation, i.e. as Hamiltonians. Most mathematical research on Dirac operators focuses on what amounts to the study of free, massless fields. In this talk however, we will consider a Dirac Hamiltonian that is coupled to an electromagnetic field and a spatially non-constant mass term. After motivating and setting up the necessary notions, we will proceed to show that, given a suitably behaved "potential well", the spectrum of such a Dirac Hamiltonian must be discrete. The result being presented is a generalization of a theorem by N. Charalambous and N. Große in 2023.
TBA
Donnerstag, 5.12.24, 10:15-11:15, Raum 414, Ernst-Zermelo-Str. 1
Sequential topological complexities and sectional categories of subgroup inclusions
Donnerstag, 12.12.24, 10:00-11:00, Raum 414, Ernst-Zermelo-Str. 1
The sequential topological complexities (TCs) of a space are integer-valued homotopy invariants that are motivated by the motion planning problem from robotics and express the complexity of motion planning if the robots are supposed to make predetermined intermediate stops along their ways. After outlining their definitions, I will discuss the sequential TCs of aspherical spaces in the first part of my talk and describe how they can be investigated by purely algebraic means. We will also take a look at a generalization of this algebraic setting, namely sectional categories of subgroup inclusions. In the second part of my talk, I will present a general lower bound on their values and derive consequences for sequential TCs and parametrized topological complexities of epimorphisms. We will investigate the methodology of the proof of this lower bound, in which all key steps are carried out using elementary homological algebra. This is joint work with Arturo Espinosa Baro, Michael Farber and John Oprea.
Moduli spaces of 3-manifolds with boundary are finite
Montag, 16.12.24, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
In joint work with Rachael Boyd and Corey Bregman we study the classifying\nspace \(B\bmathrm{Diff}(M)\) of the diffeomorphism group of a connected, compact, orientable\n3-manifold \(M\). I will recall the construction of this \(B \bmathrm{Diff}(M)\), also known as\nthe "moduli space of \(M\)", and explain how it parametrises smooth families of\nmanifolds diffeomorphic to \(M\).\n\nMilnor's prime decomposition and Thurston's geometrisation conjecture allow us\nto cut \(M\) into "geometric pieces", which each admit complete, locally\nhomogeneous Riemannian metric. For such geometric manifolds \((N,g)\) recent work\nusing Ricci flow shows that a certain space of metrics is contractible and thus\nthat the generalised Smale conjecture (often) holds: the diffeomorphism group\n\(\bmathrm{Diff}(N)\) is homotopy equivalent to the isometry group \(\bmathrm{Isom}(N,g)\).\n\nThe purpose of this talk is to explain a technique for computing the moduli\nspace \(B\bmathrm{Diff}(M)\) in terms of the moduli spaces of the pieces. We use this to\nprove that if \(M\) has non-empty boundary, then \(B \bmathrm{Diff}(M\btext{ rel boundary})\) has the\nhomotopy type of a finite CW complex, as was conjectured by Kontsevich.\n\n\n
On the L^p spectrum
Montag, 13.1.25, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
In this talk we will consider the \(L^p\) spectrum of the Laplacian on differential forms. In particular, we will show that the resolvent set of the Laplacian on \(L^p\) integrable \(k\)-forms lies outside a parabola whenever the volume of the manifold has an exponential volume growth rate, removing the requirement on the manifold to be of bounded geometry. Moreover, we find sufficient conditions on an open Riemannian manifold so that a Weyl criterion holds for the \(L^p\)-spectrum of the Laplacian on \(k\)-forms, and we provide a detailed description of the \(L^p\) spectrum of the Laplacian on \(k\)-forms over hyperbolic space. The above results are joint work with Zhiqin Lu.
A sharp isoperimetric gap theorem in non-positive curvature
Montag, 27.1.25, 16:15-17:15, Raum 404, Ernst-Zermelo-Str. 1
In joint work with Cornelia Drutu, Panos Papasoglu, and Stephan Stadler, we\nstudy isoperimetric\ninequalities for null-homotopies of Lipschitz 2-spheres in Hadamard manifolds\nor, more generally,\nproper CAT(0) spaces. In one dimension less, for fillings of circles by discs,\nit is known that a \nquadratic inequality with a constant smaller than the sharp threshold\n\(1/(4\bpi)\) implies that the \nunderlying space is Gromov hyperbolic and satisfies a linear inequality. Our\nmain result is a first \nanalogous gap theorem in higher dimensions, yielding exponents arbitrarily\nclose to 1. Towards \nthis we prove a Euclidean isoperimetric inequality for null-homotopies of\n2-spheres, apparently \nmissing in the literature, and introduce so-called minimal tetrahedra, which we\ndemonstrate satisfy \na linear inequality.