|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''Leray cover(ing)''' is a cover which allows for easy calculation of [[cohomology]].
| | Marvella is what you can contact her but it's not the most female name out there. One of the extremely best issues in the globe for me is to do aerobics and now I'm attempting to make money with it. Managing people has been his day occupation for a while. Years in the past we moved to Puerto Rico and my family members enjoys it.<br><br>my web page [http://www.sddch.org/?document_srl=345265 http://www.sddch.org/?document_srl=345265] |
| | |
| [[Sheaf cohomology]] measures the extent to which a locally exact sequence on a fixed topological space, for instance the deRham sequence, fails to be globally exact. Its definition, using derived functors, is reasonably natural, if technical. Moreover, important properties, such as the existence of a long exact sequence in cohomology corresponding to any short exact sequence of sheaves, follow directly from the definition. However, it is virtually impossible to calculate from the definition. On the other hand, [[Čech cohomology]] with respect to an open cover is well-suited to calculation, but of limited usefulness because it depends on the open cover chosen, not only on the sheaves and the space. By taking a direct limit of Čech cohomology over arbitrarily fine covers, we obtain a Čech cohomology theory that does not depend on the open cover chosen. In reasonable circumstances (for instance, if the topological space is paracompact), the derived-functor cohomology agrees with this Ĉech cohomology obtained by direct limits. However, like the derived functor cohomology, this cover-independent Čech cohomology is virtually impossible to calculate from the definition. The Leray condition on an open cover ensures that the cover in question is already "fine enough." The derived functor cohomology agrees with the Čech cohomology with respect to any Leray cover.
| |
| | |
| Let <math>\mathfrak{U} = \{U_i\}</math> be an open cover of the topological space <math>X</math>, and <math>\mathcal{F}</math> a sheaf on X. We say that <math>\mathfrak{U}</math> is a Leray cover with respect to <math>\mathcal{F}</math> if, for every nonempty finite set <math>i_1, \cdots, i_n</math> of indices, and for all <math>k > 0</math>, <math>H^k(U_{i_1} \cap \cdots \cap U_{i_n}, \mathcal{F}) = 0</math>, in the derived functor cohomology.<ref>Taylor, J. L. Several complex variables with connections to algebraic geometry and Lie groups. Graduate Studies in Mathematics v. 46. American Mathematical Society, Providence, RI. 2002.</ref> For example, if X is a separated scheme, and <math>\mathcal{F}</math> is quasicoherent, then any cover of X by open affine subschemes is a Leray cover.<ref>Macdonald, I. G. Algebraic geometry. Introduction to schemes. W. A. Benjamin, Inc., New York-Amsterdam 1968 vii+113 pp.</ref>
| |
| | |
| == References ==
| |
| <references>
| |
| </references>
| |
| | |
| [[Category:Sheaf theory]]
| |
| | |
| {{topology-stub}}
| |
Latest revision as of 17:52, 7 December 2014
Marvella is what you can contact her but it's not the most female name out there. One of the extremely best issues in the globe for me is to do aerobics and now I'm attempting to make money with it. Managing people has been his day occupation for a while. Years in the past we moved to Puerto Rico and my family members enjoys it.
my web page http://www.sddch.org/?document_srl=345265