Questions tagged [p-adic-numbers]
The p-adic number system for any prime number p extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems
236
questions
3
votes
0
answers
717
views
Definition of Iwahori subgroup independently of the Bruhat-Tits building
Let $G$ be the points of a connected, semisimple algebraic group over a $p$-adic field $k$. To make life easy, let's assume the underlying group scheme is simply connected. The Bruhat-Tits building $...
- 6,120
2
votes
0
answers
108
views
Can an abelian group have multiple different actions of $\mathbb{Z}_p$?
This is perhaps a trivial question, but I've asked a few colleagues and they couldn't answer. For a given abelian group $M$, is it possible to have several different actions of the ring of $p$-adic ...
- 21
2
votes
1
answer
308
views
Why $E_1(\mathbb{Q}_p)\cong\mathbb{Z}_p$
I read an article where it is said: $E_1(\mathbb{Q}_p)\cong \mathbb{Z}_p$ where $E$ is an elliptic curve over $\mathbb{Q}_p$ and $E_1(\mathbb{Q}_p)=\{P\in E(\mathbb{Q}_p):\tilde{P}=\tilde{O}\}$.
The ...
- 131
2
votes
0
answers
223
views
Where is the flaw in this argument with $p$-adic extensions?
I cannot find what I am missing in the following computation. Let $K=\mathbb{Q}_p(p^{1/{(p-1)p^{\infty}}})$ and $L=\mathbb{Q}_p(\zeta_{p^{\infty}})$, where $\zeta_{p^n}$ is a primitive $p^n$-th root ...
- 282
7
votes
0
answers
440
views
intuition for lattices in p-adic (or other non-Archimedean) vector spaces?
I could use some help to jumpstart my intuition for lattices in vector spaces over non-Archimedean fields, like $\mathbb{Q}_p$ and $\mathbb{F}_q((t))$.
I have some intuition for $\mathbb{Z}$-lattices ...
- 1,338
5
votes
0
answers
312
views
Analytic continuation of $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the p-adics
Consider the power series $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the algebraic closure of $\mathbb{Q}_p$, defined by $f(0)=1$.
What can be said about an analytic continuation "in the form of Mittag-...
- 351
1
vote
0
answers
73
views
valuation of a derivative in a completion
Let $q$ be a power of a prime $p$ and $w$ be an irreducible polynomial of $\mathbb F_q[T]$. Denote by $\mathbb C_w$ the completion of an algebraic closure of $K_w$, the completion of $\mathbb F_q(T)$ ...
- 3,749
3
votes
0
answers
235
views
Jacobian change of variables formula for $p$-adic valued integration?
Let $k$ be a $p$-adic field. It's possible to make sense of the Haar measure $\mu_{\operatorname{Haar}}$ on $k^n$ as a $k$-valued measure and define integrals
$$\int\limits_{k^n} f(x_1, ... , x_n) d\...
- 6,120
0
votes
0
answers
132
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}$...
- 3,749
4
votes
2
answers
329
views
$p$-adic series bounded if and only if it has finitely many zeros
Let $L\subseteq\mathbb{C}_p$ be a finite extension of $\mathbb{Q}_p$, $r$ be a positive real number, and $f$ be a series $\sum_{n\in \mathbb{Z}} a_nz^n$ convergent in $D= \{x\in \mathbb{C}_p|0<v(x)\...
user141691
7
votes
0
answers
147
views
On the isomorphism of the lattices of submodules of certain free modules
Let $K,L$ be two finite extensions of the $p$-adic field
$\mathbb{Q}_p$ of the same degree. Let $\mathcal{O}_K$ and
$\mathcal{O}_L$ be the ring of integers of these two fields, and let
$\mathcal{O}_K^...
- 49.5k
2
votes
1
answer
161
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.$$ ...
- 3,749
2
votes
1
answer
225
views
Calculation of Tate epsilon factor in the ramified case
Let $F$ be a nonarchimedean local field, $\chi$ a ramified character of $F^{\ast}$, $\psi$ a nontrivial character of $F$, and $dx$ a Haar measure on $F$ with respect to which the Fourier transform is ...
- 6,120
3
votes
0
answers
155
views
Using the Hilbert symbol to find nice field extensions
Let $p$ and $q$ be (not necessarily distinct) odd primes and let $F=\mathbb{Q}_p(\mu_q)$. The $q^{th}$ Hilbert symbol induces a non-degenerate alternating form $$(\cdot,\cdot)_q:F^\times/(F^\times)^q\...
- 2,336
1
vote
1
answer
1k
views
p-adic expansion of roots of unity [closed]
Let $w$ be an n-th root of unity, I have two questions
1) What are the conditions on the prime $p$ such that $w\in \mathbb{Z}_p$, and if it is the case what is the p-adic expansion of an n-th root of ...
- 23
0
votes
1
answer
257
views
If two monic polynomials of $\mathbb{Z}_p[X]$ (p-adic integer coefficient) are relatively prime modulo p, then do they generate $\mathbb{Z}_p[X]$?
I'm currently reading a paper of Rene Schoof, and I got stuck in a line. And I'm trying to check the above sentence.
Although that seems to be elementary, I hope someone can give me a counterexample ...
- 1,043
4
votes
0
answers
295
views
Computing the $2$-adic volume of a special orthogonal group
Let $n \geq 0$ be an integer, let $A = (a_{ij})$ be the $(2n+1) \times (2n+1)$ matrix defined by $a_{ij} = 0$ unless $i + j = 2n+2$, in which case $a_{ij} = 1$. Let $G$ be the group scheme over $\...
4
votes
0
answers
122
views
Finite dimensional irreps of $p$-adic groups
What are some examples of finite dimensional irreducible complex representations of $SL_2(\mathbb{Q}_p)$?
One knows such a representations cannot be smooth, so probably the examples will be ...
- 81
7
votes
1
answer
658
views
Change of variables for $p$-adic integral
Say $p$ is an odd prime. Suppose I have a measure $\mu$ on $\mathbf{Z}_p$. As in II.4.3 in Colmez - Fonctions d'une variable $p$-adique, I can restrict $\mu$ to $1+p\mathbf Z_p$, and there is a ...
- 399
1
vote
0
answers
191
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 $...
- 3,749
1
vote
0
answers
103
views
extension of absolute values in function fields and product formula
Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the valuation $-\deg$. Let $K/\mathbb F_q(T)$ be a algebraic extension of finite dimension $...
- 3,749
3
votes
0
answers
76
views
Continuous extension of the derivation in positive characteristic
Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the topology induced by the valuation $-\deg$. Does there exist a derivation on $\Omega$ ...
- 3,749
11
votes
2
answers
942
views
Is there a proof of quadratic reciprocity using $p$-adic numbers?
I asked same question on MSE before, but I didn't get any answer yet.
I know that the quadratic reciprocity can be regarded as a special case of Artin reciprocity (class field theory), and we can ...
- 1,911
3
votes
0
answers
167
views
Simple transfinite generalization of $p$-adic integers
One way to define the ring of $p$-adic integers is as a quotient of the formal power series semiring $\Bbb N[[x]]/(x-p)$. One can likewise start with the formal power series ring $\Bbb Z[[x]]/(x-p)$ ...
- 4,525
3
votes
1
answer
385
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 ...
- 3,749
1
vote
0
answers
146
views
On $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le p-1}$ and $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le (p-1)/2}$
QUESTION. Is my following conjecture true? If true, how to prove it?
Conjecture. Let $p$ be a prime with $p\equiv5\pmod 6$, and define the matrices $A_p$ and $B_p$ by
$$A_p:=\left[\frac1{i^2-ij+j^2}\...
- 14.5k
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 ...
- 3,749
4
votes
0
answers
424
views
Index of the congruence subgroups of $PGL_2(\mathbb{Z}_p)$
Let $\Gamma_n$ be the $n$-th congruence subgroup of $GL(2,\mathbb{Z}_p)$. So $\Gamma_n$ consists of matrices in $GL(2,\mathbb{Z}_p)$ which are congruent to the identity matrix modulo $p^n$. Let $Z(\...
- 685
5
votes
1
answer
612
views
Endomorphisms of the p-adic group $(\mathbb Z_p,+)$
Does there exist an endomorphism of $(\mathbb Z_p,+)$ of finite order different of $x\mapsto\xi x$ where $\xi$ is a root of unity in $\mathbb Z_p$?
Thanks in advance
- 3,749
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 ...
- 3,749
17
votes
2
answers
1k
views
Is a matrix similar to its transpose over $\mathbb{Z}_p$?
Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...
- 2,052
2
votes
1
answer
381
views
$2$-adic valuation on $\mathbb Q (\sqrt{-15})$
I was reading the book "The structure of groups of prime power order". In the book (page 226, Example 10.1.18) it is proved that
$-15$ has a square root is $\mathbb Z_2$ where $\mathbb Z_2$ ...
- 243
6
votes
1
answer
633
views
Integral Tate-Sen theory
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $C=\widehat{\overline{K}}$ be the completion of the algebraic closure of $K$. Let $\mathscr{O}_C$ be the ring of integers in $C$, and let $G_K$ ...
- 22.2k
2
votes
0
answers
137
views
Volume of a double class of a parahoric subgroup
Let $F$ be a non-archimedean local field with residue field $F_q$. Let $G$ be the group of $F$-rational points of a connected reductive group defined and split over $F$. Fix a maximal split torus $T$ ...
- 6,174
5
votes
0
answers
641
views
Jacobson radical of a tensor product
Let $R$ be a commutative ring and $A_1$, $A_2$ be $R$-algebras. Is there any general mean to compute the Jacobson radical of the tensor product $A_1\otimes_R A_2$ in terms of ${\rm Rad}(A_i )$, $i=1,2$...
- 6,174
24
votes
2
answers
1k
views
What is $\mathbb{Q}_1$, the "field of $1$-adic numbers"?
(Disclaimer: I'm totally ignorant about $\mathbb{F}_1$ theory)
There are now (several) working definitions of the "field with one element" $\mathbb{F}_1$ (not literally a field, of course), and ...
- 22.7k
1
vote
1
answer
261
views
Inverse limit of $p^n$-torsion abelian groups
Let $p$ be a prime and let $\{A_n\}_{n > 0}$ be an inverse limit of abelian groups such that $A_n$ is $p^n$-torsion with $A_n/p^{n - 1} \cong A_{n - 1}$ (these isomorphisms are part of the data). ...
- 2,623
2
votes
1
answer
201
views
Decomposition of $\widehat{k^{\times}}$ occuring in local class field theory
Let $k$ be a finite extension of $\mathbb{Q}_p$ very often we use the isomorphism that $Gal(\overline{k}/k)^{ab} \simeq \hat{(k^{\times})}$ given by local class field theory.
My question would be do ...
- 385
2
votes
1
answer
437
views
On an isomorphism between $p$-adic power series and an inverse limit
Let $K$ be an extension field of $\mathbb{Q}_p$, let $O$ be the ring of integers of $K$, and let $P$ be the maximal ideal of $O$.
If $K$ is a finite extension of $\mathbb{Q}_p$, there is the well-...
- 3,097
4
votes
1
answer
259
views
Kummer congruences for totally real number fields
There is a generalization of the Kummer congruences to totally real number fields with characters due to Deligne-Ribet. For example, see the exposition here, more precisely see Theorem 2.1.
What is ...
- 7,646
13
votes
3
answers
674
views
Some questions on the $p$-adic properties of special $L$-values
Warning: Some naive, speculative questions from a total non expert.
Let $\rho$ be a p-adic representation of the Galois group $Gal(\overline K/K)$ for a number field $K$. We can consider the Artin L-...
- 7,646
4
votes
0
answers
209
views
Structure of modules over Iwasawa algebra $\mathbb{Z}_p[[T]]$ when taken mod $p$
Let $A \in M_n(\mathbb{Z}_p)$ be a nonsingular matrix which is nilpotent mod $p$, so $A^r \in pM_n(\mathbb{Z}_p)$ for some $r$. Then $\mathbb{Z}_p[[T]]$ acts on $\mathbb{Z}_p^n$ with $T$ acting by $A$....
- 538
4
votes
0
answers
144
views
Does a countably generated $\mathbb{Q}$-algebra inject into some $p$-adic field?
Let $K$ be a subfield of $\mathbb{C}$. If $K$ is finitely generated over $\mathbb{Q}$, then $K$ injects into $\mathbb{Q}_p$ for some $p$.
Assume that $K$ is countably generated, i.e., $K= \...
- 71
3
votes
1
answer
577
views
Is there a better proof for this than using the 10-adic numbers?
Here are two somewhat strange sums using the shifted decimal forms of the powers of $3.$
$\begin{equation*}\begin{array}{ccccccc}
&1&&&&&& \\
&&3&&&&...
- 30k
1
vote
1
answer
466
views
The Unit Group of $\mathbb{Z}_p$
Let $\mathbb{Z}_p$ the ring of $p$-adic numbers. It's known that the multiplicative unit group $\mathbb{Z}_p ^\times$ can be set theoretically described as $\bigcup _{1 \le a \le p-1} a+ p\mathbb{Z}_p$...
- 6,000
6
votes
0
answers
214
views
Specifying cokernels of all powers of $p$-adic matrix
Given a matrix $A \in M_d(\mathbb{Z}_p)$ (with nonzero determinant), viewed as a map $\mathbb{Z}_p^d \to \mathbb{Z}_p^d$, I am interested in the sequence of abelian $p$-groups $\{coker(A^n)\}_{n \geq ...
- 538
11
votes
1
answer
634
views
Mori: p-adic and real hemispheres of the mathematical universe?
I recall having read, some time ago, a beautiful and poetic opening of an article (or was it a book?). From memory, it was by Shigefumi Mori, and talked about the (mathematical) universe consisting of ...
- 2,489
3
votes
0
answers
208
views
Inverse of reduction mod $p$ functor?
I have a very general, and possibly not very precisely stated question, which comes up quite often in my work, and I would be very happy to be able to address. To my dismay, I only have some very ...
- 993
11
votes
0
answers
1k
views
Nick Katz observation: "the rationality of the zeta function!"
In the proceedings "Algebraic Geometry - Arcata 1974" edited by R. Hartshorne there is an article by Nick Katz called "$p$-adic $L$-functions via moduli of elliptic curves". He starts by recalling $p$-...
- 3,097
2
votes
0
answers
100
views
Zero digits of a p-adic algebraic number
This question might be too simple and I just don't see something very obvious, so I apologize in advance if that is so.
Let $p$ be a prime number and let $\mathbb Z_p$ denote the ring of $p$-adic ...
- 1,573