Pub Date : 2025-04-09DOI: 10.1007/s40062-025-00367-8
Nicola Bellumat
We study the composition of Bousfield localizations on a tensor triangulated category stratified via the Balmer-Favi support and with noetherian Balmer spectrum. Our aim is to provide reductions via purely axiomatic arguments, allowing us general applications to concrete categories examined in mathematical practice. We propose a conjecture which states that the behaviour of the composition of the localizations depends on the chains of inclusions of the Balmer primes indexing said localizations. We prove this conjecture in the case of finite or low dimensional Balmer spectra.
{"title":"A conjecture on the composition of localizations on a stratified tensor triangulated category","authors":"Nicola Bellumat","doi":"10.1007/s40062-025-00367-8","DOIUrl":"10.1007/s40062-025-00367-8","url":null,"abstract":"<div><p>We study the composition of Bousfield localizations on a tensor triangulated category stratified via the Balmer-Favi support and with noetherian Balmer spectrum. Our aim is to provide reductions via purely axiomatic arguments, allowing us general applications to concrete categories examined in mathematical practice. We propose a conjecture which states that the behaviour of the composition of the localizations depends on the chains of inclusions of the Balmer primes indexing said localizations. We prove this conjecture in the case of finite or low dimensional Balmer spectra.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 2","pages":"251 - 285"},"PeriodicalIF":0.7,"publicationDate":"2025-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40062-025-00367-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143925518","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-04-09DOI: 10.1007/s40062-025-00370-z
Daniel Armeanu, Jeremy Miller
Answering a question of Randal-Williams, we show the natural maps from split Steinberg modules of a Dedekind domain to the associated Steinberg modules are surjective.
{"title":"On split steinberg modules and steinberg modules","authors":"Daniel Armeanu, Jeremy Miller","doi":"10.1007/s40062-025-00370-z","DOIUrl":"10.1007/s40062-025-00370-z","url":null,"abstract":"<div><p>Answering a question of Randal-Williams, we show the natural maps from split Steinberg modules of a Dedekind domain to the associated Steinberg modules are surjective.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 2","pages":"323 - 329"},"PeriodicalIF":0.7,"publicationDate":"2025-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40062-025-00370-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143925519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-04-04DOI: 10.1007/s40062-025-00368-7
Jack Carlisle
For a finite cyclic group (C_n), we identify Greenlees’ equivariant connective K-theory (kU_{C_n}) as an (RO(C_n))-graded localization of the actual connective cover of (KU_{C_n}).
{"title":"A localization theorem for cyclic equivariant K-theory","authors":"Jack Carlisle","doi":"10.1007/s40062-025-00368-7","DOIUrl":"10.1007/s40062-025-00368-7","url":null,"abstract":"<div><p>For a finite cyclic group <span>(C_n)</span>, we identify Greenlees’ equivariant connective K-theory <span>(kU_{C_n})</span> as an <span>(RO(C_n))</span>-graded localization of the actual connective cover of <span>(KU_{C_n})</span>.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 2","pages":"287 - 292"},"PeriodicalIF":0.7,"publicationDate":"2025-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s40062-025-00368-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143925541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-02-17DOI: 10.1007/s40062-025-00366-9
Jonathan Rubin
We introduce categorical models of (N_infty ) spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a particular class of examples, they reveal a connection between the equivariant symmetric monoidal categories of Guillou–May–Merling–Osorno and those of Hill–Hopkins. We also give an operadic interpretation of the Mac Lane coherence theorem and generalize it to include NSMCs. Among other things, this theorem ensures that the classifying space of an NSMC is an (N_infty ) space. We conclude by extending our coherence theorem to include NSMCs with strict relations.
{"title":"Normed symmetric monoidal categories","authors":"Jonathan Rubin","doi":"10.1007/s40062-025-00366-9","DOIUrl":"10.1007/s40062-025-00366-9","url":null,"abstract":"<div><p>We introduce categorical models of <span>(N_infty )</span> spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a particular class of examples, they reveal a connection between the equivariant symmetric monoidal categories of Guillou–May–Merling–Osorno and those of Hill–Hopkins. We also give an operadic interpretation of the Mac Lane coherence theorem and generalize it to include NSMCs. Among other things, this theorem ensures that the classifying space of an NSMC is an <span>(N_infty )</span> space. We conclude by extending our coherence theorem to include NSMCs with strict relations.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 2","pages":"195 - 250"},"PeriodicalIF":0.7,"publicationDate":"2025-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143925610","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 : 2025-02-14DOI: 10.1007/s40062-025-00365-w
Pratiksha Chauhan, Samir Shukla, Kumar Vinayak
For a positive integer k, the k-cut complex of a graph G is the simplicial complex whose facets are the ((|V(G)|-k))-subsets (sigma ) of the vertex set V(G) of G such that the induced subgraph of G on (V(G) setminus sigma ) is disconnected. These complexes first appeared in the master thesis of Denker and were further studied by Bayer et al. (SIAM J Discrete Math 38(2):1630–1675, 2024). In the same article, Bayer et al. conjectured that for (k ge 3), the k-cut complexes of squared cycle graphs are shellable. Moreover, they also conjectured about the Betti numbers of these complexes when (k=3). In this article, we prove these conjectures for (k=3).
对于正整数k,图G的k切复形是简单复形,其面是G的顶点集V(G)的((|V(G)|-k)) -子集(sigma ),使得G在(V(G) setminus sigma )上的诱导子图是不连通的。这些复合物最早出现在Denker的硕士论文中,Bayer等人对其进行了进一步研究(SIAM J Discrete Math 38(2): 1630-1675, 2024)。在同一篇文章中,Bayer等人推测对于(k ge 3),平方循环图的k-cut配合物是可壳化的。此外,他们还推测了这些复合物的贝蒂数,当(k=3)。在本文中,我们将为(k=3)证明这些猜想。
{"title":"Shellability of 3-cut complexes of squared cycle graphs","authors":"Pratiksha Chauhan, Samir Shukla, Kumar Vinayak","doi":"10.1007/s40062-025-00365-w","DOIUrl":"10.1007/s40062-025-00365-w","url":null,"abstract":"<div><p>For a positive integer <i>k</i>, the <i>k</i>-cut complex of a graph <i>G</i> is the simplicial complex whose facets are the <span>((|V(G)|-k))</span>-subsets <span>(sigma )</span> of the vertex set <i>V</i>(<i>G</i>) of <i>G</i> such that the induced subgraph of <i>G</i> on <span>(V(G) setminus sigma )</span> is disconnected. These complexes first appeared in the master thesis of Denker and were further studied by Bayer et al. (SIAM J Discrete Math 38(2):1630–1675, 2024). In the same article, Bayer et al. conjectured that for <span>(k ge 3)</span>, the <i>k</i>-cut complexes of squared cycle graphs are shellable. Moreover, they also conjectured about the Betti numbers of these complexes when <span>(k=3)</span>. In this article, we prove these conjectures for <span>(k=3)</span>.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"163 - 193"},"PeriodicalIF":0.7,"publicationDate":"2025-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455437","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 : 2025-02-13DOI: 10.1007/s40062-025-00364-x
Takeshi Torii
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal (infty )-categories which are counterparts of duoidal categories in the setting of (infty )-categories. There are three kinds of functors between duoidal (infty )-categories, which are called bilax, double lax, and double oplax monoidal functors. We make three formulations of (infty )-categories of duoidal (infty )-categories according to which functors we take. Furthermore, corresponding to the three kinds of functors, we define bimonoids, double monoids, and double comonoids in duoidal (infty )-categories.
{"title":"On duoidal (infty )-categories","authors":"Takeshi Torii","doi":"10.1007/s40062-025-00364-x","DOIUrl":"10.1007/s40062-025-00364-x","url":null,"abstract":"<div><p>A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal <span>(infty )</span>-categories which are counterparts of duoidal categories in the setting of <span>(infty )</span>-categories. There are three kinds of functors between duoidal <span>(infty )</span>-categories, which are called bilax, double lax, and double oplax monoidal functors. We make three formulations of <span>(infty )</span>-categories of duoidal <span>(infty )</span>-categories according to which functors we take. Furthermore, corresponding to the three kinds of functors, we define bimonoids, double monoids, and double comonoids in duoidal <span>(infty )</span>-categories.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"125 - 162"},"PeriodicalIF":0.7,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455434","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 : 2025-02-13DOI: 10.1007/s40062-025-00363-y
Xin Fu
We consider moment-angle complexes associated with skeleta of simplices and determine the homotopy type of their quotient spaces under the diagonal circle action.
考虑与简单骨架相关的矩角复合体,在对角线圆作用下确定其商空间的同伦类型。
{"title":"On the homotopy type of partial quotients of certain moment-angle complexes","authors":"Xin Fu","doi":"10.1007/s40062-025-00363-y","DOIUrl":"10.1007/s40062-025-00363-y","url":null,"abstract":"<div><p>We consider moment-angle complexes associated with skeleta of simplices and determine the homotopy type of their quotient spaces under the diagonal circle action.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"105 - 123"},"PeriodicalIF":0.7,"publicationDate":"2025-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455435","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 : 2025-02-06DOI: 10.1007/s40062-025-00362-z
Paul Arnaud Songhafouo Tsopméné, Donald Stanley
For any object A in a simplicial model category (mathcal {M}), we construct a topological space (hat{A}) which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous functors into topological spaces.
{"title":"Classification of homogeneous functors in manifold calculus","authors":"Paul Arnaud Songhafouo Tsopméné, Donald Stanley","doi":"10.1007/s40062-025-00362-z","DOIUrl":"10.1007/s40062-025-00362-z","url":null,"abstract":"<div><p>For any object <i>A</i> in a simplicial model category <span>(mathcal {M})</span>, we construct a topological space <span>(hat{A})</span> which classifies homogeneous functors whose value on <i>k</i> open balls is equivalent to <i>A</i>. This extends a classification result of Weiss for homogeneous functors into topological spaces.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"63 - 103"},"PeriodicalIF":0.7,"publicationDate":"2025-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455540","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 : 2024-11-07DOI: 10.1007/s40062-024-00361-6
Zhuo Chen, Yu Qiao, Maosong Xiang, Tao Zhang
A Loday–Pirashvili module over a Lie algebra (mathfrak {g}) is a Lie algebra object (bigl (Gxrightarrow {X} mathfrak {g}bigr )) in the category of linear maps, or equivalently, a (mathfrak {g})-module G which admits a (mathfrak {g})-equivariant linear map (X:Grightarrow mathfrak {g}). We study dg Loday–Pirashvili modules over Lie algebras, which is a generalization of Loday–Pirashvili modules in a natural way, and establish several equivalent characterizations of dg Loday–Pirashvili modules. To provide a concise characterization, a dg Loday–Pirashvili module is a non-negative and bounded dg (mathfrak {g})-module V paired with a weak morphism of dg (mathfrak {g})-modules (alpha :Vrightsquigarrow mathfrak {g}). Such a dg Loday–Pirashvili module resolves an arbitrarily specified classical Loday–Pirashvili module in the sense that it exists and is unique (up to homotopy). Dg Loday–Pirashvili modules can also be characterized through dg derivations. This perspective allows the calculation of the corresponding twisted Atiyah classes. By leveraging the Kapranov functor on the dg derivation arising from a dg Loday–Pirashvili module ((V,alpha )), a (hbox {Leibniz}_infty [1]) algebra structure can be derived on (wedge ^bullet mathfrak {g}^vee otimes V[1]). The binary bracket of this structure corresponds to the twisted Atiyah cocycle. To exemplify these intricate algebraic structures through specific cases, we utilize this machinery to a particular type of dg Loday–Pirashvili modules stemming from Lie algebra pairs.
{"title":"Dg Loday–Pirashvili modules over Lie algebras","authors":"Zhuo Chen, Yu Qiao, Maosong Xiang, Tao Zhang","doi":"10.1007/s40062-024-00361-6","DOIUrl":"10.1007/s40062-024-00361-6","url":null,"abstract":"<div><p>A Loday–Pirashvili module over a Lie algebra <span>(mathfrak {g})</span> is a Lie algebra object <span>(bigl (Gxrightarrow {X} mathfrak {g}bigr ))</span> in the category of linear maps, or equivalently, a <span>(mathfrak {g})</span>-module <i>G</i> which admits a <span>(mathfrak {g})</span>-equivariant linear map <span>(X:Grightarrow mathfrak {g})</span>. We study dg Loday–Pirashvili modules over Lie algebras, which is a generalization of Loday–Pirashvili modules in a natural way, and establish several equivalent characterizations of dg Loday–Pirashvili modules. To provide a concise characterization, a dg Loday–Pirashvili module is a non-negative and bounded dg <span>(mathfrak {g})</span>-module <i>V</i> paired with a weak morphism of dg <span>(mathfrak {g})</span>-modules <span>(alpha :Vrightsquigarrow mathfrak {g})</span>. Such a dg Loday–Pirashvili module resolves an arbitrarily specified classical Loday–Pirashvili module in the sense that it exists and is unique (up to homotopy). Dg Loday–Pirashvili modules can also be characterized through dg derivations. This perspective allows the calculation of the corresponding twisted Atiyah classes. By leveraging the Kapranov functor on the dg derivation arising from a dg Loday–Pirashvili module <span>((V,alpha ))</span>, a <span>(hbox {Leibniz}_infty [1])</span> algebra structure can be derived on <span>(wedge ^bullet mathfrak {g}^vee otimes V[1])</span>. The binary bracket of this structure corresponds to the twisted Atiyah cocycle. To exemplify these intricate algebraic structures through specific cases, we utilize this machinery to a particular type of dg Loday–Pirashvili modules stemming from Lie algebra pairs.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"23 - 61"},"PeriodicalIF":0.7,"publicationDate":"2024-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455566","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 : 2024-11-04DOI: 10.1007/s40062-024-00360-7
Jeremy Brazas
A space X is “sequentially n-connected” at (xin X) if for every (0leqslant kleqslant n) and sequence of k-loops (f_1,f_2,f_3,ldots :S^krightarrow X) that converges toward the point x, the maps (f_m) contract by a sequence of null-homotopies that converge toward x. Unlike standard local contractibility conditions, the sequential n-connectedness property is closed under forming infinite products and infinite shrinking wedges. We use this property, in conjunction with the Whitney Covering Lemma, to construct homotopies that simultaneously perform infinite deformations of n-loops and, ultimately, allow us to continuously deform arbitrary n-loops into maps with simpler forms. As a direct application, we extend the computation of the n-th homotopy group of a shrinking wedge of certain ((n-1))-connected spaces due to K. Eda and K. Kawamura.
{"title":"Sequential n-connectedness and infinite deformations of n-loops","authors":"Jeremy Brazas","doi":"10.1007/s40062-024-00360-7","DOIUrl":"10.1007/s40062-024-00360-7","url":null,"abstract":"<div><p>A space <i>X</i> is “sequentially <i>n</i>-connected” at <span>(xin X)</span> if for every <span>(0leqslant kleqslant n)</span> and sequence of <i>k</i>-loops <span>(f_1,f_2,f_3,ldots :S^krightarrow X)</span> that converges toward the point <i>x</i>, the maps <span>(f_m)</span> contract by a sequence of null-homotopies that converge toward <i>x</i>. Unlike standard local contractibility conditions, the sequential <i>n</i>-connectedness property is closed under forming infinite products and infinite shrinking wedges. We use this property, in conjunction with the Whitney Covering Lemma, to construct homotopies that simultaneously perform infinite deformations of <i>n</i>-loops and, ultimately, allow us to continuously deform arbitrary <i>n</i>-loops into maps with simpler forms. As a direct application, we extend the computation of the <i>n</i>-th homotopy group of a shrinking wedge of certain <span>((n-1))</span>-connected spaces due to K. Eda and K. Kawamura.</p></div>","PeriodicalId":49034,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"20 1","pages":"1 - 22"},"PeriodicalIF":0.7,"publicationDate":"2024-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143455463","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}