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
7
votes
1
answer
420
views
Non-existence of "higher" Artin map
So rank $1$ local Langlands is special in as that it is given by the Artin map
$$\text{GL}_1(K)\to G_K^{ab},$$
whereas in the higher rank (to the best of my knowledge) there doesn't exist a map
$$\...
0
votes
0
answers
117
views
How extension $\Bbb{Q}_p(\hat{E}[p])/\Bbb{Q}_p$ looks like?
Let $E/ \Bbb{Q}_p$ be an elliptic curve over $ \Bbb{Q}_p$. $\hat{E}$ denote the corresponding formal group of $E$.
I want to know what
$\Bbb{Q}_p(\hat{E}[p])/\Bbb{Q}_p$ is .
At first I tried to prove ...
2
votes
0
answers
175
views
Relation between division point of elliptic curve and formal group of elliptic curve, $\Bbb{Q}_p(E[p])=\Bbb{Q}_p(\hat{E}[p])$
Let $E/ \Bbb{Q}_p$ be an elliptic curve over $ \Bbb{Q}_p$. $\hat{E}$ denote the corresponding formal group of $E$.
I want to prove
$\Bbb{Q}_p(E[p])=\Bbb{Q}_p(\hat{E}[p])$.
$ \hat{E}[p]$ denotes $p$ ...
2
votes
0
answers
177
views
How to plot a p-adic function? [closed]
I found on the Internet some ways to provide a graphical representation of the $p$-adic integers or numbers (e.g., these illustrations of Heiko Knospe). They all exploit the fact that $p$-adic ...
2
votes
0
answers
129
views
Bruhat-Tits tree as Cayley graph of free group
$\DeclareMathOperator\BT{BT}\DeclareMathOperator\GL{GL}$Let $p > 2$ be a prime and $n = \frac{p + 1}{2}$. We can identify the vertices of Bruhat-Tits tree $\BT(\mathbb Q_p)$ with the elements in ...
5
votes
0
answers
163
views
defining the upper ramification numbering
Given a local field $K$ with absolute Galois group $\Gamma$. Is it "possible" to define the upper numbering on $\Gamma$ without using the lower numbering?
In other words, given $\gamma \in \...
9
votes
2
answers
1k
views
Faster computation of p-adic log
As I see it, $p$-adic integers work very similar to formal power series over $x$ (e g. with regards to Hensel lifting).
When it comes to computing $\log P(x)$, one may use the formula
$$
(\log P)' = \...
5
votes
1
answer
184
views
Describing the Gamma-transform explicitly in terms of power series
The Gamma transform of a measure is defined as follows. If $\alpha$ is a $\mathbf{Z}_p$-valued measure on $\mathbf{Z}_p$, then the Gamma transform of $\alpha$ is:
$$\Gamma_{\alpha}(s) = \int_{\mathbf{...
2
votes
1
answer
157
views
Finding a certain value of $\Gamma_p$
Let $\Gamma_p : \mathbb{Z}_p \to \mathbb{Z}_p^{\times}$ be the $p$-adic gamma function. I thought that I had successfully calculated $\Gamma_p(1 - 1/4)$, but sage is telling me I'm wrong (this is ...
10
votes
0
answers
241
views
Some variants of Artin's primitive root conjecture
Artin's primitive root conjecture asserts that if an integer $a \ne -1$ is not a perfect square then $a$ is a primitive root mod $p$ for infinitely many primes $p$. This conjecture is still open.
An ...
5
votes
0
answers
213
views
Are the $p$-adic digits of roots of unity equidistributed?
I was looking at the $p$-adic expansions of roots of unity in $\mathbf{Z}_p$, and I noticed that the digits tended to be equidistributed among the numbers $\{0, 1, \dots, p-1 \}$. I wanted to ask if ...
10
votes
0
answers
691
views
Elementary aspects of The Fargues-Fontaine curve
To any pair $(E,F)$, where $E$ is a local field and $F$ is a perfectoid field, one can associate a curve $X^{\text{FF}}_{E,F}$, the so-called Fargues-Fontaine curve, which is unique up to Frobenius ...
1
vote
2
answers
767
views
Some good journals in $p$-adic number theory
Over the past few decades, a vast research area in number theory is surrounded by the $p$-adic number field $\mathbb{Q}_p$ and its extensions.
My question is on different perspective.
What are the ...
2
votes
0
answers
246
views
Is the absolute Galois group $\text{Gal}(\bar K/K)$ isomorphic to $\text{Gal}(K(S)/K)$?
Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}$, maximal ideal $\mathfrak{m}$ and uniformizer $\pi$. Let $\bar K$ be the algebraic closure of $K$ and $\bar{\...
4
votes
0
answers
99
views
Sign error in $\pm$-parts of modular symbols?
I am trying to connect the definition of $\pm$-modular symbols given in [Pollack, pg. 529] and [MTT,pg. 11] to those appearing in [Greenberg-Stevens, pg. 200 in #20 here], but I can't seem to ...
3
votes
0
answers
181
views
Decomposition of primes in cyclotomic extensions and their ramifications
Let $p$ be a prime. Suppose $L$ is a degree $p$ Galois extension over a number field $K$. Suppose $p$ splits both in $K$ and $L$.
So there will be $[K:\mathbb{Q}]$ primes of $K$ over $p$. Call them $...
9
votes
1
answer
471
views
p-adic analogue of octonions
There are the complex p-adic numbers.
But what is the p-adic analogue of the Cayley–Dickson construction?
Or more important: What is the p-adic analogue of the octonions?
It would be nice if the (unit)...
3
votes
1
answer
460
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 ...
3
votes
1
answer
510
views
Is there a classification of the $p$-adic normed division algebras?
A normed division algebra over $\mathbb{R}$ is a pair $(A,\lVert{-}\rVert)$ with
$A$ an $\mathbb{R}$-algebra with a unit $1_A$;
$\lVert{-}\rVert\colon A\to\mathbb{R}_{\geq0}$ a norm on $A$;
such ...
1
vote
0
answers
239
views
To justify the intuition about #$E(\Bbb Q_p)$=$∞$
Let $E$ be an elliptic curve on $\Bbb Q_p$.
$E_0(\Bbb Q_p)$ is points of $E(\Bbb Q_p)$ reduced to nonsingular points.
How to prove #$E(\Bbb Q_p)$=$∞$ directly ?
According to Silverman's book 'the ...
0
votes
1
answer
465
views
Method to solve modular quadratic polynomial [duplicate]
If $q$ is a prime what is the best method to compute roots of a quadratic polynomial $f(x)\equiv0\bmod q^2$ which is of form $x^2+bx+c\equiv0\bmod q^2$ where $b^2-4c\equiv0\bmod q$ and $gcd(b,q)=1$ ...
18
votes
1
answer
691
views
Is the p-adic density of the image of a polynomial always rational?
This question was previously posted here on MSE.
Let $P(x)$ be a polynomial with integer coefficients, and let $p$ be a prime number. For $n\in\mathbb N$, let $I_n$ be the number of integers $i\in\{1,\...
4
votes
0
answers
240
views
Is equation $y^3+x y + x^4 + 4 = 0$ solvable locally (in ${\mathbb Q}_p$ for all $p$)?
When finding out whether an equation in 2 variables has rational solutions (or, equivalently, whether an algebraic curve has any rational points), many authors recommend checking the local solubility ...
8
votes
0
answers
563
views
Scholze and Weinstein's $\operatorname{Spa}\mathbf{Z}_p\times \operatorname{Spa}\mathbf{Z}_p$
In their Berkeley Lectures, to motivate the introduction of Diamonds, Scholze and Weinstein discuss what should be the definition of $\operatorname{Spa}\mathbf{Z}_p\times \operatorname{Spa}\mathbf{Z}...
3
votes
0
answers
162
views
Reconstructing elements of $\mathbb Q$ in $\mathbb Z_p$
Can a rational number $a/b$ (with $b$ coprime to a prime number $p$) be recovered efficiently from a $p$-adic expansion of the form
$$\frac{a}{b}=\sum_{j=0}^\infty x_jp^j,\ x_j\in\{0,\ldots,p-1\}\ ?$$
...
2
votes
0
answers
47
views
Extension of morphism in local fields of positive characterisic
Consider $\theta:\mathbb F_q(T)\mapsto\mathbb F_q(T)$ defined by $\theta(Q)=Q(T^q)$. It is a morphism of fields. Let $P$ be an irreducible polynomial of $\mathbb F_q[T]$. Then, $\theta$ can be ...
6
votes
0
answers
227
views
Why are the $p$-adic $L$-functions for a modular form with $a_p=0$ conjugates?
I have a question about the proof of Theorem 3.5 in Pollack's 2003 paper On the $p$-adic L-function of a Modular Form at a Supersingular Prime.
The setup is as follows. Fix an eigenform $f\in S_k(N,\...
1
vote
1
answer
389
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 ...
22
votes
1
answer
2k
views
A list of proofs of the Hasse–Minkowski theorem
I am currently doing a project in which I intend to include the most insightful possible proof of the Hasse–Minkowski theorem (also known as the Hasse principle for quadratic forms, among other names) ...
7
votes
1
answer
857
views
A family of Diophantine equations with no integer solutions but solutions modulo every integer
Selmer's curve is the equation $3x^3 +4y^3 +5z^3=0$. This equation is famous for having non-trivial solutions in every completion of $\mathbb{Q}$ but only having the trivial solution in the rationals. ...
0
votes
0
answers
202
views
When is $u \circ v=v \circ u$ for $p$-adic power series $u$ and $v$ in two power series rings $A$ and $B$ respectively?
Let $K \supset \mathbb{Q}_p$ be the $p$-adic field with ring of integers $O_K$ and maximal ideal $m_K$. Let $\bar K$ be the algebraic closure and $\bar{m}_K$ be the integral closure of $m_K$ with ...
6
votes
2
answers
484
views
In what sense is $\Omega_p$ universal?
In Chapter 3 of the book ''A Course in $p$-adic Analysis'' A.M Robert defines the field $\Omega_p$. He calls the field ''universal'' but doesn't show a universal property. I would have guessed that it'...
10
votes
3
answers
956
views
What's the number of solutions of the quadratic equation $x_1^2+\dots+x_m^2=0$ over finite ring $\mathbb{Z}/p^n$?
I want to calculate the number of solutions to the quadratic equation $$x_1^2+\dots+x_m^2=0$$ where $m$ is odd (a given number) and $x_i\in\mathbb{Z}/p^n$ for a given prime number $p$ and a given ...
1
vote
0
answers
300
views
Automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers?
I am interested to see what is currently known about the automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers (with respect to the $p$-adic topology induced by the $p$-...
2
votes
0
answers
241
views
A "multi-adic" absolute value / topology?
Let $S$ be a set of finitely many prime numbers. Then, define $\left|\cdot\right|_{S}:\mathbb{Q}\rightarrow\left[0,\infty\right)$ by: $$\left|x\right|_{S}\overset{\textrm{def}}{=}\prod_{p\in S}\left|x\...
3
votes
0
answers
91
views
Projective limit of copies of same group w.r.t. some fixed endomorphism
In our study of automorphism groups of transcendental field extensions, we have encountered the situation where we have a group $F$ together with an endomorphism $\alpha \colon F \to F$, resulting in ...
1
vote
0
answers
94
views
How to estimate the highest power of 2 in the partial sum of 2-adic $\log(-1)$ (i.e. $\sum_{i=1}^n\frac{2^i}{i}$)?
The estimate I wanna get is $$v_2(\sum_{i=1}^n\frac{2^i}{i})\geq\min_{t\geq n+1}\{t-v_2(t)\}\tag{*}$$
where $v_2$ is the 2-adic valuation, that is the highest power of 2 defined on $\mathbb{Q}$.
Set $$...
8
votes
1
answer
404
views
p-adic versions of log concavity for graphs (or matroids)
It was recently shown using techniques inspired by algebraic geometry (by Huh and Adiprasito-Huh-Katz) that the chromatic polynomial of a graph (or matroid) has coefficients that satisfy log-concavity....
7
votes
0
answers
333
views
Do algebraic completion/topological completion of fields always terminate? If so, are they unique?
Take the field $\mathbb{Q}$, If we complete it topologically with respect to the Euclidean norm, we get $\mathbb{R}$, then if we complete it algebraically, we get $\mathbb{C}$.
On the other hand, the ...
5
votes
1
answer
387
views
Computing the $p$-adic gamma function $\Gamma_p$
Let $p>2$ be a prime. For $n \in \mathbb{Z}^+$ we can define
\begin{equation}
F(n) = (-1)^n \prod_{1<i<n, p\nmid i} i.
\end{equation}
Since $\mathbb{Z}$ is dense in $\mathbb{Z}_p$, we can ...
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 ...
4
votes
3
answers
216
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 ...
6
votes
1
answer
227
views
Hasse invariant and the Clifford algbera
Let
$$q = a_1 x_1^2 + \cdots + a_n x_n^2$$
be a quadratic form over some $p$-adic field $\mathbb{Q}_p$. We thus have its Hasse invariant
$$\mathcal{h}(q) = \prod_{1 \leq i < j \leq n} (a_i,a_j)_p \...
12
votes
3
answers
2k
views
What is the value of $p$-adic $\zeta$-function at positive integer point?
$p$-adic zeta function is a $p$-adic interpolation of the Riemann $\zeta$-function for the values $\zeta(1−k)$, $k\ge 1$ (see $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions by Neal Koblitz) ...
1
vote
0
answers
63
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$-...
0
votes
0
answers
248
views
How to prove the map of rings $\mathcal{R} \to \mathcal{R'}$ is flat?
We fix a finite extension $K$ of $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ and residue field $\kappa$. Consider the ring of witt vectors $W(\kappa)$ over the residue field $\...
2
votes
0
answers
477
views
Is there bijective correspondence between $P_n$ and $A_n$?
Let $K \supset \mathbb{Q}_p$ be the $p$-adic field and let $O_K$ be its ring of integers and $M_K$ be the maximal ideal with integral closure $\bar{M}_K$. A power series is invertible if its lowest ...
3
votes
1
answer
90
views
An averaging procedure on finite multisets of $2$-adic integers
Recently there was this question talking about an averaging procedure on finite multisets of integers.
After seeing that question, I thought about the same procedure but with integers replaced by $2$-...
0
votes
0
answers
191
views
Is this topology on $\mathbb{Q}$ well studied?
Let $\|\cdot\|_p$ denote the $p$-adic norm on $\mathbb{Q}$. For the whole set of primes $P$ consider the topology which is generated with prebase of open sets $V_{p,\varepsilon}(x) = \{y\in\mathbb{Q} :...
1
vote
0
answers
92
views
What would be the quotient groups $U_{\mathrm{gen}}/U_{\mathrm{gen}}^{(n)}$ and $U_{\mathrm{gen}}^{(n)}/U_{\mathrm{gen}}^{(n+1)}$?
Let $K \supseteq \mathbb{Q}_p$ be a $p$-adic field with ring of integer $O$ and maximal ideal $m$. Let $O^*$ be the group of units in $O$.
Consider the group of units $U^{(0)}=U=O^*$ and $U^{(n)}=1+m^...