Proposition 12 [03SZ] 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 12
Let E i = F ( X i ) , 0 ≤ i ≤ k , k ≥ 1 E_{i}=F(X_{i}),0\leq i\leq k,k\geq 1
be locally free rank one
𝒪 Y {\cal O}_{Y} -modules (vector bundles) corresponding to
objects X i = ( L i , ρ i ) ∈ F O ( X ∨ ) , 0 ≤ i ≤ k X_{i}=(L_{i},\rho_{i})\in FO(X^{\vee}),0\leq i\leq k .
Then the formulas for
m k F O ( X ∨ ) : ⊗ 0 ≤ i ≤ k H o m ( E i , E i + 1 ) → H o m ( E 0 , E k ) [ 2 − k ] m_{k}^{FO(X^{\vee})}:\otimes_{0\leq i\leq k}Hom(E_{i},E_{i+1})\to Hom(E_{0},E_{k})[2-k]
coincide (after the extension of scalars from 𝐂 ε {{\bf C}}_{\varepsilon} to
𝐂 ε ⊗ ^ Ω 0 ∗ {{\bf C}}_{\varepsilon}\widehat{\otimes}\Omega^{\ast}_{0} )
with the formulas
for
m k 𝒞 u n r a m , 0 t r , Π ( Y ) : ⊗ 0 ≤ i ≤ k H o m ( X i , X i + 1 ) → H o m ( X 0 , X k ) [ 2 − k ] m_{k}^{{\cal C}_{unram,0}^{tr,\Pi}(Y)}:\otimes_{0\leq i\leq k}Hom(X_{i},X_{i+1})\to Hom(X_{0},X_{k})[2-k]
when the spaces of morphisms are identified via the maps
ν ( X i , X j ) \nu(X_{i},X_{j}) .