Abstract
In this talk, we will discuss the crystalline conjecture for non-commutative algebraic varieties, and explain our results about the non-commutative version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory. Time permitting, as an application to arithmetic geometry, we will talk about the relation between our results and crystalline conjecture for open varieties.