Exponential sheaf sequence
- Exponential sheaf sequence
In mathematics, the exponential sheaf sequence is a fundamental short exact sequence of sheaves used in complex geometry.
Let "M" be a complex manifold, and write "O""M" for the sheaf of holomorphic functions on "M". Let "O""M"* be the subsheaf consisting of the non-vanishing holomorphic functions. These are both sheaves of abelian groups. The exponential function gives a sheaf homomorphism
:
because for an holomorphic function "f", exp("f") is a non-vanishing holomorphic function, and exp("f"+"g") = exp("f")exp("g"). Its kernel can be identified as the sheaf denoted by 2π"i"Z, meaning the sheaf on "M" of locally constant functions taking values which are 2π"in", with "n" an integer. The exponential sheaf sequence is therefore
:
The exponential mapping here is not always a surjective map on sections; this can be seen for example when "M" is a punctured disk in the complex plane. The exponential map "is" surjective on the stalks; because given a germ "g" of an holomorphic function at a point "P", such that "g"("P") ≠ 0, one can take the logarithm of "g" close enough to "P". The long exact sequence of sheaf cohomology shows that we have an exact sequence
:
for any open set "U" of "M". Here "H"0 means simply the sections over "U"; while the sheaf cohomology "H"1 in this case is essentially the singular cohomology of "U". Therefore there is a kind of winding number invariant: if "U" is not contractible, the exponential map on sections may not be surjective. In other words, there is a potential topological obstruction to taking a "global" logarithm of a non-vanishing holomorphic function, something that is always "locally" possible.
A further consequence of the sequence is the exactness of
:
Here "H"1("O""M"*) can be identified with the Picard group of holomorphic line bundles on "M". The homomorphism to the "H"2 group is essentially the first Chern class.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Sheaf cohomology — In mathematics, sheaf cohomology is the aspect of sheaf theory, concerned with sheaves of abelian groups, that applies homological algebra to make possible effective calculation of the global sections of a sheaf F. This is the main step, in… … Wikipedia
List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia
Picard group — In mathematics, the Picard group of a ringed space X, denoted by , is the group of isomorphism classes of invertible sheaves (or line bundles) on X, with the group operation being tensor product. This construction is a global version of the… … Wikipedia
Néron–Severi group — In algebraic geometry, the Néron–Severi group of a variety is the group of divisors modulo algebraic equivalence; in other words it is the group of components of the Picard scheme of a variety. Its rank is called the Picard number. It is named… … Wikipedia
Hodge conjecture — The Hodge conjecture is a major unsolved problem in algebraic geometry which relates the algebraic topology of a non singular complex algebraic variety and the subvarieties of that variety. More specifically, the conjecture says that certain de… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Analytic continuation — In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where … Wikipedia
Non-analytic smooth function — In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
