Related papers: Higher sheaf theory I: Correspondences

We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between…

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…

Let (G,K) be a symmetric pair over the complex numbers, and let X=K\G be the corresponding symmetric space. In this paper we study a nearby cycles functor associated to a degeneration of X to MN\G, which we call the "wonderful…

We construct a general class of correspondences on hyperelliptic Riemann surfaces of arbitrary genus that combine finitely many Fuchsian genus zero orbifold groups and Blaschke products. As an intermediate step, we first construct analytic…

We construct a full rectangular Lefschetz collection in the derived category of the adjoint Grassmannian in type $\mathrm{F}_4$. This gives the first example of a full exceptional collection on this variety and also completes the proof of a…

We explain how to calculate the correlation function for SYM N=2 SO(3)-gauge QFT with 4 flavors in terms of top Chern classes of the universal bundles over the moduli spaces of rank 2 stable torsion free coherent sheaves with det=-1 on the…

In this paper, we consider polynomial correspondences $f (x, y)$ in $\mathbb{C}[x, y]$ of degree $d \ge 2$ in both the variables and obtain necessary and sufficient conditions in order that the equation $f (x, y) = 0$ can be expressed as…

We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

The additivity theorem for derivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity,…

This paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving…

We prove a general relative higher index theorem for complete manifolds with positive scalar curvature towards infinity. We apply this theorem to study Riemannian metrics of positive scalar curvature on manifolds. For every two metrics of…

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to…

We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular varieties, under a 'splayedness' assumption. The relation is shown to hold for both the…

This note reviews the authors' approach to Fujino's conjecture, i.e. the injectivity theorem for lc pairs on compact K\"ahler manifolds, via the use of adjoint ideal sheaves coupled with the associated residue computations in their previous…

Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The…

Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all…

We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.

We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from…