文摘
Looking in positive characteristic for failures of the Bertini–Sard theorem, we determine, up to birational equivalence, the separable proper morphisms between smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves of arithmetic genus two. We show that almost all fibres of such a morphism are geometrically elliptic if and only if the function field of the generic fibre is separable over its canonical quadratic rational subfield. We discover a smooth sixfold 16000463&_mathId=si1.gif&_user=111111111&_pii=S0022404916000463&_rdoc=1&_issn=00224049&md5=d20d54be8fe602561b817a6e0b358a93" title="Click to view the MathML source">Z⊂P4×A5 such that almost all fibres of the projection morphism 16000463&_mathId=si2.gif&_user=111111111&_pii=S0022404916000463&_rdoc=1&_issn=00224049&md5=92ccbd2192e51ae44bb04fd29e6f281b" title="Click to view the MathML source">π:Z→A5 are cuspidal geometrically elliptic curves of arithmetic genus two. The main theorem of the paper states that each proper separable morphism between smooth algebraic varieties, whose fibres are geometrically elliptic curves of arithmetic genus two, is birational equivalent to a base extension of the fibration π.