Related papers: A Universal HKR Theorem
The de Rham comparison theorem for varieties, first proved by Faltings, gives the de Rham cohomology of a variety in terms of its p-adic etale cohomology. We extend this theorem to proper, smooth Deligne-Mumford stacks. Two approaches are…
For a Henselian discrete valued field $K$ of characteristic $p>0$, Kato defined a ramification filtration $\{{\rm fil}_nH^q(K,\mathbb Q_p/\mathbb Z_p(q-1))\}_{n \ge 0}$ on $H^q(K,\mathbb Q_p/\mathbb Z_p(q-1))$. One can also define a…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We provide the set of filters (saturated submonoids) in a commutative monoid with a topology (like the spectrum of a ring) and study the resulting spaces.
A geometric model for twisted $K$-homology is introduced. It is modeled after the Mathai-Melrose-Singer fractional analytic index theorem in the same way as the Baum-Douglas model of $K$-homology was modeled after the Atiyah-Singer index…
Feigin and Fuchs have given a well-known construction of intertwining operators between "Fock-type" modules over the Virasoro algebra. The intertwiners are obtained via contour integration of certain "screening operators" over top homology…
We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
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…
We prove that homological mirror symmetry for very affine hypersurfaces respects certain natural symplectic operations (as functors between partially wrapped Fukaya categories), verifying conjectures of Auroux. These conjectures concern…
We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…
We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-C\u{a}ld\u{a}raru-Hablicsek in the smooth, global quotient case, although with different methods.…
We develop the basic theory of geometrically closed rings as a generalisation of algebraically closed fields, on the grounds of notions coming from positive model theory and affine algebraic geometry. For this purpose we consider several…
Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the…
In this paper we continue the work of using the recent advances in algebraic $K$-theory to extend computations done in characteristic $p$ to the mixed characteristic setting using perfectoid rings. We extend the work of Hesselholt-Nikolaus…
The perverse filtration in cohomology and in cohomology with compact supports is interpreted in terms of kernels of restrictions maps to suitable subvarieties by using the Lefschetz hyperplane theorem and spectral objects. Various…
We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…
Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton--Sturmfels, and…
We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this…
A general ansatz in Renormalization Theory, already established in many important situations, states that exponential convergence of renormalization orbits implies that topological conjugacies are actually smooth (when restricted to the…