We study the theory of D-modules, which are modules over the ring of polynomial differential operators in several variables. We will study in detail the properties of the category of D-modules over algebraic varieties, and its applications to representation theory. Students should seek the course instructor’s approval to take this course.