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.
284
questions
5
votes
1
answer
351
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
116
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}}\...
3
votes
2
answers
383
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
374
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
222
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
312
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
584
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
317
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
73
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
323
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 ...
4
votes
1
answer
241
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
235
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
329
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
245
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
61
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
126
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
161
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.$$ ...
8
votes
1
answer
362
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
497
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
630
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
vote
1
answer
1k
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
122
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 ...
7
votes
1
answer
658
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 ...
3
votes
0
answers
76
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
184
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
85
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
385
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
250
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
64
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
259
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
750
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
322
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
206
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
96
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
320
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 ...
7
votes
1
answer
920
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
274
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} := \...
6
votes
0
answers
223
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
369
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
189
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 ...
7
votes
0
answers
421
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 ...
2
votes
1
answer
337
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
327
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$ ...
6
votes
0
answers
214
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
74
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)...
8
votes
2
answers
962
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$?
11
votes
3
answers
1k
views
p-adic Poincaré Lemma
suppose $X$ is a proper and smooth rigid analytic variety over $\text{Spa}(k)$, with $k$ a non-archimedean field of characteristic zero.
One has the de Rham complex of analytic differential forms on $...
1
vote
1
answer
154
views
Definition and properties of $\mathcal{B}^\dagger$
I am currently trying to read Colmez' "Série principale unitaire pour $Gl_2(\mathbb{Q}_p)$ et représentations triangulines de dimension 2", that you can find here
https://webusers.imj-prg.fr/~pierre....
4
votes
0
answers
212
views
A question of integral on $p$-adic fields $\mathbb{Q_p}$
We assume that $(\pi,V)$ is an admissible, irreducible and infinite-dimensional representation of $GL_2(\mathbb{Q_p})$. In the proof of existence and uniqueness of Kirillov model, the key step is that ...
1
vote
1
answer
116
views
Does $x, y\in \mathcal{R}$, $z\in (\mathcal{E}^\dagger)^*$ with $x\cdot y= z$ imply $x,y\in (\mathcal{E}^\dagger)^*$
Let $\mathcal{R}$ be the Robba ring and $\mathcal{E}^{\dagger}$ the elements of $\mathcal{R}$ that are bounded at 0 (so the coefficients of the powerseries are bounded. Is it true that $x, y\in \...