---
abstract: 'We prove that a shrinking gradient Ricci soliton which is asymptotic to a Kähler cone along some end is itself Kähler on some neighborhood of infinity of that end. When the shrinker is complete, it is globally Kähler.'
address: 'School of Mathematical and Statistical Sciences, Arizona State University, Tempe, AZ 85287, USA'
author:
- Brett Kotschwar
date: November 2016
title: Kählerity of shrinking gradient Ricci solitons asymptotic to Kähler cones
---

Introduction
============

Let $M$ be a smooth manifold of dimension $n$. A *shrinking gradient Ricci soliton* structure on $M$ consists of a Riemannian metric $g$ and a smooth function $f$ which together satisfy the equations $$\label{eq:shrinker}
  {\operatorname{Rc}}(g) + \nabla\nabla f= \frac{1}{2} g, \quad R + |\nabla f|^2 = f.$$ The latter equation is a normalization which can be achieved by adding an appropriate constant to $f$ on any connected component of $M$.

Shrinking gradient Ricci solitons (or *shrinkers*) correspond naturally to shrinking self-similar solutions to the Ricci flow, which are both the generalized fixed points of the equation and the prototypical models for the behavior of a solution in the vicinity of a developing singularity. They have been fully classified in dimensions two [@HamiltonSingularities] and three [@CaoChenZhu], [@HamiltonSingularities], [@Ivey3DSoliton], [@Naber4D], [@NiWallach], [@Perelman2], [@PetersenWylie], and even a limited extension of this classification to dimensions four and higher would help advance the understanding of the long-time behavior of solutions to the equation.

There are indications that the asymptotic behavior of complete noncompact shrinking solitons may be rigid enough to support a classification into general structural types. At present, all known examples of complete noncompact shrinkers which are not locally reducible as products are connected at infinity and smoothly asymptotic to regular cones (see [@FeldmanIlmanenKnopf], [@DancerWang], [@Yang]). Recent results of Munteanu-Wang [@MunteanuWangKaehler; @MunteanuWangConical; @MunteanuWangGRSStructure] suggest that these two types may actually exhaust the possibilities for complete noncompact four-dimensional shrinkers.

In this paper, we consider shrinkers of the second type, whose geometries are asymptotically conical in a sense which we now make precise. Given a closed Riemannian manifold $(\Sigma, g_{\Sigma})$ of (real) dimension $n-1$ and a fixed $a \in {\mathbb{R}}$, let $E_a = E_a(\Sigma)$ denote the cylinder $(a, \infty) \times \Sigma$ and $g_c = dr^2 + r^2g_{\Sigma}$ the regular conical metric on $E_0$. Further, for any fixed $\lambda > 0$, let $\rho_{\lambda}:E_0\to E_0$ denote the dilation map $\rho_{\lambda}(r,\sigma){\doteqdot}({\lambda}r, \sigma)$. By an *end* $V\subset (M, g)$, we will mean an unbounded connected component of $M\setminus D$ for some compact $D\subset M$.

\[def:asymcone\] Let $V$ be an end of $(M, g)$. We say that $(M, g)$ is *asymptotic to $(E_0,g_c)$ along $V$* if, for some $r > 0$, there is a diffeomorphism $\Phi:{E}_r\to V$ such that ${\lambda}^{-2}\rho_{\lambda}^*\Phi^\ast g\to g_c$ in $C^2_{\emph{loc}}(E_0, g_c)$ as ${\lambda}\to \infty$.

Using the correspondence between shrinkers and self-similar solutions, it is possible to show that any shrinker whose curvature decays quadratically on an end will be asymptotic to some regular cone on that end in the above sense and that the convergence is actually locally smooth (see, e.g., [@KotschwarWangConical] and cf. [@ChowLu]). Munteanu and Wang [@MunteanuWangConical] have shown that any complete shrinker whose Ricci curvature tends to zero at infinity must have quadratic curvature decay and must therefore be asymptotically conical along each of its ends. In dimension four, they have proven that the same is true assuming only that the scalar curvature tends to zero [@MunteanuWang4D].

The uniqueness theorem proven in [@KotschwarWangConical] asserts that if two shrinking gradient Ricci solitons are asymptotic to the same regular cone along some end of each, then the solitons are themselves isometric on some neighborhood of infinity of these ends. One consequence of this theorem is that any non-trivial isometry of the cross-section of the cone must be reflected in a non-trivial isometry of the end of the soliton. In this paper, we show that the Kählerity of the cone is another feature which is necessarily inherited by an asymptotic shrinker.

\[thm:kaehlerity\] Suppose $(M, g, f)$ is a shrinking gradient Ricci soliton asymptotic to the regular cone $({E}_0, g_c)$ along the end $V\subset M$. If $({E}_0, g_c)$ is Kähler with complex structure $J_c$, then there is an end $W\subset V$ of $M$ and a complex structure $J$ defined on $W$ relative to which $g|_W$ is Kähler and $(W, J)$ is biholomorphic to $({E}_R, J_c)$ for some $R > 0$. If $(M, g)$ is complete, the Kähler structure extends to all of $M$.

If it is already known that there is a Kähler shrinker $(\hat{M}, \hat{g}, \hat{f})$ asymptotic to $({E}_0, g_c)$ along some end of $(\hat{M}, \hat{g})$, the first assertion follows from the uniqueness result in [@KotschwarWangConical]. Here, however, the existence of such a Kähler competitor $(\hat{M}, \hat{g}, \hat{f})$ is not presumed in advance and the Kählerity of the soliton $(M, g, f)$ on the end $W$ is established only from its asymptotic Kählerity along $V$. The assumptions are entirely local to the end $V$; in particular, $(M, g)$ need not be complete nor have only one end. However, when $(M, g)$ is complete and connected, its universal cover $(\tilde{M}, \tilde{g})$ will be globally Kähler and, consequently, connected at infinity [@MunteanuWangKaehler]. It follows then that $(M, g)$ is also connected at infinity and that the Kähler structure on $W$ must extend to all of $M$.

Our proof of Theorem \[thm:kaehlerity\] uses a combination of the methods in [@KotschwarRFHolonomy] and [@KotschwarWangConical]. In [@KotschwarWangConical], it is shown that a shrinker which is asymptotic to a cone $(E_0, g_c)$ gives rise to a smooth solution $g(t)$ to the Ricci flow on some end $W\subset V$ for $t\in [-1, 0)$ which begins at $g(-1) = g$, evolves self-similarly for $-1 \leq t < 0$, and converges smoothly as $t\nearrow 0$ to a limit metric isometric to $g_c$. By this construction, recalled in Proposition \[prop:brf\] below, the first assertion in Theorem \[thm:kaehlerity\] is reduced to a problem of “backward propagation of Kählerity,” that is, to the problem of showing that a solution to the Ricci flow which becomes Kähler after some time must have actually been Kähler all along. This problem was considered in [@KotschwarRFHolonomy] within the class of complete solutions of bounded curvature.

Whereas the problem of the propagation of the Kähler structure forward in time can, in principle, be reduced to the uniqueness of solutions to the Ricci flow by the construction of Kähler solutions with the same initial data, the problem of its propagation backward in time does not seem to admit a correspondingly straightforward reduction to the backward uniqueness of solutions. The Kähler solutions which one would need to construct to act as competitors are now the solutions to parabolic *terminal-value* problems which are ill-posed in general. These obstacles are discussed in some detail in Section 2.3 of [@KotschwarRFHolonomy] in the context of the preservation of holonomy along the flow.

Instead, the problem of backward propagation of restricted holonomy in [@KotschwarRFHolonomy] is recast as one of backward uniqueness for a prolonged system encoding the components of the curvature operator relative to a certain decomposition of the bundle of two-forms on $M$. In the next section, we discuss the specialization of this formulation to the Kähler setting. This sets up a problem of backward uniqueness which, analytically, turns out to be identical in structure and setting to that considered in [@KotschwarWangConical], and can be resolved by the same argument (the application of appropriate Carleman inequalities) given in that reference. We discuss the application of these results to the first assertion of Theorem \[thm:kaehlerity\] in Section 3, and prove the second assertion, concerning the extension of the Kähler structure to the entire manifold, with a short synthetic argument in Section 4.

Backward propagation of Kählerity under the Ricci flow
======================================================

In this section, we will assume that $g_0$ is a Kähler metric on $M$ with complex structure $J_0$ and that $g = g(\tau)$ is a smooth family of metrics satisfying the *backward Ricci flow* $$\label{eq:brf}
 {{\frac{\partial }{\partial\tau}}}g = 2{\operatorname{Rc}}(g)$$ on $M\times [0, T]$ with $g(0) = g_0$. We do not assume here that $g(\tau)$ is self-similar or that $(M, g(\tau))$ is complete.

Our aim is to set up a framework to determine when the Kählerity of the metric $g_0$ is transferred to $g(\tau)$ for $\tau > 0$. As we have noted above, we cannot simply reduce the problem of the the propagation of the Kähler structure to that of the uniqueness of *solutions* to (that is, to the problem of backward uniqueness of solutions to the Ricci flow). Instead we will specialize to the Kähler setting the approach in [@KotschwarRFHolonomy], which encodes the general problem of preservation of reduced holonomy in terms of the uniqueness of solutions to an associated system of mixed differential inequalities.

A family of almost-complex structures on $M$.
---------------------------------------------

The first step in our reduction of the problem is to extend $J_0$ to a family of almost complex structures $J = J(\tau)\in \operatorname{End}(TM)$ for $\tau\in [0, T]$ relative to which $g(\tau)$ remains Hermitian. (In our application, we will eventually we will wish to argue that $J(\tau) = J_0$.) We do so by solving the ordinary differential initial value problem $$\label{eq:jev}
  \left\{\begin{array}{rl}
          {{\frac{\partial }{\partial\tau}}}J^a_b =  R_b^c J^a_c - R_c^aJ_b^c & \mbox{on}\ M\times (0, T]\\
          J(x, 0) = J_0(x) & \mbox{on}\ M
         \end{array}\right.$$ in each fiber of $\operatorname{End}(TM)$.

The evolution equation in may be understood in terms of the operator $D_{\tau}$ which acts on families $V = V(\tau)$ of $(k, l)$-tensors by $$\begin{aligned}
 D_{\tau}V_{b_1b_2 \ldots b_k}^{a_1a_2\ldots a_l} &= {{\frac{\partial }{\partial\tau}}}V_{b_1b_2 \ldots b_k}^{a_1a_2\ldots a_l} 
 - R_{b_1}^{c}V_{cb_2\ldots b_k}^{a_1a_2\ldots a_l}  - R_{b_2}^{c}V_{b_1c\ldots b_k}^{a_1a_2\ldots a_l}
 - \cdots - R_{b_k}^{c}V_{b_1b_2\ldots c}^{a_1a_2\ldots a_l}\\
 &\phantom{={{\frac{\partial }{\partial\tau}}}V_{b_1b_2 \ldots b_k}^{a_1a_2\ldots a_l} }+ R_{c}^{a_1}V_{b_1b_2\ldots b_k}^{ca_2\ldots a_l}
 + R_{c}^{a_2}V_{b_1b_2\ldots b_k}^{a_1c\ldots a_l} + \cdots + R_{c}^{a_l}V_{b_1b_2\ldots b_k}^{a_1a_2\ldots c}. \end{aligned}$$ Relative to a smooth family of local frames $\{e_{i}(\tau)\}_{i=1}^{n}$ evolving so as to remain orthonormal relative to $g(\tau$), the components of $D_{\tau}V$ express the total derivatives $$D_{\tau}V_{b_1b_2 \ldots b_k}^{a_1a_2\ldots a_l} = {{\frac{\partial }{\partial\tau}}}\left(V(e_{b_1}, e_{b_2}, \ldots, e_{b_k}, e_{a_1}^*, e_{a_2}^*, \ldots, e_{a_l}^*)\right).$$ Alternatively, $D_\tau$ may be regarded as a vector on the product of the frame bundle with $[0, T]$ tangent to the bundle of $g(\tau)$-orthonormal frames. See [@HamiltonHarnack] or Appendix F of [@RFV2P2] for details.

Equations and are then equivalent to the assertions that $D_{\tau} g = 0$ and $D_{\tau} J =0$, and imply that $$J^2  = -\operatorname{Id}, \quad g(\cdot, \cdot) = g(J\cdot, J\cdot),$$ that is, that $J$ remains an almost complex structure and $g$ remains Hermitian with respect to $J$ on $M\times[0, T]$,

A time-dependent splitting of ${\wedge^2 T^*M}$.
------------------------------------------------

We will now examine the relationships between several families of endomorphisms of ${\wedge^2 T^*M}$ induced by $J$. Below, we will write $$\theta\wedge \sigma = \theta\otimes\sigma - \sigma\otimes \theta,$$ for $\theta$, $\sigma\in T^*M$, and use the metric $$\label{eq:metric}
 \langle \theta\wedge\sigma, \phi\wedge \psi\rangle = \det\left(\begin{array}{cc}
                                                               \langle \theta, \phi \rangle & \langle \theta, \psi\rangle \\
                                   \langle \sigma, \phi\rangle & \langle \sigma, \psi\rangle
                                                              \end{array}\right)$$ induced on ${\wedge^2 T^*M}$ by $g(\tau)$.

Now define ${\operatorname{F}}$, ${\operatorname{G}}\in {\operatorname{End}}({\wedge^2 T^*M})$ by $$\begin{aligned}
 ({\operatorname{F}}\eta)(X, Y) &= \frac{1}{2}\left(\eta(X, JY) + \eta(JX, Y)\right), \quad ({\operatorname{G}}\eta)(X, Y) = \eta(JX, JY),\end{aligned}$$ for $\eta \in {\wedge^2 T^*M}$ and $X$, $Y$ in $TM$, and let $${\tilde{{\operatorname{P}}}}= \frac{1}{2}(\operatorname{Id} + \mathrm{G}), \quad {\hat{{\operatorname{P}}}}= \frac{1}{2}(\operatorname{Id} - {\operatorname{G}}).$$ The identities $$\label{eq:gfrel}
  \quad {\operatorname{G}}^2 = \operatorname{Id}, \quad {\operatorname{F}}{\operatorname{G}}= {\operatorname{G}}{\operatorname{F}}= - {\operatorname{F}}$$ satisfied by ${\operatorname{F}}$ and ${\operatorname{G}}$ imply the following relations between ${\operatorname{F}}$, ${\tilde{{\operatorname{P}}}}$, and ${\hat{{\operatorname{P}}}}$.

\[lem:projprop\] On $M\times[0, T]$ we have the identities $$\begin{aligned}
 &{\tilde{{\operatorname{P}}}}^2 = {\tilde{{\operatorname{P}}}}, \quad {\hat{{\operatorname{P}}}}^2 = {\hat{{\operatorname{P}}}}, \quad {\hat{{\operatorname{P}}}}{\tilde{{\operatorname{P}}}}= {\tilde{{\operatorname{P}}}}{\hat{{\operatorname{P}}}}= 0, \quad {\tilde{{\operatorname{P}}}}+ {\hat{{\operatorname{P}}}}= \operatorname{Id},\\ 
 &\qquad{\tilde{{\operatorname{P}}}}^* = {\tilde{{\operatorname{P}}}}, \quad {\hat{{\operatorname{P}}}}^* = {\hat{{\operatorname{P}}}}, \quad {\operatorname{F}}^* = - {\operatorname{F}},\\
 &{\operatorname{F}}^2 = - {\hat{{\operatorname{P}}}}, \quad {\tilde{{\operatorname{P}}}}{\operatorname{F}}= {\operatorname{F}}{\tilde{{\operatorname{P}}}}= 0,
 \quad {\operatorname{F}}{\hat{{\operatorname{P}}}}= {\hat{{\operatorname{P}}}}{\operatorname{F}}= {\operatorname{F}}.\end{aligned}$$ Here $\,^*$ denotes the adjoint of the operator relative to the metric .

The first two rows of relations imply, among other things, that $$\mathcal{H} = \mathcal{H}(\tau) = \operatorname{im}{\tilde{{\operatorname{P}}}}(\tau), \quad \mathcal{K} = \mathcal{K}(\tau) = \operatorname{im} {\hat{{\operatorname{P}}}}(\tau),$$ are complementary orthogonal subbundles of ${\wedge^2 T^*M}$.

\[lem:splitting\] For any $(p, \tau) \in M\times [0, T]$, we have the $g(\tau)$-orthogonal decomposition $$\label{eq:splitting}
    \wedge^2(T_p^*M) = \mathcal{H}_p(\tau)\oplus \mathcal{K}_p(\tau)$$ and $\mathcal{H}_p(\tau)$ is a subalgebra of $\wedge^2(T_p^*M)$ isomorphic to $\mathfrak{u}(n/2)$ relative to the bracket $$\label{eq:bracket}
 [\omega, \eta]_{ij} = \omega_{ik}\eta_{kj} - \omega_{jk}\eta_{ki}$$ induced by $g(\tau)$.

As we have noted, the first assertion follows from the first two rows of Lemma \[lem:projprop\]. For the second assertion, let $\mathfrak{s}_p(\tau)\cong \mathfrak{so}(n)$ denote the Lie subalgebra of endomorphisms of $T_pM$ (under commutation) which are skew-symmetric relative to $g(p, \tau)$. The endomorphisms in $\mathfrak{s}_p(\tau)$ which further commute with $J = J(p, \tau)$ comprise a subalgebra $\mathfrak{u}_p(\tau)$ of $\mathfrak{s}_p(\tau)$ isomorphic to $\mathfrak{u}(n/2)$. The map $\Phi_{p, \tau}: \mathfrak{s}_p(\tau) \to \wedge^2(T^*_pM)$ given by $\Phi_{p, \tau}(A)(X, Y) =  g(X, AY)$ is an isomorphism relative to the bracket on $\wedge^2(T^*_pM)$, and the image of $\mathfrak{u}_p(\tau)$ under $\Phi$, consisting of those two-forms $\eta$ for which $\eta(X, Y) = \eta(JX, JX)$ for all $X$, $Y\in T_pM$, is precisely $\mathcal{H}_p(\tau)$.

Relative to $\wedge_{{\mathbb{C}}}^2T^*M = {\wedge^2 T^*M}\otimes_{{\mathbb{R}}} {\mathbb{C}}$, we have $${\operatorname{P}}^{(2, 0)} = \frac{1}{2}\left({\hat{{\operatorname{P}}}}- \sqrt{-1}{\operatorname{F}}\right),\quad
 {\operatorname{P}}^{(0, 2)} = \frac{1}{2}\left({\hat{{\operatorname{P}}}}+ \sqrt{-1}{\operatorname{F}}\right),\quad
 {\operatorname{P}}^{(1, 1)} = {\tilde{{\operatorname{P}}}},$$ where ${\operatorname{P}}^{(2, 0)}$, ${\operatorname{P}}^{(0, 2)}$, ${\operatorname{P}}^{(1, 1)}$ are the projections of $\wedge_{{\mathbb{C}}}^2T^*M$ onto $\wedge^{2, 0}M$, $\wedge^{0, 2}M$, and $\wedge^{1, 1}M$, respectively.

The decomposition of the curvature operator
-------------------------------------------

Let us use $R$ to denote the $(4, 0)$ curvature tensor and ${\operatorname{R}}:{\wedge^2 T^*M}\to {\wedge^2 T^*M}$ to denote the curvature operator of $g(\tau)$. We adopt the convention that $${\operatorname{R}}(\eta)_{ij} = -R_{ijab}\eta_{ab}, \quad \eta\in {\wedge^2 T^*M}.$$ Relative to an orthonormal frame $\{e_i\}_{i=1}^n$, we have $${\operatorname{R}}_{ijkl} = {\operatorname{R}}_{klij} = \langle {\operatorname{R}}(e_i^*\wedge e_j^*), e^*_k\wedge e^*_l\rangle = -2R_{abij}\langle e^*_a\wedge e^*_b, e^*_k\wedge e_l^*\rangle
 = -2R_{ijkl}.$$ Similarly, we will use ${\operatorname{S}}$ for the operator $\nabla {\operatorname{R}}\in  T^*M\otimes{\operatorname{End}}({\wedge^2 T^*M})$ such that $${\operatorname{S}}(X, \eta)_{ij} = -2\nabla_aR_{ijbc}X_a\eta_{bc}$$ and adopt the notation $${\operatorname{S}}_{mijkl} = \langle{\operatorname{S}}(e_m, e_i^*\wedge e_j^*), e^*_k\wedge e^*_l\rangle = -2\nabla_mR_{ijkl}.$$

Now define ${\tilde{{\operatorname{R}}}}$, ${\hat{{\operatorname{R}}}}: {\wedge^2 T^*M}\to{\wedge^2 T^*M}$ by $${\tilde{{\operatorname{R}}}}= {\operatorname{R}}\circ {\tilde{{\operatorname{P}}}}, \quad {\hat{{\operatorname{R}}}}= {\operatorname{R}}\circ{\hat{{\operatorname{P}}}}$$ and ${\tilde{{\operatorname{S}}}}$, ${\hat{{\operatorname{S}}}}\in T^*M\otimes{\operatorname{End}}({\wedge^2 T^*M})$ by $${\tilde{{\operatorname{S}}}}= \nabla {\operatorname{R}}\circ {\tilde{{\operatorname{P}}}}, \quad {\hat{{\operatorname{S}}}}= \nabla{\operatorname{R}}\circ{\hat{{\operatorname{P}}}}.$$ Here, $${\tilde{{\operatorname{S}}}}(X,\eta) = (\nabla_X{\operatorname{R}})\circ {\tilde{{\operatorname{P}}}}(\eta), \quad {\hat{{\operatorname{S}}}}(X, \eta) = (\nabla_X{\operatorname{R}}) \circ {\hat{{\operatorname{P}}}}(\eta),$$ for $X\in TM$ and $\eta\in {\wedge^2 T^*M}$.

\[lem:init\] At $\tau = 0$, we have $$\begin{aligned}
\label{eq:p0}
   & \nabla {\tilde{{\operatorname{P}}}}= \nabla {\hat{{\operatorname{P}}}}= \nabla {\operatorname{F}}= 0,\end{aligned}$$ $$\begin{aligned}
\label{eq:r0}
    &{\operatorname{R}}\circ {\operatorname{F}}= 0, \quad {\hat{{\operatorname{R}}}}= 0, \quad {\tilde{{\operatorname{R}}}}= {\operatorname{R}},\end{aligned}$$ and $$\begin{aligned}
\label{eq:dr0}
    &\nabla {\operatorname{R}}\circ {\operatorname{F}}= 0, \quad {\hat{{\operatorname{S}}}}= 0, \quad {\tilde{{\operatorname{S}}}}= \nabla {\operatorname{R}}.\end{aligned}$$

When $\tau = 0$, we have $\nabla J = 0$ and consequently $$R(X, Y, JZ, W) + R(X, Y, Z, JW) = 0$$ for all $X$, $Y$, $Z$, $W\in TM$. The former implies that $\nabla {\operatorname{F}}= \nabla {\hat{{\operatorname{P}}}}= \nabla {\tilde{{\operatorname{P}}}}= 0$ and the latter implies that ${\operatorname{R}}\circ {\operatorname{F}}= 0$; in fact, $$({\operatorname{R}}\circ {\operatorname{F}})(Z^*\wedge W^*)(X, Y) = R(X, Y, JZ, W) + R(X, Y, Z, JW).$$ Since ${\hat{{\operatorname{P}}}}= -{\operatorname{F}}^2$ and ${\tilde{{\operatorname{P}}}}= \operatorname{Id}- {\hat{{\operatorname{P}}}}$ by Lemma \[lem:projprop\], we also have ${\operatorname{R}}\circ {\hat{{\operatorname{P}}}}= 0$ and ${\operatorname{R}}\circ {\tilde{{\operatorname{P}}}}= {\operatorname{R}}$. Then $$0 = \nabla ({\operatorname{R}}\circ {\operatorname{F}}) = \nabla {\operatorname{R}}\circ {\operatorname{F}}+ {\operatorname{R}}\circ \nabla {\operatorname{F}}= \nabla {\operatorname{R}}\circ {\operatorname{F}},$$ and the other identities in follow similarly.

The identities in Lemma \[lem:init\] reflect that the image of the curvature operator is contained in the parallel subalgebra $\mathfrak{hol}(g(0))$ of ${\wedge^2 T^*M}$ defined by the holonomy representation of $g(0)$. Since $g(0)$ is Kähler, this means that, at any $p\in M$, $$\operatorname{im}{\operatorname{R}}(p, 0) \subset\mathfrak{hol}_p(g(0)) \subset \mathcal{H}_p(0) \cong \mathfrak{u}(n/2),$$ and so $$\mathcal{K}_p(0) = \mathcal{H}_p^{\perp}(0) \subset \operatorname{ker} {\operatorname{R}}(p, 0),$$ since ${\operatorname{R}}(p, 0)$ is self-adjoint.

A closed system of mixed differential inequalities
--------------------------------------------------

Now define the sections $${\operatorname{A}}= \nabla {\hat{{\operatorname{P}}}}\in T^*M\otimes{\operatorname{End}}({\wedge^2 T^*M}), \quad {\operatorname{B}}= \nabla\nabla {\hat{{\operatorname{P}}}}\in T^*M\otimes T^*M\otimes {\operatorname{End}}({\wedge^2 T^*M}).$$ It follows from the general computations in Section 4 of [@KotschwarRFHolonomy] that ${\hat{{\operatorname{R}}}}$ and ${\hat{{\operatorname{S}}}}$, together with ${\operatorname{A}}$ and ${\operatorname{B}}$, satisfy a closed system of differential inequalities.

\[prop:sysev\] The sections ${\operatorname{A}}$, ${\operatorname{B}}$, ${\hat{{\operatorname{R}}}}$, ${\hat{{\operatorname{S}}}}$ satisfy $$\begin{aligned}
\label{eq:aev}
      \left|D_{\tau} {\operatorname{A}}\right| &\leq C|{\operatorname{R}}||{\operatorname{A}}| + C|{\hat{{\operatorname{S}}}}|\\  
\label{eq:bev}
     \left|D_{\tau}{\operatorname{B}}\right| &\leq C|\nabla {\operatorname{R}}| |{\operatorname{A}}|+ C|{\operatorname{R}}|\left(|{\operatorname{B}}| + | \nabla {\hat{{\operatorname{S}}}}|\right) \\
 \label{eq:rhev}
 \left|\left(D_{\tau} + \Delta\right){\hat{{\operatorname{R}}}}\right| &\leq C|\nabla {\operatorname{R}}||{\operatorname{A}}| + C|{\operatorname{R}}|\left(|{\operatorname{B}}| + |{\hat{{\operatorname{R}}}}|\right)\\
 \label{eq:shev}
 \left|\left(D_{\tau} + \Delta\right){\hat{{\operatorname{S}}}}\right| &\leq C|\nabla\nabla{\operatorname{R}}| |{\operatorname{A}}| + C|\nabla{\operatorname{R}}||{\hat{{\operatorname{R}}}}| + C|{\operatorname{R}}|\left(|{\operatorname{B}}| + |{\hat{{\operatorname{R}}}}| + |{\hat{{\operatorname{S}}}}|\right)\end{aligned}$$ for some $C = C(n)$ on $M\times [0, T]$.

The only properties of the projections ${\tilde{{\operatorname{P}}}}$ and ${\hat{{\operatorname{P}}}}$ of which the argument in [@KotschwarRFHolonomy] makes use is that they remain complementary and orthogonal, evolve according to $D_{\tau} {\tilde{{\operatorname{P}}}}= D_{\tau}{\hat{{\operatorname{P}}}}= 0$ (which follows here from the fact that $D_{\tau} J = 0$), and that ${\mathcal{H}}= {\tilde{{\operatorname{P}}}}({\wedge^2 T^*M})$ remains closed under the Lie bracket. The computations actually hinge on the relations $$\label{eq:larelations}
    [{\mathcal{H}}, {\mathcal{H}}] \subset {\mathcal{H}}, \quad [{\mathcal{H}}, {\mathcal{K}}] \subset {\mathcal{K}},$$ implied by this latter condition. We will review here the derivation of , but refer the reader to [@KotschwarRFHolonomy] for the rest of the details.

Recall that, under , the curvature operator evolves according to the equation $$\label{eq:rmev}
  \left(D_{\tau} + \Delta\right){\operatorname{R}}= - {\operatorname{R}}^2 - {\operatorname{R}}^{\#},$$ where the second term denotes the Lie algebra square ${\operatorname{R}}^{\#} = {\operatorname{R}}\#{\operatorname{R}}$. Here, for $\mathrm{M}$, $\mathrm{N} \in {\operatorname{End}}({\wedge^2 T^*M})$, $\mathrm{M}\#\mathrm{N}\in {\operatorname{End}}({\wedge^2 T^*M})$ is the operator defined at $p\in M$ by $$\label{eq:sharpdef}
 (\mathrm{M}\# \mathrm{N})(\eta) = \frac{1}{2}\sum_{i, j} \left\langle [\mathrm{M}\varphi_i, \mathrm{N}\varphi_j], \eta\right\rangle [\varphi_i, \varphi_j],$$ where $\{\varphi_i\}_{i=1}^{n(n-1)/2}$ is any orthonormal basis for $\wedge^2T_p^*M$.

Now, we may compute directly from that $$\begin{aligned}
 \left(D_{\tau} + \Delta\right){\hat{{\operatorname{R}}}}&=  -({\operatorname{R}}^2 + {\operatorname{R}}^{\#})\circ {\hat{{\operatorname{P}}}}+ 2\nabla_i {\operatorname{R}}\circ \nabla_i {\hat{{\operatorname{P}}}}+ {\operatorname{R}}\circ \Delta {\hat{{\operatorname{P}}}},\end{aligned}$$ which immediately yields $$\begin{aligned}
 \left|\left(D_{\tau} + \Delta\right){\hat{{\operatorname{R}}}}\right|&\leq C|{\operatorname{R}}|(|{\hat{{\operatorname{R}}}}| + |{\operatorname{B}}|) + C|\nabla {\operatorname{R}}| |{\operatorname{A}}| + |{\operatorname{R}}^{\#}\circ {\hat{{\operatorname{P}}}}|.\end{aligned}$$ So, to obtain , it remains only to estimate ${\operatorname{R}}^{\#}\circ {\hat{{\operatorname{P}}}}$.

Using $*$ to denote the adjoint of an element in ${\operatorname{End}}({\wedge^2 T^*M})$, we may write $${\operatorname{R}}= ({\hat{{\operatorname{P}}}}+ {\tilde{{\operatorname{P}}}}) \circ {\operatorname{R}}=  {\hat{{\operatorname{P}}}}\circ {\operatorname{R}}+ {\tilde{{\operatorname{P}}}}\circ {\operatorname{R}}= {\hat{{\operatorname{R}}}}^* + {\tilde{{\operatorname{R}}}}^*.$$ By the symmetry and bilinearity of the $\#$ pairing we then see that $$\label{eq:sharpex}
 {\operatorname{R}}^{\#} \circ {\hat{{\operatorname{P}}}}= ({\operatorname{R}}\#{\operatorname{R}}) \circ {\hat{{\operatorname{P}}}}= ({\hat{{\operatorname{R}}}}^*\#{\hat{{\operatorname{R}}}}^* + 2{\tilde{{\operatorname{R}}}}^*\#{\hat{{\operatorname{R}}}}^*)\circ {\hat{{\operatorname{P}}}}+ ({\tilde{{\operatorname{R}}}}^* \#{\tilde{{\operatorname{R}}}}^*) \circ {\hat{{\operatorname{P}}}}.$$ But $({\tilde{{\operatorname{R}}}}^*\#{\tilde{{\operatorname{R}}}}^*)\circ {\hat{{\operatorname{P}}}}= 0$ since, by , $\left\langle [{\tilde{{\operatorname{P}}}}{\operatorname{R}}\varphi_i, {\tilde{{\operatorname{P}}}}{\operatorname{R}}\varphi_j], {\hat{{\operatorname{P}}}}\varphi_k\right\rangle = 0$ for all $i$, $j$, $k$. So $$|({\operatorname{R}}\#{\operatorname{R}}) \circ {\hat{{\operatorname{P}}}}| \leq C(|{\hat{{\operatorname{R}}}}^*| + |{\tilde{{\operatorname{R}}}}^*|)|{\hat{{\operatorname{R}}}}^*| \leq C|{\operatorname{R}}||{\hat{{\operatorname{R}}}}|$$ by , and follows.

Preservation of Kählerity from the vanishing of ${\operatorname{A}}$ and ${\hat{{\operatorname{R}}}}$
-----------------------------------------------------------------------------------------------------

We have seen that if the initial time-slice $(M, g(0))$ is Kähler, then ${\operatorname{A}}$, ${\operatorname{B}}$, ${\hat{{\operatorname{R}}}}$, and ${\hat{{\operatorname{S}}}}$ vanish on this slice. In the next section, we will show that the backward uniqueness theorem proven in [@KotschwarWangConical] implies that ${\operatorname{A}}$, ${\operatorname{B}}$, ${\hat{{\operatorname{R}}}}$, and ${\hat{{\operatorname{S}}}}$ must vanish identically on $M\times[0, T]$ for the specific class of solutions $(M, g(\tau))$ we will encounter in the proof of Theorem \[thm:kaehlerity\]. For now we observe that the vanishing of these sections indeed imply that $(M, g(\tau))$ will remain Kähler relative to the fixed complex structure $J(0) = J_0$.

\[lem:jext\] Let $g$, $J$, ${\hat{{\operatorname{R}}}}$, and ${\hat{{\operatorname{P}}}}$ be as above. If ${\hat{{\operatorname{R}}}}= 0$ and $\nabla {\hat{{\operatorname{P}}}}= 0$ on $M\times [0, T]$, and $\nabla J = 0$ on $M\times\{0\}$, then $\nabla J = 0$ and ${{\frac{\partial }{\partial\tau}}}J = 0$ on $M\times[0, T]$.

First observe that our assumptions imply that ${\operatorname{S}}\circ {\operatorname{F}}= 0$. Indeed, $${\operatorname{S}}\circ {\operatorname{F}}= {\operatorname{S}}\circ ({\hat{{\operatorname{P}}}}\circ {\operatorname{F}}) = {\hat{{\operatorname{S}}}}\circ {\operatorname{F}}= (\nabla {\operatorname{R}}\circ {\hat{{\operatorname{P}}}}) \circ {\operatorname{F}}= \nabla {\hat{{\operatorname{R}}}}\circ {\operatorname{F}}= 0,$$ using Lemma \[lem:projprop\]. The observation that $J$ remains parallel then follows from a direct pointwise calculation. Fix $p\in M$ and let $W_{ib}^a = \nabla_iJ^b_a$. Since $D_{\tau} J = 0$, we have $$\begin{aligned}
  {{\frac{\partial }{\partial\tau}}}W_{ib}^a & = \nabla_i\left(R^a_cJ^c_b - R^c_bJ^a_c\right) - {{\frac{\partial }{\partial\tau}}}\Gamma_{ib}^cJ^a_c + {{\frac{\partial }{\partial\tau}}}\Gamma_{ic}^aJ^c_b\\
  &= J^a_cg^{cd}\left(\nabla_dR_{bi} - \nabla_bR_{di}\right)
     + J^c_bg^{ad}\left(\nabla_c R_{di} - \nabla_dR_{ci}\right)
     - R^a_cW_{ib}^c + R_b^cW_{ic}^a\\
  &= -g^{ac}g^{lm}\nabla_lR_{mibd}J^d_c + g^{ad}g^{lm}\nabla_lR_{midc}J^c_b
    - R^a_cW_{ib}^c + R_b^cW_{ic}^a\\
  &= g^{ad}g^{lm}\left(\nabla_lR_{micb}J^c_d + \nabla_lR_{midc}J^c_b\right)
  - R^a_cW_{ib}^c + R_b^cW_{ic}^a\\
  &= \frac{1}{2}g^{ad}g^{lm}({\operatorname{S}}\circ {\operatorname{F}})_{lmibd}- R^a_cW_{ib}^c + R_b^cW_{ic}^a\\
  &= - R^a_cW_{ib}^c + R_b^cW_{ic}^a
 \end{aligned}$$ so that the components of $W$ in the fiber at $p$ satisfy a linear system of ordinary differential equations. Since $W(p, 0) = 0$, it follows that $(\nabla J)(p, \tau) = W(p, \tau) = 0$ for all $\tau$.

But, if $J$ is parallel and $g$ is Hermitian relative to $J$, we then have ${\operatorname{Rc}}\circ J = J\circ {\operatorname{Rc}}$ as endomorphisms of $TM$. So $${{\frac{\partial }{\partial\tau}}}{\operatorname{Rc}}= J\circ {\operatorname{Rc}}- {\operatorname{Rc}}\circ J = 0,$$ and $J(\cdot, \tau) = J(\cdot, 0)$ on $M\times [0, T]$.

More generally, if $g(\tau)$ is a solution to the backward Ricci flow for which the reduced holonomy remains fixed (e.g., if $(M, g(\tau))$ is complete and of bounded curvature) then any tensor $V_0$ which is parallel on $M$ with respect to $g(0)$ can be extended to a smooth family $V(\tau)$ of $g(\tau)$-parallel tensors on $M\times[0, T]$ via $D_{\tau} V = 0$ and $V(0) = V_0$.

Kählerity near spatial infinity
===============================

Now we are ready to prove the first assertion in Theorem \[thm:kaehlerity\]. Our strategy is fundamentally the same as in [@KotschwarWangConical]: from the asymptotically conical soliton, we construct a self-similar solution to the backward Ricci flow defined for $\tau\in (0, 1]$ on a sufficiently distant end, which (after adjustment by a suitable diffeomorphism) converges smoothly as $\tau\searrow 0$ to the conical (Kähler) metric on some neighborhood of infinity. This transforms the essentially elliptic problem of unique continuation at infinity we are initially given into a parabolic problem of backward uniqueness on a finite time interval.

As in the introduction, let $(\Sigma, g_{\Sigma})$ denote a compact Riemannian manifold of dimension $n-1$, and let $g_c = dr^2 + r^2g_{\Sigma}$. Denote by $r_c: E_0 \to{\mathbb{R}}$ the radial distance $r_c(r, \sigma) = r$ relative to $g_c$.

\[prop:brf\] Suppose $(M, \bar{g}, \bar{f})$ is a shrinking Ricci soliton asymptotic to the regular cone $(E_0, g_c)$ along the end $V\subset M$. Then there exist $K_0$, $N_0$, and ${R}_0> 0$, and a smooth family of maps $\Psi_\tau: E_{{R}_0}\to V$ defined for $\tau\in (0,1]$ satisfying:

1.  For each $\tau\in (0, 1]$, $\Psi_{\tau}$ is a diffeomorphism onto its image and $\Psi_{\tau}(E_{{R}_0})$ is an end of $V$.

2.  The family of metrics $g(x, \tau) {\doteqdot}\tau\Psi_\tau^*\bar{g}(x)$ is a solution to the backwards Ricci flow for $\tau \in (0, 1]$, and converges smoothly as $\tau\searrow 0$ to $g(x, 0) \equiv g_c(x)$ on $E_{{R}_0}$.

3.  For all $m = 0, 1, 2, \ldots $, $$\begin{aligned}
    \label{eq:curvdecay}
    \sup_{E_{{R}_0}\times [0,1]} \left(r_c^{m+2}+1\right){\left\vert\nabla^{(m)}R\right\vert} & \le K_0.\end{aligned}$$ Here $|\cdot| = |\cdot|_{g(\tau)}$ and $\nabla = \nabla_{g(\tau)}$ denote the norm and the Levi-Civita connection associated to the metric $g = g(\tau)$.

4.  If $f$ is the function on $E_{{R}_0}\times (0,1]$ defined by $f(\tau)=\Psi_\tau^\ast \bar{f}$, then $\tau f$ extends to a smooth function on all of ${E}_{{R}_0}^1$ and there $g$ and $\tau f$ together satisfy $$\begin{aligned}
    \label{eq:fid0}
    &  \lim_{\tau\searrow 0} 4\tau f(x, \tau) =r_c^2(x),\quad r_c^2-\frac{N_0}{r_c^{2}} \le 4 \tau f \le r_c^2 + \frac{N_0}{r_c^{2}}, \end{aligned}$$ and $$\begin{aligned}
    \label{eq:fid1}
    & {{\frac{\partial }{\partial\tau}}}(\tau f) =\tau S,  \  \tau^2|\nabla f|^2 - \tau f = -\tau^2 S, \ \tau {\operatorname{Rc}}(g) + \tau \nabla\nabla f= \frac{g}{2}.\end{aligned}$$

Here $S$ denotes the scalar curvature of $g$.

We apply the above proposition to a shrinker $(M, \bar{g}, \bar{f})$ asymptotic to a Kähler cone $(E_0, g_c)$ along the end $V\subset M$ as in Theorem \[thm:kaehlerity\], and assume for the rest of the section that $g = g(\tau)$ is the smooth family of metrics on $E_{R_0}\times [0, 1]$ it provides. Let $J_c$ denote the complex structure associated to $(E_0, g_c)$, and let $J= J(\tau)$ denote the family of almost-complex structures obtained as solutions to the fiberwise-ODE . Then define ${\hat{{\operatorname{P}}}}$, ${\operatorname{A}}$, ${\operatorname{B}}$, ${\hat{{\operatorname{R}}}}$, and ${\hat{{\operatorname{S}}}}$ as above, in terms of the solution $g(\tau)$ and let $$\begin{aligned}
 {\mathbf{X}}(\tau) &= {\hat{{\operatorname{R}}}}(\tau)\oplus {\hat{{\operatorname{S}}}}(\tau) \in V \oplus (T^*M\otimes V),\\
 {\mathbf{Y}}(\tau) &= {\operatorname{A}}(\tau) \oplus {\operatorname{B}}(\tau) \in   (T^*M\otimes V)\oplus (T^2(T^*M)\otimes V)\end{aligned}$$ where $V = {\operatorname{End}}({\wedge^2 T^*M})$. The families ${\mathbf{X}}$ and ${\mathbf{Y}}$ of sections are smoothly defined on all of $E_{R_0}\times[0, 1]$ and vanish identically on $E_{R_0}\times \{0\}$.

Combining with Proposition \[prop:sysev\], we see that $$\begin{aligned}
\label{eq:xysys}
\begin{split}
    \left|{\frac{\partial {\mathbf{X}}}{\partial\tau}} + \Delta{\mathbf{X}}\right| &\leq \frac{C}{r^2_c}\left(|{\mathbf{X}}| + |{\mathbf{Y}}|\right)\\
    \left|{\frac{\partial {\mathbf{Y}}}{\partial\tau}}\right| &\leq C\left(|{\mathbf{X}}| + |\nabla {\mathbf{X}}|\right) + \frac{C}{r_c^2} |{\mathbf{Y}}|
\end{split}\end{aligned}$$ for some $C = C(n, K_0)$ on $E_{R_0}\times [0, 1]$. Here $|\cdot| = |\cdot|_{g(\tau)}$, $\nabla = \nabla_{g(\tau)}$, and $\Delta =\Delta_{g(\tau)}$. Moreover, we also have $$\sup_{E_{R_0}\times[0, 1]}\{|{\mathbf{X}}| + |\nabla {\mathbf{X}}| + |{\mathbf{Y}}|\} \leq C(n, K_0).$$ The boundedness of the components of ${\mathbf{X}}$ follows directly from . For the remaining components, note first that we can bound ${{\frac{\partial }{\partial\tau}}}\nabla {\hat{{\operatorname{P}}}}$ via , and hence also ${\operatorname{A}}= \nabla {\hat{{\operatorname{P}}}}$. With , we can then bound the components of $\nabla{\mathbf{X}}$. Similarly, one can estimate ${\operatorname{B}}= \nabla\nabla {\hat{{\operatorname{P}}}}$ via the equation for ${{\frac{\partial }{\partial\tau}}}\nabla\nabla {\hat{{\operatorname{P}}}}$ and the bound on $\nabla{\hat{{\operatorname{P}}}}$.

The vanishing of ${\mathbf{X}}$ and ${\mathbf{Y}}$ near infinity is now a consequence of the Carleman estimates established in Propositions 4.7, 5.7, and 5.9 of [@KotschwarWangConical].

\[thm:bu\] Suppose $(M, g(\tau))$ is a self-similar solution to on $E_{R_0}\times (0, 1]$ with potential $f$ which satisfies the conclusions of Proposition \[prop:brf\] relative to the conical metric $g_c$ and the parameters $K_0$ and $N_0$. Let ${\mathbf{X}}$, ${\mathbf{Y}}$ be smooth, uniformly bounded families of sections of tensor bundles over $E_{R_0}\times [0, 1]$ with the property that, for any $\epsilon > 0$, there is an $R_1 = R_1(\epsilon) \geq R_0$ such that $$\begin{aligned}
\label{eq:xysys2}
\begin{split}
    \left|{\frac{\partial {\mathbf{X}}}{\partial\tau}} + \Delta{\mathbf{X}}\right| &\leq \epsilon\left(|{\mathbf{X}}| + |{\mathbf{Y}}|\right)\\
    \left|{\frac{\partial {\mathbf{Y}}}{\partial\tau}}\right| &\leq C_0\left(|{\mathbf{X}}| + |\nabla {\mathbf{X}}|\right) + \epsilon|{\mathbf{Y}}|
\end{split}\end{aligned}$$ for some constant $C_0 > 0$ on $E_{R_1}\times [0, 1]$. Then, if ${\mathbf{X}}$ and ${\mathbf{Y}}$ vanish identically on $E_{R_0}\times\{0\}$, they vanish identically on $E_{R_2}\times [0, \tau_0]$ for some $R_2 \geq R_1$ and $\tau_0 \in (0, 1)$.

The two sets of Carleman estimates given in Proposition 4.9 and Propositions 5.7 and 5.9 in [@KotschwarWangConical] are valid on any asymptotically conical shrinking self-similar family of background solutions $g(\tau)$, and the argument in Section 6 of that reference can be applied directly to our setting to combine them to prove the vanishing of ${\mathbf{X}}$ and ${\mathbf{Y}}$. Although the particular components of the system $({\mathbf{X}}, {\mathbf{Y}})$ in [@KotschwarWangConical] – the same as that in [@KotschwarRFBU; @KotschwarFrequency] – differ from those of the system considered here (and in fact are sections of different bundles), the structural assumptions in Theorem \[thm:bu\] are the only properties of the system used in the application of the Carleman inequalities. But for the labeling of some constants, the argument which follows equations (6.1) and (6.2) in [@KotschwarWangConical] can be used here without change.

Once we know that ${\hat{{\operatorname{R}}}}$ and $\nabla {\hat{{\operatorname{P}}}}$ vanish on $E_{R_2}\times[0, \tau_0]$ for some $R_2$ and $\tau_0 > 0$, we can apply Lemma \[lem:jext\] to conclude that $g(\tau)$ is Kähler with respect to $J_c$ on the same set. Fix $s\in (0, \tau_0]$ and let $W = \Psi_s(E_{R_2})$, and $\Phi = \Psi^{-1}_s: W\to E_{R_2}$, where $\Psi_s: E_{R_2}\to V$ is the map from Proposition \[prop:brf\]. Then $\bar{g}|_W = s^{-1}\Phi^*(g(s))$ is Kähler relative to $J = \Phi^*J_c$, and $\Phi$ is the desired biholomorphism.

Global Kählerity in the complete case.
======================================

To finish the proof of Theorem \[thm:kaehlerity\], we now argue that the Kähler structure defined on the end $W\subset M$ must extend to all of $M$ when $(M, g)$ is complete. The real-analyticity of Ricci solitons provides almost all that we need.

\[lem:genext\] Suppose $(M, g)$ is a complete connected real-analytic manifold, $E\subset M$ is open and connected, and $p\in E$. If $\pi_1(E, p) \hookrightarrow \pi_1(M, p)$ is surjective, then any parallel complex structure $J_E$ on $E$ may be extended uniquely to a parallel complex structure $J$ on $M$.

Let $\hat{J} = J_E(p)$. The uniqueness of any extension $J$ of $J_{E}$ to $M$ is clear, since, given $q\in M$ we must have $$\label{eq:jext}
J(q) = P_{\gamma}\hat{J}P_{\gamma}^{-1}$$ where $P_\gamma:T_pM \to T_qM$ is parallel translation along any piecewise smooth path $\gamma$ from $p$ to $q$. On the other hand, we can also use to define $J(q):T_qM\to T_qM$. This will yield a smooth parallel complex structure on all of $M$ provided the extension can be shown to be independent of the path $\gamma$.

Suppose $\sigma$ is any other path from $p$ to $q$. Under our assumption on $\pi_1(E)$, the loop $\gamma \cdot \bar{\sigma}$, where $\bar{\sigma}$ denotes the reverse parametrization of $\sigma$ from $q$ to $p$ along $\sigma$, is homotopic to some loop $\alpha$ contained entirely in $E$. Then $$P_{\gamma} = P_{\sigma} P_{\bar{\sigma}} P_{\gamma} P_{\bar{\alpha}} P_{\alpha} 
 = P_{\sigma} P_{\beta}P_{\alpha}$$ where $\beta = \bar{\alpha}\cdot \gamma\cdot \bar{\sigma}$ is a null-homotopic loop based at $p$.

Since $(M, g)$ is real-analytic, the local holonomy of $g$ at $p$ coincides with the reduced holonomy (see, e.g., [@Nomizu]), so both $\operatorname{Hol}^0_p(M, g)$ and $\operatorname{Hol}_p(E, g)$ leave $\hat{J}$ invariant. Therefore $P_{\beta} \hat{J} P_{\beta}^{-1} = P_{\alpha} \hat{J} P_{\alpha}^{-1}= \hat{J}$, and so $P_{\gamma}\hat{J}P_{\gamma}^{-1} = P_{\sigma}\hat{J}P_{\sigma}^{-1}$ as desired. Of course, the restriction of $J_E$ to any path contained in $E$ must coincide with the parallel translation of $\hat{J}$ along that path, so the connectedness of $E$ implies that $J|_E = J_E$.

We now give an ad hoc argument to show that the Kähler structure extends to the entire manifold. The key ingredient is the result of Munteanu-Wang [@MunteanuWangKaehler] which guarantees that any complete Kähler shrinking gradient Ricci soliton is connected at infinity. We apply this to the universal cover of $M$ to determine that the preimage of any end in $M$ is connected in the universal cover.

\[lem:globallyk\] Suppose $(M, g, f)$ is a complete noncompact gradient Ricci soliton and $g|_E$ is Kähler on some end $E\subset M$ with complex structure $J_E$. Then $J_E$ extends uniquely to a complex structure $J$ on $M$ relative to which $g$ is Kähler.

The soliton structure $(M, g, f)$ lifts to a complete soliton structure $(\tilde{M}, \tilde{g}, \tilde{f})$ on the universal cover $\pi:\tilde{M}\to M$. Fix $p\in E$ and a local section $\sigma: U\to \tilde{M}$ of $\pi$ over some connected evenly covered neighborhood $U$ of $p$ contained in $E$. Then $J_{\tilde{U}} = (\sigma^{-1})^*J_E$ is a parallel complex structure on $\tilde{U} = \sigma(U)$ relative to which $\tilde{g}|_{\tilde{U}}$ is Hermitian. As Ricci solitons, both $(M, g)$ and $(\tilde{M}, \tilde{g})$ are real-analytic manifolds [@IveySolitons]. The simple-connectivity of $\tilde{M}$ then implies (as above) that $J_{\tilde{U}}$ extends to a parallel complex structure $\tilde{J}$ on $\tilde{M}$ relative to which $\tilde{g}$ is Hermitian [@Nomizu]. So $(\tilde{M}, \tilde{g}, \tilde{f})$ is a complete Kähler gradient Ricci soliton and $\tilde{M}$ must therefore be connected at infinity [@MunteanuWangKaehler]. But the fundamental group of a complete shrinking soliton is finite [@Wylie], so $\pi:\tilde{M}\to M$ is proper, and $M$ must also be connected at infinity. So we may assume that $E = M\setminus D$ for some compact $D\subset M$.

Now we claim that $\tilde{E} = \pi^{-1}(E)$ is connected in $\tilde{M}$. Since $\pi$ is proper, $\tilde{D} = \pi^{-1}(D)$ is compact. The set $\tilde{E} = \tilde{M}\setminus \tilde{D}$ therefore must have a unique unbounded connected component $\tilde{C}$. However, any two of these connected components must be isometric, so every component of $\tilde{E}$ would have to be unbounded as well. So $\tilde{E} =\tilde{C}$ is connected. This implies that $\pi_1(E, p)\hookrightarrow \pi_1(M, p)$ is surjective, and the existence of a unique global extension $J$ of $J_E$ follows from Lemma \[lem:genext\] above. Since $g$ and $J$ are both parallel, and $g$ is Hermitian relative to $J$ on $E$, it follows that $g$ is Hermitian relative to $J$ everywhere on $M$.

The reasoning in Lemmas \[lem:genext\] and \[lem:globallyk\] can be applied to other geometric structures which possess similar continuation properties in the real-analytic setting. For example, together with the continuation argument from Theorem 6.3, Chapter VI of [@KobayashiNomizu], it can be applied to promote any isometry between the ends of two asymptotically conical Kähler shrinkers into a global isometry between the shrinkers. With the uniqueness theorem in [@KotschwarWangConical], it follows then, for example, that any two complete noncompact Kähler shrinkers $(M, g, f)$ and $(\hat{M}, \hat{g}, \hat{f})$ which are asymptotic to the same cone (along their unique ends) must be *globally* isometric.

The author would like to thank Ben Chow and Will Wylie for useful discussions, and to acknowledge the substantial contribution of Lu Wang to this work through her joint project [@KotschwarWangConical] with the author.

[99]{}

Huai-Dong Cao, Bing-Long Chen, and Xi-Ping Zhu, [*Recent developments on Hamilton’s Ricci flow* ]{}, Surveys in differential geometry, Vol. XII, 47–112, Surv. Differ. Geom., XII, Int. Press, Somerville, MA, 2008.

Bennett Chow, Sun-Chin Chu, David Glickenstein, Christine Guenther, James Isenberg, Tom Ivey, Dan Knopf, Peng Lu, Feng Luo, and Lei Ni, *The Ricci flow: techniques and applications. Part II. Analytic aspects*, Mathematical Surveys and Monographs [**144**]{}, American Mathematical Society, Providence, RI, 2008, xxvi+458 pp.

Bennett Chow and Peng Lu, *Uniqueness of asymptotic cones of complete noncompact shrinking gradient Ricci solitons with Ricci curvature decay*, C. R. Math. Acad. Sci. Paris [**353**]{} (2015), no. 11, 1007–1009.

Andrew Dancer and Mackenzie Wang, [*On Ricci solitons of cohomogeneity one*]{}, Ann. Global Anal. Geom. [**39**]{} (2011), no. 3, 259–292.

Mikhail Feldman, Tom Ilmanen, and Dan Knopf, [*Rotationally symmetric shrinking and expanding gradient Kähler-Ricci solitons*]{}, J. Diff. Geom. [**65**]{} (2003), no. 2, 169–209.

Richard Hamilton, *The Harnack estimate for the Ricci flow*, *J. Diff. Geom.* [**37**]{} (1993), no. 1, 225–243.

Richard Hamilton, [*The formation of singularities in Ricci flow*]{}, Surveys in differential geometry, Vol. II (Cambridge, MA, 1993), 7–136, Int. Press, Cambridge, MA, 1995.

Thomas Ivey, [*Ricci solitons on compact three-manifolds*]{}, Diff. Geom. Appl. [**3**]{} (1993), no. 4, 301–307.

Thomas Ivey, [*Local existence of Ricci solitons*]{}, Manuscripta Math. [**91**]{} (1996), no. 2, 151–162.

Shoshichi Kobayashi and Katsumi Nomizu, *Foundations of differential geometry. Vol. I.* Interscience Publishers, New York-London, 1963 xi+329 pp.

Brett Kotschwar, *Backwards uniqueness of the Ricci flow*, Int. Math. Res. Not. (2010), no. 21. 4064–4097.

Brett Kotschwar, *Ricci flow and the holonomy group*, J. Reine Angew. Math. **690** (2014), 131–161.

Brett Kotschwar, *A short proof of backward uniqueness for some geometric evolution equations*, Int. J. Math. [**27**]{} (2016), no. 12, 1650102, 17 pp.

Brett Kotschwar and Lu Wang, *Rigidity of asymptotically conical shrinking gradient Ricci solitons*, J. Diff. Geom. **100** (2015), no. 1, 55–108.

Ovidiu Munteanu and Jiaping Wang, *Topology of Kähler Ricci solitons*, J. Diff. Geom. [**100**]{} (2015), no. 1, 109–128.

Ovidiu Munteanu and Jiaping Wang, *Geometry of shrinking Ricci solitons*, Compos. Math. [**151**]{} (2015), 2273–2300.

Ovidiu Munteanu and Jiaping Wang, *Conical structure for shrinking Ricci solitons*, [arXiv:1412.4414 \[math.DG\]]{}.

Ovidiu Munteanu and Jiaping Wang, *Structure at infinity for shrinking Ricci solitons*, [arXiv:1606.01861 \[math.DG\]]{}.

Aaron Naber, [*Noncompact shrinking four solitons with nonnegative curvature*]{}, J. Reine Angew. Math. [**645**]{} (2010), 125–153.

Lei Ni and Nolan Wallach, [*On a classification of gradient shrinking solitons*]{}, Math. Res. Lett. [**15**]{} (2010) no. 5, 941–955.

Katsumi Nomizu, *Recent development in the theory of connections and holonomy groups*, Advances in Math. [**1**]{} 1961 fasc. 1, 1–49.

Grisha Perelman, [*Ricci flow with surgery on three-manifolds*]{}, [arXiv:math/0303109 \[math.DG\]]{}.

Peter Petersen and William Wylie, [*On the classification of gradient Ricci solitons*]{}, Geom. Topol. [**14**]{} (2010), no. 4, 2277–2300.

William Wylie, *Complete shrinking Ricci solitons have finite fundamental group*, Proc. Amer. Math. Soc. [**136**]{} (2008), 1803–1806.

Bo Yang, [*A characterization of noncompact Koiso-type solitons*]{}, Internat. J. Math. [**23**]{} (2012), no. 5, 1250054, 13 pp.
