# Questions tagged [p-adic-analysis]

p-adic analysis is a branch of number theory that deals with the mathematical analysis of functions of p-adic numbers.

188
questions

**4**

votes

**1**answer

172 views

### Deformations of the Riemann zeta function

Consider the Dirichlet series (for fixed $0 < a \leq 1$):
$$\zeta_a(s) = \sum_{n\geq 1}\frac{a^n}{n^s}$$
which reduces to the Riemann zeta function for $a=1$. What is known about this function, ...

**2**

votes

**1**answer

232 views

### Local to global principle for a pair of bilinear equations?

Let $A_{i, j}, B_{i, j}, C, D \in \mathbb{Q}$, and consider the following pair of equations
$$
A_{1, 1} x_1 y_1 + A_{1, 2} x_1 y_2 + A_{2, 1} x_2 y_1 + A_{2, 2} x_2 y_2 = C
$$
$$
B_{1, 1} x_1 y_1 + B_{...

**6**

votes

**1**answer

161 views

### Lindemann theorem for Artin-Hasse exponential

Though the Lindemann--Weierstrass theorem is not known in the $p$-adic settings, its "Lindemann" part -- the transcendence of $\exp(a)$ for algebraic $a$ with $0<|a|_p<p^{-1/(p-1)}$ -- was shown ...

**2**

votes

**1**answer

133 views

### Reduced complete Tate ring which is not uniform?

Recall that a topological ring $A$ is Tate if there is an open subring $A_0$ such that the induced topology on $A_0$ is t-adic for some $t \in A_0$ that becomes a unit in $A.$ One can, given a Tate ...

**5**

votes

**1**answer

175 views

### Classification of finitely generated modules over non-commutative rings

Let $\Lambda$ be a commutative integral ring with an automorphism $\sigma$ (I have in mind $\mathbb Z_p[[t]]$ and $\sigma(t) = (1+t)^\alpha - 1$ with $\alpha \in \Lambda^\times$) and $R = \Lambda\{F\}$...

**4**

votes

**0**answers

64 views

### Existence of a “p-adic Mahler measure” or alternatively, the converge of a p-adic sequence

Let $f \in \mathbb Z_p[[t]]^\times$ be an invertible power series and let $\log_p$ be the p-adic logarithm with the normalization that $\log p = 0$. Consider the sequence:
$$a_n = \frac{1}{p^{n-1}}\...

**1**

vote

**2**answers

138 views

### Connection between Volkenborn integral and Haar measure on $\mathbb{Q}_p$

This may be a rather elementary question, but I haven't been able to figure it out on my own, and the literature appears to be eerily silent on the topic.
Since $\mathbb{Q}_p$ is a locally compact ...

**6**

votes

**0**answers

204 views

### Numerical analysis with p-adic numbers

How should one go about doing numerical analysis with $p$-adic numbers?
By that I mean, how should one go about implementing numerical integration (using analogues of Newton-Cotes or perhaps Gaussian ...

**1**

vote

**0**answers

73 views

### compact $p$-adic Lie group can be embedded into $O_K^n$ or $\text{GL}_n(K)$?

Let $K$ be a local field of charecteristic $0$ and $G$ be a compact $p$-adic Lie group of dimension $n$, then can $G$ be embedded into $O_K^n$ or $\text{GL}_n(K)$ as a closed subgroup? This is a dual ...

**5**

votes

**0**answers

243 views

### Analytic continuation of $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the p-adics

Consider the power series $f(x)=\sqrt{\frac{1-x}{1-x^p}}$ over the algebraic closure of $\mathbb{Q}_p$, defined by $f(0)=1$.
What can be said about an analytic continuation "in the form of Mittag-...

**4**

votes

**2**answers

288 views

### The formula for (and computation of) the inverse p-adic mellin transform

So, after scouring the entirety of the internet, I managed to find one (and, so far, only one) source that actually explains how to invert the $p$-adic mellin transform:
$$\mathscr{M}_{p}\left\{ f\...

**3**

votes

**1**answer

117 views

### Asymptotic analysis using the p-adic Mellin Transform?

In ordinary analysis, given a sufficiently nice $f:\left[0,\infty\right)\rightarrow\mathbb{C}$, if we can compute the Mellin transform: $$\mathscr{M}\left\{ f\right\} \left(s\right)=\int_{0}^{\infty}x^...

**1**

vote

**0**answers

58 views

### valuation of a derivative in a completion

Let $q$ be a power of a prime $p$ and $w$ be an irreducible polynomial of $\mathbb F_q[T]$. Denote by $\mathbb C_w$ the completion of an algebraic closure of $K_w$, the completion of $\mathbb F_q(T)$ ...

**6**

votes

**1**answer

255 views

### Theory of integration for functions from $\mathbb{Z}_{p}$ to $\mathbb{Z}_{q}$ for distinct primes $p,q$

Let $p$ and $q$ be prime numbers. When $p=q$, Mahler's Theorem gives a complete description of $C\left(\mathbb{Z}_{p};\mathbb{Z}_{p}\right)$, the space of continuous functions from $\mathbb{Z}_{p}$ to ...

**3**

votes

**1**answer

114 views

### How does an analytic space correspond to a $p$-adic Banach space

Let $K$ be a finite extension of $\mathbb{Q}_p$, and $V$ be a Banach algebra over $K$, then what is the $K$-analytic space corresponding to $V$? What is the definition of $K$-analytic space? This is ...

**3**

votes

**0**answers

98 views

### Jacobian change of variables formula for $p$-adic valued integration?

Let $k$ be a $p$-adic field. It's possible to make sense of the Haar measure $\mu_{\operatorname{Haar}}$ on $k^n$ as a $k$-valued measure and define integrals
$$\int\limits_{k^n} f(x_1, ... , x_n) d\...

**4**

votes

**2**answers

275 views

### $p$-adic series bounded if and only if it has finitely many zeros

Let $L\subseteq\mathbb{C}_p$ be a finite extension of $\mathbb{Q}_p$, $r$ be a positive real number, and $f$ be a series $\sum_{n\in \mathbb{Z}} a_nz^n$ convergent in $D= \{x\in \mathbb{C}_p|0<v(x)\...

**2**

votes

**0**answers

142 views

### Rigid analytic geometry and Tate curve

I am stuck in the proof of theorem 5.1.4 in the book rigid analytic geometry and its applications on page 126. The authurs define $\Gamma:=G^{an}_{m,k}/<q\gt$ where $k$ is a complete non-...

**0**

votes

**0**answers

51 views

### Comparison of growth of entire functions in a $p$-adic field

Let $p$ be a prime number, $\Omega_p$ be the spherically complete extension of $\mathbb C_p$. Consider two entire functions on $\Omega_p$: $f(z)=\sum_{n\ge 0}a_nz^n$ and $g(z)=\sum_{n\ge0}b_nz^n$. ...

**6**

votes

**0**answers

87 views

### ultrametric Rademacher theorem

The classic Rademacher theorem roughly states that Lipschitz continuous functions are almost everywhere differentiable. However, there are well-known ultrametric counterexamples, see Kobliz's classic ...

**2**

votes

**1**answer

113 views

### Modulus of growth in $p$-adic spherically complete field of $\mathbb C_p$

Let $F$ be the spherically complete extension of $\mathbb C_p$ and $(a_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ such that for all $r\in\mathbb R$, one has $$\lim_{n\to+\infty}|a_n|_pr^n=0.$$ ...

**7**

votes

**1**answer

190 views

### Are maps corresponding to affinoid subdomains flat in the Banach sense?

$\newcommand{\Sp}{\mathrm{Sp}}\newcommand{\abs}[1]{\lvert #1\rvert}\newcommand{\comptensor}{\mathbin{\hat{\otimes}}}$
Let $k$ be a complete non-archimedian field and let $X = \Sp(B)$ be a $k$-affinoid ...

**2**

votes

**0**answers

140 views

### Fontaine - Wintenberger field of norms and imperfect case

Let $K$ be a complete discrete valued field whose residue field $k_K$ has characteristic $p$ and has the property that $[k_K:k_K^p]=p^d$ for some $d$. Let $t_{\alpha}, 1 \leq \alpha \leq d$ be a set ...

**6**

votes

**1**answer

315 views

### An example of a morphism of rigid analytic spaces with affinoid base which is proper but does not satisfy $(\dagger)$

Let $k$ be a complete non-archimedean field and let $\varphi \colon X \to Y$ be a morphism of rigid analytic spaces over $k$, where $\newcommand{\Sp}{\operatorname{Sp}}Y = \Sp(B)$ is affinoid. ...

**-1**

votes

**1**answer

264 views

### p-adic expansion of roots of unity [closed]

Let $w$ be an n-th root of unity, I have two questions
1) What are the conditions on the prime $p$ such that $w\in \mathbb{Z}_p$, and if it is the case what is the p-adic expansion of an n-th root of ...

**4**

votes

**0**answers

108 views

### Finite dimensional irreps of $p$-adic groups

What are some examples of finite dimensional irreducible complex representations of $SL_2(\mathbb{Q}_p)$?
One knows such a representations cannot be smooth, so probably the examples will be ...

**6**

votes

**1**answer

389 views

### Change of variables for $p$-adic integral

Say $p$ is an odd prime. Suppose I have a measure $\mu$ on $\mathbf{Z}_p$. As in II.4.3 in Colmez - Fonctions d'une variable $p$-adique, I can restrict $\mu$ to $1+p\mathbf Z_p$, and there is a ...

**2**

votes

**0**answers

71 views

### Continuous extension of the derivation in positive characteristic

Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the topology induced by the valuation $-\deg$. Does there exist a derivation on $\Omega$ ...

**3**

votes

**1**answer

139 views

### Igusa zeta functions of univariate polynomials: $\mathbb{Z}_p$ or $\mathbb{Q}_p$ in this statement

Let $f\in\mathbb{Z}_p[X]$ and let $Z_{f,p}(T)\in\mathbb{Z}_{(p)}(T)$ be the $p$-adic Igusa zeta polynomial (i.e. $Z_{f,p}(p^{-s})$ is the $p$-adic Igusa zeta function in the complex variable $s$, with ...

**1**

vote

**1**answer

79 views

### Converging sequence of polynomials

Let $P$ be an irreducible polynomial of $\mathbb F_q[T]$ of degree $2$. Does there exist two polyomials $\alpha,\beta\in\mathbb F_q[T]$ (not both zeroes) such that the sequence $(\beta T^{q^{2n}}-\...

**3**

votes

**1**answer

262 views

### Analytic continuation of a $p$-adic function

Let $(a_n)_{n\in\mathbb N}$ and $(b_n)_{n\in\mathbb N}$ be sequences of $\mathbb Q_p$ such that the function $f:z\in\mathbb Q_p\to\sum_{n\ge0}a_nz^n+b_nz^{n+1}$converges in $\{|z|_p<1\}$. Assume ...

**2**

votes

**1**answer

120 views

### Restriction of smooth representaions of SL(2,Q_p) to the maximal compact

I am reformulating a question I asked earlier with no answer: Consider $SL(2, Q_p)$ and $K$ a maximal compact subgroup. Let $\pi$ be an irreducible spherical representation of $SL(2, Q_p)$ (in the ...

**1**

vote

**1**answer

53 views

### Valuation of congruent elements in a local division ring

Let $K$ be a complete local division ring (note $v$ its valuation). For $x,y\in K$ ($y\ne0$), one puts $x^y=yxy^{-1}$. Let $r\in\mathbb N$. Consider $x,y\in K$ and $a,b\in K^*$ such that $v(x-y)\ge r$ ...

**10**

votes

**0**answers

234 views

### Zeros of $p$-adic power series and rationality

Let $K$ be a non-archimedean field with valuation ring $(V,\mathfrak{m})$, and $K\langle t_1,\ldots, t_n\rangle$ a Tate algebra of convergent power series.
Fix $f \in V\langle t_1,\ldots, t_n\rangle$....

**10**

votes

**1**answer

336 views

### Topological dimension of $p$-adic manifolds

What is the topological dimension of a (locally analytic) $p$-adic manifold over a non Archimedean field $K$?
Is the topological dimension of $K^n$, $n$?

**9**

votes

**0**answers

293 views

### What role, if any, do Archimedean valuations play in adic spaces?

I've been reading about adic spaces, and I couldn't help but wonder what would happen to the theory if one included in the definition of $Spa$ Archimedean valuations as well...?
Is there a weird ...

**2**

votes

**1**answer

151 views

### Reference request: the dual Coleman family

Recently when I want to understand the construction of triple product p-adic L-function, I am really confused by the notion of dual form. To be precise, assume $f^\circ\in{S_k(N,\chi)}$ is an ...

**2**

votes

**1**answer

83 views

### Uniformity of the set of poles of Igusa local zeta functions

Let $Ω_p$ denote the set of the real parts of the poles of the Igusa zeta function of a polynomial $f∈\mathbb{Z}[X_1,…,X_m]$ (assume $f(0)=0$ so that $\Omega_p\ne \emptyset$) at the prime p. From ...

**3**

votes

**1**answer

246 views

### Comparisons of log canonical thresholds

Premise
Let $K$ be a field of characteristic zero and $f\in K[X_1,\dots,X_m]$. By Hironaka's theorem, there exists a log resolution (over $K$) of the ideal $(f)$. Let $\{(N_i,\nu_i)\}_i$ be the ...

**4**

votes

**1**answer

363 views

### Reference Request: Specialization map in Huber's Context

The specialization map $sp:\mathfrak{X}_\eta\to \mathfrak{X}_{red}$ has an important role in rigid analytic geometry. I tried looking in Huber's papers ("Continuous Valuations", "A generalization of ...

**6**

votes

**1**answer

258 views

### Binomial coefficients in discrete valuation rings

Let $V$ be a complete discrete valuation ring whose residue field is a finite field $k=\mathbf{F}_q$. Let $\pi\in V$ be a uniformizer.
For any integer $d,n\ge 0$, define:
$${\pi^d \choose n} := \...

**4**

votes

**0**answers

162 views

### Complete characteristic p perfect Tate rings are uniform?

In Lemma 7.1.6 of his lecture notes on perfectoid spaces, Bhatt states that every complete characteristic p perfect Tate ring $A$ is uniform. In the proof he uses the Banach open mapping theorem on ...

**13**

votes

**0**answers

255 views

### Integral element over p-adic power series

Let $p$ be a prime number. and $R[[X]]$ be the ring of formal series with coefficients in a $p$-adic field $R$. Let $\Lambda=\mathbb{Z}_p[[X]]$.
Question 1) Does there exist an explicit description ...

**4**

votes

**0**answers

120 views

### History of the relation between $p$-adic measures and power series

In 1964, Kubota and Leopoldt defined the $p$-adic $L$-function by means of some $p$-adic sums (now called the Volkenborn integral which is a $p$-adic distribution). Later, Mazur (in his secret ...

**6**

votes

**0**answers

237 views

### Differential topology on arbitrary fields

What do the differential topology theories on arbitrary fields have in common?
Different differential topology theories
There is "ordinary" differential topology on real manifolds, with its rich ...

**1**

vote

**1**answer

187 views

### Open subgroups of finite index of p-adic semisimple groups

My set up is the following: I have an affine algebraic group $G$ over a $p$-adic field $F$, we assume that $G$ is semisimple and simply connected. I have an abstract subgroup $H\leq G(F)$ of the group ...

**4**

votes

**1**answer

196 views

### For tori $S \subseteq T$, every character of $S(k)$ extends to a character of $T(k)$?

Let $k$ be a $p$-adic field, $T$ a torus over $k$, and $S$ an $k$-subtorus of $T$. If $\chi: S(k) \rightarrow \mathbb{C}^{\ast}$ is a smooth (resp. continuous) homomorphism, then does $\chi$ ...

**4**

votes

**0**answers

105 views

### Relation between Gross-Koblitz and Chowla-Selberg formulas

The Chowla-Selberg formula relates the eta function with values of the gamma function at rational numbers. The eta function appears, at least in the proofs I have seen, related to values of $L$-...

**2**

votes

**0**answers

54 views

### Nuclear operator between general topological modules over ultrametric Banach rings

In the celebrating paper "Completely continuous endomorphisms of p-adic Banach spaces", Serre established a Fredholm-Riesz theory for compact endomorphisms of Banach spaces over (spherically complete)...

**7**

votes

**2**answers

502 views

### $p$-adic exponentials for $p$-adic Lie groups

Let $G$ be a $p$-adic Lie group, $\text{Lie}(G)$ its Lie algebra.
Is there any reasonable notion of exponential map $\text{exp} : \text{Lie}(G)\to G$?