Skip to main content
Notice removed Draw attention by Zhiyu
Bounty Ended with Will Sawin's answer chosen by Zhiyu
Notice added Draw attention by Zhiyu
Bounty Started worth 50 reputation by Zhiyu
added 109 characters in body; edited tags
Source Link
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$$i+1$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ is always pure of some weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Example: when $X_k$ has ordinary quadratic singularity, then this is true by Picard-Lefschetz formula.

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i+1$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ is always pure of some weight?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Example: when $X_k$ has ordinary quadratic singularity, then this is true by Picard-Lefschetz formula.

make the notation more clear
Source Link
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_s, R\Phi \mathbb Q_l)$$H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_s, R\Phi \mathbb Q_l)$$H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_{k^{alg}}, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

added 9 characters in body
Source Link
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Let $X$ be a proper scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Let $X$ be a proper scheme over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Let $X$ be a scheme proper and flat over a complete discrete valuation ring $O$ with finite residue field $k$, and choose a prime $l$ not equal to characteristic of $k$. Consider the Galois representation $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ where $R\Phi \mathbb Q_l$ denotes the vanishing cycle, are all of its weights less than $i$? Assume the generic fiber $X_K$ is proper and smooth, do we know that $H^i_{et}(X_s, R\Phi \mathbb Q_l)$ is always pure of weight $i$?

A theorem of Gabber says that $R\Phi \mathbb Q_l$ is perverse (up to shift), maybe this is helpful.

Source Link
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44
Loading