Related papers: Perfectoid rings as Thom spectra
We combine Lurie's generalization of the Hopkins-Miller theorem with work of Zink-Lau on displays to give a functorial construction of even-periodic commutative ring spectra, concentrated in chromatic layers 2 and above, associated to…
This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local…
We define a genuine $\mathbb{Z}/2$-equivariant real algebraic $K$-theory spectrum $KR(A)$, for every genuine $\mathbb{Z}/2$-equivariant spectrum $A$ equipped with a compatible multiplicative structure. This construction extends the real…
We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…
We extend Geisser and Hesselholt's result on ``bi-relative K-theory'' from discrete rings to connective ring spectra. That is, if $\mathcal A$ is a homotopy cartesian $n$-cube of ring spectra (satisfying connectivity hypotheses), then the…
We prove the $K(n)$-local analogue of the Hahn-Wilson conjecture on fp-spectra, which states that the truncated Brown-Peterson spectra generate the category of fp-spectra as a thick subcategory. As a corollary, we deduce the original…
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…
An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…
The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by B\"okstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory…
If A is a homotopy cartesian square of ring spectra satisfying connectivity hypotheses, then the cube induced by Goodwillie's integral cyclotomic trace from K(A) to TC(A) is homotopy cartesian. In other words, the homotopy fiber of the…
The notion of highly structured ring spectra of prime characteristic is made precise and is studied via the versal examples S//p for prime numbers p. These can be realized as Thom spectra, and therefore relate to other Thom spectra such as…
Generalizing F-nilpotent completion for a ring spectrum F we first define the notion of completion with respect to a thick subcategory in a monogenic stable homotopy category. Specializing this to the thick subcategory generated by…
Let $\mathcal{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$ and fraction field $K$. It is a celebrated result of Berthelot and Ogus that for a smooth proper formal scheme $X/\mathcal{O}_K$ there exists a…
We consider a Deligne-Mumford stack $X$ which is the quotient of an affine scheme $\operatorname{Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$…
Perfectoid versions of Abel Jacobi and Reimann Roch Theorem are proved, and perfectoid Elliptic Curve is constructed. A Perfectoid Tate Curve is defined and its cohomology computed via a \v{C}ech complex. Furthermore, perfectoid Theta…
The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring $R$. Concretely, for each regular path complex $P$, we associate it with a singular $\Delta$-complex…
Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…
We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this…
Let $K(\mathbb{F}_q)$ be the algebraic $K$-theory spectrum of the finite field with $q$ elements and let $p \geq 5$ be a prime number coprime to $q$. In this paper we study the mod $p$ and $v_1$ topological Hochschild homology of…
In this paper, new algebraic and topological results on purely-prime ideals of a commutative ring (pure spectrum) are obtained. Especially, Grothendieck type theorem is obtained which states that there is a canonical correspondence between…