Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
George's user avatar
  • 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_{\...
George's user avatar
  • 328
11 votes
1 answer
406 views

Closed image of curves under $p$-adic logarithm, Coleman integrals and Bogomolov

Disclaimer: my knowledge of $p$-adic analysis/geometry is minimal. Consider a smooth, complete curve $C$ of genus $g$ over $\mathbb{C}_{p}$, denote by $J$ its Jacobian and consider the embedding $C\...
Giulio Bresciani's user avatar
4 votes
1 answer
302 views

Compactification of rigid-analytic varieties

Is it true that any separated quasi-compact rigid-analytic variety embeds into a proper one? For my purpose, the base field is a $p$-adic number field. I have seen Huber's universal compactification ...
SmileLee's user avatar
  • 101
4 votes
1 answer
218 views

Irreducible components of rigid varieties

I'm reading IRREDUCIBLE COMPONENTS OF RIGID SPACES (by Conrad). In this paper he defines the irreducible component of a rigid variety $X$ to be reduced image of a connected component of $\tilde X$ (...
Richard's user avatar
  • 785
4 votes
0 answers
117 views

Projective reduction of image of power series is algebraic?

Let $K$ be a non-archimedean field with closed unit disk $\mathcal{O}\subset K$, open unit disk $\mathfrak{m}\subset \mathcal{O}$ and residue field $k = \mathcal{O}/\mathfrak{m}$. Examples to keep in ...
Jef's user avatar
  • 984
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 ...
Ashvin Swaminathan's user avatar
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 ...
Ashvin Swaminathan's user avatar
1 vote
0 answers
80 views

The bound for zeros of the composition of polynomials and analytic functions

Suppose $K$ is a number field, and $A\in M_n(K)$. $v$ is a place of $K$, and $f_1,\cdots,f_n$ are analytic functions (one variable) on $m_v\mathcal O_{K,v}$, satisfying: $\frac{\mathrm d \bf {f}}{\...
Richard's user avatar
  • 785
4 votes
1 answer
184 views

Meaning of dagger cohomology $H^{1 \dagger}(G^\dagger)$ in "Frobenius and Monodromy Operators" by Coleman and Iovita

Let $G$ be an abelian variety with good reduction over a finite extension $K$ of $\mathbb{Q}_p$. In equation (2.4) on page 179 of my edition of "The Frobenius and monodromy operators for curves ...
Vik78's user avatar
  • 658
3 votes
0 answers
183 views

Wondering if Monsky-Washnitzer ever published a result claimed to be forthcoming in a later paper

At the very end of the paper Formal Cohomology I by Monsky and Washnitzer, they write the following: "In some sense, the operator $\psi$ applied to a power series gives it "better growth ...
Vik78's user avatar
  • 658
4 votes
0 answers
205 views

Notion of connected components for $\mathbb{Q}_p$-points of algebraic variety

Is there an interesting notion of connected components for the $\mathbb{Q}_p$-points of an algebraic variety over $\mathbb{Q}_p$? By "interesting" I mean a notion satisfying the following. ...
Jacques's user avatar
  • 563
0 votes
1 answer
287 views

When is the power-bounded subring top. of finite type?

Very naive question here. Let $K$ be a complete nonarchimedean field, $A$ a reduced affinoid $K$-algebra. When is the power-bounded subring $A^\circ$ topologically of finite type, in the sense that we ...
Satan's Minion's user avatar
5 votes
1 answer
362 views

On the noetherianess of some subalgebras of an affinoid algebra

$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
FPV's user avatar
  • 541
2 votes
0 answers
144 views

Computing the ring of power-bounded elements in an affinoid algebra

Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $A$ be an affinoid $K$-algebra, i.e. $A$ is isomorphic to a quotient of the Tate algebra $K\left<T_1,\dotsc,T_n\right>$ for some $n$. ...
dgulotta's user avatar
  • 913
12 votes
1 answer
534 views

Open immersion of affinoid adic spaces

If $R$ and $S$ are complete Huber rings with $\varphi: R \to S$ a continuous map, then is it true in general that if $\mathrm{Spa}(S, S^\circ) \to \mathrm{Spa}(R, R^\circ)$ is an open immersion of ...
Ashwin Iyengar's user avatar
9 votes
1 answer
1k views

On the definition of the etale site of an adic space

I have a question related to the definition of the etale site of an adic space. As a reference, I am using Huber's book "Etale Cohomology of Rigid Analytic Varieties and Adic Spaces". First ...
RumDiary's user avatar
  • 228
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,...
curious math guy's user avatar
2 votes
1 answer
381 views

Reduced complete Tate ring which is not uniform?

Recall that a topological ring $A$ is Tate if there is an open subring $A_0$ such that the induced topology on $A_0$ is t-adic for some $t \in A_0$ that becomes a unit in $A.$ One can, given a Tate ...
DCM's user avatar
  • 217
4 votes
0 answers
130 views

Existence of a "p-adic Mahler measure" or alternatively, the converge of a p-adic sequence

Let $f \in \mathbb Z_p[[t]]^\times$ be an invertible power series and let $\log_p$ be the p-adic logarithm with the normalization that $\log p = 0$. Consider the sequence: $$a_n = \frac{1}{p^{n-1}}\...
Asvin's user avatar
  • 7,746
2 votes
0 answers
257 views

Rigid analytic geometry and Tate curve

I am stuck in the proof of theorem 5.1.4 in the book rigid analytic geometry and its applications on page 126. The authurs define $\Gamma:=G^{an}_{m,k}/<q\gt$ where $k$ is a complete non-...
user avatar
8 votes
1 answer
384 views

Are maps corresponding to affinoid subdomains flat in the Banach sense?

$\newcommand{\Sp}{\mathrm{Sp}}\newcommand{\abs}[1]{\lvert #1\rvert}\newcommand{\comptensor}{\mathbin{\hat{\otimes}}}$ Let $k$ be a complete non-archimedian field and let $X = \Sp(B)$ be a $k$-affinoid ...
Jakob Werner's user avatar
  • 1,153
6 votes
1 answer
672 views

An example of a morphism of rigid analytic spaces with affinoid base which is proper but does not satisfy $(\dagger)$

Let $k$ be a complete non-archimedean field and let $\varphi \colon X \to Y$ be a morphism of rigid analytic spaces over $k$, where $\newcommand{\Sp}{\operatorname{Sp}}Y = \Sp(B)$ is affinoid. ...
Jakob Werner's user avatar
  • 1,153
10 votes
0 answers
269 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$....
user avatar
9 votes
0 answers
327 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 ...
Andrew NC's user avatar
  • 2,081
8 votes
1 answer
1k 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 ...
Ian Gleason's user avatar
6 votes
0 answers
232 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 ...
Corvin Paul's user avatar
8 votes
2 answers
1k 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$?
user avatar
11 votes
3 answers
2k 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 $...
user avatar
3 votes
0 answers
209 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 ...
user105552's user avatar
5 votes
1 answer
584 views

Schottky groups, Mumford curves and $p$-adic uniformization

Let $K$ be a $p$-adic field and $\Gamma$ be Schottky group of $g$ generators and $L \subset \mathbb{P}^1_K$ be the limit set of $\Gamma$. Let $\mathbb{P}^1_K - L= \Omega$ and we know that there exists ...
Adel BETINA's user avatar
  • 1,066
18 votes
1 answer
1k views

$p$-adic Bott periodicity?

The Bott periodicity theorem can be formulated as the existence of homotopy equivalences $\Omega^2(KU)\equiv KU$ and $\Omega^8(KO)=KO$. I always wondered whether this theorem could also be transferred ...
Dominik's user avatar
  • 3,017
11 votes
3 answers
1k views

Trivialisation of vector bundles on Stein spaces

Does every vector bundle on a Stein space have a finite local trivialisation? Definitions: Stein space means either a complex analytic Stein space or a nonarchimedean Stein space in the sense of ...
Helene Sigloch's user avatar
4 votes
1 answer
1k views

Iwasawa logarithm and analytic continuation

I am reading Number Theory vol. 1 by Henri Cohen (among other things) and I am curious about the Iwasawa logarithm. Let $\mathbb{C}_p$ be the completion of the algebraic closure of $\mathbb{Q}_p$. ...
Joe Bebel's user avatar
  • 539
8 votes
1 answer
726 views

What are the automorphisms of a perfectoid Tate algebra?

Let $K$ be a complete nonarchimedean field. The classical Tate algebra $K\langle T \rangle$ has lots of automorphisms, e.g., any substitution $T\mapsto a_1T+a_2T^2+\cdots$, where $a_1\in \mathcal{O}...
Jared Weinstein's user avatar
2 votes
0 answers
455 views

reference for p-adic Stein spaces

Hi, I'm looking for a reference in english for p-adic Stein spaces. The usual referneces I come across are all in german. Thanks
Nicolás's user avatar
  • 2,842