6
$\begingroup$

Taking the point of view that a Thom spectrum functor should be a map $Top_{/BGL_1(R)}\to LMod_R$, for $R$ some $\mathbb{E}_n$-ring spectrum, there seem to be two morphisms (in $Top_{/BGL_1(R)}$) that could potentially be called the "Thom diagonal."

The first (given as diagram 5.43 on page 42 of ABGHR) is given by the commutative triangle (hence the morphism in $Top_{/BGL_1(R)}$):

$$\require{AMScd} \begin{CD} X@>{\Delta}>> X\times X;\\ @V{f}VV @VVf\circ\pi_1V \\ BGL_1(R)@>{=}>> BGL_1(R); \end{CD}$$

and the second (given on page 37 of this other paper by Ando, Blumberg and Gepner) is given in $GL_1(R)$-spaces (equivalent to spaces over $BGL_1(R)$):

$$P\overset{1_P\times \ast}\longrightarrow P\times (GL_1(R)\times X).$$

These seem like different morphisms (i.e. if we use the Grothendieck construction to compare them), are they? My motivation for thinking the latter is not the same as the former is that the latter is equivalent to a morphism that would factor as $$P\overset{1_P\times \ast}\longrightarrow P\times GL_1(R)\overset{1_{P\times GL_1(R)}\times\ast}\longrightarrow P\times (GL_1(R)\times X),$$ but this, on the level of spaces over $BGL_1(R)$, should correspond not to the diagonal map but rather the inclusion into the left coordinate $X\overset{i_1}\hookrightarrow X\times X$ (I think?!).

If this latter map is NOT the one coming from the former, then what map in $GL_1(R)$-spaces does come from the former map? If the latter map is the same as the former, how do we see that?

$\endgroup$
  • 1
    $\begingroup$ You may look at Rudyak's book or Manchester thesis of Dobson, around 2006/2007 I guess, where this map is used to computed Thom algebras. The following is ought to be compatible with this, and you are right to think that it is induced by the usual diagonal where you compute pull back of $\xi\times 0\to X\times X$ through the diagonal map $X\to X\times X$ which after Thomifying yields $X^\xi\to X^\xi\wedge X_+$. Of course, you can always think of twisting this which I think is the case with the recent paper of Ando et al available on arxiv. $\endgroup$ – user51223 Jan 20 '16 at 11:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.