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
1
vote
1
answer
881
views
Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]
Why is every l-adic Galois representation
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$
conjugate to one over the l-adic integers?
$$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$
- 1,805
6
votes
2
answers
539
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'...
user1688
1
vote
0
answers
122
views
Cycle with integral coefficients from cycle with $\mathbb Z_l$-coefficients
Let $X$ be a $n$-dimensional ($n>2$) smooth projective variety over $k=\bar k$ of positive characteristic. Take a divisor $D\in Pic(X).$ Suppose we know that $\frac{[D]^2}{2}\in H^4(X,\mathbb Z_l(...
- 155
3
votes
0
answers
412
views
Is $1+T$ a topological generator for $Z_{p}[[T]]$? [closed]
Consider the ring of formal power series $\mathbb{Z}_p[[T]]$ (where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers) with the topology in which a neighborhood basis for $0$ is given by the ideals ...
- 147
46
votes
2
answers
3k
views
The formal p-adic numbers
The real numbers can be defined in two ways (well, more than two, but let's stick to these for now): as the Cauchy completion of the metric space $\mathbb{Q}$ with its usual absolute value, or as the ...
- 66.8k
1
vote
1
answer
474
views
How does the solenoid structure of $\mathbb{A}/\mathbb{Q}$ lift to $PGL(2, \mathbb{A})/ PGL(2, \mathbb{Q})$?
Some papers I am reading talk about an "adelic" object $PGL(2, \mathbb{Q}) \backslash PGL(2, \mathbb{A})$ . This has sparked a lot of confusion since I don't know what such a quotient could mean.
A ...
- 22.8k
7
votes
1
answer
642
views
Coverings/Cech cohomology of totally disconnected spaces
For any topological space $X$ we have a natural functor
$\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$
from the category of coverings of $X$ to the category of functors $\pi_1(X) \...
- 1,704
4
votes
0
answers
174
views
Simultaneously using the real and 2adic norms
In the book Modern Computer Arithmetic, there is a section that talks about division with remainder and such in a way that exploits the interplay between the real and 2-adic norms; e.g. the linked-to ...
user13113
23
votes
2
answers
1k
views
Are the p-adics a direct summand of the direct product of the groups $\mathbb{Z}/p^n\mathbb{Z}$?
The p-adic integers $\mathbb{Z}_p$ can be thought of as a subgroup of the direct product group $P = \prod_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z}$. Are they a direct summand of this group? That is, is ...
- 2,721
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(\...
- 135
6
votes
1
answer
522
views
When do two lattices have the same stabilizer in the diagonal torus?
This is moved from MSE, where I asked and didn't receive an answer (see https://math.stackexchange.com/questions/1145151/lattices-in-mathbbq-pn-with-the-same-stabilizer)
Let $T$ be the diagonal torus ...
- 1,453
4
votes
2
answers
2k
views
Automorphisms of $\mathbb C_p$
I am looking for a non-trivial automorphism $\sigma$ of $\mathbb C_p$ such that $\sigma(\mathbb Q_p)\subset\mathbb Q_p$.
If $\mathbb C_p$ were spherically complete, then by Hahn-Banach theorem, that ...
- 3,998
4
votes
1
answer
286
views
Can every finite abelian $p$-group with duality pairing be written as cokernel of a symmetric matrix over the $p$-adic integers?
Let $G$ be a finite abelian $p$-group (where $p$ is a prime). Suppose there exists a symmetric bilinear map $\delta\colon G\times G\to \mathbb{Q}/\mathbb{Z}$ such that the induced map $g\to\langle g,\;...
- 1,305
4
votes
0
answers
153
views
Finiteness of the set of $\mathbb{Q}_p$-rational periodic points
The statement I am concerned with is this:
Let $\varphi : \mathbb{P}^r_{\mathbb{Z}_p} \to \mathbb{P}^r_{\mathbb{Z}_p}$ be a morphism of degree higher than one. Then the set of $\mathbb{Q}_p$-...
- 13.8k
3
votes
0
answers
218
views
Weil index computation, p-adic integral
The following peculiar p-adic integrals have arisen in my work, and I would be interested if anyone can see how to tackle them.
Let $F$ be a $p$-adic field, $\mathfrak{o}$ its ring of integers, $\...
- 123
-1
votes
2
answers
1k
views
Converting p-adic to decimal [closed]
Is it possible to convert irrational p-adic numbers to a standard number? Rationals and negative rationals are relatively straightforward, but is there a way to know that for instance $\ldots ...
- 119
0
votes
0
answers
121
views
Computing a projection of a $p$-adic plane curve
Given a prime $p$ and a polynomial equation $f(x,y)=0$ with rational coefficients, I would like to obtain a precise description of the set of all numbers $y\in\mathbb Q_p$ such that the equation has a ...
- 1,021
3
votes
0
answers
246
views
Do $r$-th root Harmonic numbers ever sum to integers?
None of the Harmonic numbers $H_n = \sum_{k=1}^n 1/k$ are integers for $n>1$
(e.g., this MSE question and answer).
Q. Define the $r$-th root Harmonic number $H_n^{1/r} = \sum_{k=1}^n 1/{k^{1/r}}$...
- 151k
14
votes
1
answer
1k
views
is there a p-adic implicit function theorem?
I am trying to find a good reference for a version of the implicit function theorem over $p$-adic manifolds. None of the texts I have consulted ( including "$p$-adic numbers, $p$-adic analysis, and ...
- 6,224
4
votes
1
answer
1k
views
Iwasawa logarithm and analytic continuation
I am reading Number Theory vol. 1 by Henri Cohen (among other things) and I am curious about the Iwasawa logarithm. Let $\mathbb{C}_p$ be the completion of the algebraic closure of $\mathbb{Q}_p$.
...
- 539
5
votes
2
answers
934
views
Absolutely irreducible p-adic representation of the absolute Galois group of Q_p
Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, $G_p$ the absolute Galois group of $\mathbb{Q}_p$ and $V$ a finite dimensional vector space over $\mathbb{Q}_p$. Assume we are ...
- 107
3
votes
0
answers
949
views
Transcendental numbers in the p-adic rationals $\mathbb Q_p$ [closed]
I know that there are uncountably infinite transcendentals over $\mathbb Q$ in $\mathbb Q_p$. What i want to ask is if there is a way to determine whether a transcendental over $\mathbb Q$ lays in ...
- 141
6
votes
2
answers
2k
views
Trace of n-th root of unity in cyclotomic extension of p-adic rationals
Let $n\in\mathbb N$ and $p$ be any prime. Denote by $\mathbb Q_p$ the $p$-adic numbers. For a field extension $L/K$ denote by $Tr_{L/K}$ the corresponding trace function.
Let $\zeta_n$ be a primitve $...
- 115
7
votes
2
answers
606
views
convergence in $\hat{\mathbb{Z}}$, modulo prime power
The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16).
Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$
by $a_0=b, a_{n+1}=2^{a_n}$. Prove that $...
- 101
3
votes
1
answer
2k
views
What is $p$-adic Fourier series?
Q1: Can we define Fourier series for a function $\mathbb{Z}_p\to \mathbb{Q}_p$?
Q2: There are (in a real case) Bernoulli polynomials which have the most simple Fourier expansion:
$$B_n(\{x\})=-\frac{...
- 12.3k
0
votes
1
answer
346
views
a question about a result in Bushnell-Henniart book 'the local Langlands conjecture for GL(2)'
This might be a easy question, but I couldn't get the point.
Let $F$ be a p-adic field, $\bar{F}$ a separable algebraic closure of $F$. Set $\Omega_F=Gal(\bar{F}/F)$. Use $F_{\infty}\subset \bar{F}$ ...
- 2,709
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,...
- 51
11
votes
1
answer
774
views
2-adic Logarithm and Resistance of n-dimensional Cube
Resistance across opposite vertices of n-dimensional cube with each edge at one ohm resistance is
$$R_n=\sum_{k=0}^{n-1}\frac1{(n-k){n\choose k}}=\frac1n\sum_{k=0}^{n-1}\frac1{{n-1\choose k}}.$$
The ...
- 12.3k
6
votes
3
answers
2k
views
structure of norm one group for quadratic extension of p-adic fields
Let $F$ be a p-adic field (finite extensions of $\mathbb{Q}_p$ for some prime $p$), and $E/F$ be a quadratic extension. Use $\sigma$ to denote the nontrivial element in the Galois group $Gal(E/F)$. ...
- 2,709
7
votes
1
answer
354
views
$(\varphi, \Gamma)$-modules of finite height
Maybe the answer to my question is obvious.
Let $p$ be a prime $\geq 3$. Let $D$ be an étale $(\varphi, \Gamma)$-module over $A_{\mathbb{Q}_p} = \{ \sum_{n \in \mathbb{Z}} a_n X^n \, \vert \, a_n \in ...
- 477
11
votes
0
answers
807
views
Torelli-like theorem for K3 surfaces on terms of its étale cohomology
Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow \...
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 ...
- 19.1k
4
votes
3
answers
344
views
Reference for Ostrowski's 1916 Theorem?
I am looking for the original reference for Ostrowski's theorem of 1916 that the only valuations on the rational numbers are the trivial, Archimedean, and p-adic valuations.
...
- 3,761
7
votes
2
answers
1k
views
Algebraic $p$-adic integers mod $p$
In studying the papers of Abbes and Saito on ramification theory in the imperfect residue field case, I come to the following questions. Let $\overline{\mathbb{Q}}_p\supset\mathbb{Q}{}^{t}_p\supset \...
- 4,492
3
votes
1
answer
499
views
Trivial p-adic measures
I am looking at p-adic distributions, and in this case p-adic measures. To say that $\mu$ is a distribution means that the arguments of $\mu$ are compact open subsets of $\mathbb{Z}_p$, $\mu$ is ...
- 43
2
votes
0
answers
506
views
p-adic Lie theory
It is well known that exponential map in $C^{n\times n}$ will cover all non-sigular matrix $GL(n,C)$, which is a basic fact in Lie group and lie algebra theory, whether it is true for p-adic cases.
...
- 1,706
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 ...
- 441
0
votes
0
answers
391
views
the definition of pro-infinitesimal thickenings
Let $R$ be a ring and $A$ and $R$-algebra. A pro-infinitesimal thickening of $R$ is a pair $(D, \theta)$ such that $\theta: D \rightarrow R$ is surjective and $D$ is separated and complete for the $I:=...
- 287
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}$...
- 277
5
votes
1
answer
365
views
Why is this a lattice?
Why is $\text{SL}_3(\mathbf{Z}[1/2])$ a lattice in $\text{SL}_3(\mathbf{R})\times\text{SL}_3(\mathbf{Q}_2)$? Discreteness is pretty clear, but why finite covolume? I understand why $\text{SL}_3(\...
- 9,720
2
votes
1
answer
669
views
Poincare pairing and polarization of Hodge structure. Kuga-Satake construction.
If $X$ is a K3 surface over the complex (algebraic) then I wonder if the poincare pairing induces a polarization on the Hodge structure $H^2(X,\mathbb Z)$? The point is that I see that when ...
6
votes
0
answers
2k
views
Newton Method in $p$-adic case
The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentiable assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers,...
- 1,109
11
votes
1
answer
3k
views
Ring of Witt vectors and p-adics
This is probably an easy question, but I'm not able to figure it out.
Are the following the same:
Field of fractions of the ring of Witt vectors over the algebraic closure of $\mathbb{F}_p$
...
- 7,320
32
votes
2
answers
3k
views
Does the equation $1 + 2 + 3 + \dots = -\frac{1}{12}$ have a natural $p$-adic interpretation?
Consider the equation
$$1 + 2 + 3 + 4 + \cdots = - \frac{1}{12},$$
"proved" by Ramanujan Euler. One correct way to interpret this is that $\zeta(-1) = - \frac{1}{12},$ where $\zeta(s) = \sum_{n = 1}^{\...
- 7,347
1
vote
1
answer
885
views
Etale cohomology in the $p$-adic setting
Can we hope for application of Etale cohomology techniques in proving results concerning semialgebraic subsets of $\mathbb{Q}_p^n$?
Recall that semialgebraic subsets are obtained from $p$-adic ...
user16974
2
votes
1
answer
442
views
Partitioning a compact open set into balls in an ultrametric space
Consider a $p$-adic field $K$ with the standard topology inherited from the usual $p$-adic norm $\mid \cdot \mid$. Consider the ultrametric space $X=K^n$ with the topology inherited from the norm $\| \...
user16974
0
votes
1
answer
276
views
Partitioning the unit ball in an ultrametric space
Consider an ultrametic space $X=K^n$ (for the norm $\| x\| =\max_{i=1,n} (\mid {x_1}\mid,\dots,\mid{x_n}\mid)$ where $K$ is an ultrametric field. Let $B(1):=\lbrace x \in X \mid \|x\| \leq 1\rbrace$ ...
user16974
3
votes
1
answer
608
views
Kuga-Satake with p-adic methods
Is it possible to construct the Kuga-Satake abelian variety attached to a K3 surfaces (over a local field) only using p-adic methods?
If the K3 surface is defined over a local field, the Kuga-...
7
votes
1
answer
1k
views
Definable measure preserving isomorphisms of $p$-adic semialgebraic sets
Hi,
Consider a $p$-adic field $K$ (finite extension $\DeclareMathOperator{\bQ}{\mathbb{Q}}$of $\bQ_p$) in Macintyre language $\DeclareMathOperator{\cL}{\mathcal{L}}$ $\cL_{\rm Mac}$. Let $Z$ be a ...
6
votes
2
answers
2k
views
Polynomial reducible modulo every integer
Hi,
let $f\in\mathbb{Z}[X]$ be a monic polynomial. Assume that the reduction of $f$ modulo $m $ is reducible for all integers $m\geq 2$.
Q1: Is $f$ reducible in $\mathbb{Z}[X]$ ?
I've thought ...
- 69