Arithmetic differential equations on $GL_n$, II: arithmetic Lie theory