Skip to main content
typos corrected
Source Link
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

I have an argument, which I wonder if someone could check:

Let $X$ be aan irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$, and unfortunatley $f_*(\mathbb{Z}/n)\neq \mathbb{Z}/n$. Hence my question is

Is there a good way to relate the $\ell$-adic cohomologcohomology of a scheme with the $\ell$-adic cohomology of its normalization?

I have an argument, which I wonder if someone could check:

Let $X$ be a irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$, and unfortunatley $f_*(\mathbb{Z}/n)\neq \mathbb{Z}/n$. Hence my question is

Is there a good way to relate the $\ell$-adic cohomolog of a scheme with the $\ell$-adic cohomology of its normalization?

I have an argument, which I wonder if someone could check:

Let $X$ be an irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$, and unfortunatley $f_*(\mathbb{Z}/n)\neq \mathbb{Z}/n$. Hence my question is

Is there a good way to relate the $\ell$-adic cohomology of a scheme with the $\ell$-adic cohomology of its normalization?

Étale cohmologycohomology and normalization?

Adapted question after comment pointed out a mistake
Source Link

Étale cohmology is invariant underand normalization?

I have an argument, which I wonder if someone could check:

Let $X$ be a irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$. However, since $X$ is assumed to be irreducible, and $f$ is assumed to be surjective, we know that the pushforward of $\mathbb{Z}/n$ is constant (seeunfortunatley https://math.stackexchange.com/q/1352862)$f_*(\mathbb{Z}/n)\neq \mathbb{Z}/n$. Hence we have $$H^p_{ét}(X,\mathbb{Z}/n)=H^p_{ét}(X^{norm},\mathbb{Z}/n).$$ In particular, passingmy question is

Is there a good way to relate the limit, we get that$\ell$-adic cohomolog of a scheme with the $\ell$-adic cohomology is invariant under normalization.$\ell$-adic cohomology of its normalization?

Étale cohmology is invariant under normalization?

I have an argument, which I wonder if someone could check:

Let $X$ be a irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$. However, since $X$ is assumed to be irreducible, and $f$ is assumed to be surjective, we know that the pushforward of $\mathbb{Z}/n$ is constant (see https://math.stackexchange.com/q/1352862). Hence we have $$H^p_{ét}(X,\mathbb{Z}/n)=H^p_{ét}(X^{norm},\mathbb{Z}/n).$$ In particular, passing to the limit, we get that the $\ell$-adic cohomology is invariant under normalization.

Étale cohmology and normalization?

I have an argument, which I wonder if someone could check:

Let $X$ be a irreducible reduced scheme over a field $k$. Then we have a normal scheme $X^{norm}$ with a finite birational $f:X^{norm}\rightarrow X$. Then for any étale sheaf $\mathcal{F}$, the higher direct image $R^if_*\mathcal{F}$ vanishes for $i>0$. In particular, the Lerray spectral sequence yields $$H^p_{ét}(X,f_*\mathcal{F})=H^p_{ét}(X^{norm},\mathcal{F}).$$ However, I would like understand $H^i_{ét}(X,\mathbb{Z}/n)$ and relate it to the cohomology of $X^{norm}$, and unfortunatley $f_*(\mathbb{Z}/n)\neq \mathbb{Z}/n$. Hence my question is

Is there a good way to relate the $\ell$-adic cohomolog of a scheme with the $\ell$-adic cohomology of its normalization?

Source Link
Loading