Scalar curvature comparison geometry and the higher mapping degree
Montag, 8.1.24, 16:00-17:00, Ort noch nicht bekannt
Llarull proved in the late '90s that the round \(n\)-sphere is area-extremal in the sense that one can not increase the scalar curvature and the metric simultaneously. Goette and Semmelmann generalized Llarull's work and proved an extremality and rigidity statement for area-non-increasing spin maps \(f\bcolon M\bto N\) of non-zero \(\bhat{A}\)-degree between two closed connected oriented Riemannian manifolds.\n\nIn this talk, I will extend this classical result to maps between not necessarily orientable manifolds and replace the topological condition on the \(\bhat{A}\)-degree with a less restrictive condition involving the so-called higher mapping degree. For that purpose, I will first present an index formula connecting the higher mapping degree and the Euler characteristic of~\(N\) with the index of a certain Dirac operator linear over a \(\bmathrm{C}^\bast\)-algebra. Second, I will use this index formula to show that the topological assumptions, together with our extremal geometric situation, give rise to a family of almost constant sections that can be used to deduce the extremality and rigidity statements.\n
Moduli Spaces of Positive Curvature Metrics
Montag, 15.1.24, 16:15-17:15, Raum 125, Ernst-Zermelo-Str. 1
Besides the space of positive scalar curvature metrics \(\bmathrm{Riem}^+(M)\), various moduli spaces have gained a lot of attention. \nAmong those, the observer moduli space arguably has the best behaviour from a homotopy-theoretical perspective because the subgroup of \btextit{observer diffeomorphisms} acts freely on the space of Riemannian metrics if the underlying manifold \(M\) is connected.\n\nIn this talk, I will present how to construct non-trivial elements in the second homotopy of the observer moduli space of positive scalar curvature metrics for a large class for four-manifolds. I will further outline how to adapt this construction to produce the first non-trivial elements in higher homotopy groups of the observer moduli space of positive sectional curvature metrics on complex projective spaces.
TBA
Dienstag, 16.1.24, 14:15-15:15, Raum 226, Hermann-Herder-Str. 10
TBA
The p-Laplacien in the setting of multi-valued operators.
Dienstag, 16.1.24, 14:15-15:15, Raum 226, Hermann-Herder-Str. 10
\nAbstract: The thesis provides proofs for the existence of solutions for both the stationary problem\n\[ \blambda u + Au \bni f \bin \bOmega \bsubset R^N;~~ u=0 ~\btext{on}~~ \bpartial \bOmega\] \nand the non-stationary problem \n\[dy(t)/dt + Ay(t) \bni f(t) ~ \btext{for}~ t\bin[0,T];~~ y(0)=y_0 \]for A being a maximal monotone/accretive operator on \(L^2(\bOmega)\). It especially considers such operators A that arise as the sub-differential of some energy-functional and also shows some regularity for them in the non-stationary case. As an example the theory is applied to the p-Laplace operator.\n
Elementare Differentialgeometrie zum Anfassen: Vorstellung eines Seminars für Lehramtsstudierende
Dienstag, 16.1.24, 18:30-19:30, Hörsaal II, Albertstr. 23b
Vortrag entfällt leider!
Surgery on fold maps
Montag, 22.1.24, 16:15-17:15, Raum 125, Ernst-Zermelo-Str. 1
In this talk I will explore the notion of fold maps which are a natural generalization of Morse functions. Morse functions play a central role in the classification of manifolds and getting rid of their critical points is a crucial step in the proof of the h-cobordism theorem. I will describe a similar procedure for eliminating so called fold-singularities. This is similar in spirit but more flexible compared to the above-mentioned removal of critical points as it allows to perform surgery on the underlying manifold. If time permits I will also explain how this can be used to study fiber bundles and their characteristic classes.
A-priori bounds for geometric FE discretizations of a Cosserat rod and simulations for microheterogeneous prestressed rods
Dienstag, 23.1.24, 14:15-15:15, Raum 226, Hermann-Herder-Str. 10
In summary, this thesis focuses on developing an a priori theory for geometric finite\nelement discretizations of a Cosserat rod model, which is derived from incompatible\nelasticity. This theory will be supported by corresponding numerical experiments\nto validate the convergence behavior of the proposed method.\nThe main result describes the qualitative behavior of intrinsic H 1 -errors and\n\nL^2 -errors in terms of the mesh diameter 0 < h ≪ 1 of the approximation scheme:\n\nD 1,2 (u, u h ) ≲ h m , d L 2 (u, u h ) ≲ h m+1 ,\n\nfor a sequence of m-order discrete solutions u h and an exact solution u.
(FÄLLT LEIDER WEGEN BAHNSTREIK AUS)
Donnerstag, 25.1.24, 15:00-16:00, Ort noch nicht bekannt
Generalized Seiberg-Witten equations and where to find them
Montag, 29.1.24, 16:15-17:15, Raum 125, Ernst-Zermelo-Str. 1
We explore the framework of Generalized Seiberg-Witten Equations, aimed at deriving fresh invariants for smooth four-manifolds. These generalizations replace the standard spinor bundle with a suitable hyperKähler manifold for the spinor fields. This departure opens up exciting new possibilities for studying the smooth structures of four-dimensional manifolds, while also including a lot of well-known invariants, the most prominent example the Anti-Self-Duality equations and the resulting Donaldson invariants.\n\nWe then present how to compute the solution spaces in on of the most simple cases, where the spinor takes values in a four dimensional hyperKähler manifold, and show how this leads to invariants for four dimensional symplectic and Kähler manifolds, while also giving a geometric interpretation.
Uniform Interpolation for Intuitionistic Logic
Dienstag, 30.1.24, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
We show that intuitionistic logic has uniform interpolation, a strong property possessed by some logics. For this we introduce the algebraic representation of intuitionistic logic (Heyting algebras) and their dual spaces (Esakia spaces). This duality is similar to that between Boolean algebras and Stone spaces for classical logic. We then show how to prove an open mapping theorem for Esakia spaces, and how uniform interpolation follows from this.