Pub Date : 2018-11-28DOI: 10.1007/s40062-018-0227-1
Youngsoo Kim
Voevodsky defined a motivic spectrum representing algebraic K-theory, and Panin, Pimenov, and R?ndigs described its ring structure up to homotopy. We construct a motivic symmetric spectrum with a strict ring structure. Then we show that these spectra are stably equivalent and that their ring structures are compatible up to homotopy.
{"title":"A multiplicative K-theoretic model of Voevodsky’s motivic K-theory spectrum","authors":"Youngsoo Kim","doi":"10.1007/s40062-018-0227-1","DOIUrl":"https://doi.org/10.1007/s40062-018-0227-1","url":null,"abstract":"<p>Voevodsky defined a motivic spectrum representing algebraic <i>K</i>-theory, and Panin, Pimenov, and R?ndigs described its ring structure up to homotopy. We construct a motivic symmetric spectrum with a strict ring structure. Then we show that these spectra are stably equivalent and that their ring structures are compatible up to homotopy.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0227-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"5035266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-27DOI: 10.1007/s40062-018-0226-2
Michael A. Hill
In this paper, we study the extent to which Bousfield and finite localizations relative to a thick subcategory of equivariant finite spectra preserve various kinds of highly structured multiplications. Along the way, we describe some basic, useful results for analyzing categories of acyclics in equivariant spectra, and we show that Bousfield localization with respect to an ordinary spectrum (viewed as an equivariant spectrum with trivial action) always preserves equivariant commutative ring spectra.
{"title":"Equivariant chromatic localizations and commutativity","authors":"Michael A. Hill","doi":"10.1007/s40062-018-0226-2","DOIUrl":"https://doi.org/10.1007/s40062-018-0226-2","url":null,"abstract":"<p>In this paper, we study the extent to which Bousfield and finite localizations relative to a thick subcategory of equivariant finite spectra preserve various kinds of highly structured multiplications. Along the way, we describe some basic, useful results for analyzing categories of acyclics in equivariant spectra, and we show that Bousfield localization with respect to an ordinary spectrum (viewed as an equivariant spectrum with trivial action) always preserves equivariant commutative ring spectra.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0226-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"5500518","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-15DOI: 10.1007/s40062-018-0223-5
A. A. Ambily
In this article, we consider the Dickson-Siegel-Eichler-Roy (DSER) elementary orthogonal subgroup of the orthogonal group of a non-degenerate quadratic space with a hyperbolic summand over a commutative ring, introduced by Roy. We prove a set of commutator relations among the elementary generators of the DSER elementary orthogonal group. As an application, we prove that this group is perfect and an action version of the Quillen’s local-global principle for this group is proved. This affirmatively answers a question of Rao in his Ph.D. thesis.
{"title":"Yoga of commutators in DSER elementary orthogonal group","authors":"A. A. Ambily","doi":"10.1007/s40062-018-0223-5","DOIUrl":"https://doi.org/10.1007/s40062-018-0223-5","url":null,"abstract":"<p>In this article, we consider the Dickson-Siegel-Eichler-Roy (DSER) elementary orthogonal subgroup of the orthogonal group of a non-degenerate quadratic space with a hyperbolic summand over a commutative ring, introduced by Roy. We prove a set of commutator relations among the elementary generators of the DSER elementary orthogonal group. As an application, we prove that this group is perfect and an action version of the Quillen’s local-global principle for this group is proved. This affirmatively answers a question of Rao in his Ph.D. thesis.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0223-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"4626374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-10DOI: 10.1007/s40062-018-0224-4
Ian Coley
We revisit and improve Alex Heller’s results on the stabilization of derivators in Heller (J Pure Appl Algebra 115(2):113–130, 1997), recovering his results entirely. Along the way we give some details of the localization theory of derivators and prove some new results in that vein.
我们重新研究并改进了Alex Heller在Heller (J Pure applied Algebra 115(2): 113-130, 1997)中关于导数的镇定性的结果,完全恢复了他的结果。在此过程中,我们给出了衍生子的局部化理论的一些细节,并证明了这方面的一些新结果。
{"title":"Stabilization of derivators revisited","authors":"Ian Coley","doi":"10.1007/s40062-018-0224-4","DOIUrl":"https://doi.org/10.1007/s40062-018-0224-4","url":null,"abstract":"<p>We revisit and improve Alex Heller’s results on the stabilization of derivators in Heller (J Pure Appl Algebra 115(2):113–130, 1997), recovering his results entirely. Along the way we give some details of the localization theory of derivators and prove some new results in that vein.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0224-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"4432116","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-11-10DOI: 10.1007/s40062-018-0219-1
Lauren Bandklayder
We give a new proof of the classical Dold–Thom theorem using factorization homology. Our method is direct and conceptual, avoiding the Eilenberg–Steenrod axioms entirely in favor of a more general geometric argument.
{"title":"The Dold–Thom theorem via factorization homology","authors":"Lauren Bandklayder","doi":"10.1007/s40062-018-0219-1","DOIUrl":"https://doi.org/10.1007/s40062-018-0219-1","url":null,"abstract":"<p>We give a new proof of the classical Dold–Thom theorem using factorization homology. Our method is direct and conceptual, avoiding the Eilenberg–Steenrod axioms entirely in favor of a more general geometric argument.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0219-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"4430487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-25DOI: 10.1007/s40062-018-0218-2
Jeehoon Park, Donggeon Yhee
Tate provided an explicit way to kill a nontrivial homology class of a commutative differential graded algebra over a commutative noetherian ring R in Tate (Ill J Math 1:14–27, 1957). The goal of this article is to generalize his result to the case of GBV (Gerstenhaber–Batalin–Vilkovisky) algebras and, more generally, the descendant (L_infty )-algebras. More precisely, for a given GBV algebra ((mathcal {A}=oplus _{mge 0}mathcal {A}_m, delta , ell _2^delta )), we provide another explicit GBV algebra ((widetilde{mathcal {A}}=oplus _{mge 0}widetilde{mathcal {A}}_m, widetilde{delta }, ell _2^{widetilde{delta }})) such that its total homology is the same as the degree zero part of the homology (H_0(mathcal {A}, delta )) of the given GBV algebra ((mathcal {A}, delta , ell _2^delta )).
{"title":"The Koszul–Tate type resolution for Gerstenhaber–Batalin–Vilkovisky algebras","authors":"Jeehoon Park, Donggeon Yhee","doi":"10.1007/s40062-018-0218-2","DOIUrl":"https://doi.org/10.1007/s40062-018-0218-2","url":null,"abstract":"<p>Tate provided an <i>explicit</i> way to kill a nontrivial homology class of a commutative differential graded algebra over a commutative noetherian ring <i>R</i> in Tate (Ill J Math 1:14–27, 1957). The goal of this article is to generalize his result to the case of GBV (Gerstenhaber–Batalin–Vilkovisky) algebras and, more generally, the descendant <span>(L_infty )</span>-algebras. More precisely, for a given GBV algebra <span>((mathcal {A}=oplus _{mge 0}mathcal {A}_m, delta , ell _2^delta ))</span>, we provide another <i>explicit</i> GBV algebra <span>((widetilde{mathcal {A}}=oplus _{mge 0}widetilde{mathcal {A}}_m, widetilde{delta }, ell _2^{widetilde{delta }}))</span> such that its total homology is the same as the degree zero part of the homology <span>(H_0(mathcal {A}, delta ))</span> of the given GBV algebra <span>((mathcal {A}, delta , ell _2^delta ))</span>.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0218-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"4985810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-09-29DOI: 10.1007/s40062-018-0216-4
Manuel Rivera, Samson Saneblidze
We introduce the abstract notion of a necklical set in order to describe a functorial combinatorial model of the path fibration over the geometric realization of a path connected simplicial set. In particular, to any path connected simplicial set X we associate a necklical set ({widehat{{varvec{Omega }}}}X) such that its geometric realization (|{widehat{{varvec{Omega }}}}X|), a space built out of gluing cubical cells, is homotopy equivalent to the based loop space on |X| and the differential graded module of chains (C_*({widehat{{varvec{Omega }}}}X)) is a differential graded associative algebra generalizing Adams’ cobar construction.
{"title":"A combinatorial model for the path fibration","authors":"Manuel Rivera, Samson Saneblidze","doi":"10.1007/s40062-018-0216-4","DOIUrl":"https://doi.org/10.1007/s40062-018-0216-4","url":null,"abstract":"<p>We introduce the abstract notion of a necklical set in order to describe a functorial combinatorial model of the path fibration over the geometric realization of a path connected simplicial set. In particular, to any path connected simplicial set <i>X</i> we associate a necklical set <span>({widehat{{varvec{Omega }}}}X)</span> such that its geometric realization <span>(|{widehat{{varvec{Omega }}}}X|)</span>, a space built out of gluing cubical cells, is homotopy equivalent to the based loop space on |<i>X</i>| and the differential graded module of chains <span>(C_*({widehat{{varvec{Omega }}}}X))</span> is a differential graded associative algebra generalizing Adams’ cobar construction.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0216-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"5133041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-09-27DOI: 10.1007/s40062-018-0214-6
Dmitry N. Kozlov
In this paper we define a?family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a?standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a?(Delta )-complex. As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an?odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word. As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a?large family of both (Delta )-complexes, as well as simplicial complexes, which are contractible, but not collapsible.
{"title":"Topology of scrambled simplices","authors":"Dmitry N. Kozlov","doi":"10.1007/s40062-018-0214-6","DOIUrl":"https://doi.org/10.1007/s40062-018-0214-6","url":null,"abstract":"<p>In this paper we define a?family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a?standard <i>d</i>-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a?<span>(Delta )</span>-complex. As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an?odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word. As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a?large family of both <span>(Delta )</span>-complexes, as well as simplicial complexes, which are contractible, but not collapsible.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0214-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"5064663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-09-27DOI: 10.1007/s40062-018-0215-5
Gereon Quick
We construct Hodge filtered function spaces associated to infinite loop spaces. For Brown–Peterson cohomology, we show that the corresponding Hodge filtered spaces satisfy an analog of Wilson’s unstable splitting. As a consequence, we obtain an analog of Quillen’s theorem for Hodge filtered Brown–Peterson cohomology for complex manifolds.
{"title":"Unstable splittings in Hodge filtered Brown–Peterson cohomology","authors":"Gereon Quick","doi":"10.1007/s40062-018-0215-5","DOIUrl":"https://doi.org/10.1007/s40062-018-0215-5","url":null,"abstract":"<p>We construct Hodge filtered function spaces associated to infinite loop spaces. For Brown–Peterson cohomology, we show that the corresponding Hodge filtered spaces satisfy an analog of Wilson’s unstable splitting. As a consequence, we obtain an analog of Quillen’s theorem for Hodge filtered Brown–Peterson cohomology for complex manifolds.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0215-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"5066595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-08-18DOI: 10.1007/s40062-018-0212-8
Mathieu Dutour Sikirić, Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schürmann, Dan Yasaki
In this paper we use topological tools to investigate the structure of the algebraic K-groups (K_4(R)) for (R=Z[i]) and (R=Z[rho ]) where (i := sqrt{-1}) and (rho := (1+sqrt{-3})/2). We exploit the close connection between homology groups of (mathrm {GL}_n(R)) for (nle 5) and those of related classifying spaces, then compute the former using Voronoi’s reduction theory of positive definite quadratic and Hermitian forms to produce a very large finite cell complex on which (mathrm {GL}_n(R)) acts. Our main result is that (K_{4} ({mathbb {Z}}[i])) and (K_{4} ({mathbb {Z}}[rho ])) have no p-torsion for (pge 5).
{"title":"On the topological computation of (K_4) of the Gaussian and Eisenstein integers","authors":"Mathieu Dutour Sikirić, Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schürmann, Dan Yasaki","doi":"10.1007/s40062-018-0212-8","DOIUrl":"https://doi.org/10.1007/s40062-018-0212-8","url":null,"abstract":"<p>In this paper we use topological tools to investigate the structure of the algebraic <i>K</i>-groups <span>(K_4(R))</span> for <span>(R=Z[i])</span> and <span>(R=Z[rho ])</span> where <span>(i := sqrt{-1})</span> and <span>(rho := (1+sqrt{-3})/2)</span>. We exploit the close connection between homology groups of <span>(mathrm {GL}_n(R))</span> for <span>(nle 5)</span> and those of related classifying spaces, then compute the former using Voronoi’s reduction theory of positive definite quadratic and Hermitian forms to produce a very large finite cell complex on which <span>(mathrm {GL}_n(R))</span> acts. Our main result is that <span>(K_{4} ({mathbb {Z}}[i]))</span> and <span>(K_{4} ({mathbb {Z}}[rho ]))</span> have no <i>p</i>-torsion for <span>(pge 5)</span>.</p>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2018-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0212-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"4709713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}