arXiv Science⌕ Search

arXiv · 2610.06485

Profinite rigidity and quandle colourings

Abstract

We show that the numbers of colourings of a link by all finite quandles is equivalent, as an invariant of links, to the profinite completion of the peripheral system. This allows us to reformulate the classical question of the completeness of the former invariant in terms of profinite rigidity. We also develop some profinite quandle theory, and we show that a topological quandle is profinite if and only if it is compact and totally discontinuous and its group of inner automorphism is relatively compact in its homeomorphism group.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jacques Darn{é}. 2026-10-05. Profinite rigidity and quandle colourings. https://arxiv.org/abs/2610.06485

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A countable metric space whose Hoare power space is not co-sober

Xu asked whether the Hoare power space of a co-sober space, and in particular of a $T_2$-space or a metric space, must be co-sober. We give a negative answer. He and Zhao recently constructed a countable $T_{1}$ space $X$ whose lattice of open sets has a non-sober Scott topology. We observe that their topology has a countable subbase. The classical Ponomarev construction then yields an open continuous surjection from a countable zero-dimensional metrizable space $M$ onto $X$. Direct and inverse images then make the Scott space $Σ\mathcal{O}(X)$ a retract of $Σ\mathcal{O}(M)$, so $Σ\mathcal{O}(M)$ is not sober. Finally, we show that, for every $T_{0}$-space $Y$, the Hoare power space $\PH(Y)$ is co-sober if and only if the Scott space $Σ\mathcal{O}(Y)$ is sober. Consequently, $\PH(M)$ is not co-sober. Therefore, the same example answers negatively a question of He and Zhao about Scott sobriety of the lattices of open sets of countable Hausdorff spaces.

math.GN↗

On properties close to Polish cofinality in spaces of Baire-one and continuous functions

In this paper we prove that $B_1(X)$ has a dense cofinally Polish subspace if and only if $X$ is a $Δ_1$-space. Also we prove that $B_1(X, [0,1])$ has a dense cofinally Polish subspace if and only if $X$ is a weak $λ$-space. We also establish that $C_p(X, [0,1])$ is pseudocompact if and only if $C_p(X,[0,1])$ has a dense cofinally Polish subspace. This result provides answers to four open questions from (Tkachuk in RACSAM 115(68), 2021).

math.GN↗

On proper compactifications of topological groups

In the present paper, we examine in detail the method of "graph compactifications" of topological groups. The graph and Ellis methods of constructing proper compactifications of topological groups are applied for the investigation of possible extensions of algebraic operations on a topological group to its compactifications, and give descriptions of Roelcke, Ellis, WAP, and graph compactifications of topological groups. Additionally, using dichotomy theorems of A.V.Arhangelskii, we show that the description of compactifications can be effectively used in the investigation of topological properties of their remainders. As examples, subgroups of the permutation group (in the permutation topology) and the automorphism group of a LOTS (in the topology of pointwise convergence) are examined.

math.GN↗