I just take a quick opportunity to share what a prism is, and why it is called like that (as I learned from Lars Hesselholt). All the theory is developed relatively to a fixed prime $p \in \mathbb{N}$.

A prism is a couple $((A,\delta),I)$ where $A$ is a commutative ring with unity, $\delta \colon A \to A$ is a set theoretic map and $I \subseteq A$ is an ideal. Moreover, one asks the following things:

• the pair $(A,\delta)$ is a $\delta$-ring, i.e. $\delta(0) = 0$, $\delta(1) = 1$ and $$ \begin{align*} \delta(x+y) &= \delta(x) + \delta(y) - \sum_{j = 1}^{p - 1} \frac{1}{p} \binom{p}{j} x^j y^{p - j} \\ \delta(x \cdot y) &= x^p \delta(y) + y^p \delta(x) + p \delta(x) \delta(y) \end{align*}. $$ This implies that the map $\phi_{\delta} \colon A \to A$ defined by $\phi_{\delta}(x) := x^p + p \cdot \delta(x)$ is a ring map which lifts the Frobenius map $A/p \to A/p$;
• the ideal $I$ defines a Cartier divisor inside $\operatorname{Spec}(A)$, i.e. there exists an ideal $J \subseteq (A \setminus \operatorname{ZD}(A))^{-1} A$ such that $I \cdot J = A$ (here $\operatorname{ZD}(A)$ denotes the set of zero divisors in $A$);
• the ring $A$ is derived $(p,I)$-complete, i.e. for every element $f \in p A + I$ and every $n \in \mathbb{N}$ we have that $\operatorname{Ext}^n_A(A_f,A) = 0$, where $A_f = S_f^{-1} A$ with $S_f = \{f^k\}_{k \in \mathbb{N}}$ (see The Stacks Project, 091N);
• $p \in I + \phi_{\delta}(I) \cdot A$.

The reason why such a strange structure is defined is because the presence of the map $\phi_{\delta}$ and the ideal $I$ allow one to "decompose" the complicated ideal $p \cdot A$ (i.e. the white light) into the ideals $\phi_{\delta}^n(I) \cdot A$ (i.e. the colors of the rainbow), which are simpler to study.

This can be summarized in the following picture that depicts the fact that $\operatorname{Spec}(A/p) \subseteq \bigcap_n \operatorname{Spec}(A/\phi_{\delta}^n(I) \cdot A)$.

The reason why this idea is so powerful is that is provides an "algebraic encoding" of the theory of perfectoid spaces. More precisely, there is an equivalence between the category of perfect prisms (i.e. prisms such that $\phi_{\delta}$ is an isomorphism) and perfectoid rings (see Theorem 3.9 in the preprint by Bhatt and Scholze). As said above, this allows Bhatt and Scholze to define a prismatic site, from which they define prismatic cohomology, which is comparable (in various "integral" meanings) to most of the cohomology theory that can be defined on $p$-adic schemes.

As a final reference for the THH parts of the paper of Bhatt and Scholze (and much more), I suggest this survey by Lars Hesselholt and Thomas Nikolaus.

I just take a quick opportunity to share what a prism is, and why it is called like that (as I learned from Lars Hesselholt). All the theory is developed relatively to a fixed prime $p \in \mathbb{N}$.

A prism is a couple $((A,\delta),I)$ where $A$ is a commutative ring with unity, $\delta \colon A \to A$ is a set theoretic map and $I \subseteq A$ is an ideal. Moreover, one asks the following things:

• the pair $(A,\delta)$ is a $\delta$-ring, i.e. $\delta(0) = 0$, $\delta(1) = 1$ and $$ \begin{align*} \delta(x+y) &= \delta(x) + \delta(y) - \sum_{j = 1}^{p - 1} \frac{1}{p} \binom{p}{j} x^j y^{p - j} \\ \delta(x \cdot y) &= x^p \delta(y) + y^p \delta(x) + p \delta(x) \delta(y) \end{align*}. $$ This implies that the map $\phi_{\delta} \colon A \to A$ defined by $\phi_{\delta}(x) := x^p + p \cdot \delta(x)$ is a ring map which lifts the Frobenius map $A/p \to A/p$;
• the ideal $I$ defines a Cartier divisor inside $\operatorname{Spec}(A)$, i.e. there exists an $A$-submodule $J \subseteq (A \setminus \operatorname{ZD}(A))^{-1} A$ such that $I \cdot J = A$ (here $\operatorname{ZD}(A)$ denotes the set of zero divisors in $A$);
• the ring $A$ is derived $(p,I)$-complete, i.e. for every element $f \in p A + I$ and every $n \in \mathbb{N}$ we have that $\operatorname{Ext}^n_A(A_f,A) = 0$, where $A_f = S_f^{-1} A$ with $S_f = \{f^k\}_{k \in \mathbb{N}}$ (see The Stacks Project, 091N);
• $p \in I + \phi_{\delta}(I) \cdot A$.

The reason why such a strange structure is defined is because the presence of the map $\phi_{\delta}$ and the ideal $I$ allow one to "decompose" the complicated ideal $p \cdot A$ (i.e. the white light) into the ideals $\phi_{\delta}^n(I) \cdot A$ (i.e. the colors of the rainbow), which are simpler to study.

This can be summarized in the following picture that depicts the fact that $\operatorname{Spec}(A/p) \subseteq \bigcap_n \operatorname{Spec}(A/\phi_{\delta}^n(I) \cdot A)$.

The reason why this idea is so powerful is that is provides an "algebraic encoding" of the theory of perfectoid spaces. More precisely, there is an equivalence between the category of perfect prisms (i.e. prisms such that $\phi_{\delta}$ is an isomorphism) and perfectoid rings (see Theorem 3.9 in the preprint by Bhatt and Scholze). As said above, this allows Bhatt and Scholze to define a prismatic site, from which they define prismatic cohomology, which is comparable (in various "integral" meanings) to most of the cohomology theory that can be defined on $p$-adic schemes.

As a final reference for the THH parts of the paper of Bhatt and Scholze (and much more), I suggest this survey by Lars Hesselholt and Thomas Nikolaus.

I just take a quick opportunity to share what a prism is, and why it is called like that (as I was told by Lars Hesselholt). All the theory is developed relatively to a fixed prime $p \in \mathbb{N}$.

A prism is a couple $((A,\delta),I)$ where $A$ is a commutative ring with unity, $\delta \colon A \to A$ is a set theoretic map and $I \subseteq A$ is an ideal. Moreover, one asks the following things:

• the pair $(A,\delta)$ is a $\delta$-ring, i.e. $\delta(0) = 0$, $\delta(1) = 1$ and $$ \begin{align*} \delta(x+y) &= \delta(x) + \delta(y) - \sum_{j = 1}^{p - 1} \frac{1}{p} \binom{p}{j} x^j y^{p - j} \\ \delta(x \cdot y) &= x^p \delta(y) + y^p \delta(x) + p \delta(x) \delta(y) \end{align*}. $$ This implies that the map $\phi_{\delta} \colon A \to A$ defined by $\phi_{\delta}(x) := x^p + p \cdot \delta(x)$ is a ring map which lifts the Frobenius map $A/p \to A/p$;
• the ideal $I$ defines a Cartier divisor inside $\operatorname{Spec}(A)$, i.e. there exists an ideal $J \subseteq (A \setminus \operatorname{ZD}(A))^{-1} A$ such that $I \cdot J = A$ (here $\operatorname{ZD}(A)$ denotes the set of zero divisors in $A$);
• the ring $A$ is derived $(p,I)$-complete, i.e. for every element $f \in p A + I$ and every $n \in \mathbb{N}$ we have that $\operatorname{Ext}^n_A(A_f,A) = 0$, where $A_f = S_f^{-1} A$ with $S_f = \{f^k\}_{k \in \mathbb{N}}$ (see The Stacks Project, 091N);
• $p \in I + \phi_{\delta}(I) \cdot A$.

The reason why such a strange structure is defined is because the presence of the map $\phi_{\delta}$ and the ideal $I$ allow one to "decompose" the complicated ideal $p \cdot A$ (i.e. the white light) into the ideals $\phi_{\delta}^n(I) \cdot A$ (i.e. the colors of the rainbow), which are simpler to study.

This can be summarized in the following picture that depicts the fact that $\operatorname{Spec}(A/p) \subseteq \bigcap_n \operatorname{Spec}(A/\phi_{\delta}^n(I) \cdot A)$.

The reason why this idea is so powerful is that is provides an "algebraic encoding" of the theory of perfectoid spaces. More precisely, there is an equivalence between the category of perfect prisms (i.e. prisms such that $\phi_{\delta}$ is an isomorphism) and perfectoid rings (see Theorem 3.9 in the preprint by Bhatt and Scholze). As said above, this allows Bhatt and Scholze to define a prismatic site, from which they define prismatic cohomology, which is comparable (in various "integral" meanings) to most of the cohomology theory that can be defined on $p$-adic schemes.

As a final reference for the THH parts of the paper of Bhatt and Scholze (and much more), I suggest this survey by Lars Hesselholt and Thomas Nikolaus.

I just take a quick opportunity to share what a prism is, and why it is called like that (as I learned from Lars Hesselholt). All the theory is developed relatively to a fixed prime $p \in \mathbb{N}$.

A prism is a couple $((A,\delta),I)$ where $A$ is a commutative ring with unity, $\delta \colon A \to A$ is a set theoretic map and $I \subseteq A$ is an ideal. Moreover, one asks the following things:

• the pair $(A,\delta)$ is a $\delta$-ring, i.e. $\delta(0) = 0$, $\delta(1) = 1$ and $$ \begin{align*} \delta(x+y) &= \delta(x) + \delta(y) - \sum_{j = 1}^{p - 1} \frac{1}{p} \binom{p}{j} x^j y^{p - j} \\ \delta(x \cdot y) &= x^p \delta(y) + y^p \delta(x) + p \delta(x) \delta(y) \end{align*}. $$ This implies that the map $\phi_{\delta} \colon A \to A$ defined by $\phi_{\delta}(x) := x^p + p \cdot \delta(x)$ is a ring map which lifts the Frobenius map $A/p \to A/p$;
• the ideal $I$ defines a Cartier divisor inside $\operatorname{Spec}(A)$, i.e. there exists an ideal $J \subseteq (A \setminus \operatorname{ZD}(A))^{-1} A$ such that $I \cdot J = A$ (here $\operatorname{ZD}(A)$ denotes the set of zero divisors in $A$);
• the ring $A$ is derived $(p,I)$-complete, i.e. for every element $f \in p A + I$ and every $n \in \mathbb{N}$ we have that $\operatorname{Ext}^n_A(A_f,A) = 0$, where $A_f = S_f^{-1} A$ with $S_f = \{f^k\}_{k \in \mathbb{N}}$ (see The Stacks Project, 091N);
• $p \in I + \phi_{\delta}(I) \cdot A$.

The reason why such a strange structure is defined is because the presence of the map $\phi_{\delta}$ and the ideal $I$ allow one to "decompose" the complicated ideal $p \cdot A$ (i.e. the white light) into the ideals $\phi_{\delta}^n(I) \cdot A$ (i.e. the colors of the rainbow), which are simpler to study.

This can be summarized in the following picture that depicts the fact that $\operatorname{Spec}(A/p) \subseteq \bigcap_n \operatorname{Spec}(A/\phi_{\delta}^n(I) \cdot A)$.

The reason why this idea is so powerful is that is provides an "algebraic encoding" of the theory of perfectoid spaces. More precisely, there is an equivalence between the category of perfect prisms (i.e. prisms such that $\phi_{\delta}$ is an isomorphism) and perfectoid rings (see Theorem 3.9 in the preprint by Bhatt and Scholze). As said above, this allows Bhatt and Scholze to define a prismatic site, from which they define prismatic cohomology, which is comparable (in various "integral" meanings) to most of the cohomology theory that can be defined on $p$-adic schemes.

As a final reference for the THH parts of the paper of Bhatt and Scholze (and much more), I suggest this survey by Lars Hesselholt and Thomas Nikolaus.