To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Simplicial presheaf

From Wikipedia, the free encyclopedia

In mathematics, more specifically in homotopy theory, a simplicial presheaf is a presheaf on a site (e.g., the category of topological spaces) taking values in simplicial sets (i.e., a contravariant functor from the site to the category of simplicial sets). Equivalently, a simplicial presheaf is a simplicial object in the category of presheaves on a site. The notion was introduced by A. Joyal in the 1970s.[1] Similarly, a simplicial sheaf on a site is a simplicial object in the category of sheaves on the site.[2]

Example: Consider the étale site of a scheme S. Each U in the site represents the presheaf . Thus, a simplicial scheme, a simplicial object in the site, represents a simplicial presheaf (in fact, often a simplicial sheaf).

Example: Let G be a presheaf of groupoids. Then taking nerves section-wise, one obtains a simplicial presheaf . For example, one might set . These types of examples appear in K-theory.

If is a local weak equivalence of simplicial presheaves, then the induced map is also a local weak equivalence.

Homotopy sheaves of a simplicial presheaf

Let F be a simplicial presheaf on a site. The homotopy sheaves of F is defined as follows. For any in the site and a 0-simplex s in F(X), set and . We then set to be the sheaf associated with the pre-sheaf .

Model structures

The category of simplicial presheaves on a site admits many different model structures.

Some of them are obtained by viewing simplicial presheaves as functors

The category of such functors is endowed with (at least) three model structures, namely the projective, the Reedy, and the injective model structure. The weak equivalences / fibrations in the first are maps

such that

is a weak equivalence / fibration of simplicial sets, for all U in the site S. The injective model structure is similar, but with weak equivalences and cofibrations instead.

Stack

A simplicial presheaf F on a site is called a stack if, for any X and any hypercovering HX, the canonical map

is a weak equivalence as simplicial sets, where the right is the homotopy limit of

.

Any sheaf F on the site can be considered as a stack by viewing as a constant simplicial set; this way, the category of sheaves on the site is included as a subcategory to the homotopy category of simplicial presheaves on the site. The inclusion functor has a left adjoint and that is exactly .

If A is a sheaf of abelian group (on the same site), then we define by doing classifying space construction levelwise (the notion comes from the obstruction theory) and set . One can show (by induction): for any X in the site,

where the left denotes a sheaf cohomology and the right the homotopy class of maps.

See also

Notes

  1. ^ Toën, Bertrand (2002), "Stacks and Non-abelian cohomology" (PDF), Introductory Workshop on Algebraic Stacks, Intersection Theory, and Non-Abelian Hodge Theory, MSRI
  2. ^ Jardine 2007, §1

Further reading

References

External links

This page was last edited on 7 March 2024, at 08:05
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.