My understanding of light nodes is they need PoW in the block headers. That PoW proves that $x amount of energy has gone into securing that chain.
With PoS, the proof that $y is securing the chain requires knowledge of blockchain state, namely account balances. Does this mean SPV nodes cannot function with Casper?