Searcharxiv⌕ Search

arXiv subjects

Song Sun

Publications and source records attributed to Song Sun.

At least 55 records · Page 3Linked to original sources

Calabi-Yau manifolds with isolated conical singularities

Let $X$ be a complex projective variety with only canonical singularities and with trivial canonical bundle. Let $L$ be an ample line bundle on $X$. Assume that the pair $(X,L)$ is the flat limit of a family of smooth polarized Calabi-Yau manifolds. Assume that for each singular point $x \in X$ there exist a Kahler-Einstein Fano manifold $Z$ and a positive integer $q$ dividing $K_Z$ such that $-\frac{1}{q}K_Z$ is very ample and such that the germ $(X,x)$ is locally analytically isomorphic to a neighborhood of the vertex of the blow-down of the zero section of $\frac{1}{q}K_{Z}$. We prove that up to biholomorphism, the unique weak Ricci-flat Kahler metric representing $2πc_1(L)$ on $X$ is asymptotic at a polynomial rate near $x$ to the natural Ricci-flat Kahler cone metric on $\frac{1}{q}K_Z$ constructed using the Calabi ansatz. In particular, our result applies if $(X, \mathcal{O}(1))$ is a nodal quintic threefold in $\mathbb{P}^4$. This provides the first known examples of compact Ricci-flat manifolds with non-orbifold isolated conical singularities.

math.DG↗

Frankel Conjecture and Sasaki geometry

We classify simply connected compact Sasaki manifolds of dimension $2n+1$ with positive transverse bisectional curvature. In particular, the Kähler cone corresponding to such manifolds must be bi-holomorphic to $\C^{n+1}\backslash \{0\}$. As an application we recover the Mori-Siu-Yau theorem on the Frankel conjecture and extend it to certain orbifold version. The main idea is to deform such Sasaki manifolds to the standard round sphere in two steps, both fixing the complex structure on the Kähler cone. First, we deform the metric along the Sasaki-Ricci flow and obtain a limit Sasaki-Ricci soliton with positive transverse bisectional curvature. Then by varying the Reeb vector field along the negative gradient of the volume functional, we deform the Sasaki-Ricci soliton to a Sasaki-Einstein metric with positive transverse bisectional curvature, i.e. a round sphere. The second deformation is only possible when one treats simultaneously regular and irregular Sasaki manifolds, even if the manifold one starts with is regular(quasi-regular), i.e. Kähler manifolds(orbifolds).

math.DG↗

Kähler-Ricci flow, Kähler-Einstein metric, and K-stability

We prove the existence of Kahler-Einstein metric on a K-stable Fano manifold using the recent compactness result on Kahler-Ricci flows. The key ingredient is an algebro-geometric description of the asymptotic behavior of Kahler-Ricci flow on Fano manifolds. This is in turn based on a general finite dimensional discussion, which is interesting in its own and could potentially apply to other problems. As one application, we relate the asymptotics of the Calabi flow on a polarized Kahler manifold to K-stability assuming bounds on geometry.

math.DG↗

Compact Moduli Spaces of Del Pezzo Surfaces and Kähler-Einstein metrics

We prove that the Gromov-Hausdorff compactification of the moduli space of Kahler-Einstein Del Pezzo surfaces in each degree agrees with certain algebro-geometric compactification. In particular, this recovers Tian's theorem on the existence of Kahler-Einstein metrics on smooth Del Pezzo surfaces and classifies the degenerations of such metrics. The proof is based on a combination of both algebraic and differential geometric techniques.

math.DG↗

Kahler-Einstein metrics on Fano manifolds, III: limits as cone angle approaches 2π and completion of the main proof

This is the third and final paper in a series which establish results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle approaches 2π. We also put all our technical results together to complete the proof of the main theorem that if a K-stable Fano manifold admits a Kahler-Einstein metric.

math.DG↗

On the Kähler-Ricci flow near a Kähler-Einstein metric

On a Fano manifold, we prove that the Kahler-Ricci flow starting from a Kahler metric in the anti-canonical class which is sufficiently close to a Kahler-Einstein metric must converge in a polynomial rate to a Kahler-Einstein metric. The convergence can not happen in general if we study the flow on the level of Kahler potentials. Instead we exploit the interpretation of the Ricci flow as the gradient flow of Perelman's μfunctional. This involves modifying the Ricci flow by a canonical family of gauges. In particular, the complex structure of the limit could be different in general. The main technical ingredient is a Lojasiewicz type inequality for Perelman's μfunctional near a critical point.

math.DG↗

Kahler-Einstein metrics on Fano manifolds, II: limits with cone angle less than 2 π

This is the second of a series of three papers which provide proofs of results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle is less than 2π. We show that these are in a natrual way projective algebraic varieties. In the case when the limiting variety and the limiting divisor are smooth we show that the limiting metric also has standard cone singularities.

math.DG↗

Note on K-stability of pairs

We prove that a pair (X, D) with X Fano and D a smooth anti-canonical divisor is K-unstable for negative angles, and K-semistable for zero angle.

math.DG↗

Conical Kahler-Einstein metric revisited

In this paper we introduce the "interpolation-degneration" strategy to study Kahler-Einstein metrics on a smooth Fano manifold with cone singularities along a smooth divisor that is proportional to the anti-canonical divisor. By "interpolation" we show the angles in $(0, 2π]$ that admit a conical Kahler-Einstein metric form an interval; and by "degeneration" we figure out the boundary of the interval. As a first application, we show that there exists a Kahler-Einstein metric on $P^2$ with cone singularity along a smooth conic (degree 2) curve if and only if the angle is in $(π/2, 2π]$. When the angle is $2π/3$ this proves the existence of a Sasaki-Einstein metric on the link of a three dimensional $A_2$ singularity, and thus answers a problem posed by Gauntlett-Martelli-Sparks-Yau. As a second application we prove a version of Donaldson's conjecture about conical Kahler-Einstein metrics in the toric case using Song-Wang's recent existence result of toric invariant conical Kahler-Einstein metrics.

math.DG↗

The generalized Frankel conjecture in Sasaki geometry

We prove some structure results for \emph{transverse reducible} Sasaki manifolds. In particular, we show Sasaki manifolds with positive Ricci curvature is transversely irreducible, and so there is no join (product) construction for irregular Sasaki-Einstein manifolds, as opposed to the quasi-regular case done by Wang-Ziller and Boyer-Galicki. As an application, we classify compact Sasaki manifolds with non-negative transverse bisectional curvature, which can be viewed as the generalized Frankel conjecture (N. Mok's theorem) in Sasaki geometry.

math.DG↗

Calabi flow, Geodesic rays, and uniqueness of constant scalar curvature Kähler metrics

We prove that constant scalar curvature Kähler metric "adjacent" to a fixed Kähler class is unique up to isomorphism. This extends the uniqueness theorem of Donaldson and Chen-Tian, and formally fits into the infinite dimensional G.I.T picture described by Donaldson. We prove that the Calabi flow near a cscK metric exists globally and converges uniformly to a cscK metric in a polynomial rate. Viewed in a Kähler class, the Calabi flow is also shown to be asymptotic to a smooth geodesic ray at infinity. This latter fact is also interesting in the finite dimensional analogue, where we show that the downward gradient flow of the Kempf-Ness function in a semi-stable orbit is asymptotic to the direction of optimal degeneration.

math.DG↗

Testing log K-stability by blowing up formalism

We study logarithmic K-stability for pairs by extending the formula for Donaldson-Futaki invariants to log setting. We also provide algebro-geometric counterparts of recent results of existence of Kahler-Einstein metrics with cone singularities.

math.AG↗

Space of Kähler metrics (V)-- Kähler quantization

We prove the convergence of geodesic distance during the quantization of the space of Kähler potentials. As applications, this provides alternative proofs of certain inequalities about the K-energy functional in the projective case.

math.DG↗