Skip to main content
4 of 4
added 51 characters in body
user avatar
user avatar

Families of Galois representations over disks

Edit on Nov. 20, 2023. This question is answered below in the case that $0<r_i<1$. And indeed it is shown in the answers to not be an interesting question in that case. So please take all $r_i=1$ in what follows. I still think it is an interesting question in the case that all $r_i=1$, so I will leave it up to see if anyone has an answer in that case. The reason I was arguing against the answer below for the case $0<r_i<1$ is that for any $1>s>r>0$ the "wrong way" maps $\mathbb{Z}_p[[x]]\to \mathbb{Z}_p<\frac{x}{r}> \to \mathbb{Z}_p<\frac{x}{s}>$ are not bounded and I was thinking that meant they were not continuous, but I was mistaken: that is an implication that works for real or complex Banach spaces not here. It is just that there are many Banach norms on the ring of formal power series $\mathbb{Z}_p[[x]]$ that are topologically equivalent to the product topology, yet the maps between them are only bounded in one direction. These norms are also not equivalent to $\mathbb{Z}_p[[x]]$ considered as a product in the Ind-Ban category, but again that doesn't matter for the topology. Please do not write any other comments or answers about the case that all $r_i<1$. You can read the question by replacing $R<\frac{x_1}{r_1}, \dots \frac{x_k}{r_k}>$ by $R<x_1, \dots ,x_k>$. I left the original unedited question below.

Let $K$ be an algebraic number field and let $G$ be either the Galois group of the maximal algebraic extension of $K$ in a separable algebraic closure $\overline{K}$ unramified outside a finite sent of non-archimedean places of $K$, or the Galois group of a the completion of $K$ at some place. Let $R$ be some simple non-archimedean field or ring such as $\mathbb{F}_p$, $\mathbb{Z}_p$, or $\mathbb{Q}_p$. Is anything known about lifting continuous homomorphisms $G \to \operatorname{GL}_n(R[[x_1, \dots, x_k]])$ to continuous homomorphisms $G \to \operatorname{GL}_n(R\langle\frac{x_1}{r_1}, \dots, \frac{x_k}{r_k}\rangle)$? In other words, does there exist positive real numbers $r_1, \dots, r_k$ such that that there is a lift in general? If not, is there some criteria known for their existence? The notation $R\langle\frac{x_1}{r_1}, \dots, \frac{x_k}{r_k}\rangle$ refers to a Tate algebra.

anon