All Questions
Tagged with p-adic-analysis p-adic-numbers
64 questions
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
12
votes
3
answers
2k
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) ...
- 12.3k
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
11
votes
0
answers
1k
views
Nick Katz observation: "the rationality of the zeta function!"
In the proceedings "Algebraic Geometry - Arcata 1974" edited by R. Hartshorne there is an article by Nick Katz called "$p$-adic $L$-functions via moduli of elliptic curves". He starts by recalling $p$-...
- 3,107
10
votes
0
answers
834
views
Elementary aspects of The Fargues-Fontaine curve
To any pair $(E,F)$, where $E$ is a local field and $F$ is a perfectoid field, one can associate a curve $X^{\text{FF}}_{E,F}$, the so-called Fargues-Fontaine curve, which is unique up to Frobenius ...
- 989
9
votes
0
answers
408
views
Transcendence of the $p$-adic number $\sum_{n\ge0}a^{2^n}$
Let $p$ a prime number and $a\in\overline{\mathbb Q}\subset\mathbb C_p$ be an algebraic $p$-adic number such that $|a|_p<1$.
Is the number $s_a=\sum_{n\ge0}a^{2^n}$ transcendental over $\mathbb ...
- 3,998
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
8
votes
0
answers
895
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 ...
- 89
7
votes
1
answer
681
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 ...
- 503
6
votes
2
answers
827
views
Zero of the exponential p-adic
Consider the $p$-adic exponential defined over $\mathbb C_p$. One knows $\exp$ is analytic in the domain $\mathcal D=\{z\in\mathbb C_P\mid v_p(z)>\frac1{p-1}\}$. Does it exist an element $z_0\in\...
- 3,998
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
6
votes
1
answer
577
views
Identity theorem in $p$-adic geometry/analysis
If one wants to do $p$-adic analysis and geometry, it is often bad so adapt "naively" complex analytic ideas, basically because $\mathbb{Q}_p$ is disconnected. The modern approach to this is,...
- 4,428
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
5
votes
0
answers
197
views
Bezout-type theorem for $p$-adic analytic plane curves
Let $p$ be a prime, and let $f,g \in \mathbb{Z}_p[[x,y]]$ be power series convergent on all of $\mathbb{Z}_p$. Suppose that the intersection of the analytic plane curves cut out by $f$ and $g$ is ...
5
votes
0
answers
328
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-...
- 461
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
973
views
convergent series representation for p-adic complex numbers
The field $\mathbb{C}_p$ of $p$-adic complex numbers is the completion of the algebraic closure of $\mathbb{Q}_p$ with the corresponding extension of the usual non-Archimedean valuation $|\;\;|_p$.
...
- 596
4
votes
1
answer
162
views
Maximum modulus principle over the $p$-adic integers
Consider $\mathbb{Z}_p$ the $p$-adic integers. Let $f\in\mathbb{Z}_p[x]$ be an arbitrary polynomial in one variable. Write $f(x) = \sum_{k}a_kx^k$. Is it true that $\|f\|:= \max_k |a_k|_p = \sup_{t \...
- 1,485
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
4
votes
2
answers
336
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)\...
user141691
4
votes
0
answers
124
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 ...
- 81
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
3
votes
1
answer
787
views
Cardinality of ${\mathbb{C}_p}$ [closed]
I know, that field ${\mathbb{Q}_p}$ (field of p-adic numbers) has the same cardinality as $\mathbb{C}$. Taking algebraic closure doesn't change the cardinality of infinite field, so cardinality $\...
- 41
3
votes
1
answer
437
views
$\lim_{b \rightarrow \infty} {^{b}a} \in \mathbb{Q}_p$ for any $a \in \mathbb{Z}^+$?
$\newcommand\tetra[2]{{^{#1}{#2}}}$In a recent discussion on the Tetration Forum (see https://math.eretrandre.org/tetrationforum/showthread.php?tid=1703&page=2), it has been pointed out how my ...
- 1,451
3
votes
1
answer
180
views
Approximating $p$-adic power series by polynomials
Let $p$ be a prime, and let $f \in \mathbb{Z}_p[[x_1,\dots,x_d]]$ be a power series convergent on all of $\mathbb{Z}_p^d$. We make the following definition concerning the approximation of $f$ by ...
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
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
3
votes
1
answer
130
views
Analytic p-adic functions that take an algebraic value
Suppose it exists $r\in\mathbb R$ such that the non constant p-adic function $f(z)=\sum_{n\ge0}a_nz^n$ ($a_n\in\mathbb C_p$) is defined on $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>r\}$. Does it ...
- 3,998
3
votes
1
answer
398
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 ...
- 3,998
3
votes
1
answer
254
views
The simply connectedness of $\mathbb{A}^n_{\mathbb{Q}_p}$
My question is how to prove the affine $n$-space over $p$-adic number $\mathbb{Q}_p$ is simply connected.
To be precise,
Let $X$ be $p$-adically analytic manifold, $f:X\rightarrow \mathbb{A}^n_{\...
- 328
3
votes
0
answers
60
views
What circumstances guarantee a p-adic affine conjugacy map will be a rational function?
Let $\Bbb Q_p$ be a p-adic field and let any element $x$ of $\Bbb Q_p$ be associated with a unique element of $\Bbb Z_p$ via the quotient / equivalence relation $\forall n\in\Bbb Z:p^nx\sim x$
Then in ...
- 308
3
votes
0
answers
191
views
Decomposition of primes in cyclotomic extensions and their ramifications
Let $p$ be a prime. Suppose $L$ is a degree $p$ Galois extension over a number field $K$. Suppose $p$ splits both in $K$ and $L$.
So there will be $[K:\mathbb{Q}]$ primes of $K$ over $p$. Call them $...
- 313
3
votes
0
answers
265
views
Is equation $y^3+x y + x^4 + 4 = 0$ solvable locally (in ${\mathbb Q}_p$ for all $p$)?
When finding out whether an equation in 2 variables has rational solutions (or, equivalently, whether an algebraic curve has any rational points), many authors recommend checking the local solubility ...
- 7,182
3
votes
0
answers
118
views
Composition in function fields
Let $k=\mathbb F_q\left(\!\left(\frac1T\right)\!\right)$. One has the map: $\circ:k\times\{v\in k\mid\deg(v)>0\}\to k$ defined by $f\circ g=\sum_{n\ge-m}a_ng^{-n}$ where $f=\sum_{n\ge-m}a_n\frac1{T^...
- 3,998
3
votes
0
answers
253
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\...
- 6,180
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,998
3
votes
0
answers
198
views
Characterizing rational functions on $\mathbb{Q}$ in terms of smooth extensions to $\mathbb{R}$ and $\mathbb{Q}_p$
Consider a function $f$ from a cofinite subset of $\mathbb{Q}$ to $\mathbb{Q}$. As established here and here $f$ extending to a smooth function on a cofinite subset of $\mathbb{R}$ is not sufficient ...
- 13.2k
3
votes
0
answers
176
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+...
- 3,998
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
3
votes
0
answers
950
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
2
votes
2
answers
2k
views
A multidimensional version of Hensel's lemma? (for more than one polynomial)
The classical Hensel's lemma is stated as follows: Let $f(x) \in \mathbb{Z}_p[x]$ and $a \in \mathbb{Z}_p$ satisfy
$$
|f(a)|_p < | f'(a) |_p^2.
$$
Then there is a unique $\alpha \in \mathbb{Z}_p$...
- 3,625
2
votes
1
answer
356
views
$p$-adic analogue of modular forms, upper half-plane, and $L$-functions
In the classical picture, there is the (complex) modular form, defined on the (complex) upper half plane, which is related to the (complex) $L$-function via the Mellin transform. As I have recently ...
- 91
2
votes
2
answers
546
views
A p-adic logarithm as a limit of discrete logs
I've been searching for something similar to the argument below for about a week now and I just must be missing out on the right key words. Can someone point me in the right direction and/or let me ...
- 2,235
2
votes
1
answer
256
views
Twist of the Tate Curve
Suppose we have an elliptic curve $E$ over $K$, an $l$-adic field. Say that $|j(E)|>1$ where $|.|$ is the $l$-adic valuation. By the theory of the Tate curve $E$ is isomorphic over $L$ to a Tate ...
- 637
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
2
votes
1
answer
150
views
How to get a ball in the nonvanishing locus of a polynomial in $\mathbb Z_p[x_1,\cdots,x_n]$ canonically?
Suppose $f\in \mathbb Z_p[x_1,\cdots,x_n]$, and consider $D(f):=\{(𝑥_1,…,𝑥_𝑛)∈ℤ^𝑛_𝑝:𝑓(𝑥_1,…,𝑥_𝑛)≠0\}\subset \mathbb Z_p^n$. How to calculate a radius $r$ from the datum of $f$ such that $D(f)$...
- 785
2
votes
1
answer
170
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.$$ ...
- 3,998
2
votes
0
answers
152
views
p-adic Banach space and complete tensor product
Let $p$ be a prime and $\mathbb{C}_{p}$ the completion of the algebraic closure of the $p$-adic number field $\mathbb{Q}_p$.
Let $M$ be a $\mathbb{Q}_p$-Banach space.
We denote by $M\mathbin{\widehat{\...
- 21
2
votes
0
answers
68
views
Classification of submultiplicative ring norms on $\mathbb Q$
Let $R$ be a ring with identity. I call a non-negative real valued function $N: R \to \mathbb R_{\geq 0}$ a ring norm, if it has the following properties:
$N(r) = 0$ iff $r = 0$
$N(r+s) \leq N(r) + N(...
- 237
2
votes
0
answers
211
views
How to plot a p-adic function? [closed]
I found on the Internet some ways to provide a graphical representation of the $p$-adic integers or numbers (e.g., these illustrations of Heiko Knospe). They all exploit the fact that $p$-adic ...
- 21