Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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
5 votes
0 answers
556 views

Theorem 7.11 in Scholze's $p$-adic Hodge Theory

I was trying to understand the statement and proof of Theorem 7.11 in Scholze's paper "$p$-adic Hodge Theory for Rigid-Analytic Varieties". I'll reproduce part of the statement below: Let $...
Kush Singhal's user avatar
3 votes
0 answers
281 views

The closed unit adic disk

I am reading the Scholze-Weinstein Berkeley lecture notes on "Perfectoid Spaces", and in particular I am stuck trying to understand the closed adic unit disk, which is the second example of ...
kindasorta's user avatar
  • 2,907
3 votes
1 answer
385 views

Overconvergent modular forms and the level at $p$

I am a little bit confused about the basic theory of overconvergent modular forms, so here is a question that I think will be straightforward for those who know the theory but would help me a lot. The ...
babu_babu's user avatar
  • 241
3 votes
1 answer
312 views

Geometric line bundles on the Tate curve

Let $E_q$ be the rigid analytic Tate elliptic curve over a complete algebraically closed non-archimedean field $K$ of mixed characteristic $(0,p)$, with parameter $q\in K^{\times}$ with $|q|<1$. ...
user avatar
12 votes
1 answer
535 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
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
7 votes
1 answer
480 views

Rigid versus log-rigid cohomology for semistable varieties

If $K$ is a p-adic field, with maximal unramified subfield $K_0$, and $X$ is a proper semi-stable $O_K$-scheme, then there's a canonical way to make the special fibre $X_k$ into a log-scheme; and ...
David Loeffler's user avatar
35 votes
0 answers
1k views

Is there a rigid analytic geometry proof of the functional equation for the Riemann zeta function?

The adèles $\mathbb A$ arise naturally when considering the Berkovich space $\mathcal M(\mathbb Z)$ of the integers. Namely, they are the stalk $\mathbb A = (j_\ast j^{-1} \mathcal O_\mathbb Z)_p$ ...
Tim Campion's user avatar
9 votes
0 answers
687 views

Why are the open and closed adic discs defined the way that they are?

The closed adic disc is defined as $Spa(\mathbb{Q}_p\langle T\rangle,\mathbb{Z}_p\langle T\rangle)$, and the open adic disc is defined to be the fiber $Spa(\mathbb{Z}_p[[T]],\mathbb{Z}_p[[T]])_{\eta}$ ...
Andrew NC's user avatar
  • 2,081
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
32 votes
1 answer
8k 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
3 votes
0 answers
331 views

Etale cohomology of rigidification

Let $K/\mathbb Q_p$ be a discretely valued non-archemedean field, let $X$ be a smooth scheme over $\mathcal O_K$. To $X$ one can associate two rigid-analytic spaces over $K$: 1) the analytification $...
user42024's user avatar
  • 790
41 votes
2 answers
3k views

Perfectoid universal covers

It is often said, with varying degrees of rigor or enthusiasm, that every rigid space (say over $\mathbb{C}_p$) has a pro-etale cover which is 'topologically trivial' in some sense. For example, this ...
SomeGuy's user avatar
  • 843
7 votes
0 answers
882 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 ...
David Corwin's user avatar
  • 15.4k
1 vote
0 answers
522 views

Component group of Neron model of a parametrized abelian variety

Let $A$ be an abelian variety of dimension $2$ over a $p$-adic field $K$ with (additive) valuation $v$. Assuming $A$ has multiplicative reduction, the theory of $p$-adic theta functions gives us an ...
David Corwin's user avatar
  • 15.4k
11 votes
1 answer
815 views

Consequences of the geometric properties of the eigencurve

The eigencurve $\mathcal{E}$ is a rigid-analytic space parametrizing certain $p$-adic families of modular forms and associated Galois representations. By constructing an auxiliary reduced rigid curve ...
user12235's user avatar
  • 163
32 votes
1 answer
2k views

Structure on $X(k)$ for separated finite type alg. space $X$, for complete valued $k$.

Let $k$ be a field complete with respect to a non-archimedean absolute value, and $X$ a separated algebraic space of finite type over $k$. If $X$ is a scheme then $X(k)$ inherits a natural (...