added the remark that
The canonical topological group-inclusions
(quaternionic unitary group into special unitary group into unitary group) induce ring spectrum-homomorphism of Thom spectra
and hence corresponding multiplicative cohomology theory-homomorphisms of cobordism cohomology theories.
]]>Words of wisdom, perhaps, from Nige Ray (here):
]]>Maybe , is such a problem because -manifolds admit so few alternative structures.
Thanks for checking. Maybe it can indeed be decided on the characteristic classes.
More modern (in fact recent) accounts of K3 as representing an element in the -bordism ring are referenced at MSU, here. (These authors even mention -bordism, but only to say that it remains mostly unknown.)
I was vaguely thinking that the identification of the K3’s structure group might allow to see how its bordism class behaved as we move from -bordism to -bordism. But one needs more info than that.
(On terminology: It seems that these days “Kummer surface” is mostly used for the singular incarnation of K3 as the orbifold Usage seems to have been different when Novikov wrote his survey, not sure.)
]]>And ’Kummer surface’ seems to be in some places a synonym for K3, but it’s not quite clear. A smooth quartic in is a K3, and Novikov says a “generic” quartic.
Hmm, but now I read your comment #7 more closely, this was just about , and extending this to . Man, should have slowed down…
]]>(Edit this is a little bit confused, take with a grain of salt)
I think from (3.16) on page 218 one gets that is a K3. Certainly and work out right. The Pontryagin class is correct, up to sign, and the signature is also correct, up to sign.
So the only issue is the signs on and , and I don’t know if this is just due to normalisation, or if one needs to take the reverse orientation, or what.
Hmm, no: the Pontryagin classes are independent of the orientation! So it might be something to do with a choice of basis?
]]>When you say , you mean what Novikov has as the Kummer surface ?
]]>Thanks for checking.
But I cannot tell from this if K3 represents a generator, hence if that is -bordant to . I suspect it is, but then why wouldn’t anyone comment on it.
I know that the bordism class of is a non-trivial element in , e.g. from Novikov, p. 218 (and in , for that matter). I am thinking this ought to imply at least that it’s also non-trivial in , I suppose.
]]>The K3-surface should represent a nontrivial class in , no?
At the end of
it says
is a generator of ,
where is mentioned at the top of p. 432, and earlier.
]]>Presumably at some stage we’d split off ’quaternionic cobordism’, e.g., to include the kind of things Laughton speaks about in Chapter 7:
We begin with some preliminaries on quaternionic cobordism,… (p. 99)
’Quaternionic towers’, etc.
]]>I am trying to find out:
The K3-surface should represent a nontrivial class in , no?
I am trying to find a reference that would admit this and provide more details.
]]>and this couple:
Stanley Kochman, The symplectic cobordism ring I, Memoirs of the American Mathematical Society 1980, Volume 24, Number 271 (doi:10.1090/memo/0271)
Stanley Kochman, The symplectic cobordism ring II, Memoirs of the American Mathematical Society 1982 Volume 40, Number 271 (doi:10.1090/memo/0271)
and this one:
have added this pointer: