Headstone: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>TjBot
m r2.7.2) (Robot: Adding jv:Maéjan
 
en>EmausBot
m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q203443
Line 1: Line 1:
Spend on a rechargeable battery rrn your wireless gaming controller. You can buy standard rechargeable power supplies for much controller.  If you have any type of questions pertaining to where and ways to make use of [http://Circuspartypanama.com clash of clans tricks], you can contact us at our web-site. If you want to play video games regularly, you will be dining on through a small lots of money in the [http://www.tumblr.com/tagged/batteries batteries] used to be run your controllers. A rechargeable battery will save you a lot of take advantage the long run.<br><br>
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.  


Lee are able to use those gems to instantly fortify his army. He tapped 'Yes,'" probably without thinking. Through under a month pointing to walking around a not too many hours on a ordinary basis, he''d spent pretty much 1000 dollars.<br><br>Be aware of how multi player works. In case that you're investing in the actual game exclusively for unique multiplayer, be sure individuals have everything required intended for this. If you could planning on playing  a person in your household, you may get a hold of that you will are after two copies of this clash of clans cheats to action against one another.<br><br>In case you are searching towards a particular game into buy but want to purchase it at the best price possible, depend on the "shopping" tab readily available on many search engines. This will doable you to immediately analyze the prices of the game at all any major retailers online. You can also have ratings for the seller in question, helping someone determine who you should always buy the game from.<br><br>A blog is offering Clash associated with Clans hack tool owner to users who want it to be. The website offering this tool is protected and it guarantees greatest software. There as well other sites which deliver tool. But is a superb either incomplete or linked with bad quality. When users download these unfinished hack tools, instead to complete well they end in mid-air in trouble. So, players are advised select the tool from an online site that offers complete apps.Users who are finding it tough to fold the hurdles can locate a site that allows website visitors download the cheats. Most of the websites allow free download a few websites charge fees. Users can locate a niche site from where they acquire good quality software.<br><br>To allow them to defeat higher-level villages, job aids you to use a mixture of troops like Barbarians plus Archers and those suicide wall bombers to bust down fence. Goblins can also be a useful accentuate the combo simply due to the fact attack different buildings. You should understand really want to begin worrying more or less higher troops when you can''t win battles offering Barbarians.<br><br>Don't attempt to eat unhealthy groceries while in xbox game actively playing time. This is a ugly routine to gain associated with. Xbox game actively practicing is absolutely nothing choose physical exercise, and almost all of that fast food is designed to only result in excessive fat. In the event own to snack food, opt for some thing wholesome to gain online game actively playing times. The body will thanks for it also.
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]]

Revision as of 09:02, 30 January 2014

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a specific class of 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 of rings that codifies this geometrical information.

Coherent sheaves can be seen as a generalization of vector bundles, or of locally free sheaves of finite rank. Unlike vector bundles, they form a "nice" category closed under usual operations such as taking kernels, cokernels and finite direct sums. 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 (X,𝒪X) is a sheaf of 𝒪X-modules with the following two properties:

  1. is of finite type over 𝒪X, i.e., for any point xX there is an open neighbourhood UX such that the restriction |U of to U is generated by a finite number of sections (in other words, there is a surjective morphism 𝒪Xn|U|U for some n); and
  2. for any open set UX, any n and any morphism φ:𝒪Xn|U|U of 𝒪X-modules, the kernel of φ is of finite type.

The sheaf of rings 𝒪X 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 xX has an open neighbourhood U such that the restriction |U of to U is isomorphic to the cokernel of a morphism 𝒪Xn|U𝒪Xm|U for some integers n and m. If 𝒪X is coherent, then the converse is true and each sheaf of finite presentation over 𝒪X is coherent.

A sheaf of 𝒪X-modules is said to be quasi-coherent if it has a local presentation, i.e. if there exist an open cover by Ui of the topological space X and an exact sequence

𝒪(Ii)|Ui𝒪(Ji)|Ui|Ui0

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 IZ/X 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 OZ of a closed subscheme Z of X, or of a closed analytic subspace, is a coherent sheaf on X. The sheaf OZ has fiber dimension (defined below) equal to zero at points in the open set XZ, and fiber dimension one at points in Z.

Properties

The category of coherent sheaves on (X,𝒪X) is an abelian category, a full subcategory of the (much more unwieldy) abelian category of all sheaves on (X,𝒪X). (Analogously, the category of coherent modules over any ring R is a full abelian subcategory of the category of all R-modules.)

If R denotes the ring of regular functions Γ(X,𝒪X), then every R-module gives rise to a quasi-coherent sheaf of 𝒪X-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, 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 FxOX,xk(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 upper-semicontinuous.[1] 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 quasi-separated 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 operators in Fréchet spaces, Cartan and Serre proved that 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 Serre. Relative versions of this result for a proper morphism were proved by Grothendieck in the algebraic case and by Grauert and Remmert in the analytic case. For example Grothendieck's result concerns the functor Rf* 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 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 differentials on an algebraic variety is a coherent sheaf Ω1. When the variety is smooth, Ω1 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 Ωn = ΛnΩ1 acts as the dualizing object for coherent sheaf cohomology.

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

  • Section 0.5.3 of Template:EGA
  • Robin Hartshorne, Algebraic Geometry, Springer-Verlag, 1977, ISBN 0-387-90244-9
  • Template:Eom
  • Template:Eom
  • Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/

External links

  1. R. Hartshorne. Algebraic Geometry. Springer-Verlag (1977). Example III.12.7.2.