# Questions tagged [p-adic]

The p-adic tag has no usage guidance.

62
questions

**1**

vote

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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 ...