Quantitative Tamarkin theory (Q2309338)

In 1980's, Kashiwara and Schapira developed a powerful theory, called the microlocal sheaf theory, connecting analysis, symplectic geometry, and partial differential equations. In symplectic geometry, a central topic is the non-displaceability problems. In his pioneering work [Invent. Math. 82, 307--347 (1985; Zbl 0592.53025)], \textit{M. Gromov} proved the non-squeezing theorem, which can be thought of as a classical result concerning non-displaceability. It was \textit{D. Tamarkin} who first illustrated how to use the microlocal sheaf theory to solve non-displaceability problems [Springer Proc. Math. Stat. 269, 99--223 (2018; Zbl 1416.35019)]. Since then, aiming at translating more objects in symplectic geometry into the language of sheaves, extensive works have been done. The purpose of the book under review is to provide an exposition of the fast development of this topic, which focuses on the relations between symplectic geometry and Tamarkin category theory, especially the Guillermou-Kashiwara-Schapira sheaf quantization based on microlocal sheaf theory. The book is divided into four parts. The first part introduces the basic objects in symplectic geometry and the key concept of singular support in microlocal sheaf theory. The second part centers on the concepts of derived category, persistence \textbf{k}-module, and singular support which serve as preparations for the topics in later chapters. The third part deals with the Tamarkin category theory. The fourth part discusses various applications of Tamarkin categories in symplectic geometry. A more detailed review of the contents is given below. The book starts with an introductory Chapter 1, that provides a quite readable overview of the whole book. It contains a brief review of symplectic geometry and a sheaf-theoretic topics related to symplectic geometry, such as the singular support of a sheaf, the Tamarkin category, and the Hofer norm. Chapter 2 is about the derived categories and the derived functors. In particular, it includes an important result called the microlocal Morse lemma, a generalization of the classical Morse lemma to a microlocal formulation. Based on the microlocal Morse lemma, the Tamarkin category is constructed at the beginning of Chapter 3. This chapter devotes to a detailed study of the Tamarkin category theory. Many symplectic-related topics are presented, for instance, the sheaf convolution and composition, Lagrangian Tamarkin categories and so on. The last chapter is about the applications of Tamarkin categories in symplectic geometry. Starting with a presentation of the Guillermou-Kashiwara-Schapira sheaf quantization, the author introduces many sheaf theoretic objects related to the symplectic geometry, especially, the symplectic geometry of the cotangent bundle. At last, using sheaf invariants developed in the book, the author presents a new proof of Gromov's non-squeezing theorem. The book contains an appendix, which presents some details on the relation between persistence modules and constructible sheaves, the computation of the sheaf hom, and the dynamical interpretation of the Guillermou-Kashiwara-Schapira sheaf quantization from the perspective of semi-classical analysis.