Questions tagged [p-adic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
109 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 ...
3
votes
0answers
62 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 ...
1
vote
0answers
64 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(\...
0
votes
0answers
91 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}$...
0
votes
0answers
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$. ...
2
votes
0answers
151 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 ...
2
votes
1answer
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
1answer
303 views

P-adic functions on annuli

It is known that a complex analytic function defined on an annulus, say, takes its maximum on the boundary. Does an analogue hold for $p$-adic analytic functions? More precisely suppose we have a ...
1
vote
0answers
165 views

Extension of $\mathbb C_p$?

Let $K/\mathbb Q$ be a finite algebraic extension. Consider a prime $p$ and $v$ be a valuation of $K$ above the valuation $v_p$ of $\mathbb Q_p$. Denote by $K_v$ a completion for the valuation $v$ of $...
2
votes
0answers
61 views

Extension of valuations and completion

Let $L/K$ be a finite extension of fields where $K$ is a number field. Let $v$ be a valuation of $K$ and denotes by $K_v$ its completion for this valuation. One denotes $\tilde v$ be the valuation $...
3
votes
0answers
115 views

Mixed characteristic in symplectic geometry

Are there any mixed-characteristic phenomena in symplectic geometry/mirror symmetry? There are papers on symplectic geometry by Abouzaid (inspired by Kontsevich--Soibelman, I believe) in which there ...
1
vote
0answers
146 views

Automorphisms of $\mathbb C_p$ with constraints

In Automorphisms of $\mathbb C_p$, K. Conrad showed that there exist uncountably many $\mathbb Q_p$-automorphisms of $\mathbb C_p$. I have a quite similar question. Let $(a_n)_{n\in\mathbb N}$ and $(...
3
votes
1answer
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 ...
7
votes
1answer
416 views

Convergence of a $p$-adic series

Let $K$ be a local field of characteristic $0$ with valuation $v$. I think $$\lim_{\substack{q\in K\\q\to1}}\sum_{n\ge0}\prod_{j=1}^n\frac{q^j-1}{q-1}$$ converges to $\sum_{n\ge0}n!\in K$ but I did ...
2
votes
0answers
61 views

Invariant compact in division ring

Let $K$ be a discrete valued (with discrete valuation $v$) complete local division ring with ring of valuation $V$. Let $F$ be a compact subset of $V$. Suppose that for all $x\in F$ and for all $y\in ...
11
votes
1answer
710 views

Is the p-adic Lindemann-Weierstrass Conjecture still open?

The p-adic Lindemann-Weierstrass Conjecture: Let $\alpha_{1},\ldots,\alpha_{N}\in\overline{\mathbb{Q}_{p}}$ be distinct $p$-adic algebraic numbers satisfying $\left|\alpha_{n}\right|_{p}<p^{-\...
16
votes
1answer
389 views

Centraliser of an absolute Galois group

Let $K$ be a finite extension of $\mathbb{Q}_p$. Is the centraliser of $\operatorname{Gal}(\overline{K}/K)$ in $\operatorname{Gal}(\overline{\mathbb{Q}_p} / \mathbb{Q}_p)$ trivial ? If yes, how can I ...
5
votes
1answer
269 views

p-adic L-functions for (dual of) fine Selmer Groups

If $R(E/\Bbb Q_{\infty})$ is the fine Selmer group and $Y(E/\Bbb Q_{\infty})$ is its dual, then we know that $Y(E/\Bbb Q_{\infty})$ is a finitely generated $\Lambda$-module and by a theorem of Kato, ...
7
votes
1answer
286 views

How to deduce Bernstein-Zelevinsky classification from the Langlands one

I am trying to understand the Langlands classification. To that end, I am trying to find how I could deduce the Bernstein-Zelevinsky classifcation from the second description of the Langlands ...
5
votes
0answers
132 views

Arithmetic of Cuspidal Reps. Fundamental non split stratum and simple stratum

I started to read Colin Bushnell's notes on this title. The last theorem in the 3rd section claims that if $\pi$ is an irr. smooth rep. of $GL_N(F)$ containing a non-split fundamental stratum, then $\...
2
votes
1answer
946 views

History of Fargues-Fontaine curve

In this paper, Pierre Colmez wrote about some history of the Fargue-Fontaine curve. In this schedule of London Number Theory Study Group, Fargues was said to give a talk on November 15th on " Where ...
1
vote
0answers
59 views

Automorphisms in function fields with $\mathbb F_q[T]$ globally invariant

Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q((1/T))$ for the valuation $-\deg$. Does there exist uncountably many automorphisms of $\Omega$ that let $\mathbb F_q[T]$ stable ...
2
votes
0answers
183 views

Crystalline cohomology over arbitrary perfect ground fields

In preparing a set of notes, I realize there is a simple question for which I cannot find an easy answer; likely due to simple ignorance. Any introductory text on etale cohomology notes that ...
5
votes
1answer
145 views

$p$-adic valuation of $P_n(p)$ if $P_n$ is the $n$th Legendre polynomial

In 3-adic valuation of a sum involving binomial coefficients the $p$-adic valuation of $P_n(p)$ has been obtained. Computations indicate that $M_n(p)=\sum\binom{n}{k}^2(p-1)^k$ for odd $p$ has the ...
16
votes
2answers
494 views

3-adic valuation of a sum involving binomial coefficients

Let $$a(n) = \sum_{0 \leq k \leq n} {n \choose k}{{n+k} \choose k},$$ and define $b(n) = \nu_3 \bigl(a(n)\bigr)$, where $\nu_3$ is the $3$-adic valuation. About twenty years ago or so, I discovered (...
3
votes
0answers
313 views

Cyclotomic Extension of a Perfectoid Space

Maybe, I am being stupid, but when I consider ramified extension of a perfectoid field with the characteristic $0$, I cannot find the correspondent field with characteristic $p$. Let me put it more ...
1
vote
1answer
236 views

Specialisation of Z_p[[S_1,…,S_n,X_1,…,X_d]]

Let $R \colon= {\Bbb Z}_p[[S_1,...,S_n,X_1,...,X_d]]$ be the $(n+d)$-variable formal power series ring over ${\Bbb Z}_p$. Choose an arbitrary ideal ${\frak b}$ of $R$ such that ${\mathrm{ht}}({\...
8
votes
0answers
275 views

$p$-adic representations of the fundamental group of a smooth proper curve over a finite field

This question is very general. Let $C$ be a smooth and proper curve over a finite field ${\bf F}_p$. Are there any general results or conjectures on continuous non abelian representations $$ \pi_1(C)\...
1
vote
1answer
135 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\...
6
votes
0answers
294 views

What is the precise relationship between primitive Hida families and the connected components of the ordinary locus of the eigencurve?

In the references I've found discussing this question, I have not found any statements that I can understand and that are as precise as I would like. I'm more familiar with Hida families than with the ...
1
vote
0answers
154 views

Kitagawa's p-adic modular symbols for different weights: a confusing observation

References are to K. Kitagawa, "On standard $p$-adic $L$-functions of families of elliptic cusp forms", Contemp. Math. 165, 1994. Let $\mathcal O$ be the ring of integers in a finite extension of $\...
7
votes
0answers
351 views

$p$-adic uniformisation of abelian varieties

In the paper $p$-adic L-functions and $p$-adic periods of modular forms of Greenberg and Stevens $\S3$ page $420$ they make the following statement: Let $A$ over $\mathbf{Q}_p$ be an abelian variety ...
5
votes
0answers
635 views

Equivalent definitions of the Hasse invariant

As probably many others before me, I got stuck in verifying all the nice properties of the Hasse invariant. Let me start by recalling one definition: Let $E\to S$ be an elliptic curve in ...
5
votes
2answers
604 views

When does the radius of convergence of the product of two $p$-adic power series increase?

Let $p$ be a prime number and denote by $R(f)$ the radius of convergence of a power series $f(x) \in \mathbb{C}_p[[x]]$, where $\mathbb{C}_p$ is the completion of the algebraic closure of $\mathbb{Q}...
2
votes
0answers
222 views

Control theory for Kitagawa's $\Lambda$-adic modular symbols

Let $p$ be a prime, $\Gamma=1+p\mathbb Z_p$ and $\Lambda=\mathbb Z_p[[\Gamma]]$ the Iwasawa algebra. Let $\kappa\colon\Gamma\rightarrow\mathbb Z_p^\times$ be the inclusion. For a character $\...
16
votes
2answers
1k views

Witt-vector vectors

I've never really made my way in any detail through the Witt-vector construction. I did read all the articles that a quick Google and MSN search turned up, and none seemed to address it, but I could ...
1
vote
0answers
76 views

Dimensions of fibers of analytic map

I must admit that I know nothing about p-adic geometry, so the following question may be completely trivial. Let $V\subset K^n$ be an affine algebraic variety. Let $D$ be a polydisk, and $F$ be an ...
0
votes
0answers
121 views

How is the p-adic norm calculated when using universal witt vectors?

How is the p-adic norm calculated when using UNIVERSAL WITT VECTORS? Is the p-adic norm calculated in the familiar way, in the sense that we look to the last digit to the right, and the prime number ...
0
votes
0answers
193 views

Name of some commutative ring akin to $p$-adics

I need help in identifying the naming convention of some commutative ring described below. Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
1
vote
1answer
591 views

Why is every l-adic Galois representation conjugate to one over the l-adic integers? [closed]

Why is every l-adic Galois representation $$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Q}_{l})$$ conjugate to one over the l-adic integers? $$G_{\mathbb{Q}_p}\rightarrow GL_n(\mathbb{Z}_{l})$$
12
votes
0answers
477 views

The operator $\left(q\frac{d}{dq}\right)^s$ and fractional derivatives of modular forms

Recall the notion of a "nearly holomorphic modular form" introduced by Shimura: A function $f : \mathfrak h \to \mathbb C$ is said to be nearly holomorphic of level $\Gamma_1(N)$, weight $k$ and ...
9
votes
1answer
690 views

Definition of p-adic modular forms

I have been reading Hida's book "p-Adic automorphism forms on Shimura varieties" and I don't understand a point. He first describes p-adic modular forms of tame level N as functions on the Igusa ...
8
votes
2answers
825 views

The p-adic valuation of a linear recurrence

Let $(u_n)_{n \geq 0}$ be an integer-valued linear recurrence of order $k \geq 1$. Precisely, $$u_n = a_1 u_{n-1} + \cdots + a_k u_{n - k} \quad \forall n \geq k ,$$ for some $a_1, \ldots, a_k \in \...
12
votes
0answers
271 views

$p$-Adic or arithmetic variants of Khovanskii's “low complexity $\Rightarrow$ tame topology” theory

This question is prompted by a remark I made in a comment to Is every polynomial a factor of a trinomial?, which was that Descartes's observation (cf. his rule of signs, etc.), that the number of real ...
1
vote
1answer
131 views

Twisted Padé approximants

Let $f$ be a continuous function defined on $\mathbb Z_p$. By Mahler theorem, there exists a sequence $(\gamma_k)_{k\in\mathbb N}$ of $\mathbb Z_p$ such that for every $z\in\mathbb Z_p$ $$f(z)=\sum_{k\...
3
votes
1answer
188 views

“frequency” of fields for which the p-adic regulator vanishes (mod p)

There is a very nice question which arises in the study of the Discrete Logarithm Problem which I wish to present here. The question, in a general setting, is to specify an empirical expression for ...
6
votes
2answers
462 views

Texts about Dwork's work

I want to ask about references to papers, that probably exist, which explain the articles of Bernard Dwork starting from "The rationality of the zeta function of an algebraic variety" to "On the ...
15
votes
0answers
358 views

Power series which are $p$-adic modular forms for all $p$

Suppose that, for some integer $k$, a series $f(q) \in \mathbb Q \otimes \mathbb Z[[q]]$ has the property that for every prime $p$, $f(q)$ is the $q$-expansion of a $p$-adic modular form of weight $k$ ...
3
votes
2answers
897 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
votes
0answers
398 views

p-adic etale cohomology

Let $X$ be a smooth projective scheme over $\mathbb{Z}_p$, with special fiber $X_s$ over $\mathbb{F}_p$, generic fiber $X_{\eta}$ over $\mathbb{Q}_p$, and geometric generic fiber $\bar{X_{\eta}}$ over ...