Projective Anabelian Curves in Positive Characteristic and Descent Theory for Log-étale Covers |
From inside the book
Results 1-3 of 39
Page 33
... morphisms satisfy the property " two from three " , i.e. , if h = gof is a composition of morphisms of fs - log schemes then f , g , h are kuh if at least two of them are kuh . ( 2 ) A morphism that is log - étale and kuh is necessarily ...
... morphisms satisfy the property " two from three " , i.e. , if h = gof is a composition of morphisms of fs - log schemes then f , g , h are kuh if at least two of them are kuh . ( 2 ) A morphism that is log - étale and kuh is necessarily ...
Page 34
... morphism for F. Lemma 3.2.1 ( section - lemma ) . Let : F → E be a fibred category such that E has fibre products . Let r : S ' → S be a morphism in Е that possesses a section g , i.e. , a right inverse rg = ids . Then r is ...
... morphism for F. Lemma 3.2.1 ( section - lemma ) . Let : F → E be a fibred category such that E has fibre products . Let r : S ' → S be a morphism in Е that possesses a section g , i.e. , a right inverse rg = ids . Then r is ...
Page 40
... morphism of finite presentation between fs - log schemes such that the underlying morphism of schemes is universally open for base extensions of schemes . Then ƒ satisfies universally effective descent for Revlog . Proof : We factorise ...
... morphism of finite presentation between fs - log schemes such that the underlying morphism of schemes is universally open for base extensions of schemes . Then ƒ satisfies universally effective descent for Revlog . Proof : We factorise ...
Common terms and phrases
2-complex affine algebraically closed field Anabelian Geometry automorphism base change base extension bijection canonical center free closed point cohomology Corollary curve of genus defined denote descent theory diagram discrete valuation ring double points equivalent étale cohomology F-cohomologically rigid finite fields Frobenius module fs monoids fs-log schemes fs-log structure G-torsors Galois category Galois group genus g geometric point geometrically connected varieties Grothendieck group-theoretical Hence henselian homeomorphism hyperbolic curves induced injective irreducible components isomorphism isotrivial Kampen Theorem két cover Kummer Kurven Lemma Let X/S level structure log blow-up log scheme log structure log-étale log-radicial log-smooth Math monoids morphism natural map noetherian normal subgroup prime number pro-finite group pro-l Proposition pullback quasi-compact quotient reduction resp Revlog semistable curve sheaf sheaves short exact sequence space Spec(Z[P special fibre specialisation map surjective topological torsors universal homeomorphism vanishes yields