Related papers: Hypersheaves and bases

We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this…

We prove Viehweg's hyperbolicity conjecture over compact bases and over bases with non-uniruled compactification. The most general case of the conjecture states that the the base space of a maximal variation family of smooth projective…

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

Consider an algebraic variety $X$ over a base scheme $S$ and a faithful base change $T \to S$. Given an admissible subcategory $\CA$ in the bounded derived category of coherent sheaves on $X$, we construct an admissible subcategory in the…

We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…

For a variety X which admits a Cox ring we introduce a functor from the category of quasi-coherent sheaves on $X$ to the category of graded modules over the homogeneous coordinate ring of $X$. We show that this functor is right-adjoint to…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

We discuss a systematic procedure for categorifying presentable six-functor formalisms. Our main result produces, given the input of a representation of the $\infty$-category of correspondences of an $\infty$-category with finite limits…

We prove homological mirror symmetry for projective hypersurfaces of sufficiently high degree using a functor from the wrapped Fukaya category of an affine hypersurface to the Fukaya category of its boundary at infinity.

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

For a weighted projective line X, a wide subcategory of the category coh-X of coherent sheaves over X is called c-invariant if it is closed under the grading shift of the canonical element c. We proved that a c-invariant wide subcategory of…

We prove a relative version of the fact that semiorthogonal decompositions of the bounded derived category of coherent sheaves are strongly constrained by the base locus of the canonical linear system. As an application we prove that the…

We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category.…

We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We show that conically smooth stratified spaces embed fully faithfully into $\infty$-categories. This articulates a stratified generalization of the homotopy hypothesis proposed by Grothendieck. As such, each $\infty$-category defines a…

We prove an h-principle with boundary condition for a certain class of topological spaces valued sheaves. The techniques used in the proof come from the study of the homotopy type of the cobordism categories, and they are of simplicial and…

In this paper, we introduced $\alpha$-Hurewicz $\&$ $\theta$-Hurewicz properties in a topological space $X$ and investigated their relationship with other selective covering properties. We have shown that for an extremally disconnected…

It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…

Let $X \hookrightarrow \overline{X}$ be an open immersion of smooth varieties over a field of characteristic $p>0$ such that the complement is a simple normal crossing divisor and let $\overline{Z} \subseteq Z \subseteq \overline{X}$ be…