Mixed configuration spaces, fixed points and Loop braid groups

Stavroula Makri

Home/Archive/arXiv

arXiv · 2610.04382

Mixed configuration spaces, fixed points and Loop braid groups

Stavroula Makri

View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the notion of mixed configuration spaces of the $3$-ball. That is, we consider both distinct circles and distinct points in the interior of the $3$-ball and we prove that the projection onto the configuration space of circles of the $3$-ball is a locally trivial fibration. The key idea for defining the mixed configuration spaces is to study fixed points of orientation-preserving homeomorphism of the $3$-ball that leave invariant a trivial link of $n$ components in the interior of the $3$-ball. In particular, we prove that two fixed points are Nielsen equivalent if and only if the associated loop braids are conjugate by an element of a distinguished free subgroup of rank $n$. This result stands as a $3$-dimensional counterpart of the $2$-dimensional result where fixed points of homeomorphisms of the punctured disc are characterized in terms of braid elements of the classical Artin braid group.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Stavroula Makri. 2026-10-03. Mixed configuration spaces, fixed points and Loop braid groups. https://arxiv.org/abs/2610.04382

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

KEEP EXPLORING

Related papers

arXiv2026

Arithmeticity and geometrical commensurators

We establish a coarse-geometric analogue of Margulis's commensurator criterion for groups acting on good Gromov-hyperbolic spaces. For a non-elementary $2\frac{1}{2}$-lattice $Γ$, we introduce its coarse-geometric commensurator and show that, if this commensurator contains $Γ$ with infinite index, then, after quotienting by a finite normal subgroup, either $Γ$ is a lattice in a nondiscrete totally disconnected locally compact group with dense commensurator, or $Γ$ is an arithmetic lattice in a rank-one simple real Lie group and its orbit metric is roughly isometric, up to scaling, to the corresponding arithmetic metric. We also prove an analogous characterization of rank-one locally symmetric metrics using boundary maps induced by rough isometries. In particular, assuming the Hilbert--Smith conjecture, the totally disconnected alternative is excluded when the limit set is a connected manifold.

math.GT↗

arXiv2026

Ropelength-Filtered Knot Densities

We study scale-invariant $p$-densities of knot types in Euclidean three-space, defined as the infimum over representatives of the length divided by an $L^p$-type mean of the pairwise chord lengths; the exponent $p$ is any value greater than minus one, including infinity, where the mean is the diameter. The unconstrained density is independent of the knot type. For exponents at most two, its common value is the density of the round circle, by the sharp mean-chord inequality; at the diameter endpoint it equals two; and for finite exponents greater than two it reduces to a planar convex extremal problem, in which the round circle fails to be extremal beyond an explicit threshold. To prevent this degeneration, which is caused by knotting at arbitrarily small scale, we introduce a ropelength filtration: at each level $λ$, the infimum is restricted to representatives whose ropelength is at most $λ$ times the ropelength of the knot type. The filtered density has minimizers, detects the unknot for exponents at most two, and converges to the unconstrained density as $λ$ tends to infinity. It is continuous in the exponent, including the diameter endpoint, and right-continuous in the filtration parameter. As a numerical test, we evaluate the density on published approximately tight configurations of the granny knot and the square knot. The sampled values differ by about 2.5 percent at exponent two, whereas their ordering is reversed at the diameter endpoint. These computations provide evidence that the ropelength filtration retains geometric information lost by the unconstrained theory.

math.GT↗

arXiv2026

Hopf decomposition of the actions of subgroups of the mapping class group

We study the Hopf decomposition of subgroup actions of the Teichmüller modular group on the Thurston boundary with respect to the Thurston measure class. We identify the conservative part with the big horospherical limit set modulo null sets. For a basepoint with trivial stabilizer in the subgroup, the ideal boundary of the associated Dirichlet polyhedron is wandering, and its subgroup translates cover the dissipative part modulo null sets. The dissipative part also agrees with the set of Dirichlet points modulo null sets. The description using Dirichlet polyhedra relies on a separation theorem for extremal length: every level set of an extremal length ratio at distinct points of Teichmüller space has measure zero. Kaimanovich's Radon--Nikodym criterion characterizes the two parts by the divergence and convergence, respectively, of a series of extremal length ratios. For the Torelli group of a closed surface of genus at least two, we use radial limits of the period map to prove that its conical limit set has measure zero. Together with the conservativity established by Choi, Gekhtman, Yang, and Zheng, our geometric characterization implies that its big horospherical limit set has full measure and that the ideal boundary of every Dirichlet polyhedron has measure zero.

math.GT↗