Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
307 views

How to show analytification functor commutes with forgetful functor?

Let $k$ be a field complete with respect to a non-trivial non-archimedean absolute value (so that rigid $k$-space makes sense). Denote $K$ a finite field extension of $k$. Denote $X\rightsquigarrow X^{...
Z Wu's user avatar
  • 452
5 votes
1 answer
506 views

Schemes over (locally) ringed spaces: working over complex-analytic spaces, rigid-analytic spaces, formal schemes, etc

Monique Hakim developed in her doctoral thesis [1] the theory of relative schemes. These comprise, as a special case, the theory of schemes over (locally) ringed spaces. What makes the study of these ...
Emily's user avatar
  • 11.8k
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
  • 11.8k
8 votes
1 answer
536 views

Voisin examples in $p$-adic geometry

Let $K$ be an algebraic closure of p-adic rationals. Does there exist a proper smooth rigid-analytic variety over $K$ whose etale homotopy type is not isomorphic to etale homotopy type of a proper ...
user avatar