相关论文: Flasque model structures for simplicial presheaves

In analogy with flasque sheaves, we introduce the notion of flasque meadow as a common meadow where the transition maps are all surjective. We study some properties of flasque meadows and illustrate them with many examples and…

It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.

It is shown that moduli spaces of complete families of compact complex hypersurfaces in complex manifolds often come equipped canonically with projective structures satisfying some natural integrability conditions.

In this note we describe conditions under which the algebras for a monad on a presheaf category equipped with some additional structure are fibrant objects in a model structure. We also prove that when these conditions are satisfied the…

It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of…

In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…

Assuming Hartshorne's conjecture on complete intersections, we classify projective bundles over projective spaces which has a smooth blow up structure over another projective space. Under some assumptions, we also classify projective…

In this paper we characterize smooth complex projective varieties that admit a quadric bundle structure on some dense open subset in terms of the geometry of certain families of rational curves.

We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such…

A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial…

We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define…

We construct injective hulls and projective covers in categories of generalized uniform hypergraphs which generalizes the constructions in the category of quivers and the category of undirected graphs. While the constructions are not…

We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on…

Finite projective planes are constructed using groups that satisfy simple-looking conditions. The resulting projective planes include many known planes and possibly new ones, and are precisely those having a collineation group fixing a flag…

Solvable structures are exploited in order to find families of explicit solutions to evolution PDEs admitting suitable differential constraints. The effectiveness of the method is verified on several explicit examples.

We prove that the projective model structure on the category of unbounded cochain complexes extends naturally to the category of contractions. The proof is completely elementary and we do not assume familiarity with model categories.

A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…

In this paper we give a generalization of injective and projective complexes.

A projective structure on a compact Riemann surface X of genus g is given by an atlas with transition functions in PGL(2,C). Equivalently, a projective structure is given by a projective sl(2,C)-bundle over X equipped with a section s and a…

We present Diffusion Structures, a family of resilient shell structures from the eigenfunctions of a pair of novel diffusion operators. This approach is based on Michell's theorem but avoids expensive non-linear optimization with…