14:15
The state of the art in the formalisation of geometry
Abstract
14:15
Complex Dynamics — degenerations and irreducibility problems
Abstract
Complex dynamics is the study of the behaviour, under iteration, of complex polynomials and rational functions. This talk is about an application of combinatorial algebraic geometry to complex dynamics. The n-th Gleason polynomial G_n is a polynomial in one variable with Z-coefficients, whose roots correspond to degree-2 polynomials with an n-periodic critical point. Per_n is a (nodal) Riemann surface parametrizing degree-2 rational functions with an n-periodic critical point. Two long-standing open questions are: (1) Is G_n is irreducible over Q? (2) Is Per_n connected? I will sketch an argument showing that if G_n is irreducible over Q, then Per_n is connected. In order to do this, we find a special degeneration of degree-2 rational maps that tells us that Per_n has smooth point with Q-coordinates "at infinity”.
14:15
Towards a gauge-theoretic approximation of codimension-three area
Abstract
In the last three decades, a fruitful way to approximate the area functional in low codimension is to interpret submanifolds as the nodal sets of maps (or sections of vector bundles), critical for suitable physical energies or well-known lagrangians from gauge theory. Inspired by the situation in codimension two, where the abelian Higgs model has provided a successful framework, we look at the non-abelian SU(2) model as a natural candidate in codimension three. In this talk we will survey the new key difficulties and some recent partial results, including a joint work with D. Parise and D. Stern and another result by Y. Li.
14:15
$3$-$(\alpha,\delta)$-Sasaki manifolds and strongly positive curvature
Abstract
14:15
BPS polynomials and Welschinger invariants
Abstract
14:15
Tame fundamental groups of rigid spaces
Abstract
The fundamental group of a complex variety is finitely presented. The talk will survey algebraic variants (in fact, distant corollaries) of this fact, in the context of variants of the etale fundamental group. We will then zoom in on "tame" etale fundamental groups of p-adic analytic spaces. Our main result is that it is (topologically) finitely generated (for a quasi-compact and quasi-separated rigid space over an algebraically closed field). The proof uses logarithmic geometry beyond its usual scope of finitely generated monoids to (eventually) reduce the problem to the more classical one of finite generation of tame fundamental groups of algebraic varieties over the residue field. This is joint work with Katharina Hübner, Marcin Lara, and Jakob Stix.
14:15
Laplacian spectra of minimal submanifolds in the hyperbolic space
Abstract
14:15
ALC G2-manifolds
Abstract
ALF gravitational instantons, of which the Taub-NUT and Atiyah-Hitchin metrics are prototypes, are the complete non-compact hyperkähler 4-manifolds with cubic volume growth. Examples have been known since the 1970's, but a complete classification was only given around 10 years ago. In this talk, I will present joint work with Haskins and Nordström where we extend some of these results to complete non-compact 7-manifolds with holonomy G2 and an asymptotic geometry, called ALC (asymptotically locally conical), that generalises to higher dimension the asymptotic geometry of ALF spaces.
14:15
Seiberg-Witten equations in all dimensions
Abstract
I will describe a generalisation of the Seiberg-Witten equations to a Spin-c manifold of any dimension. The equations are for a U(1) connection A and spinor \phi and also an odd-degree differential form b (of inhomogeneous degree). Clifford action of the form is used to perturb the Dirac operator D_A. The first equation says that (D_A+b)(\phi)=0. The second equation involves the Weitzenböck remainder for D_A+b, setting it equal to q(\phi), where q(\phi) is the same quadratic term which appears in the usual Seiberg-Witten equations. This system is elliptic modulo gauge in dimensions congruent to 0,1 or 3 mod 4. In dimensions congruent to 2 mod 4 one needs to take two copies of the system, coupled via b. I will also describe a variant of these equations which make sense on manifolds with a Spin(7) structure. The most important difference with the familiar 3 and 4 dimensional stories is that compactness of the space of solutions is, for now at least, unclear. This is joint work with Partha Ghosh and, in the Spin(7) setting, Ragini Singhal.