Related papers: Purity for Perfectoidness

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…

We relate the Brauer group of a smooth variety over a p-adic field to the geometry of the special fibre of a regular model, using the purity theorem in \'etale cohomology. As an illustration, we describe how the Brauer group of a smooth del…

Although the analogue of the theorem of Neukirch-Uchida for $p$-adic local fields fails to hold as it is, Mochizuki proved a certain analogue of this theorem for the absolute Galois groups with ramification filtrations of $p$-adic local…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

As in Zariski's Uniformization Theorem we show that a valuation ring $V$ of characteristic $p>0$ of dimension one is a filtered direct limit of smooth ${\bf F}_p$-algebras under some conditions of transcendence degree. Under mild…

If $(R,\mathfrak{m})$ is a complete local ring of mixed characteristic $(0,p)$ and $R/pR$ is an $F$-pure Gorenstein domain, we find a sufficient condition for $R$ to be perfectoid pure. This condition is related to the Cohen-Macaulayness of…

We call a sheaf on an algebraic variety immaculate if it lacks any cohomology including the zero-th one, that is, if the derived version of the global section functor vanishes. Such sheaves are the basic tools when building exceptional…

We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof abstracts an earlier argument due to Grabmayer and Fokkink…

Let $k$ be an algebraic extension of $\mathbb F_p$ and $K/k$ a regular extension of fields (e.g. $\mathbb F_p(T)/\mathbb F_p$). Let $A$ be a $K$-abelian variety such that all the isogeny factors are neither isotrivial nor of $p$-rank zero.…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

This survey article is devoted to the notions of purity, algebraic and $\Sigma$-algebraic compactness, direct sum decompositions, and representation type in the category of modules over a ring. It begins with basic definitions, a brief…

If an augmented algebra K over Q is filtered by powers of its augmentation ideal I, the associated graded algebra grK need not in general be quadratic: although it is generated in degree 1, its relations may not be generated by homogeneous…

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…

We develop a theory of perfect algebraic spaces that extend the so-called perfect schemes to the setting of algebraic spaces. We prove several desired properties of perfect algebraic spaces. This extends some previous results of perfect…

We prove a transcendence theorem concerning values of holomorphic maps from a disk to a quasi-projective variety over $\overline{\mathbf{Q}}$ that are integral curves of some algebraic vector field (defined over $\overline{\mathbf{Q}}$).…

Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By…

We study torus-equivariant algebraic $K$-theory of affine Schubert varieties in the perfect affine Grassmannians over $\mathbb{F}_p$. We further compare it to the torus-equivariant Hochschild homology of perfect complexes, which has a…