Snop (matematika)

U matematici, snop je alat za systematically tracking locally defined data attached to the open sets of a topological space. The data can be restricted to smaller open sets, and the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original one. For example, such data can consist of the rings of continuous or smooth real-valued functions defined on each open set. Sheaves are by design quite general and abstract objects, and their correct definition is rather technical. They are variously defined, for example, as sheaves of sets or sheaves of rings, depending on the type of data assigned to open sets.

There are also maps (or morphisms) from one sheaf to another; sheaves (of a specific type, such as sheaves of abelian groups) with their morphisms on a fixed topological space form a category. On the other hand, to each continuous map there is associated both a direct image functor, taking sheaves and their morphisms on the domain to sheaves and morphisms on the codomain, and an inverse image functor operating in the opposite direction. These functors, and certain variants of them, are essential parts of sheaf theory.

Due to their general nature and versatility, sheaves have several applications in topology and especially in algebraic and differential geometry. First, geometric structures such as that of a differentiable manifold or a scheme can be expressed in terms of a sheaf of rings on the space. In such contexts several geometric constructions such as vector bundles or divisors are naturally specified in terms of sheaves. Second, sheaves provide the framework for a very general cohomology theory, which encompasses also the "usual" topological cohomology theories such as singular cohomology. Especially in algebraic geometry and the theory of complex manifolds, sheaf cohomology provides a powerful link between topological and geometric properties of spaces. Sheaves also provide the basis for the theory of D-modules, which provide applications to the theory of differential equations. In addition, generalisations of sheaves to more general settings than topological spaces, such as Grothendieck topology, have provided applications to mathematical logic and number theory.

Pregled

U topologiji, diferencijalnoj geometriji, i algebarskoj geometriji, nekoliko struktura definisanih u topološkom prostoru (e.g., a differentiable manifold) mogu se prirodno lokalizovati ili ograničiti na otvoreni subsets of the space: typical examples include continuous real-valued or complex-valued functions, n times differentiable (real-valued or complex-valued) functions, bounded real-valued functions, vector fields, and sections of any vector bundle on the space.

Presheaves formalise the situation common to the examples above: a presheaf (of sets) on a topological space is a structure that associates to each open set U of the space a set F(U) of sections on U, and to each open set V included in U a map F(U) → F(V) giving restrictions of sections over U to V. Each of the examples above defines a presheaf by taking the restriction maps to be the usual restriction of functions, vector fields and sections of a vector bundle. Moreover, in each of these examples the sets of sections have additional algebraic structure: pointwise operations make them abelian groups, and in the examples of real and complex-valued functions the sets of sections even have a ring structure. In addition, in each example the restriction maps are homomorphisms of the corresponding algebraic structure. This observation leads to the natural definition of presheaves with additional algebraic structure such as presheaves of groups, of abelian groups, of rings: sets of sections are required to have the specified algebraic structure, and the restrictions are required to be homomorphisms. Thus for example continuous real-valued functions on a topological space form a presheaf of rings on the space.

Given a presheaf, a natural question to ask is to what extent its sections over an open set U are specified by their restrictions to smaller open sets V_i of an open cover of U. A presheaf is separated if its sections are "locally determined": whenever two sections over U coincide when restricted to each of V_i, the two sections are identical. All examples of presheaves discussed above are separated, since in each case the sections are specified by their values at the points of the underlying space. Finally, a separated presheaf is a sheaf if compatible sections can be glued together, i.e., whenever there is a section of the presheaf over each of the covering sets V_i, chosen so that they match on the overlaps of the covering sets, these sections correspond to a (unique) section on U, of which they are restrictions. It is easy to verify that all examples above except the presheaf of bounded functions are in fact sheaves: in all cases the criterion of being a section of the presheaf is local in a sense that it is enough to verify it in an arbitrary neighbourhood of each point.

On the other hand, a function can be bounded on each set of an (infinite) open cover of a space without being bounded on all of the space; thus bounded functions provide an example of a (separated) presheaf that in general fails to be a sheaf. Another example of a presheaf that fails to be a sheaf is a constant presheaf that associates the same fixed set (or abelian group, or ring,...) to each open set: it follows from the gluing property of sheaves that the set of sections on a disjoint union of two open sets is the Cartesian product of the sets of sections over the two open sets. The correct way to define the constant sheaf F_A (associated to for instance a set A) on a topological space is to require sections on an open set U to be continuous maps from U to A equipped with the discrete topology; then in particular F_A(U) = A for connected U.

Maps between sheaves or presheaves (called morphisms), consist of maps between the sets of sections over each open set of the underlying space, compatible with restrictions of sections. If the presheaves or sheaves considered are provided with additional algebraic structure, these maps are assumed to be homomorphisms. Sheaves endowed with nontrivial endomorphisms, such as the action of an algebraic torus or a Galois group, are of particular interest.

Presheaves and sheaves are typically denoted by capital letters, F being particularly common, presumably for the French word for sheaves, faisceaux. Use of calligraphic letters such as ${\mathcal {F}}$ is also common.

Literatura

• Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092 
• Grothendieck, Alexander (1957), „Sur quelques points d'algèbre homologique”, The Tohoku Mathematical Journal, Second Series, 9: 119—221, ISSN 0040-8735, MR 0102537, doi:10.2748/tmj/1178244839 
• Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Classics in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-58663-0, MR 1335917  (updated edition of a classic using enough sheaf theory to show its power)
• Mac Lane, Saunders; Moerdijk, Ieke (1994), Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97710-2, MR 1300636  (category theory and toposes emphasised)
• Martin, William T.; Chern, Shiing-Shen; Zariski, Oscar (1956), „Scientific report on the Second Summer Institute, several complex variables”, Bulletin of the American Mathematical Society, 62 (2): 79—141, ISSN 0002-9904, MR 0077995, doi:10.1090/S0002-9904-1956-10013-X 
• J. Arthur Seebach, Linda A. Seebach & Lynn A. Steen (1970) "What is a Sheaf", American Mathematical Monthly 77:681–703 MR0263073.
• Serre, Jean-Pierre (1955), „Faisceaux algébriques cohérents” (PDF), Annals of Mathematics, Second Series, 61 (2): 197—278, ISSN 0003-486X, JSTOR 1969915, MR 0068874, doi:10.2307/1969915 
• Swan, Richard G. (1964), The Theory of Sheaves, University of Chicago Press  (concise lecture notes)
• Tennison, Barry R. (1975), Sheaf theory, Cambridge University Press, MR 0404390  (pedagogic treatment)
• Armstrong, M. A. (1983) [1979]. Basic Topology. Undergraduate Texts in Mathematics. Springer. ISBN 0-387-90839-0. 
• Bredon, Glen E., Topology and Geometry (Graduate Texts in Mathematics), Springer; 1st edition (October 17, 1997). ISBN 0-387-97926-3.
• Bourbaki, Nicolas; Elements of Mathematics: General Topology, Addison-Wesley (1966).
• Brown, Ronald, Topology and Groupoids, Booksurge (2006) ISBN 1-4196-2722-8 (3rd edition of differently titled books)
• Čech, Eduard; Point Sets, Academic Press (1969).
• Fulton, William, Algebraic Topology, (Graduate Texts in Mathematics), Springer; 1st edition (September 5, 1997). ISBN 0-387-94327-7.
• Gallier, Jean; Xu, Dianna (2013). A Guide to the Classification Theorem for Compact Surfaces. Springer. 
• Gauss, Carl Friedrich; General investigations of curved surfaces, 1827.
• Lipschutz, Seymour; Schaum's Outline of General Topology, McGraw-Hill; 1st edition (June 1, 1968). ISBN 0-07-037988-2.
• Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
• Runde, Volker; A Taste of Topology (Universitext), Springer; 1st edition (July 6, 2005). ISBN 0-387-25790-X.
• Schubert, Horst (1968), Topology, Macdonald Technical & Scientific, ISBN 0-356-02077-0 
• Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
• Vaidyanathaswamy, R. (1960). Set Topology. Chelsea Publishing Co. ISBN 0486404560. 
• Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6. 
• Donaldson, Simon (1983). „An application of gauge theory to four-dimensional topology”. Journal of Differential Geometry. 18 (2): 279—315. 
• Hartshorne, Robin (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9. 
• Hazewinkel Michiel, ур. (2001). „Differentiable manifold”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• Kervaire, Michel A. (1960). „A manifold which does not admit any differentiable structure”. Commentarii Mathematici Helvetici. 34 (1): 257–270. doi:10.1007/BF02565940. .
• Kobayashi, Shoshichi (1972). Transformation groups in differential geometry. Springer. 
• Lee, Jeffrey M. (2009), Manifolds and Differential Geometry, Graduate Studies in Mathematics, Vol. 107, Providence: American Mathematical Society  .
• Levi-Civita, Tullio (1927). The absolute differential calculus (calculus of tensors). 
• Milnor, John (1956). „On Manifolds Homeomorphic to the 7-Sphere”. Annals of Mathematics. 64: 399—405. JSTOR 1969983. doi:10.2307/1969983. 
• Ranicki, Andrew (2002). Algebraic and Geometric Surgery. Oxford Mathematical Monographs, Clarendon Press. ISBN 0-19-850924-3. 
• Ricci-Curbastro, Gregorio; Levi-Civita, Tullio (1901). Die Methoden des absoluten Differentialkalkuls. 
• Ricci-Curbastro, Gregorio (1888). „Delle derivazioni covarianti e controvarianti e del loro uso nella analisi applicata (Italian)”. 
• Riemann, Bernhard (1867). „Ueber die Hypothesen, welche der Geometrie zu Grunde liegen (On the Hypotheses which lie at the Bases of Geometry)”. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen. 13.  Available online at Trinity College Dublin
• Sela, Zlil (1995). „The isomorphism problem for hyperbolic groups. I”. Annals of Mathematics. Annals of Mathematics. 141 (2): 217—283. JSTOR 2118520. doi:10.2307/2118520. 
• Sternberg, Shlomo (1964). Lectures on Differential Geometry. Prentice-Hall. 
• Weisstein, Eric W. „Smooth Manifold”. Приступљено 2008-03-04. 
• Weyl, Hermann (1955). Die Idee der Riemannschen Fläche. Teubner. 
• Whitney, Hassler (1936). „Differentiable Manifolds”. Annals of Mathematics. Annals of Mathematics. 37 (3): 645—680. JSTOR 1968482. doi:10.2307/1968482. 

Spoljašnje veze

• „Sheaf”. PlanetMath.