Skip to main content
2 of 4
added 9 characters in body
Zhiyu
  • 6.6k
  • 2
  • 11
  • 44

Purity of vanishing cycle for proper scheme over DVR with smooth generic fiber

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.

Zhiyu
  • 6.6k
  • 2
  • 11
  • 44