%~Mouliné par MaN_auto v.0.32.0 2024-03-22 18:13:31
\documentclass[CRMATH, Unicode, XML,
biblatex,
Thematic]{cedram}

\TopicFR{Géométrie algébrique}
\TopicEN{Algebraic geometry}

\addbibresource{CRMATH_Tosatti_20240159.bib}
\def\multiciterangedelim{--}

%\usepackage{ulem}

%\usepackage{amscd}
%\usepackage{verbatim}
%\usepackage{amsmath}
\usepackage{amssymb}
%\usepackage{graphicx}
%\usepackage{color}
%\usepackage{hyperref}
%\usepackage{amsfonts}

\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Imop}{Im}
\DeclareMathOperator{\Rm}{Rm}
\DeclareMathOperator{\Reop}{Re}
\DeclareMathOperator{\Ric}{Ric}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\HSC}{HSC}

\newcommand*{\SK}{\mathrm{SK}}
\newcommand*{\WP}{\mathrm{WP}}
\newcommand*{\orb}{\mathrm{orb}}
%\newcommand{\Ric}{\mathrm{Ric}}

\newcommand*{\dd}{\mathrm{d}}
\newcommand*{\dt}{\dd t}
\newcommand*{\ds}{\dd s}
\newcommand*{\dw}{\dd w}
\newcommand*{\dV}{\dd V}
\newcommand*{\dz}{\dd z}
\newcommand*{\dbz}{\dd \ov{z}}

\makeatletter
\let\save@mathaccent\mathaccent
\newcommand*\if@single[3]{%
 \setbox0\hbox{${\mathaccent"0362{#1}}^H$}%
 \setbox2\hbox{${\mathaccent"0362{\kern0pt#1}}^H$}%
 \ifdim\ht0=\ht2 #3\else #2\fi
 }
%The bar will be moved to the right by a half of \macc@kerna, which is computed by amsmath:
\newcommand*\rel@kern[1]{\kern#1\dimexpr\macc@kerna}
%If there's a superscript following the bar, then no negative kern may follow the bar;
%an additional {} makes sure that the superscript is high enough in this case:
\newcommand*\widebar[1]{\@ifnextchar^{{\wide@bar{#1}{0}}}{\wide@bar{#1}{1}}}
%Use a separate algorithm for single symbols:
\newcommand*\wide@bar[2]{\if@single{#1}{\wide@bar@{#1}{#2}{1}}{\wide@bar@{#1}{#2}{2}}}
\newcommand*\wide@bar@[3]{%
 \begingroup
 \def\mathaccent##1##2{%
%Enable nesting of accents:
 \let\mathaccent\save@mathaccent
%If there's more than a single symbol, use the first character instead (see below):
 \if#32 \let\macc@nucleus\first@char \fi
%Determine the italic correction:
 \setbox\z@\hbox{$\macc@style{\macc@nucleus}_{}$}%
 \setbox\tw@\hbox{$\macc@style{\macc@nucleus}{}_{}$}%
 \dimen@\wd\tw@
 \advance\dimen@-\wd\z@
%Now \dimen@ is the italic correction of the symbol.
 \divide\dimen@ 3
 \@tempdima\wd\tw@
 \advance\@tempdima-\scriptspace
%Now \@tempdima is the width of the symbol.
 \divide\@tempdima 10
 \advance\dimen@-\@tempdima
%Now \dimen@ = (italic correction / 3) - (Breite / 10)
 \ifdim\dimen@>\z@ \dimen@0pt\fi
%The bar will be shortened in the case \dimen@<0 !
 \rel@kern{0.6}\kern-\dimen@
 \if#31
 \overline{\rel@kern{-0.6}\kern\dimen@\macc@nucleus\rel@kern{0.4}\kern\dimen@}%
 \advance\dimen@0.4\dimexpr\macc@kerna
%Place the combined final kern (-\dimen@) if it is >0 or if a superscript follows:
 \let\final@kern#2%
 \ifdim\dimen@<\z@ \let\final@kern1\fi
 \if\final@kern1 \kern-\dimen@\fi
 \else
 \overline{\rel@kern{-0.6}\kern\dimen@#1}%
 \fi
 }%
 \macc@depth\@ne
 \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar
 \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}%
 \macc@set@skewchar\relax
 \let\mathaccentV\macc@nested@a
%The following initialises \macc@kerna and calls \mathaccent:
 \if#31
 \macc@nested@a\relax111{#1}%
 \else
%If the argument consists of more than one symbol, and if the first token is
%a letter, use that letter for the computations:
 \def\gobble@till@marker##1\endmarker{}%
 \futurelet\first@char\gobble@till@marker#1\endmarker
 \ifcat\noexpand\first@char A\else
 \def\first@char{}%
 \fi
 \macc@nested@a\relax111{\first@char}%
 \fi
 \endgroup
}
\makeatother

\let\oldbar\bar
\renewcommand*{\bar}[1]{{\mathchoice{\widebar{#1}}{\widebar{#1}}{\widebar{#1}}{\oldbar{#1}}}}

\makeatletter
\def\@setafterauthor{%
 \vglue3mm%
% \hspace*{0pt}%
\begingroup\hsize=12.5cm\advance\hsize\abstractmarginL\raggedright
\noindent
%\hspace*{\abstractmarginL}\begin{minipage}[t]{10cm}
 \leftskip\abstractmarginL
 \normalfont\Small
 \@afterauthor\par
\endgroup
\vskip2pt plus 3pt minus 1pt
}
\makeatother

\newcommand{\de}{\partial}
\newcommand{\ddbar}{i \partial \overline{\partial}}
\newcommand{\ov}[1]{\bar{#1}}
\newcommand{\ti}[1]{\tilde{#1}}
\newcommand{\vp}{\varphi}
\newcommand{\ve}{\varepsilon}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}

\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\let\oldtilde\tilde
\renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}

%\makeatletter
%\def\TITREspecial{\relax}
%\def\cdr@specialtitle@english{Complex algebraic geometry, in memory of Jean-Pierre Demailly}
%\def\cdr@specialtitle@french{\hbox{Géométrie\,algébrique\,complexe,\,en\,mémoire\,de\,Jean-Pierre\,Demailly}}
%\makeatother

\title[Special Kähler geometry and Lagrangian fibrations]{Special Kähler geometry and holomorphic Lagrangian fibrations}

\alttitle{Géométrie kählérienne spéciale et fibrations lagrangiennes holomorphes}

\author{\firstname{Yang} \lastname{Li}}
\address{Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, MA 02139, USA}
\email{yangmit@mit.edu}

\author{\firstname{Valentino} \lastname{Tosatti}\IsCorresp}
\address{Courant Institute of Mathematical Sciences, New York University, 251 Mercer St, New York, NY 10012, USA}
\email{tosatti@cims.nyu.edu}

\dedicatory{Dedicated to the memory of Jean-Pierre Demailly}

\thanks{This research was conducted during the period when the first-named author served as a Clay Research Fellow. The second-named author was partially supported by NSF grant DMS-2231783, and part of this work was carried out during his visit to the Center for Mathematical Sciences and Applications at Harvard University, which he would like to thank for the hospitality.}
\CDRGrant[NSF]{DMS-2231783}

\begin{abstract}
Given a holomorphic Lagrangian fibration of a compact hyperkähler manifold, we use the differential geometry of the special Kähler metric that exists on the base away from the discriminant locus, and show that the pullback of the tangent bundle of the base to the total space of a family of minimal rational curves admits a parallel splitting. The splitting is nontrivial when the base is not half-dimensional projective space. Combining this with results of Voisin, Hwang and Bakker--Schnell, we deduce that the base must be projective space, a result first proved by Hwang.
\end{abstract}

\begin{altabstract}
Étant donné une fibration lagrangienne holomorphe d'une variété hyperkählérienne compacte, nous utilisons la géométrie différentielle de la métrique kählérienne spéciale qui existe sur la base au dehors du lieu discriminant, et montrons que l'image réciproque du fibré tangent de la base par le morphisme d'évaluation d'une famille de courbes rationnelles minimales admet une décomposition parallèle. La décomposition n’est pas triviale lorsque la base n’est pas un espace projectif demi-dimensionnel. En combinant cela avec des résultats de Voisin, Hwang et Bakker--Schnell, nous en déduisons que la base doit être un espace projectif, résultat prouvé pour la première fois par Hwang.
\end{altabstract}

\begin{document}
\maketitle

\section{Introduction}

Let $X^{2n}$ be a hyperkähler manifold, so $X$ is a simply connected compact Kähler manifold with a holomorphic symplectic $2$-form $\Omega$ such that $H^{2,0}(X)=\mathbb{C}\Omega$. By Yau's Theorem every Kähler class on $X$ contains a unique Ricci-flat Kähler metric. It was later realized by Beauville~\cite{Be} that these metrics are hyperkähler, which means that they have holonomy equal to $Sp(n)$.

Suppose that $B$ is an irreducible normal complex analytic space with $0<\dim B<2n$, and $f:X\to B$ is a holomorphic surjective map with connected fibers. Then work of Matsushita~\cite{Ma} shows that necessarily $\dim B=n$, that all irreducible components of the fibers of $f$ are Lagrangian with respect to $\Omega$, and the smooth fibers are tori. We call such $f$ a holomorphic Lagrangian fibration. The following basic conjecture is widely expected to hold:

\begin{conj}\label{co}
If $X$ is a hyperkähler manifold and $f:X\to B$ is a holomorphic Lagrangian fibration, then $B\cong\mathbb{P}^n$.
\end{conj}

This conjecture is clearly true when $n=1$. The most striking result about this Conjecture is due to Hwang~\cite{Hw}:

\begin{theo}[Hwang~\cite{Hw}]\label{main}
Conjecture~\ref{co} holds if $X$ is projective and $B$ is smooth.
\end{theo}

Theorem~\ref{main} was later extended to $X$ Kähler and $B$ smooth by Greb--Lehn~\cite{GL}. Assuming $X$ projective and $n=2$, it was proved by Ou~\cite{Ou} that either $B$ is smooth (hence $\mathbb{P}^2$) or else it has just one very specific singular point. This case was later ruled out independently by Bogomolov--Kurnosov~\cite{BK} and Huybrechts--Xu~\cite{HX}, so the conjecture is known in this case. It is also known for some families of hyperkähler manifolds~\cite{BM,CMSB,Mar,Ma4,Yos}, but it remains open in general.

There are also a number of partial results towards Conjecture~\ref{co} in general, see~\cite{HM} for an excellent recent overview. It is known that $B$ must be a Kähler space (see e.g.~\cite[Proposition~2.2]{GL}) and Moishezon~\cite[Section~2.3]{Ma3}, and that $B$ is $\mathbb{Q}$-factorial and has at worst klt singularities (by~\cite[Theorem~2.1]{Ma3}). It follows that $B$ has at worst rational singularities, and hence it is projective by~\cite[Corollary~1.7]{Nam}. Again thanks to~\cite[Theorem~2.1]{Ma3} we see that $B$ is a Fano variety with Picard number one, and in particular it is uniruled~\cite{MM} and simply connected~\cite{Taka}. The rational cohomology of $B$ is isomorphic to the one of $\mathbb{P}^n$~\cite{SY}. It is also known that the map $f$ is locally projective~\cite{Cam}, so the smooth fibers are abelian varieties, and if $B$ is smooth then the discriminant locus $D\subset B$ of $f$ has pure codimension~$1$ by~\cite[Proposition~3.1]{HO}.

Our main result forms part of a new proof of Hwang's theorem, as well as Greb--Lehn's extension. In order to describe this, suppose $B$ is not $\mathbb{P}^n$. Then from a result of Cho--Miyaoka--Shepherd--Barron~\cite{CMSB}, which uses Mori theory, it follows that there is a rational curve in $B$ (not contained in $D$) with anticanonical degree at most $n$. We show that such a curve is free, and together these imply that the Grothendieck decomposition of the pullback of $TB$ to this rational curve has some degree zero factors. Taking such rational curves with minimal anticanonical degree, we can consider the universal family $\mathcal{U}$ with evaluation map $\mu:\mathcal{U}\to B$, which we may assume is a submersion over a Zariski open set $B^\circ\subset B$ (which we may assume is equal to $B\backslash D$ up to enlarging $D$), and the positive degree factors in the Grothendieck decomposition define a nontrivial holomorphic subbundle $\mathcal{V}\subset \mu^*TB^\circ$, whose rank is strictly less than $n$. At the same time, classical work of Freed~\cite{Fr} shows that on $B^\circ$ there is a ``special Kähler metric'' $g_{\SK}$, whose Kähler form $\omega_{\SK}$ is parallel with respect to a ``special Kähler connection'' $\nabla^{\SK}$ on $T^{\mathbb{R}}B^\circ$, which is torsion-free, flat, and $d^{\nabla^{\SK}}J=0$ (where $J$ is the complex structure of $B$). Our main result is then:

\begin{theo}\label{mainn}
In this setting, $\mathcal{V}$ is preserved by the pullback of the Chern connection of $g_{\SK}$.
\end{theo}

We also show that the corresponding real subbundle $\mathcal{V}_{\mathbb{R}}\subset \mu^*T^{\mathbb{R}}B^\circ$ is also preserved by the pullback of the special Kähler connection $\nabla^{\SK}$. This in turn can be interpreted as giving a nontrivial splitting of a real variation of Hodge structures (which naturally exists on $B^\circ$) when pulled back via $\mu$. As we will discuss below, by combining Theorem~\ref{mainn} with work of Voisin~\cite{Vo}, Hwang~\cite{Hw2,Hw} and Bakker--Schnell~\cite{BS}, one can deduce Hwang's Theorem~\ref{main}.

Let us first give some intuition for our approach. One of the key features of the rich geometry of special Kähler metrics is that they have nonnegative bisectional curvature. Recall here the fundamental theorem of Mori~\cite{Mor} and Siu--Yau~\cite{SY2} which states that a \emph{compact} Kähler manifold with positive bisectional curvature must be isomorphic to $\mathbb{P}^n$. This was generalized by Mok~\cite{Mok} to classify compact Kähler manifolds with nonnegative bisectional curvature: their universal cover splits as a product of a Euclidean factor, of projective space, and of compact Hermitian symmetric spaces of rank $\geq 2$. A large part of our arguments are motivated by trying to extend Mok's techniques to our \emph{noncompact} manifold $B\backslash D$ with an incomplete metric with nonnegative bisectional curvature, making essential use of the special features of special Kähler metrics, which are summarized in Section~\ref{se2}.

To prove Theorem~\ref{mainn}, thanks to a recent result of Bakker~\cite{Ba} we need to consider two cases: either $f$ has maximal variation or $f$ is isotrivial. In the first case, we prove in Section~\ref{se4} a crucial rigidity result (Theorem~\ref{rigid}) which shows that the bisectional curvature of $\omega_{\SK}$ vanishes when evaluated on a vector in $\mathcal{V}$ and a vector in its orthogonal complement. For this, we use results of Zhang and the second-named author~\cite{TZ} on the asymptotic behavior of $\omega_{\SK}$ near $D$, as well as a strictly positive lower bound for $\omega_{\SK}$ near $D$ obtained by Gross, Zhang and the second-named author in~\cite{GTZ,GTZ2,To}. These are explained in Section~\ref{se3}. In Section~\ref{se5} we then supplement the rigidity result by showing that the rough Laplacian of the bisectional curvature of $\omega_{\SK}$ evaluated on the same vectors vanishes as well. This result is analogous to a statement in Mok~\cite{Mok}, although our proof is quite different. Equipped with these rigidity results, in Section~\ref{se6} we adapt an argument of Mok~\cite{Mok} and conclude. In the isotrivial case the rigidity results are trivial because $\omega_{\SK}$ is flat, but this flatness can be effectively exploited to show again that $\mathcal{V}$ is preserved by the Chern connection of $g_{\SK}$.

In Section~\ref{se7} we sketch how Theorem~\ref{main} follows by combining Theorem~\ref{mainn} with a number of recent results in the literature. As mentioned above, we first show that the real subbundle $\mathcal{V}_{\mathbb{R}}\subset \mu^*T^{\mathbb{R}}B^\circ$ which corresponds to $\mathcal{V}$ is preserved also by the pullback of the special Kähler connection $\nabla^{\SK}$. This uses again our rigidity theorem. Then we invoke an important result of Hwang~\cite{Hw2,Hw}, which also has a recent proof by Bakker--Schnell~\cite{BS} (Theorem~\ref{bs} below), which gives that the map $\mu$ must have connected fibers. Thus, our splitting descends to a parallel splitting of $T^{\mathbb{R}}B^\circ$, from which we obtain a parallel real $(1,1)$-form on $B^\circ$ which is not proportional to $\omega_{\SK}$, which is contradiction to a result of Voisin~\cite{Vo}.

Lastly, in Section~\ref{se8} we make some comments on the obstacles that we faced when trying to extend our approach to the case when $B$ is singular.

\begin{rema}
In the first draft of our paper, our original argument in Section~\ref{se7} to construct the parallel form on $B^\circ$ turned out to be incomplete. After our first draft was posted to arXiv, Bakker and Schnell sent us their paper~\cite{BS} with a new proof of Hwang's theorem. As mentioned above, to deduce Theorem~\ref{main} from Theorem~\ref{mainn} we now rely on their paper. On the other hand, without using~\cite{BS}, what our arguments show is that $B$ must be $\mathbb{P}^n$ provided that $\mu$ has connected fibers. As pointed out to us by Hwang, this result was implictly proved by Cho--Miyaoka--Shepherd--Barron~\cite[Section~7]{CMSB} using a different method (under the extra assumption that $f$ has a section, which was removed by Nagai~\cite{Nag}).
\end{rema}

\subsection*{Acknowledgments}

%This research was conducted during the period when the first-named author served as a Clay Research Fellow. The second-named author was partially supported by NSF grant DMS-2231783, and part of this work was carried out during his visit to the Center for Mathematical Sciences and Applications at Harvard University, which he would like to thank for the hospitality.
We are grateful to B.~Bakker, J.~Cao, J.~Koll\'ar, M.~P\u{a}un, T.~Peternell, C.~Schnell and J.~Starr for enlightening email communications, and especially to B.~Bakker, J.-M.~Hwang, C.~Schnell, C.~Voisin and the referee for very useful comments on previous drafts. The second-named author would also like to thank Y.~Zhang for discussions about this approach during the writing of~\cite{TZ}. This work is dedicated to the memory of Jean-Pierre Demailly, a giant in the field of complex geometry and a dear colleague and friend, who left us much too early.


\section{Special Kähler metrics}\label{se2}

\subsection{Notation}

Let us first fix some notation. For a complex manifold $B$ we will denote by $T^{\mathbb{R}}B$ its real tangent bundle, and with $TB\subset T^{\mathbb{C}}B=T^{\mathbb{R}}B\otimes\mathbb{C}$ its holomorphic tangent bundle (of complex tangent vectors of type $(1,0)$). The dual of $TB$ will be denoted by $\Omega^1_B$. The complex structure will be denoted by $J:T^{\mathbb{R}}B\to T^{\mathbb{R}}B$. We will also denote $B^\circ:=B\backslash D$ and $X^\circ:=f^{-1}(B^\circ)$.

\subsection{Existence of special Kähler metrics}

The paper by Freed~\cite{Fr}, following work of Donagi--Witten~\cite{DW}, shows that the base of an algebraic integrable system (which in our case is $B^\circ$) admits a geometric structure called ``special Kähler metric'', $\omega_{\SK}$. This means that $(B^\circ,J,\omega_{\SK})$ is a Kähler manifold and there is a torsion-free flat connection $\nabla^{\SK}$ on $T^\mathbb{R}B^\circ$ which makes $\omega_{\SK}$ parallel and $d^{\nabla^{\SK}} J=0$ (however, in general $\nabla^{\SK}J\neq 0$), where $d^{\nabla^{\SK}}:\Omega^1(T^{\mathbb{R}}B^\circ)\to \Omega^2(T^{\mathbb{R}}B^\circ)$ is the usual extension of $\nabla^{\SK}$ (cf.~\cite[p.~33]{Fr}). The Riemannian metric associated to $\omega_{\SK}$ will be denoted by $g_{\SK}$ and its Levi-Civita/Chern connection, which in general is different from $\nabla^{\SK}$, will be denoted simply by $\nabla$ (see~\eqref{freed} below for an explicit formula relating $\nabla$ and $\nabla^{\SK}$). On every sufficiently small open set $U\subset B^\circ$ we can find special holomorphic local coordinates $\{z_j\}_{j=1}^n$ (whose real parts are flat Darboux coordinates) and a holomorphic map $Z:U\to \mathfrak{H}_n$ into the Siegel upper half space
\[
\mathfrak{H}_n=\{A\in\mathfrak{gl}(n,\mathbb{C})\ |\ A=A^t,\; \Imop A>0\},
\]
such that $Z(y)$ are the periods of the torus fiber $f^{-1}(y)$, and we can write
\[
\omega_{\SK}=\frac{1}{2}\sum_{i,j}\Imop Z_{ij}\,\dz_i\wedge \dbz_j.
\]
It is also worth noting that special Kähler manifolds can only be complete if they are flat, by a result of Lu~\cite{Lu}. See~\cite{TZ} for a description of the metric completion of $(B^\circ,\omega_{\SK})$ and of its metric singularities.

Special Kähler metrics have a Hodge-theoretic origin (see~\cite{Her, Ma2}): as mentioned earlier there is a natural weight-one polarized real variation of Hodge structures $R^1f_*\mathbb{R}_{X^\circ}$ on $B^\circ$, whose Hodge bundle of type $(1,0)$ is isomorphic to $TB^\circ$ (by contracting with the holomorphic symplectic form), and its Hodge metric is exactly the special Kähler metric.

In~\cite{To,GTZ,GTZ2} it is also shown that $\omega_{\SK}$ can be written as $\omega_B+\ddbar\vp$ for some Kähler metric $\omega_B$ on $B$ and some function $\vp\in C^\infty(B^\circ)\cap L^\infty(B)$. In fact, a priori there is a different special Kähler metric on $B^\circ$ for each chosen Kähler class $[\omega_B]$ on $B$, but since $B$ is smooth Fano and of Picard number one, it follows that $b_2(B)=1$ so there is a unique choice of Kähler class up to scaling. In the following, we fix one such $\omega_B$ once and for all. This way, we can unambiguously talk about ``the'' special Kähler metric $\omega_{\SK}$ in the following.
\subsection{Curvature properties} Following Freed~\cite{Fr}, there is a holomorphic symmetric cubic form $\Xi\in H^0(B^\circ, \Sym^3 T^*B^\circ)$ such that, in any local holomorphic coordinate system, the curvature tensor of $\omega_{\SK}$ can be written as
\begin{equation}\label{curv}
R_{i\ov{j}k\ov{\ell}}=g_{\SK}^{p\ov{q}}\Xi_{ikp}\ov{\Xi_{j\ell q}},
\end{equation}
and on any sufficiently small $U$ as above we can find a holomorphic function $\mathcal{F}:U\to\mathbb{C}$ such that, in special holomorphic coordinates, the period matrix and the cubic form can be written as
\begin{equation}\label{deriv}
Z_{ij}=\frac{\de^2\mathcal{F}}{\de z_i\de z_j},\quad \Xi_{ipk}=\frac{\de^3\mathcal{F}}{\de z_i\de z_k\de z_p}.
\end{equation}
From the curvature formula~\eqref{curv} we see in particular that $\omega_{\SK}$ has nonnegative bisectional curvature on $B^\circ$: given any $v,w\in T^{1,0}B^\circ$ we have
\[
\Rm(v,\ov{v},w,\ov{w})=R_{i\ov{j}k\ov{\ell}}v^i\ov{v^j}w^k\ov{w^\ell}=\sum_{p}\left|\Xi(v,w,e_p)\right|^2\geq 0,
\]
where $\{e_p\}$ is any $g_{\SK}$-unitary frame.


We will also use the following dichotomy, which was conjectured by Matsushita, and after progress by van Geemen--Voisin~\cite{vV} it was recently proved by Bakker~\cite{Ba}:

\begin{theo}\label{prolisso2}
Either $f$ is isotrivial, or else $f$ has maximal variation.
\end{theo}

This dichotomy is then reflected in the curvature properties of $\omega_{\SK}$:

\begin{coro}\label{prolisso}
Either $\omega_{\SK}$ is flat on $B^\circ$, or else $\omega_{\SK}$ has positive Ricci curvature on a Zariski open subset of $B^\circ$.
\end{coro}

In the second case, up to replacing $D$ with a larger closed analytic subvariety we will always assume that $\Ric_{g_{\SK}}>0$ on $B^\circ$.
\begin{proof}
We use Bakker's Theorem~\ref{prolisso2}. If $f$ is isotrivial, then the local period map $Z$ is constant, so from~\eqref{deriv} we see that $\Xi\equiv 0$ on $B^\circ$, and~\eqref{curv} shows that $\omega_{\SK}$ is flat. If $f$ has maximal variation, then the period map $Z$ is generically of maximal rank (equal to $n$), so $Z$ is an immersion on a Zariski open subset of $B^\circ$ (which, up to enlarging $D$, we may assume is equal to $B^\circ$). Given any $v\in T^{1,0}_x B^\circ$, the Ricci curvature of $\omega_{\SK}$ in the direction of $v$ is given by
\[
\Ric(v,\ov{v})=\sum_{p,q}\left|\Xi(v,e_p,e_q)\right|^2\geq 0,
\]
and if this vanishes for some $v\neq 0$ then in special holomorphic coordinates we have that for all $p,q$
\[
0=\Xi(v,e_p,e_q)=\frac{\de^3\mathcal{F}}{\de v\de e_p\de e_q}=\frac{\de}{\de v}Z_{pq},
\]
so the period map is not an immersion at $x$, a contradiction.
\end{proof}

\begin{rema}
The holomorphic sectional curvature of $\omega_{\SK}$ is given by
\[
\HSC(v)=R_{i\ov{j}k\ov{\ell}}v^i\ov{v^j}v^k\ov{v^\ell}=\sum_{p}\left|\frac{\de^3\mathcal{F}}{\de v\de v\de e_p}\right|^2\geq 0,
\]
where $v\in T^{1,0}B^\circ$ is a unit vector (and in the last equality we use special holomorphic coordinates). The condition that $\omega_{\SK}$ has (strictly) positive holomorphic sectional curvature on $B^\circ$ thus means that none of the ``diagonal'' entries of the period matrix $Z$
\[
Z_{ij}v^iv^j=\frac{\de^2\mathcal{F}}{\de v\de v}
\]
is locally constant. We expect that this always holds (up to enlarging $D$) when $f$ has maximal variation.
\end{rema}

\begin{rema}
We are grateful to B. Bakker for the following observation. Let $f:S\to \mathbb{P}^1$ be an elliptic fibration of a $K3$ surface $S$. For $n\geq 2$ let $X=S^{[n]}$ be the Hilbert scheme parametrizing length $n$ subschemes of $S$. We obtain an induced holomorphic Lagrangian fibration $\ti{f}:X\to (\mathbb{P}^1)^{[n]}=\mathbb{P}^n$ whose general fiber is isomorphic to the product of $n$ general fibers of $f$, and if $f$ has maximal variation then so does $\ti{f}$. Since the period matrix of such a torus is diagonal, we see that the period map $Z$ of $\ti{f}$ has $Z_{ij}=0$ for $i\neq j$. It follows that for these examples the special Kähler metric, which is not flat if $f$ has maximal variation, nevertheless does not have strictly positive bisectional curvature on $\mathbb{P}^n\backslash D$, since in local special coordinates we have
\[
\Rm(e_i,\ov{e_i},e_j,\ov{e_j})=R_{i\ov{i}j\ov{j}}=0,
\]
for all $i\neq j$. Thus, to prove our main theorem, it would not be sufficient to prove a suitable noncompact version of the Mori--Siu--Yau theorem~\cite{Mor, SY2}, but we must instead generalize the work of Mok~\cite{Mok}.
\end{rema}


\section{Estimates on the special Kähler metric}\label{se3}
We collect in this section two crucial estimates for the special Kähler metric $\omega_{\SK}$, which are contained or follow from earlier work of the second-named author and coauthors~\cite{To,TZ3,TZ}. See also~\cite{CH,Ha} for a study of the asymptotics of special Kähler metrics on Riemann surfaces.
\subsection{Strict positivity} The first estimate, taken from~\cite{GTZ,GTZ2,To,TZ3}, says that the positivity of $\omega_{\SK}$ does not degenerate as we approach $D$. Since this statement is valid even if $B$ is singular, we present it in this generality.
\begin{prop}
Let $X$ be a hyperkähler manifold, $f:X\to B$ a holomorphic Lagrangian fibration with $B$ a normal analytic variety. Let $\omega_B$ be a smooth Kähler metric on $B$ (in the sense of analytic spaces) and $\omega_{\SK}$ the special Kähler metric on $B^\circ$ cohomologous to $\omega_B$. Then there is $C>0$ such that on $B^\circ$ we have
\begin{equation}\label{sl}
\omega_{\SK}\geq C^{-1}\omega_B.
\end{equation}
\end{prop}
\begin{proof}
Fix a Kähler metric $\omega_X$ on $X$ and for $t\geq 0$ let $\omega_t$ be the hyperkähler metric on $X$ cohomologous to $f^*\omega_B+e^{-t}\omega_X$. Then the Schwarz Lemma~\cite[Lemma~3.1]{To} (using also~\cite[Proof of Theorem~3.2]{TZ3} in the case when $B$ is singular) gives
\[
\omega_t\geq C^{-1}f^*\omega_B,
\]
on $X^\circ$ (with $C$ independent of $t\geq 0$), and thanks to~\cite[Theorem~1.1]{GTZ}, \cite{HT} and~\cite[Theorem~1.2]{GTZ2} we know that as $t\to\infty$ we have
\[
\omega_t\to f^*\omega_{\SK},
\]
locally uniformly on $X^\circ$ (and even locally smoothly), so we conclude that
\[
f^*\omega_{\SK}\geq C^{-1}f^*\omega_B,
\]
on $X^\circ$, and since $f$ is a submersion over $B^\circ$ this is equivalent to
\[
\omega_{\SK}\geq C^{-1}\omega_B,
\]
on $B^\circ$.
\end{proof}

\begin{rema}
If $B$ has quotient singularities (which is expected to hold in general~\cite[Remark~1.11]{HM}) then we can replace $\omega_B$ with an orbifold Kähler metric $\omega_{\orb}$, and a similar argument gives the stronger bound
\[
\omega_{\SK}\geq C^{-1}\omega_{\orb},
\]
on $B^\circ$.
\end{rema}


\subsection{Ricci curvature bounds near \texorpdfstring{$D$}{D}}\label{as}
From now on, we return to our standing assumption that $B$ is smooth. The second crucial estimate is a bound for the Ricci curvature of $\omega_{\SK}$. We have seen in the previous section that $\omega_{\SK}$ has nonnegative Ricci curvature on $B^\circ$. In fact, as shown in~\cite{ST, To} (see also~\cite[Proposition~4.1]{TZ}), we have
\[
\Ric_{g_{\SK}}=\omega_{\WP}\geq 0,
\]
where $\omega_{\WP}$ is the Weil--Petersson form of the family of abelian varieties $f:X^\circ\to B^\circ$ (pullback of the Weil--Petersson metric on the moduli space via the moduli map). Concretely, on $B^\circ$ we have
\begin{equation}\label{fibber}
\omega_{\SK}^n=c (-1)^{\frac{n^2}{2}}f_*(\sigma^n\wedge\ov{\sigma^n}),
\end{equation}
where $c>0$ and $\sigma$ is a holomorphic symplectic form on $X$, and to obtain $\omega_{\WP}$ it suffices to take $-\ddbar\log$ of the fiber integral in~\eqref{fibber} divided by the local Euclidean volume form.


Recall that the discriminant locus $D\subset B$ is a closed analytic subvariety of pure codimension~$1$, see~\cite[Proposition~3.1]{HO}. Let $x\in D$ be any smooth point of $D$, and choose an open neighborhood $U$ of $x$ with local holomorphic coordinates centered at $x$ such that $D\cap U=\{z_1=0\}$. Thus, at points of $D\cap U$, the vectors $\frac{\de}{\de z_2},\dots,\frac{\de}{\de z_n}$ are tangent to $D$, while $\frac{\de}{\de z_1}$ is transversal. The main claim is the following:

\begin{prop}\label{riccicurb}
On $\{z_1\neq 0\}$ the Ricci curvature tensor $R_{i\ov{j}}=\Ric_{g_{\SK}}\left(\frac{\de}{\de z_i},\frac{\de}{\de \ov{z_j}}\right)$ of $\omega_{\SK}$ satisfies
\begin{equation}\label{ricci1}
0\leq R_{i\ov{i}}\leq C,\quad 2\leq i\leq n,
\end{equation}
\begin{equation}\label{ricci2}
0\leq R_{1\ov{1}}\leq \frac{C}{|z_1|^2},
\end{equation}
for some constant $C>0$.
\end{prop}

\begin{proof}
We will use freely the arguments in~\cite[Section~4.3]{TZ} (these are stated for $X$ projective hyperkähler, but all arguments there go through for general $X$ hyperkähler using that Lagrangian fibrations are locally projective~\cite{Cam}). By the Monodromy Theorem, there is $m\in\mathbb{N}_{>0}$ such that the eigenvalues of the monodromy operator $T$ (acting on $H^1(f^{-1}(y),\mathbb{Z})$ for some fixed basepoint $y\in U\backslash D$) are $m$th roots of unity. We may assume without loss that in our coordinates $U$ is the unit polydisc, and letting $\ti{U}$ be the unit polydisc with coordinates $(t_1,\dots,t_n)$, we define the branched covering
\[
q:\ti{U}\to U, \quad q(t_1,\dots, t_n)=(t_1^m,t_2,\dots,t_n).
\]
Then after pulling back to $\ti{U}$, the monodromy operator $T$ becomes unipotent, with
\[
(T-\Id)^2=0.
\]
Thanks to the argument in~\cite[p.~774]{TZ}, we can find holomorphic functions $w_1,\dots, w_n$ on $\ti{U}$, which are special holomorphic coordinates on $\ti{U}\cap\{t_1\neq 0\}$ (but need not form a coordinate system at points on $\{t_1=0\}$, and they may even vanish there), such that, on $\ti{U}\cap\{t_1\neq 0\}$, we can write
\[
q^*\omega_{\SK}=\frac{i}{2}\sum_{j,k}\Imop Z_{jk}(t) \dw_j \wedge \dd\ov{w_k}=\frac{i}{2}\sum_{j,k,p,q}\Imop Z_{jk}(t)\frac{\de w_j}{\de t_p}\ov{\frac{\de w_k}{\de t_q}} \dt_p \wedge \dd\ov{t_q},
\]
where $Z_{jk}(t)$ is the local period map pulled back to $\ti{U}$. Thus, if we denote by $\dV_E$ the Euclidean volume form on $\ti{U}$ given by the coordinates $t_1,\dots t_n$, we have
\[
\log\frac{q^*\omega^n_{\SK}}{\dV_E}=\log\det \Imop Z + \log \left|\det\left(\frac{\de w_j}{\de t_p}\right)\right|^2,
\]
and since $\det\left(\frac{\de w_j}{\de t_p}\right)$ is holomorphic and nonzero on $\ti{U}\cap\{t_1\neq 0\}$, we get
\begin{equation}\label{sav4}
\Ric_{q^*g_{\SK}}\left(\frac{\de}{\de t_j},\frac{\de}{\de \ov{t_k}}\right)=-\frac{\de}{\de t_j}\frac{\de}{\de \ov{t_k}}\log\frac{q^*\omega^n_{\SK}}{dV_E}=-\frac{\de}{\de t_j}\frac{\de}{\de \ov{t_k}}\log\det \Imop Z.
\end{equation}
To estimate this, following~\cite[Lemma~4.3]{TZ} we use Schmid's Nilpotent Orbit Theorem~\cite{Sch} and see there are $b_{jk}\in\mathbb{Q}$ and a holomorphic map $Q$ from $\ti{U}$ to the space of symmetric $n\times n$ complex matrices, such that on $\ti{U}\cap\{t_1\neq 0\}$ we have
\[
Z_{jk}(t)=Q_{jk}(t)+\frac{\log t_1}{2\pi i}b_{jk},\quad 1\leq j,k\leq n,
\]
for some branch of $\log$. Thus,
\begin{equation}\label{sav1}
\Imop Z_{jk}(t)=\Imop Q_{jk}(t)-\frac{b_{jk}}{2\pi}\log|t_1|,
\end{equation}
and furthermore (see~\cite[Lemma~4.3]{TZ}) there is $C>0$ such that on $\ti{U}\cap\{t_1\neq 0\}$ we have
\begin{equation}\label{sav2}
\Imop Z(t) \geq C^{-1}\Id,
\end{equation}
and so the inverse matrix of $\Imop Z(t)$, whose entries will be denoted by $(\Imop Z(t))^{pq}$, satisfies
\begin{equation}\label{sav3}
0<(\Imop Z(t))^{-1} \leq C\Id.
\end{equation}
Differentiating the determinant gives
\begin{multline*}
-\frac{\de}{\de t_j}\frac{\de}{\de \ov{t_k}}\log\det \Imop Z(t)=-(\Imop Z(t))^{pq}\frac{\de}{\de t_j}\frac{\de}{\de \ov{t_k}}\Imop Z_{pq}(t)\\
+(\Imop Z(t))^{pq}(\Imop Z(t))^{rs}\frac{\de}{\de t_j}\Imop Z_{pr}(t)\frac{\de}{\de \ov{t_k}}\Imop Z_{qs}(t).
\end{multline*}
First we take $j\geq 2$, and differentiating~\eqref{sav1} gives
\[
\begin{split}
&-\frac{\de}{\de t_j}\frac{\de}{\de \ov{t_j}}\log\det \Imop Z(t)=(\Imop Z(t))^{pq}(\Imop Z(t))^{rs}\frac{\de}{\de t_j}\Imop Q_{pr}(t)\frac{\de}{\de \ov{t_j}}\Imop Q_{qs}(t)
\leq C,
\end{split}
\]
using~\eqref{sav3} and the fact that $Q$ is holomorphic on all of $\ti{U}$. As for the $t_1$ direction, differentiating~\eqref{sav1} we have
\begin{multline*}
-\frac{\de}{\de t_1}\frac{\de}{\de \ov{t_1}}\log\det \Imop Z(t)\\
\begin{aligned}
&=(\Imop Z(t))^{pq}(\Imop Z(t))^{rs}\frac{\de}{\de t_1}\left(\Imop Q_{pr}(t)-\frac{b_{pr}}{2\pi}\log|t_1|\right)
\frac{\de}{\de \ov{t_1}}\left(\Imop Q_{qs}(t)-\frac{b_{qs}}{2\pi}\log|t_1|\right)\\
&\leq C\sum_{p,r}\left|\frac{\de}{\de t_1}\left(\Imop Q_{pr}(t)-\frac{b_{pr}}{2\pi}\log|t_1|\right)\right|^2\\
&\leq C+C\left|\frac{\de}{\de t_1}\log|t_1|\right|^2\\
&\leq \frac{C}{|t_1|^2}.
\end{aligned}
\end{multline*}
Going back to~\eqref{sav4}, this shows that on $\ti{U}\cap\{t_1\neq 0\}$) we have
\[
0\leq \Ric_{q^*g_{\SK}}\left(\frac{\de}{\de t_j},\frac{\de}{\de \ov{t_j}}\right)\leq C,\quad j\geq 2,
\]
\[
0\leq\Ric_{q^*g_{\SK}}\left(\frac{\de}{\de t_1},\frac{\de}{\de \ov{t_1}}\right)\leq \frac{C}{|t_1|^2},
\]
and so on $U\cap\{z_1\neq 0\}$ we have for $j\geq 2$,
\[
0\leq R_{j\ov{j}}=\Ric_{g_{\SK}}\left(\frac{\de}{\de z_j},\frac{\de}{\de \ov{z_j}}\right)=\Ric_{q^*g_{\SK}}\left(\frac{\de}{\de t_j},\frac{\de}{\de \ov{t_j}}\right)\leq C,
\]
\goodbreak\noindent
and
\[
\begin{split}
0\leq R_{1\ov{1}}&=\Ric_{g_{\SK}}\left(\frac{\de}{\de z_1},\frac{\de}{\de \ov{z_1}}\right)=\frac{1}{m^2|t_1|^{2m-2}}\Ric_{q^*g_{\SK}}\left(\frac{\de}{\de t_1},\frac{\de}{\de \ov{t_1}}\right)
\leq \frac{C}{m^2|t_1|^{2m}}\leq\frac{C}{|z_1|^2},
\end{split}
\]
as desired.
\end{proof}

\begin{rema}
We expect that the sharp bound in~\eqref{ricci2} in general is of the form $\frac{C}{|z_1|^2\log^2|z_1|}$, cf.~\cite{Yosh} when $\dim B=1$. One may be able to show this by proving an asymptotic expansion for the fiber integral in~\eqref{fibber} which can be differentiated term-by-term, as in~\cite{Bar,Taka2}.
\end{rema}


\section{Rational curves and rigidity}\label{se4}

Recall that $B$ is a Fano manifold, hence uniruled. Let $\nu:\mathbb{P}^1\to B$ be a rational curve (i.e. a nonconstant holomorphic map) whose image is not contained in $D$. Our first result of this section shows that $\nu$ is a \emph{free} rational curve, in the terminology of Mori Theory, cf.~\cite{Kol2}.

\subsection{Freeness of the rational curve}

By Grothendieck's Theorem, the vector bundle $\nu^* TB$ splits and so we can write
\begin{equation}\label{h1}
\nu^*TB\cong\bigoplus_{i=1}^n\mathcal{O}(a_i),
\end{equation}
for some integers $a_i$, which we order by $a_1\geq\cdots\geq a_n.$ Dualizing, we have
\begin{equation}\label{h6}
\nu^*\Omega^1_{B}\cong\bigoplus_{i=1}^n\mathcal{O}(-a_i),
\end{equation}
and
\begin{equation}\label{deg}
q:=-K_B\cdot\nu(\mathbb{P}^1)=\sum_{i=1}^n a_i>0,
\end{equation}
since $B$ is Fano.


On $B^\circ$ we equip $\Omega^{1}_B$ with the Hermitian metric $h_{\SK}$ induced by the special Kähler metric $\omega_{\SK}$.


\begin{lemm}\label{nonn}
We have $a_n\geq 0$.
\end{lemm}
\begin{proof}
This argument was suggested to us by M. P\u{a}un. Consider the nontrivial section~$v\in H^0(\mathbb{P}^1,\nu^*\Omega^1_B\otimes \mathcal{O}(a_n))$ which corresponds to the quotient morphism $\nu^*TB\to \mathcal{O}(a_n)$. Equip $L:=\mathcal{O}(a_n)$ with a smooth metric $h_L$ on $\mathbb{P}^1$, and equip $\nu^*\Omega^1_B$ with the smooth metric $\nu^*h_{\SK}$ on $\mathbb{P}^1\backslash \nu^{-1}(D)$ which is the pullback of the metric induced by $\omega_{\SK}$. Thus, the curvature of $\nu^*h_{\SK}$ is Griffiths nonpositive on $\mathbb{P}^1\backslash \nu^{-1}(D)$, since $\omega_{\SK}$ has nonnegative bisectional curvature on $B^\circ$ and dualization reverses the sign of Griffiths positivity (see e.g.~\cite[Section~VII.6]{De}). Equip then $\nu^*\Omega^1_B\otimes \mathcal{O}(a_n)$ with the metric $h=\nu^*h_{\SK}\otimes h_L$ on $\mathbb{P}^1\backslash \nu^{-1}(D)$.

Differentiating $\log|v|^2_h$ on $\mathbb{P}^1\backslash \nu^{-1}(D)$ we have the well-known identity of $(1,1)$-forms on $\mathbb{P}^1\backslash \nu^{-1}(D)$
\[
\ddbar\log|v|^2_h=\frac{|\nabla v|^2_h}{|v|^2_h}-\frac{|\langle\nabla v,v\rangle_h|^2}{|v|^4_h}-R_{h_L}-\frac{\langle R_{\nu^*h_{\SK}}(v),v\rangle_h}{|v|^2_h},
\]
where $\nabla v$ is an $\nu^*\Omega^1_B\otimes \mathcal{O}(a_n)$-valued $(1,0)$-form, so $|\nabla v|^2_h$ is a $(1,1)$-form, and similarly for the other terms. Using Cauchy--Schwarz we have
\[
\frac{|\langle\nabla v,v\rangle_h|^2}{|v|^4_h}\leq\frac{|\nabla v|^2_h}{|v|^2_h},
\]
and since on $\mathbb{P}^1\backslash \nu^{-1}(D)$ the curvature of $\nu^*h_{\SK}$ is Griffiths nonpositive, we can estimate
\begin{equation}\label{xyp}
\begin{split}
\ddbar\log|v|^2_h&\geq -R_{h_L}-\frac{\langle R_{\nu^*h_{\SK}}(v),v\rangle_h}{|v|^2_h}\\
&\geq -R_{h_L},
\end{split}
\end{equation}
Since $R_{h_L}$ is a smooth form on $\mathbb{P}^1$, we see that $\log|v|^2_h$ is quasi-psh on $\mathbb{P}^1\backslash \nu^{-1}(D)$, and using~\eqref{sl} we see that
\[
\sup_{\mathbb{P}^1\backslash \nu^{-1}(D)}\log|v|^2_h\leq C+\sup_{\mathbb{P}^1\backslash \nu^{-1}(D)}\log|v|^2_{\nu^*h_B\otimes h_L}<\infty,
\]
where $h_B$ is the smooth metric on $\Omega^1_B$ induced by $\omega_B$. Thus $\log|v|^2_h$ is bounded above, hence by the Grauert--Remmert extension theorem~\cite{GR} the inequality $R_{h_L}+\ddbar\log|v|^2_h\geq 0$ extends over the singularities to all of $\mathbb{P}^1$ (in the weak sense). Integrating this over $\mathbb{P}^1$ and using Stokes thus gives
\[
a_n=\int_{\mathbb{P}^1}R_{h_L}=\int_{\mathbb{P}^1}(R_{h_L}+\ddbar\log|v|^2_h)\geq 0,
\]
as desired.
\end{proof}

Lemma~\ref{nonn} says that every rational curve in $B$ which is not contained in $D$ is free, and by Mori Theory it deforms to cover a Zariski dense subset of $B$ (see e.g.~\cite{Kol2}).

The pullback morphism $\nu^*\Omega^1_{B}\to \Omega^1_{\mathbb{P}^1}$ dualizes to a nontrivial morphism $\mathcal{O}(2)\to \nu^*TB$, and hence $a_1\geq 2$. Using this observation and Lemma~\ref{nonn} we can write the splittings in~\eqref{h1} and~\eqref{h6} as
\begin{align}\label{h5}
\nu^*TB&\cong\mathcal{O}(a_1)\oplus\cdots\oplus \mathcal{O}(a_{n-\ell})\oplus \mathcal{O}^{\oplus\ell},
\\
\label{h7}
\nu^*\Omega^1_{B}&\cong\mathcal{O}(-a_1)\oplus\cdots\oplus \mathcal{O}(-a_{n-\ell})\oplus \mathcal{O}^{\oplus\ell},
\end{align}
for some $0\leq \ell\leq n-1$, where $a_1\geq a_2\geq\cdots\geq a_{n-\ell}\geq 1, a_1\geq 2,$ and
\[
q=\sum_{i=1}^{n-\ell}a_i.
\]

Recall now a result by Cho--Miyaoka--Shepherd--Barron~\cite[Corollary~0.4$\MK$(11)]{CMSB}, which uses Mori theory:

\begin{theo}\label{unir}
Let $B$ be a uniruled projective manifold, $D$ an effective divisor, and suppose that, for any rational curve $\nu:\mathbb{P}^1\to B$ which is not contained in $D$, we have the inequality
\begin{equation}\label{agognata}
-K_{B}\cdot \nu(\mathbb{P}^1)\geq n+1.
\end{equation}
Then $B\cong\mathbb{P}^n$.
\end{theo}


If, in our setting, for all rational curves $\nu:\mathbb{P}^1\to B$ not contained in $D$ we have $\ell=0$, i.e. $a_i>0$ for all $i$, then since $a_1\geq 2$ it would follow that $-K_{B}\cdot \nu(\mathbb{P}^1)=\sum_{i=1}^na_i\geq n+1$ and so $B$ would be isomorphic to $\mathbb{P}^n$. In other words, if $B\not\cong\mathbb{P}^n$ then there exists a rational curve $\nu_0:\mathbb{P}^1\to B$ not contained in $D$ which has $\ell\geq 1$, i.e. there are some trivial factors $\mathcal{O}^{\oplus\ell}$ in the splitting~\eqref{h1}. We may also assume that the anticanonical degree $q:=-K_{B}\cdot \nu_0(\mathbb{P}^1)$ is as small as possible among all rational curves not contained in $D$ (and satisfies $2\leq q\leq n$), and we will call these \emph{minimal degree rational curves}, which is consistent with the standard terminology, e.g. in~\cite{Hw3}. By Lemma~\ref{nonn}, this rational curve $\nu_0$ is free and so it deforms to cover a Zariski dense subset of $B$. Let $\mathcal{K}$ be the irreducible component of the space of rational curves in $B$ (see~\cite[Section~II.2]{Kol2}) which contains $\nu_0$, which we fix once and for all. From Mori Theory (see~\cite{Kol2} and~\cite[Section~3]{Hw3}) we have that $\mathcal{K}$ is a quasiprojective variety equipped with a universal $\mathbb{P}^1$-bundle $\rho:\mathcal{U}\to\mathcal{K}$ and an evaluation map $\mu:\mathcal{U}\to B$. For any $t\in\mathcal{K}$ we will also write
\[
\mathcal{U}_t:=\rho^{-1}(t)\subset\mathcal{U},
\]
so $\mathcal{U}_t\cong\mathbb{P}^1$ is the rational curve corresponding to $t$, and
\[
\nu_t:=\mu|_{\mathcal{U}_t}:\mathcal{U}_t\to B,
\]
will denote the morphism to $B$.

Furthermore, the generic rational curve in $\mathcal{K}$ is free and not contained in $D$, $\mathcal{K}$ is smooth at such curves, and the integers $a_i,\ell$ in the decomposition~\eqref{h5} are the same for all generic such curves. Given $x\in B^\circ$ there is some minimal degree rational curve $\nu$ in $\mathcal{K}$ that passes through $x$ and is smooth at $x$. Thanks to~\cite[Proposition~II.3.7]{Kol2}, we can also assume that $\nu(\mathbb{P}^1)$ intersects $D$ only at the regular points of $D$ (since the singularities of $D$ have codimension at least $2$ in $B$), and that these intersections are transverse. The evaluation morphism $\mu:\mathcal{U}\to B$ is a submersion over a Zariski open subset of $B$, which up to enlarging $D$ we may assume equals $B^\circ$. Thus, if we define $\mathcal{U}^\circ:=\mu^{-1}(B^\circ),$ then $\mathcal{U}^\circ$ is smooth and $\mu:\mathcal{U}^\circ\to B^\circ$ is a submersion. The metric $g_{\SK}$ on $TB^\circ$ induces by pullback a metric $\mu^*TB^\circ$ over $\mathcal{U}^\circ$, which we will denote by the same symbol, and similarly for the connections $\nabla$ and $\nabla^{\SK}$, which induce pullback connections denoted in the same way.

\begin{lemm}
There is a locally free sheaf $\mathcal{V}^\sharp$ on $\mathcal{U}$ such that for every $t\in\mathcal{K}$, the restriction $\mathcal{V}^\sharp\big|_{\mathcal{U}_t}$ of $\mathcal{V}^\sharp$ to the rational curve $\mathcal{U}_t$ equals the factor $\mathcal{O}^{\oplus\ell}$ in the splitting~\eqref{h7} for $\nu_t^*\Omega^1_B$.
\end{lemm}

\begin{proof}
For the sake of clarity, we first define the fiber $\mathcal{V}^\sharp$ at any point on $\mathcal{U}_t\cong\mathbb{P}^1$. For this, we consider $\nu_t^*\Omega^1_B,$ which from the splitting~\eqref{h7} is isomorphic to $\mathcal{O}(-a_1)\oplus\cdots\oplus \mathcal{O}(-a_{n-\ell})\oplus \mathcal{O}^{\oplus\ell}$. Its space of global sections $H^0(\mathcal{U}_t, \nu_t^*\Omega^1_B)$ is then $\ell$-dimensional, and we can find a basis of such sections which are linearly independent at all points of $\mathbb{P}^1$. The fiber of $\mathcal{V}^\sharp$ at any point on $\mathcal{U}_t$ is then defined as the linear span of any given basis of $H^0(\mathcal{U}_t, \nu_t^*\Omega^1_B)$.

To prove that this collection of $\ell$-dimensional vector spaces form a locally free sheaf, consider first the locally free sheaf $\mu^*\Omega^1_B$ on $\mathcal{U}$, and take its direct image sheaf $\rho_*\mu^*\Omega^1_B$. Since $h^0(\mathcal{U}_t, \mu^*\Omega^1_B|_{\mathcal{U}_t})=\ell$ is independent of $t$, Grauert's Theorem on direct images~\cite[Corollary~III.12.9]{Har} shows that $\rho_*\mu^*\Omega^1_B$ is a locally free sheaf on $\mathcal{K}$. We then set $\mathcal{V}^\sharp=\rho^*\rho_*\mu^*\Omega^1_B$, which is a locally free sheaf over $\mathcal{U}$ whose fibers agree with our previous description.
\end{proof}

Our main interest will be with the restriction of $\mathcal{V}^\sharp$ to $\mathcal{U}^\circ$, which will be denoted with the same notation. This is a holomorphic vector bundle over $\mathcal{U}^\circ$, which is naturally a subbundle of $\mu^*\Omega^1_{B^\circ}$. We then define a holomorphic subbundle $\mathcal{V}\subset \mu^*TB^\circ$ over $\mathcal{U}^\circ$ as the annihilator of $\mathcal{V}^\sharp$, namely
\[
\mathcal{V}=\{v\in \mu^*TB^\circ\ |\ \gamma(v)=0,\ \text{for all }\gamma\in \mathcal{V}^\sharp\}.
\]
For any $t\in\mathcal{K}$ we have that the restriction of $\mathcal{V}$ to $\mathcal{U}_t$ equals the factor $\mathcal{O}(a_1)\oplus\cdots\oplus \mathcal{O}(a_{n-\ell})$ in the splitting~\eqref{h5} for $\nu_t^*TB$. Observe that since the pullback morphism $\nu_t^*\Omega^1_{B}\to \Omega^1_{\mathbb{P}^1}$ dualizes to a nontrivial morphism $\mathcal{O}(2)\to \nu_t^*TB$, it follows that the tangent direction to the image of $\nu_t$ at any point on this curve (which is a line in $TB^\circ$) when pulled back via $\mu$ lies in the fiber of $\mathcal{V}$ over $\mathcal{U}_t$.


We then define a smooth complex subbundle $\mathcal{N}\subset \mu^*TB^\circ$ over $\mathcal{U}^\circ$ as the $g_{\SK}$-orthogonal complement of $\mathcal{V}$, and $\mathcal{N}^\sharp\subset \mu^*\Omega^1_{B^\circ}$ as its annihilator (or equivalently as the $g_{\SK}$-orthogonal complement of $\mathcal{V}^\sharp$), so that over $\mathcal{U}^\circ$ we have the splittings
\begin{equation}\label{ancorasplit}
\mu^*TB^\circ=\mathcal{V}\oplus\mathcal{N}, \quad \mu^*\Omega^1_{B^\circ}=\mathcal{V}^\sharp\oplus\mathcal{N}^\sharp.
\end{equation}
The bundles $\mathcal{N},\mathcal{N}^\sharp$ are not yet known to be holomorphic (we will prove this later on). Note also that the (complex antilinear) smooth isomorphism
\begin{equation}\label{isow}
\mu^*TB^\circ\to\mu^*\Omega^1_{B^\circ},
\end{equation}
defined by the metric $g_{\SK}$ (by ``lowering the index'' and conjugating) maps $\mathcal{N}$ isomorphically onto $\mathcal{V}^\sharp$.

\subsection{The rigidity theorem}We have the following rigidity statement:

\begin{theo}\label{rigid}
Given a rational curve $\mathcal{U}_t$ for some $t\in \mathcal{K}$, with morphism $\nu_t:\mathbb{P}^1\to B$, and given a section $u\in H^0(\mathbb{P}^1,\mathcal{V}^\sharp\big|_{\mathcal{U}_t})$, let $\nu_t^*h_{\SK}$ be the smooth metric on $\nu_t^*\Omega^1_B$ over $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ induced by $g_{\SK}$, and let $R_{\nu_t^*h_{\SK}}$ be its curvature. Then we have:
\begin{enumerate}\alphenumi
\item \label{16a} On $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ we have
\begin{equation}\label{new1}
\langle R_{\nu_t^*h_{\SK}}(u),u\rangle_{\nu_t^*h_{\SK}}=0.
\end{equation}
\item \label{16b} Let $\zeta$ be the smooth section of $\mathcal{N}\big|_{\mathcal{U}_t}$ over $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ which corresponds to $u$ under~\eqref{isow}, and let $\alpha$ be a tangent vector to $\nu_t(\mathbb{P}^1)$. Then at any point on $\nu_t(\mathbb{P}^1)\cap B^\circ$ the curvature tensor of $g_{\SK}$ satisfies
\begin{equation}\label{crux}
R_{\alpha\ov{\alpha}\zeta\ov{\zeta}}=0,
\end{equation}
and hence
\begin{equation}\label{crux2}
\Xi(\alpha,\zeta,\beta)=0,\quad\text{for all }\beta\in TB^\circ.
\end{equation}
\item \label{16c} For $\zeta$ as in (b), and for any section~$v\in H^0(\mathbb{P}^1,\mathcal{V}\big|_{\mathcal{U}_t})$, at any point on $\nu_t(\mathbb{P}^1)\cap B^\circ$ we have
\begin{equation}\label{cruxa}
R_{v\ov{v}\zeta\ov{\zeta}}=0,
\end{equation}
as well as
\begin{equation}\label{cruxa2}
\Xi(v,\zeta,\beta)=0,\quad\text{for all }\beta\in TB^\circ.
\end{equation}
\item \label{16d} Every section $u\in H^0(\mathbb{P}^1,\mathcal{V}^\sharp\big|_{\mathcal{U}_t})$ is parallel on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ with respect to the Chern connection $\nabla$ induced by $\omega_{\SK}$.
\item \label{16e} The splitting $\nu_t^*\Omega^1_B=\mathcal{V}^\sharp\big|_{\mathcal{U}_t}\oplus \mathcal{N}^\sharp\big|_{\mathcal{U}_t}$ is preserved by $\nabla$.
\end{enumerate}
\end{theo}

\begin{proof}\ 
\begin{proof}[(\ref{16a})]
Equip $\mathcal{V}^\sharp\big|_{\mathcal{U}_t}$ with the smooth metric $h$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ induced by $\omega_{\SK}$ via $\mathcal{V}^\sharp\big|_{\mathcal{U}_t}\hookrightarrow\nu_t^*\Omega^1_B\to \Omega^1_B$. Since $\omega_{\SK}$ has nonnegative bisectional curvature, the induced metric on $\Omega^1_B$ (and hence also the one on $\nu_t^*\Omega^1_B$) is Griffiths nonpositively curved, and since curvature decreases in subbundles, the metric $h$ is also Griffiths nonpositively curved.

As in~\eqref{xyp}, on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$ we have
\begin{equation}\label{xjp}
\begin{split}
\ddbar\log|u|^2_h&=\frac{|\nabla u|^2_h}{|u|^2_h}-\frac{|\langle\nabla u,u\rangle_h|^2}{|u|^4_h}-\frac{\langle R_{h}(u),u\rangle_h}{|u|^2_h}\\
&\geq -\frac{\langle R_{h}(u),u\rangle_h}{|u|^2_h}\\
&\geq 0.
\end{split}
\end{equation}
Thus $\log|u|^2_h$ is psh on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$, and again using~\eqref{sl} we see that
\[
\sup_{\mathbb{P}^1\backslash \nu_t^{-1}(D)}\log|u|^2_h\leq C+\sup_{\mathbb{P}^1\backslash \nu_t^{-1}(D)}\log|u|^2_{\nu_t^*h_B}<\infty,
\]
where $h_B$ is the smooth metric on $\Omega^1_B$ induced by $\omega_B$. Thus $\log|u|^2_h$ is bounded above, and by the Grauert--Remmert extension theorem~\cite{GR} it extends to a global psh function on $\mathbb{P}^1$, which is therefore constant.

Thus $|u|^2_h$ is a nonzero constant, and from~\eqref{xjp} we deduce that
\begin{equation}
\langle R_{h}(u),u\rangle_h=0,
\end{equation}
on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$.
But using again the curvature decreasing property, we have
\[
0=\langle R_{h}(u),u\rangle_h\leq \langle R_{\nu_t^*h_{\SK}}(u),u\rangle_{\nu_t^*h_{\SK}}\leq 0,
\]
and so
\begin{equation}
\langle R_{\nu_t^*h_{\SK}}(u),u\rangle_{\nu_t^*h_{\SK}}=0,
\end{equation}
on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$, which proves~\eqref{new1}.
\let\qed\relax
\end{proof}

\begin{proof}[(\ref{16b})]
Since $\alpha\in TB^\circ$ is a tangent vector to $\nu_t(\mathbb{P}^1)$ and since $u$ is equal to the image of $\zeta$ under~\eqref{isow}, we have
\[
0=\langle R_{\nu_t^*h_{\SK}}(u),u\rangle_{\nu_t^*h_{\SK}}=-R_{\alpha\ov{\alpha}\zeta\ov{\zeta}},
\]
which proves~\eqref{crux}. The identity~\eqref{crux2} is then a consequence of~\eqref{curv}.
\let\qed\relax
\end{proof}

\begin{proof}[(\ref{16c})]
Given $v\in H^0(\mathbb{P}^1,\mathcal{V}\big|_{\mathcal{U}_t})$ and a point $x\in \nu_t(\mathbb{P}^1)\cap B^\circ$, we can find a holomorphic family $\{\nu_s\}_{s\in\Delta}$ of rational curves in $\mathcal{K}$ that pass through $x$, with tangent vectors $\alpha_s$ at $x$ (with $\Delta\subset\mathcal{K}$ a small disc in some chart centered at our original point $t\in\mathcal{K}$), and such that $\frac{\dd}{\ds}\big|_{s=t}\alpha_s=v(x).$ Let $w=\frac{\dd}{\ds}\nu_s$ be the first-order deformation (holomorphic) vector field on this family. When restricted to each $\mathcal{U}_s$, $w$ is a section of
\[
\nu_s^*TB^\circ=\mathcal{V}\big|_{\mathcal{U}_s}\oplus \mathcal{N}\big|_{\mathcal{U}_s}\cong\bigoplus_i \mathcal{O}(a_i)\oplus\mathcal{O}^{\oplus\ell},
\]
and since $w(x)=0$, it must be a section of the $\bigoplus_i \mathcal{O}(a_i)$ factors, namely a section of $\mathcal{V}\big|_{\mathcal{U}_s}$. Pick a smooth family $U$ of $1$-forms on this family, i.e. a $C^\infty$ section of the relative cotangent bundle, with $u_s:=U|_{\mathcal{U}_s}\in H^0(\mathbb{P}^1,\mathcal{V}^\sharp\big|_{\mathcal{U}_s})$, and with $u_t=u$. Then by definition along $\nu_s$ we have
\[
\iota_{w}U\big|_{\mathcal{U}_s}\equiv 0,
\]
for all $s\in\Delta$, and so along $\nu_t$ we have
\[
L_wU\big|_{\mathcal{U}_t}=(d\iota_{w}U)\big|_{\mathcal{U}_t}+(\iota_w dU)\big|_{\mathcal{U}_t}=(\iota_w dU)\big|_{\mathcal{U}_t},
\]
which vanishes at $x$ since $w(x)=0$.

We now use this to prove~\eqref{cruxa2}, which by~\eqref{curv} implies~\eqref{cruxa}. For this, let $\zeta_s,s\in\Delta,$ be the smooth section of $\mathcal{N}\big|_{\mathcal{U}_s}$ over $\mathbb{P}^1\backslash\nu_s^{-1}(D)$ which maps to $u_s$ under~\eqref{isow}, and recall that from~\eqref{crux2} at $x$ we have
\[
\Xi_x(\alpha_s,\zeta_s,\beta)=0,
\]
for all $s\in\Delta$. Taking $\frac{\dd}{\ds}\big|_{s=t}$ of this, we get
\begin{equation}\label{altern}
0=\Xi_x(v,\zeta,\beta)+\Xi_x(\alpha,L_w\zeta,\beta).
\end{equation}
Now at $x$ we have that $L_w\zeta$ is the vector that maps to $L_wU$ under~\eqref{isow}, since at $x$ the metric $g_{\SK}$ does not get differentiated as it does not depend on $s$. Since we have shown that $(L_wU)(x)=0$, we deduce that $(L_w\zeta)(x)=0$, and so~\eqref{cruxa2} follows from~\eqref{altern}.
\let\qed\relax
\end{proof}

\begin{proof}[(\ref{16d})]
Given a section $u\in H^0(\mathbb{P}^1,\nu_t^*\mathcal{V}^\sharp)$, an analogous computation as in \eqref{16a} gives
\begin{equation}\label{xjp2}
0=\ddbar|u|^2_h=|\nabla u|^2_h-\langle R_{h}(u),u\rangle_h=|\nabla u|^2_h,
\end{equation}
and so we conclude that $\nabla u=0$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$.
\let\qed\relax
\end{proof}

\begin{proof}[(\ref{16e})]
This is a direct consequence of part~\eqref{16d} and~\cite[Proposition~1.4.18]{Koba}.
\end{proof}
\let\qed\relax
\end{proof}

Given $x\in\mathcal{U}^\circ$ and $v\in\mathcal{V}_x, \zeta\in\mathcal{N}_x$, recall from~\eqref{ancorasplit} that
\begin{equation}\label{ankorasplit}
\mathcal{V}_x\oplus \mathcal{N}_x=T_{\mu(x)}B^\circ,
\end{equation}
so we can view $v$ and $\zeta$ also as tangent vectors in $B^\circ$. With this in mind, we have the following useful corollary:

\begin{coro}\label{koro}
Let $x\in\mathcal{U}^\circ$, and let $v\in\mathcal{V}_x, \zeta\in\mathcal{N}_x$. Then at $\mu(x)\in B^\circ$ the curvature of the metric $g_{\SK}$ satisfies
\begin{equation}\label{cruxb}
R_{v\ov{v}\zeta\ov{\zeta}}=0,
\end{equation}
as well as
\begin{equation}\label{cruxb2}
\Xi(v,\zeta,\beta)=0,\quad\text{for all }\beta\in T_{\mu(x)}B^\circ.
\end{equation}
\end{coro}

\begin{proof}
Let $t\in \mathcal{K}$ be such that the corresponding rational curve $\mathcal{U}_t$ contains $x$, and as usual denoted by $\nu_t:\mathbb{P}^1\to B$ the corresponding morphism. Since $\mathcal{V}\big|_{\mathcal{U}_t}\cong\oplus_i \mathcal{O}(a_i),$ $a_i>0,$ is a globally generated vector bundle, we can find a global section~$V\in H^0(\mathbb{P}^1,\mathcal{V}\big|_{\mathcal{U}_t})$ such that $V(x)=v$. Let then $u\in\mathcal{V}^\sharp_x$ be the covector which is the image of $\zeta$ under~\eqref{isow}. Since $\mathcal{V}^\sharp\big|_{\mathcal{U}_t}\cong\mathcal{O}^{\oplus\ell}$ is a trivial vector bundle, we can find a global section $U\in H^0(\mathbb{P}^1,\mathcal{V}^\sharp\big|_{\mathcal{U}_t})$ such that $U(x)=u$. Then Theorem~\ref{rigid}$\MK$\eqref{16c} applies to $U$ and $V$, and~\eqref{cruxb}, \eqref{cruxb2} follow from~\eqref{cruxa}, \eqref{cruxa2}.
\end{proof}


\section{The Ricci curvature in the direction of \texorpdfstring{$\mathcal{N}$}{N}}\label{se5}

Given $x\in \mathcal{U}^\circ$ and vectors $v\in\mathcal{V}_x, \zeta\in\mathcal{N}_x$ (which we can also view as tangent vectors in $T_{\mu(x)}B^\circ$ using~\eqref{ankorasplit}), Corollary~\ref{koro} shows that at $\mu(x)$ the Riemann curvature tensor of $g_{\SK}$ satisfies
\[
R_{v\ov{v}\zeta\ov{\zeta}}=0.
\]
As customary, we define the ``rough Laplacian'' of the Riemann curvature tensor of $g_{\SK}$, evaluated on $v,\zeta$ by
\[
\Delta R_{v\ov{v}\zeta\ov{\zeta}}=\frac{1}{2}\left(\sum_i\nabla_i \nabla_{\ov{i}}R_{v\ov{v}\zeta\ov{\zeta}}+\sum_i \nabla_{\ov{i}}\nabla_iR_{v\ov{v}\zeta\ov{\zeta}}\right),
\]
where $\{e_i\}$ is a local unitary frame.

The following is the main result of this section:

\begin{theo}\label{sudore}
Given $x\in \mathcal{U}^\circ$ and $v\in\mathcal{V}_x, \zeta\in\mathcal{N}_x$, then at $\mu(x)$ we have
\begin{equation}\label{rattus}
\Delta R_{v\ov{v}\zeta\ov{\zeta}}=0,\quad R_{v\ov{\zeta}\beta\ov{\gamma}}=0,\quad \text{for all }\beta,\gamma\in T_{\mu(x)}B^\circ.
\end{equation}
\end{theo}

Let $t\in \mathcal{K}$ be such that the corresponding rational curve $\mathcal{U}_t$ contains $x$, and as usual denoted by $\nu_t:\mathbb{P}^1\to B$ the corresponding morphism. As in the proof of Corollary~\ref{koro}, we can extend $v$ to a section~$v\in H^0(\mathbb{P}^1,\mathcal{V}\big|_{\mathcal{U}_t})$ and we can find a section $u\in H^0(\mathbb{P}^1,\mathcal{V}^\sharp\big|_{\mathcal{U}_t})$ such that the image of $u$ under~\eqref{isow} is a smooth section $\zeta\in \mathcal{N}|_{\mathcal{U}_t}$ over $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ which extends the given vector $\zeta$. The Ricci curvature $R_{\zeta\ov{\zeta}}$ along this curve and evaluated at $\zeta$ will also be denoted by $\Ric_{g_{\SK}}(u,\ov{u})$, which is a smooth function on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$.

We wish to show that $\Ric_{g_{\SK}}(u,\ov{u})$ is a constant function on $\mathbb{P}^1\backslash\nu^{-1}(D)$. We will proceed in steps.

\subsection{Subharmonicity of\/ \texorpdfstring{$\Ric_{g_{\SK}}(u,\oldbar{u})$}{Ric gSK(u, bar u)}}

To start, we prove the following:

\begin{prop}\label{subh}
The function $\Ric_{g_{\SK}}(u,\ov{u})$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ is subharmonic.
\end{prop}

\begin{proof}
On $B^\circ$ define for $0\leq s\ll 1$
\[
g_s = g_{\SK} - s \Ric_{g_{\SK}}.
\]
It is clear that given any compact $K\Subset B^\circ$ there is some $0<s_K\ll 1$ such that $g_s$ is a Kähler metric on $K$ for $0\leq s\leq s_K$.

Standard direct computations (cf.~\cite[p.~185]{Mok}) show that given any $x\in B^\circ$ and two nonzero $(1,0)$ tangent vectors $v,\zeta$ at $x$, we have the evolution equation at $x$ and $s=0$ for the bisectional curvature of $g_s$ evaluated along $v$ and $\zeta$
\begin{equation}\label{evolviti}
\frac{\de}{\de s}\bigg|_{s=0}R(g_s)_{v\ov{v}\zeta\ov{\zeta}}=\Delta R_{v\ov{v}\zeta\ov{\zeta}}+F(R)_{v\ov{v}\zeta\ov{\zeta}},
\end{equation}
where, as in Mok~\cite{Mok}, we define
\[
F(R)_{v\ov{v}\zeta\ov{\zeta}}=\sum_{\mu,\nu}R_{v\ov{v}\mu\ov{\nu}}R_{\zeta\ov{\zeta}\nu\ov{\mu}}-\sum_{\mu,\nu}|R_{v\ov{\mu}\zeta\ov{\nu}}|^2
+\sum_{\mu,\nu}|R_{v\ov{\zeta}\mu\ov{\nu}}|^2-\Reop \left(R_{v\ov{\mu}}R_{\mu\ov{v}\zeta\ov{\zeta}}+R_{\zeta\ov{\mu}}R_{v\ov{v}\mu\ov{\zeta}}\right).
\]
Equation~\eqref{evolviti} is identical to the corresponding evolution of the bisectional curvature in the directions~$v,\zeta$ along the Kähler--Ricci flow, see~\cite{Mok}. Thanks to the crucial Lemma~\ref{zat} below, we see that
\begin{equation}\label{final}
\frac{\de}{\de s}\bigg|_{s=0}R(g_s)_{v\ov{v}\zeta\ov{\zeta}}(x)\geq 0.
\end{equation}
Equip $\nu_t^*\Omega^1_B$ over the compact set $\nu_t^{-1}(K)$ with the Hermitian metric $h_s$ induced by $g_s$. At any point $y\in \nu_t^{-1}(K)$ for $0\leq s\leq s_K$, using the argument in~\eqref{xjp}, we have
\begin{equation}\label{sat}
\ddbar\log|u|^2_{h_s}+\frac{\langle R_{h_s}(u),u\rangle_{h_s}}{|u|^2_{h_s}}\geq 0.
\end{equation}
We know from Theorem~\ref{rigid}$\MK$\eqref{16d}, that $u$ is parallel with respect to $h_0$ (the metric induced by $g_{\SK}$), hence (assuming without loss that $u$ is nontrivial) we can scale and assume without loss that $|u|^2_{h_0}\equiv 1$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$. On the other hand, from Theorem~\ref{rigid}$\MK$\eqref{16a}, we know that~\eqref{new1} holds, and so
\[
\langle R_{h_0}(u),u\rangle_{h_0}=0.
\]
Thus the LHS of~\eqref{sat} vanishes at $y$ for $s=0$ and is nonnegative for $0\leq s\leq s_K$, hence at $y$ we have
\begin{equation}\label{zatt}
\begin{split}
0&\leq \frac{\de}{\de s}\bigg|_{s=0}\left(\ddbar\log|u|^2_{h_s}+\frac{\langle R_{h_s}(u),u\rangle_{h_s}}{|u|^2_{h_s}}\right)\\
&=\ddbar\left(\frac{\de}{\de s}\bigg|_{s=0}|u|^2_{h_s}\right)+\frac{\de}{\de t}\bigg|_{t=0}\langle R_{h_s}(u),u\rangle_{h_s},
\end{split}
\end{equation}
and writing $u=u_j \dz^j$ and $|u|^2_{h_s}=u_i \ov{u_{j}}g_s^{i\ov{j}}$, observe that
\[
\frac{\de}{\de s}\bigg|_{s=0}\left(u_i \ov{u_{j}}g_s^{i\ov{j}}\right)=-u_i \ov{u_{j}}g_{\SK}^{i\ov{s}}g_{\SK}^{r\ov{j}}\frac{\de}{\de s}\bigg|_{s=0}g_{s,r\ov{s}}
=u_i \ov{u_{j}}g_{\SK}^{i\ov{s}}g_{\SK}^{r\ov{j}}R_{r\ov{s}}=\Ric_{g_{\SK}}(u,\ov{u}).
\]
Furthermore, we can write
\[
\langle R_{h_s}(u),u\rangle_{h_s}=-R(g_s)_{v\ov{v}i\ov{j}}g_s^{i\ov{q}} g_s^{p\ov{j}}u_p\ov{u_q},
\]
so
\[
\frac{\de}{\de s}\bigg|_{s=0}\langle R_{h_s}(u),u\rangle_{h_s}=-\frac{\de}{\de s}\bigg|_{s=0}R(g_s)_{v\ov{v}\zeta\ov{\zeta}}-
R_{v\ov{v}i\ov{\zeta}}R_{\zeta\ov{i}}-R_{v\ov{v}\zeta\ov{i}}R_{\ov{\zeta}i},
\]
but the last two terms vanish since using~\eqref{curv} and~\eqref{cruxa2}, we can write
\[
R_{v\ov{v}i\ov{\zeta}}=\Xi_{v i q}\ov{\Xi_{v\zeta q}}=0, \quad R_{v\ov{v}\zeta\ov{i}}=\Xi_{v\zeta q}\ov{\Xi_{v i q}}=0,
\]
and putting these all together gives
\begin{equation}\label{zatt2}
\begin{split}
0&\leq\ddbar\left(\Ric_{g_{\SK}}(u,\ov{u})\right)-\frac{\de}{\de s}\bigg|_{s=0}R(g_s)_{v\ov{v}\zeta\ov{\zeta}}\\
&\leq \ddbar\left(\Ric_{g_{\SK}}(u,\ov{u})\right),
\end{split}
\end{equation}
using~\eqref{final}. Since $K\Subset B^\circ$ is arbitrary, this shows that the function $\Ric_{g_{\SK}}(u,\ov{u})$ is subharmonic on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$.
\end{proof}

We used the following lemma, which is the analog of ``condition $(\sharp)$'' in Mok, but the proof here is substantially easier:

\begin{lemm}\label{zat}
In the setting of Theorem~\ref{sudore}, at $\mu(x)$ we have
\[
\Delta R_{v\ov{v}\zeta\ov{\zeta}}\geq 0,\quad F(R)_{v\ov{v}\zeta\ov{\zeta}}\geq 0.
\]
\end{lemm}
\begin{proof}
Recall from~\eqref{curv} that
\[
R_{i\ov{j}k\ov{\ell}}=g_{\SK}^{p\ov{q}}\Xi_{ikp}\ov{\Xi_{j\ell q}}.
\]
From~\eqref{cruxb} we then see that at $\mu(x)$ we have
\[
0=R_{v\ov{v}\zeta\ov{\zeta}}=\sum_\beta|\Xi_{v\zeta\beta}|^2,
\]
and so $\Xi_{v\zeta\beta}(x)=0$ for all $\beta\in T_{\mu(x)}B^\circ$, and furthermore for all $\mu,\nu\in T_{\mu(x)}B^\circ$
\[
0=\sum_\beta \Xi_{v\zeta\beta}\ov{\Xi_{\mu\nu\beta}}=R_{v\ov{\mu}\zeta\ov{\nu}}.
\]

Now take the definition of $\Delta R$ and use~\eqref{curv} and the fact that $\Xi$ is holomorphic to get
\[
\Delta R_{v\ov{v}\zeta\ov{\zeta}}=\sum_{i,p}|\nabla_i \Xi_{v\zeta p}|^2+\sum_{i,p}\Reop (\ov{\Xi_{v\zeta p}}\nabla_{\ov{i}}\nabla_i\Xi_{v\zeta p})=\sum_{i,p}|\nabla_i \Xi_{v\zeta p}|^2\geq 0,
\]
since $\Xi_{v\zeta p}(x)=0$. For the $F(R)$ term, from its definition we see that at $\mu(x)$ we have
\[
F(R)_{v\ov{v}\zeta\ov{\zeta}}=\sum_{\mu,\nu}R_{v\ov{v}\mu\ov{\nu}}R_{\zeta\ov{\zeta}\nu\ov{\mu}}
+\sum_{\mu,\nu}|R_{v\ov{\zeta}\mu\ov{\nu}}|^2.
\]
As in Mok~\cite[(7)]{Mok}, if we pick $\{e_\mu\}$ a unitary basis of eigenvectors of the Hermitian form $H_v(\mu,\nu)=R_{v\ov{v}\mu\ov{\nu}}$, then in this basis we see that
\begin{equation}\label{musmusculus}
F(R)_{v\ov{v}\zeta\ov{\zeta}}=\sum_{\mu}R_{v\ov{v}\mu\ov{\mu}}R_{\zeta\ov{\zeta}\mu\ov{\mu}} +\sum_{\mu,\nu}|R_{v\ov{\zeta}\mu\ov{\nu}}|^2\geq 0.
\end{equation}
\end{proof}


\subsection{Constancy of\/ \texorpdfstring{$\Ric_{g_{\SK}}(u,\oldbar{u})$}{Ric}}

The next step is the following:

\begin{prop}\label{bdd}
The function $\Ric_{g_{\SK}}(u,\ov{u})$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ is constant.
\end{prop}

\begin{proof}
Since the function $\Ric_{g_{\SK}}(u,\ov{u})$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ is subharmonic by Proposition~\ref{subh}, it suffices to show that it is bounded.

Recall that, using~\eqref{ankorasplit}, our sections~$v,\zeta$ can be viewed as vector fields along $\nu_t(\mathbb{P}^1)\cap B^\circ$. Our first claim is that for every $y\in\nu_t(\mathbb{P}^1)\cap B^\circ$ and local sections~$v$ of $\mathcal{V}$ and $\zeta$ of $\mathcal{N}$ near $y$, we have
\begin{equation}\label{perp}
R_{v\ov{\zeta}}=0.
\end{equation}
Indeed, recall from~\eqref{curv} that
\[
R_{v\ov{\zeta}}=\sum_{p,q} \Xi_{v pq}\ov{\Xi_{\zeta pq}},
\]
where $\{e_p\}$ is a $g_{\SK}$-unitary frame at our point $y$. Since $\mu^*TB^\circ=\mathcal{V}\oplus\mathcal{N}$, we may choose the frame so that $e_j\in\mathcal{V}$ for $1\leq j\leq n-\ell,$ and $e_j\in\mathcal{N}$ for $n-\ell+1\leq j\leq n$. Recalling from~\eqref{cruxb2} that $\Xi_{uvw}=0$ whenever $u\in\mathcal{V}$ and $v\in\mathcal{N}$, we see that $\Xi_{v pq}=0$ except possibly when $1\leq p,q\leq n-\ell$, so that
\[
R_{v\ov{\zeta}}=\sum_{p,q=1}^{n-\ell} \Xi_{v pq}\ov{\Xi_{\zeta pq}}=0,
\]
since $\Xi_{\zeta pq}=0$ when $1\leq p,q\leq n-\ell$, proving our claim.

Recall that, as explained earlier, we may assume that $\nu_t(\mathbb{P}^1)$ intersects $D$ only at regular points of $D$ and that these intersections are transverse. To prove the boundedness of $\Ric_{g_{\SK}}(u,\ov{u})$ it suffices to prove near any of the finitely many points in $\nu_t^{-1}(D)$. Let $y$ be such a point, and choose an open neighborhood $U$ of $z=\nu_t(y)$ in $B$ with local holomorphic coordinates centered at $z$ such that $D\cap U=\{z_1=0\}$ and $\nu_t(\mathbb{P}^1)\cap U=\{z_2=\cdots=z_n=0\}$, so that $\de_1$ is tangent to the rational curve while $\de_2,\dots,\de_n$ are tangent to $D$. We will work on $\nu_t^{-1}(U\cap\{z_1\neq 0\})$ which in our chart is identified with $\{z_1\neq 0, z_2=\cdots=z_n=0\}=:V$.

Thanks to Proposition~\ref{riccicurb} we know that on $V$ we have
\begin{gather}\label{ricci3}
0\leq R_{i\ov{i}}\leq C,\quad 2\leq i\leq n,
\\
\label{ricci4}
0\leq R_{1\ov{1}}\leq \frac{C}{|z_1|^2}.
\end{gather}

Using~\eqref{sl}, together with the fact that $u$ is a holomorphic section on all of $\mathbb{P}^1$, we see that
\begin{equation}\label{l1}
\sup_{V}|\zeta|^2_{\nu_t^*g_B}\leq C\sup_{V}|u|^2_{\nu_t^*g_B}<\infty.
\end{equation}
In our coordinates we can write
\[
\zeta=\zeta^1\de_1+\sum_{j\geq 2}\zeta^j\de_j=:\zeta^1\de_1+\zeta_D,
\]
and the function $\zeta^1$ is equal to $\langle \dz_1,u\rangle_{g_{\SK}}$. From~\eqref{l1} we see that
\begin{equation}\label{l2}
\sup_{V}|\zeta_D|^2_{\nu_t^*g_{B}}<\infty,
\end{equation}
and from this and~\eqref{ricci3} we see that on $V$ we have
\begin{equation}\label{l3}
0\leq R_{\zeta_D\ov{\zeta_D}}\leq C.
\end{equation}

Since $\de_1$ is the tangent vector to $\nu_t(\mathbb{P}^1)$, it belongs to $\mathcal{V}\big|_{\mathcal{U}_t}$. On the other hand $\zeta$ belongs to $\mathcal{N}\big|_{\mathcal{U}_t}$, hence~\eqref{perp} (restricted to $V$) gives
\[
0=R_{1\ov{\zeta}}(z_1)=\ov{\zeta^1(z_1)}R_{1\ov{1}}(z_1)+R_{1\ov{\zeta_D}}(z_1),
\]
and since $\Ric_{g_{\SK}}\geq 0$ on $\{z_1\neq 0\}$, Cauchy--Schwarz together with~\eqref{ricci3} and~\eqref{l3} give
\[
|\zeta^1(z_1)| R_{1\ov{1}}(z_1)=|R_{1\ov{\zeta_D}}(z_1)|\leq R_{1\ov{1}}(z_1)^{\frac{1}{2}} R_{\zeta_D\ov{\zeta_D}}(z_1)^{\frac{1}{2}}\leq CR_{1\ov{1}}(z_1)^{\frac{1}{2}},
\]
i.e.
\[
|\zeta^1(z_1)| R_{1\ov{1}}(z_1)^{\frac{1}{2}}\leq C,
\]
and using again that $\Ric_{g_{\SK}}\geq 0$, together with~\eqref{l3} we can estimate
\[
\begin{split}
0\leq R_{\zeta\ov{\zeta}}(z_1)&\leq C|\zeta^1(z_1)|^2 R_{1\ov{1}}(z_1)+C R_{\zeta_D\ov{\zeta_D}}(z_1)\leq C,
\end{split}
\]
as desired.
\end{proof}


We can now conclude the proof of Theorem~\ref{sudore}, by showing that at $\mu(x)$ we have
\begin{equation}\label{zazz}
\Delta R_{v\ov{v}\zeta\ov{\zeta}}=0,\quad F(R)_{v\ov{v}\zeta\ov{\zeta}}= 0.
\end{equation}
Indeed, Proposition~\ref{bdd} shows that the function $\Ric_{g_{\SK}}(u,\ov{u})$ on $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ is constant, hence going back to~\eqref{zatt2} and recalling~\eqref{final} and~\eqref{evolviti} shows that
\[
0=\frac{\de}{\de s}\bigg|_{s=0}R(g_s)_{v\ov{v}\zeta\ov{\zeta}}=\Delta R_{v\ov{v}\zeta\ov{\zeta}}+F(R)_{v\ov{v}\zeta\ov{\zeta}}.
\]
Recalling Lemma~\ref{zat}, we see that~\eqref{zazz} holds. To finally deduce from~\eqref{zazz} that the last equality in~\eqref{rattus} holds, it suffices to plug in the fact that $F(R)_{v\ov{v}\zeta\ov{\zeta}}= 0$ into~\eqref{musmusculus}, and see that
\[
\sum_{\mu,\nu}|R_{v\ov{\zeta}\mu\ov{\nu}}|^2=0,
\]
as desired.



\section{Constructing a parallel subbundle of \texorpdfstring{$\mu^*TB^\circ$}{TB}}\label{se6}
Recall that above we have constructed a decomposition $\mu^*TB^\circ=\mathcal{V}\oplus \mathcal{N}$ over $\mathcal{U}^\circ$, where $\mathcal{V}$ is a nontrivial holomorphic subbundle, which is not equal to $\mu^*TB^\circ$ whenever $B\not\cong\mathbb{P}^n$.

The following is then our main theorem (Theorem~\ref{mainn}):

\begin{theo}\label{parall}
The holomorphic subbundle $\mathcal{V}\subset \mu^*TB^\circ$ over $\mathcal{U}^\circ$ is preserved by $\nabla$, the pullback of the Levi-Civita connection of $\omega_{\SK}$.
\end{theo}

Recall that by Theorem~\ref{prolisso2} $f$ is either of maximal variation or isotrivial. The proof of Theorem~\ref{parall} will be quite different in these two cases.

Observe that after Theorem~\ref{parall} is proved, it follows that the orthogonal complement $\mathcal{N}\subset \mu^*TB^\circ$ is also a holomorphic subbundle, preserved by $\nabla$, see e.g.~\cite[Proposition~1.4.18]{Koba}, and the same holds for their duals $\mathcal{V}^\sharp,\mathcal{N}^\sharp\subset\mu^*\Omega^1_{B^\circ}$.

\subsection{Maximal Variation Case} In this section we give the proof of Theorem~\ref{parall} in the case when $f$ has maximal variation. Recall from Corollary~\ref{prolisso} that in this case $g_{\SK}$ has positive Ricci curvature on $B^\circ$.

We work at a point $x\in \mathcal{U}^\circ$. Let $v$ be a local holomorphic section of $\mathcal{V}$ near $x$, and let $\gamma:(-\ve,\ve)\to \mathcal{U}^\circ$ be a smooth curve with $\gamma(0)=x,\dot{\gamma}(0)=\eta\neq 0$. The goal of Theorem~\ref{parall} is then to show that $\nabla_\eta v\in\mathcal{V}$. Using the decomposition $\mu^*TB^\circ=\mathcal{V}\oplus\mathcal{N}$, we can write
\[
\nabla_\eta v=-\xi-\zeta,\quad \xi\in \mathcal{V}_x, \zeta\in\mathcal{N}_x,
\]
(the minus sign is only to match the notation in Mok~\cite{Mok}), so we wish to show that $\zeta=0$. The following argument is a modification of a result of Mok~\cite[Proposition~3.1$'$]{Mok}, specifically of equation~(21) on p.~211:
\begin{prop}
At $\mu(x)$ we have
\begin{equation}\label{vanish}
R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}}=0,
\end{equation}
for all $\zeta'\in\mathcal{N}_x$.
\end{prop}

Here and in the following we are again using~\eqref{ankorasplit} to view $\zeta,\zeta'$ also as tangent vectors in $T_{\mu(x)}B^\circ$. Also, since $\nabla$ is the pullback connection, when taking $\nabla_v$ for some $v\in T\mathcal{U}^\circ$ it is really only $\mu_*(v)\in TB^\circ$ that enters.
\begin{proof}
For $t\in (-\ve,\ve)$, let $\beta(t)$ be the parallel transport of $v(x)$ along $\gamma$, let $v(t)=v|_{\gamma(t)}$, and define $\xi(t),\zeta(t)$ by
\[
\beta(t)=v(t)+t\xi(t)+t\zeta(t),\quad \xi(t)\in \mathcal{V}_{\gamma(t)}, \zeta(t)\in\mathcal{N}_{\gamma(t)},
\]
so that
\[
0=\nabla_\eta\beta(0)=\nabla_\eta v+\xi(0)+\zeta(0),
\]
and so we see that $\xi(0)=\xi,\zeta(0)=\zeta$. Given an arbitrary $\zeta'\in\mathcal{N}_x$, let $\chi(t)$ be the parallel transport of $\zeta'$ along $\gamma$, so that $\chi(0)=\zeta'$ and $\nabla_{\dot{\gamma}(t)}\chi(t)=0$. We can also write
\[
\chi(t)=\zeta'(t)+t\theta(t),\quad \zeta'(t)\in \mathcal{N}_{\gamma(t)}, \theta(t)\in\mathcal{V}_{\gamma(t)},
\]
and $\zeta'(0)=\zeta'$. We can expand at the point $\gamma(t)$
\begin{multline*}
R_{\beta(t)\ov{\beta(t)}\chi(t)\ov{\chi(t)}}=R_{v\ov{v}\zeta'\ov{\zeta'}}+t\left(2\Reop R_{v\ov{v}\zeta'\ov{\theta}}+2\Reop R_{v\ov{\xi}\zeta'\ov{\zeta'}}+ 2\Reop R_{v\ov{\zeta}\zeta'\ov{\zeta'}}\right)\\
+t^2\Big(R_{v\ov{v}\theta\ov{\theta}}+2\Reop R_{v\ov{\xi}\zeta'\ov{\theta}}+2\Reop R_{v\ov{\zeta}\zeta'\ov{\theta}} +2\Reop R_{v\ov{\xi}\theta\ov{\zeta'}}+2\Reop R_{v\ov{\zeta}\theta\ov{\zeta'}}\\
+R_{\xi\ov{\xi}\zeta'\ov{\zeta'}}+R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}}+2\Reop R_{\xi\ov{\zeta}\zeta'\ov{\zeta'}}\Big)+O(t^3),
\end{multline*}
where $O(t^3)$ denotes a vector-valued function of length bounded above by $Ct^3$. Recalling~\eqref{curv}, we can express the curvature tensor in terms of $\Xi$, and since $\Xi(v,\zeta',\beta)=\Xi(\xi,\zeta',\beta)=0$ for all $\zeta'\in\mathcal{N}_x$ and all $\beta\in T_{\mu(x)}B^\circ$ (by Corollary~\ref{koro}), many terms in this expansion vanish. Using furthermore that $R_{v\ov{\zeta}\beta\ov{\delta}}=0$ for all $\beta,\delta\in T_{\mu(x)}B^\circ$ (by Theorem~\ref{sudore}), the expression finally reduces to
\[
\begin{split}
R_{\beta(t)\ov{\beta(t)}\chi(t)\ov{\chi(t)}}&=t^2\Big(R_{v\ov{v}\theta\ov{\theta}}+R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}}\Big)+O(t^3).
\end{split}
\]
Defining (similarly to Mok)
\[
A=R_{v\ov{v}\theta\ov{\theta}}+R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}},
\]
and since the bisectional curvature is nonnegative, we have $R_{v\ov{v}\theta\ov{\theta}}\geq 0$, and so
\begin{equation}\label{ena}
A\geq R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}}.
\end{equation}
At this point notice that
\begin{equation}\label{dva}
A=\frac{1}{2}\frac{\dd^2}{\dt^2}\bigg|_{t=0}R_{\beta(t)\ov{\beta(t)}\chi(t)\ov{\chi(t)}}=\nabla^2_{\eta\eta}R_{v\ov{v}\zeta'\ov{\zeta'}},
\end{equation}
using that $\beta(t),\chi(t)$ are parallel along $\gamma$ and that $\nabla$ is a pullback connection. On the other hand we claim that at $x$ we have
\[
\nabla^2_{ww}R_{v\ov{v}\zeta'\ov{\zeta'}}\geq 0,
\]
for all real tangent vectors $w$ at $x$. Indeed, pick a curve in $\mathcal{U}^\circ$ passing through $x$ and tangent to $w$, and let $\ti{v}(t),\ti{\zeta}'(t)$ be the parallel transport of $v,\zeta'$ along this curve, then
$R_{\ti{v}(t)\overline{\ti{v}(t)}\ti{\zeta}'(t)\overline{\ti{\zeta}'(t)}}\geq 0,$ and $R_{v\ov{v}\zeta'\ov{\zeta'}}=0$ by Corollary~\ref{koro}, and so
\[
0\leq \frac{\dd^2}{\dt^2}\bigg|_{t=0}R_{\ti{v}(t)\overline{\ti{v}(t)}\ti{\zeta}'(t)\overline{\ti{\zeta}'(t)}}=\nabla^2_{ww}R_{v\overline{v}\zeta'\overline{\zeta'}},
\]
as claimed. But recall that Theorem~\ref{sudore} showed that $\Delta R_{v\ov{v}\zeta'\zeta'}=0$, and since this is an average of terms of the form $\nabla^2_{ww}R_{v\ov{v}\zeta'\ov{\zeta'}}$ as $\mu_*(w)$ varies among all $g_{\SK}$-unit tangent vectors at $\mu(x)$, we see that necessarily $\nabla^2_{ww}R_{v\ov{v}\zeta'\ov{\zeta'}}=0$ for all $w$. Using~\eqref{ena} and~\eqref{dva} we get
\[
0=\nabla^2_{\eta\eta}R_{v\ov{v}\zeta'\ov{\zeta'}}=2A\geq R_{\zeta\ov{\zeta}\zeta'\ov{\zeta'}}\geq 0,
\]
which proves~\eqref{vanish}.
\end{proof}

Now that~\eqref{vanish} is established, we can show that $\zeta=0$ as follows: combining~\eqref{vanish} with~\eqref{curv} gives
\[
\Xi(\zeta,\zeta',\beta)=0,
\]
for all $\beta\in T_{\mu(x)}B^\circ$ and all $\zeta'\in\mathcal{N}_x$. But thanks to Corollary~\ref{koro} we also have
\[
\Xi(\zeta,\mu,\beta)=0,
\]
for all $\beta\in T_{\mu(x)}B^\circ$ and all $\mu\in\mathcal{V}_x,$ and since $T_{\mu(x)}B^\circ\cong \mathcal{V}_x\oplus\mathcal{N}_x$, it follows that
\[
\Xi(\zeta,\mu,\beta)=0,
\]
for all $\mu, \beta\in T_{\mu(x)}B^\circ$. From the formula for the curvature tensor,
\[
\Ric_{g_{\SK}}(\zeta,\ov{\zeta})=\sum_{p,q}|\Xi(\zeta,e_p,e_q)|^2=0.
\]
Since we assume $f$ of maximal variation, $\Ric_{g_{\SK}}>0$ on $B^\circ$, and so $\zeta=0$. This concludes the proof of Theorem~\ref{parall} when $f$ has maximal variation.


\subsection{Isotrivial Case} In this section we give the proof of Theorem~\ref{parall} in the case when $f$ is isotrivial, and so $\omega_{\SK}$ is flat by Corollary~\ref{prolisso}. We wish to show that the subbundle $\mathcal{V}\subset \mu^*TB^\circ$ is parallel under $\nabla$, and by duality this is equivalent to showing that $\mathcal{V}^\sharp\subset \mu^*\Omega^1_{B^\circ}$ is parallel under $\nabla$. Recall that $\rho:\mathcal{U}\to\mathcal{K}$ is a $\mathbb{P}^1$-bundle. Thus, given $x\in \mathcal{U}^\circ$ and $v\in T_x\mathcal{U}^\circ$, we can decompose $T_x\mathcal{U}^\circ$ as the direct sum of the tangent line to the vertical $\mathbb{P}^1$ direction and a complementary subspace, and thus write $v=v_1+v_2,$ where $v_1$ is tangent to a rational curve $\mathcal{U}_t$ (for some $t\in\mathcal{K}$) that contains $x$ (which on $\mathcal{U}_t$ corresponds to a point $y\in\mathbb{P}^1$) and $v_2$ is transverse to $\mathcal{U}_t$. The rational curve morphism will be as usual denoted by $\nu_t:\mathbb{P}^1\to B$. We may also assume that $\nu_t(\mathbb{P}^1)$ intersects $D$ only at regular points of $D$. Since $\nu_t$ is free, we can deform it in a $1$-parameter family $\pi:\mathbb{P}^1\times\Delta\to B$, with $s\in\Delta$ (where $\Delta\subset\mathcal{K}$ is a small disc in some chart centered at $t\in\mathcal{K}$), such that $\nu_s:=\pi(\cdot, s):\mathbb{P}^1\to B$ are rational curves in $\mathcal{K}$ which are also not contained in $D$ and such that the first order deformation vector $\frac{\de}{\de s}\big|_{s=t}\nu_s\in H^0(\mathbb{P}^1,\nu_t^*TB)$ agrees with $v_2$ at $x$. Up to shrinking $\Delta$, we have a natural inclusion $\sigma:\mathbb{P}^1\times \Delta\hookrightarrow \mathcal{U}$ such that $\mu\circ\sigma=\pi$. The intersection $\sigma(\mathbb{P}^1\times \Delta)\cap \mathcal{U}^\circ$ is Zariski open in $\sigma(\mathbb{P}^1\times \Delta)$ and contains the point $(y,0)$.

We then choose a smooth $(1,0)$ vector field $V$ on $\mathbb{P}^1\times\Delta$ which restricted to $\mathbb{P}^1\times\{0\}$ is the first order deformation vector, and so it satisfies $d\sigma_{(y,0)}(V)=v_2$. To prove that $\mathcal{V}^\sharp$ is preserved by $\nabla_v$ at $x$, it will suffice to construct a smooth frame $u_1,\dots, u_\ell$ for $\sigma^*\mathcal{V}^\sharp$ over $\mathbb{P}^1\times\Delta$ such that
\begin{equation}\label{desire}
(\nabla_V u_i)(y,0)\in\sigma^*\mathcal{V}^\sharp_x,\quad 1\leq i\leq \ell,
\end{equation}
where $\nabla$ also denotes the pullback connection, since by Theorem~\ref{rigid}$\MK$\eqref{16d} we have that along $\nu_t$
\[
(\nabla_{v_1} u_i)(x)=0.
\]

For every $s\in\Delta$, $\sigma^*\mathcal{V}^\sharp\big|_{\mathbb{P}^1\times \{s\}}$ is a trivial vector bundle of rank $\ell$ over $\nu_s$, which over $\mathbb{P}^1\backslash\nu_s^{-1}(D)$ is equipped with the metric induced by $\omega_{\SK}$. For each $s\in\Delta$ we can then choose a global holomorphic frame $u_1(s),\dots, u_\ell(s)\in H^0(\mathbb{P}^1, \sigma^*\mathcal{V}^\sharp\big|_{\mathbb{P}^1\times \{s\}})$, smoothly dependent on $s\in\Delta$. Thanks to Theorem~\ref{rigid}$\MK$\eqref{16d}, each $u_i(s)$ is parallel (with respect to the connection induced by $\omega_{\SK}$) over $\mathbb{P}^1\backslash\nu_s^{-1}(D)$. Varying $s$, these sections define a smooth frame $u_1,\dots,u_\ell$ of $\sigma^*\mathcal{V}^\sharp$ over $\mathbb{P}^1\times\Delta$, which is parallel when restricted to each $(\mathbb{P}^1\times\{s\})\cap\pi^{-1}(B^\circ)$. Fix now any $1\leq i\leq \ell$, and recall that
\begin{equation}\label{splitting}
\pi^*\Omega^1_{B^\circ}=\sigma^*\mathcal{V}^\sharp\oplus\sigma^*\mathcal{N}^\sharp,
\end{equation}
where $\mathcal{N}^\sharp$ is the annihilator of $\mathcal{N}\subset \mu^*TB^\circ$. Let $\mathcal{P}$ be the $g_{\SK}$-orthogonal projection onto the $\sigma^*\mathcal{N}^\sharp$ factor, which is defined on $\pi^{-1}(B^\circ)$ and consider
\[
\mathcal{P}(\nabla_V u_i),
\]
a smooth section of $\sigma^*\mathcal{N}^\sharp\subset\pi^*\Omega^1_{B^\circ}$ over $\pi^{-1}(B^\circ)$. Let also $\iota:\mathbb{P}^1\hookrightarrow \mathbb{P}^1\times \Delta$ be the embedding $z\mapsto (z,0)$, so $\pi\circ\iota=\nu_t$.

\begin{lemm}
The pullback $\iota^*(\mathcal{P}(\nabla_V u_i))$ to $\mathbb{P}^1\backslash\nu_t^{-1}(D)$ is a parallel section of $\mathcal{N}^\sharp\big|_{\mathcal{U}_t}$ over $\mathbb{P}^1\backslash\nu_t^{-1}(D)$.
\end{lemm}

\begin{proof}
We work at an arbitrary point in $\mathbb{P}^1\backslash\nu_t^{-1}(D)$, let $W$ be any local holomorphic vector field near our point which is tangent to the $\mathbb{P}^1$ factor.
Since the splitting
\[
\nu_s^*\Omega^1_{B^\circ}=\mathcal{V}^\sharp\big|_{\nu_s}\oplus\mathcal{N}^\sharp\big|_{\nu_s}
\]
is preserved by $\nabla$ (by Theorem~\ref{rigid}$\MK$\eqref{16e}), and since $g_{\SK}$ is flat, we have
\[
\begin{split}
\nabla_{W}(\iota^*(\mathcal{P}(\nabla_V u_i)))&=\iota^*(\nabla_{W}(\mathcal{P}(\nabla_V u_i)))\\
&=\iota^*(\mathcal{P}(\nabla_W\nabla_V u_i))\\
&=\iota^*(\mathcal{P}(\nabla_V \nabla_W u_i+\nabla_{[W,V]} u_i)).
\end{split}
\]
Now, since $u_i$ is parallel along the rational curve $\nu_s(\mathbb{P}^1)\backslash D$ for all $s\in\mathbb{C}$, we have that $\nabla_W u_i$ vanishes identically on $U\times \Delta$ and so
\[
\nabla_V \nabla_W u_i=0.
\]
Furthermore, $[W,V]=-L_VW$ is also tangent to $\nu_t(\mathbb{P}^1)$, so $\nabla_{[W,V]}u_i=0$ too.
\end{proof}

Since $\iota^*(\mathcal{P}(\nabla_V u_i))$ is parallel, it is in particular holomorphic over $\mathbb{P}^1\backslash\nu_t^{-1}(D)$. The following Lemma then implies that $\iota^*(\mathcal{P}(\nabla_V u_i))$ extends to a holomorphic section of $\nu_t^*\Omega^1_B$ over $\mathbb{P}^1$:

\begin{prop}
Let $w\in H^0(\mathbb{P}^1\backslash \nu_t^{-1}(D), \nu_t^*\Omega^1_B)$ be a holomorphic section which is parallel with respect to $\nabla$ (the Chern connection induced by $\omega_{\SK}$). Then $w$ extends to a holomorphic section of $\nu_t^*\Omega^1_B$ over all of $\mathbb{P}^1$.
\end{prop}

\begin{proof}
Since $w$ is parallel, its pointwise length $|w|^2_{\nu_t^*g_{\SK}}$ is constant on $\mathbb{P}^1\backslash \nu_t^{-1}(D)$. Recall that from~\eqref{sl} we have that
\begin{equation}\label{f1}
\omega_{\SK}\geq C^{-1}\omega_B,
\end{equation}
on $B^\circ$. Since $\nu_t^{-1}(D)$ is a finite subset of $\mathbb{P}^1$, we consider the extension problem of $w$ across each of these points, so let $y\in\nu_t^{-1}(D)$ be one of them. Recall that $D$ is regular at the point $x=\nu_t(y)$, and we can choose local holomorphic coordinates $z_1,\dots z_n$ on a chart $U$ centered at $x$ such that $D\cap U=\{z_1=0\}$. The volume form $\omega_{\SK}^n$ is given by a fiber integration as in~\eqref{fibber}, and its asymptotic behavior near $D$ is studied in~\cite[Theorem~2.1]{GTZ3} (see also~\cite{BJ, GTZ2} for the case when $\dim B=1$ and~\cite{Ki}, \cite{Taka2} for $\dim B$ arbitrary) where it is shown that
\begin{equation}\label{f2}
\omega_{\SK}^n\leq \frac{C}{|z_1|^{2(1-\gamma)}}(-\log|z_1|)^C \omega_B^n,
\end{equation}
on $U\cap \{z_1\neq 0\}$, for some $C>0$ and $\gamma\in (0,1]$. Combining~\eqref{f1} and~\eqref{f2} gives the crude bound
\begin{equation}\label{f3}
\omega_{\SK}\leq \frac{C}{|z_1|^{2(1-\gamma)}}(-\log|z_1|)^C \omega_B,
\end{equation}
see also~\cite[(2.1) and Theorem~3.4]{TZ} and~\cite[Theorem~1.1]{GTZ3} for sharper and more general such bounds. Passing to the dual metric on $\Omega^1_B$ and pulling back via $\nu_t$, \eqref{f3} implies that on the punctured neighborhood $\nu_t^{-1}(U\cap\{z_1\neq 0\})$ of $y$ in $\mathbb{P}^1$ we have
\[
|w|^2_{\nu_t^*g_{B}}\leq \frac{C}{|z_1|^{2(1-\gamma)}}(-\log|z_1|)^C|w|^2_{\nu_t^*g_{\SK}}=\frac{C'}{|z_1|^{2(1-\gamma)}}(-\log|z_1|)^C,
\]
and from this we see that $|w|^2_{\nu_t^*g_{B}}$ is $L^1$ in $\nu_t^{-1}(U\cap\{z_1\neq 0\})$. Since $\nu_t^*\Omega^1_B$ is a trivial bundle over $\nu_t^{-1}(U)$, we can represent $w$ locally as an $n$-tuple of holomorphic functions on $\nu_t^{-1}(U\cap\{z_1\neq 0\})$, and since these functions are in $L^2$, they extend holomorphically across the point $y$ (see e.g.~\cite[Proposition~1.14]{Oh}), which gives us the desired extension of $w$.
\end{proof}

At this point we have shown that $\iota^*(\mathcal{P}(\nabla_V u_i))$ gives a holomorphic section $w\in H^0(\mathbb{P}^1,\nu_t^*\Omega^1_B)$. Recalling the splitting~\eqref{h6}, we see that $w$ must be a section of the factor $\mathcal{O}^{\oplus \ell}$, i.e. a section of $\mathcal{V}^\sharp\big|_{\mathcal{U}_t}$. Since it is also a section of $\mathcal{N}^\sharp\big|_{\mathcal{U}_t}$, it must be identically zero. This shows that $\iota^*(\mathcal{P}(\nabla_V u_i))=0$, and so $\iota^*(\nabla_V u_i)\in \mathcal{V}^\sharp\big|_{\mathcal{U}_t}$, and so~\eqref{desire} is established. This concludes the proof of Theorem~\ref{parall} when $f$ is isotrivial.


\section{Obtaining a parallel \texorpdfstring{$(1,1)$}{(1,1)}-form and Hwang's Theorem}\label{se7}

In this section we show how to combine our main theorem~\ref{mainn} with results of Voisin~\cite{Vo}, Hwang~\cite{Hw2,Hw} and Bakker--Schnell~\cite{BS} to deduce Theorem~\ref{main}. The key step is the following:

\begin{theo}\label{form}
Suppose that $B\not\cong\mathbb{P}^n$. Then there is a nontrivial real $(1,1)$-form $\psi$ on $B^\circ$ with $\nabla^{\SK}\psi=0$ and $\psi$ not proportional to $\omega_{\SK}$.
\end{theo}

First, we show that Theorem~\ref{main} follows from this (we do not need to assume that $X$ is\linebreak projective):

\begin{proof}[Proof of Theorem~\ref{main}]
Suppose for a contradiction that $B\not\cong\mathbb{P}^n$. Then by Theorem~\ref{form} the $2$-forms $\omega_{\SK}$ and $\psi$ on $B^\circ$ are both $\nabla^{\SK}$-parallel and not proportional, and thus they give us a $2$-dimensional space of global sections of the local system $R^2f_*\mathbb{R}_{X^\circ}$ over $B^\circ$. However, as observed by Voisin~\cite[Lemma~5.5]{Vo}, a result of Matsushita~\cite{Ma5} together with Deligne's invariant cycles theorem show that this space of sections is always $1$-dimensional, a contradiction.
\end{proof}


Since $B\not\cong\mathbb{P}^n$, we know that $\mathcal{V}\subset \mu^*TB^\circ$ is a nontrivial proper holomorphic subbundle over $\mathcal{U}^\circ$, which by Theorem~\ref{parall} is preserved by $\nabla$. As mentioned after Theorem~\ref{parall}, the $g_{\SK}$-orthogonal complement $\mathcal{N}\subset \mu^*TB^\circ$ of $\mathcal{V}$ is also a nontrivial proper holomorphic subbundle over $\mathcal{U}^\circ$ which is preserved by $\nabla$. Define real subbundles $\mathcal{V}_{\mathbb{R}},\mathcal{N}_{\mathbb{R}}$ of $\mu^*T^{\mathbb{R}}B^\circ$ over $\mathcal{U}^\circ$ by
\[
\mathcal{V}_{\mathbb{R}}=\{v+\ov{v}\ |\ v\in\mathcal{V}\}\subset \mu^*T^{\mathbb{R}}B^\circ,
\]
and analogously for $\mathcal{N}_{\mathbb{R}}$. The bundle $\mathcal{V}_{\mathbb{R}}$ is isomorphic to $\mathcal{V}$ via the usual inverse map $T^{\mathbb{R}}B\to TB$ given by $u\mapsto \frac{u-iJ(u)}{2}$ (and similarly for $\mathcal{N}_{\mathbb{R}}$), and on $\mathcal{U}^\circ$ we have a splitting
\begin{equation}\label{splitta}
\mu^*T^{\mathbb{R}}B^\circ=\mathcal{V}_{\mathbb{R}}\oplus \mathcal{N}_{\mathbb{R}}.
\end{equation}

Consider now the Stein factorization of $\mu:\mathcal{U}\to B$, given by
\[
\mathcal{U}\to Z\overset{p}{\to} B,
\]
where $\mathcal{U}\to Z$ has connected fibers and $p:Z\to B$ is finite. Define also $Z^\circ:=p^{-1}(B^\circ)$. To complete the proof of Theorem~\ref{form}, we will then need the following theorem which is implicit in the work of Hwang~\cite{Hw}, and also appears in the recent work of Bakker--Schnell (\cite[Proposition~3.2 and proof of Theorem~1.1]{BS}) relying on ideas of Hwang~\cite{Hw2,Hw}:

\begin{theo}\label{bs}
Suppose the splitting~\eqref{splitta} is preserved by $\nabla^{\SK}$, then $p:Z\to B$ is an isomorphism.
\end{theo}


We can now give the proof of Theorem~\ref{form}:

\begin{proof}[Proof of Theorem~\ref{form}]
Since $B\not\cong\mathbb{P}^n$, we have the nontrivial splitting~\eqref{splitta}. By definition, $\mathcal{V}_{\mathbb{R}}$ is preserved by $J$, and since $\mathcal{V}$ is preserved by $\nabla$ (and $\nabla J=0$), it follows that $\mathcal{V}_{\mathbb{R}}$ is also preserved by~$\nabla$.

We claim that $\mathcal{V}_{\mathbb{R}}$ is preserved by $\nabla^{\SK}$. To see this, recall that Freed shows in~\cite[(1.29)]{Fr} that the special Kähler connection on $T^{\mathbb{R}}B$ is given by
\begin{equation}\label{freed}
\nabla^{\SK}=\nabla+A+\ov{A},
\end{equation}
where as usual $\nabla$ is the Levi-Civita connection of $g_{\SK}$ and $A\in \Lambda^{1,0}\Hom(TB^\circ,\ov{TB^\circ})$ is given by
\begin{equation}\label{indiana}
A_{ij}^{\ov{\ell}}=\sqrt{-1}g_{\SK}^{k\ov{\ell}}\Xi_{ijk},
\end{equation}
and the same holds for the pullback connection on $\mathcal{U}^\circ$. Given a local section $\alpha$ of $\mathcal{V}$ and a local $(1,0)$ vector field $v\in T\mathcal{U}$, we wish to show that
\[
\nabla^{\SK}_{v+\ov{v}} (\alpha+\ov{\alpha})\in\mathcal{V}_{\mathbb{R}}.
\]
Since we know that $\nabla_{v+\ov{v}} (\alpha+\ov{\alpha})\in\mathcal{V}_{\mathbb{R}}$, it suffices to check that
\[
(A+\ov{A})_{v+\ov{v}}(\alpha+\ov{\alpha})=A_v(\alpha)+\ov{A_v(\alpha)}\in\mathcal{V}_{\mathbb{R}},
\]
and so it suffices to see that
\[
A_v(\alpha)\in \ov{\mathcal{V}},
\]
or equivalently that $g_{\SK}(A_v(\alpha), \ov{\zeta})=0$ for all local sections $\zeta$ of $\mathcal{N}$. But from~\eqref{indiana} we see that
\[
g_{\SK}(A_v(\alpha),\ov{\zeta})=\sqrt{-1} \Xi(v,\alpha,\zeta),
\]
which vanishes by Theorem~\ref{rigid}$\MK$\eqref{16c}. This concludes the proof that $\mathcal{V}_{\mathbb{R}}$ is preserved by $\nabla^{\SK}$. An analogous argument shows that $\mathcal{N}_{\mathbb{R}}$ is also preserved by $\nabla^{\SK}$, and so the splitting~\eqref{splitta} is preserved by $\nabla^{\SK}$. Applying Theorem~\ref{bs} we see that $p:Z^\circ\to B^\circ$ is an isomorphism, so we may assume that $\mu:\mathcal{U}^\circ\to B^\circ$ has connected fibers. The vector bundle $\mu^*T^{\mathbb{R}}B^\circ$ is trivial when restricted to these fibers, and its subbundles $\mathcal{V}_{\mathbb{R}},\mathcal{N}_{\mathbb{R}}$ restricted to a fiber are preserved by the pullback connection $\nabla^{\SK}$ (which when restricted to the fiber is a trivial connection), and so $\mathcal{V}_{\mathbb{R}}$ and $\mathcal{N}_{\mathbb{R}}$ are pullbacks of vector bundles on $B^\circ$ (denoted by the same notation), which are subbundles of $T^{\mathbb{R}}B^\circ$ and are still preserved by $\nabla^{\SK}$.

We then define a $(1,1)$-form $\psi$ on $B^\circ$ by projecting $\omega_{\SK}$ onto $\mathcal{V}_{\mathbb{R}}$. Since $\nabla^{\SK}\omega_{\SK}=0$ and $\mathcal{V}_{\mathbb{R}}$ is preserved by $\nabla^{\SK}$, it follows that $\nabla^{\SK}\psi=0$ (and also $\nabla\psi=0$ for the same reason), and since $\mathcal{V}_{\mathbb{R}}$ is a nontrivial proper subbundle of $T^{\mathbb{R}}B^\circ$, we see that $\psi$ is nonzero and not proportional to $\omega_{\SK}$, and we are done.
\end{proof}


\section{Comments about the case when \texorpdfstring{$B$}{B} is singular}\label{se8}

It is tempting to ask whether our method can be used to prove that $B\cong\mathbb{P}^n$ even when $B$ is singular. As mentioned in the Introduction, this is currently known only for $n\leq 2$~\cite{BK,HX,Ou}. In general, it is known that $B$ is a normal projective variety, with at worst klt singularities, which is Fano with Picard number one. The natural generalization of our approach (following~\cite{Si}, who generalized Mori's Theorem~\cite{Mor} to the singular setting) would be to consider a functorial resolution of singularities $\pi:\ti{B}\to B$ and to show that we must have $\ti{B}\cong\mathbb{P}^n$, which forces $B\cong\mathbb{P}^n$ as well. In this setting, $\ti{B}$ is a uniruled projective manifold and $\ti{D}=\pi^{-1}(D)$ is a divisor, so many of our arguments above can be repeated on $\ti{B}^\circ:=\ti{B}\backslash\ti{D}$, which carries a special Kähler metric $\omega_{\SK}$. The fact that $\pi$ is functorial gives us a morphism $\mu:\pi^*TB\to T\ti{B}$ which is an isomorphism on $\ti{B}^\circ$, where $TB=\Hom(\Omega^1_B,\mathcal{O}_B)$ is the reflexive tangent sheaf.
Given a rational curve $\nu:\mathbb{P}^1\to\ti{B}$, which is not contained in $\ti{D}$, pulling back $\mu$ via $\nu$ we obtain a sheaf injection
\[
\mathcal{A}:=(\pi\circ\nu)^{[*]}TB\to \nu^* T\ti{B},
\]
between these vector bundles on $\mathbb{P}^1$ (which both split as a direct sum of line bundles which should have nonnegative degrees). Here we use the standard reflexive pullback notation\linebreak $(\pi\circ\nu)^{[*]}TB:=(\nu^*\pi^*TB)^{**}$. Using Theorem~\ref{unir}, if $\ti{B}\not\cong\mathbb{P}^n$ then $\nu^* T\ti{B}$ contains a nontrivial $\mathcal{O}$ factor, hence so does $\mathcal{A}$. To implement our strategy, one would need a rigidity statement like in Theorem~\ref{rigid} for either one of these trivial summands, and a crucial ingredient of the proof of the rigidity statement is that sections of the dual of the relevant bundle should have bounded norm (with respect to the pullback of $\omega_{\SK}$). The first fundamental issue is that it is not clear to us how to show that sections of $\nu^*\Omega^1_{\ti{B}}$ or of $\mathcal{A}^*$ have bounded norm. The key ingredient for this when $B$ is smooth was the estimate~\eqref{sl}, but when $B$ is singular this by itself is not sufficient to prove boundedness.

What can be shown using results in~\cite{GKP} is rather that sections of the reflexive pullback $(\pi\circ\nu)^{[*]}\Omega^{[1]}_B$ have bounded norm, but in general the Grothendieck decomposition of this vector bundle is different from those of $\nu^*\Omega^1_{\ti{B}}$ and $\mathcal{A}^*$, and it may happen that these have some nontrivial $\mathcal{O}$ factor but $(\pi\circ\nu)^{[*]}\Omega^{[1]}_B$ does not, which invalidates our approach. This undesirable phenomenon can only happen when the generic rational curve (of the type that we are considering) when projected down to $B$ always passes through some singular point of $B$. This however seems unavoidable in general, as finding low-degree rational curves in normal Fano varieties that can be deformed to avoid the singularities is a very delicate problem in algebraic geometry, see e.g.~\cite{KM,Kol,Xu}.

\printbibliography
%\bibliographystyle{cdraifplain}
%\bibliography{CRMATH_Tosatti_20240159}
\end{document}