--- abstract: 'We show that the KZB connection on the punctured torus and on the configuration space of points of the punctured torus can be constructed via the homotopy transfer theorem.' author: - Claudio Sibilia title: Homotopy transfer theorem and KZB connections --- Introduction {#introduction .unnumbered} ============ Let $M$ be a smooth complex manifold. We denote by $A_{DR}^{\bullet}(M)$ the differential graded algebra of complex differential forms on $M$. For any pronilpotent Lie algebra $\mathfrak{g}$, each $$C\in A_{DR}^{1}(M)\widehat{\otimes}\mathfrak{g}$$ defines a connection $d-C$ on the trivial bundle $M\times\mathfrak{g}$, where the latter is considered to be equipped with the adjoint action. We consider $A_{DR}(M)\widehat{\otimes}\mathfrak{g}$ to be equipped with the differential (graded) Lie algebra structure $$d(v\otimes X):=dv\otimes X,\quad\left[w\otimes X, v\otimes Y \right]:=wv\otimes [X,Y].$$ If $C$ is a Maurer-Cartan element, i.e. $dC+\frac{[C,C]}{2}=0$, then the resulting connection $d-C$ is flat. The configuration space of points of a topological space is defined as $$\operatorname{Conf}_{n}\left(X \right):=\left\lbrace \left(x_{1}, \dots, x_{n} \right)\in X^{n}\: :\: x_{i}\neq x_{j}\text{ for }i\neq j \right\rbrace.$$ Let $A_{KZ,n}$ be the unital differential graded subalgebra of $A_{DR}\left( \operatorname{Conf}_{n}\left(\C-\left\lbrace0,1 \right\rbrace \right)\right) $ generated by $\omega_{i,-1}$, $\omega_{i,0}$, and $\omega_{i,j}$ where $$\omega_{ij}:=d \log(z_{i}-z_{j})=\frac{dz_{i}-dz_{j}}{z_{i}-z_{j}}$$ for $1\leq i\neq j\leq n$ such that $z_{-1}:=1$ and $z_{0}:=0$. In @Arnold, it was shown that the $A_{KZ,n}$ is a model for $A_{DR}\left( \operatorname{Conf}_{n}\left(\C-\left\lbrace0,1 \right\rbrace \right)\right) $. We define the rational Lie algebra $\mathfrak{t}_{n}$ with generators $T_{i,j}$ for $-1\leq i\neq j\leq n$ with $j>0$ or $i>0$ such that $$\begin{aligned} T_{ij}=T_{ji}, \quad \left[ T_{ij},T_{ik}+T_{jk}\right]=0, \quad \left[ T_{ij},T_{kl}\right]=0\end{aligned}$$ for $i,j,k,l$ distinct. We call $\mathfrak{t}_{n}$ the *Kohno-Drinfeld Lie algebra*. The KZ connection is the flat connection $d-\omega_{KZ,n}$ on $\operatorname{Conf}_{n}\left(\C-\left\lbrace 0,1\right\rbrace\right) \times \mathfrak{t}_{n} $ where $$\omega_{KZ,n}:=\sum_{-1\leq i\neq j\leq n, i>0\text{ or }j>0} \omega_{ij}T_{ij}.$$ This connection can be constructed via Chen's theory of formal power series connections (see @extensionChen). The KZ connection is the *universal* version of the Knizhnik–Zamolodchikov equation (see @KZ), i.e. a differential equation used in quantum field theory. The KZ equation has an elliptic version called *Knizhnik–Zamolodchikov-Bernard equation* (KZB equation) given in @Be1. The *universal KZB connection* is constructed in @Damien (compare with @Levrac). It is a holomorphic connection on the configuration space of points of the punctured torus. Its fiber corresponds to the Malcev completion of the fundamental group of the base space (i.e. the pure elliptic braid group).\ Let $G$ be a group acting properly and discontinuously on a complex manifold $M$. The action groupoid of $(M,G)$ is a simplicial manifold. Getzler and Cheng (see @Getz) have shown that the space of differential forms on such a simplicial manifold carries a natural $C_{\infty}$-algebra structure. We denote this $C_{\infty}$-algebra by $\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)$. There is a strict natural $C_{\infty}$-map $$r\: : \: \left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)\to \left(A_{DR}(M) , d \wedge\right)$$ induced by the canonical map $M\to M_{\bullet}G$. We extend the $G$-action on $A_{DR}(M)\widehat{\otimes}\mathfrak{g}$ by assuming that $\mathfrak{g}$ is $G$-invariant. In @Sibilia1, we have shown the following facts. 1. Let $C$ be a Maurer Cartan element which is gauge equivalent to a $G$-invariant Maurer-Cartan element $C'$. There exists a vector bundle $E$ on $M/G$ such that $d-C$ is a well-defined flat connection on $M/G$ (@Sibilia1 [Theorem 4.9]). 2. In @Sibilia1 we introduce the category of $1-C_{\infty}-$ algebras and $1-C_{\infty}-$morphism, these are a truncated version of $C_{\infty}$-algebras. In particular there is a forgetful functor $\mathcal{F}$ between $C_{\infty}$-algebras and $1-C_{\infty}$-algebras. We introduce the notion of $1$-isomorphism, $1$-quasi-isomorphism of $1-C_{\infty}$-algebras and $1$-minimal model. Let $(W, m_{\bullet}^{W})$ be a $1$-minimal $1-C_{\infty}$-algebra quasi-isomorphic to $\mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)$. For any $1-C_{\infty}$-morphism $g_{\bullet}\: : \: (W, m_{\bullet}^{W})\to \mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right) $, the map $rg_{\bullet}$ gives an explicit Maurer-Cartan element in $A_{DR}(M)\widehat{\otimes}\mathfrak{u}$, where $\mathfrak{u}$ corresponds to the Malcev completion of the fundamental group of $M/G$ (@Sibilia1 [Theorem 3.16]). Examples of morphisms $g_{\bullet}\: : \: (W, m_{\bullet}^{W})\to \mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right) $ can be constructed via the homotopy transfer theorem (see @Prelie,@Getz, @Kadesh, @kontsoibel and @Markl). The homotopy transfer theorem is a general version of the of Chen's formal power series connections (see @Huebsch). In particular the KZ connection can be constructed via the homotopy transfer theorem. - The punctured torus and the configuration space of points on the punctured torus can be written as $M/G$ for some appropriate $M$ and $G$. We use the homotopy transfer theorem to construct two $1$-morphism $g_{\bullet}$ and ${g'}_{\bullet}$. By point (2), the maps $rg_{\bullet}$ and ${{g'}_{\bullet}}$ correspond to two gauge equivalent Maurer-Cartan elements $C$ and $C'$. By point (1), we get a flat connection on $M/G$. In particular, the KZB connection on the punctured torus and on the configuration space of points on the punctured torus can be computed in this way (see Theorem \[main1\] and Theorem \[final\] respectively). In order to compute the connection we have to choose a $1$-model ($1$-extension) and a particular vector space decomposition. However, we show that different choices produce isomorphic connections (Corollary \[invariance\]). - We construct a Lie algebra morphism $Q^{*}$ between the Kohno-Drinfeld Lie algebra and the Malcev Lie algebra of the fundamental group of the configuration space of points on the punctured torus. Furthermore we show that if $\tau\to i\infty$, then the KZB connection becomes equal to the "KZ connection composed with $Q^{*}$" (see Theorem \[thmfinale\]). This is a generalization of the Lie algebra morphism defined by Hain in @Hain [Section 12]. For $g> 1$, the higher genus version of the KZB equation is constructed by Bernard in @Be2, where it was used the fact that higher genus Riemann surfaces can be written as a quotient $M/G$, for an appropriate $M$ and a Schottky group $G$. This suggest the following conjecture. Let $g>1$. The universal version of the KZB equation constructed in @Be2 is a holomorphic flat connection which can be constructed via the homotopy transfer theorem, (1) and (2). Plan of the paper {#plan-of-the-paper .unnumbered} ----------------- The paper is divided in 4 sections. The first one presents some standard results about the homotopy transfer theorem. In the second section we prove the above statement in the case of the punctured torus. More precisely, we fix a $\tau\in\mathbb{H}:=\left\lbrace z\in \C \: : \: \Im(z)>0\right\rbrace $ and let $\mathbb{Z}+\tau\mathbb{Z}$ be the lattice spanned by $1,\tau$. We define $$\mathcal{E}_{\tau}^{\times}=\left(\C- \left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \right)/ \Z^{2}.$$ A smooth model $A$ for $A_{DR}\left(\mathcal{E}_{\tau}^{\times}\right) $ is constructed in @LevBrown. We apply the homotopy transfer theorem on $A$ and we get a $C_{\infty}$-morphism ${g'}_{\bullet}$. $\mathcal{E}_{\tau}^{\times}$ is the geometric realization of the simplicial manifold $\left(\C- \left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \right)_{\bullet} \Z^{2}$. In this subsection we construct a *holomorphic* $1$-model $B$ for the $C_{\infty}$-algebra of differential forms on $\left(\C- \left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \right)_{\bullet} \Z^{2}$ (see Corollary \[cormodel\]). We apply the homotopy transfer theorem on $B$ and we get a $1-C_{\infty}$-morphism ${g}_{\bullet}$. The main results of this section is the following: we prove that the KZB connection can be constructed by using (1) where the $C$ and $C'$ corresponds to $rg_{\bullet}$ and ${g'}_{\bullet}$ respectively, in particular the KZB connection on the configuration space of points of the punctured torus can be computed via the homotopy transfer theorem on $B$ (see Theorem \[main2\]). We compare the KZ and the KZB connection for $\tau\to i \infty$ and we show that the Lie algebra morphism $Q^*$ constructed by in @Hain [Section 12]) can be constructed via $C_{\infty}$-algebra methods (see Subsection \[ComparisonHain\]). In Subsection \[Arationalconnection\], we present another holomorphic connection on the punctured torus (with singularities of order $2$) which is isomorphic to the KZB connection.\ In the third section, we extend the above results for the configuration spaces of points of the punctured elliptic curve. Let $(\xi_{1}, \dots \xi_{n})$ be the coordinates on $\C^{n}$. We define $\mathcal{D} \subset \C^{n}$ as $$\mathcal{D}:=\left\lbrace (\xi_{1}, \dots \xi_{n})\: : \: \xi_{i}-\xi_{j}\in \mathbb{Z}+\tau\mathbb{Z} \text{ for some distinct }i,j=0, \dots n \right\rbrace.$$ We define a $\Z^{2n}$-action on $\C^{n}$ via translation, i.e. $$\left( \left({l}_{1},m_{1} \right), \dots, \left({l}_{n},m_{n} \right) \right)(\xi_{1}, \dots \xi_{n}):= \left( \xi_{1}+l_{1}+m_{1}\tau, \dots ,\xi_{n}+l_{n}+m_{n}\tau\right).$$ Notice that $\mathcal{D}$ is preserved by the action of $\Z^{2n}$. There is a canonical isomorphism $$\left( \C^{n}-\mathcal{D}\right) /\left( \Z^{2n}\right) \cong \operatorname{Conf}_{n}\left({\mathcal{E}}_{\tau}^{\times} \right)$$ since the action is free and properly discontinuous. We construct a $C_{\infty}$-algebra ${B'}_{n}$ which is conjectured to be a $1$-model of $$\operatorname{Tot}_{N}\left(A_{DR}\left( \C^{n}-\mathcal{D}\right)_{\bullet}\left( \Z^{2n}\right) \right)\otimes \Omega(1)$$ where $\Omega(1)$ is the differential graded algebra of polynomial forms on the unit interval. In particular, the evaluation at $1$ of ${B'}_{n}$ corresponds to the smooth model $A_{n}\subset A_{DR}\left( \operatorname{Conf}_{n}\left(\mathcal{E}_{\tau}^{\times}\right)\right)$ constructed in @LevBrown and the evaluation at $0$ is a holomorphic $C_{\infty}$-algebra. We introduce the notion of $1$-extension which is a weaker notion of $1$-model and we construct a $1$-extension $B_{n}$ of $A_{n}$ by taking the quotient of ${{B'}}_{n}$ by some $C_{\infty}$-ideal. We compute the homotopy transfer theorem on $B_{n}$ and we get a $1-C_{\infty}$-morphism $H_{\bullet}\: : \: (W, m_{\bullet}^{W})\to\mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}\left( \C^{n}-\mathcal{D}\right)_{\bullet}\left( \Z^{2n}\right) \right)\otimes \Omega(1)\right) $. The evaluation of $H$ at $1$ can be lifted to a minimal model $C_{\infty}$-morphism ${g'}_{\bullet}\: : \: (W, m_{\bullet}^{W})\to A_n$ and the evaluation at $0$ gives a holomorphic $1-C_{\infty}$-morphism ${g}_{\bullet}\: : \: (W, m_{\bullet}^{W})\to \mathcal{F}\left(\operatorname{Tot}_{N}\left(A_{DR}\left( \C^{n}-\mathcal{D}\right)_{\bullet}\left( \Z^{2n}\right) \right)\right) $. The main results of this section is the following: we prove that the KZB connection on the configuration space of points of the punctured torus can be constructed by using (1) where the $C$ and $C'$ corresponds to $rg_{\bullet}$ and ${g'}_{\bullet}$, in particular the KZB connection on the punctured torus can be computed via the homotopy transfer theorem on $B_{n}$ ( see Theorem \[final\]). In Subsection \[KZKZB\], we show that the KZB connection for $\tau\to i \infty$ corresponds to the KZ connection modulo a Lie algebra morphism $Q^{*}$ which is explicitly computed. For $n=1$, $Q^*$ coincides with the automorphism constructed by Hain in @Hain [Section 12]). This article is based on the second part of my PhD project. I wish to thank my two advisors Damien Calaque and Giovanni Felder for their guidance and constant support and Benjamin Enriquez for his interesting questions about my PhD thesis. I thanks the SNF for providing an essential financial support through the ProDoc module PDFMP2 137153 "Gaudin subalgebras, Moduli Spaces and Integrable Systems". I also thank the support of the ANR SAT and of the Institut Universitaire de France. Notation {#notation .unnumbered} -------- Let $\Bbbk$ be a field of characteristic zero. For a graded vector space $V^{\bullet}$, $V^{i}$ is called the homogeneous component of $V$, and for $v\in V^{i}$ we define its degree via $|v|:=i$. For a vector space $W:=\oplus_{i\in I} W_{i}$ we denote by ${pro}_{W_{i}}\: : \: W\to W_{i}$ the projection. For a graded vector space $V^{\bullet}$ we denote by $V[n]$ the $n$-shifted graded vector space, where $\left( V[n]\right) ^{i}=V^{n+i}$. For example $\Bbbk[n]$ is a graded vector space concentrated in degree $-n$ (its $-n$ homogeneous component is equal to $\Bbbk$, the other homogeneous component are all equal to zero). A (homogeneous) morphism of graded vector spaces $f\: : \: V^{\bullet}\to W^{\bullet}$ of degree $|f|:=r$ is a linear map such that $f(V^{i})\subseteq V^{i+r}$. We denote by $s\: : \: V\to V[1]$, $s^{-1}\: : \: V[1]\to V$ the shifting morphisms that send $V^{n}$ to $V[1]^{n-1}=\Bbbk \otimes V^{n}=V^{n}$ resp. $V[1]^{n}=\Bbbk \otimes V^{n+1}=V^{n+1}$ to $V^{n+1}$. Those maps can be extended to a map $s^{n}\: : \: V\to V[n]$, (the identity map shifted by $n$). Note that $s^{n}\in {\operatorname{Hom}}^{-n}\left(V, V[n] \right)$. A graded vector space is said to be of finite type if each homogeneous component is a finite vector space. A graded vector space $V^{\bullet}$ is said to be bounded below at $k$ if there is a $k$ such that $V^{l}=0$ for $l<k$. Analogously it is said to be bounded above at $k$ if there is a $k$ such that $V^{l}=0$ for $l>k$. For a non-negatively graded vector space we define the positively graded vector space $W^{\bullet}_{+}$ as $$W_{+}^{0}:=0,\quad W_{+}^{i}:=W^{i}\text{ if }i\neq0$$ Let $(V,d_{V})$ be a differential graded vector space, then $V^{\otimes n}$ is again a differential graded vector space with differential $$d_{V^{\otimes n}}(v_{1}\otimes\cdots\otimes v_{n}):=\sum_{i=1}^{n}\pm v_{1}\otimes\cdots\otimes d_{V}v_{i}\cdots\otimes v_{n},$$ where the signs follow from the Koszul signs rule. Let $(V,d_{V})$, $(W,d_{W})$ be differential graded vector spaces, then ${\operatorname{Hom}}^{\bullet}_{gVect}\left(V,W \right)$ is a differential graded vector space with differential $$\partial f:= d_{W}f-(-1)^{|f|}fd_{v}.$$ The homotopy transfer theorem ============================= We use the same notation of @Sibilia1. We give a short introduction about the homotopy transfer theorem for $C_{\infty}$-algebras (see @Getz, @Kadesh, @kontsoibel, @Markl and @Prelie). We work only with non-negatively graded $C_{\infty}$-algebras. Simplicial manifolds -------------------- Let $G$ be a group acting properly and discontinuously on $M$. The nerve gives a simplicial manifold $M_{\bullet}G$ is called the action groupoid. In particular, $A_{DR}\left(M_{\bullet}G \right) $ is a simplicial commutative differential graded algebra. Let $\operatorname{Tot}_{N}^{\bullet}\left(A_{DR}(M_{\bullet}G)\right)$ be the normalized total complex. An element $w$ of degree $n$ can be written as $w=\sum_{p+q=n}w^{p,q}$, where $w^{p,q}$ is a set map $$w^{p,q}\: : \: G^{p}\to A_{DR}^{q}(M)$$ such that $w^{p,q}(g_{1}, \dots, g_{n})=0$ if $g_{i}=e$ for some $i$. The elements $w^{p,q}$ are called elements of bidegree $(p,q)$, in particular $\operatorname{Tot}_{N}^{0,q}\left(A_{DR}(M_{\bullet}G)\right)=A_{DR}^{q}(M)$. An element $w$ is said to be holomorphic if each $w^{p,q}$ takes holomorphic values for any $(p,q)$. Since the action is properly discontinuous, we can visualize $A_{DR}^{\bullet}(M/G)\subset A_{DR}^{\bullet}(M)$ as the differential graded algebra of $G$-invariant differential forms. Getzler and Cheng (see @Getz) have shown that the normalized total complex $\operatorname{Tot}_{N}\left(A_{DR}\left( M_{\bullet}G\right)\right) $ carries a natural unital $C_{\infty}$-structure $m_{\bullet}$ such that $$m_{1}=d,\quad m_{2}=\wedge,\quad m_{n}=0\text{ for }n\geq 2$$ on $A_{DR}^{\bullet}(M/G)\subset\operatorname{Tot}_{N}^{0,\bullet}\left(A_{DR}(M_{\bullet}G)\right)$ and $$\left( A_{DR}(M/G),d, \wedge\right) \hookrightarrow\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)$$ is a quasi-isomorphism of $C_{\infty}$-algebras. Their cohomology corresponds to the singular cohomology of $M/G$. We denote $m_{1}$ by $D$. In particular for an element $a$ of bidegree $(p,q)$ we have $$D(a)=\partial_{G}a+(-1)^{p}da,$$ where $\partial_{G}$ is differential obtained by the alternating sum of the pullback of the cofaces maps of the action groupoid. There is a strict $C_{\infty}$-map $$r\: : \: \left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)\to \left(A_{DR}(M) , d, \wedge\right)$$ induced by the evaluation of the forms at $e\in G$. Let $g_{\bullet}\: :\: \left(W, m_{\bullet}^{W} \right)\to \mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)$ be a morphism of $1-C_{\infty}$-algebras. In @Sibilia1, we show that $g_{\bullet}$ corresponds to a Maurer-Cartan element $\overline{C}$ in the $L_{\infty}$-algebra $$\mathcal{F}\left( \operatorname{Tot}_{N}\left(A_{DR}(M_{\bullet}G)\right),m_{\bullet}\right)\widehat{ \otimes}\mathfrak{u}$$ where $\mathfrak{u}$ is the Malcev Lie algebra of the fundamental group of $M/G$. We call $\overline{C}$ the degree zero geometric connection . In @Sibilia1 [Theorem 3.16 ], we show that $r$ induces a map $r_{*}=(r\otimes\mathrm{Id})$ such that $r_*\overline{C}$ is a Maurer-Cartan element in $$A_{DR}(M)\widehat{ \otimes}\mathfrak{u}.$$ Transferring $A_{\infty}$ and $C_{\infty}$-structures ----------------------------------------------------- We recall the homotopy *homotopy transfer theorem* (see @lodayVallette). This theorem appears originally in @kontsoibel (see @Markl) for $A_{\infty}$-algebras and in @Getz for $C_{\infty}$-algebras. \[markglobal\] Let $(V^{\bullet},d_{V})$, $(W^{\bullet}, d_{W})$ be two cochain differential graded vector spaces. Assume that there are two cochain maps $$\label{homretract} \begin{tikzcd} f\: : \: (V^{\bullet},d_{V})\arrow[r, shift right, ""]&(W^{\bullet}, d_{W})\: : \: g\arrow[l, shift right, ""] \end{tikzcd}$$ such that $gf$ is homotopic to $Id_{V}$ via a cochain homotopy $h$. Assume that $(V^{\bullet},d_{V})$ is equipped with a $P_{\infty}$-algebra structures $m_{\bullet}^{V}$, such that $m_{1}^{V}=d_{V}$. There exist 1. a $(1-)P_{\infty}$-algebra structures $m_{\bullet}^{W}$ on $W^{\bullet}$, such that $m_{1}^{V}=d_{W}$; 2. a $(1-)P_{\infty}$-morphism ${{g}}_{\bullet}\: : \:\left(W, m_{\bullet}^{W}\right)\to \left(V, m_{\bullet}^{V}\right)$, such that ${{g}}_{1}=g$. \[transfnonuniq\] The maps $m_{\bullet}$, $ {g}_{\bullet}$ are not unique in general. There may be more solutions. \[computability\] Consider Theorem \[markglobal\]. In @Markl it is proved the following. If $P_{\infty}=A_{\infty}$, there exist 1. a $A_{\infty}$-morphism ${{f}}_{\bullet}\: : \:\left(V, m_{\bullet}^{V}\right)\to \left(W, m_{\bullet}^{W}\right)$, such that ${{f}}_{1}=f$; 2. a $A_{\infty}$-homotopy ${{h}}_{\bullet}$ between ${{g}}{{f}}$ and $Id_{V}$, such that ${{h}}_{1}=h$, where $h_{\bullet}$ is a chain homotopy in the sense of @Markl. Moreover there is an explicit formula for these maps. Point (1) is extended in @Prelie for more general operads (by assuming that the diagram satisfies $d_{W}=0$, $fg=1_{W}$, $fh=0$, $h\circ g=0$ and $h^2=0$). An oriented planar rooted tree $T$ is a connected oriented planar graph that contains no loops, such that the orientation goes toward one marked external vertex (the root). Let $V(T)$ be the set of vertices, $E(T)$ the set of (oriented) edges.\ Given an edge $e$, between two vertices $v_{1},v_{2}$, if the orientation goes from $v_{1}$ to $v_{2}$ we call $v_{1}$ the *source* and $v_{2}$ the *target* of $e$, respectively. A edge $e$ is *internal* if its source is the target of another edge. A non internal edge is called *leaf*. The root is the only one vertex which is not the source of any other edges. The *arity* of a vertex is the number of incoming edges. We denote by $\mathcal{P}$ the set of finite oriented planar rooted trees where the arity of each internal vertex is $\geq 2$. We denote by $\mathcal{P}_{n}$ the trees in $\mathcal{P}$ with exactly $n$ leaves and with $\mathcal{P}^{2}_{l}$ the set oriented planar rooted trees where the arity of each internal vertex is less then or equal to $l$. We fix a diagram of the type . Each tree can be decorated as follows: we associate to each internal edges the map $h$ and to each internal vertex of arity $k$ the map $m^{V}_{k}$. Figure \[decorated\] is an example of decorated tree $T'$ where the root is the lower vertex.\ ![ $T'$ decorated<span data-label="decorated"></span>](threefourlabel.pdf) \ The three above gives a map $\mathcal{P}_{T'}\: : \: V^{\otimes 4}\to V$ via $\mathcal{P}_{T'}:=m_{2}^{V}\circ\left(m_{3}^{V}\otimes Id \right) $; hence to each tree $T\in \mathcal{P}_{n}$ we associate a linear map $\mathcal{P}_{T}\: : \: V^{\otimes n}\to V$ as above. To each trees we can associated a values $\theta(T)$ as follows. For a vertex $v$ in $T$ with arity $k$, consider the edges $e_{1}, \dots, e_{k}$. For each $e_{i}$ let $n_{i}$ be the numbers of all the paths that connect the root of $T$ with a leaf, passing trough $e_{i}$. Define $\theta_{T}(v):=\theta(n_{1}, \dots, n_{k})$, and $\theta(T):=\sum_{v}\theta_{T}(v)$, where the sum is taken over the internal edges. \[explicitpkernel\] For each $n\geq 2$, the *p-kernels* are $$p_{n}:=\sum _{T\in \mathcal{P}_{n}}(-1)^{\theta(T)}P_{T}.$$ In @Markl [Proposition 6] it is proved that the maps $m_{\bullet}^{W}, g_{\bullet}$ defined via $$m_{n}^{W}:=f\circ p_{n}\circ g^{\otimes n}, \quad {{g}}_{n}:=h\circ p_{n}\circ g^{\otimes n}$$ give a proof of Theorem \[markglobal\]. This was originally proved in @kontsoibel but without explicit signs. \[generallemmadecomp\] Let $\left( V^{\bullet},d_{v}\right) $ be a cochain complex. 1. Assume that there is a decomposition $$\label{decomp} V^{\bullet}=W\oplus d\mathcal{M} \oplus \mathcal{M},$$ where $W=\oplus_{p\geq 0}{W}^{p}\cong H^{\bullet}\left(V\right)$ is a graded vector subspace of closed elements, and $\mathcal{M}$ is a graded vector subspace containing no exact elements except $0$. There exist maps $f,g,h$ and a diagram of the type such that $f g=1_{W}$ and $d_{W}=0$. Moreover the maps satisfy the *side conditions*: $fh=0$, $hg=0$ and $h^2=0$. 2. Let $\left( W^{\bullet},d_{W}\right) $ be a cochain complex. Assume that $d_{W}=0$ and that there is a diagram of the type between $W$ and $V$ such that $f g=1_{W}$, $fh=0$, $hg=0$ and $h^2=0$. There is a Hodge type decomposition $$V^{\bullet}=W\oplus d\mathcal{M} \oplus \mathcal{M}.$$ 3. Let $\left( W^{\bullet},d_{W}\right) $ be a cochain complex. Assume that there is a diagram of the type between $W$ and $V$ such that $f g=1_{W}$. There exists a cochain homotopy between $gf$ and $1_{V}$ such that the diagram satisfies the side conditions. 4. There exist a cochain complexes $(W^{\bullet}, d_{w})$ and a diagram of the type between $W$ and $V$ such that that $d_{W}=0$, $f g=1_{W}$, $f h=0$, $h g=0$ and $h^2=0$. <!-- --> 1. Let $W$ be a graded vector isomorphic to the cohomology of $V^{\bullet}$. We consider $W^{\bullet}$ as a differential graded vector space with zero differential. The inclusion $g\: : \:\left( W^{\bullet}, 0\right)\hookrightarrow \left(V, d_{V} \right)$ is a quasi-isomorphism. Let $f\: : \: W\oplus d_{V}\mathcal{M} \oplus \mathcal{M}\to W$ be the projection on the first coordinate. Let $h\: : \: W\oplus d_{V}\mathcal{M} \oplus \mathcal{M}\to W\oplus d_{V}\mathcal{M} \oplus \mathcal{M}$ be defined by $$h(a_{1}, d_{V}a_{2}, a_{3}):=h(0, 0, a_{2}).$$ It is a degree $-1$ map between graded vector spaces. A short calculation show that $h$ defines a homotopy between $f\circ g$ and $1_{W}$ and fulfills the conditions. 2. This follows by setting $\mathcal{M}:=\operatorname{Im}(h)$, $W:=\operatorname{Im}(g)$. 3. See @lambestaheff. 4. See @lodayVallette [Lemma 9.4.7]. Given a diagram of the type that satisfies $d_{w}=0$, $f\circ g=1_{W}$, $f\circ h=0$, $h\circ g=0$ and $h\circ h=0$. We call the Hodge type decomposition obtained by Lemma \[generallemmadecomp\] *the Hodge type decomposition associated to the diagram*. \[rmmkvallette\] A proof of Theorem \[markglobal\] assuming the side conditions is contained in @KadeshHuebsch (see the coalgebra perturbation lemma $2.1_{*}$). Let $\left(A,m^{A}_{\bullet}\right) $ be a non-negatively graded $(1-)P_{\infty}$-algebra. Fix a diagram $$\label{diaglast} \begin{tikzcd} f\: : \: (A^{\bullet},m^{A}_{1})\arrow[r, shift right, ""]&(W^{\bullet}, d_{W})\: : \: g\arrow[l, shift right, ""] \end{tikzcd}$$ and a homotopy $h$. Assume that $d_{W}=0$, $f g=1_{W}$, $f h=0$, $hg=0$ and $h^2=0$. Let $$\label{decomp2} A=W\oplus d\mathcal{M} \oplus \mathcal{M},$$ be the associated Hodge type decomposition where $d=m_{1}^{A}$. Then there exists an unique pair $(g_{\bullet},m^{W}_{\bullet})$ that satisfies Theorem \[markglobal\] such that $g_{n}\: : \: W^{n}\to \mathcal{M}$ for $n>1$. Let $\left(g_{\bullet}, m_{\bullet}^{W}, \right)$, $\left(\tilde{g}_{\bullet}, \tilde{m}_{\bullet} \right)$ be two distinct solutions that satisfies the above conditions. We have $\tilde{m}_{1}=0=m_{1}^{W}$ and $\tilde{g}_{1}={g}_{1}$. Assume that $\tilde{m}_{i}=m_{i}^{W}$, $g_{i}=\tilde{g}_{i}$ for $i<n$. Since they are both $C_{\infty}$-morphisms, we have $$\begin{aligned} g_{1}m_{n}^{W}-dg_{n}=\tilde{g}_{1}\tilde{m}_{n}-d\tilde{g}_{n}\in A\end{aligned}$$ Let $w_{1}, \dots, w_{n}\in W$, then by we have $$\begin{aligned} g_{1}m_{n}^{W}\left(w_{1}, \dots, w_{n} \right)& = \tilde{g}_{1}\tilde{m}_{n}\left(w_{1}, \dots, w_{n} \right)\\ dg_{n}\left(w_{1}, \dots, w_{n} \right)& = d\tilde{g}_{n}\left(w_{1}, \dots, w_{n} \right)\end{aligned}$$ We conclude $m_{n}^{W}\left(w_{1}, \dots, w_{n} \right)=\tilde{m}_{n}\left(w_{1}, \dots, w_{n} \right)$ and $g_{n}\left(w_{1}, \dots, w_{n} \right)=\tilde{g}_{n}\left(w_{1}, \dots, w_{n} \right)$. Minimal models and homotopies {#Morphism of homological pairs} ----------------------------- Let $\left(B, m_{\bullet}^{B} \right) $ be a $P_{\infty}$-algebra and let ${g'}_{\bullet}\: : \:\left(W', m_{\bullet}^{W'}\right) \to \left( B, m_{\bullet}^{B}\right) $ be a minimal model. It has an inverse up to homotopy ${f'}_{\bullet}$. Let $p_{\bullet}\: \: \:\left(A, m_{\bullet}^{A}\right)\to\left( B, m_{\bullet}^{B}\right) $ be a $P_{\infty}$-algebra morphism and let ${g}_{\bullet}\: : \:\left(W, m_{\bullet}^{W}\right) \to \mathcal{F}\left( A, m_{\bullet}^{A}\right) $ be a $1$-minimal model for $1-P_{\infty}$-algebras. We get the following diagram for $1-P_{\infty}$-algebras $$\begin{tikzcd} \mathcal{F}\left(A, m_{\bullet}^{A}\right)\arrow[r, "\mathcal{F}\left( p_{\bullet}\right) "] & \mathcal{F}\left(B, m_{\bullet}^{B} \right)\arrow[d, , "\mathcal{F}\left( {g'}_{\bullet}\right) "]\\(W ,m_{\bullet}^{W})\arrow[u, , "g_{\bullet}"]& ( W' ,m_{\bullet}^{W'})\arrow[u, shift right, "\mathcal{F}\left({f'}_{\bullet}\right) "]. \end{tikzcd}$$ We set $q_{\bullet}:=\mathcal{F}\left({f'}_{\bullet}\right) \mathcal{F}\left( {p}_{\bullet}\right) {g}_{\bullet}$. \[connected maurerCartan\] $\mathcal{F}\left(g' \right)_{\bullet}q_{\bullet}$ is $1$-homotopic to $\mathcal{F}(p)_{\bullet}g_{\bullet} $. If ${g'}_{\bullet}{f'}_{\bullet}=\mathrm{Id}$, then $\mathcal{F}\left(g' \right)_{\bullet}q_{\bullet}=\mathcal{F}(p)_{\bullet}g_{\bullet} $. $\mathcal{F}\left(g' \right)_{\bullet}q_{\bullet}=\mathcal{F}\left({g'}_{\bullet}{f'}_{\bullet} {p}_{\bullet}\right) {g}_{\bullet}$. Since ${g'}_{\bullet}{f'}_{\bullet}$ is homotopic to the identity, we have the statement. The complex punctured elliptic curve and the KZB connection {#pt} =========================================================== We construct a family of holomorphic $1$-models with logarithmic singularities for the $C_{\infty}$-algebra of smooth differential forms on punctured elliptic curves. The family is parametrized by the holomorphic structure $\tau$ in the complex upper half plane and is a holomorphic $C_{\infty}$-version of the smooth model given in @LevBrown. We apply the theory developed in @Sibilia1 to build a flat connection $d-\alpha_\tau$ that corresponds to the universal KZB connection on the punctured elliptic curve (see @Damien, @Hain and @Levrac). A comparison between KZB and KZ connection is contained in @Hain, by sending $\tau$ to $i\infty$. We describe this comparison via the machinery of Subsection \[Morphism of homological pairs\]. In the last subsection, we present another holomorphic connection gauge equivalent to the KZB connection on the punctured elliptic curve. A $1$-model for the torus ------------------------- Let $\tau$ be a fixed element of the upper half plane $\mathbb{H}:=\left\lbrace z\in \C \: : \: \Im(z)>0\right\rbrace $. Let $\mathbb{Z}+\tau\mathbb{Z}$ be the lattice spanned by $1,\tau$. Let $\xi$ be the coordinate on $\C$. We define a holomorphic action of $\mathbb{Z}^{2}$ on $\C$ by $$(m,n)(\xi):=\xi+m+\tau n,$$ which is free and properly discontinuous. The lattice $\mathbb{Z}+\tau\mathbb{Z}$ is a normal crossing divisor of $\C$ and it is preserved by the action of $\Z^{2}$. The action groupoid $\C_{\bullet}\Z^{2}$ is a simplicial manifold equipped with a simplicial normal crossing divisor $\left( \mathbb{Z}+\tau\mathbb{Z}\right)_{\bullet}\Z^{2}$ (see @Sibilia1). By the de Rham Theorem for simplicial manifolds we have $$H^{\bullet}\left( \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right) \right),D\right) \cong H^{\bullet}\left({\mathcal{E}}^{\times},\C \right).$$ Let $\gamma\: : \: \Z^{2}\to \C$ be the group homomorphism defined by $\gamma(m,n):=n2\pi i$. Then $d\xi$ and $\gamma$ are closed forms in $\operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$ of type $(0,1)$ and $(1,0)$ respectively. They generate the cohomology. We construct a $1$-model for $\operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$.\ We fix a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ such that $$\label{conditions} f^{(0)}=1,\quad f^{(n)}(\xi+l)=f^{(n)}(\xi),\quad f^{(n)}(\xi+l\tau)= \sum_{j=0}^{n}\frac{f^{(n-j)}(\xi)(-2\pi il)^{j}}{j!}$$ for all $l,n\in \Z$. \[linindfunct\] Let $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ be a family of holomorphic functions indexed by $\N$ that satisfy $\eqref{conditions}$. Then they are linearly independent. Assume that there is a non trivial relation $\sum_{i\in I}\lambda_{i}f^{(i)}=0$. Let $p$ be the maximal integer of $I$ such that $\lambda_{p}\neq 0$. Notice that $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ are elements of $\operatorname{Tot}_{N}\left(A_{DR}\left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right)_{\bullet}\Z^{2}\right) \right) $ of bidegree $(0,0)$. Let $V$ be the complex vector space generated by $\left\lbrace f^{(i)}\right\rbrace_{i\in \N}$. Then each $f^{(i)}$ defines a map $\partial_{G}f^{(i)}\: : \: \Z^{2}\to V$ via $$((m,n))\mapsto \partial_{G}f{(m,n)}=\sum_{j=0}^{i}\frac{f^{(i-j)}(\xi)(-2\pi in)^{j}}{j!}.$$ Set $x:=n$, then $\sum_{i\in I}\lambda_{i}\partial_{G}f^{(i)}$ can be seen as a polynomial $p(x)$ in variable $x$ and coefficients in $V$ of the form $$p(x)=\sum h^{a}x^{a}$$ where $h^{a}\in V$. In particular $h^{p}=\lambda_{p}f^{\left( 0\right)}(-2\pi i)^{p}=\lambda_{p}(-2\pi i)^{p}$. Since $\sum_{i\in I}\lambda_{i}\partial_{G}f^{(i)}=0$ we get that $p(x)=0$ for any $x\in \N$. This implies that $h^{p}=0$ and then $\lambda_{p}=0$. For $i\in \N$, we set $\phi^{(i)}:=f^{(i)}d\xi$. Then $$\phi^{(i)}\in \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$$ are linearly indipendent elements of bidegree $(0,1)$. Note that $d\phi^{(i)}=0$ since they are holomorphic $1$-forms. We consider $\operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$ equipped with the unital $C_{\infty}$-structure ${m}_{\bullet}$ such that $m_{1}=D$ (see @Sibilia1 [Section 2]). \[modelelliptic curve\] 1. $D\left( -\phi^{(n)}\right) =\sum_{l=1}^{n}{m}_{l+1}(\gamma,\dots, \gamma, \phi^{(p-l)})$, for any $n$, 2. ${m}_{l+1}(\gamma^{\otimes i}, \phi^{(k)}, \gamma^{\otimes l+1-i})=(-1)^{l}\binom{l}{i}{m}_{l+1}(\phi^{(k)},\gamma,\dots, \gamma)$, 3. Let $B^{\bullet}\subset \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$ be $C_{\infty}$-sub algebra generated by $ 1,\gamma,\left\lbrace \phi^{(i)}\right\rbrace_{i\in \N}. $ Then $$\left( {m}_{\bullet},B^{\bullet}\right) \subset \left({m}_{\bullet}, \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)\right)$$ is a $1$-model. We use Theorem 2.7 in @Sibilia1. Fix a $(m,n)\in \Z^{2}.$ Let $l>1$. Then $$\label{firstexpr}{m}_{l+1}\left( \gamma, \dots, \gamma, \phi^{(p-l)} \right){(m,n)}= \frac{B_{l}}{l!}\sum _{i\geq 1}^{p-l}\frac{\phi^{(p-l-i)}\left(-2 \pi i n \right)^{i+l} }{i!}.$$ If $l=1$, $$\label{secondexpr}{m}_{2}\left( \gamma, \gamma, \phi^{(p-1)} \right){(m,n)}= -\left(\left( 1- B_{1}\right) \sum _{i\geq 1}^{p-l}\frac{\phi^{(p-1-i)}\left(-2 \pi i n \right)^{i+1} }{i!} + \left(-2 \pi i n \right)\phi^{(p-1)} \right).$$ More easily we have $$\label{totalon} D\left(- \phi^{(p)}\right){(m,n)}=-\sum _{i\geq 1}^{p}\frac{\phi^{(p-i)}\left(-2 \pi i n \right)^{i} }{i!}$$ We prove that $\eqref{firstexpr}+\eqref{secondexpr}=\eqref{totalon}$ by comparing the coefficients. For $p=1,2$ the two expressions agree. For $n>2$ $\eqref{firstexpr}+\eqref{secondexpr}=\eqref{totalon}$ is equivalent to $$\frac{1-B_{1}}{(i-1)!}-\sum_{j=2}^{i-1}\frac{B_{j}}{j!}\frac{1}{(i-j)!}=\frac{1}{i!}.$$ The first Bernoulli numbers ${B'}_{j}$ satisfy $\sum_{j=0}^{\infty}\frac{{B'}_{j}}{j!}=\frac{t}{e^t-1}$. Since $B_{j}={B'}_{j}$ for $j\neq 1$ and $B_{1}=\frac{1}{2}=-{B'}_{1}$, the condition above is equivalent to $$\left( 1-\frac{t}{1-e^t}\right) \left(e^{t}-1 \right)=e^{t}-1-t.$$ This proves the first statement. The second statement follows by @Sibilia1 [Theorem 2.7]. We prove point 3. Let $i\: : \: B\to \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$ be the inclusion. We have to show that the induced map $[i]$ in cohomology is an isomorphism between elements of degree $1$ and an is injective for the elements of degree $2$. Assume that there is an element $\sum_{i\in I}\lambda_{i}\phi^{(i)}$ such that $\sum_{i\in I}\lambda_{i}D\phi^{(i)}=0$ and $0\notin I$. Let $p$ be the maximal integer of $I$ such that $\lambda_{p}\neq 0$. Let $V$ be the complex vector space generated by $\left\lbrace \phi^{(i)}\right\rbrace_{i\in \N}$. Then each $\phi^{(i)}$ defines a map $D\phi^{(i)}\: : \: \Z^{2}\to V$ via $$((m,n))\mapsto \left( Df\right) {(m,n)}=\sum_{j=0}^{i}\frac{\phi^{(i-j)}(\xi)(-2\pi in)^{j}}{j!}.$$ Set $x=n$, hence $\sum_{i\in I}\lambda_{i}D\phi^{(i)}$ can be written as a polynomial $p(x)$ with coefficients in $V$ of the forms $$p(x)=\sum h^{a}x^{a}$$ where $h^{a}\in V$. In particular the monomial that multiplies $\phi^{\left( p-1\right)}$ is $x$, i.e we get $$h^{1}=\lambda_{p}\phi^{\left( p-1\right)}+h$$ where $h$ lies in the subvector space of $V$ generated by $\phi^{(0)}, \dots, \phi^{(p-2)}$. Since $\sum_{i\in I}\lambda_{i}D\phi^{(i)}=0$ we get $p(x)=0$ for any $x\in \N$. Lemma \[linindfunct\] implies that $h^{1}=0$ and hence $\lambda_{p}=0$. This shows that the vector space of closed forms in $B^{1}$ is generated by $\phi^{0}$ and $\gamma$. We show that $H^{2}(B)$ vanishes. Suppose that there is a closed element $$f:=\sum_{i,j}^{n}\lambda_{i,j}{m}_{i}\left(\gamma, \dots, \gamma, \phi^{(j)} \right),$$ for $i>1$ and $j\geq 0$. By point 1 we can assume that $\lambda_{2,j}=0$. Since ${m}_{i}\left(\gamma, \dots, \gamma, \phi^{(0)} \right)=0$ for $i>2$ we conclude that $j>0$. Let $p$ be the maximal integer such that $\lambda_{i,p}\neq 0$ for some $i$ and let $l$ be the maximal integer such that $\lambda_{l,p}\neq 0$. The element $Dm_{l}\left(\gamma, \dots, \gamma, \phi^{p} \right) $ is of type $(2,1)$, then for $((m,n),(m',n'))\in \Z^{2}\times \Z^{2}$ we have $$\begin{aligned} \left( Dm_{l}\left(\gamma, \dots, \gamma, \phi^{p} \right)\right) {((m,n),(m',n'))} &=\frac{B_{l-1}}{\left(l-1 \right) !} \sum _{i\geq 1}^{p}\frac{(m,n)\cdot\phi^{(p-i)}\left(-2 \pi i n' \right)^{i+l-1} }{i!}\\ &+ \frac{B_{l-1}}{\left(l-1 \right) !}\sum _{i\geq 1}^{p}\frac{\phi^{(p-i)}\left(-2 \pi i (n+n') \right)^{i+l-1} }{i!}\\ &+\frac{B_{l-1}}{\left(l-1 \right) !}\sum _{i\geq 1}^{p}\frac{\phi^{(p-i)}\left(-2 \pi i n \right)^{i+l-1} }{i!} \end{aligned}$$ Then $Df$ defines a map $Df\: : \: \Z^{2}\times \Z^{2}\to V$ via $$((m,n),(m',n'))\mapsto \left( Df\right) {((m,n)(m',n'))}.$$ Now set $x=n$, $y=n'$, then $Df$ can be written as a polynomial $p(x,y)$ with coefficients in $V$ of form $$p(x,y)=\sum h^{a,b}x^{a}y^{b}.$$ The monomials that multiply $\phi^{(p-1)}$ are $$\frac{\lambda_{l,p}B_{l-1}(-2\pi i)^{l}}{\left(l-1 \right) !}\left(x^{l}-(x+y)^{l}+y^{l}\right)+r(x,y)$$ where $r(x,y)$ is a polynomial containing monomials of total degree smaller than $l$. We conclude that $$h^{l-1,1}=\frac{\lambda_{l,p}B_{l-1}(-2\pi i)^{l}}{\left(l-1 \right) !}\phi^{(p-1)}+h, \quad h^{1,l-1}=\frac{\lambda_{l,p}B_{l-1}(-2\pi i)^{l}}{\left(l-1 \right) !}\phi^{(p-1)}+h'$$ where $h,h'\in W'$, where $W'$ is the vector space generated by $\phi^{(i)}$ for $1\leq i\leq p-2 $ . Since $p(x,y)$ vanishes on $\Z^{2}\times \Z^{2}$ we conclude that $h^{a,b}=0$ for any $a,b$. We get relations $$\frac{\lambda_{l,p}B_{l-1}(-2\pi i)^{l}}{\left(l-1 \right) !}\phi^{(p-1)}+h=0, \quad \frac{\lambda_{l,p}B_{l-1}(-2\pi i)^{l}}{\left(l-1 \right) !}\phi^{(p-1)}+h=0$$ which implies $\lambda_{l,p}=0$. Hence the only closed form in $B^{2}$ is the exact form $$\lambda {m}_{2}\left(\gamma, \phi^{(0)} \right)$$ and $H^{2}(B)=0$. \[decoB\] Let $\left( B, {m}_{\bullet}\right) $ be as above. There exists a Hodge decomposition $$\label{elliptic curvedec} B=W^{\bullet}\oplus D\mathcal{M}\oplus \mathcal{M}$$ such that 1. $W^{1}$ is generated by $\phi^{(0)}$ and $\gamma$, $\mathcal{M}^{1}$ is generated by $\phi^{(i)}$ for $i>0$, and $\left( D\mathcal{M}\right)^{0}=0$, 2. $W^{2}=0$, $\mathcal{M}^{2}$ is generated by ${m}_{l}\left(\phi^{(i)}, \gamma, \dots, \gamma\right) $ for $i>0, l>2$, and $\left( D\mathcal{M}\right)^{2}$ is generated by $D\left( \phi^{(i)}\right) $ for $i>1$. The desired decomposition in higher degree follows by the proof of @lodayVallette [Lemma 9.4.7]. Notice that the $1$-model $B$ is completely determined by the choiche of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ that satisfy $\eqref{conditions}$. The above facts are true for any $\tau\in \mathbb{H}$ as well. \[cormodel\] For any $\tau\in \mathbb{H}$ there exists a holomorphic $1$-model $B\subset \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)$ with logarithmic singularities and equipped with a Hodge type decomposition. We fix a $\tau$ and a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ that satisfy $\eqref{conditions}$. We consider $\left( B, {m}_{\bullet}\right) $ equipped with the Hodge type decomposition above. We calculate the degree zero geometric connection of the action groupoid $\left( \mathbb{C}-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \right) _{\bullet}\Z^{2}$ associated to the decomposition . We apply Lemma \[generallemmadecomp\] to the decomposition and get chain maps $f,g$ and a chain homotopy $h$. Let $p_{n}=\sum _{T\in \mathcal{P}_{n}}(-1)^{\theta(T)}P_{T}$ be the p-kernel of Definition \[explicitpkernel\]. There is a $C_{\infty}$-structure $m_{\bullet}^{W}$ on $W$ given by $${m}_{n}:=f\circ p_{n}\circ g^{\otimes n},\quad n\geq 1$$ and a $C_{\infty}$-quasi-isomorphism ${{g}}_{n}\: : \: W^{\otimes n}\to W$ is given by $${{g}}_{n}:=h\circ p_{n}\circ g^{\otimes n},\quad n\geq 1.$$ Since $H^{2}(B)=0$, the $C_{\infty}$-structure $m_{n}^{W}$ vanishes on $W^{1}$. \[finalcomp\] Let $g_{\bullet}$ be the above quasi-isomorphism. Let $v_{i_{1}},\dots,v_{i_{n}}\in\left\lbrace \gamma, \phi^{(0)} \right\rbrace $ for $l=1,\dots,n$. 1. $g_{n}\left(v_{{1}},\dots ,v_{{n}} \right)=0$ if $\left( v_{{1}},\dots ,v_{{n}}\right) $ is not of the following form: there exists exactly one $j$ such that $v_{{j}}=\phi^{(0)}$ and $v_{s}=\gamma$, for $s\neq j$. 2. $g_{n}\left( \phi^{(0)},\gamma,\dots ,\gamma \right)=\phi^{(n)}$. For each $n\geq 2$, the p-kernels are $$p_{n}:=\sum _{T\in \mathcal{P}_{n}}(-1)^{\theta(T)}P_{T}.$$ Since ${m}_{\bullet}$ is $C_{\infty}$ we have ${m}_{l}(\gamma, \dots, \gamma)=0$ for $l>1$. Consider ${m}_{l}(w_{i_{1}}, \dots, w_{i_{l}})$ such that $w_{i_{l}}\in \left\lbrace \gamma, \phi^{(0)}, \phi^{(1)}, \dots \right\rbrace $. Assume that there exists exactly $j_{1}, \dots j_{r}$ where $l>r>1$ such that $w_{j_{i}}=\phi^{(k)}$ for $i=1, \dots, r$ for some $k\geq 0$. By @Sibilia1 [Theorem 2.7] we have ${m}_{l}(w_{i_{1}}, \dots, w_{i_{l}})=0$. The same conclusion is true if $r=l>2$. For $l=2$ we get ${m}_{2}(w_{i_{1}}, w_{i_{2}})=w_{i_{1}}\wedge w_{i_{2}}$ which vanishes for dimensional reasons. Let $T\in \mathcal{P}_{n}$ be an oriented planar tree and consider the induced map $P_{T}$. Lemma \[modelelliptic curve\] and the decomposition imply $$\label{homotopyexpr} h\left({m}_{2}(\gamma, \phi^{(k-1)}) \right)=h\left({m}_{1}\left( \phi^{(k)}\right) -\sum_{l=2}^{k}(-1)^{l+1}{m}_{l+1}(\gamma,\dots, \gamma, \phi^{(k-l)})\right)= \phi^{(k)}$$ and $$h\left({m}_{l}(\gamma,\dots,\gamma, \phi^{(k)}, \gamma,\dots ,\gamma) \right)=0\quad l>2$$ for any $k\geq 1$. This proves point 1. The only binary tree $T$ such that $h\circ P_{T}\circ g^{\otimes n}\left( \phi^{(0)},\gamma,\dots ,\gamma\right)\neq 0 $ is the one in Figure \[fig2\]. ![ Three with non-trivial induced map <span data-label="fig2"></span>](proof.png) Here we have $m_{k}=0$ for $k>2$ even. A direct calculation shows $h\circ p_{T}\circ g^{\otimes n}\left( \phi^{(0)},\gamma,\dots ,\gamma \right)=\phi^{(n)}$. By @Sibilia1 [Proposition 1.20], $\mathcal{F}\left( g\right) _{\bullet}$ corresponds to a Maurer-Cartan element in $$\operatorname{Conv}_{1-C_{\infty}}\left(\mathcal{F}\left(W, m_{\bullet}^{W}\right) ,\mathcal{F}\left(B, m_{\bullet} \right) \right).$$ We consider $W$ equipped with the basis $-\gamma$, $-\phi^{(0)}$. We consider $\left( W^{1}[1]\right)^{*} $ as the vector space generated by the degree zero elements $X_{0},X_{1}$, where $X_{1}$, and resp. $X_{0}$ denote the dual of $-s\phi^{(0)}$ and of $-s\gamma$ in $W[1]$ respectively. Since $m_{\bullet}^{W}$ vanishes on elements of degree $1$, by @Sibilia1 [Proposition 1.25] we get that $\operatorname{Conv}_{1-C_{\infty}}\left(\left(W, m_{\bullet}^{W}\right) ,\mathcal{F}\left(B, m_{\bullet} \right) \right)\cong B\widehat{\otimes} \widehat{\mathbb{L}}\left( X_{0}, X_{1} \right)$. Hence $\mathcal{F}\left( g\right) _{\bullet}$ can be written as a formal power series $$C\in B^{1}\widehat{\otimes} \widehat{\mathbb{L}}\left( X_{0}, X_{1} \right).$$ \[deg0geom\] Consider a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ that satisfy . Let $\left(B, {m}_{\bullet} \right) $ be the $1$-model constructed in Lemma \[modelelliptic curve\] and equipped with the decomposition $\left(W,\mathcal{M} \right) $ as in . We consider $W$ equipped with the basis $-\gamma$, $\phi^{(0)}$. 1. There exists a unique minimal model of $C_{\infty}$-algebras $g_{\bullet}\: : \: \left(W, m_{\bullet} \right) \to \left( B, m_{\bullet}\right) $ such that $g_{n}\: : \: W^{\otimes n}\to \mathcal{M}\subset B$ for $n>1$. 2. The degree zero geometric connection corresponding to $\mathcal{F}(g_{\bullet})$ is given by $$C =-\gamma X_{0}-\sum_{p\geq 0}\phi^{(p)}\operatorname{Ad}^{p}_{X_{0}}(X_{1}).$$ Let $L\subset \widehat{\mathbb{L}}\left( X_{0}, X_{1} \right)$ be the complete vector subspace spanned by $X_{0}$ and by all the Lie monomials $P$ such that its associated monomial (see @Lothaire, chapter 5) is $$\label{conditionmonomial} \operatorname{Mon}(P)=X_{1}^{\otimes s}\otimes X_{0}\otimes X_{1}^{\otimes r}$$for some $s,r\geq 0$. In particular $X_{0}$ and the set of Lie monomials of the form $\left[\left[X_{1},X_{0} \right],\dots,X_{0} \right] $ form a basis of $L$. Let $\operatorname{Ad}^{0}_{X_{0}}(X_{1}):=X_{1}$ and $\operatorname{Ad}^{p}_{X_{0}}(X_{1}):=\left[X_{0}, \operatorname{Ad}^{p-1}_{X_{0}}(X_{1})\right] $ for $p>0$. By Lemma \[modelelliptic curve\] and Lemma \[finalcomp\] we have $$\begin{aligned} C& =-\gamma X_{0}-\sum_{p\geq 0}(-1)^{p}\phi^{(p)}\left[\left[X_{1},X_{0} \right],\dots,X_{0} \right]\\ & =-\gamma X_{0}-\sum_{p\geq 0}\phi^{(p)}\operatorname{Ad}^{p}_{X_{0}}(X_{1}).\end{aligned}$$ Flat connections on the punctured torus --------------------------------------- We denote by $\xi=s+\tau r$ the coordinates on $\C$. We define the smooth differential forms $\omega^{(i)}\in A^{1}_{DR}\left(\mathcal{E}_{\tau}^{\times}\right) $ via $$\sum_{k\geq 0}\omega^{(k)}\alpha^{k}:= \left(\exp\left(2 \pi i r \alpha \right) \right) \left( \sum_{k\geq 0}\phi^{(k)}\alpha^{k}\right)$$ where $\alpha$ is a formal variable. Let $\nu:=2 \pi i dr$. It is easy see that the forms above satisfiy the following relations: $$D\omega^{(k)}=d \omega^{(k)}=\nu\wedge \omega^{(k-1)}, \quad \omega^{(0)}=d \xi$$ Let $\bar{B}\subset \left( A_{DR}\left(\mathcal{E}_{\tau}^{\times}\right), D, \wedge\right) $ be the differential graded algebra generated by $1$, $\nu$ and the $\omega^{(i)}$ for $i\geq 0$. Notice that $\bar{B}$ depends by the choice of functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ that satisfy . \[Brownmodel\] Let $\bar{B}\subset A_{DR}\left(\mathcal{E}_{\tau}^{\times}\right)$ as above. 1. $\bar{B}$ is a model for $ A_{DR}\left(\mathcal{E}_{\tau}^{\times}\right) $. 2. There exists a Hodge type decomposition $$\label{Browndec} \bar{B}=\bar{W}\oplus D\bar{\mathcal{M}}\oplus \bar{\mathcal{M}}$$ such that 1. $\bar{W}^{1}$ is generated by $\omega^{(0)}$ and $\nu$, $\bar{\mathcal{M}}^{1}$ is generated by $\omega^{(i)}$ for $i>0$, and $\left( D\bar{\mathcal{M}}\right)^{0}=0$, 2. $\bar{W}^{2}=0$, $\bar{\mathcal{M}}^{1}$ is generated by $\omega^{(i)}\nu $ for $i>0,$, and $\left( D\bar{\mathcal{M}}\right)^{1}$ is generated by $D\left( \omega^{(i)}\right) $ for $i>1$. In @LevBrown, it is proved point 1 and the fact that $\omega^{(0)}$, $\omega^{(1)}$, …, $\nu$ are linearly independent and the fact that $\omega^{(0)}\nu $, $\omega^{(1)}\nu $, …are linearly independent. This proves the second point. We consider $\left( \bar{W^{1}}[1]\right)^{*} $ as the vector space generated by the degree zero elements $\bar{X}_{0},\bar{X}_{1}$, where $\bar{X}_{1}$, and resp. $\bar{X}_{0}$ denote the dual of $-s\omega^{(0)}$ and resp. of $s\nu$. By using the same calculation of the previous section, we have the following. \[Brown\] Consider a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ that satisfy and let $\bar{B}$ equipped with the decomposition . The degree zero geometric connection is given by $$\bar{C} =\nu \bar{X}_{0}-\sum_{p\geq 0}\omega^{(p)}\operatorname{Ad}^{p}_{\bar{X}_{0}}\left( \bar{X}_{1}\right)$$ In particular, $d-\bar{C}_{0}$ is a smooth flat connection on the trivial bundle $\mathcal{E}_{\tau}^{\times}\times \widehat{\mathbb{L}}\left( \bar{X}_{0}, \bar{X}_{1} \right)$. We define the factor of automorphy $F\: : \: \Z^2\times \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\to $ via ${F}_{(n,m)}(\xi)=\exp(-2 \pi im X_{0})$. We define the bundle $E_{F}=\left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)\times \widehat{\mathbb{L}}\left( X_{0}, X_{1} \right)/ \Z^2$ on the punctured torus where the $\Z^{2}$-action is induced by $F$, i.e. $$(n,m)(\xi,v)=\left( \xi+n+m\tau, \exp(-2 \pi im X_{0})\cdot v\right).$$ where $X_{0}^{p}\cdot v:=\operatorname{Ad}^{p}_{X_{0}}(v)$ for $v\in \widehat{\mathbb{L}}\left( X_{0}, X_{1} \right)$. The sections of $E_{F}$ satisfy: $$\label{bundlep} s(\xi + l)=s(\xi), \quad s(\xi + l\tau)=\exp(-2 \pi il X_{0})\cdot s(\xi)$$ The conditions implies that $$\begin{aligned} \sum_{p\geq 0}\phi^{(p)}(\xi+l)\operatorname{Ad}^{p}_{X_{0}}(X_{1})& =& \sum_{p\geq 0}\phi^{(p)}(\xi)\operatorname{Ad}^{p}_{X_{0}}(X_{1}),\\ \sum_{p\geq 0}\phi^{(p)}(\xi+l\tau)\operatorname{Ad}^{p}_{X_{0}}(X_{1})&=&\exp(-2 \pi i X_{0})\cdot \sum_{p\geq 0}\phi^{(p)}(\xi)\operatorname{Ad}^{p}_{X_{0}}(X_{1})\end{aligned}$$ for $l\in \Z$. \[main1\] Consider a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ that satisfy . Let $C$ be as in Proposition \[deg0geom\] and let $\bar{C}$, $F$ and $E_{F}$ be as above. Let $$\left( {m}_{\bullet},{B'}^{\bullet}\right) \subset \left({m}_{\bullet}, \operatorname{Tot}_{N}\left(A_{DR}\left( \left( \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace\right)_{\bullet}\Z^{2} \right)\right)\right)$$ be a $1$-model equipped with a Hodge space decomposition. Let ${g'}_{\bullet}\: : \: (W', m_{\bullet}^{W'})\to \left( {m}_{\bullet},{B'}^{\bullet}\right)$ be the minimal model obtained via the homotopy transfer theorem and let $C'$ be the degree zero geometric connection corresponding to $\mathcal{F}\left( {{g'}_{\bullet}}\right) $. 1. $d-r^{*}C$ is a well-defined holomorphic connection on the holomorphic bundle $E_F$, 2. $\left( d-r^{*}C, E_{F}\right) $ is smoothly isomorphic to $(d-r^{*}\overline{C},\mathcal{E}_{\tau}^{\times}\times \widehat{\mathbb{L}}\left( \bar{X}_{0}, \bar{X}_{1} \right) )$, 3. There exists a smooth factor of automorphy $F'$ and a bundle isomorphism $T\: : \: E_{F}\to E_{F'}$ such that $\left( d-r^{*}C, E_{F}\right) $ and $\left( d-r^{*}C', E_{F'}\right) $ are isomorphic. 4. If $B'$ is holomorphic, then $F'$ and $T'$ are holomorphic. 5. If $B'$ is holomorphic with logarithmic singularities, then $F'$ is holomorphic on the torus and $T'$ is an holomorphic isomorphism between bundles on the torus. We define a Lie algebra isomorphism $K^{*}$ by $\bar{X}_{i}\mapsto X_{i}$ for $i=1,0$. There is a gauge equivalence between $$k^{*}\overline{C}=\nu {X}_{0}-\sum_{p\geq 0}\omega^{(p)}\operatorname{Ad}^{p}_{{X}_{0}}\left( {X}_{1}\right)$$ and $r_{*}{C}_{0}$ given by $h(\xi)=2\pi rX_{0}$. The factor of automorphy induced by $h$ (see @Sibilia1 [Theorem 4.9]) is precisely ${F}_{(n,m)}(\xi)=e^{-h((n,m)\xi)}e^{h(\xi)}=\exp(-2 \pi im X_{0})$. All the other statements follows from @Sibilia1 [Theorem 4.9, Theorem 4.10]. Consider a family of holomorphic functions $f^{(i)}\: : \: \C-\left\lbrace \mathbb{Z}+\tau\mathbb{Z}\right\rbrace \to \C$ indexed by $i\in \N$ that satisfy . Note that all the statements above are true even by assuming that $f^{0}(z)$ is a $\Z^{2}$-invariant holomorphic function (an elliptic function with pole in $0$). In this case we can construct a new model in the same spirit as above. We construct $\bar{\phi}^{(i)}$ by $$\bar{\phi}^{(i)}:= {m}_{2}({\phi}^{(i)},f^{0}(z)),\quad i\geq 0$$ This gives a family of $1$-forms $\bar{\phi}^{(i)}$ indexed by $i\in \N$ that satisfies the relation . Hence $\left( \bar{\phi}^{(i)},\gamma\right)$ generates a new holomorphic $1$-model. Kronecker function and KZ connection {#ComparisonHain0} ------------------------------------ We show that the KZB connection can be constructed as degree zero geometric connection. Let $\theta\left(\xi,\tau\right)$ be the "two thirds of the Jacobi triple formula": $$\label{thetadueterz} \theta\left(\xi,\tau\right)=q^{1/12}\left(z^{1/2}-z^{-1/2}\right)\prod_{j=1}^\infty\left(1-q^{j}z\right)\prod_{j=1}^\infty\left(1-q^{j}z^{-1}\right)$$ where $\xi\in \mathbb{C}$ and $\tau\in \mathbb{H}$, $z:=\exp(2\pi i \xi)$, $q:=\exp(2 \pi i \tau)$. Set $\theta\left(0,\tau\right)':=\frac{\partial}{\partial \xi}\theta\left(0,\tau\right)$. The Kronecker function[^1] is defined as $$F\left(\xi,\eta,\tau \right):=\frac{\theta\left(0,\tau\right)'\theta\left(\xi+\eta,\tau\right)}{\theta\left(\xi,\tau\right)\theta\left(\eta,\tau\right)}.$$ 1. $F$ is a meromorphic function with simple pole at $(\xi, \eta, \tau)$ where $\xi\in \mathbb{Z}+\tau\mathbb{Z}$ and $\eta\in\mathbb{Z}+\tau\mathbb{Z}$, 2. It satisfies the quasi-periodicity $$\label{qper} F\left(\xi+1,\eta,\tau \right)=F\left(\xi,\eta,\tau \right),\quad F\left(\xi+\tau,\eta,\tau \right)=\exp{\left( -2\pi i \eta\right) }F\left(\xi,\eta,\tau \right).$$ See @Don, Theorem 3. In @Don, there is a Fourier expansion for $F$ $$\label{Fourier} F\left(\xi,\eta,\tau \right)=\pi i \left( \coth(\pi i \xi)+\coth(\pi i \eta)\right) +4 \pi \sum _{n=1}^{\infty}\left(\sum_{d|n}\sin\left(2\pi \left(\frac{n}{d}\xi+d\eta \right) \right) \right) q^{n}$$ We fix a $\tau\in \mathbb{H}$ and consider $F$ restricted at $\tau$. We consider $\eta$ as a formal variable and we define the function ${g}^{(i)}$, $i\geq 0$ as the coefficients of $$\eta F\left(\xi,\eta,\tau \right)=\sum_{i\geq 0} g^{(i)}\eta^{i}.$$ In particular the functions $g^{(i)}$ are meromorphic. Formula give a way to describe the functions $g^{(i)}$ explicitly. First notice that $$\frac{1}{2}\coth\left(\frac{t}{2} \right)=\frac{1}{2}+\frac{1}{e^{t}-1} =\sum_{m=0}^{\infty}\frac{B_{2m}}{(2m)!}t^{2m-1}.$$ Hence $$\begin{aligned} \pi i \eta\left( \coth(\pi i \xi)+\coth(\pi i \eta)\right) & = \pi i \eta +\frac{2 \pi i \eta}{e^{2 \pi i \xi}-1}+\sum_{m=0}^{\infty}\frac{B_{2m}}{(2m)!}(2 \pi i \eta)^{2m},\end{aligned}$$ by the de Moivre formula $$\begin{aligned} & 4\pi \sum _{n=1}^{\infty}\left(\sum_{d|n}\sin\left(2\pi \left(\frac{n}{d}\xi+d\eta \right) \right) \right) q^{n} \\ & =-2\pi i\sum _{n=1}^{\infty}\sum_{d|n}\left( e^{2 \pi i\frac {n}{d}\xi}\left(\sum_{l=0}^{\infty}\frac{\left( 2 \pi i d \eta\right)^{l}}{l!}\right) -e^{-2 \pi i\frac {n}{d}\xi}\left(\sum_{l=0}^{\infty}\frac{\left( -2 \pi i d \eta\right)^{l}}{l!}\right) \right) q^{n}.\end{aligned}$$ Hence $$\begin{aligned} g^{(0)}(\xi)& =1,\\ g^{(1)}(\xi)& = \pi i +\frac{2 \pi i }{e^{2 \pi i \xi}-1}- 2 \pi i \sum_{n=1}^{\infty}\sum_{n|d}\left( e^{2 \pi i\frac {n}{d}\xi}-e^{-2 \pi i\frac {n}{d}\xi}\right)q^{n},\\ g^{(l)}(\xi)& =-\frac{\left( 2 \pi i \right)^{l}}{l!} \sum_{n=1}^{\infty}\left( \sum_{n|d}ld^{l}\left( e^{2 \pi i\frac {n}{d}\xi}+(-1)^{l}e^{-2 \pi i\frac {n}{d}\xi}\right)\right) q^{n} +\frac{\left( 2 \pi i \right)^{l}B_{l}}{l!}, \text{ for }l>1.\end{aligned}$$ In particular, for any $\tau$, $g^{(0)}=1$ and $g^{(1)}$ is a meromorphic function with simple poles at $\xi \in \Z+\tau \Z$ and $g^{(i)}$ for $i>1$ is holomorphic (see @Don). The quasi-periodicity of $F$ implies that the functions $\left\lbrace g^{(i)}\right\rbrace_{i\in \N}$ satisfies . \[@Damien,@Levrac,@Hain\] Let $\tau$ be as above. The KZB connection on the punctured torus is a flat connection $$d-\omega^{\tau}_{KZB,1}$$ on the bundle $E_{F}$ as defined in the previous section, where $$\omega^{\tau}_{KZB,1}=-\sum_{p\geq 0}g^{(p)}(\xi)d\xi\operatorname{Ad}^{p}_{X_{0}}(X_{1})$$ \[main2\] We fix a $\tau\in\mathbb{H}$ and we consider the functions $\left\lbrace g^{(i)} \right\rbrace_{i\in\N} $. Let $C$ be as Proposition \[deg0geom\]. Then $(d-r^*C, E_{F})$ is the KZB connection $(d-\omega^{\tau}_{KZB,1}, E_{F})$. Let $\left(B, {m}_{\bullet} \right) $ be the $1$-model constructed in Lemma \[modelelliptic curve\] and equipped with the decomposition . The forms $g^{(i)}(\xi)d\xi$ are holomorphic for $i\neq 1$ and $g^{(1)}(\xi)d\xi$ is a form with a logarithmic singularity. The proof follows by Theorem \[main1\]. A comparison with the KZ connection via $C_{\infty}$-algebras {#ComparisonHain} ------------------------------------------------------------- We study some results of Section 12 of @Hain, where a link between universal KZ and KZB connection is given by considering the restriction of the connection to the first order Tate curve. We give an interpretation of such a result in terms of $C_{\infty}$-algebras over $\Q(2\pi i)$. As noticed by Hain in @Hain, $\lim_{\tau\to i\infty }\omega_{KZB,1}^{\tau}$ is equal to $\omega_{KZ,1}$ modulo a certain endomorphism $Q^{*}$ of complete Lie algebra. We use the argument of Subsection to show that $Q^{*}$ is induced by a strict $C_{\infty}$-morphism $p_{\bullet}$. We denote by $z$ the coordinate on $\C^{*}$. We define the action of $\Z$ on $\C^{*}$ via $$\label{Zaction} n \cdot z:= q^{n}z.$$ There is a morphism $h_{\bullet}\: : \: \C_{\bullet}\Z^{2}\to \C^{*}_{\bullet}\Z$ of action groupoids $$h_{0}(\xi)=e^{2 \pi i\xi}, \quad h_{1}(\xi, (m,n) )=\left( e^{2 \pi i\xi}, n\right)$$ which induces an isomorphism on the quotient. We have $ \left\lbrace q^{\Z} \right\rbrace \subset \C^{*}$ and the maps above give a morphism $\left( \C_{\bullet}-\left\lbrace \Z^{2}+\tau\Z^{2}\right\rbrace\right)_{\bullet}\Z^{2} \to \left( \C^{*}-\left\lbrace q^{\Z} \right\rbrace\right) _{\bullet}\Z$ between action groupoids that induce an isomorphism on the punctured elliptic curve. The quasi-periodicity of $F$ allows us to rewrite the $g^{(i)}$ as functions on $\left( \C^{*}-\left\lbrace q^{\Z} \right\rbrace\right)$. Then $$\begin{aligned} \nonumber g^{(0)}(z)& =1,\\ \nonumber g^{(1)}(z)& = \pi i +\frac{2 \pi i }{z-1}-\left( 2 \pi i \right)\sum_{n=1}^{\infty}\sum_{n|d}d\left( z^\frac{n}{d}-z^\frac {-n}{d}\right)q^{n},\\ \label{functionformal} g^{(l)}(z)& =-\frac{\left( 2 \pi i \right)^{l}}{l!}\left( \sum_{n=1}^{\infty}\left( \sum_{n|d}ld^{l}\left( z^\frac{n}{d}+(-1)^{l}z^\frac {-n}{d}\right)\right) q^{n}\right) +\frac{\left( 2 \pi i \right)^{l}B_{l}}{l!}, \text{ for }l>1.\end{aligned}$$ The functions $g^{(l)}$ for $l\geq 0$ can be written as power series on $q$ where the coefficients are rational functions on $\C$ with poles on $0,1$ of the form $\frac{p_{1}}{p_{2}}$, where $p_{i}$ are polynomials over the field $\Q(2 \pi i)$ for $i=1,2$. Given a subfield $\Q\subset \Bbbk\subset \C$, let $D\subset \C^{n}$ be a normal crossing divisor. We denote by $\operatorname{Rat}^{0}_{\Bbbk}(\C^{n},D)$ the algebra of rational functions $\frac{p_{1}}{p_{2}}$ with poles along $D$ such that $p_{1}, p_{2}$ are polynomials over the field $\Bbbk$. We denote by $\operatorname{Rat}^{\bullet}_{\Bbbk}(\C^{n},D)$ the differential graded $\Bbbk$-subalgebra of differential forms generated by forms of type $f dx_{I}$, with $f\in\operatorname{Rat}^{0}_{\Bbbk}(\C^{n},D)$. In particular $\operatorname{Rat}^{\bullet}_{\Bbbk}(\C^{n},D)\otimes \C\subset A_{DR}^{*}(\C^{n}-D)$.\ We consider the differential graded $\Q(2\pi i)$-algebra $\operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )$ and we consider $q$ as a formal variable of degree zero. We denote by $\underline{g^{(i)}}\in \operatorname{Rat}^{0}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )((q))$, $i\geq 0$, the formal power series written as in . We have a differential graded algebra of formal Laurent series $$\left(d, \wedge, \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right) \right).$$ We extend the action of $\Z$ defined in . For a module $A$ over a ring $\Bbbk$ and a group $G$, we denote by ${\operatorname{Map}}\left(G,A \right) $ the $\Bbbk$-module of maps from $G$ to $A$. An *action of $G$ on $A$* is a morphism of module $\rho^{c}\: : \: A\to {\operatorname{Map}}\left(G,A \right) $ such that $\rho^{c}(a)(e)=a$ for any $a$ where $e$ is the identity, and $\rho^{c}(a)(gh)=\rho^{c}\left( \rho^{c}(a)(g)\right)(h)$, for any $g,h\in G$ and any $a$. The tensor product of two actions of $G$ on modules $A$ and $B$ is naturally an action of $G$ on $A\otimes B$. We call the *trivial action* the action given by $\rho^{c}(a)(g)=a$ for any $g\in G$. We define $$\rho^{c}\: : \:\left(d, \wedge, \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right) \right)\to{\operatorname{Map}}\left(\Z, \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right) \right)$$ via $$\rho^{c}\left( q\right)(n) :=q, \quad \rho^{c}\left(dz\right)(n):=q^{n}dz, \quad \rho^{c}\left(\frac{1}{z}\right)(n):= \frac{q^{-n}}{z}$$ and $$\rho^{c}\left(\frac{1}{z-1}\right) (n):=\begin{cases} \sum_{l=0}^{\infty}\left( q^{n}z\right)^{l} & n> 0\\ \sum_{l=0}^{\infty}\frac{q^{-n}}{z}\left( \frac{1}{z^{l}}\right)^{l}& n<0. \end{cases}$$ Let $d^{1}$ be the trivial action and set $d^{0}=\rho^{c}$. Hence $\left( d^{0},d^{1}\right) $ are the two cofaces map of a $1$-truncated cosimplicial unital differential graded algebra. The conerve gives rise to a cosimplicial unital differential commutative graded algebra $A^{\bullet, \bullet}$, where $$A^{l, m}:={\operatorname{Map}}\left(\Z^{l}, \operatorname{Rat}^{m}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right)\right).$$ The differential graded $\Q(2\pi i)$-module $\operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right) $ carries a unital $C_{\infty}$-structure ${m}_{\bullet}$. We set $D:=m_{1}$. Let $\underline{\gamma}\in A^{1, 0}$ be the group homomorphism $\gamma\: : \:\left( \Z,+\right) \to \left( \C,+\right) $ defined by $\underline{\gamma}(n):=2\pi i n$. We define $$\underline{\phi}^{(i)}:=\underline{g^{(i)}}\frac{dz}{z}$$ for any $i\geq 0$. Hence $\underline{\phi}^{(0)}$, $\underline{\gamma}$ are again closed elements in $\operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right) $. Let $\underline{B}\subset \operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right)$ be the sub $C_{\infty}$-algebra generated by $$1,\underline{\gamma},\left\lbrace \underline{\phi}^{(i)}\right\rbrace_{i\in \N}.$$ Since all the calculations done for $B$ in the previous section are independent from the choice of $\tau\in \mathbb{H}$, we get that mutatis mutandis some of the results of Lemma \[modelelliptic curve\] work in formal power series context. In particular there is a strict $C_{\infty}$-map $$f^{B}\: : \: \overline{B}\otimes \C\to B.$$ \[modelelliptic curve2formal\] Let $\left({m}_{\bullet}, \underline{B} \right) \subset \left({m}_{\bullet},\operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right) \right) $ be as above. 1. $D\left( -\underline{\phi}^{(n)}\right) =\sum_{l=1}^{n}{m}_{l+1}(\underline{\gamma},\dots, \underline{\gamma}, \underline{\phi}^{(p-l)})$, for any $n$. 2. $\left( {m}_{\bullet},\underline{B} \right) \subset \left({m}_{\bullet},\operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right) \right) $ is a rational sub $C_{\infty}$-algebra over $\Q(2\pi i)$ where $$H^{1}(\underline{B}, D)= \left( \Q(2\pi i)\right) ^{2},\text{ and } H^{2}(\underline{B}, D)=0.$$ 3. We have $$\underline{B}^{0,1}\subset \operatorname{Rat}^{1}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left[ \left[ q \right] \right], \quad \underline{B}^{1,1}\subset {\operatorname{Map}}\left( \ \Z,\operatorname{Rat}^{1}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left[ \left[ q \right] \right]\right)$$ 4. There exists a $\Q(2\pi i)$-vector space decomposition $$\label{elliptic curvedecform} \underline{B}=W^{\bullet}\oplus D\mathcal{M}\oplus \mathcal{M}$$ which is a Hodge type decomposition where 1. $W^{1}$ is generated by $-\underline{\phi}^{(0)}$ and $-\underline{\gamma}$, $\mathcal{M}^{1}$ is generated by $\underline{\phi}^{(i)}$ for $i>0$, and $\left( D\mathcal{M}\right)^{1}=0$, 2. and $W^{2}=0$, $\mathcal{M}^{2}$ is generated by ${m}_{l}\left( \underline{\gamma}, \dots, \underline{\gamma},\underline{\phi}^{(i)}\right) $ for $i>0, l>2$, and $\left( D\mathcal{M}\right)^{1}$ is generated by $D\left( \underline{\phi}^{(i)}\right) $ for $i>1$. We denote by $\underline{g}_{\bullet}\: : \:\left( W, m_{\bullet}^{W} \right) \to \underline{B}$ be the $1$-minimal model obtained via the homotopy transfer theorem. 5. We define $\left( W^{1}[1]\right)^{*} $ as the vector space generated by ${Y_{0}},{Y_{1}}$, where ${Y_{1}}$, and ${Y_{0}}$ resp. denote the dual of $-s\underline{\phi}^{(0)}$ and of $-s\underline{\gamma}$ respectively. The Maurer-Cartan in $\overline{B}\widehat{\otimes}\widehat{\mathbb{L}}\left(Y_{0}, Y_{1} \right)$ that corresponds to $\mathcal{F}(\underline{g}_{\bullet})$ is $$C_{Ell}^{\tau}=-\underline{\gamma}{Y_{0}}-\sum_{p\geq 0}\underline{\phi}^{(p)}\operatorname{Ad}^{p}_{Y_{0}}(Y_{1})$$ Since the functions defined in satisfy , the proof of Lemma \[modelelliptic curve\] carries over the situation above. This proves 1, 2 and 4. The statement 3 and 5 follow from and respectively. Let $\underline{F}$ be denote the Kronecker function considered as a formal power series in $q$. We denote by $$r^{*}C_{Ell}^{\tau}:=-\sum_{p\geq 0}\underline{\phi}^{(p)}\operatorname{Ad}^{p}_{Y_{0}}(Y_{1})=-\operatorname{ad}_{Y_{0}}\underline{F}\left(\xi,\operatorname{ad}_{Y_{0}} \right)(Y_{1})d\xi$$ In particular $\left( f^{B}\right)_{*}r^{*}C_{Ell}^{\tau}=\omega_{KZB,1}^{\tau}$. We consider $\operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right)$ as the trivial cosimplicial module. Notice that there is a morphism of cosimplicial differential graded modules $$i\: : \:A^{\bullet, \bullet}\to \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right)$$ given as follows: for $f\in A^{l,m}$, $i(f):=f(0, \dots,0)\in \operatorname{Rat}^{m}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right) $. It induces a strict morphism of $C_{\infty}$-algebras $$i_{\bullet}\: : \: \operatorname{Tot}_{N}\left( A^{\bullet, \bullet}\right) \to \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left( \left( q \right) \right)$$ In particular, $i(B)$ is the commutative differential graded sub algebra of $\operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left[ \left[ q \right] \right] $ generated by $$1,\left\lbrace \underline{\phi}^{(i)}\right\rbrace_{i\in \N}.$$ Note that $i(B^{n})=0$ for $n\geq 2$. Let $I_{q}$ be the completion of the augmentation ideal of $\operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left[ \left[ q \right] \right] $, let $\pi'\: : \: \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )\left[ \left[ q \right] \right] \to \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )$ be the quotient with respect to $I_{q}$. The map $$p':=\pi'\circ i\: : \: \underline{B}\to \operatorname{Rat}^{\bullet}_{\Q(2 \pi i)}(\C,\left\lbrace 0,1 \right\rbrace )$$ is a strict $C_{\infty}$-algebra morphism such that $p'(\underline{\gamma})=0$ and $$p'(\underline{\phi^{(0)}})=\frac{dz}{2 \pi i z},\quad p'(\underline{\phi^{(1)}})=\frac{dz}{2z}+\frac{dz}{z(z-1)}, \quad p'(\underline{\phi^{(l)}})=\frac{\left( 2 \pi i\right)^{l-1} B_{l}}{l!}\frac{dz}{z}\text{ for }l>1.$$ We consider the complex variety $\C-\left\lbrace0,1 \right\rbrace $. The cohomology is generated by the holomorphic forms $$1,\frac{dz}{z}, \quad \frac{dz}{z-1}.$$ Let $A$ be the unital differential graded algebra over $\Q(2\pi i)$ generated by $1,\frac{dz}{z}, \frac{dz}{z-1}$. Notice that $A$ coincide with its cohomology. In particular, there is a canonical Hodge decomposition for $A$ given by $\left(A,0 \right) $, where $A^{1}$ is considered to equipped with the basis $\frac{dz}{z}, \frac{dz}{z-1}$. Then the $C_{\infty}$-morphism $g_{\bullet}^{KZ}\: : \: \left( W',m_{\bullet}^{W'}\right) \to A$ constructed via the homotopy transfer theorem is strict and corresponds to the identity map $\frac{dz}{z}\mapsto \frac{dz}{z},\frac{dz}{z-1} \mapsto\frac{dz}{z-1}$. We denote by $C_{KZ}= \frac{dz}{z}Z_{0}+\frac{dz}{z-1}Z_{1}$ the Maurer-Cartan element in $A\widehat{\otimes}\widehat{\mathbb{L} }\left(Z_{0},Z_{1} \right)$ which corresponds (see @Sibilia1) to $\mathcal{F}\left(g_{\bullet}^{KZ} \right) $ where $Z_{0}:=\left( s\left( \frac{dz}{z}\right) \right) ^{*}$ and $Z_{1}:=\left( s\left( \frac{dz}{z-1}\right) \right) ^{*}$. We denote the inverse of $g_{\bullet}^{KZ}$ by $f_{\bullet}^{KZ}$. Let $A_{KZ,1}$ be the complex differential graded algebra generated by $1,\frac{dz}{z}, \frac{dz}{z-1}$, the KZ connection is a flat connection on $\left( \C-\left\lbrace 0,1 \right\rbrace\right) \times \widehat{\mathbb{L} }\left(Z_{0},Z_{1} \right)$ given by $d-\omega_{KZ,1}$, where $$\omega_{KZ,1}=\frac{dz}{z}Z_{0}+\frac{dz}{z-1}Z_{1}$$ where the fiber is considered to be equipped with the adjoint action. In particular there is a differential graded algebra map $$f^{A}\: : \:A\otimes \C\to A_{KZ,1}$$ such that $\left( f^{A}\right)_{*}C_{KZ}=\omega_{KZ,1}$. We apply the argument of Subsection \[Morphism of homological pairs\]. We have a diagram of $1-C_{\infty}$-algebras $$\begin{tikzcd} \mathcal{F}\left( \underline{B}\right) \arrow[r, "p'"] & \mathcal{F}\left(A\right) \arrow[d, shift right, "\mathcal{F}\left(f^{KZ}_{\bullet}\right) "]\\\mathcal{F}(W^{\bullet},m_{\bullet}^{W})\arrow[u, shift right, "\mathcal{F}\left( g_{\bullet}\right) "]& \mathcal{F}({W}'^{\bullet},m_{\bullet}^{W'}) \end{tikzcd}$$ We define $q_{\bullet}:=\mathcal{F}\left( f^{KZ}_{\bullet}\right) \circ\mathcal{F}\left( p'\right) \circ \mathcal{F}\left(g_{\bullet}\right) $, where $\mathcal{F}\left( g_{\bullet}\right) $ is the $1-C_{\infty}$-morphism that corresponds to the Maurer-Cartan element $C_{Ell}^{\tau}$ of Proposition \[modelelliptic curve2formal\]. Notice that $g_{\bullet}^{KZ}$ has an inverse, then by Lemma \[connected maurerCartan\], we have that $q_{\bullet}\mathcal{F}\left( g^{KZ}_{\bullet}\right)=\mathcal{F}\left(f^{KZ}_{\bullet}\right) \circ \mathcal{F}\left(p'\right) \circ \mathcal{F}\left(g_{\bullet}\right) $. This equations can be written in terms of Maurer-Cartan elements in $\overline{B}\widehat{\otimes}\widehat{\mathbb{L}}\left(Y_{0}, Y_{1} \right)$ as $$q^{*}C_{KZ,1}=\left(\mathrm{Id}\widehat{\otimes}Q^{*} \right)C_{KZ,1}=\left(p'\widehat{\otimes}\mathrm{Id} \right)C^{\tau}_{Ell}={p'}_{*}C^{\tau}_{Ell}.$$ where $Q^{*}$ is a complete morphism of $\Q(2\pi i)$-Lie algebras $$Q^{*}\: :
{'source': 'arXiv_out/1712'}