Let $Y$ be a closed Kähler manifold with $c_1(Y)=0$ in $H^2(Y,\mathbb{R})$. Let $\omega$ be a Ricci-flat Kähler form on $\mathbb{C}^m \times Y$ such that $$A^{-1} (\omega_{\mathbb{C}^m} + \omega_Y) \leq \omega \leq A  (\omega_{\mathbb{C}^m} + \omega_Y),$$ for some constant $A \geq 1$, where $\omega_Y$ is a Kähler form on $Y$ and $\omega_{\mathbb{C}^m}$ is the Euclidean form on $\mathbb{C}^m$. 

I want to show that there is a unique choice of $\omega_Y$ such that $\text{Ric}(\omega_Y)=0$ and that there is a smooth function $f$ such that $$\omega = \omega_{\mathbb{C}^m} + \omega_Y + d f.$$


_Update:_ I can show that the Kähler class of $\omega$ is independent of the $\mathbb{C}^m$ component by using Künneth's formula. To establish the existence of $f$ I have been attempting to write out the components of $\omega$ as a section of $\Lambda^2(\mathbb{C}^m \times Y) = \Lambda^2(\mathbb{C}^m) \oplus \Lambda^1(\mathbb{C}^m) \otimes \Lambda^1(Y) \oplus \Lambda^2(Y)$ and using the fact that $d\omega=0$.

Indeed, let $\vartheta_b = \vartheta_{b^1}, ..., \vartheta_{b^m}$ be a basis of $(1,0)$-forms on $\mathbb{C}^m$, such that $\overline{\vartheta}_b = \overline{\vartheta}_{b^1}, ..., \overline{\vartheta}_{b^m}$ is a basis of $(0,1)$-forms on $\mathbb{C}^m$. Similarly, let $\vartheta_h = \vartheta_{h^1}, ..., \vartheta_{h^n}$ be a basis of $(1,0)$-forms on $Y$, such that $\overline{\vartheta}_h = \overline{\vartheta}_{h^1}, ..., \overline{\vartheta}_{h^n}$ is a basis of $(0,1)$-forms on $Y$. Then write $$\omega = \frac{\sqrt{-1}}{2}\left( \alpha \vartheta_v \wedge \overline{\vartheta}_v + \beta \vartheta_h \wedge \overline{\vartheta}_v + \overline{\beta} \vartheta_v \wedge \overline{\vartheta}_h + \gamma \vartheta_h \wedge \overline{\vartheta}_h \right).$$

Then \begin{eqnarray*}
d\omega &=& (d_h \alpha) \vartheta_h \wedge \vartheta_v \wedge \overline{\vartheta}_v + (d_h\alpha) \overline{\vartheta}_h \wedge \vartheta_v \wedge \overline{\vartheta}_v \\
&& + (d_h \beta) \overline{\vartheta}_h \wedge \vartheta_h \wedge \overline{\vartheta}_v + (d_v \beta) \vartheta_v \wedge \vartheta_h \wedge \overline{\vartheta}_v \\
&& + (d_v \overline{\beta}) \overline{\vartheta}_v \wedge \vartheta_v \wedge \overline{\vartheta}_h + (d_h \overline{\beta}) \vartheta_h \wedge \vartheta_v \wedge \overline{\vartheta}_h + (d_v \gamma) \vartheta_v \wedge \vartheta_h \wedge \overline{\vartheta}_h \\
&& + (d_v \gamma) \overline{\vartheta}_v \wedge \vartheta_h \wedge \overline{\vartheta}_h
\end{eqnarray*}