Model category structures on chain complexes of sheaves

The unbounded derived category of a Grothendieck abelian category is the homotopy category of a Quillen model structure on the category of unbounded chain complexes, where the cofibrations are the injections. This folk theorem is apparently due to Joyal, and has been generalized recently by Beke. However, in most cases of interest, such as the category of sheaves on a ringed space or the category of quasi-coherent sheaves on a nice enough scheme, the abelian category in question also has a tensor product. The injective model structure is not well-suited to the tensor product. In this paper, we consider another method for constructing a model structure. We apply it to the category of sheaves on a well-behaved ringed space. The resulting flat model structure is compatible with the tensor product and all homomorphisms of ringed spaces.

     

EXTENDING SCHEMES TO A CARTESIAN CLOSED CATEGORY

Abstract

Our objective was to embed schemes of finite type over a field k in a suitably small Cartesian closed category. Two types of globalized versions of an ind-affine scheme were proposed: locally ind-affine ringed spaces and ind-schemes obtained by taking the inductive limit of closed subschemes of a locally ind-affine ringed space in ringed spaces. First in ε case some reasonably general conditions implying that translations, basic open subsets and closed subsets of an ind-affine scheme are again ind-affine schemes were obtained. Certain immersive properties of locally ind-affine ringed spaces are shown. As an adjunct we then determine a class of locally ind-affine ringed spaces which since they patch appropriately are ind-schemes. A restriction of locally ind-affine ringed spa1 leads to the category of locally ind-affine schemes (containing the category of schemes of finite type over k) which is see1 to be Cartesian closed with respect to the contravariant variable. Possible extensions to the covariant variable are studied.     

Classifying vectoids and operad kinds

A new generalisation of the notion of space, called vectoid, is suggested. Basic definitions, examples and properties are presented, as well as a construction of direct product of vectoids. Proofs of more complicated properties not used later are just sketched. Classifying vectoids of simplest algebraic structures, such as objects, algebras and coalgebras, are studied in some detail afterwards. Such classifying vectoids give interesting examples of vectoids not coming from spaces known before (such as ringed topoi). Moreover, monoids in the endomorphism categories of these classifying vectoids turn out to provide a systematic approach to constructing different versions of the notion of an operad, as well as its generalisations, unknown before.     

Locally finitely presented categories of sheaves

Let A be a locally finitely presented Grothendieck category. It is shown that a class of localizations of A in the sense of Bousfield is again locally finitely presented. The criterion is applied to torsion-free classes in A, sheaves and separated presheaves on a generalized ringed space, and representations of partially ordered sets.     

On the Parameterization of Rational Ringed Surfaces and Rational Canal Surfaces

Ringed surfaces and canal surfaces are surfaces that contain a one-parameter family of circles. Ringed surfaces can be described by a radius function, a directrix curve and vector field along the directrix curve, which specifies the normals of the planes that contain the circles. In particular, the class of ringed surfaces includes canal surfaces, which can be obtained as the envelopes of a one-parameter family of spheres. Consequently, canal surfaces can be described by a spine curve and a radius function. We present parameterization algorithms for rational ringed surfaces and rational canal surfaces. It is shown that these algorithms may generate any rational parameterization of a ringed (or canal) surface with the property that one family of parameter lines consists of circles. These algorithms are used to obtain rational parameterizations for Darboux cyclides and to construct blends between pairs of canal surfaces and pairs of ringed surfaces.     

Homological Algebra of Twisted Quiver Bundles

Several important cases of vector bundles with extra structure(such as Higgs bundles and triples) may be regarded as examplesof twisted representations of a finite quiver in the categoryof sheaves of modules on a variety/manifold/ringed space. Itis shown that the category of such representations is an abeliancategory with enough injectives by the construction of an explicitinjective resolution. Using this explicit resolution, a longexact sequence is found that computes the Ext groups in thisnew category in terms of the Ext groups in the old category.The quiver formulation is directly reflected in the form ofthe long exact sequence. It is also shown that under suitablecircumstances, the Ext groups are isomorphic to certain hypercohomologygroups.     

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.     

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.     

The cayley-dickson doubling process revisited

We introduce the category of composition triples over locally ringed spaces. In this category we find the category of composition algebras over locally ringed spaces as subcategory. We describe the Cay ley-Dickson doubling process in the category of composition triples.     

Picard groups of derived categories

We investigate the group of isomorphism classes of invertible objects in the derived category of -modules for a commutative unital ringed Grothendieck topos with enough points. When the ring has connected prime ideal spectrum for all points p of we show that is naturally isomorphic to the Cartesian product of the Picard group of -modules and the additive group of continuous functions from the space of isomorphism classes of points of to the integers . Also, for a commutative unital ring R, the group is isomorphic to the Cartesian product of Pic(R) and the additive group of continuous functions from spec R to the integers .     

Relative Riemann-Zariski spaces

In this paper we study relative Riemann-Zariski spaces associated to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described either as projective limits of schemes in the category of locally ringed spaces or as certain spaces of valuations. We apply these spaces to prove the following two new results: a strong version of stable modification theorem for relative curves; a decomposition theorem which asserts that any separated morphism between quasi-compact and quasiseparated schemes factors as a composition of an affine morphism and a proper morphism. In particular, we obtain a new proof of Nagata’s compactification theorem.     

The Toroidal Embedding Arising From an Irrational Fan

A toroidal embedding is defined which does not assume the fan consists of rational cones. For a rational fan, the toroidal embedding is the usual toric variety. If the fan is not rational, the toroidal embedding is in general a quasi-compact noetherian locally ringed space which is not a scheme. A divisor theory exists and a class group is defined. A second construction is also carried out which mimics the gluing construction of the usual toric variety, but which makes no reference to a lattice. The resulting scheme is separated but infinite dimensional. The Picard group is described in terms of the group of real valued locally linear support functions on the fan and the Brauer group is shown to be trivial. Many examples are given throughout the paper; in particular, it is shown that there is associated to a real hyperplane arrangement of full rank a toroidal embedding.     

Broken hyperbolic structures and affine foliations on surfaces

In this paper, we introduce two new kinds of structures on a non-compact surface: broken hyperbolic structures and broken measured foliations. The space of broken hyperbolic structures contains the Teichmüller space of the surface as a subspace. The space of broken measured foliations is naturally identified with the space of affine foliations of the surface. We describe a topology on the union of the space of broken hyperbolic structures and of the space of broken measured foliations which generalizes Thurston's compactification of Teichmüller space.     

Jordan Algebras Over Algebraic Varieties

General results on the module structure of Jordan algebras over locally ringed spaces are obtained. Albert algebras over a Brauer–Severi variety with associated central simple algebra of degree 3 are constructed using generalizations of the Tits process and the first Tits construction.     

The Weil–Petersson Kähler Form and Affine Foliations on Surfaces

The space of broken hyperbolic structures generalizes the usual Teichmüller space of a punctured surface, and the space of projectivized broken measured foliations – or, equivalently, the space of projectivized affine foliations of a punctured surface – likewise generalizes the space of projectivized measured foliations. Just as projectivized measured foliations provide Thurston's boundary for Teichmüller space, so too do projectivized broken measured foliations provide a boundary for the space of broken hyperbolic structures. In this paper, we naturally extend the Weil–Petersson Kähler two-form to a corresponding two-form on the space of broken hyperbolic structures as well as Thurston's symplectic form to a corresponding two-form on the space of broken measured foliations, and we show that the former limits in an appropriate sense to the latter. The proof in sketch follows earlier work of the authors for measured foliations and depends upon techniques from decorated Teichmüller theory, which is also applied here to a further study of broken hyperbolic structures.     

Possibly non-unital operator system structures on a possibly non-unital function system

In this paper, we first give the definition of possibly non-unital function system, which is a characterization of the self-adjoint subspace of the space of continuous functions on a compact Hausdorff space with the induced order and norm structure. Similar to operator system case, we define the unitalization of a possibly non-unital function system. Then we construct two possibly non-unital operator system structures on a given possibly non-unital function system, which are the analogues of minimal and maximal operator spaces on a normed space. These two structures have many interesting relations with the minimal and maximal operator system structures on a given function system.     

Affine foliations and covering hyperbolic structures

We describe the relationship between closed affine laminations in a punctured surface and some associated hyperbolic structures on certain covers of the punctured surface, which we call covering hyperbolic structures. Further, in analogy with the theory of William Thurston relating the Teichmüller space of a surface to the projective lamination space, we describe a space with points representing affine laminations in a given surface and with other points representing the associated covering hyperbolic structures. Received: 27 March 2000 / Revised version: 10 January 2001     

Symmetric composition algebras over algebraic varieties

Let ${(X,\mathcal{O}_X)}$ be a locally ringed space. We investigate the structure of symmetric composition algebras over X obtained from cubic alternative algebras ${\mathcal{A}}$ over X generalizing a method first presented by J. R. Faulkner. We find examples of Okubo algebras over elliptic curves which do not have any isotopes which are octonion algebras and of an octonion algebra which is a Cayley-Dickson doubling of a quaternion algebra but does not contain any quadratic étale algebras.     

Dense computability structures

We examine computability structures on a metric space and the relationships between maximal, separable and dense computability structures. We prove that in a computable metric space which has the effective covering property and compact closed balls for a given computable sequence which is a metric basis there exists a unique maximal computability structure which contains that sequence. Furthermore, we prove that each maximal computability structure on a convex subspace of Euclidean space is dense. We also examine subspaces of Euclidean space on which each dense maximal computability structure is separable and prove that spheres, boundaries of simplices and conics are such spaces.     

Quantization in Geometric Pluripotential Theory

The space of Kähler metrics, on the one hand, can be approximated by subspaces of algebraic metrics, while, on the other hand, it can also be enlarged to finite-energy spaces arising in pluripotential theory. The latter spaces are realized as metric completions of Finsler structures on the space of Kähler metrics. The former spaces are the finite-dimensional spaces of Fubini-Study metrics of Kähler quantization. The goal of this article is to draw a connection between the two. We show that the Finsler structures on the space of Kähler potentials can be quantized. More precisely, given a Kähler manifold polarized by an ample line bundle we endow the space of Hermitian metrics on powers of that line bundle with Finsler structures and show that the resulting path length metric spaces recover the corresponding metric completions of the Finsler structures on the space of Kähler potentials. This has a number of applications, among them a new Lidskii-type inequality on the space of Kähler metrics, a new approach to the rooftop envelopes and Pythagorean formulas of Kähler geometry, and approximation of finite-energy potentials, as well as geodesic segments by the corresponding smooth algebraic objects. © 2019 Wiley Periodicals, Inc.