11
$\begingroup$

Let $π:X→Δ$ be a family of compact complex manifolds such that the fibre $X_t:=π^{−1}(t)$ admits a Kaehler-Einstein metric of negative Ricci curvature for all $t≠0$. Then does the special fiber $X_0:=π^{−1}(0)$ also admit a Kaehler-Einstein metric of negative Ricci curvature?

$\endgroup$
13
  • 10
    $\begingroup$ Related answer: Central fibre $X_0$ can admit Kähler-Einstein metric with negative Ricci curvature outside of a analytical subvariety if general fibers are projective. Let state Dan Popovici theorem: Let $π:X→Δ$ be a complex analytic family of compact complex manifolds such that the fibre $X_t:=π^{−1}(t)$ is projective for all $t≠0$. Then $X_0:=π^{−1}(0)$ is Moishezon. We know , Let $X$ be any compact complex variety. Then $X$ is a Moishezon space if and only if there is a proper analytic subset $S⊂X$, such that $X∖S$ admits a complete Kähler-Einstein metric with negative Ricci curvature. $\endgroup$
    – user21574
    Commented Jul 24, 2017 at 19:03
  • 5
    $\begingroup$ It seems my previous comment work even $X_0$ has canonical singularites. But we must impose central fiber has mild singularities to consider KE metric $\endgroup$
    – user21574
    Commented Jul 27, 2017 at 7:48
  • 6
    $\begingroup$ In fact $X_0$ can admit continuous Kahler-Einstein metric outside of an analytical subvariety $S$. But the sad part of story is that such $S$ may no longer be Zariski open subset. $\endgroup$
    – user21574
    Commented Jul 27, 2017 at 8:02
  • 3
    $\begingroup$ @Dima Now assume each $X_s$ admit Kahler-Einstein metric with negative Ricci curvature then we have a variation of Kahler-Ricci flow $\frac{\partial \omega(s,t)}{\partial t}=-Ric(\omega(s,t))-\omega(s,t)$ on each fibre $X_s=\pi^{-1}(s)$, so in this case by theorem of Yau-Aubin, we have unique Kahler-Einstein metric up to scaling , but the word of scaling, in this case, is highly non-trivial, so we get $\omega=\omega'+f(s)$, on each fibre which $f(s)$ is fiberwise constant, which may not be constant in general $\endgroup$
    – user21574
    Commented Oct 24, 2017 at 13:01
  • 3
    $\begingroup$ .....continued: now by taking derivative on both sides and comparing their Kahler Ricci flow equations, we get $\frac{\partial f(s)}{\partial s}=-f(s)+I_{\omega}^{\omega'}$, so if $s\to 0$, then on central fibre we must study the behaviour of the solution of this equation. Here $I_{\omega}^{\omega'}=log\frac{\omega^n}{\omega'^n}$. In fact conditions such that $f(s)$ remain constant when $s\to 0$. This may help $\endgroup$
    – user21574
    Commented Oct 24, 2017 at 13:01

2 Answers 2

2
$\begingroup$

I am posting my comment above as an answer. It appears that the answer is negative.

From what I can find, if $X_0$ is a compact, complex, Kähler manifold that admits a Kähler-Einstein metric, then $c_1(T X_0)$ is either positive, zero, or negative. In particular, if $c_1(T X_0)$ has negative intersection with some closed, analytic subcurves, yet it has zero intersection with other closed, analytic subcurves, then the first Chern class is neither negative nor zero. Thus, there is no Kähler-Einstein metric.

Now let $d\geq 5$ be an integer, and let $Y\subset \mathbb{P}^1\times \mathbb{P}^n$ be a general hypersurface of bidegree $(1,d)$, i.e., the degree of a general fiber of $\text{pr}_{\mathbb{P}^1}:Y\to \mathbb{P}^1$ is a hypersurface of degree $d$, and the general fiber of the other projection is a hypersurface of degree $1$. For a general such hypersurface, there are $4(d-1)^3$ points $s_i\in \mathbb{P}^1$ such that the corresponding fiber $Y_{s_i}$ of $\text{pr}_{\mathbb{P}^1}$ has a single ordinary double point $y_i$, and no other singularities. Let $f:C\to \mathbb{P}^1$ be a double cover that is ramified over each of the points $s_i$ (and possibly also over finitely many additional points). Denote by $t_i\in C$ the unique point that maps to $s_i$ under $f$.

Consider the base change $X'=C\times_{\mathbb{P}^1} Y$ with its projection $$\pi:X\to C.$$ The total space $X'$ is a complex, projective variety of dimension $3$ that has an ordinary double point over every point $x_i=(s_i,y_i)$. An ordinary double point of a $3$-fold is complex analytically isomorphic to a cone over a smooth quadric surface. Thus, there is a proper, holomorphic morphism $$\nu:X\to X',$$ that is a small resolution of each of these singular points $x_i$. In particular, every fiber $X_{t_i}$ is a compact, complex manifold. Moreover, it is a small resolution of the singular fiber $X'_i$. Thus, it is a complex projective surface (every smooth, compact Moishezon surface is projective). So $X_{t_i}$ is a Kähler manifold of dimension $2$.

However, the exceptional curve in $X_{t_i}$ is a smooth, genus $0$ curve whose intersection number with $c_1(T X_{t_i})$ is zero. Thus, the compact, complex, Kähler manifold $X_{t_i}$ does not admit any Käher-Einstein metric.

$\endgroup$
1
$\begingroup$

As Jason points out, the special fiber does not have a smooth negatively curved KE metrics in general (you can blow up the family along a subscheme supported on the special fiber without changing the assumptions you are working with, so certainly you can kill the property that the central fiber is canonically polarized).

For simplicity, I assume that $\pi$ is projective. Then $X_0$ admits a singular Kähler-Einstein metric (in the sense of Boucksom-Eyssidieux-Guedj-Zeriahi). This is a smooth Kähler-Einstein metric on a Zariski open subset of $X_0$ (the complement of the augmented base locus $\mathbb B_+(K_{X_0})$), with some additional global properties. The reason is that $K_{X_0}$, even if it may not be ample, is certainly big, for instance by semicontinuity of the function $t\mapsto \dim H^0(X_t, K_{X_t}^{\otimes m})$ for any integer $m>0$. This function is actually constant by a deep theorem of Siu, but it is irrelevant here.

$\endgroup$
1
  • $\begingroup$ Why in the world did somebody downvote this answer ?!? Also, if an MO user correctly and completely answers a question, as in this case, why does the OP not accept the answer? $\endgroup$ Commented Aug 3, 2017 at 13:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .