All Questions
Tagged with algebraic-number-theory p-adic-numbers
42 questions
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 \...
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)$?...
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 ...
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 ...
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 ...
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 ...
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 $\...
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 \...
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 ...
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 ...
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}}$ ...
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)$...
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
$$\...
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 ...
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$ ...
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 ...
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{\...
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 $...
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 ...
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 ...
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 ...
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 ...
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 ...
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....
0
votes
0
answers
257
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 $\...
3
votes
1
answer
130
views
Analytic p-adic functions that take an algebraic value
Suppose it exists $r\in\mathbb R$ such that the non constant p-adic function $f(z)=\sum_{n\ge0}a_nz^n$ ($a_n\in\mathbb C_p$) is defined on $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>r\}$. Does it ...
2
votes
0
answers
226
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 ...
0
votes
0
answers
139
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}$...
2
votes
1
answer
263
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 ...
1
vote
0
answers
111
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 $...
4
votes
1
answer
273
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 ...
13
votes
3
answers
691
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-...
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= \...
8
votes
0
answers
245
views
Relation between valuation of p-adic regulator of totally real field and its finite p-unramified abelian extensions
For each prime number $p$ and number field $k$, there exists at least one extension $k_{\infty}/k$ with Galois group isomorphic to $\mathbb{Z}_p$, the cyclotomic $\mathbb{Z}_p$-extension. If $k_p/k$ ...
1
vote
1
answer
190
views
Hilbert symbols vanishing
Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^...
5
votes
1
answer
670
views
Linear independence of p-adic logarithms (analog of Baker's theorem)
We have the following theorem of Baker:
Theorem 1. Let $\alpha_1, \ldots, \alpha_m \in \mathbb{C}$ be algebraic numbers $\neq 0, 1$ such that $\log \alpha_1, \ldots, \log \alpha_m$ are linearly ...
22
votes
1
answer
3k
views
What is the $p$-adic Langlands conjecture for $\mathbf{GL}_1$?
In the Boston conference on Fermat's Last Theorem (Summer 1995), Barry Mazur said (around 15m into the video) about class field theory that
If you are a number-theorist and you want to cheer ...
3
votes
1
answer
341
views
Dihedral extension of 2-adic number field
Sorry if the question is too long and maybe elementary.
I am reading a paper by Hirotada Naito on "Dihedral extensions of degree 8 over the rational p-adic fields". To generate dihedral extension $K(\...
5
votes
0
answers
758
views
maximal abelian extension of quadratic extension of $\mathbb Q_p$
I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
49
votes
5
answers
3k
views
If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%?
Update: The answer to the title question is no, as pointed out by Tapio and Willie. I would be more interested in lower bounds.
Monsky's famous theorem with amazingly tricky proof says that if we ...
9
votes
0
answers
2k
views
Differences in tree picture of ${\bf Q}_p$, $\overline{{\bf Q}_p}$, ${\bf C}_p$, $\Omega_p$
I was discussing the tree picture of ${\bf Z}_p$ and ${\bf Q}_p$ and mentioned that the idea can be extended to ${\bf C}_p$, with the caveat that the tree is no longer locally finite (as the value ...
7
votes
0
answers
487
views
The character of a separable degree-$p$ extension of a local field of residual characteristic $p$ ?
Let $p$ be a prime number and $F$ a finite extension of ${\mathbf Q}_p$ or of ${\mathbf F}_p((t))$. I'm going to define a natural map from the set ${\mathcal S}_p(F)$ of degree-$p$ separable ...