Proposition 9 [03SV] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Proposition 9
The 1 1 -parameter semigroup ψ t \psi^{t} decreases
the filtration on stalks of points
which do not belong to L 1 ∩ L 2 L_{1}\cap L_{2} . More precisely,
ψ t ( H o m ¯ p a l g ( E 1 , E 2 ) s ) ⊂ H o m ¯ ψ t ( p ) a l g ( E 1 , E 2 ) s − ∫ 0 t μ , \psi^{t}(\underline{Hom}_{p}^{alg}(E_{1},E_{2})^{s})\subset\underline{Hom}_{\psi^{t}(p)}^{alg}(E_{1},E_{2})^{s-\int_{0}^{t}\mu},
where p ∈ P ( L 1 , L 2 ) p\in P(L_{1},L_{2}) is an arbitrary point.