In [Lectures on Analytic Geometry](https://www.math.uni-bonn.de/people/scholze/Analytic.pdf), for complex-analytic geometry, seemingly one only considers maps $(\mathbb C,\mathcal M\_{<p})\to(\mathcal A,\mathcal M)$ of analytic rings for $0<p\le1$ where $A$ is a "structure ring" like $\mathcal O(\overline D)$ and $M$ is induced by the underlying map of condensed rings. In other words, $\mathcal A$ could be seen as an algebra in $D\_{\ge0}(\mathbb C,\mathcal M\_{<p})$ (more precisely, a module over the symmetric monad) and $D\_{\ge0}(\mathcal A,\mathcal M)$ is simply the $\infty$-category of modules over $\mathcal A$ as an algebra in $D\_{\ge0}(\mathbb C,\mathcal M\_{<p})$, i.e. no further analytic structure is imposed.


I wonder whether there are "natural" examples of $(\mathbb C,\mathcal M\_{<p})\to(\mathcal A,\mathcal M)$ where $\mathcal M$ is not induced by the map $\mathbb C\to\mathcal A$, just as in the rigid analytic geometry, we have finer concepts like Huber pairs?


There is a related question: in [Liquid tensor experiment](https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/) Remark 5.5, we have $p$-liquid analytic rings $(\mathbb Q\_\ell,\mathcal M\_{<p})$ for all $p\in(0,+\infty]$. When $p=+\infty$, it is the solid theory. I wonder whether this $p$-liquid picture generalizes to Huber pairs? If this is possible, then it might be reasonable to imagine relating the two cases via $\mathbb Z[T]$.



Non-induced analytic structures in complex-analytic case
Great question! So far, we haven't been able to produce analytic ring structures on $\mathbb C$-algebras that are not induced. Similarly, if we equip $\mathbb Q\_p$ with a liquid analytic ring structure, we are also only able to use induced analytic ring structures: To "overconvergent rigid spaces"(=Größe-Klönne's dagger spaces), one can associate analytic spaces over a liquid $\mathbb Q\_p$, but you need the overconvergence as you can't define open subspaces via conditions like $\{|T|\leq 1\}$ in the liquid theory (contrary to the solid theory). So adic spaces, Huber pairs, etc., work only in the solid theory.


Somehow in the solid case, one can nicely confine to a subset $\{|T|\leq 1\}$, but in the liquid case things will always "spill over" to a small "overconvergent" neighborhood. (This geometric picture is one reason we chose those names...)


Here's another thought. The possibility to pass to $\{|T|\leq 1\}$ in the solid theory comes from the fact that $\mathbb Z((T^{-1}))$ is a compact idempotent $(\mathbb Z[T],\mathbb Z)\_{\blacksquare}$-algebra, i.e. the $\mathbb Z$-solidification of $\mathbb Z((T^{-1}))\otimes\_{\mathbb Z[T]} \mathbb Z((T^{-1}))$ is still $\mathbb Z((T^{-1}))$. Generally, one could define interesting new analytic ring structures once one has found such compact idempotent algebras (if $\mathcal A$ is an analytic ring and $\mathcal B$ is a compact idempotent $\mathcal A$-algebra, then one can define a new analytic algebra $\mathcal A'$ such that $\mathcal D(\mathcal A')=\mathcal D(\mathcal A)/\mathcal D(\mathcal B)$; starting from $\mathcal A=(\mathbb Z[T],\mathbb Z)\_{\blacksquare}$ and $\mathcal B=\mathbb Z((T^{-1}))$, this produces $\mathcal A'=\mathbb Z[T]\_{\blacksquare}$). However, in the liquid theory, we have not been able to produce examples of compact idempotent algebras. Trying to adapt this example leads one to questions related to the various types of holomorphic functions on an open or closed unit disc (like Hardy functions etc., maybe the Nevanlinna and Smirnov class), but none of them is compact and idempotent.


