This preview shows page 1. Sign up to view the full content.
116
N.M. Katz:
which extends V, whose
exponents
along each local irreducible branch
D i
of D lie in the strip 0__< R e (z)< 1. The pair (fgcan, V~an) is called the
quasicanonical
extension of ((~, V).
Although functorial in (~, V), the formation of the quasicanonical
extension does not commute with tensor product. However, given
(fg, V) and (~, V') there is a unique
horizontal
morphism
which prolongs the identity. Applying this with ~= f~ = ~, we find a
horizontal morphism
By functoriality, the algebra structure on ~ prolongs to a horizontal
morphism
Composing these last two maps, we obtain a horizontal multiplication
on ~an which extends the given algebra structure on
The locally free sheaf of algebras ~an on ~a~ corresponds to a finite
flat morphism of analytic spaces
f:
~(" ~ S an
which prolongs f: Y" ~ S an. By GAGA, the morphism ~ comes from a
unique finite fiat morphism of proper Cschemes X~ S, and XIS> S
is a finite 6tale covering of S.
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 12/21/2011 for the course MAP 4341 taught by Professor Normankatz during the Fall '11 term at UNF.
 Fall '11
 NormanKatz

Click to edit the document details