Milnor-type formula for the non-acyclicity class
Let kkk be a perfect field, let XXX be a smooth scheme over kkk, let F∈Dctf(X,Λ)\mathcal F\in D_{\rm ctf}(X,\Lambda)F∈Dctf(X,Λ), and let SS(F)SS(\mathcal F)SS(F) be its singular support. Let Z⊆XZ\subseteq XZ⊆X be…