Flatness criterion from Lefschetz commutation

ID: flatness-criterion-from-lefschetz-commutation

The Lefschetz operator commutes with the bundle-valued Dolbeault Laplacian on the entire smooth form space exactly when the Chern connection is flat. The Lefschetz-Dolbeault curvature commutator gives one direction. Conversely test its curvature-wedge operator on degree-zero sections with arbitrary prescribed values at any point to force every vector-bundle curvature endomorphism to vanish.

New to topics? Read the docs here!