Locally torsion-free quasi-coherent sheaves

Let X   be an arbitrary scheme. It is known that the category Qcoh(X)$\mathfrak{Qcoh}(X)$ of quasi-coherent sheaves admits arbitrary products. However its structure seems to be rather mysterious. In the present paper we will describe the structure of the product object of a family of locally torsion-free objects in Qcoh(X)$\mathfrak{Qcoh}(X)$, for X an integral scheme. Several applications are provided. For instance it is shown that the class of flat quasi-coherent sheaves on a Dedekind scheme X   is closed under arbitrary direct products, and that the class of all locally torsion-free quasi-coherent sheaves induces a hereditary torsion theory on Qcoh(X)$\mathfrak{Qcoh}(X)$. Finally torsion-free covers are shown to exist in Qcoh(X)$\mathfrak{Qcoh}(X)$.     

On the derived category of quasi-coherent sheaves on an Adams geometric stack

Let $\mathsf{X}$ be an Adams geometric stack. We show that $\mathsf{D}({\mathsf{A}}_{\mathsf{qc}}(\mathsf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland in [13]. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathsf{X}$.     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

New notions in derived categories of local rings

In the derived category of a local commutative noetherian ring, we define irreducible chain complexes, atomic chain complexes, minimal atomic chain complexes and chain complexes having no mod m detectable homology. Also, we define nuclear chain complexes and core of chain complexes. After defining these notions, we establish the connection between them.     

Perverse coherent sheaves and the geometry of special pieces in the unipotent variety

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U⊂X be an open set whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent intermediate extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent intermediate extension functor.Under suitable hypotheses, we introduce a construction (called “S₂-extension”) in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical “S₂-ification” of appropriate X. The construction also has applications to the “Macaulayfication” problem, and it is particularly well-behaved when X is Gorenstein.Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown for the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S₂-extension to give a uniform construction of the desired variety.     

Fourier-Mukai transforms for Gorenstein schemes

We extend to singular schemes with Gorenstein singularities or fibered in schemes of that kind Bondal and Orlov's criterion for an integral functor to be fully faithful. We also prove that the original condition of characteristic zero cannot be removed by providing a counterexample in positive characteristic. We contemplate a criterion for equivalence as well. In addition, we prove that for locally projective Gorenstein morphisms, a relative integral functor is fully faithful if and only if its restriction to each fibre is also fully faithful. These results imply the invertibility of the usual relative Fourier-Mukai transform for an elliptic fibration as a direct corollary.     

The axiomatic power of Kolmogorov complexity

The famous Gödel incompleteness theorem states that for every consistent, recursive, and sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements would be natural candidates for being added as axioms, but how can we obtain them? One classical (and well studied) approach is to add to some theory T an axiom that claims the consistency of T  . In this paper we discuss another approach motivated by Chaitin's version of Gödel's theorem where axioms claiming the randomness (or incompressibility) of some strings are probabilistically added, and show that it is not really useful, in the sense that this does not help us prove new interesting theorems. This result answers a question recently asked by Lipton. The situation changes if we take into account the size of the proofs: randomly chosen axioms may help making proofs much shorter (unless NP=PSPACE$\mathrm{NP}=\mathrm{PSPACE}$).     

Relative homological algebra in the category of quasi-coherent sheaves

In this paper, we prove the existence of a flat cover and of a cotorsion envelope for any quasi-coherent sheaf over a scheme (X,O_X). Indeed we prove something more general. We define what it is understood by the category of quasi-coherent R-modules, where R is a representation by rings of a quiver Q, and we prove the existence of a flat cover and a cotorsion envelope for quasi-coherent R-modules. Then we use the fact that the category of quasi-coherent sheaves on (X,O_X) is equivalent to the category of quasi-coherent R-modules for some Q and R to get our result.     

Three models for the homotopy theory of homotopy theories

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a “homotopy theory of homotopy theories”. In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with the respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.     

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.     

On cellularization for simplicial presheaves and motivic homotopy

We construct cellular homotopy theories for categories of simplicial presheaves on small Grothendieck sites and discuss applications to the motivic homotopy category of Morel and Voevodsky.     

On the stable principal Higgs sheaves

Let G be a connected reductive linear algebraic group defined over C with Lie algebra g. Let be a stable principal Higgs G-sheaf on a compact connected Kähler manifold. We consider all holomorphic sections of the adjoint vector bundle ad(EG) of EG that commute with the Higgs field φ. These correspond to the infinitesimal automorphisms of the principal Higgs G-sheaf. Any element of the center of g gives such a section. We prove that all the sections are given by the center of g.     

Geometrical symmetric powers in the motivic homotopy category

Symmetric powers of quasi-projective schemes can be extended via Kan extensions to geometrical symmetric powers of motivic spaces. In this work, we study geometrical symmetric powers and compare them with various symmetric powers in the unstable and stable ${\mathbb{A}}^1$-homotopy category of schemes over a field.     

Crossed modules as homotopy normal maps

In this note we consider crossed modules of groups (N→G, G→Aut(N)), as a homotopy version of the inclusion N⊂G of a normal subgroup. Our main observation is a characterization of the underlying map N→G of a crossed module in terms of a simplicial group structure on the associated bar construction. This approach allows for “natural” generalizations to other monoidal categories, in particular we consider briefly what we call “normal maps” between simplicial groups.     

A local-global principle for the telescope conjecture

We prove an étale local-global principle for the telescope conjecture and use it to show that the telescope conjecture holds for derived categories of Azumaya algebras on noetherian schemes as well as for many classifying stacks and gerbes. This specializes to give another proof of the fact that the telescope conjecture holds for noetherian schemes.     

Finite products are biproducts in a compact closed category

If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.     

Internal Homs via extensions of dg functors

We provide a simple proof of the existence of internal Homs in the localization of the category of dg categories with respect to all quasi-equivalences and of some of their main properties such as the so-called derived Morita theory. This was originally proved in a seminal paper by Toën.