The p-adic-numbers tag has no usage guidance.

**44**

votes

**5**answers

2k 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 not necessarily, as pointed out by Tapio and Willie. I would be more interested in lower bounds.
Monsky's famous and amazingly tricky proof says that if we ...

**35**

votes

**2**answers

976 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 ...

**27**

votes

**3**answers

2k 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}^{\...

**22**

votes

**2**answers

639 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 ...

**10**

votes

**0**answers

488 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 \...

**9**

votes

**1**answer

455 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 ...

**8**

votes

**2**answers

330 views

### What is the value of $p$-adic $\zeta$-function at positive integer point?

$p$-adic zeta function is a $p$-adic interpolation of the Riemann $\zeta$-function for the values $\zeta(1−k)$, $k\ge 1$ (see $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions by Neal Koblitz) ...

**8**

votes

**1**answer

882 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$
...

**8**

votes

**1**answer

240 views

### Tube of a mod p point on a smooth Z_(p)-scheme

Let $R$ be a smooth, integral, finite-type $\mathbb{Z}_{(p)}$-algebra of relative dimension $n$ and $\overline{f} \colon R \to \mathbb{F}_p$. Then Hensel's lemma tells us that this lifts to a map $R \...

**7**

votes

**2**answers

349 views

### convergence in Z-hat; 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 ...

**7**

votes

**0**answers

378 views

### Lemma in Scholze-Weinstein

In the paper "Moduli of $p$-divisible groups" by Scholze and Weinstein (see http://math.bu.edu/people/jsweinst/Moduli/Moduli.pdf), one finds the following claim in Lemma 5.2.7:
Lemma: Let $K$ be a ...

**7**

votes

**0**answers

379 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

425 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 ...

**6**

votes

**1**answer

207 views

### p-adic noninvariance of dimension

Let $p$ be a prime number. Let $n,m \geq 1$ be such that the topological spaces $\mathbb{Q}_p^n$ and $\mathbb{Q}_p^m$ are homeomorphic. Can we conclude $n=m$?
For $\mathbb{Z}_p$ it's false: In fact, ...

**6**

votes

**1**answer

236 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 ...

**6**

votes

**1**answer

335 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 http://math.stackexchange.com/questions/1145151/lattices-in-mathbbq-pn-with-the-same-stabilizer)
Let $T$ be the diagonal torus ...

**6**

votes

**2**answers

662 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 \...

**6**

votes

**1**answer

343 views

### Uniformizer for splitting field of p^{1/p^n} over p-adics

Does anyone know an explicit uniformizer for $\mathbf{Q}_p(\zeta_{p^n}, p^{\frac{1}{p^n}}) / \mathbf{Q}_p$? I was reading the question "adding an n-th root to Q_p" where dke mentions this question but ...

**6**

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 ...

**5**

votes

**2**answers

1k 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 ...

**5**

votes

**3**answers

192 views

### 2-adic valuation of odd harmonic sums

(This question is cross-posted on math.stackexchange)
I'm playing with p-adic valuations, and find that the odd harmonic sums, $\tilde{H}_k=\sum_{i=1}^{k}\frac{1}{2i-1}$, has 2-adic valuation $||k^2||...

**5**

votes

**2**answers

504 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 ...

**5**

votes

**1**answer

335 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(\...

**5**

votes

**1**answer

166 views

### A $p$-adic sum of reciprocals of powers

Let $p$ be a prime number and $k\geq 2$ an even integer. Consider the following $p$-adic integer:
$$
S_{p,k} := \lim_{r\to+\infty} \sum_{a=1}^{p^r} \big(\frac{p^r}{a}\big)^k
$$
Convergence is easy to ...

**5**

votes

**1**answer

161 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) \...

**5**

votes

**0**answers

105 views

### Choice of digits for extensions of $\mathbb{Q}_p$

I am interested in writing (in base $p$) elements of the maximal unramified extension $\mathbb{Q}_p^{\mathrm{unr}}$ of $\mathbb{Q}_p$, or (its completion) the field $\mathrm{W}(\mathbb{F}_p^{\mathrm{...

**5**

votes

**0**answers

275 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=1}^{n}\frac1{{n-1\choose k}}.$$
The ...

**4**

votes

**3**answers

562 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)$. ...

**4**

votes

**2**answers

640 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 $...

**4**

votes

**1**answer

216 views

### Transcendence of a ratio of p-adic logarithms

Let $p, \ell_1, \ell_2$ be distinct prime numbers, and $x_1, x_2 \in \overline{\mathbf{Q}}^\times$.
If
$$ \frac{\log_p x_1}{\log_p \ell_1} = \frac{\log_p x_2}{\log_p \ell_2}, $$
does it follow that ...

**4**

votes

**3**answers

220 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.
...

**4**

votes

**1**answer

356 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$.
...

**4**

votes

**1**answer

195 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,\;...

**4**

votes

**0**answers

162 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 ...

**4**

votes

**0**answers

123 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$-...

**4**

votes

**0**answers

389 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,...

**4**

votes

**0**answers

663 views

### Newton Method in $p$-adic case

The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentialbe assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers,...

**3**

votes

**2**answers

619 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**

votes

**1**answer

237 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(\...

**3**

votes

**1**answer

131 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'...

**3**

votes

**0**answers

179 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}}...

**2**

votes

**1**answer

428 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 ...

**2**

votes

**1**answer

282 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 ...

**2**

votes

**1**answer

415 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-...

**2**

votes

**0**answers

65 views

### Carlitz factorials and Euler-like series

Let $q$ be a power of a prime $p$. For every $i\in\mathbb N$, one denotes $D_i=\prod_{\substack{h\in\mathbb F_q[T]\text{ monic}\\\deg h=i}}\limits h$. For $n\in\mathbb N$, write $$n=n_0+n_1q+\cdots+...

**2**

votes

**0**answers

194 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 ...

**2**

votes

**0**answers

78 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, $\...

**2**

votes

**0**answers

272 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 ...

**1**

vote

**1**answer

170 views

### Rings that inject in all p-adic integers

Denote $p$ a prime number and $\mathbb Z _p$ the ring of $p$-adic integers.
We have a canonical injective ring homomorphism $:\mathbb Z \rightarrow \mathbb Z_p$ for all $p$. But $\mathbb Z$ is not the ...

**1**

vote

**1**answer

225 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}$ ...