Cauchy problem for operators with triple effectively hyperbolic characteristics-Ivrii's conjecture-

Ivrii's conjecture asserts that the Cauchy problem is $C^{\infty}$ well-posed for any lower order term if every critical point of the principal symbol is effectively hyperbolic. Effectively hyperbolic critical point is at most triple characteristic. If every characteristic is at most double this conjecture has been proved in 1980's. In this paper we prove the conjecture for the remaining cases, that is for operators with triple effectively hyperbolic characteristics.