= Solution
The <product Riemannian metric> is
$$
\boxed{g=p_1^*g_1+p_2^*g_2,\qquad
g_{(p,q)}((u_1,u_2),(v_1,v_2))=(g_1)_p(u_1,v_1)+(g_2)_q(u_2,v_2).}
$$
It is smooth and symmetric. If $(u_1,u_2)\ne0$, at least one component is nonzero and contributes a strictly positive squared norm; the other contributes a nonnegative term. Thus $g$ is positive definite.
Let the factor connections be <Levi-Civita connections>. The <torsion form> of the <product affine connection> vanishes on two lifted fields from one factor because it equals the factor torsion; on opposite-factor fields it vanishes because both covariant derivatives and the <Lie bracket of vector fields> vanish. By <tensoriality>, torsion vanishes for all fields.
Check <metric compatibility> on lifted fields as well. When the two paired fields are from one factor, their metric pairing depends only on that factor. Differentiation along that factor gives the usual factor compatibility identity, and differentiation along the other factor gives zero on both sides. When the paired fields are from different factors, their pairing is identically zero and their derivatives stay in their original summands, so both sides are again zero. Since $\nabla g$ has <tensoriality>, these checks imply $\nabla g=0$ globally.
The <existence and uniqueness of the Levi-Civita connection> therefore gives
$$
\boxed{\nabla^{g}=p_1^*\nabla^{g_1}\oplus p_2^*\nabla^{g_2}.}
$$
Equivalently, applying the <Christoffel symbol> formula to the block metric gives the factor coefficients and zero mixed coefficients, because each factor metric is independent of the other coordinates.
Back to article page
