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

**15**

votes

**0**answers

1k views

### The radius of convergence of the p-adic exponential function.

As every number theorist learns, the radius of convergence of $exp(x)$, defined by the usual power series in a neighborhood of zero, is
$$\rho = p^{-1/(p-1)}.$$
This is typically proven by computing ...

**7**

votes

**0**answers

341 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

222 views

### The topology on the Robba ring

I've been reading Kedlaya's paper http://arxiv.org/abs/math/0208027 on finiteness of rigid cohomology and there's something I can't quite resolve in my understanding of the topology on the Robba ring.
...

**7**

votes

**0**answers

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

**6**

votes

**0**answers

133 views

### Non-embeddable varieties

Suppose that $k$ is a perfect field of characteristic $p>0$, $\mathcal{V}$ is a complete discrete valuation ring with residue field $k$ and quotient field $K$, of characteristic $0$.
Then when ...

**5**

votes

**0**answers

211 views

### Showing the positivity of $p$-adic density of zeroes of a polynomial

Let $f \in \mathbb{Z}[x_1, \ldots, x_n]$ and $p$ be a prime. Let $\nu_t(p)$ denote the number of solutions $\mathbf{x} \in ((\mathbb{Z}/p^t \mathbb{Z}))^*)^n$
to the congruence
$$
f( \mathbf{x} ) ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

483 views

### a naive question about p-adic local monodromy theorem

The question is about whether one can view the p-adic local monodromy theorem as the quasi-unipotence of some monodromy operator.
it is known that the classical local monodromy theorem (i.e. for ...

**5**

votes

**0**answers

215 views

### Lower bound for p-adic distance between roots

Let $f$ be a formal power series with coefficients in the ring of integers of a finite extension of ${\mathbb Q}_p$. Is there a simple algorithm to compute a positive lower bound for $|\alpha - ...

**4**

votes

**0**answers

158 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

110 views

### Is there a Noetherian profinite group of infinite rank?

Is there a profinite group $G$ such that any closed subgroup $H \leq G$ is finitely generated, but there is no $n \in \mathbb{N}$ such that every closed subgroup of $G$ can be generated by at most $n$ ...

**4**

votes

**0**answers

127 views

### Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...

**4**

votes

**0**answers

214 views

### irrationality of the p-adic exponential

I would like to illustrate my lecture on p-adic numbers with some elementary results.
I proved that the series $e=\sum_{n\ge0}\frac{p^n}{n!}$ converges in $\mathbb Q_p$ for every prime $p$.
Now I ...

**4**

votes

**0**answers

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

**3**

votes

**0**answers

257 views

### Flatness over a perfectoid ring

I want to prove the following: Let $R$ be a perfectoid ring and $\varpi$ a pseudo uniformizer in $R$ which admits all $p$-th power roots, then a module over $R^\circ$ is flat if and only if it has no ...

**2**

votes

**0**answers

94 views

### Universal Witt vectors in full complete closed p-adic space omega?

Is there a p-adic mathematical structure that incorporates the advantages of both universal Witt vectors (not p-typical-limited; implementing Frobenius and Verschiebung operations) and permitting ...

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

64 views

### Morita equivalence for utrametric Banach algebras (reference needed)

Is there any descent description of Morita theory for ultrametric Banach algebras?
To make this question more precise let $K$ be some completion of the field $\mathbb{Q}_p$ (I'm mostly interested in ...

**2**

votes

**0**answers

127 views

### A nice rigid analytic model for local systems over an elliptic curve?

For $E$ an elliptic curve, let $LS(E)$ be the group of line bundles on $E$ with a flat connection. This is an $\mathbb{A}^1$-torsor over $E^\vee$. By Riemann-Hilbert (since the gauge group acts ...

**2**

votes

**0**answers

313 views

### reference for p-adic Stein spaces

Hi,
I'm looking for a reference in english for p-adic Stein spaces. The usual referneces I come across are all in german.
Thanks

**1**

vote

**0**answers

57 views

### Calculating Mahler Coefficients

Assume $p$ be prime number ($p>2$), and let $u$ be any topological generator of the group $1 + p \mathbb{Z}_p$ (an open subgroup of the group of units $\mathbb{Z}_p^\times$ of the ring of $p$-adic ...

**1**

vote

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

92 views

### uniform continuity of a function in ultrametric spaces

Consider $[0,1]$ with the metric $d_1(x,y)=\left\{\begin{array}{cc}
0&x=y,\\
\max\{x,y\}&x\ne y.
\end{array}\right.$. Moreover let $(M,d_2)$ be an ultrametric space. Let
...

**0**

votes

**0**answers

184 views

### limit of $p$-adic polynomials

Let $Q_n$ be a sequence of polynomials of $\mathbb C_p(x)$ such that for every $z\in\mathbb C_p$ we have $\lim_{n\to+\infty}Q_n(z)=0$. One assumes that for every $n\in\mathbb N$, there exist two ...

**0**

votes

**0**answers

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

**0**

votes

**0**answers

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

**0**

votes

**0**answers

277 views

### Does it exist a p-adic L function which interpolates the values of the complex one at positive integers?

I known that there are classical ways to construct $p$-adic $L$ functions for Dirichlet characters through $p$-adic integrals.
We fix a character $\chi$ modulo $Np^r$ with $N$ and $p$ coprime and an ...