An arithmetic Lefschetz-Riemann-Roch theorem - Shun Tang (2015)