Mixed Twistor D-modules

We introduce mixed twistor D-modules and establish their fundamental functorial properties. The theory of mixed twistor D-modules is one of the ultimate goals in the study suggested by Simpson's Meta Theorem and it would form a foundation for the Hodge theory of holonomic D-modules which are not necessarily regular singular.