Related papers: Adic Sheafiness of $A_{\text{inf}}$ Witt Vectors o…
Let R be a non-Archimedean Banach ring, satisfying some mild technical hypothesis that we will specify later on. We prove that to R one can associate a homotopical Huber spectrum Spa^h(R) via the introduction of the notion of derived…
We construct a non-sheafy uniform Banach algebra such that a rational localisation of the Berkovich spectrum does not preserve the uniformity. We also construct uniform affinoid rings in the sense of Roland Huber such that rational…
The ring of Witt vectors over a perfect valuation ring of characteristic p, often denoted A_inf, plays a pivotal role in p-adic Hodge theory; for instance, Bhatt, Morrow, and Scholze have recently reinterpreted and refined the crystalline…
We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (including a locally perfectoid one). On the positive side, we…
In this article, we give a full description of the topology of the one dimensional affine analytic space $\mathbb{A}_R^1$ over a complete valuation ring $R$ (i.e. a valuation ring with "real valued valuation" which is complete under the…
Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…
Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…
We prove a rigidity result for certain $p$-complete \'etale $\mathbf{A}^{1}$-invariant sheaves of anima over a qcqs finite-dimensional base scheme $S$ of bounded \'etale cohomological dimension with $p$ invertible on $S$. This generalizes…
Let $X$ and $Y$ be compact Hausdorff spaces, and let $C(X)$ and $C(Y)$ denote the commutative Banach algebras of all continuous complex-valued functions on $X$ and $Y$, respectively. We study bijective maps $T$ from $C(X)$ onto $C(Y)$ which…
We discuss algebraic vector bundles on smooth k-schemes X contractible from the standpoint of A^1-homotopy theory; when k = C, the smooth manifolds X(C) are contractible as topological spaces. The integral algebraic K-theory and integral…
We define a topological ring $R$ to be \emph{Hirsch}, if for any unconditionally convergent series $\sum_{n\in\omega} x_i$ in $R$ and any neighborhood $U$ of the additive identity $0$ of $R$ there exists a neighborhood $V\subseteq R$ of $0$…
We show that any strongly rigid-noetherian Huber ring $A$ is sheafy. In particular, we positively answer Problem~$31$ in the Nonarchimedean Scottish Book.
Let X be an irreducible 2n-dimensional holomorphic symplectic manifold. A reflexive sheaf F is very modular, if its Azumaya algebra End(F) deforms with X to every Kahler deformation of X. We show that if F is a slope-stable reflexive sheaf…
This paper investigates the Witt groups of triangulated categories of sheaves (of modules over a ring R in which 2 is invertible) equipped with Poincare-Verdier duality. We consider two main cases, that of perfect complexes of sheaves on…
We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I =…
We characterize Cohen--Macaulay and $\varphi$-rational perfect schemes in terms of their perverse \'etale mod $p$ sheaves. Using inversion of adjunction, we prove that sufficiently small Schubert varieties in the Witt affine flag variety…
Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…
In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the…
Among other things, we show that the ideal sheaf of a complex Hilbert submanifold of a pseudoconvex open subset of Hilbert space is acyclic over the ambient pseudoconvex open set. We also prove a vanishing theorem for a fairly general class…
We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a…