Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 26th 2014
   • (edited Feb 26th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexCreated a brief entry _[[transfer context]]_ in order to record an observation by Haugseng. He defines a transfer context to be a linear homotopy-type theory aka [[Wirthmüller context]] in which not only $f_!$ but also $f_\ast$ satisfies its [[projection formula]]. Then he observes that a natural Umkehr map that may be built with this projection formula is (the abstract generalization of) the [[Becker-Gottlieb transfer]]. (Have briefly cross-linked with these related entries.) Thanks to Thomas Nikolaus for being reminded of Haugseng's work when Joost Nuiten and me talked about _[[schreiber:Quantization via Linear Homotopy Types|something closely related]]_ as ESI yesterday.

   Created a brief entry transfer context in order to record an observation by Haugseng.

   He defines a transfer context to be a linear homotopy-type theory aka Wirthmüller context in which not only $f_!$ but also $f_\ast$ satisfies its projection formula. Then he observes that a natural Umkehr map that may be built with this projection formula is (the abstract generalization of) the Becker-Gottlieb transfer.

   (Have briefly cross-linked with these related entries.)

   Thanks to Thomas Nikolaus for being reminded of Haugseng’s work when Joost Nuiten and me talked about something closely related as ESI yesterday.