Let (E,∇) be a vector bundle with connection over M. I define a proper value function of ∇ as a function λ∈C∞(M) such that:
∇X(s)=X(λ).s
for any vector field X over M; s is a fixed section of E, a proper vector of the connection.
Can we decompose the space of sections of E over proper vectors of the connection?