Related papers: A procdh topology

The de Rham stack construction of Simpson shows that D-modules are quasicoherent sheaves on a modified geometry. Drinfeld furthermore introduced the ring stack perspective (aka transmutation), which asserts that a coefficient theory is…

Let A be an A_\infty ring spectrum. We use the description from [2] of the cyclic bar and cobar construction to give a direct definition of topological Hochschild homology and cohomology of A using the Stasheff associahedra and another…

This is an expository account of the following result: we can construct a group by means of twisted Z_2-graded vectorial bundles which is isomorphic to K-theory twisted by any degree three integral cohomology class.

The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral…

This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the \v{C}ech cohomology…

Inspired by Bhatt-Morrow-Scholze's work on ${\rm THH}$, we define Nygaard-completed log prismatic cohomology based on log topological Hochschild homology via filtrations on log ${\rm THH}$ and its variants. Moreover, of independent…

In this paper we define a functor-- leveled sub-cohomology. (It bears no relation with the level of elliptic curves). It is based on leveled cycles on a smooth projective variety, and will be expected to reveal a structure in the level.

We introduce a notion of \emph{infinitesimal derived foliation}. We prove it is related to the classical notion of infinitesimal cohomology, and satisfies some formal integrability properties. We also provide some hints on how infinitesimal…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We give a proof of the Jardine-Tillmann generalized group completion theorem. It is much in the spirit of the original homology fibration approach by McDuff and Segal, but follows a modern treatment of homotopy colimits, using as little…

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

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 argue that the very effective cover of hermitian $K$-theory in the sense of motivic homotopy theory is a convenient algebro-geometric generalization of the connective real topological $K$-theory spectrum. This means the very effective…

We consider a filtration on the cohomology of the structure sheaf indexed by (not necessarily reduced) divisors ``at infinity''. We show that the filtered pieces have transfers morphisms, fpqc descent, and are so called cube invariant. In…

Given a 0-connective motivic spectrum $E \in SH(k)$ over a perfect field k, we determine $h_0$ of the associated motive $M E \in DM(k)$ in terms of $\pi_0 (E)$. Using this we show that if k has finite 2-\'etale cohomological dimension, then…

We solve affirmatively the homotopy limit problem for $K$-theory over fields of finite virtual cohomological dimension. Our solution employs the motivic slice filtration and the first motivic Hopf map.

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…

We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of…