Questions tagged [p-adic]
The p-adic tag has no usage guidance.
105 questions
3
votes
1
answer
122
views
Frobenius antecedent of a differential module
Let $K$ be an ultrametric complete field of mixed characteristic, and let $F_{\rho}$ be the completion of $K(t)$ with respect to $\rho$-Gauss norm. After Christol and Dwork, for a differential module $...
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
1
vote
1
answer
155
views
Convergence of a product in $\mathbb Q_2[[X]]$
I thought it would be very easy to prove, but in fact, I did not manage to prove or disprove this fact:
the sequence of polynomials $$\left(\prod_{j=0}^k\big(1-2^{2^j}X\big)\right)_{k\in\mathbb N}$$
...
- 3,998
1
vote
1
answer
131
views
Reduction of elliptic curves over local fields
Let $E$ be an elliptic curve defined over a p-adic local field $K$, with $j$-invarient $j(E)\in K$. Let $\mathscr{O}_K$ be the ring of integer of $K$. If $j(E)$ does not belong to $\mathscr{O}_K$, ...
- 95
4
votes
1
answer
171
views
Representations of $\mathrm{GL}_n(\mathcal{O})$ in functions on Grassmannians
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Gr{Gr}$Let $\mathbb{F}$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of integers.
The natural representation of the group $\GL_n(\...
- 21.8k
4
votes
1
answer
172
views
Partition of unity for analytic manifolds over non-Archimedean local fields
I am looking for a reference to the following fact which, I hope, is correct.
Let $X$ be a compact analytic manifold over a non-Archimedean local field. Let
$X=\cup_\alpha U_\alpha$ be a finite open ...
- 21.8k
32
votes
3
answers
2k
views
A funny metric over $\mathbb{N}$
$\DeclareMathOperator{\lcm}{lcm}$
Fiddling with numbers I realized that for positive integers $x$ and $y$, the quantity
$$\Vert x,y \Vert=\frac{\lcm(x,y)}{\gcd(x,y)}$$
has these properties:
$\Vert x,...
- 637
2
votes
0
answers
183
views
Computing the Dieudonné module of $\mu_p$ from Fontaine's Witt Covector
In Groupes $p$-divisibles sur les corps locaux, Fontaine introduced a uniform construction of Dieudonné modules through the definition of the Witt covector. Consider a perfect field $k$ of ...
- 199
1
vote
0
answers
146
views
Is the functor $\mathrm{Hom}(\mathrm{spec}\,k[x^{1/{p^\infty}}]/(x), -)$ from the category of finite commutative group schemes exact?
Question. Let $B \twoheadrightarrow C$ be a fully faithful homomorphism of finite connected commutative group schemes over a perfect field $k$. Let $T = k[x^{1/p^\infty}]/(x) = \varinjlim k[t]/(t^p)$. ...
- 199
2
votes
3
answers
345
views
A subgroup of index 2 for a solvable finite group transitively acting on a finite set of cardinality $2m$ where $m$ is odd
Let $G$ be a finite group acting transitively on the finite set $X=\{1,2,\dots, 2m\}$
of cardinality $2m\ge 6$ where $m$ is odd.
Question 1. Is it true that $G$ always has a subgroup $H$ of index 2
...
- 14.2k
1
vote
1
answer
380
views
Unramified extension over $ \mathbb{Q}_{p} $
Let $\mathbb{Q}_{p}$ be a p-adic field such that $ p \neq 2 $. We knew that for every $ n=2m $ there exists exactly one unramified extension $ K $ of $ \mathbb{Q}_{p} $ of degree $ n $, obtained by ...
- 923
2
votes
0
answers
53
views
power of analytic function is still analytic in Krasner sense
In page 54 of his book, "Analytic elements in $p$-adic analysis" Escassut claims that if $f$ is analytic in Krasner sense in a set $D$ of a ultrametric field, so is $f^n$ for any positive ...
- 3,998
1
vote
0
answers
42
views
analytic continuation of Krassner's analytic element on punctured disk
Let
$$
E=\{x\in\mathbb Q_p\mid |x|_p\le p^{-2}\}\setminus\left\{p^n\mid n\in\mathbb N,n\ge2\right\}
$$ and $g$ be an analytic element (in Krassner's sense) of
$$
F=\{x\in\mathbb Q_p\mid |x|_p<1\}\...
- 3,998
3
votes
0
answers
264
views
The points of $\operatorname{Spa}\mathbb{Z}_p$
$\DeclareMathOperator\Spa{Spa}$What are the points of $\Spa\mathbb{Z}_p$? I read in Scholze-Weinstein that this adic spectrum consists of 2 points, a special point, which corresponds to the pullback ...
- 2,907
2
votes
0
answers
123
views
Formulation of $p$-adic Haar measure decomposition
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\vol{vol}\DeclareMathOperator\diag{diag}$Suppose:
$F$ is a non-archimedean local field,
$\mathcal{O} \subset F$ its ring of integers,
$\pi \in \mathcal{...
- 748
8
votes
0
answers
425
views
Interpretation of $p$-adic 'smoothness'
real case: In the very first course of Calculus, one learns that a real function $f \colon \mathbb{R} \to \mathbb{R}$ is called smooth, if it is differentiable as many times as one pleases. So the ...
- 748
2
votes
0
answers
139
views
Local Rankin-Selberg Zeta-function and Coates' p-adic L-Functions
$\DeclareMathOperator\Kern{Kern}\DeclareMathOperator\diag{diag}$
Let $F$ be a non-archimedean local field, $\mathcal{O}$ its ring of integers, $\mathfrak{p}$ its maximal ideal and $\pi$ a uniformizer.
...
- 748
5
votes
0
answers
274
views
A $p$-adic homotopy theory for non-simply connected spaces?
I'm looking to understand the state of the art for $p$-adic (unstable) homotopy theory of non-simply connected (non-nilpotent!) spaces. Ideally, I'd also like integral versions, e.g. things like ...
- 1,138
5
votes
0
answers
405
views
p-adic Hecke operators in the Iwahori-Hecke algebra $C_c(J\backslash G(F)/J)$
$\DeclareMathOperator\ch{ch}$Let $F$ be a non-archimedean local field, $\mathcal{O}$ its ring of integers, $\mathfrak{p}$ its maximal ideal and $\pi$ a uniformizer. I shall use $\kappa(F)$ to denote ...
- 748
1
vote
1
answer
100
views
Extension of morphisms in function fields
Let $k=\mathbb F_q\left(\left(\frac1T\right)\right)$, $\overline k$ be an algebraic closure of $k$ and $K$ be the completion of $\overline k$ for the $\frac1T$ valuation. Consider the morphism $\sigma:...
- 3,998
-1
votes
1
answer
637
views
$p$-adic number field $\mathbb{Q}_p $and algebraic numbers [closed]
As we all know, the complex number field $\mathbb{C}$ be a finite Galois extension field of the real number field that contains all algebraic numbers.
I want to know the proof of the following ...
- 11
2
votes
0
answers
187
views
$G_K$-fixed points of sections of affinoids on the Fargues-Fontaine curve
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $G_K=\mathrm{Gal}(\overline{K}/K)$ be its absolute Galois group. There are the Fargues-Fontaine analytic curves $Y_{FF}$ and $X_{FF}$ associated ...
- 643
19
votes
1
answer
1k
views
Hensel's proof that $e$ is transcendental
When he introduced $p$-adic numbers, Kurt Hensel produced an incorrect local/global proof of the fact that $e$ is transcendental. Apparently, the intended proof goes along the following lines: ...
- 10.9k
5
votes
0
answers
421
views
A local model of a Shimura variety and a local Shimura variety
I have a question about the book on p-adic geometry by Scholze and Weinstein.
There are two ‘local theories of Shimura varieties’ written in it.
The one is a local model of a Shimura variety. This is ...
- 153
3
votes
1
answer
529
views
Algebraic numbers in all $\mathbb Q_p$ [duplicate]
Do there exist non-rational algebraic numbers that belong to $\mathbb Q_p$ for all prime $p$? If yes, can one characterize them?
I spent several days for the first question, and I found nothing. The ...
- 3,998
5
votes
1
answer
473
views
Question about log and exp of a formal group law
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $F$ be a Lubin–Tate formal group law defined over $K$ with endomorphism $f(T)$ corresponding to $\pi$ (a uniformizer of $K$). Then one can define ...
- 123
1
vote
0
answers
135
views
What is the preimage of the maximal ideal under certain exponential functions?
I'm taking a shot in the dark with this question, so I apologize if it makes no sense.
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $K_n$ be the field obtained by adjoining the $n$-th ...
- 123
2
votes
0
answers
338
views
Existence of "nth root function" which is analytic
Let $K$ be a finite extension of $Q_p$. Let $q$ be the size of the residue field of $K$, and let $\pi$ be a uniformizer of $K$. Then $q/\pi$ is some power of $\pi$ up to a unit $u$ in $K$, say $q/\pi =...
- 123
6
votes
1
answer
789
views
Vector bundles on the various sites of a preperfectoid
Let $X$ be a preperfectoid space over $\mathrm{Spa}(\mathbb{Q}_p,\mathbb{Z}_p)$. It has several associated sites, with successively finer topologies: $$X_{an} \subset X_{et} \subset X_{proet} \subset ...
- 643
1
vote
1
answer
340
views
Looking for an electronic copy of Huber's Bewertungsspektrum und rigide Geometrie
Lately I've been trying (and have failed) to find an electronic copy of Huber's Bewertungsspektrum und rigide Geometrie, which (from what I understand) is the original reference developing the basics ...
- 11.8k
1
vote
1
answer
428
views
Characters of p-adic units
Let $p$ be a prime and denote by $\mathbb{Z}_p^{\times}$ the group of $p$-adic units. Suppose that $\chi$ is a character $\chi: \mathbb{Z}_p^{\times} \rightarrow \mathbb{C}^{\times}$. Then it is well ...
- 59
5
votes
1
answer
603
views
Image of the ghost map of $p$-typical Witt vectors and $A$-ring structure of $W(A)$
For all ring with unit element $A$ let $W(A)$ be the ring of $p$-typical Witt vectors. Denote by $$\phi\;:\;W(A)\to A^{\mathbb{N}}$$
the ghost map, which is given by
$$\phi(a_0,a_1,a_2,\ldots)\;=\;(\...
- 323
1
vote
1
answer
168
views
Is the completion of the field generated by torsion points of a 1-dimensional formal group perfectoid?
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $G$ be a 1-dimensional formal group defined over $\mathcal{O}_K$. Consider the field $K_\infty$ obtained by adjoining to $K$ all the solutions ...
- 643
3
votes
0
answers
123
views
Homology of a fiber as a cotorsion product
Let $K$ be a field. For any differentially graded coalgebra $A$ over $K$, any differentially graded right $A$-comodule $M$ over $K$ and any differentially graded left $A$-comodule $N$ over $K$ let
$\...
- 1,361
6
votes
2
answers
1k
views
Vector bundles on adic spaces
Let $X = \mathrm{Spa}(A,A^+)$ be an analytic sheafy adic space. Let $\mathcal{E}$ be a locally finite free $\mathcal{O}_X$ sheaf. Does $\mathcal{E}$ correspond to a geometric vector bundle over $X$? ...
- 643
4
votes
3
answers
219
views
Is $K^\times/ F^\times$ compact for local fields?
Let $K/F$ be a finite extension of local fields (of characteristic 0). Is it true that the quotient group $K^\times/ F^\times$ is always compact?
I understand that if the extension is cyclic, it is ...
- 833
1
vote
0
answers
64
views
Continous morphisms of a local field with conditions in positive characteristic
Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
- 3,998
1
vote
0
answers
363
views
On the paper "Patching and the p-adic local Langlands correspondence"
$\DeclareMathOperator\GL{GL}$The question is about the paper: Caraiani, Emerton, Gee, Geraghty, Paskunas, and Shin - Patching and the $p$-adic local Langlands correspondence. Let $F$ be a finite ...
- 433
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
3
votes
2
answers
726
views
In a CM field, must all conjugates of an algebraic integer lying outside the unit circle lie outside the same?
This question is inspired from the post linked below:
Can an algebraic number on the unit circle have a conjugate with absolute value different from 1?
What I am curious about is the following: let $\...
- 739
2
votes
1
answer
456
views
Integrality certification for product of two matrices $A B^{-1}$
Let's consider two non-singular integer matrices $A,B \in\mathbb{Z}^{n\times n}$. I want a test to check if $A\times B^{-1}$ is integral (or no denominators). I am referring the unimodular ...
- 149
3
votes
0
answers
86
views
Freeness of completed homology over universal deformation ring
In Theorem 7.4 of the paper "patching and the $p$-adic Langlands program for $\mathrm{GL}2(\mathbf{Q}_p)$" (arXiv link), it is proved that in the minimally ramified case, the completed homology of ...
- 497
1
vote
0
answers
116
views
irrationality of Bessel function in $p$-adic
Let $J_0(z)=\sum_{n\ge 0}\frac{(-1)^n}{n!^2}\left(\frac z2\right)^{2n}$ be the Bessel function considered in $\mathbb C_p$. Let $\alpha\in\mathbb Q^*$ be in the convegence disk of $J_0$. Is $J_0(\...
- 3,998
0
votes
0
answers
139
views
continuous isomorphism of $p$-adic field
In Cassels-Frolich, one can read this theorem (page 57): Let $K$ be a finite finite separable extension of the valued field $(k,v)$. Let $\overline k$ be the completion of $k$ and $(K_j)_{1\le j\le r}$...
- 3,998
0
votes
0
answers
69
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$. ...
- 3,998
3
votes
0
answers
280
views
A complete Tate Huber ring is Banachizable (maybe not)?
I have questions of technical nature.
A complete Tate Huber ring is a complete topological (commutative) ring $A$ admitting an open subring $A_0$ whose topology is the $\varpi A_0$-adic topology, for ...
- 5,562
2
votes
1
answer
169
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