Let be a complex manifold of complex dimension with a Kähler metric . Take a real tangent vector . By the holomorphic sectional curvature in the direction of , we mean the Riemannian sectional curvature for the plane spanned by and . We want to express this holomorphic sectional curvature in terms of local coordiantes. Let
Now, is perpendicular to because
The length of is simply the square of the length of , because and have the same length. The square of the length of equals . Hence, the holomorphic sectional curvature in the direction of is
Since in the case of Kähler manifold the curvature of the complex metric connection of the tangent bundle agrees with the Riemannian curvature, we have
Thus the holomorphic sectional curvature of a complex submanifold is more than the corresponding holomorphic sectional curvature of the ambient Kähler manifold. Note that this statement is not true for Riemannian sectional curvatures and Riemannian manifolds, because the Riemannian sectional curvature of the unit sphere in the real Euclidean space is clearly greater than the corresponding Riemannian sectional curvature of the Euclidean space.
The decrease in holomorphic sectional curvature for complex submanifolds holds also for a more general kind of curvature, because it comes from the inequality involving . So we want to see what curvature corresponds to. Let
where for the last equality the first Bianchi identity is used. One can easily check that a -bilinear form on satisfies
if and only if
when expressed in terms of complex basis of . Hence,
We call the holomorphic bisectional curvature in the direction of and (or in the drection of and ). After suitable normalization, it is equal to the sum of two Riemannian sectional curvatures, one for the plane spanned by and and the other for the plane spanned by and . This is the reason for the name holomorphic bisectional curvature. The holomorphic bisectional curvature of a complex submanifold is no more than the corresponding holomorphic bisectional curvature of the ambient Kähler manifold.