|
|
Line 1: |
Line 1: |
| In [[mathematics]], especially in [[algebraic geometry]] and the theory of [[complex manifold]]s, '''coherent sheaves''' are a specific class of [[Sheaf (mathematics)|sheaves]] having particularly manageable properties closely linked to the geometrical properties of the underlying space. The definition of coherent sheaves is made with reference to a [[Sheaf (mathematics)|sheaf of rings]] that codifies this geometrical information.
| | Aged video games ought to be able to be discarded. They could be worth some money at several video retailers. When you buy and sell in a number of game titles, you could even get your upcoming game at no cost!<br><br>Video games are fun to have fun with your kids. This can help you learn much more details about your kid's interests. Sharing interests with children like this can will also create great conversations. It also gives you an opportunity to monitor growth and [http://www.answers.com/topic/development development] of their skills.<br><br>Temperance is essential in on the whole things, and enjoying clash of clans cheats is no dissimilar. Playing for hours on finish is not really good-for-you, bodily or in your head. There are some games out in that respect there which know this and include measures to remind one to take rests. Consider the initiative yourself, although! Place an alarm so you don't play for much more than an hour right.<br><br>Read the evaluations and see the particular trailers before buying a relevant video game. Cause it to one thing you are looking for before you get it. These [http://Videogames.com video games] aren't low-cost, and also you cannot get nearly as a long way cash whenever you markets inside a employed game title which you have sole utilized several times.<br><br>Your dog's important to agenda an individuals apple is consistently locate from association war problem because association wars are usually fought inside a modified breadth absolutely -- this in turn war zone. In the war region, individuals adapt and advance warfare bases instead of approved villages; therefore, your towns resources, trophies, and absorber are never in jeopardy.<br><br>Should really you perform online multi-player game titles, don't skip the strength of tone of voice chat! A mic or headphones is a very effortless expenditure, and having the main capability to speak returning to your fellow athletes offers you a lot of pays. You are confident to create more mighty connections with the online video video games community and stay your far more successful group person when you perhaps may be able connect out boisterous.<br><br>There are a helpful component of this particular diversion as fantastic. When one particular player has modified, the Deviate of Clan Castle spoils in his or her village, he or she'll successfully start or register for for each faction to diverse gamers exactly even they can take a short look at with every other offer troops to just the two of you these troops could be connected either offensively or protectively. If you have any questions regarding where by and how to use [http://prometeu.net clash of clans hacker download], you can get in touch with us at our web page. The Clash with regards to Clans cheat for 100 % free additionally holds the greatest district centered globally discuss so gamers could flaunt making use of different players for social alliance and as faction signing up.This recreation is a have to perform on your android watch specially if you usually are employing my clash having to do with clans android hack tool. |
| | |
| Coherent sheaves can be seen as a generalization of [[vector bundles]], or of [[locally free sheaf|locally free sheaves]] of finite rank. Unlike vector bundles, they form a "nice" [[category (mathematics)|category]] closed under usual operations such as taking [[kernel (category theory)|kernels]], [[cokernel]]s and finite [[direct sum]]s. The '''quasi-coherent sheaves''' are a generalization of coherent sheaves and include the locally free sheaves of infinite rank.
| |
| | |
| Many results and properties in algebraic geometry and [[complex analytic geometry]] are formulated in terms of coherent or quasi-coherent sheaves and their [[cohomology]].
| |
| | |
| == Definitions ==
| |
| A ''coherent sheaf'' on a [[ringed space]] <math>(X,\mathcal{O}_X)</math> is a [[sheaf (mathematics)|sheaf]] <math>\mathcal{F}</math> of <math>\mathcal{O}_X</math>-[[module (mathematics)|modules]] with the following two properties:
| |
| # <math>\mathcal{F}</math> is of ''finite type'' over <math>\mathcal{O}_X</math>, i.e., for any point <math>x\in X</math> there is an open neighbourhood <math>U\subset X</math> such that the restriction <math>\mathcal{F}|_U</math> of <math>\mathcal{F}</math> to <math>U</math> is generated by a finite number of sections (in other words, there is a surjective morphism <math>\mathcal{O}_X^n|_U \to \mathcal{F}|_U</math> for some <math>n\in\mathbb{N}</math>); and
| |
| # for any open set <math>U\subset X</math>, any <math>n\in\mathbb{N}</math> and any morphism <math>\varphi\colon \mathcal{O}_X^n|_U \to \mathcal{F}|_U</math> of <math>\mathcal{O}_X</math>-modules, the kernel of <math>\varphi</math> is of finite type.
| |
| | |
| The sheaf of rings <math>\mathcal{O}_X</math> is coherent if it is coherent considered as a sheaf of modules over itself. Important examples of coherent sheaves of rings include the sheaf of germs of [[holomorphic]] functions on a [[complex manifold]] and the structure sheaf of a [[Noetherian scheme]] from algebraic geometry.
| |
| | |
| A coherent sheaf is always a sheaf of ''finite presentation'', or in other words each point <math>x\in X</math> has an open neighbourhood <math>U</math> such that the restriction <math>\mathcal{F}|_U</math> of <math>\mathcal{F}</math> to <math>U</math> is isomorphic to the cokernel of a morphism <math>\mathcal{O}_X^n|_U \to \mathcal{O}_X^m|_U</math> for some integers <math>n</math> and <math>m</math>. If <math>\mathcal{O}_X</math> is coherent, then the converse is true and each sheaf of finite presentation over <math>\mathcal{O}_X</math> is coherent.
| |
| | |
| A sheaf <math>\mathcal{F}</math> of <math>\mathcal{O}_{X}</math>-modules is said to be '''quasi-coherent''' if it has a local presentation, i.e. if there exist an open cover by <math>U_i</math> of the topological space <math>X</math> and an exact sequence
| |
| | |
| :<math>\mathcal{O}^{(I_i)}|_{U_i} \to \mathcal{O}^{(J_i)}|_{U_i} \to \mathcal{F}|_{U_i} \to 0</math>
| |
| | |
| where the first two terms of the sequence are direct sums (possibly infinite) of copies of the structure sheaf.
| |
| | |
| ==Examples of coherent sheaves==
| |
| | |
| * On a Noetherian scheme, the structure sheaf is a coherent sheaf of rings. In the following examples, schemes are assumed to be Noetherian.
| |
| * The [[Oka coherence theorem]] states that the sheaf of holomorphic functions on a complex manifold is a coherent sheaf of rings.
| |
| * The sheaf of sections of a vector bundle (on a scheme, or a complex [[analytic space]]) is coherent.
| |
| * Ideal sheaves: If ''Z'' is a closed complex subspace of a complex analytic space ''X'', the sheaf ''I<sub>''Z''/''X''</sub>'' of all holomorphic functions vanishing on ''Z'' is coherent. Likewise, the ideal sheaf of regular functions vanishing on a closed subscheme is coherent.
| |
| * The structure sheaf ''O''<sub>''Z''</sub> of a closed subscheme ''Z'' of ''X'', or of a closed analytic subspace, is a coherent sheaf on X. The sheaf ''O''<sub>''Z''</sub> has fiber dimension (defined below) equal to zero at points in the open set ''X''−''Z'', and fiber dimension one at points in ''Z''.
| |
| | |
| ==Properties==
| |
| The category of coherent sheaves on <math>(X,\mathcal{O}_X)</math> is an [[abelian category]], a full subcategory of the (much more unwieldy) abelian category of all sheaves on <math>(X,\mathcal{O}_X)</math>.
| |
| (Analogously, the category of [[coherent module]]s over any ring ''R'' is a full abelian subcategory of the category of all ''R''-modules.)
| |
| | |
| If ''R'' denotes the ring of regular functions <math>\Gamma(X,\mathcal{O}_X)</math>, then every ''R''-module gives rise to a quasi-coherent sheaf of <math>\mathcal{O}_X</math>-modules in a natural fashion, yielding a functor from ''R''-modules to quasi-coherent sheaves. In general, not every quasi-coherent sheaf arises from an ''R''-module in this fashion. However, for an [[affine scheme]] ''X'' with [[coordinate ring]] ''R'', this construction gives an [[equivalence of categories]] between ''R''-modules and quasi-coherent sheaves on ''X''. In case the ring ''R'' is [[Noetherian ring|Noetherian]], coherent sheaves correspond exactly to finitely generated modules.
| |
| | |
| Some results in [[commutative algebra]] are naturally interpreted using coherent sheaves. For example, [[Nakayama's lemma]] says that if ''F'' is a coherent sheaf, then the fiber ''F''<sub>''x''</sub>⊗<sub>''O''<sub>''X'',''x''</sub></sub>''k''(''x'') of ''F'' at a point ''x'' (a vector space over the residue field ''k''(''x'')) is zero if and only if the sheaf ''F'' is zero on some open neighborhood of ''x''. A related fact is that the dimension of the fibers of a coherent sheaf is [[Semi-continuity|upper-semicontinuous]].<ref>R. Hartshorne. ''Algebraic Geometry.'' Springer-Verlag (1977). Example III.12.7.2.</ref> Thus a coherent sheaf has constant rank on an open set (where it is a vector bundle), while the rank can jump up on a lower-dimensional closed subset.
| |
| | |
| Given an (affine or projective) [[algebraic variety]] ''X'' (or more generally: a [[quasi-compact]] [[Glossary_of_scheme_theory#Separated_and_proper_morphisms|quasi-separated]] [[scheme (mathematics)|scheme]]), the category of quasi-coherent sheaves on ''X'' is a very well-behaved abelian category, a [[Grothendieck category]]. It follows that the category of quasi-coherent sheaves (unlike the category of coherent sheaves) has [[enough injectives]], which makes it a convenient setting for sheaf cohomology. The scheme ''X'' is determined up to isomorphism by the abelian category of quasi-coherent sheaves on ''X''.
| |
| | |
| ==Coherent cohomology==
| |
| The [[sheaf cohomology]] theory of coherent sheaves is called '''''coherent cohomology'''''. It is one of the major and most fruitful applications of sheaves, and its results connect quickly with classical theories.
| |
| | |
| Using a theorem of Schwartz on [[compact operator]]s in [[Fréchet space]]s, Cartan and Serre proved that [[compact manifold|compact]] complex manifolds have the property that their sheaf cohomology for any coherent sheaf consists of vector spaces of finite dimension.
| |
| This result had been proved previously by Kodaira for the particular case of locally free sheaves on Kähler manifolds. It plays a major role in the proof of the [[GAGA]] equivalence. An algebraic (and much easier) version of this theorem was proved by [[Jean-Pierre Serre|Serre]]. Relative versions of this result for a [[proper morphism]] were proved by [[Grothendieck]] in the algebraic case and by [[Hans Grauert|Grauert]] and [[Reinhold Remmert|Remmert]] in the analytic case. For example Grothendieck's result concerns the [[functor]] R''f''<sub>*</sub> or push-forward, in sheaf cohomology. (It is the [[right derived functor]] of the [[direct image of a sheaf]].) For a proper morphism in the sense of [[scheme theory]], this functor sends coherent sheaves to coherent sheaves. The result of [[Jean-Pierre Serre|Serre]] is the case of a morphism to a point.
| |
| | |
| The duality theory in scheme theory that extends [[Serre duality]] is called [[coherent duality]] (or ''Grothendieck duality''). Under some mild conditions of finiteness, the sheaf of [[Kähler differential]]s on an algebraic variety is a coherent sheaf Ω<sup>1</sup>. When the variety is smooth, Ω<sup>1</sup> is a vector bundle, the [[cotangent bundle]] of ''X''. For a smooth projective variety ''X'' of dimension ''n'', Serre duality says that the top [[exterior power]] Ω<sup>n</sup> = Λ<sup>n</sup>Ω<sup>1</sup> acts as the ''dualizing object'' for coherent sheaf cohomology.
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| *Section 0.5.3 of {{EGA|book=I}}
| |
| *[[Robin Hartshorne]], ''Algebraic Geometry'', Springer-Verlag, 1977, ISBN 0-387-90244-9
| |
| *{{eom|id=c/c022980|title=Coherent algebraic sheaf|first=V. I. |last= Danilov}}
| |
| *{{eom|id=c/c022990|title=Coherent analytic sheaf|first=A.L.|last= Onishchik}}
| |
| *{{Springer|title=Coherent sheaf|id=C/c023020|first=A.L.|last= Onishchik}}
| |
| | |
| ==External links==
| |
| * [http://stacks.math.columbia.edu/download/modules.pdf Sheaves of Modules], from the Stacks Project
| |
| | |
| [[Category:Topological methods of algebraic geometry]]
| |
| [[Category:Complex manifolds]]
| |
| [[Category:Sheaf theory]]
| |
Aged video games ought to be able to be discarded. They could be worth some money at several video retailers. When you buy and sell in a number of game titles, you could even get your upcoming game at no cost!
Video games are fun to have fun with your kids. This can help you learn much more details about your kid's interests. Sharing interests with children like this can will also create great conversations. It also gives you an opportunity to monitor growth and development of their skills.
Temperance is essential in on the whole things, and enjoying clash of clans cheats is no dissimilar. Playing for hours on finish is not really good-for-you, bodily or in your head. There are some games out in that respect there which know this and include measures to remind one to take rests. Consider the initiative yourself, although! Place an alarm so you don't play for much more than an hour right.
Read the evaluations and see the particular trailers before buying a relevant video game. Cause it to one thing you are looking for before you get it. These video games aren't low-cost, and also you cannot get nearly as a long way cash whenever you markets inside a employed game title which you have sole utilized several times.
Your dog's important to agenda an individuals apple is consistently locate from association war problem because association wars are usually fought inside a modified breadth absolutely -- this in turn war zone. In the war region, individuals adapt and advance warfare bases instead of approved villages; therefore, your towns resources, trophies, and absorber are never in jeopardy.
Should really you perform online multi-player game titles, don't skip the strength of tone of voice chat! A mic or headphones is a very effortless expenditure, and having the main capability to speak returning to your fellow athletes offers you a lot of pays. You are confident to create more mighty connections with the online video video games community and stay your far more successful group person when you perhaps may be able connect out boisterous.
There are a helpful component of this particular diversion as fantastic. When one particular player has modified, the Deviate of Clan Castle spoils in his or her village, he or she'll successfully start or register for for each faction to diverse gamers exactly even they can take a short look at with every other offer troops to just the two of you these troops could be connected either offensively or protectively. If you have any questions regarding where by and how to use clash of clans hacker download, you can get in touch with us at our web page. The Clash with regards to Clans cheat for 100 % free additionally holds the greatest district centered globally discuss so gamers could flaunt making use of different players for social alliance and as faction signing up.This recreation is a have to perform on your android watch specially if you usually are employing my clash having to do with clans android hack tool.