  We prove some injectivity theorems. Our proof depends on the theory of mixed
Hodge structures on cohomology groups with compact support. Our injectivity
theorems would play crucial roles in the minimal model theory for
higher-dimensional algebraic varieties. We also treat some applications.
