Related papers: A procdh topology
We introduce a pro-cdh topology on formal schemes and prove that the $\infty$-topos of pro-cdh sheaves of spaces has an optimal bound of homotopy dimension. This remedies a defect for a pro-cdh topology on schemes introduced in [KS23]. As…
These are expanded notes from a talk at the RIMS Workshop, Algebraic Number Theory and Related Topics, December 13th, 2023. We discussed Elmanto-Morrow's motivic complex, the procdh sheafification of the classical motivic complex, and their…
We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative…
We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse…
We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…
In order to work with non-Nagata rings which are Nagata "up-to-completely-decomposed-universal-homeomorphism", specifically finite rank hensel valuation rings, we introduce the notions of pseudo-integral closure and pseudo-normalisation. We…
We prove that the hypothetical extreme Khovanov cohomology of a link is the cohomology of the independence simplicial complex of its Lando graph. We also provide a family of knots having as many non-trivial extreme Khovanov cohomology…
We review the notion of relative Dolbeault cohomology and prove that it is canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato with coefficients in the sheaf of holomorphic forms. We deal with this…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
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…
We reinterpret algebraic de Rham cohomology for a possibly singular complex variety X as sheaf cohomology in the site of smooth schemes over X with Voevodsky's h-topology. Our results extend to the algebraic de Rham complex as well. Our…
We define the motivic filtrations on real topological Hochschild homology and its companions. In particular, we prove that real topological cyclic homology admits a natural complete filtration whose graded pieces are equivariant suspensions…
This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call…
We develop a theory of internal Hochschild cohomology in a ringed topos. We construct it via the internal Hochschild cochain complex, as well as through derived functor/topos cohomology theory, and discuss its relationship to the absolute…
The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to…