2
$\begingroup$

$\DeclareMathOperator\Tot{Tot}$A Riemannian manifold $(M,g)$ is said to be of bounded geometry if the Riemannian curvature tensor and its derivatives are bounded, and it has positive injectivity radius.

I am working with the complex number, so I will abusively denote $\mathbb{P}_{\mathbb{C}}^{n}$ to $\mathbb{P}^{n}$ here.

I know that the total space $\Tot(\mathcal{O}_{\mathbb{P}^{n-1}}(-n))$ of the line bundle over the projective space has such a Kähler metric, thanks to the work of D. Joyce. $\Tot(\mathcal{O}_{\mathbb{P}^{n-1}}(-n))$ is actually a crepent resolution of $\mathbb{C}^n/\mu_n$, which has an isolated singularity at $0$. In the paper of D. Joyce “Asymptotically Locally Euclidean metric with holonomy SU(n)”, ALE metric is given explicitly for this case.

I wonder if similar things can be done on the higher dimension case. Let $X$ be the total space of the sheaf of module, $$ \mathcal{O}_{\mathbb{P}^{n-1}}(-d_1)\oplus \cdots \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(-d_r), $$ where $d_1+\cdots+d_r=n$ to make $X$ Calabi-Yau. I wonder it is possible to give a Kähler metric of bounded geometry on $X$. I know that this is a Hermitian vector bundle over $\mathbb{P}^{n-1}$, together with the “radius” function, $$ r(x_1,\ldots,x_n,p_1,\ldots,p_r) = \sum_{j=1}^r \|\mathbf{x}\|^{d_j}|p_j|^2, $$ And it seems possible (although I am not very acquainted with) to write a Kähler metric on $X$ using Calabi ansatz methods to this Hermitian vector bundle, $$ g = u(r)g_{\mathbb{P}^{n-1}}+v(r)g_{F} $$ But I am having a hard time showing that such a metric is of bounded geometry. It is too computationally intensive to compute Riemannian curvature directly.

I wonder if this problem hard to tackle. If so, may I ask how much is known about the bounded-geometry-ness of the Kähler metric on $X$?

Thanks in advance.

$\endgroup$

1 Answer 1

1
$\begingroup$

(This is OP, and I wrote the question with my inactive account. Please excuse.)

I think I found the proof, but there are some points that I am not 100% sure. Yet I think those problems are minor.

Let $X$ be the total space of the locally free sheaf $\mathcal{O}_{\mathbb{P}^n}(-d_1)\oplus \cdots \oplus \mathcal{O}_{\mathbb{P}^n}(-d_r)$.

See this complete Kähler metric I defined here. In short, I defined a codimension $1$ subspace $Y$ inside $U:=(\mathbb{C}^{n+1}\setminus\{0\})\times \mathbb{C}^r$ defined by the equation $$ F(x,p)= |x_1|^2+\cdots+|x_n|^2-d_1|p_1|^2-\cdots-d_r|p_r|^2=1, $$ and defined the Riemannian submersion $Y\to X$ under the $U(1)$-action defined by $$ e^{i\theta} \cdot (x_1,\ldots,x_n,p_1,\ldots,p_r) = (e^{i\theta}x_1,\ldots,e^{i\theta}x_n,e^{-id_1\theta}p_1,\ldots,e^{-i\theta d_r}p_r). $$ My goal is to show that this metric is bounded geometry.

To proceed, see the answer in this post. It says:

Theorem 1. Let $(M,g)$ be a complete, connected Riemannian manifold. If there is a compact set $K$ in $M$ such that the sectional curvature is positive and bounded above in $M\setminus K$, then $(M,g)$ is bounded geometry.

The proof is beyond my knowledge, so I will skip it.

Our next goal is to compute the sectional curvature of $(X,g)$. For the Riemannian submersion $M\to B$, letting $A$ be the integrability tensor on $TM$, $$ A_V W = v\nabla^M_{hV} hW + h \nabla^M_{hV} vW, $$ we have a formula $$ K^B(V,W)\circ \pi = K^M(V^h,W^h)+ \frac{3g^M(A_{V^h}W^h,A_{V^h}W^h)}{g^B(V\wedge W,V\wedge W)\circ \pi}. $$ Instead of the Riemannian submersion, with $i:Y\to U$ being the immersion, we may use the submersion from the pullback bundle $i^*TU\to TX$. We still have the same formula (which I am not 100% sure), and $i^*TU$ is flat, we should have $$ K^B(V,W)\circ \pi = \frac{3g^U(A_{V^h}W^h,A_{V^h}W^h)}{g^B(V\wedge W,V\wedge W)\circ \pi}. $$ We may assume that $V$ and $W$ are orthonormal. Then, $$ K^B(V,W)\circ \pi = 3\|A_{V^h}W^h\|. $$

We let $D:i^*TU\to i^*TU$ be the (1,1)-tensor defined as $$ DV = \nabla^{U}_V (\mathbf{grad} F). $$ Then it satisfies the following properties.

Lemma 2.

(1) $D(\partial_{x_j}) = \partial x_j$, $D(\partial_{\overline{x}_j}) = \partial_{\overline{x}_j}$, $D(\partial_{p_j})=-d_j \partial_{p_j}$, $D(\partial_{\overline{p}_j})= -d_j \partial_{\overline{p}_j}.$

(2) $JD = DJ$.

(3) $D$ is flat, that is, $\nabla^{U}_V DW = D\nabla^{U}_V W$.

(4) $\|DV\|\leq \max_j|d_j|\|V\|$.

They are all derived from the direct computation.

We want to show that when $\|\mathbf{grad} F\|\to \infty$, $A\to 0$.

By definition of the integrability tensor, we have $$ A_{V^h} W^h = v\nabla^{U}_{V^h} W^h = \frac{g^U(\nabla^{U}_{V^h} W^h,\nabla F )}{\|\nabla F\|^2}\nabla F + \frac{g^U(\nabla^{U}_{V^h} W^h, J\nabla F)}{\|\nabla F\|^2}J\nabla F. $$ By the definition of $\nabla^{U}$, we have $$ \frac{g^U(\nabla^{U}_{V^h} W^h,\mathbf{grad}F )}{\|\mathbf{grad} F\|^2}\mathbf{grad} F = - \frac{g^U(W^h,\nabla^{U}_{V^h}\mathbf{grad}F \rangle}{\|\mathbf{grad} F\|^2}\mathbf{grad} F = -\frac{g^U( W^h, D(V^h))}{\|\mathbf{grad} F\|^2}\mathbf{grad} F $$ By Cauchy-Schwartz inequality and (4) of Lemma 2, we have $$ \left\|\frac{g^U(W^h, D(V^h))}{\|\mathbf{grad}F\|^2}\mathbf{grad} F\right\|\leq \frac{\|D(V^h)\|}{\|\mathbf{grad} F\|}\leq\frac{\sqrt{\max_j |d_j|}}{\|\mathbf{grad} F\|}. $$ Thus, $$ \| A_{V^h} W^h \| \leq 2\frac{\sqrt{\max_j |d_j|}}{\|\mathbf{grad}F\|}. $$

$K^{X}$ is positive. As $\|(\mathbf{x},\mathbf{p})\|\to \infty$, $\|\mathbf{grad}F\|\to \infty$, and the sectional curvature $K^{X}$ goes to zero. Thus, there is a positive real number $R>0$ such that $K^{X}<1$ for all $(\mathbf{x},\mathbf{p})\in Y$ with $\|(\mathbf{x},\mathbf{p})\|>R$. Since $Y \cap \{(\mathbf{x},\mathbf{p})\in U|\|(\mathbf{x},\mathbf{p})\|\leq R\}$ is a compact set, we get the conclusion using Theorem 1.

$\endgroup$
2
  • $\begingroup$ In Theorem 1 you should assume completeness of the metric. $\endgroup$ Commented Dec 15 at 19:17
  • $\begingroup$ @MoisheKohan Thanks for the comment! I will edit the answer accordingly. $\endgroup$
    – J1U
    Commented 2 days ago

You must log in to answer this question.

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