Feix (matemàtiques): diferència entre les revisions
Contingut suprimit Contingut afegit
Cap resum de modificació Etiqueta: editor de codi 2017 |
Cap resum de modificació Etiqueta: editor de codi 2017 |
||
Línia 7:
Atesa la seva naturalesa i versatilitat generals, els feixos tenen diverses aplicacions en topologia i especialment en [[geometria algebraica]] i [[geometria diferencial|diferencial]]. En primer lloc, es poden expressar les estructures geomètriques com ara les [[varietat diferenciable|varietats diferenciables]] o un [[esquema (matemàtiques)|esquema]] en termes d'un feix d'anells a l'espai. En aquestes contextos, s'especifiquen diverses construccions geomètriques, com ara [[fibrat vectorial|fibrats vectorials]] o divisors, en termes de feixos. En segon lloc, els feixos proporcionen el marc per una teoria cohomològica molt general, que engloba també les teories cohomològiques topològiques "habituals" com ara la [[cohomologia]] singular. Especialment en geometria algebraica i en la teoria de [[varietat complexa|varietats complexes]], la cohomologia de feixos proporciona un vincle potent entre propietats topològiques i geomètriqueus dels espais. Els feixos també proporcionen una base per a la teoria de D-mòduls, que tenen aplicacions en la teoria d'[[equació diferencial|equacions diferencials]]. A més, les generalitzacions dels feixos a contextos més generals que espais topològics, com ara en topologies de Grothendieck, han tingut aplicacions en [[lògica matemàtica]] i en [[teoria de nombres]].
== Definicions i exemples ==
In many mathematical branches, several structures defined on a [[topological space]] <math>X</math> (e.g., a [[differentiable manifold]]) can be naturally ''localised'' or ''restricted'' to [[open set|open]] [[subset]]s <math>U \subset X</math>: typical examples include [[continuous function|continuous]] [[real numbers|real]]-valued or [[complex number|complex]]-valued functions, <math>n</math> times [[differentiable function|differentiable]] (real-valued or complex-valued) functions, [[bounded function|bounded]] real-valued functions, [[vector field]]s, and [[section (fiber bundle)|sections]] of any [[vector bundle]] on the space. The ability to restrict data to smaller open subsets gives rise to the concept of presheaves. Roughly speaking, sheaves are then those presheaves, where local data can be glued to global data.
=== Prefeixos ===
Let <math>X</math> be a topological space. A ''presheaf of sets'' <math>F</math> on <math>X</math> consists of the following data:
*For each open set <math>U</math> of <math>X</math>, a set <math>F(U)</math>. This set is also denoted <math>\Gamma(U, F)</math>. The elements in this set are called the ''sections'' of <math>F</math> over <math>U</math>. The sections of <math>F</math> over <math>X</math> are called the ''global sections'' of <math>F</math>.
*For each inclusion of open sets <math>V \subseteq U</math>, a function <math>\operatorname{res}_{V, U} \colon F(U) \rightarrow F(V)</math>. In view of many of the examples below, the morphisms <math>\text{res}_{V,U}</math> are called ''restriction morphisms''. If <math>s \in F(U)</math>, then its restriction <math>\text{res}_{V,U}(s)</math> is often denoted <math>s|_V</math> by analogy with restriction of functions.
The restriction morphisms are required to satisfy two additional ([[functorial]]) properties:
*For every open set <math>U</math> of <math>X</math>, the restriction morphism <math>\operatorname{res}_{U, U} \colon F(U) \rightarrow F(U)</math> is the identity morphism on <math>F(U)</math>.
*If we have three open sets <math>W \subseteq V \subseteq U</math>, then the [[function composition|composite]] <math>\text{res}_{W,V}\circ\text{res}_{V,U}=\text{res}_{W,U}</math>
Informally, the second axiom says it doesn't matter whether we restrict to ''W'' in one step or restrict first to ''V'', then to ''W''. A concise functorial reformulation of this definition is given further below.
Many examples of presheaves come from different classes of functions: to any ''<math>U</math>'', one can assign the set <math>C^0(U)</math> of continuous real-valued functions on ''<math>U</math>''. The restriction maps are then just given by restricting a continuous function on ''<math>U</math>'' to a smaller open subset ''<math>V</math>'', which again is a continuous function. The two presheaf axioms are immediately checked, thereby giving an example of a presheaf. This can be extended to a sheaf of holomorphic functions <math>\mathcal{H}(-)</math> and a sheaf of smooth functions <math>C^\infty(-)</math>.
Another common class of examples is assigning to ''<math>U</math>'' the set of ''constant'' real-valued functions on ''U''. This presheaf is called the ''constant presheaf'' associated to <math>\mathbb{R}</math> and is denoted <math>\underline{\mathbb{R}}^{psh}</math>.
=== Feixos===
Given a presheaf, a natural question to ask is to what extent its sections over an open set ''<math>U</math>'' are specified by their restrictions to smaller open sets <math>U_i</math> of an [[open cover]] <math>\mathcal{U} = \{U_i\}_{i \in I}</math> of ''<math>U</math>''. A ''sheaf'' is a presheaf that satisfies the following two additional axioms:
# (''Locality'') If <math>\mathcal{U}</math> is an open [[cover (topology)|covering]] of an open set ''<math>U</math>'', and if <math>s,t \in F(U)</math> have the property <math>s|_{ U_i} = t|_{ U_i}</math> for each set ''<math>U_i</math>'' of the covering, then <math>s = t</math>; and
# ([[Gluing axiom|''Gluing'']]) If <math>\mathcal{U}</math> is an open covering of an open set ''<math>U</math>'', and if for each <math>i \in I</math> a section <math>s_i \in F(U_i)</math> is given such that for each pair ''<math>U_i,U_j</math>'' of the covering sets the restrictions of <math>s_i</math> and ''<math>s_j</math>'' agree on the overlaps, so <math>s_i|_{U_i\cap U_j} = s_j|_{U_i \cap U_j}</math>, then there is a section <math>s \in F(U)</math> such that <math>s|_{U_i} = s_i</math> for each <math>i \in I</math>.
The section ''<math>s</math>'' whose existence is guaranteed by axiom 2 is called the ''gluing'', ''concatenation'', or ''collation'' of the sections ''s''<sub>''i''</sub>. By axiom 1 it is unique. Sections ''<math>s_i</math>'' satisfying the condition of axiom 2 are often called ''compatible''; thus axioms 1 and 2 together state that ''compatible sections can be uniquely glued together''. A ''separated presheaf'', or ''monopresheaf'', is a presheaf satisfying axiom 1.<ref>{{Citation | last1=Tennison | first1=B. R. | title=Sheaf theory | publisher=[[Cambridge University Press]] | mr=0404390 | year=1975}}</ref>
The presheaf consisting of continuous functions mentioned above is a sheaf. This assertion reduces to checking that, given continuous functions <math>f_i : U_i \to \mathbf R</math> which agree on the intersections <math>U_i \cap U_j</math>, there is a unique continuous function <math>f: U \to \mathbf R</math> whose restriction equals the <math>f_i</math>. By contrast, the constant presheaf is usually ''not'' a sheaf: if <math>U=U_1 \sqcup U_2</math> is a [[disjoint union]] of two open subsets, and <math>f_1, f_2</math> take different values, then there is no ''constant'' function on ''U'' whose restriction would equal these two (different) constant functions.
Presheaves and sheaves are typically denoted by capital letters, ''F'' being particularly common, presumably for the [[French language|French]] word for sheaf, ''faisceau''. Use of calligraphic letters such as <math>\mathcal{F}</math> is also common.
It can be shown that to specify a sheaf, it is enough to specify its restriction to the open sets of a [[basis (topology)|basis]] for the topology of the underlying space. Moreover, it can also be shown that it is enough to verify the sheaf axioms above relative to the open sets of a covering. This observation is used to construct another example which is crucial in algebraic geometry, namely [[quasi-coherent sheaf|quasi-coherent sheaves]]. Here the topological space in question is the [[spectrum of a ring|spectrum of a commutative ring ''R'']], whose points are the [[prime ideal]]s ''p'' in ''R''. The open sets <math>D_f := \{ p \subset R, f \notin p\}</math> form a basis for the [[Zariski topology]] on this space. Given an ''R''-module ''M'', there is a sheaf, denoted by <math>\tilde M</math> on the Spec ''R'', that satisfies
:<math>\tilde M(D_f) := M[1/f],</math> the [[localization (commutative algebra)|localization]] of ''M'' at ''f''.
=== Més exemples ===
==== Feix de seccions d'una funció contínua ====
Any continuous map <math>f:Y\to X</math> of topological spaces determines a sheaf <math>\Gamma(Y/X)</math> on <math>X</math> by setting
:<math>\Gamma(Y/X)(U) = \{s: U \to Y, f \circ s = \operatorname{id}_U\}.</math>
Any such <math>s</math> is commonly called a [[section (category theory)|section]] of ''<math>f</math>'', and this example is the reason why the elements in <math>F(U)</math> are generally called sections. This construction is especially important when <math>f</math> is the projection of a [[fiber bundle]] onto its base space. For example, the sheaves of smooth functions are the sections of the [[trivial bundle]]. Another example: the sheaf of sections of
:<math>\mathbf C \stackrel{\exp} \to \mathbf C\setminus \{0\}</math>
is the sheaf which assigns to any ''<math>U</math>'' the set of branches of the [[complex logarithm]] on ''<math>U</math>''.
Given a point ''x'' and an abelian group ''S'', the [[skyscraper sheaf]] ''S''<sub>''x''</sub> defined as follows: If ''U'' is an open set containing ''x'', then ''S''<sub>''x''</sub>(''U'') = ''S''. If ''U'' does not contain ''x'', then ''S''<sub>''x''</sub>(''U'') = 0, the [[trivial group]]. The restriction maps are either the identity on ''S'', if both open sets contain ''x'', or the zero map otherwise.
==== Feixos en varietats ====
On an ''n''-dimensional ''C''<sup>''k''</sup>-manifold ''M'', there is a number of important sheaves, such as the sheaf of ''j''-times continuously differentiable functions <math>\mathcal{O}^j_M</math> (with ''j'' ≤ ''k''). Its sections on some open ''U'' are the ''C''<sup>''j''</sup>-functions ''U'' → '''R'''. For ''j'' = ''k'', this sheaf is called the ''structure sheaf'' and is denoted <math>\mathcal{O}_M</math>. The nonzero ''C''<sup>''k''</sup> functions also form a sheaf, denoted <math>\mathcal{O}_X^\times</math>. [[Differential form]]s (of degree ''p'') also form a sheaf Ω<sup>''p''</sup><sub>''M''</sub>. In all these examples, the restriction morphisms are given by restricting functions or forms.
The assignment sending ''U'' to the compactly supported functions on ''U'' is not a sheaf, since there is, in general, no way to preserve this property by passing to a smaller open subset. Instead, this forms a [[cosheaf]], a [[duality (mathematics)|dual]] concept where the restriction maps go in the opposite direction than with sheaves.<ref>{{harvtxt|Bredon|1997|loc=Chapter V, §1}}</ref> However, taking the [[dual vector space|dual]] of these vector spaces does give a sheaf, the sheaf of [[Distribution (mathematics)|distributions]].
==== Prefeixos que no són feixos ====
In addition to the constant presheaf mentioned above, which is usually not a sheaf, there are further examples of presheaves that are not sheaves:
* Let <math>X</math> be the [[discrete two-point space|two-point topological space]] <math>\{x,y\}</math> with the discrete topology. Define a presheaf <math>F</math> as follows: ''F''(∅) = {∅}, ''F''({''x''}) = '''R''', ''F''({''y''}) = '''R''', ''F''({''x'', ''y''}) = '''R''' × '''R''' × '''R'''. The restriction map ''F''({''x'', ''y''}) → ''F''({''x''}) is the projection of '''R''' × '''R''' × '''R''' onto its first coordinate, and the restriction map ''F''({''x'', ''y''}) → ''F''({''y''}) is the projection of '''R''' × '''R''' × '''R''' onto its second coordinate. <math>F</math> is a presheaf that is not separated: A global section is determined by three numbers, but the values of that section over {''x''} and {''y''} determine only two of those numbers. So while we can glue any two sections over {''x''} and {''y''}, we cannot glue them uniquely.
* Let <math>X = \mathbb{R}</math> be the [[real line]], and let <math>F(U)</math> be the set of [[bounded function|bounded]] continuous functions on <math>U</math>. This is not a sheaf because it is not always possible to glue. For example, let ''U''<sub>''i''</sub> be the set of all ''x'' such that |''x''| < ''i''. The identity function ''f''(''x'') = ''x'' is bounded on each ''U''<sub>''i''</sub>. Consequently we get a section ''s''<sub>''i''</sub> on ''U''<sub>''i''</sub>. However, these sections do not glue, because the function ''f'' is not bounded on the real line. Consequently ''F'' is a presheaf, but not a sheaf. In fact, ''F'' is separated because it is a sub-presheaf of the sheaf of continuous functions.
=== Feixos d'espais analítics complexos i de geometria algebraica ===
One of the historical motivations for sheaves have come from studying [[complex manifold]]s,<ref>{{cite web|last=Demailly|first=Jean-Pierre|title=Complex Analytic and Differential Geometry|url=https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|url-status=live|archive-url=https://web.archive.org/web/20200828212129/https://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook.pdf|archive-date=4 Sep 2020}}</ref> [[complex analytic geometry]],<ref>{{cite web|last=Cartan|first=Henri|title=Variétés analytiques complexes et cohomologie|url=http://www.inp.nsk.su/~silagadz/Cartan.pdf|url-status=live|archive-url=https://web.archive.org/web/20201008164857/http://www.inp.nsk.su/~silagadz/Cartan.pdf|archive-date=8 Oct 2020}}</ref> and [[Scheme (mathematics)|scheme theory]] from [[algebraic geometry]]. This is because in all of the previous cases, we consider a topological space <math>X</math> together with a structure sheaf <math>\mathcal{O}</math> giving it the structure of a complex manifold, complex analytic space, or scheme. This perspective of equipping a topological space with a sheaf is essential to the theory of locally ringed spaces (see below).
==== Reptes tècnics amb varietats complexes ====
One of the main historical motivations for introducing sheaves was constructing a device which keeps track of [[holomorphic function]]s on [[complex manifold]]s. For example, on a [[Compact space|compact]] complex manifold <math>X</math> (like [[complex projective space]] or the [[vanishing locus]] of a [[homogeneous polynomial]]), the ''only'' holomorphic functions<blockquote><math>f:X \to \mathbb{C}</math></blockquote>are the constant functions.<ref name="stackexchange1">{{cite web|title=differential geometry - Holomorphic functions on a complex compact manifold are only constants|url=https://math.stackexchange.com/questions/881742/holomorphic-functions-on-a-complex-compact-manifold-are-only-constants|access-date=2020-10-07|website=Mathematics Stack Exchange}}</ref> This means there could exist two compact complex manifolds <math>X,X'</math> which are not isomorphic, but nevertheless their ring of global holomorphic functions, denoted <math>\mathcal{H}(X), \mathcal{H}(X')</math>, are isomorphic. Contrast this with [[smooth manifold]]s where every manifold <math>M</math> can be embedded inside some <math>\mathbb{R}^N</math>, hence its ring of smooth functions <math>C^\infty(M)</math> comes from restricting the smooth functions from <math>C^\infty(\mathbb{R}^N)</math>. Another complexity when considering the ring of holomorphic functions on a complex manifold <math>X</math> is given a small enough open set <math>U \subset X</math>, the holomorphic functions will be isomorphic to <math>\mathcal{H}(U) \cong \mathcal{H}(\mathbb{C}^n)</math>. Sheaves are a direct tool for dealing with this complexity since they make it possible to keep track of the holomorphic structure on the underlying topological space of <math>X</math> on arbitrary open subsets <math>U \subset X</math>. This means as <math>U</math> becomes more complex topologically, the ring <math>\mathcal{H}(U)</math> can be expressed from gluing the <math>\mathcal{H}(U_i)</math>. Note that sometimes this sheaf is denoted <math>\mathcal{O}(-)</math> or just <math>\mathcal{O}</math>, or even <math>\mathcal{O}_X</math> when we want to emphasize the space the structure sheaf is associated to.
==== Rastrejar subvarietats amb feixos ====
Another common example of sheaves can be constructed by considering a complex submanifold <math>Y \hookrightarrow X</math>. There is an associated sheaf <math>\mathcal{O}_Y</math> which takes an open subset <math>U \subset X</math> and gives the ring of holomorphic functions on <math>U \cap Y</math>. This kind of formalism was found to be extremely powerful and motivates a lot of [[homological algebra]] such as [[sheaf cohomology]] since an [[intersection theory]] [[Intersection number|can be built using these kinds of sheaves]] from the Serre intersection formula.
== Referències ==
| |||