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)$.     

The derived category of quasi-coherent sheaves and axiomatic stable homotopy

We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme.     

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.     

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}$.     

Locally projective monoidal model structure for complexes of quasi-coherent sheaves on P1(k)

We will generalize the projective model structure in the categoryof unbounded complexes of modules over a commutative ring tothe category of unbounded complexes of quasi-coherent sheavesover the projective line. Concretely we will define a locallyprojective model structure in the category of complexes of quasi-coherentsheaves on the projective line. In this model structure thecofibrant objects are the dg-locally projective complexes. Wealso describe the fibrations of this model structure and showthat the model structure is monoidal. We point out that thismodel structure is necessarily different from other known modelstructures such as the injective model structure and the locallyfree model structure.     

Cat-valued sheaves

Let \(\mathcal{\widetilde{O}}\)(B) be the category of (open) subcategories of a topological groupoid B: In this paper we study Cat-valued sheaves over category \(\mathcal{\widetilde{O}}\)(B): The paper introduces a notion of categorical union, such that the categorical union of subcategories is a subcategory. We use this definition of categorical unions to define a categorical cover of a topological category. Instead of assuming a Grothendieck topology, we define Cat-valued sheaves in terms of the categorical cover defined in this paper. The main result is the following. For a fixed category C, the categories of local functorial sections from B to C define a Catvalued sheaf on \(\mathcal{\widetilde{O}}\)(B): Replacing C with a categorical group G; we find a CatGrp-valued sheaf on \(\mathcal{\widetilde{O}}\)(B): We also relate and distinguish our construction with the notion of stacks.     

Noise of quantum solitons and their quasi-coherent states

Quantum noise of optical solitons is analysed based on the exact solutions of the quantum nonlinear Schrödinger equation (QNSE) and the construction of the quantum soliton states. The noise limits are obtained for the local photon number and for the local quadrature phase amplitude. They are larger than the vacuum fluctuation. So in the fundamental soliton states the variance of the local photon number and the local quadrature phase amplitude cannot be squeezed. The soliton states with the minimum noise are quasi-coherent states, in which the quantum dispersion effects are negligible.     

Toric co-Higgs sheaves

We characterise and investigate co-Higgs sheaves and associated algebraic and combinatorial invariants on toric varieties. In particular, we compute explicit examples.     

Gorenstein injective sheaves

We define Gorenstein injective quasi-coherent sheaves, and prove that the notion is local in case the scheme is Gorenstein. We also give a new characterization of a Gorenstein scheme in terms of the total acyclicity of every acyclic complex of injective quasi-coherent modules.