ScalingStacks

Remark 19 [03SU]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

Remark 19

One can use instead of the spectrum an 𝐑{{\bf R}}-filtration
H​o​mπ’žβ‘(Y)​(E1,E2)≀sHom_{{\cal C}(Y)}(E_{1},E_{2})^{\leq s} on the space of morphisms. It comes from the filtration on the stalks of sheaves of morphisms H​o​mΒ―π’ͺY​(E1,E2)β€‹βŠ—^​Ω^Yβˆ—\underline{Hom}_{{\cal O}_{Y}}(E_{1},E_{2})\widehat{\otimes}\widehat{\Omega}_{Y}^{\ast} (completed tensor product) defined by the condition {βˆ’Ξ»j,i1​…​in+βˆ‘1≀k≀nik​yk+f1​(y)βˆ’f2​(y)}≀s\{-\lambda_{j,i_{1}...i_{n}}+\sum_{1\leq k\leq n}i_{k}y_{k}+f_{1}(y)-f_{2}(y)\}\leq s. It is easy to see that Ξ±\alpha belongs to H​o​mπ’žβ‘(Y)​(E1,E2)≀sHom_{{\cal C}(Y)}(E_{1},E_{2})^{\leq s} iff for all y∈Yy\in Y one has Spy(Ξ±)βŠ‚(βˆ’βˆž,s]Sp_{y}(\alpha)\subset(-\infty,s].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.