Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [p-adic-analysis]

p-adic analysis is a branch of number theory that deals with the mathematical analysis of functions of p-adic numbers.

2
votes
1answer
99 views

Restriction of smooth representaions of SL(2,Q_p) to the maximal compact

I am reformulating a question I asked earlier with no answer: Consider $SL(2, Q_p)$ and $K$ a maximal compact subgroup. Let $\pi$ be an irreducible spherical representation of $SL(2, Q_p)$ (in the ...
1
vote
1answer
48 views

Valuation of congruent elements in a local division ring

Let $K$ be a complete local division ring (note $v$ its valuation). For $x,y\in K$ ($y\ne0$), one puts $x^y=yxy^{-1}$. Let $r\in\mathbb N$. Consider $x,y\in K$ and $a,b\in K^*$ such that $v(x-y)\ge r$ ...
10
votes
0answers
204 views

Zeros of $p$-adic power series and rationality

Let $K$ be a non-archimedean field with valuation ring $(V,\mathfrak{m})$, and $K\langle t_1,\ldots, t_n\rangle$ a Tate algebra of convergent power series. Fix $f \in V\langle t_1,\ldots, t_n\rangle$....
9
votes
1answer
255 views

Topological dimension of $p$-adic manifolds

What is the topological dimension of a (locally analytic) $p$-adic manifold over a non Archimedean field $K$? Is the topological dimension of $K^n$, $n$?
9
votes
0answers
264 views

What role, if any, do Archimedean valuations play in adic spaces?

I've been reading about adic spaces, and I couldn't help but wonder what would happen to the theory if one included in the definition of $Spa$ Archimedean valuations as well...? Is there a weird ...
2
votes
1answer
135 views

Reference request: the dual Coleman family

Recently when I want to understand the construction of triple product p-adic L-function, I am really confused by the notion of dual form. To be precise, assume $f^\circ\in{S_k(N,\chi)}$ is an ...
2
votes
0answers
50 views

Uniformity of the set of poles of Igusa local zeta functions

Let $Ω_p$ denote the set of the real parts of the poles of the Igusa zeta function of a polynomial $f∈\mathbb{Z}[X_1,…,X_m]$ (assume $f(0)=0$ so that $\Omega_p\ne \emptyset$) at the prime p. From ...
3
votes
1answer
206 views

Comparisons of log canonical thresholds

Premise Let $K$ be a field of characteristic zero and $f\in K[X_1,\dots,X_m]$. By Hironaka's theorem, there exists a log resolution (over $K$) of the ideal $(f)$. Let $\{(N_i,\nu_i)\}_i$ be the ...
4
votes
1answer
219 views

Reference Request: Specialization map in Huber's Context

The specialization map $sp:\mathfrak{X}_\eta\to \mathfrak{X}_{red}$ has an important role in rigid analytic geometry. I tried looking in Huber's papers ("Continuous Valuations", "A generalization of ...
6
votes
1answer
247 views

Binomial coefficients in discrete valuation rings

Let $V$ be a complete discrete valuation ring whose residue field is a finite field $k=\mathbf{F}_q$. Let $\pi\in V$ be a uniformizer. For any integer $d,n\ge 0$, define: $${\pi^d \choose n} := \...
4
votes
0answers
119 views

Complete characteristic p perfect Tate rings are uniform?

In Lemma 7.1.6 of his lecture notes on perfectoid spaces, Bhatt states that every complete characteristic p perfect Tate ring $A$ is uniform. In the proof he uses the Banach open mapping theorem on ...
11
votes
0answers
431 views

Strengthening Fargues' conjecture (a categorification of p-adic local Langlands)

Fargues's conjecture is a geometric categorification of p-adic local Langlands; it is described in Section 4.3 of his pre-print, https://arxiv.org/abs/1602.00999. Can the functor between groupoids be ...
13
votes
0answers
196 views

Integral element over p-adic power series

Let $p$ be a prime number. and $R[[X]]$ be the ring of formal series with coefficients in a $p$-adic field $R$. Let $\Lambda=\mathbb{Z}_p[[X]]$. Question 1) Does there exist an explicit description ...
4
votes
0answers
90 views

History of the relation between $p$-adic measures and power series

In 1964, Kubota and Leopoldt defined the $p$-adic $L$-function by means of some $p$-adic sums (now called the Volkenborn integral which is a $p$-adic distribution). Later, Mazur (in his secret ...
6
votes
0answers
171 views

Differential topology on arbitrary fields

What do the differential topology theories on arbitrary fields have in common? Different differential topology theories There is "ordinary" differential topology on real manifolds, with its rich ...
1
vote
1answer
132 views

Open subgroups of finite index of p-adic semisimple groups

My set up is the following: I have an affine algebraic group $G$ over a $p$-adic field $F$, we assume that $G$ is semisimple and simply connected. I have an abstract subgroup $H\leq G(F)$ of the group ...
4
votes
1answer
156 views

For tori $S \subseteq T$, every character of $S(k)$ extends to a character of $T(k)$?

Let $k$ be a $p$-adic field, $T$ a torus over $k$, and $S$ an $k$-subtorus of $T$. If $\chi: S(k) \rightarrow \mathbb{C}^{\ast}$ is a smooth (resp. continuous) homomorphism, then does $\chi$ ...
5
votes
0answers
91 views

Relation between Gross-Koblitz and Chowla-Selberg formulas

The Chowla-Selberg formula relates the eta function with values of the gamma function at rational numbers. The eta function appears, at least in the proofs I have seen, related to values of $L$-...
2
votes
0answers
44 views

Nuclear operator between general topological modules over ultrametric Banach rings

In the celebrating paper "Completely continuous endomorphisms of p-adic Banach spaces", Serre established a Fredholm-Riesz theory for compact endomorphisms of Banach spaces over (spherically complete)...
6
votes
2answers
367 views

$p$-adic exponentials for $p$-adic Lie groups

Let $G$ be a $p$-adic Lie group, $\text{Lie}(G)$ its Lie algebra. Is there any reasonable notion of exponential map $\text{exp} : \text{Lie}(G)\to G$?
10
votes
3answers
926 views

p-adic Poincaré Lemma

suppose $X$ is a proper and smooth rigid analytic variety over $\text{Spa}(k)$, with $k$ a non-archimedean field of characteristic zero. One has the de Rham complex of analytic differential forms on $...
1
vote
1answer
95 views

Definition and properties of $\mathcal{B}^\dagger$

I am currently trying to read Colmez' "Série principale unitaire pour $Gl_2(\mathbb{Q}_p)$ et représentations triangulines de dimension 2", that you can find here https://webusers.imj-prg.fr/~pierre....
4
votes
0answers
165 views

A question of integral on $p$-adic fields $\mathbb{Q_p}$

We assume that $(\pi,V)$ is an admissible, irreducible and infinite-dimensional representation of $GL_2(\mathbb{Q_p})$. In the proof of existence and uniqueness of Kirillov model, the key step is that ...
1
vote
1answer
72 views

Does $x, y\in \mathcal{R}$, $z\in (\mathcal{E}^\dagger)^*$ with $x\cdot y= z$ imply $x,y\in (\mathcal{E}^\dagger)^*$

Let $\mathcal{R}$ be the Robba ring and $\mathcal{E}^{\dagger}$ the elements of $\mathcal{R}$ that are bounded at 0 (so the coefficients of the powerseries are bounded. Is it true that $x, y\in \...
3
votes
1answer
300 views

References on topological rings

What is a good book on topological rings and modules? I'm interested in topological rings and modules typically endowed with non-linear topologies, e.g.. non-linearly topologized normed rings. I ...
1
vote
1answer
305 views

Analytic p-adic functions from Mahler coefficients

Let $f: \mathbb Z_{\ge 0} \to \mathbb C_p$ be any function. My understanding is that Mahler's theorem says that $f$ extends to a continuous function $f: \mathbb Z_p \to \mathbb C_p$ if and only if the ...
3
votes
0answers
123 views

(Non-)Existence of certain invariant distributions on a p-adic space

Following Bernstein-Zelevinski, an $\ell$-space is a Hausdorff, locally compact totally disconnected topological space. For an $\ell$-space $X$, denote $S(X)$ the space of Bruhat-Schwartz functions on ...
4
votes
1answer
180 views

Smooth intertwining operators

Let $V$ be a crystalline irreducible representation of the absolute Galois group of $\mathbb{Q}_p$ with distinct Hodge Tate weights $(0,k-1), k \in \mathbb{Z}_{\geq 2}$. Then $V$ is uniquely ...
10
votes
0answers
667 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$-...
2
votes
1answer
124 views

Locally analytic vectors of a quotient space

My question here is in connection with one of my previous question "A definition of a (amalgamated) direct sum" Following the notations there, my question is: Why the locally analytic vectors of $B(...
3
votes
0answers
90 views

A question on analytic vectors of $p$-adic analytic groups

I have some trouble understanding the proof of the first part of proposition $3.3.23$ of this famous paper by M.Emerton. The proposition says that: Let $G$ be a affinoid rigid analytic group, $K$ ...
5
votes
1answer
315 views

Nijmegen 1978 $p$-adic analysis proceedings

Anyone knows if there is a chance of getting a copy of the following: Proceedings of the Conference on p-adic Analysis. Held in Nijmegen, January 16–20, 1978. Report, 7806. Katholieke Universiteit, ...
4
votes
0answers
197 views

Parity in degrees of determinantal varieties

Let $M_{m,n}(\Bbb{C})$ be the space of $m\times n$ matrices with entries in $\Bbb{C}$, and let $U_{k,m.n}(\Bbb{C})\subset M_{m,n}(\Bbb{C})$ be the variety of matrices of rank $\leq k\leq\min(m,n)$. ...
4
votes
1answer
187 views

A definition of a (amalgamated) direct sum

I am wondering about a definition of a direct sum in page $31$ of this paper by R. Liu. I am following the notations in page $31$ of the above paper. Let $V$ be a crystalline irreducible ...
6
votes
1answer
193 views

Characterization of Krasner analytic functions on the complement of $p$-adic integers

Let $\mathbb{Z}_p$ be the ring of $p$-adic integers, $\mathbb{Q}_p$ the field of fractions of $\mathbb{Z}_p$, and $\mathbb{C}_p$ the completion of the algebraic closure of $\mathbb{Q}_p$. Let $v_p$ be ...
2
votes
1answer
261 views

p-adic representations of $GL_2(\mathbb{Q}_p)$

Let $L$ be a finite extension of $\mathbb{Q}_p$. Colmez defines here the trainguline representations which are extensions of Robba rings of dimension $1$. Then, in this paper he contructs the ...
1
vote
1answer
280 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 $\...
1
vote
1answer
174 views

Logarithm function on the Robba ring $\mathcal{R}_L$ and some properties of $\mathcal{R}_L$

I am reading some of Colmez papers about $(\varphi,\Gamma)$-modules over the Robba ring $\mathcal{R}_L$, where $L$ is a finite extension of $\mathbb{Q}_p$. Now I would like to understand this ring ...
3
votes
0answers
185 views

Compact subgroups of general linear groups over affinoid algebras

Let $k$ be a finite extension of $\mathbb{Q}_p$ and let $(A,A^0)$ be a $k$-affinoid algebra, where $A^0$ is the subring of power bounded elements. Suppose given a compact subgroup, L, of $GL_n(A)$, is ...
7
votes
2answers
1k views

$p$-adic numbers in physics

As far as I know, in modern physics we assume that the underlying field of work is the field of real numbers (or complex numbers). Imagine one second that we make a crazy assumption and suggest that ...
8
votes
0answers
238 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 ...
1
vote
0answers
65 views

Stern-Stolz in $p$-adic case

I'm trying to figure out if the following statement is trivial or not: For $b_i \in \mathbb{C}_p$ (the complete $p$-adic field), if $\sum |b_i|_p < \infty$, then the continued fraction $b_0+\...
3
votes
1answer
298 views

Crystalline extension the $p$-adic cyclotomic character

Let $\epsilon_p$ be the $p$-adic cyclotomic character, $F$ be a real quadratic extension of $\mathbb{Q}$ in which $p$ splits, $\psi$ be an odd character of $G_\mathbb{Q}$ of finite image and with ...
2
votes
1answer
205 views

extension of the universal cyclotomic character

Let $p$ be a prime number, $\psi:G_\mathbb{Q} \rightarrow \bar{\mathbb{Q}}_p$ be an odd character of conductor $N$ prime to $p$, with finite image and such that $\psi(p)=1$. Let $\mathcal{W}$ be the ...
3
votes
1answer
306 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$. ...
3
votes
0answers
61 views

embedding local characters to global (Hecke) characters

Let $F$ be a number field, and $S$ be a non-empty finite set of places of $F$. Suppose that for each $v\notin S$, we have a character $\chi_v$ of $F_v^\times$ (for my purpose, we can require that $\...
1
vote
1answer
166 views

Discontinuous subgroups of $PGL_2(\mathbb{Q}_p)$

I'm trying to read about Mumford curves. I've barely begun and I've already encountered a stumbling block. I'm sure this is probably a basic question that an expert could resolve quickly. I would very ...
9
votes
1answer
690 views

Dwork's proof of rationality of zeta function, crux of his generalization of a result of Borel along the way

In this article by Katz and Tate here, there's a nice account of Dwork's argument for showing the rationality of the zeta function part of the Weil conjectures. Here is an excerpt. To recapitulate, ...
14
votes
1answer
413 views

Weaker version of Dwork's rationality of zeta function, what is needed to beef up into a complete proof?

This is a followup to my question here. Here is a note of Michael Larsen where he gives a very simple proof of a slightly weaker result than Dwork's rationality of the zeta function. http://mlarsen....
23
votes
3answers
2k views

Crux of Dwork's proof of rationality of the zeta function?

As the question title suggests, what is the crux of Dwork's proof of the rationality of the zeta function? What is the intuition behind the proof, what are the key steps that the proof boils down to?