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
253 questions
2
votes
1
answer
356
views
$p$-adic analogue of modular forms, upper half-plane, and $L$-functions
In the classical picture, there is the (complex) modular form, defined on the (complex) upper half plane, which is related to the (complex) $L$-function via the Mellin transform. As I have recently ...
- 91
1
vote
1
answer
280
views
$p$-adic $L$-functions and congruence of $L$-values
I am reading about $p$-adic $L$-functions and I have one question in mind.
To start with, I will write a proof I've learned of a congruence of $L$-values:
Theorem: Let $p\geq5$ be a prime, $\alpha\...
- 302
3
votes
0
answers
281
views
Nygaard filtration on Fontaine's period ring
Let $K$ be a discretely valued extension of $\mathbb{Q}_p$ with perfect residue field $k$, and $\mathcal{C}$ a completed algebraic closure of $K$ with the ring of integers $\mathcal{O}_{\mathcal{C}}$. ...
- 519
4
votes
1
answer
243
views
Existence of intermediate field extensions for tamely ramified p-adic extensions
Let $p$ be a prime, and let $K/\mathbb{Q}_p$ be a tamely ramified finite extension of degree $n$. Let $q$ be a prime factor of $n$ with $q\neq p$. Must there exist an intermediate extension $L$ (...
- 421
0
votes
1
answer
96
views
Sums of powers of measures of $p$-adic balls
Let $(a_n,k_n) \in \mathbb{Z}_p \times \mathbb{N}$ for $n \in \mathbb{N}$ and consider the sequence of closed $p$-adic balls $B(a_n,k_n) = a_n + p^{k_n}\mathbb{Z}_p$. I assume that the $(a_n,k_n)$ are ...
- 21.4k
5
votes
1
answer
275
views
Equivalence of quadratic forms over $p$-adic integers vs over localisation at $p$
To discern whether two integral quadratic forms are equivalent over the $p$-adic integers, one can compute a Jordan decomposition at $p$ and read off some invariants. Restricting to $p\ne2$ for ...
- 323
3
votes
0
answers
128
views
Galois cohomology with coefficients in the integers of the Lubin-Tate extension
Let $K$ be a $p$-adic local field, and $L$ the Lubin-Tate extension obtained from $K$ by attaching roots of some Lubin-Tate formal $\mathcal{O}_{K}$-module with $Gal(L/K) \simeq \mathcal{O}_{K}^{\...
- 2,197
2
votes
0
answers
148
views
Can there exist different smooth, proper schemes over the p-adics with the same generic fiber? [duplicate]
Can there exist smooth, proper $X_1,X_2/\mathbb Z_p$ such that their generic fibers are isomorphic but their reductions mod $p$ are not? Are there examples if we insist that the special fibers are ...
- 7,746
2
votes
1
answer
202
views
Image of Kummer map for CM Elliptic curves
Let $K$ be an imaginary quadratic field and let $F$ be a finite extension of $K$. Let $E$ be an elliptic curve over $F$ with CM by $K$. Suppose that $p$ is a prime that splits as $p=\pi\pi^*$ in $K$. ...
- 1,949
7
votes
1
answer
424
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
$$\...
- 4,418
0
votes
0
answers
124
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 ...
- 1,541
2
votes
0
answers
190
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$ ...
- 1,541
2
votes
0
answers
211
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 ...
- 21
2
votes
0
answers
172
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 ...
- 71
5
votes
0
answers
181
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 \...
- 159
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)' = \...
- 1,171
0
votes
1
answer
568
views
A confusion about power series and p-adic measures
In page 16 of these notes on $p$-adic $L$-functions, it makes the following claim:
Let $\alpha$ be a $p$-adic measure on $\mathbf{Z}_p$ which corresponds to a power series $F_{\alpha}(T) \in \mathbf{...
- 1,949
5
votes
1
answer
190
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{...
- 1,949
10
votes
0
answers
248
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 ...
- 101
2
votes
1
answer
174
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 ...
- 707
6
votes
0
answers
228
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 ...
- 1,949
10
votes
0
answers
834
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 ...
- 989
1
vote
2
answers
1k
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 field $\mathbb{Q}_p$ and its extensions.
My question is on different perspective.
What are the lists of ...
- 930
2
votes
0
answers
256
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{\...
- 930
4
votes
0
answers
102
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 ...
- 335
3
votes
0
answers
191
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 $...
- 313
10
votes
1
answer
512
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)...
- 163
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 ...
- 3,998
3
votes
1
answer
564
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 ...
- 11.8k
1
vote
0
answers
246
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 ...
- 1,541
0
votes
1
answer
607
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$ ...
- 13.9k
18
votes
1
answer
714
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,\...
- 654
3
votes
0
answers
265
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 ...
- 7,182
3
votes
0
answers
163
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\}\ ?$$
...
- 17.9k
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 ...
- 3,998
8
votes
0
answers
585
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}...
- 1,479
15
votes
4
answers
2k
views
Why does the field norm on the field extension $ \mathbb C/\mathbb R $ induce a vector space norm?
There is a general result which holds for the rational numbers $ \mathbb Q $ (as well as number fields in general):
For any completion $ K $ of $ \mathbb Q $ and any finite extension $ L/K $ of ...
- 291
6
votes
0
answers
232
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,\...
- 335
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 ...
- 59
7
votes
1
answer
881
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. ...
- 6,969
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 ...
- 930
10
votes
3
answers
1k
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 ...
user178596
1
vote
0
answers
330
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
266
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\...
- 1,284
3
votes
0
answers
94
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 ...
- 6,614
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 $$...
user178596
23
votes
1
answer
3k
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
0
answers
395
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 ...
- 171
5
votes
1
answer
453
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 ...
- 707
8
votes
1
answer
422
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,746