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 (n − k)th homology group of M, for all integers k
Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation.
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 (n − k)th Betti numbers of a closed (i.e., compact and without boundary) orientable n-manifold are equal. The cohomology concept was at that time about 40 years from being clarified. In his 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.
The modern statement of the Poincaré duality theorem is in terms of homology and cohomology: if M is a closed oriented n-manifold, then there is a canonically defined isomorphism H k ( M , Z ) → → --> H n − − --> k ( M , Z ) {\displaystyle H^{k}(M,\mathbb {Z} )\to H_{n-k}(M,\mathbb {Z} )} for any integer k. To define such an isomorphism, one chooses a fixed fundamental class [M] of M, which will exist if M {\displaystyle M} is oriented. Then the isomorphism is defined by mapping an element α α --> ∈ ∈ --> H k ( M ) {\displaystyle \alpha \in H^{k}(M)} to the cap product [ M ] ⌢ ⌢ --> α α --> {\displaystyle [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.
Here, 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
or replace cohomology by cohomology with compact support
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 ( n − − --> k {\displaystyle n-k} )-cells of the triangulation, generalizing the notion of dual polyhedra.
Precisely, let T be a triangulation of an n-manifold M. Let S be a simplex of T. Let Δ Δ --> {\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 Δ Δ --> ∩ ∩ --> D S {\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 S {\displaystyle S} . One can check that if S is i-dimensional, then DS is an (n − i)-dimensional cell. Moreover, the dual cells to T form a CW-decomposition of M, and the only ( n − − --> i {\displaystyle n-i} )-dimensional dual cell that intersects an i-cell S is DS. Thus the pairing C i M ⊗ ⊗ --> C n − − --> i M → → --> Z {\displaystyle C_{i}M\otimes C_{n-i}M\to \mathbb {Z} } given by taking intersections induces an isomorphism C i M → → --> C n − − --> i M {\displaystyle C_{i}M\to C^{n-i}M} , where C i {\displaystyle C_{i}} is the cellular homology of the triangulation T, and C n − − --> i M {\displaystyle C_{n-i}M} and C n − − --> i M {\displaystyle 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. Roughly speaking, 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 S ⟼ ⟼ --> D S {\displaystyle S\longmapsto DS} .
Note that H k {\displaystyle H^{k}} is a contravariant functor while H n − − --> k {\displaystyle H_{n-k}} is covariant. The family of isomorphisms
is natural in the following sense: if
is a continuous map between two oriented n-manifolds which is compatible with orientation, i.e. which maps the fundamental class of M to the fundamental class of N, then
where f ∗ ∗ --> {\displaystyle f_{*}} and f ∗ ∗ --> {\displaystyle f^{*}} are the maps induced by f {\displaystyle f} in homology and cohomology, respectively.
Note the very strong and crucial hypothesis that f {\displaystyle f} maps the fundamental class of M to the fundamental class of N. Naturality does not hold for an arbitrary continuous map f {\displaystyle f} , since in general f ∗ ∗ --> {\displaystyle f^{*}} is not an injection on cohomology. For example, if f {\displaystyle 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 f {\displaystyle f} .
Assuming the manifold M is compact, boundaryless, and orientable, let
denote the torsion subgroup of H i M {\displaystyle H_{i}M} and let
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).
and
Here Q / Z {\displaystyle \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, there is a −1 in the dimension, so the paired dimensions add up to n − 1, rather than to 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
are isomorphisms of groups.
This result is an application of Poincaré duality
together with the universal coefficient theorem, which gives an identification
Thus, Poincaré duality says that f H i M {\displaystyle fH_{i}M} and f H n − − --> i M {\displaystyle fH_{n-i}M} are isomorphic, although there is no natural map giving the isomorphism, and similarly τ τ --> H i M {\displaystyle \tau H_{i}M} and τ τ --> H n − − --> i − − --> 1 M {\displaystyle \tau H_{n-i-1}M} are also isomorphic, though not naturally.
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 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:
By contrast, for odd dimension 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:
However, there is also a pairing between the free part of the homology in the lower middle dimension k and in the upper middle dimension k + 1:
The resulting groups, while not a single group with a bilinear form, are a simple chain complex and are studied in algebraic L-theory.
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]
An immediate result from Poincaré duality is that any closed odd-dimensional manifold M has Euler characteristic zero, which in turn gives that any manifold that bounds has even Euler characteristic.
Poincaré duality is closely related to the Thom isomorphism theorem. Let M {\displaystyle M} be a compact, boundaryless oriented n-manifold, and M × M the product of M with itself. Let V be an open tubular neighbourhood of the diagonal in M × M. Consider the maps:
Combined, this gives a map H i M ⊗ ⊗ --> H j M → → --> H i + j − − --> n M {\displaystyle H_{i}M\otimes H_{j}M\to H_{i+j-n}M} , which is the intersection product, generalizing the intersection product discussed above. A similar argument with the Künneth theorem gives the torsion linking form.
This formulation of Poincaré duality has become popular[3] as it defines Poincaré duality for any generalized homology theory, given a Künneth theorem and a Thom isomorphism for that homology theory. A Thom isomorphism theorem for a homology theory is now viewed as the generalized notion of orientability for that theory. For example, a spinC-structure on a manifold is a precise analog of an orientation within complex topological k-theory.
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 H ∗ ∗ --> ′ {\displaystyle H'_{*}} could be replaced by other theories, once the products on manifolds were constructed; and there are now textbook treatments in generality. More specifically, 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.
Japanese TV series or program Kamen Rider V3Kamen Rider V3 logoGenreTokusatsuSuperhero fictionScience fictionAction/AdventureFantasyCreated byShotaro IshinomoriDeveloped byMasaru IgamiDirected byMinoru YamadaStarringHiroshi MiyauchiHizuru OnoHideki KawaguchiAkiji KobayashiTakehisa YamaguchiNarrated byShinji NakaeComposerShunsuke KikuchiCountry of originJapanNo. of episodes52ProductionRunning time30 minutesProduction companiesToei CompanyIshimori ProductionsOriginal releaseNetworkMBS TVTV As…
ŌgimachiKaisar JepangŌgimachiBerkuasa1557–1586PendahuluGo-NaraPenerusGo-YōzeiKelahiran18 Juni 1517Kematian6 Februari 1593 (usia 75)PemakamanFukakusa no kita no Misasagi (Kyoto) Kaisar Ōgimachi (正親町天皇 Ōgimachi-tennō) (18 Juni 1517 – 6 Februari 1593) adalah kaisar Jepang ke-106. Genealogi Ōgimachi adalah putra pertama dari Kaisar Go-Nara _________? Putra tertua: Pangeran Kekaisaran Masahito (誠仁親王code: ja is deprecated , Masahito-shinnō, 1552–1586), dikenal juga seba…
Poor Man’s Guardian, 13 August 1831 The Poor Man's Guardian adalah surat kabar mingguan murah yang diterbitkan di London, Inggris, oleh Henry Hetherington sejak Juli 1831 sampai Desember 1835. Hetherington menerbitkan Poor Man's Guardian, pengganti harian murah Penny Papers for the People miliknya tahun 1830-31, sebagai tantangan langsung bagi pemerintah. Dengan harga satu penny untuk tiap terbitannya, koran ini memiliki slogan yang jelas: Published contrary to 'law' to try the power of 'might…
Satélite Transit-1A. El sistema TRANSIT, también conocido como NAVSAT ( Navy Navigation Satellite System), fue el primer sistema de navegación por satélite en funcionar. En su primera etapa, fue utilizado por la marina de los EE. UU para conseguir información precisa para el lanzamiento de misiles submarinos y para la navegación de los barcos y submarinos, también se utilizó para estudios topográficos, geotécnicos e hidrográficos. Días después del lanzamiento del Sputnik (URSS – 4…
Dutch dredging and heavylift company Royal Boskalis Westminster N.V.TypeNaamloze vennootschapTraded asEuronext: BOKAIndustryConstruction, servicesFounded1910; 113 years ago (1910)FounderJohannes Kraaijeveld Eliza van NoordenneHeadquartersPapendrecht, NetherlandsKey peoplePeter Berdowski (CEO), Herman Hazewinkel (Chairman of the supervisory board)ProductsDredging, land reclamation, maritime infrastructure, offshore constructionRevenue€2.674 billion (2010)[1]Operat…
Military and diplomacy subjects of the Byzantine empire A reason for the longevity of the Byzantine Empire is how they managed their foreign relations. Armed combat was the primary method with the evolved traditions of the Roman Empire, however Byzantine diplomacy which eventuated with their many treaties was used extensively as well. A lot of what we know of the world (and Europe in particular) during the Middle Ages comes from the records of Byzantine scholars, which were detailing the Empire'…
سيروليموس سيروليموس الاسم النظامي (3S,6R,7E,9R,10R,12R,14S,15E,17E,19E,21S,23S,26R,27R,34aS)-9,10,12,13,14,21,22,23,24,25,26,27,32,33,34,34a-hexadecahydro-9,27-dihydroxy-3-[(1R)-2-[(1S,3R,4R)-4-hydroxy-3-methoxycyclohexyl]-1-methylethyl]-10,21-dimethoxy-6,8,12,14,20,26-hexamethyl-23,27-epoxy-3H-pyrido[2,1-c][1,4]-oxaazacyclohentriacontine-1,5,11,28,29(4H,6H,31H)-pentone يعالج ثخن الأظفار الخلقي، وورام عضلي أملس وعائي ل
SarafSaraf (kuning) di lenganRincianPengidentifikasiBahasa LatinnervusTA98A14.2.00.013TA26154FMA65132Daftar istilah anatomi[sunting di Wikidata] Saraf adalah serat-serat yang menghubungkan organ-organ tubuh dengan sistem saraf pusat (yakni otak dan sumsum tulang belakang) dan antar bagian sistem saraf dengan lainnya. Saraf membawa impuls dari dan ke otak atau pusat saraf. Neuron kadang disebut sebagai sel-sel saraf, meski istilah ini sebenarnya kurang tepat karena banyak sekali neuron yang t…
Freystadt Lambang kebesaranLetak Freystadt NegaraJermanNegara bagianBayernWilayahOberpfalzKreisNeumarkt in der OberpfalzSubdivisions15 ortsteilPemerintahan • MayorWillibald Gailler (CSU)Luas • Total80,53 km2 (3,109 sq mi)Ketinggian410 m (1,350 ft)Populasi (2013-12-31)[1] • Total8.626 • Kepadatan1,1/km2 (2,8/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos92342Kode area telepon09179Pelat kendaraanNMSitus webwww…
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (يناير 2018) سرديان بيتر معلومات شخصية الميلاد 12 مارس 1975 (العمر 48 سنة)[1]موستار الطول 1.82 م (5 قدم 11 1⁄2 بوصة) مركز اللعب مدافع الجنسية البوسنة والهرسك م
19th Governor of Madhya Pradesh This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Mangubhai C. Patel – news · newspapers · books · scholar · JSTOR (July 2021) (Learn how and when to remove this templ…
1971 studio album by The Firesign TheatreI Think We're All Bozos on This BusStudio album by The Firesign TheatreReleasedAugust 1971RecordedApril–June 1971 [1]GenreComedyLength38:58[2]LabelColumbiaProducerThe Firesign TheatreThe Firesign Theatre chronology Don't Crush That Dwarf, Hand Me the Pliers(1970) I Think We're All Bozos on This Bus(1971) Dear Friends(1972) Professional ratingsReview scoresSourceRatingThe New Rolling Stone Record GuideThe Village VoiceB−[3…
Genus of fishes Heteropneustes Heteropneustes fossilis Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Actinopterygii Order: Siluriformes Superfamily: Siluroidea Family: HeteropneustidaeHora, 1936 Genus: HeteropneustesJ. P. Müller, 1840 Type species Silurus fossilisBloch, 1794 Synonyms SaccobranchusValenciennes, 1840 ClarisilurusFowler, 1937 Heteropneustes is a genus of catfishes, the airsac catfishes, native to Asia. This genus is monotypic in the family H…
Stasiun Shin-Toride新取手駅Stasiun Shin-Toride pada Mei 2008LokasiShin-Toride 1-1-1, Toride-shi, Ibaraki-ken 302-0031JepangKoordinat35°55′03″N 140°02′31″E / 35.9176°N 140.0419°E / 35.9176; 140.0419Koordinat: 35°55′03″N 140°02′31″E / 35.9176°N 140.0419°E / 35.9176; 140.0419PengelolaKantō RailwayJalur■ Jōsō LineLetak dari pangkal3.4 km dari TorideJumlah peron1 peron pulauInformasi lainStatusTanpa stafSitus webSitus we…
Der Aspangbahnhof um 1905 Der Aspangbahnhof in Wien, 1881 eröffnet und für den Personenverkehr 1971 geschlossen, war Ausgangsbahnhof der Aspangbahn Richtung Süden. Er befand sich im 3. Wiener Gemeindebezirk, Landstraße, auf den später so genannten Aspanggründen an der Aspangstraße, zwischen Rennweg und Landstraßer Gürtel gelegen. Bahn und Bahnhof wurden nach der Marktgemeinde Aspang im südlichsten Niederösterreich benannt. Inhaltsverzeichnis 1 Geschichte 1.1 Bahnhof für Deportationsz…
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (سبتمبر 2022) العصا الحادةمعلومات عامةتاريخ الصدور 22 يناير 2022[1] (الولايات المتحدة) مدة العرض 86 دقيقة[1] البلد الولايات المتحدة مواقع التصوير قرية أتواتر — إيغل روك…
American Indian agent (1832–1914) Thomas Jefferson JeffordsBorn(1832-01-01)January 1, 1832Chautauqua County, New YorkDiedFebruary 19, 1914(1914-02-19) (aged 82)Tortolita Mountains north of Tucson, ArizonaResting placeEvergreen Cemetery, Tucson, ArizonaNationalityAmericanOccupation(s)US Army Scout, Indian agent, prospectorYears active1876–1903EmployerPinkerton Detective AgencyKnown forBrokering peace with Apache Chief Cochise Thomas Jefferson Jeffords (January 1, 1832 – Febru…
Sports stadium in East Rutherford, New Jersey This article is about the American football stadium. For the Japanese baseball stadium in Tokorozawa, Saitama, see MetLife Dome. MetLife StadiumThe MeadowlandsMetLife Stadium in September 2022MetLife StadiumLocation near New York CityShow map of New York CityMetLife StadiumLocation within New JerseyShow map of New JerseyMetLife StadiumLocation near New York within the United StatesShow map of the United StatesFormer namesNew Meadowlands Stadium (2010…
Bus station in England Haymarket Bus StationThe main entrance of the bus stationGeneral informationLocation1 Charles StreetLeicesterUnited KingdomOwned byLeicester City CouncilOperated byLeicester City CouncilBus routes37Bus stands23Bus operatorsArriva Midlands, Centrebus, First Leicester, Stagecoach & VectareConnectionsyesOther informationWebsitewww.leicesterbuses.co.ukHistoryOpened1994 (original) 2016 (redeveloped station)Closed2015 (original) Haymarket bus station is the main bus station …
College football game2011 Progressive Gator Bowl66th Gator Bowl Mississippi State Bulldogs Michigan Wolverines (8–4) (7–5) SEC Big Ten 52 14 Head coach: Dan Mullen Head coach: Rich Rodriguez APCoachesBCS 212221 1234 Total Mississippi State 1021147 52 Michigan 14000 14 DateJanuary 1, 2011Season2010StadiumEverBank FieldLocationJacksonville, FloridaMVPChris Relf (QB, Mississippi State) & Denard Robinson (QB, Michigan)[1]FavoriteMiss. St. by 5[2]RefereeJer…
Lokasi Pengunjung: 18.216.179.146