I'm a Research Fellow at Gonville & Caius College, University of Cambridge. I've previously spent time in École Polytechnique, Université libre de Bruxelles and Trinity College Dublin.
My first name is pronounced "Rui" (the "dh" is silent, it's Irish).
My research focuses on complex geometry and algebraic geometry. I am particularly interested in the existence of canonical metrics in complex geometry (e.g. Kähler-Einstein, extremal), notions of algebro-geometric stability (e.g. K-stability), and more generally moduli theory and geometric analysis. My work is mostly motivated by the "Yau-Tian-Donaldson" conjecture, which links stability notions to the existence of canonical metrics.
My CV. My email address is rd430(at)cam.ac.uk.
Papers and preprints:
Consider a holomorphic submersion between compact Kähler manifolds, such that each fibre admits a constant scalar curvature Kähler metric. When the fibres admit continuous automorphisms, a choice of fibrewise constant scalar curvature Kähler metric is not unique. An optimal symplectic connection is choice of fibrewise constant scalar curvature Kähler metric satisfying a geometric partial differential equation. The condition generalises the Hermite-Einstein condition for a holomorphic vector bundle, through the induced fibrewise Fubini-Study metric on the associated projectivisation.
We prove various foundational analytic results concerning optimal symplectic connections. Our main result proves that optimal symplectic connections are unique, up to the action of the automorphism group of the submersion, when they exist. Thus optimal symplectic connections are canonical relatively Kähler metrics when they exist. In addition, we show that the existence of an optimal symplectic connection forces the automorphism group of the submersion to be reductive, and that an optimal symplectic connection is automatically invariant under a maximal compact subgroup of this automorphism group.
K-polystability is, on the one hand, conjecturally equivalent to the existence of certain canonical Kähler metrics on polarised varieties, and, on the other hand, conjecturally gives the correct notion to form moduli. We introduce a notion of stability for families of K-polystable varieties, extending the classical notion of slope stability of a bundle, viewed as a family of K-polystable varieties via the associated projectivisation. We conjecture that this is the correct condition for forming moduli of fibrations.
Our main result relates this stabiility condition to Kähler geometry: we prove that the existence of an optimal symplectic connection implies semistability of the fibration. An optimal symplectic connection is a choice of fibrewise constant scalar curvature Kähler metric, satisfying a certain geometric partial differential equation. We conjecture that the existence of such a connection is equivalent to polystability of the fibration. We prove a finite dimensional analogue of this conjecture, by describing a GIT problem for fibrations embedded in a fixed projective space, and showing that GIT polystability is equivalent to the existence of a zero of a certain moment map.
The main result of this paper gives a new construction of extremal Kähler metrics on the total space of certain holomorphic submersions, giving a vast generalisation and unification of results of Hong, Fine and others. The principal new ingredient is a novel geometric partial differential equation on such fibrations, which we call the optimal symplectic connection equation.
We begin with a smooth fibration for which all fibres admit a constant scalar curvature Kähler metric. When the fibres admit automorphisms, such metrics are not unique in general, but rather are unique up to the action of the automorphism group of each fibre. We define an equation which, at least conjecturally, determines a canonical choice of constant scalar curvature Kähler metric on each fibre. When the fibration is a projective bundle, this equation specialises to asking that the hermitian metric determining the fibrewise Fubini-Study metric is Hermite-Einstein.
Assuming the existence of an optimal symplectic connection, and the existence of an appropriate twisted extremal metric on the base of the fibration, we show that the total space of the fibration itself admits an extremal metric for certain polarisations making the fibres small.
K-polystability of a polarised variety is an algebro-geometric notion conjecturally equivalent to the existence of a constant scalar curvature Kähler metric. When a variety is K-unstable, it is expected to admit a "most destabilising" degeneration. In this note we show that if such a degeneration exists, then the limiting scheme is itself relatively K-semistable.
We construct a moduli space of polarised manifolds which admit a constant scalar curvature Kähler metric. We show that this space admits a natural Kähler metric.
Consider a fibred compact Kähler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature Kähler metric and has discrete automorphism group. Assuming the base of the fibration admits a twisted extremal metric where the twisting form is a certain Weil-Petersson type metric, we prove that X admits an extremal metric for polarisations making the fibres small. Thus X admits a constant scalar curvature Kähler metric if and only if the Futaki invariant vanishes. This extends a result of Fine, who proved this result when the base admits no continuous automorphisms.
As consequences of our techniques, we obtain the following analogues for maps of various fundamental results for varieties: if a map admits a twisted constant scalar curvature Kähler metric metric, then its automorphism group is reductive; a twisted extremal metric is invariant under a maximal compact subgroup of the automorphism group of the map; there is a geometric interpretation for uniqueness of twisted extremal metrics on maps.
We formulate a notion of stability for maps between polarised varieties which generalises Kontsevich's definition when the domain is a curve and Tian-Donaldson's definition of K-stability when the target is a point. We give some examples, such as Kodaira embeddings and fibrations. We prove the existence of a projective moduli space of canonically polarised stable maps, generalising the Kontsevich-Alexeev moduli space of stable maps in dimensions one and two. We also state an analogue of the Yau-Tian-Donaldson conjecture in this setting, relating stability of maps to the existence of certain canonical Kähler metrics.
Consider a vector bundle over a Kähler manifold which admits a Hermitian Yang-Mills connection. We show that the pullback bundle on the blowup of the Kähler manifold at a collection of points also admits a Hermitian Yang-Mills connection, for Kähler classes on the blowup which make the exceptional divisors small. Our proof uses gluing techniques, and is hence asymptotically explict. This recovers, through the Hitchin-Kobayashi correspondence, algebro-geometric results due to Buchdahl and Sibley.
We prove that on Fano manifolds, the Kähler-Ricci flow produces a "most destabilising" degeneration, with respect to a new stability notion related to the H-functional. This answers questions of Chen-Sun-Wang and He.
We give two applications of this result. Firstly, we give a purely algebro-geometric formula for the supremum of Perelman's μ-functional on Fano manifolds, resolving a conjecture of Tian-Zhang-Zhang-Zhu as a special case. Secondly, we use this to prove that if a Fano manifold admits a Kähler-Ricci soliton, then the Kähler-Ricci flow converges to it modulo the action of automorphisms, with any initial metric. This extends work of Tian-Zhu and Tian-Zhang-Zhang-Zhu, where either the manifold was assumed to admit a Kähler-Einstein metric, or the initial metric of the flow was assumed to be invariant under a maximal compact group of automorphism.
We study the existence of extremal Kähler metrics on Kähler manifolds. After introducing a notion of relative K-stability for Kähler manifolds, we prove that Kähler manifolds admitting extremal Kähler metrics are relatively K-stable. Along the way, we prove a general Lp lower bound on the Calabi functional involving test configurations and their associated numerical invariants, answering a question of Donaldson.
When the Kähler manifold is projective, our definition of relative K-stability is stronger than the usual definition given by Székelyhidi. In particular our result strengthens the known results in the projective case (even for constant scalar curvature Kähler metrics), and rules out a well known counterexample to the "naïve" version of the Yau-Tian-Donaldson conjecture in this setting.
I wrote an appendix to Sjöström Dyrefelt's "On K-polystability of cscK manifolds with transcendental cohomology class", which removes a technical assumption from the main result of this paper, see arXiv:1711.11482. In particular the existence of an extremal metric on a Kähler manifold implies relative K-stability, without any assumptions on the norms of the objects involved.
We formulate a notion of K-stability for Kähler manifolds, and prove one direction of the Yau-Tian-Donaldson conjecture in this setting. More precisely, we prove that the Mabuchi functional being bounded below (resp. coercive) implies K-semistability (resp. uniformly K-stable). In particular this shows that the existence of a constant scalar curvature Kähler metric implies K-semistability, and K-stability if one assumes the automorphism group is discrete. We also show how Stoppa's argument holds in the Kähler case, giving a simpler proof of this K-stability statement.
Consider a projective manifold with two distinct polarisations L1 and L2. From this data, Donaldson has defined a natural flow on the space of Kähler metrics in c1(L1), called the J-flow. The existence of a critical point of this flow is closely related to the existence of a constant scalar curvature Kähler metric in c1(L1) for certain polarisations L2.
Associated to a quantum parameter k>>0, we define a flow over Bergman type metrics, which we call the J-balancing flow. We show that in the quantum limit of k→∞, the rescaled J-balancing flow converges towards the J-flow. As corollaries, we obtain new proofs of uniqueness of critical points of the J-flow and also that these critical points achieve the absolute minimum of an associated energy functional.
We show that the existence of a critical point of the J-flow implies the existence of J-balanced metrics for k >> 0. Defining a notion of Chow stability for linear systems, we show that this in turn implies the linear system |L2| is asymptotically Chow stable. Asymptotic Chow stability of |L2| implies an analogue of K-semistability for the J-flow introduced by Lejmi-Székelyhidi, which we call J-semistability. We prove also that J-stability holds automatically in a certain numerical cone around L2, and that if L2 is the canonical class of the manifold that J-semistability implies K-stability. Eventually, this leads to new K-stable polarisations of surfaces of general type.
We show that certain Galois covers of K-semistable Fano varieties are K-stable. We use this to give some new examples of Fano manifolds admitting Kähler-Einstein metrics, including hypersurfaces, double solids and threefolds.
We study the K-stability of a polarised variety with non-reductive automorphism group. We associate a canonical filtration of the co-ordinate ring to each variety of this kind, which destabilises the variety in several examples which we compute. We conjecture this holds in general. This is an algebro-geometric analogue of Matsushima's theorem regarding the existence of constant scalar curvature Kähler metrics. As an application, we give an example of an orbifold del Pezzo surface without a Kähler-Einstein metric.
We give a criterion for the coercivity of the Mabuchi functional for general Kähler classes on Fano manifolds in terms of Tian's alpha invariant. This generalises a result of Tian in the anti-canonical case implying the existence of a Kähler-Einstein metric. We also prove the alpha invariant is a continuous function on the Kähler cone. As an application, we provide new Kähler classes on a general degree one del Pezzo surface for which the Mabuchi functional is coercive.
We introduce a norm on the space of test configurations, which we call the minimum norm. We conjecture that uniform K-stability with respect to this norm is equivalent to the existence of a constant scalar curvature Kähler metric. This notion of uniform K-stability is analogous to coercivity of the Mabuchi functional. We characterise the triviality of test configurations, by showing that a test configuration has zero minimum norm if and only if it has zero L2-norm, if and only if it is almost trivial.
We prove that the existence of a twisted constant scalar curvature Kähler metric implies uniform twisted K-stability with respect to the minimum norm, when the twisting is ample.
We give algebro-geometric proofs of uniform K-stability in the general type and Calabi-Yau cases, as well as in the Fano case under an alpha invariant condition. Our results hold for line bundles sufficiently close to the (anti)-canonical line bundle, and also in the twisted setting. We show that log K-stability implies twisted K-stability, and also that twisted K-semistability of a variety implies that the variety has mild singularities.
We provide a sufficient condition for polarisations of Fano varieties to be K-stable in terms of Tian's alpha invariant, which uses the log canonical threshold to measure singularities of divisors in the linear system associated to the polarisation. This generalises a result of Odaka-Sano in the anti-canonically polarised case, which is the algebraic counterpart of Tian's analytic criterion implying the existence of a Kähler-Einstein metric. As an application, we give new K-stable polarisations of a general degree one del Pezzo surface. We also prove a corresponding result for log K-stability.
I organised conferences in Cambridge (Postgraduate Conference in Complex Geometry, 2015), Rome (Moduli of K-stable varieties, 2017) and Newcastle (Newcastle Complex Geometry Workshop, 2018). The Rome conference has an associated conference proceedings, also edited by Codogni and Viviani.