Content deleted Content added
TakuyaMurata (talk | contribs) No edit summary |
TakuyaMurata (talk | contribs) No edit summary |
||
Line 5:
In algebraic geometry, Deligne proved the following analog.<ref>{{harvnb|Deligne|1980|Théorème 3.6.1.}}</ref> Given a proper morphism <math>f : X \to S</math> over the spectrum <math>S</math> of the henselization of <math>k[T]</math>, <math>k</math> an algebraically closed field, the homomorphism
:<math>\operatorname{H}^*(X) \to \operatorname{H}^*(X_s)^{\operatorname{Gal}(\overline{\eta}/\eta)}</math>
is surjective, where <math>s, \eta</math> are the special and generic points and the homomorphism is the composition <math>\operatorname{H}^*(X_s) \simeq \operatorname{H}^*(X) \to \operatorname{H}^*(X_{\eta}) \to \operatorname{H}^*(X_{\overline{\eta}}).</math>
== Notes ==
| |||