Skip to main content
MathOverflow

Return to Question

emphasise the main question
Source Link
jmc
jmc
  • 5.5k
  • 27
  • 60

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, and $y \in V$, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.
  • For personal applications, it is Q2 that I am most interested in.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, and $y \in V$, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, and $y \in V$, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.
  • For personal applications, it is Q2 that I am most interested in.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

fixes small math error
Source Link
jmc
jmc
  • 5.5k
  • 27
  • 60

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, and $y \in V$, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)

Notation

$H$ denotes étale cohomology.

Let $f \colon X \to Y$ be a proper morphism of finite type schemes over $\mathbb{C}$. Let $\mathcal{F}$ be in $\mathrm{D}^{\mathrm{b}}_{\mathrm{c}}(X, \mathbb{Q}_{\ell})$ (bounded, constructible), semi-simple of geometric origin. Let $V \subset Y$ be a (Zariski) open over which $H^{i}f_{*}\mathcal{F}$ is locally constant. Take $y \in Y(\mathbb{C})$.

Question

The suggested global invariant cycle theorem:

Q1. If $V$ is connected, and $y \in V$, do we have a surjection $$ H^{i}(X, \mathcal{F}) \twoheadrightarrow H^{i}(X_{y}, \mathcal{F})^{\pi_{1}(V, y)}$$

And then the part that I am least sure about. (I am not even sure the formulation makes sense.) If I am not mistaken, one should replace open balls by henselian traits. Here is my try.

The suggested local invariant cycle theorem:

Q2. Let $B$ be the hensel localisation of $Y$ at $y$, and let $z$ be the generic point of $B$. Do we have a surjection $$ H^{i}(X_{y}, \mathcal{F}) \twoheadrightarrow H^{i}(X_{z}, \mathcal{F})^{\pi_{1}(B, z)} $$

Remarks

  • I have the feeling that something like this should be true. Given the theorems in [BBD], I think this should follow from their §6.1 “Principes”. Yet, I don't see how. Maybe this is because I don't understand the proof of the decomposition theorem, nor how [6.2.8 and 6.2.9, BBD] are easy consequences of it.
  • I am even more confident, because right after the decomposition theorem [6.2.5, BBD] there is a remark that there is an étale analogue.

[BBD] — Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). “Faisceaux pervers”. Astérisque (in French) (Société Mathématique de France, Paris) 100.

more informative title
Link
jmc
jmc
  • 5.5k
  • 27
  • 60

$\ell$-adic monodromy theorems (over $\mathbb{C}$)

Source Link
jmc
jmc
  • 5.5k
  • 27
  • 60