Poincaré duality In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n-dimensional oriented closed manifold (compact and without boundary), then the kth cohomology group of M is isomorphic to the ( {displaystyle n-k} )th homology group of M, for all integers k {Anzeigestil H^{k}(M)cong H_{n-k}(M).} Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; im Speziellen, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation.

Inhalt 1 Geschichte 2 Modern formulation 3 Dual cell structures 3.1 Naturality 4 Bilinear pairings formulation 5 Thom Isomorphism Formulation 6 Verallgemeinerungen und verwandte Ergebnisse 7 Siehe auch 8 Verweise 9 Weiterlesen 10 External links History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The kth and ( {displaystyle n-k} )th Betti numbers of a closed (d.h., compact and without boundary) orientable n-manifold are equal. The cohomology concept was at that time about 40 years from being clarified. In seinem 1895 paper Analysis Situs, Poincaré tried to prove the theorem using topological intersection theory, which he had invented. Criticism of his work by Poul Heegaard led him to realize that his proof was seriously flawed. In the first two complements to Analysis Situs, Poincaré gave a new proof in terms of dual triangulations.

Poincaré duality did not take on its modern form until the advent of cohomology in the 1930s, when Eduard Čech and Hassler Whitney invented the cup and cap products and formulated Poincaré duality in these new terms.

Modern formulation The modern statement of the Poincaré duality theorem is in terms of homology and cohomology: wenn {Anzeigestil M} is a closed oriented n-manifold, then there is a canonically defined isomorphism {Anzeigestil H^{k}(M,mathbb {Z} )to H_{n-k}(M,mathbb {Z} )} for any integer {Anzeigestil k} . To define such an isomorphism, one chooses a fixed fundamental class {Anzeigestil [M]} von {Anzeigestil M} , which will exist if {Anzeigestil M} is oriented. Then the isomorphism is defined by mapping an element {displaystyle alpha in H^{k}(M)} to the cap product {Anzeigestil [M]frown alpha } .[1] Homology and cohomology groups are defined to be zero for negative degrees, so Poincaré duality in particular implies that the homology and cohomology groups of orientable closed n-manifolds are zero for degrees bigger than n.

Hier, homology and cohomology are integral, but the isomorphism remains valid over any coefficient ring. In the case where an oriented manifold is not compact, one has to replace homology by Borel–Moore homology {Anzeigestil H^{ich}(X){Stapel {cong }{zu }}H_{n-i}^{BM}(X),} or replace cohomology by cohomology with compact support {Anzeigestil H_{c}^{ich}(X){Stapel {cong }{zu }}H_{n-i}(X).} Dual cell structures Given a triangulated manifold, there is a corresponding dual polyhedral decomposition. The dual polyhedral decomposition is a cell decomposition of the manifold such that the k-cells of the dual polyhedral decomposition are in bijective correspondence with the ( {displaystyle n-k} )-cells of the triangulation, generalizing the notion of dual polyhedra.

{displaystyle cup _{Sin T}Delta cap DS} – a picture of the parts of the dual-cells in a top-dimensional simplex.

Precisely, let T be a triangulation of an n-manifold M. Let S be a simplex of T. Lassen {displaystyle Delta } be a top-dimensional simplex of T containing S, so we can think of S as a subset of the vertices of {displaystyle Delta } . Define the dual cell DS corresponding to S so that {displaystyle Delta cap DS} is the convex hull in {displaystyle Delta } of the barycentres of all subsets of the vertices of {displaystyle Delta } that contain {Anzeigestil S} . One can check that if S is i-dimensional, then DS is an ( {displaystyle n-i} )-dimensional cell. Darüber hinaus, the dual cells to T form a CW-decomposition of M, and the only ( {displaystyle n-i} )-dimensional dual cell that intersects an i-cell S is DS. Thus the pairing {Anzeigestil C_{ich}Motimes C_{n-i}Fluss mathbb {Z} } given by taking intersections induces an isomorphism {Anzeigestil C_{ich}Mto C^{n-i}M} , wo {Anzeigestil C_{ich}} is the cellular homology of the triangulation T, und {Anzeigestil C_{n-i}M} und {Anzeigestil C^{n-i}M} are the cellular homologies and cohomologies of the dual polyhedral/CW decomposition the manifold respectively. The fact that this is an isomorphism of chain complexes is a proof of Poincaré Duality. Grob gesprochen, this amounts to the fact that the boundary relation for the triangulation T is the incidence relation for the dual polyhedral decomposition under the correspondence {displaystyle Slongmapsto DS} .

Naturality Note that {Anzeigestil H^{k}} is a contravariant functor while {Anzeigestil H_{n-k}} is covariant. The family of isomorphisms {displaystyle D_{M}colon H^{k}(M)to H_{n-k}(M)} is natural in the following sense: wenn {displaystyle fcolon Mto N} is a continuous map between two oriented n-manifolds which is compatible with orientation, d.h. which maps the fundamental class of M to the fundamental class of N, dann {displaystyle D_{N}=f_{*}circ D_{M}circ f^{*},} wo {Anzeigestil f_{*}} und {Anzeigestil f^{*}} are the maps induced by {Anzeigestil f} in homology and cohomology, beziehungsweise.

Note the very strong and crucial hypothesis that {Anzeigestil f} maps the fundamental class of M to the fundamental class of N. Naturality does not hold for an arbitrary continuous map {Anzeigestil f} , since in general {Anzeigestil f^{*}} is not an injection on cohomology. Zum Beispiel, wenn {Anzeigestil f} is a covering map then it maps the fundamental class of M to a multiple of the fundamental class of N. This multiple is the degree of the map {Anzeigestil f} .

Bilinear pairings formulation Assuming the manifold M is compact, boundaryless, and orientable, Lassen {displaystyle tau H_{ich}M} denote the torsion subgroup of {Anzeigestil H_{ich}M} und lass {displaystyle fH_{ich}M=H_{ich}M/tau H_{ich}M} be the free part – all homology groups taken with integer coefficients in this section. Then there are bilinear maps which are duality pairings (explained below).

{displaystyle fH_{ich}Motimes fH_{n-i}Fluss mathbb {Z} } und {displaystyle tau H_{ich}Motimes tau H_{n-i-1}Fluss mathbb {Q} /mathbb {Z} } .

Hier {Anzeigestil mathbb {Q} /mathbb {Z} } is the quotient of the rationals by the integers, taken as an additive group. Notice that in the torsion linking form, da ist ein {Anzeigestil -1} in the dimension, so the paired dimensions add up to {Anzeigestil n-1,} rather than to {Anzeigestil n} .

The first form is typically called the intersection product and the 2nd the torsion linking form. Assuming the manifold M is smooth, the intersection product is computed by perturbing the homology classes to be transverse and computing their oriented intersection number. For the torsion linking form, one computes the pairing of x and y by realizing nx as the boundary of some class z. The form then takes the value equal to the fraction whose numerator is the transverse intersection number of z with y, and whose denominator is n.

The statement that the pairings are duality pairings means that the adjoint maps {displaystyle fH_{ich}Mto mathrm {Hom} _{mathbb {Z} }(fH_{n-i}M,mathbb {Z} )} und {displaystyle tau H_{ich}Mto mathrm {Hom} _{mathbb {Z} }(tau H_{n-i-1}M,mathbb {Q} /mathbb {Z} )} are isomorphisms of groups.

This result is an application of Poincaré Duality {Anzeigestil H_{ich}Msimeq H^{n-i}M} , together with the universal coefficient theorem, which gives an identification {displaystyle fH^{n-i}Mequiv mathrm {Hom} (H_{n-i}M;mathbb {Z} )} und {displaystyle tau H^{n-i}Mequiv mathrm {Ext} (H_{n-i-1}M;mathbb {Z} )equiv mathrm {Hom} (tau H_{n-i-1}M;mathbb {Q} /mathbb {Z} )} .

Daher, Poincaré duality says that {displaystyle fH_{ich}M} und {displaystyle fH_{n-i}M} sind isomorph, although there is no natural map giving the isomorphism, und ähnlich {displaystyle tau H_{ich}M} und {displaystyle tau H_{n-i-1}M} are also isomorphic, though not naturally.

Middle dimension While for most dimensions, Poincaré duality induces a bilinear pairing between different homology groups, in the middle dimension it induces a bilinear form on a single homology group. The resulting intersection form is a very important topological invariant.

What is meant by "middle dimension" depends on parity. For even dimension {displaystyle n=2k,} which is more common, this is literally the middle dimension k, and there is a form on the free part of the middle homology: {displaystyle fH_{k}Motimes fH_{k}Fluss mathbb {Z} } Im Gegensatz, for odd dimension {displaystyle n=2k+1,} which is less commonly discussed, it is most simply the lower middle dimension k, and there is a form on the torsion part of the homology in that dimension: {displaystyle tau H_{k}Motimes tau H_{k}Fluss mathbb {Q} /mathbb {Z} .} Jedoch, there is also a pairing between the free part of the homology in the lower middle dimension k and in the upper middle dimension {displaystyle k+1} : {displaystyle fH_{k}Motimes fH_{k+1}Fluss mathbb {Z} .} The resulting groups, while not a single group with a bilinear form, are a simple chain complex and are studied in algebraic L-theory.

Applications This approach to Poincaré duality was used by Józef Przytycki and Akira Yasuhara to give an elementary homotopy and diffeomorphism classification of 3-dimensional lens spaces.[2] Thom Isomorphism Formulation Poincaré Duality is closely related to the Thom Isomorphism Theorem, as we will explain here. For this exposition, Lassen {Anzeigestil M} be a compact, boundaryless oriented n-manifold. Lassen {displaystyle Mtimes M} be the product of {Anzeigestil M} with itself, Lassen {Anzeigestil V} be an open tubular neighbourhood of the diagonal in {displaystyle Mtimes M} . Consider the maps: {Anzeigestil H_{*}Motimes H_{*}Mto H_{*}(Mtimes M)} the Homology Cross Product {Anzeigestil H_{*}(Mtimes M)to H_{*}links(Mtimes M,(Mtimes M)setminus Vright)} inclusion. {Anzeigestil H_{*}links(Mtimes M,(Mtimes M)setminus Vright)to H_{*}(nu M,partial nu M)} excision map where {displaystyle nu M} is the normal disc bundle of the diagonal in {displaystyle Mtimes M} . {Anzeigestil H_{*}(nu M,partial nu M)to H_{*-n}M} the Thom Isomorphism. This map is well-defined as there is a standard identification {displaystyle nu Mequiv TM} which is an oriented bundle, so the Thom Isomorphism applies.

Combined, this gives a map {Anzeigestil H_{ich}Motimes H_{j}Mto H_{i+j-n}M} , which is the intersection product—strictly speaking it is a generalization of the intersection product above, but it is also called the intersection product. A similar argument with the Künneth theorem gives the torsion linking form.

This formulation of Poincaré Duality has become quite popular[3] as it provides a means to define Poincaré Duality for any generalized homology theory provided one has a Künneth theorem and a Thom Isomorphism for that homology theory. A Thom isomorphism theorem for a homology theory is now accepted as the generalized notion of orientability for a homology theory. Zum Beispiel, a spinC-structure on a manifold turns out to be precisely what is needed to be orientable in the sense of complex topological k-theory.

Generalizations and related results The Poincaré–Lefschetz duality theorem is a generalisation for manifolds with boundary. In the non-orientable case, taking into account the sheaf of local orientations, one can give a statement that is independent of orientability: see Twisted Poincaré duality.

Blanchfield duality is a version of Poincaré duality which provides an isomorphism between the homology of an abelian covering space of a manifold and the corresponding cohomology with compact supports. It is used to get basic structural results about the Alexander module and can be used to define the signatures of a knot.

With the development of homology theory to include K-theory and other extraordinary theories from about 1955, it was realised that the homology {displaystyle H'_{*}} could be replaced by other theories, once the products on manifolds were constructed; and there are now textbook treatments in generality. Genauer, there is a general Poincaré duality theorem for a generalized homology theory which requires a notion of orientation with respect to a homology theory, and is formulated in terms of a generalized Thom Isomorphism Theorem. The Thom Isomorphism Theorem in this regard can be considered as the germinal idea for Poincaré duality for generalized homology theories.

Verdier duality is the appropriate generalization to (possibly singular) geometric objects, such as analytic spaces or schemes, while intersection homology was developed by Robert MacPherson and Mark Goresky for stratified spaces, such as real or complex algebraic varieties, precisely so as to generalise Poincaré duality to such stratified spaces.

There are many other forms of geometric duality in algebraic topology, including Lefschetz duality, Alexander duality, Hodge duality, and S-duality.

More algebraically, one can abstract the notion of a Poincaré complex, which is an algebraic object that behaves like the singular chain complex of a manifold, notably satisfying Poincaré duality on its homology groups, with respect to a distinguished element (corresponding to the fundamental class). These are used in surgery theory to algebraicize questions about manifolds. A Poincaré space is one whose singular chain complex is a Poincaré complex. These are not all manifolds, but their failure to be manifolds can be measured by obstruction theory.

See also Bruhat decomposition Fundamental class Weyl group References ^ Hatcher, Allen (2002). Algebraic Topology (1st ed.). Cambridge: Cambridge University Press. ISBN 9780521795401. HERR 1867354. ^ Przytycki, Józef H.; Yasuhara, Akira (2003), "Symmetry of links and classification of lens spaces", Geometrie gewidmet, 98 (1), doi:10.1023/EIN:1024008222682, HERR 1988423 ^ Rudyak, Yuli (1998). On Thom spectra, orientability, and cobordism. Springer-Monographien zur Mathematik. With a foreword by Haynes Miller. Berlin: Springer-Verlag. ISBN 3-540-62043-5. HERR 1627486. Further reading Blanchfield, Richard C. (1957), "Intersection theory of manifolds with operators with applications to knot theory", Annalen der Mathematik, 65 (2): 340–356, doi:10.2307/1969966, JSTOR 1969966, HERR 0085512 Griffiths, Philipp; Harris, Joseph (1994), Prinzipien der algebraischen Geometrie, Wiley Classics Library, New York: Wiley, ISBN 978-0-471-05059-9, HERR 1288523 External links Intersection form at the Manifold Atlas Linking form at the Manifold Atlas Categories: Homology theoryManifoldsDuality theoriesTheorems in algebraic geometry

Wenn Sie andere ähnliche Artikel wissen möchten Poincaré-Dualität Sie können die Kategorie besuchen Duality theories.

Hinterlasse eine Antwort

Deine Email-Adresse wird nicht veröffentlicht.

Geh hinauf

Wir verwenden eigene Cookies und Cookies von Drittanbietern, um die Benutzererfahrung zu verbessern Mehr Informationen