Questions tagged [rigid-analytic-geometry]

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

Filter by
Sorted by
Tagged with
44 votes
2 answers
3k views

Are rigid-analytic spaces obsolete, since adic spaces exist?

Recently in a seminar the following question was raised and, despite my familiarity with theory, I couldn't come up with a good answer: Are there any good reasons to use Tate's theory of rigid-...
Wojowu's user avatar
  • 27.4k
32 votes
1 answer
7k views

$p$-adic Hodge Theory for rigid spaces, after P. Scholze

I was going over P. Scholze's paper on $p$-adic Hodge Theory for rigid analytic varieties. This question is around the "Poincaré Lemma" in the paper. Throughout, let $X$ be a proper smooth rigid ...
user avatar
27 votes
1 answer
1k views

Motivation for relative schemes: why should one work with schemes over a ringed topos?

Recently I've been trying to learn more about relative schemes. These were developed in M. Hakim's thesis Topos annelés et schémas relatifs under Grothendieck's guidance and appear in many of later ...
Emily's user avatar
  • 10.3k
20 votes
3 answers
2k 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 ...
Urs Schreiber's user avatar
19 votes
1 answer
2k 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 ...
Laurent Moret-Bailly's user avatar
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,007
13 votes
1 answer
2k 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 ...
ChrisLazda's user avatar
  • 1,818
11 votes
1 answer
825 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 '...
Oren Ben-Bassat's user avatar
10 votes
1 answer
1k views

Analytic elements in non-archimedean geometry

Let $(k,|.|)$ be a complete non-archimedean valued field. Let $D$ be the open unit disc over $k$. (Anything I write could be adapted to the case of an open annulus.) The ring $\mathcal{O}(D)$ of ...
Jérôme Poineau's user avatar
9 votes
1 answer
573 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 ...
Niki's user avatar
  • 335
8 votes
1 answer
362 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,093
5 votes
1 answer
346 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 ...
Fernando Peña Vázquez's user avatar
4 votes
0 answers
295 views

(Co)limits of adic spaces

Which (co)limits exist in the category of adic spaces ? Also, can we impose adjectives such as "noetherian" or "quasi-compact", etc., to get more (co)limits ? I know that finite ...
Dat Minh Ha's user avatar
  • 1,472
4 votes
1 answer
646 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 (1991)...
Stiofán Fordham's user avatar
4 votes
1 answer
442 views

Tate algebras and fundamental theorem of algebra

Let $\mathbb K$ be an algebraically-closed complete non-archimedean field whose absolute value is non-trivial. Consider the Tate algebra $T_n=\mathbb K\langle X_1,\dots, X_n \rangle$ and fix $f\in T_n$...
Hang's user avatar
  • 2,719
4 votes
1 answer
212 views

Significance of integrally closed in an affinoid algebra

A Tate affinoid k-algebra is defined as a pair $(R,R^+)$ where $R$ is a Tate algebra and $R^+$ is an open and integrally closed subring of $R$ contained in the ring of powerbounded elements. See for ...
Asvin's user avatar
  • 7,648
3 votes
0 answers
465 views

Sheaf of power-bounded elements in rigid analytic geometry

Let $k$ be a field with a non-archimedean complete valuation $|\ |$, $X$ a reduced rigid analytic space over $k$. The presheaf $\mathcal{O}^0$ which to an affinoid $U$ of $X$ attaches the ring $\...
Joël's user avatar
  • 25.7k
3 votes
0 answers
225 views

Is the Čech complex of a coherent sheaf on a compact separated rigid analytic space admissible?

$\newcommand{\F}{\mathcal{F}}\newcommand{\O}{\mathcal{O}}$Let $X$ be a compact, separated rigid $k$-analytic space over some complete non-archimedean field $k$. Then $X$ has a finite affinoid covering ...
Jakob Werner's user avatar
  • 1,093