Toen-Vezzosiの [1710.05902] Trace formula for dg-categories and Bloch's conductor conjecture I を勉強する。 まずdg-catのtrace formulaというのを理解する。 Theorem 2.4.9ではl進実現に対する主張、そのあとのLemma 2.4.10が抽象的な状況での主張の…