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
89
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
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 ...
- 328
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_{\...
- 328
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
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
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 \...
anon
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
182
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)$?...
- 43
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 ...
- 323
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 ...
- 367
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 ...
- 31
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
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 \...
- 1,485
1
vote
1
answer
73
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 ...
- 411
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
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 ...
-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/...
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{\...
- 21
4
votes
1
answer
366
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 ...
- 549
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 ...
- 21.8k
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)$...
- 785
3
votes
0
answers
184
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 $\...
- 63
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 \...
- 7,746
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}...
- 15.6k
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 ...
- 423
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 ...
- 241
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
-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
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 ...
- 637
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....
- 1,541
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 ...
- 315
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 ...
0
votes
0
answers
116
views
What is the quotient group $\mathfrak{q}^2/\mathfrak{p}^2 \mathbb{Z}_p$?
Let $p \geq 2$ be prime and $K=\mathbb{Q} (\zeta_p),~ \zeta^{p-1}=1$ with ring of integers $\mathcal{O}_K$. We denote $\mathfrak{p} \mid p$ the prime ideal of $K$ dividing $p$. Let $K_{\mathfrak{p}}$ ...
- 930
2
votes
0
answers
68
views
Classification of submultiplicative ring norms on $\mathbb Q$
Let $R$ be a ring with identity. I call a non-negative real valued function $N: R \to \mathbb R_{\geq 0}$ a ring norm, if it has the following properties:
$N(r) = 0$ iff $r = 0$
$N(r+s) \leq N(r) + N(...
- 237
12
votes
1
answer
579
views
$p$-adic L function of an odd Dirichlet character
Apologies for a naive question (especially for Iwasawa theorists): it is well-known
and trivial to prove that the usual (elementary) construction of $p$-adic L functions
attached to odd Dirichlet ...
- 13.1k
4
votes
0
answers
170
views
Does $p$-adic Baker theorem holds in the given case?
Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, and $\mathbb{C}_p$ the completion of the algebraic closure of $\mathbb{Q}_p$. Let $U_p$ be the units $(1+\mathfrak{m})$ of $\...
- 930
3
votes
0
answers
145
views
A Galois equivariant Weil cohomology theory with coefficients in the rational numbers and a variation of the Tate/Hodge conjecture
A well-known example of Serre shows that there can be no Weil cohomology theory with $\mathbb Q$ coefficients for schemes over $\mathbb F_{p^2}$. However, this example is no obstruction to a Weil ...
- 7,746
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)$...
user500557
3
votes
1
answer
437
views
$\lim_{b \rightarrow \infty} {^{b}a} \in \mathbb{Q}_p$ for any $a \in \mathbb{Z}^+$?
$\newcommand\tetra[2]{{^{#1}{#2}}}$In a recent discussion on the Tetration Forum (see https://math.eretrandre.org/tetrationforum/showthread.php?tid=1703&page=2), it has been pointed out how my ...
- 1,451