Non-induced analytic structures in complex-analytic case In Lectures on Analytic Geometry, 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 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]$.
 A: 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.
