Guillermou-Kashiwara-Schapira kernels of geodesic flows

Guillermou-Kashiwara-Schapira proved that there exists a unique sheaf quantization of any homogeneous Hamiltonian isotopy on a cotangent bundle. In this paper, we explicitly construct a sheaf quantization of geodesic flows on spheres and complex projective spaces.