Equivalence of the Derived Category of a Variety with a Singularity Category

We prove an equivalence between the derived category of a variety and the equivariant/graded singularity category of a corresponding singular variety. The equivalence also holds at the differential graded level.