All Questions
Tagged with p-adic-numbers p-adic-analysis
64 questions
1
vote
1
answer
242
views
Can a p-adic ball cover a p-adic ball?
Are there a polynomials $f_1,...f_n \in \mathbb{Z}_p[x_1,...x_n]$ with there coeficients $p$-adic integers s.t.
A map $F:\mathbb{Z}_p^n\rightarrow \mathbb{Z}_p^n$ defined by $f_1,...f_n$
satisfy the ...
- 328
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
0
votes
0
answers
81
views
Can every $\ast$-algebra be represented in this space of matrices?
Let $k$ be a field with characteristic $0$. For every set $X$, let $\mathcal{B}(X)$ be the set of (possibly infinite) matrices $T = (T_{x,y})_{x,y \in X}$ with coefficients in $k$ such that in each ...
- 1,485
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
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 ...
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 ...
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
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
0
votes
0
answers
71
views
Space of non-archimedean characters is nonempty
Let $k$ be an algebraically closed complete non-archimedean field. Let $\mathcal{O}_k$ be its ring of integers. Suppose that $A$ is a $k$-Banach algebra, and $B$ is its closed unitary ball. Note that $...
- 1,485
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
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
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
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
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
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
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
1
vote
0
answers
330
views
Automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers?
I am interested to see what is currently known about the automorphisms of the topological field $\mathbb{C}_p$ of $p$-adic complex numbers (with respect to the $p$-adic topology induced by the $p$-...
2
votes
0
answers
266
views
A "multi-adic" absolute value / topology?
Let $S$ be a set of finitely many prime numbers. Then, define $\left|\cdot\right|_{S}:\mathbb{Q}\rightarrow\left[0,\infty\right)$ by: $$\left|x\right|_{S}\overset{\textrm{def}}{=}\prod_{p\in S}\left|x\...
- 1,284
1
vote
0
answers
94
views
How to estimate the highest power of 2 in the partial sum of 2-adic $\log(-1)$ (i.e. $\sum_{i=1}^n\frac{2^i}{i}$)?
The estimate I wanna get is $$v_2(\sum_{i=1}^n\frac{2^i}{i})\geq\min_{t\geq n+1}\{t-v_2(t)\}\tag{*}$$
where $v_2$ is the 2-adic valuation, that is the highest power of 2 defined on $\mathbb{Q}$.
Set $$...
user178596
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
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
2
votes
0
answers
75
views
Zeroes of the Euler series
Consider a prime $p$. Let $f$ be the Euler series defined by $f(z)=\sum_{n\ge0}n!z^n\}$. It is defined and analytic over $\mathcal D=\{z\in\mathbb C_p\mid v_p(z)>-\frac1{p-1}\}$. I try to check if ...
- 3,998
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
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
5
votes
1
answer
576
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,418
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
1
vote
0
answers
74
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)$ ...
- 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
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
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
1
vote
1
answer
2k
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 ...
- 23
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
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
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
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
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
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
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
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
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
1
vote
1
answer
193
views
null infinite product in the p-adic setting
Let $p$ be a prime, $\mathbb C_p$ be the completion of a algebraic closure of $\mathbb Q_p$ and $(u_n)_{n\in\mathbb N}$ be a sequence of $\mathbb C_p$ converging towards $0$. Suppose that for all $n\...
- 3,998
2
votes
0
answers
166
views
Relative Leopoldt defect
Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$.
Is there a bound of the Leopoldt defect of $M$ ...
- 1,066
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
3
votes
0
answers
174
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
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
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
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
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