Related papers: The cdh-local motivic homotopy category

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…

We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…

Cubical type theory provides a constructive justification of homotopy type theory. A crucial ingredient of cubical type theory is a path lifting operation which is explained computationally by induction on the type involving several…

We consider the category of modules over sheaves of Deformation-Quantization (DQ) algebras on bionic symplectic varieties. These spaces are equipped with both an elliptic $\mathbb{G}_m$-action and a Hamiltonian $\mathbb{G}_m$-action, with…

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is…

We generalize and clarify Gerstenhaber and Schack's "Special Cohomology Comparison Theorem". More specifically we obtain a fully faithful functor between the derived categories of bimodules over a prestack over a small category U and the…

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

The localising subcategories of the derived category of the cochains on the classifying space of a finite group are classified. They are in one to one correspondence with the subsets of the set of homogeneous prime ideals of the cohomology…

We show that classical Chern classes from higher ($p$-adic) $K$-theory to syntomic cohomology extend to logarithmic syntomic cohomology. These Chern classes are compatible -- in a suitable sense -- with addition, products, and…

Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…

We compare the log motivic stable homotopy category and the usual motivic stable homotopy category over a perfect field admitting resolution of singularities. As a consequence, we show that the log motivic stable homotopy groups are…

In this note, we give an elementary proof of the result given by Schenzel that there are functorial isomorphisms between local cohomology groups and \v{C}ech cohomology groups, by using weakly proregular sequences. In [Sch03], he used…

Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…

We give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $K\mathrm{End}(\mathcal{C})$ to topological Hochschild homology $\mathrm{THH}(\mathcal{C})$ for any spectral Waldhausen category…

Let $X$ be a compact Riemann surface of genus $g \geq 2$ and let $D\subset X$ be a fixed finite subset. We considered the moduli spaces of parabolic Higgs bundles and of parabolic connections over $X$ with the parabolic structure over $D$.…

For two differentiable maps between two manifolds of possibly different dimensions, the local and global coincidence homology classes are introduced and studied by Bisi- Bracci-Izawa-Suwa (2016) in the framework of Cech-de Rham cohomology.…

Motivated by a problem in motivic homotopy theory considered by Asok-Fasel-Hopkins, we give a description of the rational $C_2$-equivariant homotopy type of the classifying space ${BSU_{\mathbb{R}}}_m$ in terms of equivariant…

We characterise reflexive DG-categories, as introduced by Kuznetsov and Shinder, as the reflexive objects in the closed symmetric monoidal category of DG-categories localised at Morita equivalences. As consequences, we show that the…

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…