Proof of the Deligne-Milnor conjecture

We apply methods of derived and non-commutative algebraic geometry to understand ramification phenomena on arithmetic schemes. As an application, we prove the Deligne-Milnor conjecture and, in the pure characteristic case, a generalization of Bloch conductor conjecture.