Subject: new Hopf listings From: Mark Hovey Date: 26 Nov 2000 09:01:35 -0500 Twelve new papers this time. Mark Hovey New papers appearing on hopf between 11/8/00 and 11/26/00. 1. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Dorabiala/transfer Abstract: The goal of this paper is to show that if a smooth fiber bundle has a compact Lie group as structure group, then the transfer map for the algebraic K-theory of spaces satisfies analogs of the Mackey Double coset formula and Feshbach's sum formula. We also prove a "cut and paste" formula for parametrized Reidemeister torsion. Wojtek Dorabiala 2. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Mitchell/local Author: Stephen A. Mitchell Title: The algebraic K-theory spectrum of a 2-adic local field e-mail: mitchell@math.washington.edu We explicitly determine the homotopy type of the 2-completed algebraic K-theory spectrum KF, where F is an arbitrary finite extension of the 2-adic rational numbers. 3. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Mitchell/localhom Author: Stephen A. Mitchell Title: The mod 2 homology of the general linear group of a 2-adic local field e-mail: mitchell@math.washington.edu Let F be a finite extension of the 2-adic rational numbers. We compute the mod 2 homology of the general linear group GL(F) as a Hopf algebra over the Steenrod algebra. 4. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Morton-Strickland/cost-hrk The Hopf Rings for KO and KU Dena S. Cowen Morton and Neil P. Strickland 55N15; 55P43 math.AT/0011125 Department of Mathematics Xavier University Cincinnati OH 45207 USA Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk We compute the mod two homology Hopf rings of the spectra KO and KU. The spaces in these spectra are the infinite classical groups and their coset spaces, and their homology was first calculated in the Cartan seminars, but the Hopf ring structure was first determined in the second author's unpublished PhD thesis. The presentation given here serves as an introduction to the first author's much more intricate work on the connective spectrum bo. The Hopf ring viewpoint turns out to be very convenient for understanding the homological effect of various maps between classical groups and fibrations of their connective covers. 5. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Saneblidze-Umble/SUpaper Title: A Diagonal on the Associahedra Authors: Samson Saneblidze and Ronald Umble MSC-class: 57T30; 55U10; 55N20; 55N10 xxx.LANL.gov: math.AT/0011065 Author's Addresses: A. Razmadze Mathematical Institute, M. Aleksidze St., 1, 380093 Tbilisi, Georgia Department of Mathemaitcs, Millersville Univ. of PA, Millersville, PA 17 551 Author's e-mail addresses: sane@rmi.acnet.ge ron.umble@millersville.edu ABSTRACT: An associahedral set is a combinatorial object generated by Stasheff associahedra K_n and equipped with appropriate face and degeneracy operators. Associahedral sets are similar in many ways to simplicial or cubical sets. In this paper we give a formal definition of an associahedral set, discuss some naturally occurring examples and construct an explicit geometric diagonal \Delta :C_*(K_n) --> C_*(K_n) \otimes C_*(K_n) on the cellular chains C_*(K_n). The diagonal \Delta, which is analogous to the Alexander-Whitney diagonal on the simplices, gives rise to a diagonal on any associahedral set and leads immediately to an explicit diagonal on the A_\infty operad. As an application of this, we use the diagonal \Delta to define a tensor product in the A_\infty category. 6. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-bce The BP cohomology of elementary Abelian groups Neil P. Strickland 20J06; 55N20; 14L05 math.AT/0011120 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk In this paper we study E^*BV_k, where E=BP is a cohomology theory with coefficient ring F_p[v_m,...,v_n] (if m>0) or Z_(p)[v_1,...,v_n] (if m=0). We use ideas from the theory of multiple level structures, developed in earlier work of the author with John Greenlees. Our results apply when k is less than or equal to w=n+1-m. If k E^0BG is an isomorphism. 8. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-csi Common subbundles and intersections of divisors Neil P. Strickland 55N20; 14L05; 14M15 math.AT/0011123 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk Let V_0 and V_1 be complex vector bundles over a space X. We use the theory of divisors on formal groups to give obstructions in generalised cohomology that vanish when V_0 and V_1 can be embedded in a bundle U in such a way that V_0\cap V_1 has dimension at least k everywhere. We study various algebraic universal examples related to this question, and show that they arise from the generalised cohomology of corresponding topological universal examples. This extends and reinterprets earlier work on degeneracy classes in ordinary cohomology or intersection theory. 9. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-fsfg Formal schemes and formal groups Neil P. Strickland 14L05; 55N22 math.AT/0011121 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented cohomology theories, exemplified by the work of Morava. Most of the results have close and well-known analogues in the algebro-geometric literature, but with different definitions or technical assumptions that are often inconvenient for topological applications. We merely put everything together in a systematic and convenient way. 10. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-ghd Gross-Hopkins duality Neil P. Strickland 55N20; 55P42; 20E18 math.AT/0011108 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk We give a new and simpler proof of a result of Hopkins and Gross relating Brown-Comenetz duality to Spanier-Whitehead duality in the K(n)-local stable homotopy category. 11. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-kld K(n) local duality for finite groups and groupoids Neil P. Strickland 55P42; 55P60; 55R40 math.AT/0011109 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk Included postscript file: st-kld.eps We define an inner product (suitably interpreted) on the K(n)-local spectrum LG := L_{K(n)}BG_+, where G is a finite group or groupoid. This gives an inner product on E^*BG_+ for suitable K(n)-local ring spectra E. We relate this to the usual inner product on the representation ring when n=1, and to the Hopkins-Kuhn-Ravenel generalised character theory. We show that LG is a Frobenius algebra object in the K(n)-local stable category, and we recall the connection between Frobenius algebras and topological quantum field theories to help analyse this structure. In many places we find it convenient to use groupoids rather than groups, and to assist with this we include a detailed treatment of the homotopy theory of groupoids. We also explain some striking formal similarities between our duality and Atiyah-Poincare duality for manifolds. 12. http://hopf.math.purdue.edu/cgi-bin/generate?/pub/Strickland/st-pmm Products on MU-modules Neil P. Strickland 55T25 math.AT/0011122 Department of Pure Mathematics University of Sheffield Hicks Building Hounsfield Road Sheffield S3 7RH UK N.P.Strickland@sheffield.ac.uk Included postscript file: st-pmm.eps We use the new categories of spectra and MU-modules constructed by Elmendorf, Kriz, Mandell and May to get improved results about multiplicative structures on spectra such as P(n) and E(n), particularly in the case p=2. ---------------------Instructions----------------------------- To subscribe or unsubscribe to this list, send a message to Don Davis at dmd1@lehigh.edu with your e-mail address and name. Please make sure he is using the correct e-mail address for you. To see past issues of this mailing list, point your WWW browser to http://www.math.wesleyan.edu/~mhovey/archive/ If this doesn't work or is missing a few issues, try http://www.lehigh.edu/~dmd1/algtop.html which also has the other messages sent to Don's list. To get the papers listed above, point your WWW client (Netscape< Internet Explorer) to the URL listed. The general Hopf archive URL is http://hopf.math.purdue.edu There are links to Purdue seminars, and other math related things on this page as well. The largest archive of math preprints is at http://xxx.lanl.gov There is an algebraic topology section in this archive. The most useful way to browse it or submit papers to it is via the front end developed by Greg Kuperberg: http://front.math.ucdavis.edu To get the announcements of new papers in the algebraic topology section at xxx, send e-mail to math@xxx.lanl.gov with subject line "subscribe" (without quotes), and with the body of the message "add AT" (without quotes). You can also access Hopf through ftp. Ftp to hopf.math.purdue.edu, and login as ftp. Then cd to pub. Files are organized by author name, so papers by me are in pub/Hovey. If you want to download a file using ftp, you must type binary before you type get . To put a paper of yours on the archive, cd to /pub/incoming. Transfer the dvi file using binary, by first typing binary then put You should also transfer an abstract as well. Clarence has explicit instructions for the form of this abstract: see http://hopf.math.purdue.edu/pub/new-html/submissions.html In particular, your abstract is meant to be read by humans, so should be as readable as possible. I reserve the right to edit unreadable abstracts. You should then e-mail Clarence at wilker@math.purdue.edu telling him what you have uploaded. I am solely responsible for these messages---don't send complaints about them to Clarence. Thanks to Clarence for creating and maintaining the archive.