Reference request for K-Theory linearization
$begingroup$
I posted this question on math.se here:https://math.stackexchange.com/q/2996787/482732, but I think it may be more appropriate here, sorry if I am wrong about that.
In Waldhausen's paper Algebraic K theory of Spaces(the long one) he proves the following:
$$A(X)simeq mathbb{Z}times Bwidehat{Gl}(Omega^{infty}Sigma^infty |G|)$$
Where $|G|$ is a loop group of $X$. My problem is that to apply $B$ we need $widehat{Gl}(Omega^{infty}Sigma^infty |G|)$ to be $A^infty$, but since $Omega^{infty}Sigma^infty |G|$ is only a ring up to homotopy this isn't obvious to me. Waldhausen just brushes past this point, so I was hoping to get a reference to somewhere that shows this in detail. Thanks.
reference-request homotopy-theory kt.k-theory-and-homology
$endgroup$
add a comment |
$begingroup$
I posted this question on math.se here:https://math.stackexchange.com/q/2996787/482732, but I think it may be more appropriate here, sorry if I am wrong about that.
In Waldhausen's paper Algebraic K theory of Spaces(the long one) he proves the following:
$$A(X)simeq mathbb{Z}times Bwidehat{Gl}(Omega^{infty}Sigma^infty |G|)$$
Where $|G|$ is a loop group of $X$. My problem is that to apply $B$ we need $widehat{Gl}(Omega^{infty}Sigma^infty |G|)$ to be $A^infty$, but since $Omega^{infty}Sigma^infty |G|$ is only a ring up to homotopy this isn't obvious to me. Waldhausen just brushes past this point, so I was hoping to get a reference to somewhere that shows this in detail. Thanks.
reference-request homotopy-theory kt.k-theory-and-homology
$endgroup$
1
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57
add a comment |
$begingroup$
I posted this question on math.se here:https://math.stackexchange.com/q/2996787/482732, but I think it may be more appropriate here, sorry if I am wrong about that.
In Waldhausen's paper Algebraic K theory of Spaces(the long one) he proves the following:
$$A(X)simeq mathbb{Z}times Bwidehat{Gl}(Omega^{infty}Sigma^infty |G|)$$
Where $|G|$ is a loop group of $X$. My problem is that to apply $B$ we need $widehat{Gl}(Omega^{infty}Sigma^infty |G|)$ to be $A^infty$, but since $Omega^{infty}Sigma^infty |G|$ is only a ring up to homotopy this isn't obvious to me. Waldhausen just brushes past this point, so I was hoping to get a reference to somewhere that shows this in detail. Thanks.
reference-request homotopy-theory kt.k-theory-and-homology
$endgroup$
I posted this question on math.se here:https://math.stackexchange.com/q/2996787/482732, but I think it may be more appropriate here, sorry if I am wrong about that.
In Waldhausen's paper Algebraic K theory of Spaces(the long one) he proves the following:
$$A(X)simeq mathbb{Z}times Bwidehat{Gl}(Omega^{infty}Sigma^infty |G|)$$
Where $|G|$ is a loop group of $X$. My problem is that to apply $B$ we need $widehat{Gl}(Omega^{infty}Sigma^infty |G|)$ to be $A^infty$, but since $Omega^{infty}Sigma^infty |G|$ is only a ring up to homotopy this isn't obvious to me. Waldhausen just brushes past this point, so I was hoping to get a reference to somewhere that shows this in detail. Thanks.
reference-request homotopy-theory kt.k-theory-and-homology
reference-request homotopy-theory kt.k-theory-and-homology
edited Nov 13 '18 at 15:54
Noah Riggenbach
asked Nov 13 '18 at 15:41
Noah RiggenbachNoah Riggenbach
1385
1385
1
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57
add a comment |
1
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57
1
1
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I claim that for every $A_infty$-space $A$, there is a canonical $A_infty$-ring structure on $Omega^inftySigma^infty_+A$.
First, $Sigma^infty_+$ from spaces to spectra is symmetric monoidal. So it sends an $A_infty$-space $A$ to an $A_infty$-algebra in spectra $Sigma^infty_+A$, that is an $A_infty$-ring spectrum. The fact that $Sigma^infty_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).
Secondly I claim that if $E$ is an $A_infty$-ring spectrum, then $Omega^infty E$ has a canonical $A_infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A_infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E_infty$-ring spaces (Corollary 7.5 in May's What precisely are $E_infty$-ring spaces and $E_infty$-ring spectra).
If all you care for is a construction of the $A_infty$-structure on $GL_1(Sigma^infty_+A)$, I particularly like the approach in
Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology
where they identify $GL_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A_infty$-structure, since all automorphism groups in an ∞-category "trivially" do).
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f315239%2freference-request-for-k-theory-linearization%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I claim that for every $A_infty$-space $A$, there is a canonical $A_infty$-ring structure on $Omega^inftySigma^infty_+A$.
First, $Sigma^infty_+$ from spaces to spectra is symmetric monoidal. So it sends an $A_infty$-space $A$ to an $A_infty$-algebra in spectra $Sigma^infty_+A$, that is an $A_infty$-ring spectrum. The fact that $Sigma^infty_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).
Secondly I claim that if $E$ is an $A_infty$-ring spectrum, then $Omega^infty E$ has a canonical $A_infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A_infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E_infty$-ring spaces (Corollary 7.5 in May's What precisely are $E_infty$-ring spaces and $E_infty$-ring spectra).
If all you care for is a construction of the $A_infty$-structure on $GL_1(Sigma^infty_+A)$, I particularly like the approach in
Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology
where they identify $GL_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A_infty$-structure, since all automorphism groups in an ∞-category "trivially" do).
$endgroup$
add a comment |
$begingroup$
I claim that for every $A_infty$-space $A$, there is a canonical $A_infty$-ring structure on $Omega^inftySigma^infty_+A$.
First, $Sigma^infty_+$ from spaces to spectra is symmetric monoidal. So it sends an $A_infty$-space $A$ to an $A_infty$-algebra in spectra $Sigma^infty_+A$, that is an $A_infty$-ring spectrum. The fact that $Sigma^infty_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).
Secondly I claim that if $E$ is an $A_infty$-ring spectrum, then $Omega^infty E$ has a canonical $A_infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A_infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E_infty$-ring spaces (Corollary 7.5 in May's What precisely are $E_infty$-ring spaces and $E_infty$-ring spectra).
If all you care for is a construction of the $A_infty$-structure on $GL_1(Sigma^infty_+A)$, I particularly like the approach in
Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology
where they identify $GL_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A_infty$-structure, since all automorphism groups in an ∞-category "trivially" do).
$endgroup$
add a comment |
$begingroup$
I claim that for every $A_infty$-space $A$, there is a canonical $A_infty$-ring structure on $Omega^inftySigma^infty_+A$.
First, $Sigma^infty_+$ from spaces to spectra is symmetric monoidal. So it sends an $A_infty$-space $A$ to an $A_infty$-algebra in spectra $Sigma^infty_+A$, that is an $A_infty$-ring spectrum. The fact that $Sigma^infty_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).
Secondly I claim that if $E$ is an $A_infty$-ring spectrum, then $Omega^infty E$ has a canonical $A_infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A_infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E_infty$-ring spaces (Corollary 7.5 in May's What precisely are $E_infty$-ring spaces and $E_infty$-ring spectra).
If all you care for is a construction of the $A_infty$-structure on $GL_1(Sigma^infty_+A)$, I particularly like the approach in
Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology
where they identify $GL_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A_infty$-structure, since all automorphism groups in an ∞-category "trivially" do).
$endgroup$
I claim that for every $A_infty$-space $A$, there is a canonical $A_infty$-ring structure on $Omega^inftySigma^infty_+A$.
First, $Sigma^infty_+$ from spaces to spectra is symmetric monoidal. So it sends an $A_infty$-space $A$ to an $A_infty$-algebra in spectra $Sigma^infty_+A$, that is an $A_infty$-ring spectrum. The fact that $Sigma^infty_+$ is symmetric monoidal (at the model category/∞-category level) can be found in any modern book treating the smash product of spectra (e.g. it is proposition 4.7 in Elmendorf-May-Kriz-Mandell and corollary 4.8.2.19 in Lurie's Higher Algebra).
Secondly I claim that if $E$ is an $A_infty$-ring spectrum, then $Omega^infty E$ has a canonical $A_infty$-ring space structure. Exactly how this works will depend on your preferred definition of $A_infty$-ring space, but it can be proven, e.g., with the same technique that May uses to prove the analogous statement for $E_infty$-ring spaces (Corollary 7.5 in May's What precisely are $E_infty$-ring spaces and $E_infty$-ring spectra).
If all you care for is a construction of the $A_infty$-structure on $GL_1(Sigma^infty_+A)$, I particularly like the approach in
Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, Charles Rezk An ∞-categorical approach to R-line bundles, R-module Thom spectra, and twisted R-homology
where they identify $GL_1(R)$ with the automorphism group of $R$ as an $R$-module (and so it has an $A_infty$-structure, since all automorphism groups in an ∞-category "trivially" do).
answered Nov 13 '18 at 16:48
Denis NardinDenis Nardin
8,23223359
8,23223359
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f315239%2freference-request-for-k-theory-linearization%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Uh, I might be a bit confused, but $Omega^inftySigma^infty_+ |G|$ is certainly an $A_infty$-ring
$endgroup$
– Denis Nardin
Nov 13 '18 at 15:49
$begingroup$
@DenisNardin I understand why both operations separately are $A^infty$, I just don't understand the distributivity I suppose.
$endgroup$
– Noah Riggenbach
Nov 13 '18 at 15:57