Geometry and Analysis Seminar

The well-known Milnor-Wood inequality gives a bound on the Toledo invariant of a representation of the fundamental group of a compact surface in a non-compact Lie group of Hermitian type. While a lot is known regarding the counting of maximal Toledo components, and their role in higher Teichmueller theory, the non-maximal case remains elusive. In this talk, I will present a strategy to count the number of such non-maximal Toledo connected components. This is joint work in progress with Brian Collier and Jochen Heinloth, building on previous work with Olivier Biquard, Brian Collier and Domingo Toledo.

A Riemannian metric is said to be  Einstein if it has constant Ricci curvature. In dimensions 2 or 3, this is actually equivalent to requiring the metric to have constant sectional curvature. However,  in dimensions 4 and higher, the Einstein condition becomes significantly weaker than constant sectional curvature, and this has rather dramatic consequences. In particular, it turns out that there are  high-dimensional smooth closed manifolds that admit pairs of Einstein metrics with Ricci curvatures of opposite signs. After explaining how one constructs such examples, I will then discuss some recent results exploring the coexistence of Einstein metrics with zero and positive Ricci curvatures.

I will discuss the Brill-Noether theory of a general elliptic $K3$ surface using wall-crossing with respect to Bridgeland stability conditions. As an application, I will provide an example of a general $k$-gonal curve from the perspective of Hurwitz-Brill-Noether theory. This is joint work with Gavril Farkas and Andrés Rojas.

A 2-connected, rational homotopy 7-sphere is classified up to diffeomorphism by three invariants: its (finite) 4th cohomology group, its q-invariant and its Eells-Kuiper invariant.  The q-invariant is a quadratic refinement of the linking form and determines the homeomorphism type, while the Eells-Kuiper invariant then pins down the diffeomorphism type.  In this talk, I will discuss the diffeomorphism classification of a certain family of non-negatively curved, 2-connected, rational homotopy 7-spheres, discovered by Sebastian Goette, Krishnan Shankar and myself, which contains, in particular, all $S^3$-bundles over $S^4$ and all exotic 7-spheres.

As discovered by Perelman, the study of ancient Ricci flows which are $\kappa$-noncollapsed is a crucial prerequisite to understanding the singularity behaviour of more general Ricci flows. In dimension three, these so-called "$\kappa$-solutions" have been fully classified through the groundbreaking work of Brendle, Daskalopoulos, and Šešum. Their classification result can be extended to higher dimensions, but only for those Ricci flows that have uniformly positive isotropic curvature (PIC), as well as weakly-positive isotropic curvature of the second type (PIC2); it appears the classification result fails with only minor modifications to the curvature assumption. Indeed, with the alternative assumption of non-negative curvature operator, a rich variety of new examples emerge, as recently constructed by Buttsworth, Lai, and Haslhofer; Haslhofer himself has conjectured that this list of non-negatively curved $\kappa$-solutions is now exhaustive in dimension four. In this talk, we will discuss some recent progress towards resolving Haslhofer's conjecture, including a compactness result for non-negatively curved $\kappa$-solutions in dimension four, and a symmetry improvement result for bubble-sheet regions. This is joint work with Anusha Krishnan and Timothy Buttsworth.