First post-Newtonian $N$-body problem in Einstein-Cartan theory with the Weyssenhoff fluid: Lagrangian and first integrals

The rotational dynamics of an $N$-body system at the first post-Newtonian order in Einstein-Cartan theory is derived. This result is achieved by performing the point-particle limit of the equations of motion of the Weyssenhoff fluid, which models the quantum spin effects residing inside the bodies. For the special case of binary systems, we determine the Lagrangian function and the resulting first integrals underlying the translational dynamics and the spin precession.