Pub Date : 2026-01-13DOI: 10.1016/j.topol.2026.109729
Chandrika Sadanand, Emily Shinkle
A subcomplex of a cell complex is called rigid with respect to another cell complex if every injective simplicial map has a unique extension to an injective simplicial map . We say that a cell complex exhibits finite rigidity if it contains a finite, rigid subcomplex. Given a surface with marked points, its flip graph and arc complex are simplicial complexes indexing the triangulations and the arcs between marked points, respectively. In this paper, we leverage the fact that the flip graph can be embedded in the arc complex as its dual to show that finite rigidity of the flip graph implies finite rigidity of the arc complex. Thus, a recent result of the second author on the finite rigidity of the flip graph implies finite rigidity of the arc complex for a broad class of surfaces. Notably, this includes surfaces with boundary – a setting where finite rigidity of the arc complex was previously unknown. We further show that these arc complexes admit exhaustions by finite rigid sets, which was shown to be an important component in the proof of many interesting model-theoretic properties of simplicial complexes associated to surfaces in a recent work of de la Nuez Gonzalez-Disarlo-Koberda.
{"title":"Flip graph and arc complex finite rigidity","authors":"Chandrika Sadanand, Emily Shinkle","doi":"10.1016/j.topol.2026.109729","DOIUrl":"10.1016/j.topol.2026.109729","url":null,"abstract":"<div><div>A subcomplex <span><math><mi>X</mi></math></span> of a cell complex <span><math><mi>C</mi></math></span> is called <em>rigid</em> with respect to another cell complex <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> if every injective simplicial map <span><math><mi>λ</mi><mo>:</mo><mi>X</mi><mo>→</mo><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> has a unique extension to an injective simplicial map <span><math><mi>ϕ</mi><mo>:</mo><mi>C</mi><mo>→</mo><msup><mrow><mi>C</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>. We say that a cell complex exhibits <em>finite rigidity</em> if it contains a finite, rigid subcomplex. Given a surface with marked points, its <em>flip graph</em> and <em>arc complex</em> are simplicial complexes indexing the triangulations and the arcs between marked points, respectively. In this paper, we leverage the fact that the flip graph can be embedded in the arc complex as its dual to show that finite rigidity of the flip graph implies finite rigidity of the arc complex. Thus, a recent result of the second author on the finite rigidity of the flip graph implies finite rigidity of the arc complex for a broad class of surfaces. Notably, this includes surfaces with boundary – a setting where finite rigidity of the arc complex was previously unknown. We further show that these arc complexes admit exhaustions by finite rigid sets, which was shown to be an important component in the proof of many interesting model-theoretic properties of simplicial complexes associated to surfaces in a recent work of de la Nuez Gonzalez-Disarlo-Koberda.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"381 ","pages":"Article 109729"},"PeriodicalIF":0.5,"publicationDate":"2026-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146080771","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 : 2026-01-13DOI: 10.1016/j.topol.2026.109727
Jacob Mostovoy
We study the space of all configurations of n ordered points on the circle such that no three points coincide, and in which one of the points (say, the last one) is fixed. We compute its fundamental group for and describe its homology for . For arbitrary n, we compute its first homology and its Euler characteristic.
We use three geometric approaches. On one hand, is naturally defined as the complement of an arrangement of codimension-2 subtori in a real torus. On the other hand, is homotopy equivalent to an explicit nonpositively curved cubical complex. Finally, can also be assembled from no-3-equal manifolds of the real line.
We also observe that, up to homotopy, may be identified with a subspace of the oriented double cover of the moduli space of stable real rational curves with n marked points. This gives an embedding of into the pure cactus group. As a corollary, we see that is residually nilpotent.
{"title":"Round twin groups on few strands","authors":"Jacob Mostovoy","doi":"10.1016/j.topol.2026.109727","DOIUrl":"10.1016/j.topol.2026.109727","url":null,"abstract":"<div><div>We study the space <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> of all configurations of <em>n</em> ordered points on the circle such that no three points coincide, and in which one of the points (say, the last one) is fixed. We compute its fundamental group for <span><math><mi>n</mi><mo><</mo><mn>6</mn></math></span> and describe its homology for <span><math><mi>n</mi><mo>=</mo><mn>6</mn><mo>,</mo><mn>7</mn></math></span>. For arbitrary <em>n</em>, we compute its first homology and its Euler characteristic.</div><div>We use three geometric approaches. On one hand, <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is naturally defined as the complement of an arrangement of codimension-2 subtori in a real torus. On the other hand, <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is homotopy equivalent to an explicit nonpositively curved cubical complex. Finally, <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> can also be assembled from no-3-equal manifolds of the real line.</div><div>We also observe that, up to homotopy, <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> may be identified with a subspace of the oriented double cover of the moduli space <span><math><msub><mrow><mover><mrow><mi>M</mi></mrow><mo>‾</mo></mover></mrow><mrow><mn>0</mn><mo>,</mo><mi>n</mi></mrow></msub><mo>(</mo><mi>R</mi><mo>)</mo></math></span> of stable real rational curves with <em>n</em> marked points. This gives an embedding of <span><math><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> into the pure cactus group. As a corollary, we see that <span><math><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is residually nilpotent.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109727"},"PeriodicalIF":0.5,"publicationDate":"2026-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146038152","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 : 2026-01-12DOI: 10.1016/j.topol.2026.109728
Yu-Ming Deng, Liang-Xue Peng
In this note, we prove that every GO-space is s-, which gives an affirmative answer to Lin's question [5, Question 3.1] and Peng's question [6, Question 3.4]. In the last part of this note, we point out that there is a gap in Theorem 3.3 in [6] but the statement of the theorem is correct because in this paper we have established a stronger fact in Theorem 3.4.
{"title":"A note on the local base at closed subsets in GO-spaces","authors":"Yu-Ming Deng, Liang-Xue Peng","doi":"10.1016/j.topol.2026.109728","DOIUrl":"10.1016/j.topol.2026.109728","url":null,"abstract":"<div><div>In this note, we prove that every GO-space is <em>s</em>-<span><math><msub><mrow><mi>m</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span>, which gives an affirmative answer to Lin's question <span><span>[5, Question 3.1]</span></span> and Peng's question <span><span>[6, Question 3.4]</span></span>. In the last part of this note, we point out that there is a gap in Theorem 3.3 in <span><span>[6]</span></span> but the statement of the theorem is correct because in this paper we have established a stronger fact in <span><span>Theorem 3.4</span></span>.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109728"},"PeriodicalIF":0.5,"publicationDate":"2026-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145978200","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 : 2026-01-12DOI: 10.1016/j.topol.2026.109726
Olena Karlova , Volodymyr Mykhaylyuk
We study the diagonals of (strongly) separately Lipschitz mappings . It is shown that for any metric space X and any normed space Y the diagonals of strongly separately pointwise Lipschitz mappings are exactly stable limits of sequences of pointwise Lipschitz mappings (a mapping on the product of n metric spaces is strongly separately pointwise Lipschitz if it is jointly pointwise Lipschitz mapping with respect to any variables). We introduce classes of mappings between metric spaces X and Y which are recursively defined from pointwise Lipschitz mappings, analogously as mappings of stable Baire classes are recursively defined from continuous mappings. It was shown that for a metric space X and a Banach space Y if and only if there exists a sequence of ambiguous sets of the class n such that every restriction is Lipschitz. Moreover, for any metric space X, any normed space Y and every we construct a separately pointwise Lipschitz mapping with given diagonal .
{"title":"Diagonals of separately pointwise Lipschitz functions of n variables","authors":"Olena Karlova , Volodymyr Mykhaylyuk","doi":"10.1016/j.topol.2026.109726","DOIUrl":"10.1016/j.topol.2026.109726","url":null,"abstract":"<div><div>We study the diagonals <span><math><mi>g</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>=</mo><mi>f</mi><mo>(</mo><mi>x</mi><mo>,</mo><mo>…</mo><mo>,</mo><mi>x</mi><mo>)</mo></math></span> of (strongly) separately Lipschitz mappings <span><math><mi>f</mi><mo>:</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>→</mo><mi>Y</mi></math></span>. It is shown that for any metric space <em>X</em> and any normed space <em>Y</em> the diagonals of strongly separately pointwise Lipschitz mappings <span><math><mi>f</mi><mo>:</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>→</mo><mi>Y</mi></math></span> are exactly stable limits of sequences of pointwise Lipschitz mappings (a mapping on the product of <em>n</em> metric spaces is <em>strongly separately pointwise Lipschitz</em> if it is jointly pointwise Lipschitz mapping with respect to any <span><math><mi>n</mi><mo>−</mo><mn>1</mn></math></span> variables). We introduce classes <span><math><msub><mrow><mi>PL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span> of mappings between metric spaces <em>X</em> and <em>Y</em> which are recursively defined from pointwise Lipschitz mappings, analogously as mappings of stable Baire classes are recursively defined from continuous mappings. It was shown that <span><math><mi>f</mi><mo>∈</mo><msub><mrow><mi>PL</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span> for a metric space <em>X</em> and a Banach space <em>Y</em> if and only if there exists a sequence <span><math><msubsup><mrow><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup></math></span> of ambiguous sets <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>⊆</mo><mi>X</mi></math></span> of the class <em>n</em> such that every restriction <span><math><mi>f</mi><msub><mrow><mo>|</mo></mrow><mrow><msub><mrow><mi>X</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msub></math></span> is Lipschitz. Moreover, for any metric space <em>X</em>, any normed space <em>Y</em> and every <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span> we construct a separately pointwise Lipschitz mapping <span><math><mi>f</mi><mo>:</mo><msup><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>→</mo><mi>Y</mi></math></span> with given diagonal <span><math><mi>g</mi><mo>∈</mo><msub><mrow><mi>PL</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span>.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109726"},"PeriodicalIF":0.5,"publicationDate":"2026-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145978201","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 : 2026-01-09DOI: 10.1016/j.topol.2026.109725
Debraj Chandra , Nur Alam , Dipika Roy
A space X is H-separable (Bella et al. (2009) [6]) if for every sequence of dense subspaces of X there exists a sequence such that for each n is a finite subset of and every nonempty open set of X intersects for all but finitely many n. In this paper, we introduce and study an ideal variant of H-separability, called -H-separability.
如果对于X的密集子空间的每一个序列(Yn:n∈n)存在一个序列(Fn:n∈n),使得对于每一个n Fn是Yn的有限子集,并且X的每一个非空开集除有限多个n外都与Fn相交,则空间X是h可分的(Bella et al.(2009)[6])。本文引入并研究了h可分性的一个理想变体,称为i - h可分性。
{"title":"On a variation of selective separability using ideals","authors":"Debraj Chandra , Nur Alam , Dipika Roy","doi":"10.1016/j.topol.2026.109725","DOIUrl":"10.1016/j.topol.2026.109725","url":null,"abstract":"<div><div>A space <em>X</em> is H-separable (Bella et al. (2009) <span><span>[6]</span></span>) if for every sequence <span><math><mo>(</mo><msub><mrow><mi>Y</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>:</mo><mi>n</mi><mo>∈</mo><mi>N</mi><mo>)</mo></math></span> of dense subspaces of <em>X</em> there exists a sequence <span><math><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>:</mo><mi>n</mi><mo>∈</mo><mi>N</mi><mo>)</mo></math></span> such that for each <em>n</em> <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is a finite subset of <span><math><msub><mrow><mi>Y</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and every nonempty open set of <em>X</em> intersects <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> for all but finitely many <em>n</em>. In this paper, we introduce and study an ideal variant of H-separability, called <span><math><mi>I</mi></math></span>-H-separability.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109725"},"PeriodicalIF":0.5,"publicationDate":"2026-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145978202","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 : 2026-01-08DOI: 10.1016/j.topol.2026.109724
Xuewei Ling
In this paper, we investigate submetrizability in quotient spaces of semitopological groups. The following results are obtained: (1) If H is a closed neutral subgroup of a semitopological group G such that is a Hausdorff paracompact space with , then is submetrizable; (2) If H is a closed neutral subgroup of a semitopological group G such that is Hausdorff (resp., Tychonoff) and , then admits a continuous bijection onto a Hausdorff space with a countable base (resp., admits a weaker separable metrizable topology).
{"title":"Submetrizability in quotient spaces of semitopological groups","authors":"Xuewei Ling","doi":"10.1016/j.topol.2026.109724","DOIUrl":"10.1016/j.topol.2026.109724","url":null,"abstract":"<div><div>In this paper, we investigate submetrizability in quotient spaces of semitopological groups. The following results are obtained: (1) If <em>H</em> is a closed neutral subgroup of a semitopological group <em>G</em> such that <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is a Hausdorff paracompact space with <span><math><mi>H</mi><msub><mrow><mi>s</mi></mrow><mrow><mi>l</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>)</mo><mo>⋅</mo><mi>ψ</mi><mo>(</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>)</mo><mo>≤</mo><mi>ω</mi></math></span>, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is submetrizable; (2) If <em>H</em> is a closed neutral subgroup of a semitopological group <em>G</em> such that <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is Hausdorff (resp., Tychonoff) and <span><math><mi>H</mi><msub><mrow><mi>s</mi></mrow><mrow><mi>l</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>)</mo><mo>⋅</mo><mi>I</mi><msub><mrow><mi>n</mi></mrow><mrow><mi>l</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>)</mo><mo>⋅</mo><mi>ψ</mi><mo>(</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>)</mo><mo>≤</mo><mi>ω</mi></math></span>, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> admits a continuous bijection onto a Hausdorff space with a countable base (resp., admits a weaker separable metrizable topology).</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109724"},"PeriodicalIF":0.5,"publicationDate":"2026-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145978199","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 : 2026-01-02DOI: 10.1016/j.topol.2025.109710
Jeremy Brazas , Hanspeter Fischer
If a Peano continuum X is semilocally simply connected, then it has a finite polyhedral approximation whose fundamental group is isomorphic to that of X. In general, this fails to be true. It is known that the fundamental group of a locally complicated Peano continuum may contain nontrivial elements that are persistently undetectable by polyhedral approximations, at all scales. However, we show that such failure is not inherently local.
{"title":"Nonlocal loss of first homotopy in polyhedral approximations of Peano continua","authors":"Jeremy Brazas , Hanspeter Fischer","doi":"10.1016/j.topol.2025.109710","DOIUrl":"10.1016/j.topol.2025.109710","url":null,"abstract":"<div><div>If a Peano continuum <em>X</em> is semilocally simply connected, then it has a finite polyhedral approximation whose fundamental group is isomorphic to that of <em>X</em>. In general, this fails to be true. It is known that the fundamental group of a locally complicated Peano continuum may contain nontrivial elements that are persistently undetectable by polyhedral approximations, at all scales. However, we show that such failure is not inherently local.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109710"},"PeriodicalIF":0.5,"publicationDate":"2026-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145972948","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}
{"title":"","authors":"","doi":"","DOIUrl":"","url":null,"abstract":"","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"382 ","pages":"Article 109757"},"PeriodicalIF":0.5,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146199036","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-12-31DOI: 10.1016/j.topol.2025.109708
Yasser F. Ortiz-Castillo
In this paper we study the hyperspace of nontrivial convergent sequences of ordinal spaces. We prove that characterizes all hyperspaces for . Also we improve a result from [4] by showing that has the Baire property for every . Finally we show that the closure of in is a zero dimensional compactification of which differs from its Stone-Čech compactification.
{"title":"On the structure of the hyperspace of convergent sequences of ordinal numbers","authors":"Yasser F. Ortiz-Castillo","doi":"10.1016/j.topol.2025.109708","DOIUrl":"10.1016/j.topol.2025.109708","url":null,"abstract":"<div><div>In this paper we study the hyperspace of nontrivial convergent sequences of ordinal spaces. We prove that <span><math><msup><mrow><mi>ω</mi></mrow><mrow><mi>ω</mi></mrow></msup></math></span> characterizes all hyperspaces <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>α</mi><mo>)</mo><mo>)</mo></math></span> for <span><math><mi>ω</mi><mo><</mo><mi>α</mi><mo>≤</mo><mn>2</mn><mi>ω</mi></math></span>. Also we improve a result from <span><span>[4]</span></span> by showing that <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>α</mi><mo>)</mo><mo>)</mo></math></span> has the Baire property for every <span><math><mi>α</mi><mo>></mo><mi>ω</mi></math></span>. Finally we show that the closure of <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>α</mi><mo>)</mo><mo>)</mo></math></span> in <span><math><mi>K</mi><mo>(</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>α</mi><mo>)</mo><mo>)</mo></math></span> is a zero dimensional compactification of <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>c</mi></mrow></msub><mo>(</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>α</mi><mo>)</mo><mo>)</mo></math></span> which differs from its Stone-Čech compactification.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109708"},"PeriodicalIF":0.5,"publicationDate":"2025-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145927103","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-12-23DOI: 10.1016/j.topol.2025.109705
Bin Zhao, Jiewen Chen, Xuewei Ling
In this article, quotient spaces of sequential topological groups are investigated. The following results are obtained: (1) Let H be a closed subgroup of a sequential topological group G, then is an -space ⇔ is Fréchet-Urysohn ⇔ is strongly Fréchet-Urysohn, which gives a partial answer to [27, Question 3.9]; (2) Let H be a closed neutral subgroup of a sequential topological group G, then is metrizable ⇔ is feathered and csf-countable, which gives a partial answer to [26, Question 1.10]; (3) Some characterizations of countability in quotient spaces of sequential topological groups.
{"title":"Countability in quotient spaces of sequential topological groups","authors":"Bin Zhao, Jiewen Chen, Xuewei Ling","doi":"10.1016/j.topol.2025.109705","DOIUrl":"10.1016/j.topol.2025.109705","url":null,"abstract":"<div><div>In this article, quotient spaces of sequential topological groups are investigated. The following results are obtained: (1) Let <em>H</em> be a closed subgroup of a sequential topological group <em>G</em>, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is an <span><math><msub><mrow><mi>α</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-space ⇔ <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is Fréchet-Urysohn ⇔ <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is strongly Fréchet-Urysohn, which gives a partial answer to <span><span>[27, Question 3.9]</span></span>; (2) Let <em>H</em> be a closed neutral subgroup of a sequential topological group <em>G</em>, then <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is metrizable ⇔ <span><math><mi>G</mi><mo>/</mo><mi>H</mi></math></span> is feathered and <em>csf</em>-countable, which gives a partial answer to <span><span>[26, Question 1.10]</span></span>; (3) Some characterizations of countability in quotient spaces of sequential topological groups.</div></div>","PeriodicalId":51201,"journal":{"name":"Topology and its Applications","volume":"380 ","pages":"Article 109705"},"PeriodicalIF":0.5,"publicationDate":"2025-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145884990","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}