·

If the colimits of two objects are isomorphic, then are these two objects isomorphic?

Published at 2024-10-17 22:03:01Viewed 104 times
Academic article
·
Note
Please reprint with source link

Let $A,B$ be commutative rings in characteristic $p$. Let $\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$ be the Frobenius morphisms, i.e. the $p$-power maps. If we have ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$, where the transition maps are Frobenius morphisms, can we show that $A\cong B$ ?

Answer: No. Recall that an $\mathbb{F}_p$-algebra $R$ is perfect if the Frobenius map $\varphi : R \ni r \mapsto r^p \in R$ is an isomorphism. The colimit of powers of the Frobenius you describe is the perfection of an $\mathbb{F}_p$-algebra, and it is named that because it's the left adjoint of the inclusion of perfect $\mathbb{F}_p$-algebras into $\mathbb{F}_p$-algebras. This makes perfect $\mathbb{F}_p$-algebras a reflective subcategory of $\mathbb{F}_p$-algebras, which among other things implies that perfection fixes any perfect $\mathbb{F}_p$-algebra.

This is all abstract context for the following more specific counterexample: take $A = \mathbb{F}_p[x]$, whose perfection is $\mathbb{F}_p[x^{\frac{1}{p^{\infty}}}]$, the ring obtained by adjoining all $p^n$-power roots of $x$. Then take $B = \mathbb{F}_p[x^{\frac{1}{p^{\infty}}}]$ to be the perfection. More generally, we could take $A$ to be any $\mathbb{F}_p$-algebra which is not perfect and $B$ to be its perfection.

These notes by Bhatt have a more general claim right before Remark 1.4 about when two algebras have isomorphic perfections but I'm not familiar enough with universal homeomorphisms to say anything about it.

Comments

There is no comment, let's add the first one.

弦圈热门内容

Get connected with us on social networks! Twitter

©2024 Guangzhou Sinephony Technology Co., Ltd All Rights Reserved