Skip to main content

All Questions

Tagged with
Filter by
Sorted by
Tagged with
4 votes
1 answer
162 views

Maximum modulus principle over the $p$-adic integers

Consider $\mathbb{Z}_p$ the $p$-adic integers. Let $f\in\mathbb{Z}_p[x]$ be an arbitrary polynomial in one variable. Write $f(x) = \sum_{k}a_kx^k$. Is it true that $\|f\|:= \max_k |a_k|_p = \sup_{t \...
Luiz Felipe Garcia's user avatar
1 vote
1 answer
381 views

Unramified extension over $ \mathbb{Q}_{p} $

Let $\mathbb{Q}_{p}$ be a p-adic field such that $ p \neq 2 $. We knew that for every $ n=2m $ there exists exactly one unramified extension $ K $ of $ \mathbb{Q}_{p} $ of degree $ n $, obtained by ...
Sky's user avatar
  • 923
3 votes
1 answer
529 views

Algebraic numbers in all $\mathbb Q_p$ [duplicate]

Do there exist non-rational algebraic numbers that belong to $\mathbb Q_p$ for all prime $p$? If yes, can one characterize them? I spent several days for the first question, and I found nothing. The ...
joaopa's user avatar
  • 3,998
1 vote
1 answer
428 views

Characters of p-adic units

Let $p$ be a prime and denote by $\mathbb{Z}_p^{\times}$ the group of $p$-adic units. Suppose that $\chi$ is a character $\chi: \mathbb{Z}_p^{\times} \rightarrow \mathbb{C}^{\times}$. Then it is well ...
Osheaga's user avatar
  • 59
4 votes
3 answers
219 views

Is $K^\times/ F^\times$ compact for local fields?

Let $K/F$ be a finite extension of local fields (of characteristic 0). Is it true that the quotient group $K^\times/ F^\times$ is always compact? I understand that if the extension is cyclic, it is ...
Windi's user avatar
  • 833
1 vote
0 answers
64 views

Continous morphisms of a local field with conditions in positive characteristic

Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
joaopa's user avatar
  • 3,998
3 votes
1 answer
130 views

Analytic p-adic functions that take an algebraic value

Suppose it exists $r\in\mathbb R$ such that the non constant p-adic function $f(z)=\sum_{n\ge0}a_nz^n$ ($a_n\in\mathbb C_p$) is defined on $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>r\}$. Does it ...
joaopa's user avatar
  • 3,998
2 votes
0 answers
75 views

Zeroes of the Euler series

Consider a prime $p$. Let $f$ be the Euler series defined by $f(z)=\sum_{n\ge0}n!z^n\}$. It is defined and analytic over $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>-\frac1{p-1}\}$. I try to check if ...
joaopa's user avatar
  • 3,998
6 votes
2 answers
827 views

Zero of the exponential p-adic

Consider the $p$-adic exponential defined over $\mathbb C_p$. One knows $\exp$ is analytic in the domain $\mathcal D=\{z\in\mathbb C_P\mid v_p(z)>\frac1{p-1}\}$. Does it exist an element $z_0\in\...
joaopa's user avatar
  • 3,998
3 votes
0 answers
118 views

Composition in function fields

Let $k=\mathbb F_q\left(\!\left(\frac1T\right)\!\right)$. One has the map: $\circ:k\times\{v\in k\mid\deg(v)>0\}\to k$ defined by $f\circ g=\sum_{n\ge-m}a_ng^{-n}$ where $f=\sum_{n\ge-m}a_n\frac1{T^...
joaopa's user avatar
  • 3,998
0 votes
0 answers
139 views

continuous isomorphism of $p$-adic field

In Cassels-Frolich, one can read this theorem (page 57): Let $K$ be a finite finite separable extension of the valued field $(k,v)$. Let $\overline k$ be the completion of $k$ and $(K_j)_{1\le j\le r}$...
joaopa's user avatar
  • 3,998
2 votes
1 answer
170 views

Modulus of growth in $p$-adic spherically complete field of $\mathbb C_p$

Let $F$ be the spherically complete extension of $\mathbb C_p$ and $(a_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ such that for all $r\in\mathbb R$, one has $$\lim_{n\to+\infty}|a_n|_pr^n=0.$$ ...
joaopa's user avatar
  • 3,998
1 vote
0 answers
201 views

Extension of $\mathbb C_p$?

Let $K/\mathbb Q$ be a finite algebraic extension. Consider a prime $p$ and $v$ be a valuation of $K$ above the valuation $v_p$ of $\mathbb Q_p$. Denote by $K_v$ a completion for the valuation $v$ of $...
joaopa's user avatar
  • 3,998
3 votes
1 answer
398 views

Analytic continuation of a $p$-adic function

Let $(a_n)_{n\in\mathbb N}$ and $(b_n)_{n\in\mathbb N}$ be sequences of $\mathbb Q_p$ such that the function $f:z\in\mathbb Q_p\to\sum_{n\ge0}a_nz^n+b_nz^{n+1}$converges in $\{|z|_p<1\}$. Assume ...
joaopa's user avatar
  • 3,998
7 votes
1 answer
1k views

Convergence of a $p$-adic series

Let $K$ be a local field of characteristic $0$ with valuation $v$. I think $$\lim_{\substack{q\in K\\q\to1}}\sum_{n\ge0}\prod_{j=1}^n\frac{q^j-1}{q-1}$$ converges to $\sum_{n\ge0}n!\in K$ but I did ...
joaopa's user avatar
  • 3,998
2 votes
0 answers
69 views

Invariant compact in division ring

Let $K$ be a discrete valued (with discrete valuation $v$) complete local division ring with ring of valuation $V$. Let $F$ be a compact subset of $V$. Suppose that for all $x\in F$ and for all $y\in ...
joaopa's user avatar
  • 3,998
1 vote
1 answer
193 views

null infinite product in the p-adic setting

Let $p$ be a prime, $\mathbb C_p$ be the completion of a algebraic closure of $\mathbb Q_p$ and $(u_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ converging towards $0$. Suppose that for all $n\...
joaopa's user avatar
  • 3,998
0 votes
0 answers
197 views

Name of some commutative ring akin to $p$-adics

I need help in identifying the naming convention of some commutative ring described below. Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
Andrey Rukhin's user avatar
1 vote
1 answer
881 views

Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]

Why is every l-adic Galois representation $$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$ conjugate to one over the l-adic integers? $$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$
The Thin Whistler's user avatar
4 votes
2 answers
2k views

Automorphisms of $\mathbb C_p$

I am looking for a non-trivial automorphism $\sigma$ of $\mathbb C_p$ such that $\sigma(\mathbb Q_p)\subset\mathbb Q_p$. If $\mathbb C_p$ were spherically complete, then by Hahn-Banach theorem, that ...
joaopa's user avatar
  • 3,998
3 votes
1 answer
499 views

Trivial p-adic measures

I am looking at p-adic distributions, and in this case p-adic measures. To say that $\mu$ is a distribution means that the arguments of $\mu$ are compact open subsets of $\mathbb{Z}_p$, $\mu$ is ...
Steve's user avatar
  • 43
2 votes
0 answers
506 views

p-adic Lie theory

It is well known that exponential map in $C^{n\times n}$ will cover all non-sigular matrix $GL(n,C)$, which is a basic fact in Lie group and lie algebra theory, whether it is true for p-adic cases. ...
yaoxiao's user avatar
  • 1,706