Correct and it locks an amount for Bob and Alice on the chain (I assume that will be free, lock manager)
Nothing is locked on the chain. A payment channel is really nothing more than a specific type of a BTC address. So when you open a channel, you simply wire money from your own BTC address into that BTC address, that's all there is to it.