We study local controllability and optimal control problems for invertible discrete-time systems. We present second order necessary and sufficient conditions for optimality and for local controllability. The conditions are stated in geometric terms, using vector fields naturally associated to the system. The Hessian of the optimal problem is computed in terms of Lie brackets of vector fields of the system.