Proposition 11 [03SY] 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 11
For any β ∈ Γ c ( P ( L 1 , L 2 ) , H o m ¯ a l g ( E 1 , E 2 ) ) \beta\in\Gamma_{c}(P(L_{1},L_{2}),\underline{Hom}^{alg}(E_{1},E_{2})) there exists
a limit in the sense of distributions
ψ ∞ ( β ) = l i m t → + ∞ ψ t ( β ) ∈ Γ ( P ( L 1 , L 2 ) , 𝐂 ε t w ⊗ ( ρ ^ 1 ∗ ⊗ ρ ^ 2 ) ⊗ D ¯ P ( L 1 , L 2 ) ′ ) , \psi^{\infty}(\beta)=lim_{t\to+\infty}\psi^{t}(\beta)\in\Gamma(P(L_{1},L_{2}),{{\bf C}}_{\varepsilon}^{tw}\otimes(\widehat{\rho}_{1}^{\ast}\otimes\widehat{\rho}_{2})\otimes\underline{D}_{P(L_{1},L_{2})}^{\prime})\,,
where
D ¯ P ( L 1 , L 2 ) ′ \underline{D}_{P(L_{1},L_{2})}^{\prime} is the sheaf of
distribution-valued differential forms on P ( L 1 , L 2 ) P(L_{1},L_{2}) .