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
4
votes
0
answers
91
views
Levis, parabolics and Bruhat-Tits over Henselian local rings
Let $(R,m)$ be a Henselian local ring with algebraically closed or finite residue field $k$ and fraction field $F$. For example, we may work with $R=W(\mathbb F_p^{alg})$.
The paper "Reductive ...
- 6,622
11
votes
0
answers
428
views
Is there a theory of completions of semirings similar to $I$-adic completions of rings?
Let $L = \text{Con } (\mathbb{N}, 0, +) \setminus \Delta$ be the lattice of monoid congruences on the naturals, excluding the trivial congruence. As it happens, every $\theta \in L$ is the meet of ...
- 631
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 ...
- 195
1
vote
1
answer
242
views
Can a p-adic ball cover a p-adic ball?
Are there a polynomials $f_1,...f_n \in \mathbb{Z}_p[x_1,...x_n]$ with there coeficients $p$-adic integers s.t.
A map $F:\mathbb{Z}_p^n\rightarrow \mathbb{Z}_p^n$ defined by $f_1,...f_n$
satisfy the ...
- 149k
3
votes
1
answer
254
views
The simply connectedness of $\mathbb{A}^n_{\mathbb{Q}_p}$
My question is how to prove the affine $n$-space over $p$-adic number $\mathbb{Q}_p$ is simply connected.
To be precise,
Let $X$ be $p$-adically analytic manifold, $f:X\rightarrow \mathbb{A}^n_{\...
- 28.8k
4
votes
1
answer
239
views
A specific $2$-dimensional Galois representation of $G_{\mathbb{Q}_2}$ and its Langlands correspondence
I am interested in understanding a situation in (classical, not $p$-adic) local Langlands for $\mathrm{GL}_p(\mathbb{Q}_p)$. An example of
it is as follows: Let $F=\mathbb{Q}_2$ and $E$ be the ...
- 1,856
2
votes
1
answer
250
views
A question on distinguished pairs
I am reading Alexandru, Popescu, and Zaharescu, "On the Closed Subfields of $\mathbb{C}_p$" (see https://tinyurl.com/kknmzbyx). The authors give the following definition:
Let $\alpha, \beta \...
CommunityBot
- 1
1
vote
1
answer
74
views
Time complexity of Magma's `NormEquation` for quadratic extensions of $2$-adic fields
Note: This is similar to, but easier than, a previous question I asked here. It is a different question! I'm hoping this one might get an answer because it concerns a standard algorithm, whereas the ...
- 3,009
2
votes
0
answers
110
views
Galois action on the cohomology of a curve over a local field with bad reduction
Let $C/\mathbb Q_p$ (or a p-adic local field more generally) be a smooth projective curve with split semistable reduction over $\mathbb Z_p$. What can we say about the action of the Galois group $\...
- 7,746
3
votes
1
answer
267
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$ ...
- 171
0
votes
0
answers
81
views
What is the action of the Galois group due to Lubin-Tate formal group on the respective Tate module?
It is a well-known fact that a Tate module $T_p(A)$ of an abelian group (abelian variety or commutative group scheme) $A$ over a field $K$, equipped with a continuous action of the respective absolute ...
- 195
4
votes
1
answer
183
views
When is a p-adic number a $p$th power over the field it generates
Does there exist an $\alpha$ in an algebraic closure $\mathbb{Q}_p^{\rm alg}$ of $\mathbb{Q}_p$ such that $\frac{p}{p-1} \geq v(\alpha)>0$ and $1+\alpha$ is a $p$th power in $\mathbb{Q}_p(\alpha)$?...
2
votes
1
answer
179
views
Ramification at particular level of a tower of extensions of local field
Let $K$ be an unramified extension of the $p$-adic number field $\mathbb{Q}_p$.
Suppose we have a tower of extensions:
$$K=:K(u_0) \subset K(u_1) \subset K(u_2) \subset K(u_3) \subset \cdots \subset ...
- 195
1
vote
1
answer
186
views
Finite-order automorphisms in the absolute Galois group of a $p$-adic field?
I'm searching for a sort of analogue of the complex conjugation.
More precisely, let $K$ be a characteristic zero field complete with respect to an ultrametric absolute value. Let $C$ be the ...
3
votes
0
answers
60
views
What circumstances guarantee a p-adic affine conjugacy map will be a rational function?
Let $\Bbb Q_p$ be a p-adic field and let any element $x$ of $\Bbb Q_p$ be associated with a unique element of $\Bbb Z_p$ via the quotient / equivalence relation $\forall n\in\Bbb Z:p^nx\sim x$
Then in ...
- 308
0
votes
1
answer
170
views
Integral closure in the algebraic closure of $p$-adic numbers
Let $p$ be a prime number and let $\overline{\mathbb{Q}}_p$ be a fixed algebraic closure of the $p$-adic numbers $\mathbb{Q}_p$. It is well know that the ring of integers of $\mathbb{Q}_p$ is the ring ...
- 875
3
votes
0
answers
115
views
Problem Deducing the value of Quadratic Hilbert Symbol from Explicit Formulas
This question concerns the explicit law for the Hilbert Symbol given in Sur les lois de réciprocfites explicites I by Henniart. I am trying to deduce the classical value of the Hilbert Symbol in $\...
- 171
3
votes
1
answer
272
views
Does there exist a polynomial that extracts the highest digit of an integer in base p?
Given an odd prime $p$, a positive integer $1 \lt n$, and an integer $x \in \mathbb{Z}/p^n\mathbb{Z}$, does there exist an an integer-coefficient polynomial that extracts the highest digit of $x$?
The ...
0
votes
0
answers
81
views
Can every $\ast$-algebra be represented in this space of matrices?
Let $k$ be a field with characteristic $0$. For every set $X$, let $\mathcal{B}(X)$ be the set of (possibly infinite) matrices $T = (T_{x,y})_{x,y \in X}$ with coefficients in $k$ such that in each ...
- 1,485
8
votes
0
answers
389
views
Can the p-adic be countable?
Recently arxiv submitted a new paper (Andrej Bauer, James E. Hanson, The Countable Reals) claiming an incredible theorem that Dedekind reals are not sequence-avoiding, and furthermore obtaining a ...
- 695
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 \...
CommunityBot
- 1
2
votes
1
answer
499
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-...
- 50.6k
4
votes
1
answer
585
views
Subgroup of p-adic units
Let $\left(\widehat{\mathbb Z}\right)^\times=\prod_p{\mathbb Z}_p^\times$
be the unit group of the ring $\widehat{\mathbb{Z}}$, which is the profinite completion of $\mathbb Z$.
We give it the product ...
- 492
2
votes
0
answers
92
views
Is the extension field by zeros of $x^{2m}-p^{2(m-1)}=0$ over $\mathbb Q_p$ totally ramified?
Let $m \geq 2$ be an integer. Consider the polynomial $f(x)=x^{2m}-p^{2(m-1)} \in \mathbb{Q}_p[x]$.
I want to study the field extension by the zeros of $f(x)$ over $\mathbb{Q}_p$.
What is the degree ...
- 930
4
votes
0
answers
66
views
Computing preimage of element under norm map of quadratic extension of $2$-adic fields
Let $F$ be a $2$-adic field, i.e. a finite extension of the $2$-adic numbers $\mathbb{Q}_2$. Suppose that I have a quadratic extension $E = F(\sqrt{d})$ of $F$. Given a unit $\alpha \in \mathcal{O}_F^\...
- 411
6
votes
0
answers
514
views
Finite extensions of $\mathbb Q_p$
Is there any finite extension of $\mathbb Q_p$ which is not the completion of a finite extension of $\mathbb Q$ at some place over $p$?
Analogously in equicharacteristic, if $k=\overline {\mathbb F_p}$...
- 113
5
votes
0
answers
197
views
Bezout-type theorem for $p$-adic analytic plane curves
Let $p$ be a prime, and let $f,g \in \mathbb{Z}_p[[x,y]]$ be power series convergent on all of $\mathbb{Z}_p$. Suppose that the intersection of the analytic plane curves cut out by $f$ and $g$ is ...
3
votes
1
answer
180
views
Approximating $p$-adic power series by polynomials
Let $p$ be a prime, and let $f \in \mathbb{Z}_p[[x_1,\dots,x_d]]$ be a power series convergent on all of $\mathbb{Z}_p^d$. We make the following definition concerning the approximation of $f$ by ...
- 149k
-2
votes
2
answers
150
views
How do you prove that the series 5, 25, 625, ... can be continued forever to give a 10-adic solution to $n^2=n$? [closed]
How do you prove that the series 5, 25, 625, ... can be continued forever to give a 10-adic solution to $n^2=n$? Here's a proof for a different solution (...1787109376): https://oeis.org/A018248/...
- 12.9k
4
votes
1
answer
367
views
Conductor and local Kronecker–Weber theorem
Given an abelian extension $K$ of $\mathbb{Q}$, the global Kronecker–Weber theorem tells us that there exist a positive integer $N$ and a primitive $N$-th root of unity $\zeta_N$ such that $K\subseteq ...
- 149k
2
votes
0
answers
152
views
p-adic Banach space and complete tensor product
Let $p$ be a prime and $\mathbb{C}_{p}$ the completion of the algebraic closure of the $p$-adic number field $\mathbb{Q}_p$.
Let $M$ be a $\mathbb{Q}_p$-Banach space.
We denote by $M\mathbin{\widehat{\...
- 12.9k
1
vote
1
answer
89
views
Compact subgroups of a linear group over non-Archimedean local field
$\DeclareMathOperator\GL{GL}$Let $\mathbb{F}$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of integers.
Is it true that any compact subgroup of $\GL_n(\mathbb{F})$ is conjugated to ...
- 63.9k
2
votes
1
answer
150
views
How to get a ball in the nonvanishing locus of a polynomial in $\mathbb Z_p[x_1,\cdots,x_n]$ canonically?
Suppose $f\in \mathbb Z_p[x_1,\cdots,x_n]$, and consider $D(f):=\{(𝑥_1,…,𝑥_𝑛)∈ℤ^𝑛_𝑝:𝑓(𝑥_1,…,𝑥_𝑛)≠0\}\subset \mathbb Z_p^n$. How to calculate a radius $r$ from the datum of $f$ such that $D(f)$...
- 32.5k
3
votes
0
answers
185
views
Algebraic properties of Witt vectors $W(K^{\flat\circ})$, $K$ a characteristic 0 perfectoid field
Let $K$ be as in the title with tilt $K^\flat$. $W = W(K^{\circ\flat})$ satisfies a universal property: it is the unique $p$-adically complete $p$-torsion free $\mathbb{Z}_p$-algebra $A$ with $A / pA \...
- 658
1
vote
1
answer
150
views
Quadratic unramified extension of a p-adic field
Let $F$ be a non-archimedean local field of residual characteristic $p\neq 2$, and let $E=F[\sqrt{\epsilon}]$ be the quadractic unramified extension, here $\epsilon$ is a non-square element of $\...
- 12.9k
0
votes
1
answer
426
views
How do I extend the $2$-adic absolute value to prove Monsky's Theorem?
In proving Monsky's Theorem, it is required that we define the $2$-adic absolute value on an arbitrary finitely generated extension of $\mathbb{Q}$ say $\mathbb{K}=\mathbb{Q}(\alpha_1,\ldots,\alpha_n)$...
CommunityBot
- 1
5
votes
1
answer
485
views
General algebraic result obtained from consideration on $\mathbb{Q}_p$
There are results in field theory which are obtained from, let's say, the complex numbers and then generalized to all algebraically closed fields.
For instance, the fact that a polynomial $P$ admits a ...
- 50.6k
5
votes
1
answer
243
views
p-adic L functions from Selmer groups - how canonical are they?
For this question, I am going to be very concrete but very much appreciate broader viewpoints. Let $F$ be a number field and define $F_n = F(\mu_{p^n})$ and let us suppose for simplicity that $\mu_p \...
- 37k
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 ...
- 3,446
1
vote
1
answer
253
views
A vanishing sum and related $p$-adic congruences
Recently I had a curious discovery. Namely, I have made the following conjectures.
Conjecture 1. We have the identity
$$\sum_{k=0}^\infty\frac{(10k-1)\binom{3k}k\binom{6k}{3k}}{(2k+1)512^k}=0.\label{1}...
- 528
2
votes
1
answer
223
views
Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring
Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
- 16.2k
-1
votes
1
answer
300
views
Is this submonoid of the isometry group on $\Bbb Q_2$ closed to inverses? [closed]
Let $\textrm{aff}(ax+b)$ be the affine group on $\Bbb Z_2^\times$
i.e. the set of linear polynomials over 2-adic numbers with $a\in\Bbb Z_2^\times, b\in\Bbb Z_2$
Now let $X$ be the restriction of its ...
- 308
0
votes
0
answers
71
views
Space of non-archimedean characters is nonempty
Let $k$ be an algebraically closed complete non-archimedean field. Let $\mathcal{O}_k$ be its ring of integers. Suppose that $A$ is a $k$-Banach algebra, and $B$ is its closed unitary ball. Note that $...
- 1,485
2
votes
0
answers
257
views
Multivariable Weierstrass preparation theorem
The Weierstrass preparation theorem for formal power series says the following:
Let $f(T) \in \mathbf{Z}_p [[ T ]]$ be a formal power series. Then we can write $f(T) = p^{\mu} \cdot u(T) \cdot g(T)$, ...
- 1,949
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 ...
- 923
2
votes
1
answer
256
views
Twist of the Tate Curve
Suppose we have an elliptic curve $E$ over $K$, an $l$-adic field. Say that $|j(E)|>1$ where $|.|$ is the $l$-adic valuation. By the theory of the Tate curve $E$ is isomorphic over $L$ to a Tate ...
- 47.4k
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 ...
- 12.9k
1
vote
1
answer
348
views
Does $17x^4+y^2=-1$ have solution in $\Bbb{Q}_2(\sqrt{-5})$?
This question raised when I tried to calculate $2$-Selmer group of elliptic curve $E:y^2=x^3+17x$ over $\Bbb{Q}(\sqrt{-5})$.
$17x^4+y^2=-1$ does not have solution in $\Bbb{Q}_2$
(https://math....
- 10.8k
3
votes
0
answers
511
views
Regarding the Challenge Problem in 3Blue1Brown's most recent video: Will $\binom{x}{4}+\binom{x}{2}+1=2^k$ for $x>10$? [duplicate]
Link to the video here with timestamp
In deriving the formula for regions of Moser's Circle Problem, it observed that the formula
$$
F(x)=\binom{x}{4}+\binom{x}{2}+1
$$
achieves values that are equal ...
- 34.4k
7
votes
1
answer
348
views
Topological generators for $\mathrm{SL}_2(\mathbf{Z}_p)$
$\DeclareMathOperator\SL{SL}$ Let $p>3$ and $G$ be an open subgroup of the special linear group $\SL_2(\mathbf{Z}_p)$ over the ring $\mathbf{Z}_p$ of $p$-adic integers. Suppose that $G$ is ...
- 156k