rigid analytic varieties, affinoid varieties, strictly convergent power series over non-archimedean fields

learn more… | top users | synonyms

2
votes
0answers
70 views

Compatibility of formal completion and rigid analytic generic fiber

Let $R$ be a complete valuation ring of rank $1$ (e.g., a complete discrete valuation ring) and let $K$ be its field of fractions. Consider a proper $R$-scheme $X$ that is, say, normal (if needed). ...
5
votes
1answer
132 views

Good analytic spaces over a field into locally ringed spaces is fully faithful

Let $k$ be a field which is complete with respect to a non-trivial non-archimedean rank-1 valuation, and let $X$ be scheme which is locally of finite type over $k$. In section of 3.5 of Berkovich's ...
7
votes
1answer
249 views

Why is the Berkovich spectrum of a C*-Algebra the same as the Gelfand spectrum?

Let $A = \mathcal{C}(X)$ be a commutative (unital) C*-Algebra. Let $Spec(A)$ denote its Gelfand spectrum $$ Spec(A) = \{A \rightarrow \mathbb{C} : \text{non-zero *-homomorphism} \} \simeq X. $$ Now ...
5
votes
0answers
94 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 ...
13
votes
1answer
517 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 ...
13
votes
3answers
660 views

Étale homotopy type of non-archimedean analytic spaces

The following is likely all obvious to the experts. But since the field looks tricky to an outsider, maybe I may be excused for asking anyway. I am wondering about basic facts of what would naturally ...
1
vote
2answers
159 views

Is there a notion of pure dimension for Berkovich analytic space?

For affinoid spaces the definition is similar to algebraic geometry, what about general analytic spaces? I can't find a reference about it. If yes then is the analytification of a variety of pure ...
5
votes
0answers
144 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
1answer
174 views

Rigid analytic geometry in characterstic 0 vs positive characteristic

This question is motivated purely by curiosity. In algebraic geometry there is a major distinction between the world of characteristic $0$ and that of characteristic $p > 0$ with different methods, ...
22
votes
1answer
784 views

function field analogy and global/absolute geometry

The "function field analogy" seems to be a topic that is considerably bigger than any one existing writeup conveys. There are several old question on MO and and MathSE that ask for details. One of the ...
5
votes
1answer
109 views

Finite union of affinoid is affinoid in proper smooth rigid curves (unless it is everything)

In several papers I have found the surprising statement that finite unions of affinoid subspaces of a proper smooth and connected rigid curve are either the whole curve or again affinoid. Could you ...
13
votes
0answers
333 views

Vanishing of rigid cohomology for affine varieties

Let $k$ be a perfect field of positive characteristic and denote by $K$ the field of fractions of the ring of Witt vectors over $k$. Question: If $X$ is an affine variety over $k$, do the rigid ...
0
votes
2answers
185 views

Berthelot functor, rigid analytic space

If $X=\operatorname{Spec} A$, where $A$ is a noetherien, complete local ring, with a finite residual field $\mathbb{F}_p$. We can associate to $A$ a rigid analytic space with two different ways, we ...
10
votes
0answers
199 views

Detecting $k$-affinoid spaces by vanishing cohomology

The property of being an affine scheme can be tested against all quasi-coherent sheaves in the following sense: a noetherian scheme $X$ is affine iff $H^i(X,\mathcal{F}) = 0$ for all quasi-coherent $\...
2
votes
2answers
188 views

Product of reduced affinoid spaces over a field is reduced (reference request)

Let $K$ be a field of characteristic zero complete with respect to a non-Archimedean absolute value. Suppose that $A$ and $B$ are two affinoid $K$-algebras. I'd like a reference that will answer the ...
8
votes
1answer
201 views

why don't (can't?) we sheafify the structure presheaf of an adic space

In the definition of an adic space, usually there is a presheaf defined by first saying what it is on a particular basis of the topology of the underlying space, the so called rational subsets. One ...
8
votes
3answers
335 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 ...
3
votes
1answer
259 views

Paper of Boutot-Carayol in `Courbes modulaires et courbes de Shimura'

I am trying to obtain a copy of the following J.-F. Boutot and H. Carayol, Uniformisation p-adique des courbes de Shimura: les théorèmes de Čerednik et de Drinfel'd , Astérisque No. 196-197 (...
14
votes
0answers
858 views

How is an $S^1$-equivariant elliptic cohomology theory affected as we continuously vary the underlying elliptic curve?

Grojnowski constructs a $S^1$-equivariant cohomology theory over a complex elliptic curve $E$, designed to trivially satisfy: $$E^*_{S^1}(pt) = E$$ The functor $E^*_{S^1}(-)$ takes in a space $X$ ...
4
votes
1answer
138 views

Topology of ring of global sections of finite union of affinoid opens in a rigid analytic space

Let $X$ be a rigid analytic space over a non-Archimedean field $k$. If $U_1,\ldots,U_n\subseteq X$ are affinoid opens, then it's usually not clear whether or not the admissible open $U=U_1\cup\cdots\...
5
votes
1answer
173 views

Berkovich stalk versus rigid analytic stalk

Let $A$ be a strictly affinoid algebra. Let $X^{Ber}$ bet its Berkovich spectrum and $X^{Tate} = \operatorname{Sp} A$ its affinoid variety in the sense of rigid analytic geometry. Let $\mathfrak{m} \...
0
votes
0answers
141 views

Fiber products of adic spaces

In the notes from Peter Scholze's class at Berkeley he makes the following remark: "Let us call a Huber pair $(A, A^+)$ admissible if $A$ is finitely generated over a ring of definition $A_0 \subset A^...
1
vote
0answers
78 views

Relative nonarchimedean disks and annuli

Let $A$ be a Huber (i.e. f-adic) ring, meaning a topological ring with an open subring $A_0$ which is adic and has finitely generated ideal of definition. Is there a good notion of closed disk of ...
14
votes
1answer
744 views

D-modules on rigid analytic spaces

Is there a good notion of holonomic $D$-modules on rigid analytic spaces?
2
votes
1answer
304 views

The rigid-analytic open disk

Let $K$ be a local field and $D_K$ the open unit disk, considered as a rigid space or adic space over $K$. What is the algebra of analytic functions on $D_K$? Proposition 1.1 of this article describes ...
13
votes
1answer
1k views

Are flat morphisms of analytic spaces open?

Let $f:X\to Y$ be a morphism of complex analytic spaces. Assume $f$ is flat (or, more generally, that there is a coherent sheaf on $X$ with support $X$ which is $f$-flat). Is $f$ an open map? The ...
6
votes
3answers
448 views

Weierstrass points on rigid-analytic surfaces

Does a rigid-analytic surface defined over a nonarchimedean complete field have Weierstrass points (if its genus is big enough let's say)? Is there a good reference that (ideally) lists theorems for ...
4
votes
1answer
351 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$. ...
11
votes
0answers
600 views

A functor of points approach to Berkovich analytic spaces

Is it possible to define a Berkovich analytic space via its functor of points? Let $k$ be a complete non-Archimedean field, possibly the trivial one. I am tempted to define a Berkovich analytic space ...
6
votes
0answers
154 views

Picard group of Drinfeld upper half space

Let $K$ be a $p$-adic field and $\Omega^{(n)}_K$ the $n$-dimensional Drinfeld upper half space over $K$ (which is a rigid analytic space over $K$). Is the Picard group of $\Omega^{(n)}_K$ known? ...
7
votes
1answer
358 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}...
5
votes
1answer
206 views

Are admissible open subsets of an affinoid space of countable type?

A rigid analytic space $Y$ over a complete non-archimedean valued field $k$ is said to be of countable type if it has a countable (possibly finite) admissible covering by affinoids over $k$. ...
2
votes
1answer
197 views

Is X_0(p) a Mumford curve over $Q_{p^2}$

Let $p$ be a prime number and $X_0(p)/\mathbf{Q}$ be the classical modular curve for $\Gamma_0(p)$. Let $\tilde{X}_0(p)/\mathbf{Z}$ be the projective arithmetic surface corresponding to the ...
3
votes
1answer
246 views

Spherical completions and flatness

Let $k$ be a non-Archimedean field. Does there exist a spherical completion $K$ of $k$ such that for any $k$-Banach space $X$, the natural map $X \to X \widehat{\otimes}K$ is an isometric embedding? ...
7
votes
0answers
368 views

Etale cohomology of Berkovich spaces

Suppose $X/\mathbb{Q}$ is a reasonable smooth projective variety with interesting etale cohomology. For example, we can say $X$ is an elliptic curve. To what extent does it make sense to study the ...
9
votes
1answer
1k views

Do Berkovich homogenous spaces exist?

Let G be a k-analytic group, and let H be a closed subgroup of G. Then does there exist a k-analytic space, which can be reasonably called the quotient G/H? Commentary: I realise that I am not being ...
2
votes
1answer
117 views

Terminology: Epimorphism in non-archimedean analysis

In their book "Non-Archimedean analysis", when BGR refer to an epimorphism in the context of $k$-Banach algebras do they actually require (or does it follow that) such maps are surjections? For ...
3
votes
1answer
417 views

How should we understand the relative interior in Berkovich spaces

I'm reading Berkovich's book on analytic spaces. The notion of relative interior confuses me. Is there anyway to see how it "looks like"? For instance, if $r <1$, what is the relative interior of \...
12
votes
2answers
1k views

Rigid analytic spaces vs Berkovich spaces vs Formal schemes

I wonder if someone could explain briefly what is the relation between these 3 formal models, of a Berkovich space, a rigid analytic space and a formal scheme? I have been working with formal schemes ...
12
votes
1answer
602 views

How does one make sense of the $\mathbf{C}_p$-points of a rigid analytic space over $\mathbf{Q}_p$?

I apologize in advance if this question is terribly naive. I've just recently learned a bit of rigid analytic geometry with the hopes of understanding some basic facts about eigenvarieties. In the ...
20
votes
1answer
3k views

Why is Faltings' “almost purity theorem” a purity theorem?

My understanding of purity theorems is that they come in several flavors: 1) Those of the form "this Galois representation is pure, i.e. the eigenvalues of $Frob_p$ are algebraic numbers all of whose ...
15
votes
1answer
733 views

Why do rigid spaces have “not enough points”?

In Brian Conrad's notes here for the 2007 Arizona winter school, bottom of p18, he says that there is an affinoid rigid-analytic space and a sheaf of abelian groups on it equipped with a non-zero ...
0
votes
0answers
215 views

morphism from adic spaces to schemes

Let $X:=Spa A$ be an affinoid adic space, and $\underline X $ the ringed space of $X$. Let $Y:=Spec B$ be an affine scheme, $f: \underline X \longrightarrow Y$ a morphism of ringed spaces. How to ...
3
votes
1answer
190 views

scheme of generalizations

Hi, I have the following problem. Let $\mathcal{O}$ be a valuation ring and $S=Spec(\mathcal{O})$, denote with $s$ the closed point and with $\eta$ the generic one. Let $X\rightarrow S$ be a proper, ...
5
votes
1answer
603 views

Reference Request: Vector bundles in rigid analytic geometry

In algebraic geometry it is well-known (see Hartshorne Exercise II.5.16 for example) that there is a 1-1 correspondence between rank $n$ (geometric) vector bundles $\pi\colon Y\to X$ on a scheme $X$ ...
11
votes
1answer
549 views

bornological vector spaces over a non-archimedean field

Let $k$ be a complete non-archimedean field. In definitions I have seen of bornological vector spaces over $k$ there are usually some extra assumptions on the non-archimedean field. For instance in '...
7
votes
1answer
669 views

Reference for rigid analytic GAGA

I'm looking for a reference for the following result. Theorem. Let $K$ be a complete, non-archimedean field, and let $X/K$ be a projective scheme, with analytification $X^\mathrm{an}$. Then the ...
6
votes
0answers
571 views

Rigid Uniformization vs Grothendieck's Local Monodromy Theory

I've noticed that some interesting results about abelian varieties can each be proven using one of two ways: the theory of rigid uniformization of abelian varieties or Grothendieck's local monodromy ...
6
votes
2answers
452 views

Uniqueness of analytic continuation in rigid analytic geometry

In classical complex analysis it is easy to prove that a meromorphic function has at most one analytic continuation (on an open connected subset of $\mathbb C$, say). The problem of non-uniqueness of ...
2
votes
1answer
227 views

Modules with connection over $p$-adic laurent series rings

If $X$ is a smooth rigid analytic space over a $p$-adic field $K$ (of characteristic zero), then every coherent $\mathcal{O}_X$-module with integrable connection is locally free. In his paper "...