[ALGTOP-L] ALGTOP-L Digest, Vol 411, Issue 1
Andrew J. Baker
a.baker at maths.gla.ac.uk
Sun May 9 14:28:58 EDT 2010
This is a multi-part message in MIME format.
------_=_NextPart_001_01CAEFA5.7D7C0D9F
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
The canonical reference for classical bordism calculations is still =
Stong's book
Notes on Cobordism Theory (Princeton UP), see Chap IX which discusses =
the subject=20
in detail including Wall's calculations and the relation with integral =
homology.=20
The esssence is that MSO splits as a wedge of suspensions of HZ and =
HF_2, the tricky part is to see the wedge summands.
A good source of this sort of detail and the multiplicative structure =
can be found=20
in David Pengelley's work:
MR0686134 (84b:57025b)
Pengelley, David J.
The $A$-algebra structure of Thom spectra: $M{\rm SO}$ as an example. =
Current trends in algebraic topology, Part 1 (London, Ont., 1981), pp. =
511--513,
CMS Conf. Proc., 2, Amer. Math. Soc., Providence, R.I., 1982.
MR0657503 (84i:57018)
Pengelley, David J.
The mod two homology of $M{\rm SO}$ and $M{\rm SU}$ as $A$ comodule =
algebras, and=20
the cobordism ring.
J. London Math. Soc. (2) 25 (1982), no. 3, 467--472.=20
The A_*-comodule algebra structure of H_*(BSO;F_2) can be explicitely =
seen as an extended comodule algebra and then the fact that the first =
two summand are HZ and \Sigma^4HZ is clear.
Andy Baker
------------------------------
Dr A. J. Baker
Department of Mathematics
University of Glasgow
University Gardens
Glasgow
G12 8QW
Scotland
phone (0141) 330 6140
fax (0141) 330 4111
a.baker at maths.gla.ac.uk
http://www.maths.gla.ac.uk/~ajb/
-----
The University of Glasgow, charity number SC004401
-----Original Message-----
From: algtop-l-bounces+a.baker=3Dmaths.gla.ac.uk at lists.lehigh.edu on =
behalf of algtop-l-request at lists.lehigh.edu
Sent: Sun 5/9/2010 17:00
To: algtop-l at lists.lehigh.edu
Subject: ALGTOP-L Digest, Vol 411, Issue 1
=20
Send ALGTOP-L mailing list submissions to
algtop-l at lists.lehigh.edu
To subscribe or unsubscribe via the World Wide Web, visit
https://lists.lehigh.edu/mailman/listinfo/algtop-l
or, via email, send a message with subject or body 'help' to
algtop-l-request at lists.lehigh.edu
You can reach the person managing the list at
algtop-l-owner at lists.lehigh.edu
When replying, please edit your Subject line so it is more specific
than "Re: Contents of ALGTOP-L digest..."
Today's Topics:
1. Submission (Daniel Moskovich)
----------------------------------------------------------------------
Message: 1
Date: Sun, 9 May 2010 10:53:58 +0900
From: Daniel Moskovich <dmoskovich at gmail.com>
Subject: [ALGTOP-L] Submission
To: algtop-l at lists.lehigh.edu
Message-ID:
<z2ie238cada1005081853q102f4ef1redee6a6b3c57619e at mail.gmail.com>
Content-Type: multipart/alternative;
boundary=3De0cb4e887e21d06c8704861f90c1
--e0cb4e887e21d06c8704861f90c1
Content-Type: text/plain; charset=3DISO-8859-1
I would like to ask the following question to this list, also asked by
myself <a href=3D"
http://mathoverflow.net/questions/23440/reference-request-for-relative-bo=
rdism-coinciding-with-homology-in-low-dimensions">on
MathOverflow</a>.
It's a standard fact that, for finite CW complexes, the relative
(oriented) bordism group $\Omega_n^O(X,A)$ is isomorphic to =
$[H_\ast(X,A;
\Omega^O_*(pt.))]_n$, which is isomorphic to $H_n(X,A)$ for $n<4$. One =
can
prove this using the Atiyah-Hirzebruch spectral sequence, and it can be
deduced from results of Thom, but all papers I've seen seem to just
state this isomorphism as a fact without citation. I really want to find =
the
original reference for the above isomorphism, but have wasted much time =
and
found nothing.
What is the original reference for the above proof (and the fact itself)
that relative bordism and relative homology coincide in low dimensions?
--e0cb4e887e21d06c8704861f90c1
Content-Type: text/html; charset=3DISO-8859-1
Content-Transfer-Encoding: quoted-printable
<div>I would like to ask the following question to this list, also asked =
by=3D
myself <a href=3D3D"<a =
href=3D3D"http://mathoverflow.net/questions/234=3D
40/reference-request-for-relative-bordism-coinciding-with-homology-in-low=
-d=3D
imensions" =
target=3D3D"_blank">http://mathoverflow.net/questions/23440/refere=3D
nce-request-for-relative-bordism-coinciding-with-homology-in-low-dimensio=
ns=3D
</a>">on MathOverflow</a>.</div>
<div>=3DA0</div>
<div>It's a standard fact that, for finite CW complexes, the relative =
(=3D
oriented)=3DA0bordism group=3DA0 $<span =
alt=3D3D"\Omega_n^O(X)=3D3D\pi_{n+k}(MO(k)\=3D
wedge X)"><font face=3D3D"Times New =
Roman">\Omega_n^O(X,A)</font></span>$ is =3D
isomorphic to $<span alt=3D3D"[H_\ast(X; \Omega^O_*(pt.))]_n"><font =
face=3D3D"T=3D
imes New Roman">[H_\ast(X,A; \Omega^O_*(pt.))]_n$, which is isomorphic =
to $=3D
H_n(X,A)$ for $n<4$</font></span>.=3DA0One can prove this using the =
Atiyah=3D
-Hirzebruch spectral sequence, and it can be deduced from results of =
Thom,=3D
=3DA0but all papers I've seen seem to just state=3DA0this =
isomorphism=3DA0as =3D
a fact without citation. I really want to find the original reference =
for t=3D
he above isomorphism, but have wasted much time and found nothing.</div>
<div>=3DA0</div>
<div>What is the original reference for the above proof (and the fact =
itsel=3D
f) that relative bordism and relative homology coincide in low =
dimensions?<=3D
/div>
<div>=3DA0</div>
<div>=3DA0</div>
--e0cb4e887e21d06c8704861f90c1--
------------------------------
_______________________________________________
ALGTOP-L mailing list
ALGTOP-L at lists.lehigh.edu
https://lists.lehigh.edu/mailman/listinfo/algtop-l
End of ALGTOP-L Digest, Vol 411, Issue 1
****************************************
------_=_NextPart_001_01CAEFA5.7D7C0D9F
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Diso-8859-1">
<META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version =
6.5.7654.12">
<TITLE>RE: ALGTOP-L Digest, Vol 411, Issue 1</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->
<P><FONT SIZE=3D2>The canonical reference for classical bordism =
calculations is still Stong's book<BR>
Notes on Cobordism Theory (Princeton UP), see Chap IX which discusses =
the subject<BR>
in detail including Wall's calculations and the relation with integral =
homology.<BR>
The esssence is that MSO splits as a wedge of suspensions of HZ and =
HF_2, the tricky part is to see the wedge summands.<BR>
<BR>
A good source of this sort of detail and the multiplicative structure =
can be found<BR>
in David Pengelley's work:<BR>
<BR>
MR0686134 (84b:57025b)<BR>
Pengelley, David J.<BR>
The $A$-algebra structure of Thom spectra: $M{\rm SO}$ as an example. =
Current trends in algebraic topology, Part 1 (London, Ont., 1981), pp. =
511--513,<BR>
CMS Conf. Proc., 2, Amer. Math. Soc., Providence, R.I., 1982.<BR>
<BR>
MR0657503 (84i:57018)<BR>
Pengelley, David J.<BR>
The mod two homology of $M{\rm SO}$ and $M{\rm SU}$ as $A$ comodule =
algebras, and<BR>
the cobordism ring.<BR>
J. London Math. Soc. (2) 25 (1982), no. 3, 467--472.<BR>
<BR>
The A_*-comodule algebra structure of H_*(BSO;F_2) can be explicitely =
seen as an extended comodule algebra and then the fact that the first =
two summand are HZ and \Sigma^4HZ is clear.<BR>
<BR>
Andy Baker<BR>
<BR>
------------------------------<BR>
<BR>
Dr A. J. Baker<BR>
Department of Mathematics<BR>
University of Glasgow<BR>
University Gardens<BR>
Glasgow<BR>
G12 8QW<BR>
Scotland<BR>
<BR>
phone (0141) 330 6140<BR>
fax (0141) 330 4111<BR>
<BR>
a.baker at maths.gla.ac.uk<BR>
<A =
HREF=3D"http://www.maths.gla.ac.uk/~ajb/">http://www.maths.gla.ac.uk/~ajb=
/</A><BR>
<BR>
-----<BR>
The University of Glasgow, charity number SC004401<BR>
<BR>
<BR>
<BR>
-----Original Message-----<BR>
From: algtop-l-bounces+a.baker=3Dmaths.gla.ac.uk at lists.lehigh.edu on =
behalf of algtop-l-request at lists.lehigh.edu<BR>
Sent: Sun 5/9/2010 17:00<BR>
To: algtop-l at lists.lehigh.edu<BR>
Subject: ALGTOP-L Digest, Vol 411, Issue 1<BR>
<BR>
Send ALGTOP-L mailing list submissions to<BR>
algtop-l at lists.lehigh.edu<BR>
<BR>
To subscribe or unsubscribe via the World Wide Web, visit<BR>
<A =
HREF=3D"https://lists.lehigh.edu/mailman/listinfo/algtop-l">https://lists=
.lehigh.edu/mailman/listinfo/algtop-l</A><BR>
or, via email, send a message with subject or body 'help' to<BR>
=
algtop-l-request at lists.lehigh.edu<BR>
<BR>
You can reach the person managing the list at<BR>
=
algtop-l-owner at lists.lehigh.edu<BR>
<BR>
When replying, please edit your Subject line so it is more specific<BR>
than "Re: Contents of ALGTOP-L digest..."<BR>
<BR>
<BR>
Today's Topics:<BR>
<BR>
1. Submission (Daniel Moskovich)<BR>
<BR>
<BR>
----------------------------------------------------------------------<BR=
>
<BR>
Message: 1<BR>
Date: Sun, 9 May 2010 10:53:58 +0900<BR>
From: Daniel Moskovich <dmoskovich at gmail.com><BR>
Subject: [ALGTOP-L] Submission<BR>
To: algtop-l at lists.lehigh.edu<BR>
Message-ID:<BR>
=
<z2ie238cada1005081853q102f4ef1redee6a6b3c57619e at mail.gmail.com><BR=
>
Content-Type: multipart/alternative;<BR>
=
boundary=3De0cb4e887e21d06c8704861f90c1<BR>
<BR>
--e0cb4e887e21d06c8704861f90c1<BR>
Content-Type: text/plain; charset=3DISO-8859-1<BR>
<BR>
I would like to ask the following question to this list, also asked =
by<BR>
myself <a href=3D"<BR>
<A =
HREF=3D"http://mathoverflow.net/questions/23440/reference-request-for-rel=
ative-bordism-coinciding-with-homology-in-low-dimensions">http://mathover=
flow.net/questions/23440/reference-request-for-relative-bordism-coincidin=
g-with-homology-in-low-dimensions</A>">on<BR>
MathOverflow</a>.<BR>
<BR>
It's a standard fact that, for finite CW complexes, the relative<BR>
(oriented) bordism group $\Omega_n^O(X,A)$ is isomorphic to =
$[H_\ast(X,A;<BR>
\Omega^O_*(pt.))]_n$, which is isomorphic to $H_n(X,A)$ for $n<4$. =
One can<BR>
prove this using the Atiyah-Hirzebruch spectral sequence, and it can =
be<BR>
deduced from results of Thom, but all papers I've seen seem to just<BR>
state this isomorphism as a fact without citation. I really want to find =
the<BR>
original reference for the above isomorphism, but have wasted much time =
and<BR>
found nothing.<BR>
<BR>
What is the original reference for the above proof (and the fact =
itself)<BR>
that relative bordism and relative homology coincide in low =
dimensions?<BR>
<BR>
--e0cb4e887e21d06c8704861f90c1<BR>
Content-Type: text/html; charset=3DISO-8859-1<BR>
Content-Transfer-Encoding: quoted-printable<BR>
<BR>
<div>I would like to ask the following question to this list, also =
asked by=3D<BR>
myself &lt;a href=3D3D&quot;<a href=3D3D"<A =
HREF=3D"http://mathoverflow.net/questions/234=3D">http://mathoverflow.net=
/questions/234=3D</A><BR>
40/reference-request-for-relative-bordism-coinciding-with-homology-in-low=
-d=3D<BR>
imensions" target=3D3D"_blank"><A =
HREF=3D"http://mathoverflow.net/questions/23440/refere=3D">http://mathove=
rflow.net/questions/23440/refere=3D</A><BR>
nce-request-for-relative-bordism-coinciding-with-homology-in-low-dimensio=
ns=3D<BR>
</a>&quot;&gt;on =
MathOverflow&lt;/a&gt;.</div><BR>
<BR>
<div>=3DA0</div><BR>
<div>It's a standard fact that, for finite CW complexes, the =
relative (=3D<BR>
oriented)=3DA0bordism group=3DA0 $<span =
alt=3D3D"\Omega_n^O(X)=3D3D\pi_{n+k}(MO(k)\=3D<BR>
wedge X)"><font face=3D3D"Times New =
Roman">\Omega_n^O(X,A)</font></span>$ is =3D<BR>
isomorphic to $<span alt=3D3D"[H_\ast(X; =
\Omega^O_*(pt.))]_n"><font face=3D3D"T=3D<BR>
imes New Roman">[H_\ast(X,A; \Omega^O_*(pt.))]_n$, which is =
isomorphic to $=3D<BR>
H_n(X,A)$ for $n&lt;4$</font></span>.=3DA0One can prove =
this using the Atiyah=3D<BR>
-Hirzebruch spectral sequence, and it can be deduced from results of =
Thom,=3D<BR>
=3DA0but all papers I've seen seem to just state=3DA0this =
isomorphism=3DA0as =3D<BR>
a fact without citation. I really want to find the original reference =
for t=3D<BR>
he above isomorphism, but have wasted much time and found =
nothing.</div><BR>
<BR>
<div>=3DA0</div><BR>
<div>What is the original reference for the above proof (and the =
fact itsel=3D<BR>
f) that relative bordism and relative homology coincide in low =
dimensions?<=3D<BR>
/div><BR>
<div>=3DA0</div><BR>
<div>=3DA0</div><BR>
<BR>
--e0cb4e887e21d06c8704861f90c1--<BR>
<BR>
<BR>
<BR>
------------------------------<BR>
<BR>
_______________________________________________<BR>
ALGTOP-L mailing list<BR>
ALGTOP-L at lists.lehigh.edu<BR>
<A =
HREF=3D"https://lists.lehigh.edu/mailman/listinfo/algtop-l">https://lists=
.lehigh.edu/mailman/listinfo/algtop-l</A><BR>
<BR>
<BR>
End of ALGTOP-L Digest, Vol 411, Issue 1<BR>
****************************************<BR>
<BR>
<BR>
<BR>
</FONT>
</P>
</BODY>
</HTML>
------_=_NextPart_001_01CAEFA5.7D7C0D9F--
More information about the ALGTOP-L
mailing list