Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJul 17th 2013

    finally an Idea-section at Poincaré duality.

    (Needs more work, clearly, but should be a start)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 19th 2013

    finally added Definition and statement, including the full chain-level statment.

    • CommentRowNumber3.
    • CommentAuthorjim_stasheff
    • CommentTimeJul 19th 2013
    Originally Henri Poincaré made the following observation:

    Theorem. Let X be a closed manifold that is orientable. Then the cap product with any choice of orientation in the form of a fundamental class [X] induces isomorphisms the form

    between the ordinary cohomology and the ordinary homology groups of X.

    I don't believe that - cohomology wasn't available to him.
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJul 19th 2013

    Fair enough. So I have changed it to the following now:

    Around 1895 Henri Poincaré made an observation about Betti numbers of closed manifolds, which in the 1930 was the formulated by Eduard Čech and Hassler Whitney in the following modern form:

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 19th 2013
    • (edited Jul 19th 2013)

    Jim, you are undoubtedly right, but this raises the question: what role did Poincaré play in this (or why was this result named in his honor)? Perhaps he enunciated a kind of shadow of this result involving Betti numbers, or something like that?

    Edit: Urs beat me to it by seconds.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 20th 2013

    Poincaré was trying to relate homology in degrees kk and nkn - k, essentially via the idea of reciprocal polyhedra. He got in rather a tangle with torsion. It’s all at around p. 28 of Dieudonné’s A History of Algebraic and Differential Topology, 1900 - 1960.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 20th 2013

    Thanks, David, I have added that pointer to the References-section.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 6th 2015

    Hi Urs, can you tell me again what you said yesterday after Colin McLarty’s talk about this. So you said there’s a hyperdoctrine of spectra over spaces, and that left and right adjoint to base change X1X \to 1, gives homology and cohomology. And then for ’self-dual’ XX these coincide, otherwise known as orientation. Something like that?

    I can’t remember how you said manifolds come out of this. Was it that among spaces which are manifolds, the orientable ones are dual?

    Would that be worth spelling out? I’m sure you say it elsewhere, but it gets a little lost among talk of χ\chi-twisted such-and-such.

    What happens then if you choose to base change along a general XYX \to Y?

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 6th 2015

    Ah, of course there’s something on one aspect above: Poincaré duality space gives a name to that kind of space, and Poincaré complex tells us that one which is a CW-complex behaves like a closed manifold.

    Since I came across nonabelian Poincaré duality just now, is there a word to say why it resembles ordinary Poincaré duality?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2015
    • (edited Sep 6th 2015)

    The modern picture of Poincaré-duality in generalized cohomology is around corollary 4.1.16 in master thesis Nuiten (schreiber) (see the remark on the top of the next page). The neat general abstract picture underlying this is the content of Quantization via Linear homotopy types (schreiber).

    A table surveying the relation between concepts in dependent linear type theory and twisted generalized cohomology theory is at twisted generalized cohomology in linear homotopy type theory – table.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeSep 7th 2015

    When I find a second I’ll write the statement in question out clearly somewhere on the nnLab. Not today, probably.

    • CommentRowNumber12.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 7th 2015

    Ok, whenever you have time.

    Looking again at some of those links, I can see there’s lots I haven’t taken in. Any clue why it’s the cohomology side (“dual of dependent sum”, so also “dependent product of dual”) that gets the richer ring structure?

    • CommentRowNumber13.
    • CommentAuthorelias_guisado
    • CommentTimeAug 14th 2023


    diff, v29, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2023

    Thanks. (These misprints are not due to typos but a software glitch, which at one point in the past replaced non-ascii special characters by question marks.)