My question is about the conformal block bundle, which (following Kohno's "Conformal Field Theory and Topology") is constructed as follows:
Consider the projection map onto the first $n$ coordinates
\begin{equation}
\pi: (\mathbb{C}P^1)^{n+1} \to (\mathbb{C}P^1)^n.
\end{equation}
Let $D\_i$ denote the hyperplane of $(\mathbb{C}P^1)^{n+1}$ given by setting $z\_i=z\_{n+1}$ where $(z\_1,\dots, z\_{n+1})$ are coordinates for $(\mathbb{C}P^1)^{n+1}$. Let $\mathcal{M}\_{D\_1, \dots, D\_n}(U)$ denote the space of meromorphic functions on $\pi^{-1}(U)$ with poles only on the hyperplanes $D\_1,\dots, D\_n$. Consider $\mathfrak{g} \otimes \mathcal{M}\_{D\_1, \dots, D\_n}(U)$ as a Lie algebra with bracket defined by
\begin{equation}
[X \otimes f, Y \otimes g]=[X,Y] \otimes fg.
\end{equation}


Given an element $f \in \mathcal{M}\_{D\_1, \dots, D\_n}(U)$, we can expand $f$ as a Laurent series on the hyperplane $D\_i$
\begin{equation}
f\_{D\_i}(z)=\sum\_{k=-N}^\infty a\_n(z\_1, \dots, z\_n) (z-z\_i)^k
\end{equation}
where $a\_n(z\_1, \dots, z\_n)$ is holomorphic in $z\_1, \dots, z\_n$. Fixing $(z\_1, \dots, z\_n) = (p\_1, \dots, p\_n)$, we can view $f\_{D\_i}$ as an element of $\mathbb{C}((t\_i))$ where we define $t\_i=z - z\_i$. This gives us a canonical inclusion map
\begin{equation}
\tau\_i : \mathfrak{g} \otimes \mathcal{M}\_{D\_1, \dots, D\_n}(U) \hookrightarrow \hat{\mathfrak{g}}\_i \cong \mathfrak{g} \otimes \mathbb{C}((t\_i)) \oplus \mathbb{C}c.
\end{equation}
To each $t\_i$, associate an integrable highest weight $\hat{\mathfrak{g}}\_i$-module $V\_{\lambda\_i}$ of highest weight $\lambda\_i$. We can define an action of $\hat{\mathfrak{g}}\_i$ on $\bigotimes\_{i=1}^n V\_{\lambda\_i}$ by 
\begin{equation}
X \cdot (v\_1 \otimes \cdots \otimes v\_n) = \sum\_{i=1}^n v\_1 \otimes \cdots \otimes \tau\_i (X) v\_i \otimes \cdots \otimes v\_n.
\end{equation}


Now, consider the trivial bundle
\begin{equation}
E:= \text{Conf}\_n(\mathbb{C}P^1) \times \text{Hom}\_{\mathbb{C}}\left(\bigotimes\_{i=1}^n V\_{\lambda\_i},\mathbb{C}\right) \to \text{Conf}\_n(\mathbb{C}P^1).
\end{equation}
For each open set $U \subseteq \text{Conf}\_n(\mathbb{C}P^1)$, denote by $\mathcal{E}\_{\lambda\_1, \dots, \lambda\_n}(U)$ the space of smooth sections $\sigma: U \to E$ satisfying
\begin{equation}
\sum\_{i=1}^n (\sigma(p\_1, \dots, p\_n))(v\_1 \otimes \cdots, \otimes \tau\_i(f)v\_i \otimes \cdots \otimes v\_n)=0
\end{equation}
for all $f \in \mathfrak{g} \otimes \mathcal{M}\_{D\_1, \dots, D\_n}(U)$ and $v\_1 \otimes \cdots \otimes v\_n \in \bigotimes\_{i=1}^n V\_{\lambda\_i}$.


Question: Why is the sheaf of smooth sections $\mathcal{E}\_{\lambda\_1, \dots, \lambda\_n}(U)$ locally-free?


Ultimately, I'd like to understand why we can realise the disjoint union of the space of conformal blocks as a vector bundle over $\text{Conf}\_n(\mathbb{C}P^1)$. Any help is greatly appreciated.



Vector bundle structure of conformal block bundle
I also had the same question when I was reading Kohno's book. My opinion is that that book is only an introduction to the topic of conformal blocks and is not rigorous. For rigorous treatment you need to read the classical paper [Conformal Field Theory on Universal Family of Stable Curves with Gauge Symmetries](https://projecteuclid.org/euclid.aspm/1529259762) by Tsuchiya, Ueno, Yamada. There are also many articles and monographs explaining their work. You may try [Mukhopadhyay](https://pdfs.semanticscholar.org/02f7/608e31c83458e6a3d09fdc62263ef4c2ce4b.pdf), or [Ueno](https://bookstore.ams.org/fim-24). As a survey of TUY's work I also like the last chapter of [Bakalov-Kirillov](https://www.math.stonybrook.edu/~kirillov/tensor/tensor.html).


The existence of a vector bundle structure is to me a very deep result. The argument of TUY could be summarized as follows. Basically you are considering a family of Riemann surfaces, i.e. a proper submersion $\pi:\mathcal C\rightarrow\mathcal B$ such that each fiber is a compact Riemann surface. In your case $\mathcal B=\text{Conf}\_n(\mathbb CP^1)$ and $\mathcal C=\mathbb CP^1\times\mathcal B$. You want to introduce a vector bundle structure on the collection of conformal blocks (also called spaces of vacua). It is even not trivial to show that the dimensions of conformal blocks are independent of the fibers. To prove all these things one considers the sheaf of vacua (sheaf of conformal blocks) and its dual sheaf: sheaf of covacua. These are sheaves of $\mathcal O\_{\mathcal B}$-modules where $\mathcal O\_{\mathcal B}$ is the structure sheaf of $\mathcal B$. One then shows that the sheaf of covacua $\mathcal V$ is a coherent sheaf, and that there exists a connection on $\mathcal V$. There is a standard and elementary result in the literature of D-modules saying that any coherent sheaf with a connection is locally free, i.e. it behaves like a holomorphic vector bundle. (This is also proved in the above mentioned references.) This proves the existence of vector bundle structure and in particular, the constance of the dimensions of conformal blocks.


