Table of Contents
Fetching ...

Algebraization of absolute perfectoidization via section rings

Ryo Ishizuka, Shou Yoshikawa

Abstract

We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits an algebraization.

Algebraization of absolute perfectoidization via section rings

Abstract

We construct and study a graded version of absolute perfectoidization for -graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits an algebraization.

Paper Structure

This paper contains 40 sections, 87 theorems, 276 equations.

Key Result

Theorem A

Let $G$ be a torsion-free abelian group and let $p$ be a prime number. Let $R$ be a $G$-graded ring whose graded components $R_g$ are $p$-adically complete for all $g \in G$. Then there exists a $G$-graded $\mathbb{E}_{\infty}$-$R$-algebra called the absolute graded perfectoidization of $R$, satisfying the following properties: Moreover, it satisfies further properties analogous to those of the

Theorems & Definitions (198)

  • Theorem A: \ref{['SectionTopGradedPerfd']}
  • Theorem B: \ref{['AlgebraizableOXperfd']}
  • Definition 1: takaya2025Relative*Definition 4.4
  • Lemma 1: ishizuka2025Graded*Lemma 2.3
  • Definition 2: takaya2025Relative*Definition 4.21
  • Proposition 1: takaya2025Relative*Proposition 4.22
  • Definition 3: cf. ishizuka2026Derived*Definition 3.5
  • Definition 4: cf. ishizuka2026Derived*Definition 6.3
  • Proposition 2: cf. ishizuka2026Derived*Corollary 6.6
  • Lemma 2: cf. ishizuka2026Derived*Corollary 4.10 and Lemma 5.17
  • ...and 188 more