http://arxiv.org/api/lOHn4j0TcmHkRuDz1J+yn3OnHEo 2025-05-05T00:00:00-04:00 5462 105 15 http://arxiv.org/abs/2405.02627v2 2025-02-23T18:17:09Z 2024-05-04T10:00:51Z

The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature.

María V. Ferrer S. Hernández http://arxiv.org/abs/2502.16354v1 2025-02-22T21:03:27Z 2025-02-22T21:03:27Z

Zero-dimensional structural numbers $Z_0^{\mathrm{ind}}$ and $Z_0^{\mathrm{dim}}$ w.r.t. dimensions $\mathrm{ind}$ and $\mathrm{dim}$ were introduced by Georgiou, Hattori, Megaritis, and Sereti. Somewhat similarly, we define structural numbers $\mathrm{Sn}^{A}$ for different subclasses $A$ of the class of hereditarily normal $T_1$-spaces. In particular, we show that: (a) for any metrizable space $X$ with $\dim X = n \geq 0$ we have $1 \leq \mathrm{Sn}^{M_{dim}}X \leq n+1$; (b) for any countable-dimensional metrizable space $Y$ we have $1 \leq \mathrm{Sn}^{M_{dim}}Y \leq \aleph_0$, where $ M_{dim}$ is the class of metrizable spaces $Z$ with $\mathrm{dim}\, Z = 0.$

Vitalij Chatyrko Alexandre Karassev http://arxiv.org/abs/2412.10876v2 2025-02-22T05:44:11Z 2024-12-14T16:05:30Z

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126.

Weinan Lin Guozhen Wang Zhouli Xu 30 pages, 29 tables, 49 spectra involved in this project http://arxiv.org/abs/2502.15492v1 2025-02-21T14:36:24Z 2025-02-21T14:36:24Z

Pierce identified 3 invariants of a compact metrisable Boolean space, derived from its Cantor-Bendixson sequence, that determine the space up to homeomorphism. For locally compact spaces we define an additional invariant, the compact rank, and show that these 4 invariants determine a locally compact metrisable Boolean space up to homeomorphism. We also identify which combinations of the 4 invariants can arise in practice. A Boolean ring and its associated Boolean space are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Spaces in this important sub-class of Boolean spaces can be well described (uniquely in the case of compact spaces) by an extended PO system (poset with a distinguished subset). We define the Cantor-Bendixson sequence and associated invariants for a PO system, and show that almost all of the invariant information for a primitive space can be recovered from that of an associated extended PO system. We also show how the primitivity of a Boolean space corresponds to a notion of primitivity of the additive measure associated with the rank function of a space, which in turn depends on the additive measure being sufficiently 'self-similar'. We use these ideas to develop a method for constructing non-primitive spaces.

Andrew B. Apps 32 pages http://arxiv.org/abs/2502.15358v1 2025-02-21T10:14:30Z 2025-02-21T10:14:30Z

Let $T''(X)$ and $T'(X)$ denote the collections of all real-valued functions on $X$ which are continuous on a dense cozero set and on an open dense subset of $X$ respectively. $T''(X)$ contains $C(X)$ and forms a subring of $T'(X)$ under pointwise addition and multiplication. We inquire when $T''(X)=C(X)$ and when $T''(X)=T'(X)$. We also ponder over the question when is $T''(X)$ isomorphic to $C(Y)$ for some topological space $Y$. We investigate some algebraic properties of the ring, $T''(X)$ for a Tychonoff space $X$. We provide several characterisations of $T''(X)$ as a Von-Neumann regular ring. We define nowhere almost $P$-spaces using the ring $T''(X)$ and characterise it as a Tychonoff space which has no non-isolated almost $P$-points. We show that a Tychonoff space with countable pseudocharacter is a nowhere almost $P$-space and highlight that this condition is not superflous using the closed ordinal space.

Amrita Dey Sagarmoy Bag Dhananjoy Mandal http://arxiv.org/abs/2412.16962v6 2025-02-21T08:58:20Z 2024-12-22T10:45:33Z

The 2x2 space-filling curve is a type of generalized space-filling curve characterized by a basic unit is in a "U-shape" that traverses a 2x2 grid. In this work, we propose a universal framework for constructing general 2x2 curves where self-similarity is not strictly required. The construction is based on a novel set of grammars that define the expansion of curves from level 0 (a single point) to level 1 (units in U-shapes), which ultimately determines all $36 \times 2^k$ possible forms of curves on any level $k$ initialized from single points. We further developed an encoding system in which each unique form of the curve is associated with a specific combination of an initial seed and a sequence of codes that sufficiently describes both the global and local structures of the curve. We demonstrated that this encoding system is a powerful tool for studying 2x2 curves and we established comprehensive theoretical foundations from the following three key perspectives: 1) We provided a deterministic encoding for any unit on any level and position on the curve, enabling the study of curve generation across arbitrary parts on the curve and ranges of iterations; 2) We gave deterministic encodings for various curve transformations, including rotations, reflections and reversals; 3) We provided deterministic forms of families of curves exhibiting specific structures, including homogeneous curves, curves with identical shapes, partially identical shapes, and with completely distinct shapes. We also explored families of recursive curves, subunit identically or differently shaped curves, completely non-recursive curves, symmetric curves and closed curves. Finally, we proposed a method to calculate the location of any point on the curve arithmetically, within a time complexity linear to the level of the curve.

Zuguang Gu http://arxiv.org/abs/2301.00660v4 2025-02-19T15:33:46Z 2023-01-02T13:26:29Z

We extend some basic results from the singular homology theory of topological spaces to the setting of \v{C}ech's closure spaces. We prove analogues of the excision and Mayer-Vietoris theorems and the Hurewicz theorem in dimension one. We use these results to calculate examples of singular homology groups of spaces that are not topological but are often encountered in applied topology, such as simple undirected graphs. We focus on the singular homology of roots of unity with closure structures arising from considering nearest neighbors. These examples can then serve as building blocks along with our Mayer-Vietoris and excision theorems for computing the singular homology of more complex closure spaces.

Nikola Milićević 34 pages, to appear in Topology and Its Applications http://arxiv.org/abs/2103.07128v2 2025-02-19T11:38:44Z 2021-03-12T07:57:59Z

We find that Alexander polynomial of a ribbon knot in $ \mathbb{Z}HS^3 $ is determined by the intrinsic singularity information of its ribbon, and give a formula to calculate Alexander polynomial of a ribbon knot by that. We define half Alexander polynomial $ A_R (t) $, an invariant of oriented ribbons, and in fact the Alexander polynomial of the ribbon knot is $ A_R (t) A_R (t^{-1}) $. We give two useful simplified formulas for half Alexander polynomial. We characterize completely the polynomials arising as half Alexander polynomials of ribbons. The above study unexpectedly leads us to discover new formulas for Alexander polynomial of general knots and virtual knots in terms of Gauss diagrams.

Sheng Bai This version was completed and submitted to a journal in Jan. 2023. A plausible obstruction in Subsection 6.1.1 would be possibly interesting. Comments are welcome! http://arxiv.org/abs/2303.08491v3 2025-02-18T14:30:34Z 2023-03-15T09:56:23Z

In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.

Klaas Pieter Hart 10.1016/j.topol.2025.109280 Version 2: added a description of a 40-years old answer to the original question Version 3: final version after referee's report; submitted to the journal Topology and its Applications (1 May 2025) 109280 http://arxiv.org/abs/2502.11615v1 2025-02-17T09:58:51Z 2025-02-17T09:58:51Z

The Gromov-Hausdorff distance is a dissimilarity metric capturing how far two spaces are from being isometric. The Gromov-Prokhorov distance is a similar notion for metric measure spaces. In this paper, we study the topological dimension of the Gromov-Hausdorff and Gromov-Prokhorov spaces. We show that the dimension of the space of isometry classes of metric spaces with at most $n$ points endowed with the Gromov-Hausdorff distance is $\frac{n(n-1)}{2}$, and that of mm-isomorphism classes of metric measure spaces whose support consists of $n$ points is $\frac{(n+2)(n-1)}{2}$. Hence, the spaces of all isometry classes of finite metric spaces and of all mm-isomorphism classes of finite metric measure spaces are strongly countable dimensional. If, instead, the cardinalities are not limited, the spaces are strongly infinite-dimensional.

Hiroki Nakajima Takamitsu Yamauchi Nicolò Zava http://arxiv.org/abs/2502.10204v1 2025-02-14T14:58:29Z 2025-02-14T14:58:29Z

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure in $\R^n$ for $n\geq 1$. A topological analogue attributed to Piccard asserts that both $AB$ and $AB^{-1}$ contain an interval when $A,B$ are non-meager (second category) Baire sets in a topological group. We explore generalizations of Piccard's result to more complex point configurations and more abstract spaces. In the Euclidean setting, we show that if $A\subset \R^d$ is a non-meager Baire set and $F=\{x_n\}_{n\in\N}$ is a bounded sequence, then there is an interval of scalings $t$ for which $tF+z\subset A$ for some $z\in \R^d$. That is, the set $$\Delta_F(A)=\{t\in\R: \exists z\text{ such that }tF+z\subset A\}$$ has nonempty interior. More generally, if $V$ is a topological vector space and $F=\{x_n\}_{n\in\N}\subset V$ is a bounded sequence, we show that if $A\subset V$ is non-meager and Baire, then $\Delta_F(A)$ has nonempty interior. The notion of boundedness in this context is described below. Note that the sequence $F$ can be countably infinite, which distinguishes this result from its measure-theoretic analogue. In the context of the topological version of Erd\H{o}s' similarity conjecture, we show that bounded countable sets are universal in non-meager Baire sets.

Alex McDonald Krystal Taylor http://arxiv.org/abs/2406.05457v2 2025-02-14T14:02:07Z 2024-06-08T12:32:29Z

Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model.

Valentin Haberl Piotr Szewczak Lyubomyr Zdomskyy 10.1017/jsl.2025.21 26 pages http://arxiv.org/abs/2503.16441v1 2025-02-14T07:29:13Z 2025-02-14T07:29:13Z

The recent adoption of artificial intelligence (AI) in robotics has driven the development of algorithms that enable autonomous systems to adapt to complex social environments. In particular, safe and efficient social navigation is a key challenge, requiring AI not only to avoid collisions and deadlocks but also to interact intuitively and predictably with its surroundings. To date, methods based on probabilistic models and the generation of conformal safety regions have shown promising results in defining safety regions with a controlled margin of error, primarily relying on classification approaches and explicit rules to describe collision-free navigation conditions. This work explores how topological features contribute to explainable safety regions in social navigation. Instead of using behavioral parameters, we leverage topological data analysis to classify and characterize different simulation behaviors. First, we apply global rule-based classification to distinguish between safe (collision-free) and unsafe scenarios based on topological properties. Then, we define safety regions, $S_\varepsilon$, in the topological feature space, ensuring a maximum classification error of $\varepsilon$. These regions are built with adjustable SVM classifiers and order statistics, providing robust decision boundaries. Local rules extracted from these regions enhance interpretability, keeping the decision-making process transparent. Our approach initially separates simulations with and without collisions, outperforming methods that not incorporate topological features. It offers a deeper understanding of robot interactions within a navigable space. We further refine safety regions to ensure deadlock-free simulations and integrate both aspects to define a compliant simulation space that guarantees safe and efficient navigation.

Victor Toscano-Duran Sara Narteni Alberto Carlevaro Rocio Gonzalez-Diaz Maurizio Mongelli Jerome Guzzi http://arxiv.org/abs/2502.08847v1 2025-02-12T23:44:48Z 2025-02-12T23:44:48Z

A representation $\rho$ of a compact group $\mathbb{G}$ selects eigenvalues if there is a continuous circle-valued map on $\mathbb{G}$ assigning an eigenvalue of $\rho(g)$ to every $g\in \mathbb{G}$. For every compact connected $\mathbb{G}$, we characterize the irreducible $\mathbb{G}$-representations which select eigenvalues as precisely those annihilating the intersection $Z_0(\mathbb{G})\cap \mathbb{G}'$ of the connected center of $\mathbb{G}$ with its derived subgroup. The result applies more generally to finite-spectrum representations isotypic on $Z_0(\mathbb{G})$, and recovers as applications (noted in prior work) the existence of a continuous eigenvalue selector for the natural representation of $\mathrm{SU}(n)$ and the non-existence of such a selector for $\mathrm{U}(n)$.

Alexandru Chirvasitu 16 pages + references http://arxiv.org/abs/2502.08506v1 2025-02-12T15:41:19Z 2025-02-12T15:41:19Z

We introduce a two-parameter modification of the cofinality invariant of ideals. This allows us to include the interaction of a pair of ideals in the study of base-like structures. We find the values (cardinal numbers or well-known cardinal invariants) of the invariant for pairs of some critical ideals on $\omega$. We also dichotomously divide pairs of known ideals on the real line based on whether their relative cofinality is trivial or uncountable. Finally, we also study the relative cofinality of maximal ideals.

Adam Marton Miroslav Repický