Skip to main content
added 2 characters in body
Source Link
Konstantin
  • 455
  • 3
  • 13

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$$$0 \rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

added 2 characters in body
Source Link
David Loeffler
  • 37k
  • 3
  • 89
  • 194

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$$$ 0 \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Light copyediting
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Exact sequence  ,de de Rham representation

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_{dR}$$B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^iB^+_{dR}/t^{j+1}B^+_{dR} \rightarrow t^{i+1}B^+_{dR}/t^{j+1}B^+_{dR} \rightarrow t^iB^+_{dR}/t^{i+1}B^+_{dR} \rightarrow 0$$$$ 0 \rightarrow t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariantinvariants gives us again a short exact sequence (we can use $t^iB^+_{dR}/t^{i+1}B^+_{dR} \cong \hat{\overline{k}}(i)$$t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a p$p$-adic representation of $G_k$, can. Can we show that $$0 \rightarrow (t^iB^+_{dR}/t^{j+1}B^+_{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_{dR}/t^{j+1}B^+_{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_{dR}/t^{i+1}B^+_{dR} \otimes V)^{G_k} \rightarrow 0$$$$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge-TateHodge–Tate, de Rham etc.?

Exact sequence  ,de Rham representation

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^iB^+_{dR}/t^{j+1}B^+_{dR} \rightarrow t^{i+1}B^+_{dR}/t^{j+1}B^+_{dR} \rightarrow t^iB^+_{dR}/t^{i+1}B^+_{dR} \rightarrow 0$$

Taking $G_k$-invariant gives us again a short exact sequence (we can use $t^iB^+_{dR}/t^{i+1}B^+_{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a p-adic representation of $G_k$, can we show that $$0 \rightarrow (t^iB^+_{dR}/t^{j+1}B^+_{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_{dR}/t^{j+1}B^+_{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_{dR}/t^{i+1}B^+_{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge-Tate, de Rham etc.?

Exact sequence, de Rham representation

Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact sequence $$ 0 \rightarrow t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \rightarrow t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \rightarrow 0.$$

Taking $G_k$-invariants gives us again a short exact sequence (we can use $t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \cong \hat{\overline{k}}(i)$ to calculate this).

Now let $V$ be a $p$-adic representation of $G_k$. Can we show that $$0 \rightarrow (t^iB^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^{i+1}B^+_\text{dR}/t^{j+1}B^+_\text{dR} \otimes V)^{G_k}\rightarrow (t^iB^+_\text{dR}/t^{i+1}B^+_\text{dR} \otimes V)^{G_k} \rightarrow 0$$ is also exact?

Is it true if we assume some nice properties of $V$, like Hodge–Tate, de Rham etc.?

Source Link
Konstantin
  • 455
  • 3
  • 13
Loading