Skip to main content
2 of 3
explained why the \varpi-adic topology is the correct one
dgulotta
  • 913
  • 1
  • 6
  • 13

As mentioned by Scholze in this lecture (around 40:00), given a directed system of maps of uniform Tate-Huber pairs $(R_i,R_i^+) \to (S,S^+)$, the map $\varinjlim_i R_i \to S$ is continuous for the $\varpi$-adic topology on $\varinjlim_i R_i^+$, where $\varpi$ is the image of a pseudouniformizer of some $R_i$. Here we need to use the fact that $S$ is uniform, so $S^+$ is a ring of definition and it has the $\varpi$-adic topology.

So filtered inverse limits should exist in the category of (sous)perfectoid spaces since (sous)perfectoid rings are stably uniform. Unfortunately I do not know of a reference that explicitly proves this, but it does seem to be used implicitly in Etale cohomolgy of diamonds.

dgulotta
  • 913
  • 1
  • 6
  • 13