Münster

In this talk we give an introduction to the topic of Einstein metrics on spheres. In particular, we prove the existence of three non-round Einstein metrics with positive scalar curvature on $S^{10}.$ Previously, the only even-dimensional spheres known to admit non-round Einstein metrics were $S^6$ and $S^8.$ This talk is based on joint work with Jan Nienhaus.

Group theory is littered with undecidable problems. A classic example is the word problem: there are groups for which there exists no algorithm that can decide if a product of generators represents the trivial element or not. Many problems (the word problem included) are at least semidecidable, meaning that there is a correct algorithm guaranteed to terminate if the answer is "yes", but with no guarantee on how long one has to wait. I will discuss strategies to try and tackle various semidecidable problems computationally using modern solvers for Boolean satisfiability, with the key example being the discovery of a counterexample to the Kaplansky unit conjecture.

We  show that homogeneous Einstein metrics on Euclidean spaces are Einstein solvmanifolds, using that they admit periodic, integrally minimal foliations by homogeneous hypersurfaces. For the geometric flow induced by the orbit-Einstein condition, we construct a Lyapunov function based on curvature estimates which come from real GIT.

After reviewing old work with Teitelbaum, in which we constructed the character variety X of the additive group o_L in a finite extension L/Q_p and established the Fourier isomorphism for the distribution algebra of o_L, I will briefly report on more recent work with Berger and Xie, in which we establish the theory of (\varphi_L,\Gamma_L)-modules over X and relate it to Galois representations. Then I will discuss an ongoing project with Venjakob. Our goal is to use this theory over X for Iwasawa theory.

We discuss vector bundles with numerically stable reduction on smooth complete varieties over a p-adic number field and sketch the construction of associated p-adic representations of the geometric fundamental group. On projective varieties, such bundles are semistable with respect to every polarization and have vanishing Chern classes. One of the main problems in the construction consisted in getting rid of infinitely many obstruction classes. This is achieved by adapting a theory of Bhatt based on de Jongs's alteration method. One also needs control over numerically flat bundles on arbitrary singular varieties over finite fields. The singular Riemann Roch Theorem of Baum Fulton Macpherson is a key ingredient for this step. This is joint work with Annette Werner.
 

I will explain the model theoretic notion of ampleness
and present the geometric context of recent constructions.

Abstract: (Joint work with Sylvy Anscombe) We consider four properties 
of a field K related to the existence of (definable) henselian 
valuations on K and on elementarily equivalent fields and study the 
implications between them. Surprisingly, the full pictures look very 
different in equicharacteristic and mixed characteristic.

Hitchin's existence theorem asserts that a stable Higgs bundle of rank two carries a unitary connection satisfying Hitchin's self-duality equation. In this talk we discuss a new proof, via gluing methods, for
elements in the ends of the Higgs bundle moduli space and identify a dense open subset of the boundary of the compactification of this moduli space.
 

The Farrell-Jones Conjecture predicts that the algebraic K-Theory of a group ring RG can be expressed in terms of the algebraic K-Theory of the coefficient ring R and homological information about the group. After an introduction to this circle of ideas the talk will report on recent joint work with A. Bartels which builds up on earlier joint work with A. Bartels, T. Farrell and L. Jones. We prove that the Farrell-Jones Conjecture holds in the case where the group is the fundamental group of a closed Riemannian manifold with strictly negative sectional curvature. The result holds for all of K-Theory, in particular for higher K-Theory, and for arbitrary coefficient rings R.