I am trying to understant this proof on a decomposition property of constructible sheaves on a Noetherian scheme.

But I start to get lost from line 6:"Since F is constructible, there is a finite separable extension..." And also I don't really think the notations make sense: $\kappa(x)\subset\mathop{\mathrm{Spec}}(K)$ does not make sense to me. What is the K? A field? Then the spectrum is just one singleton. So it can not be... Also I don't have a strong clue what they are actually doing. Could someone just explain the main idea of the proof? Thank you!


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.