http://arxiv.org/api/WOnB6bLZyALbwOp4J6/AGbBTeN4 2025-04-22T00:00:00-04:00 23969 30 15 http://arxiv.org/abs/2504.11852v1 2025-04-16T08:20:05Z 2025-04-16T08:20:05Z

We give a simple presentation of the pure cactus group $PJ_4$ of degree four. This presentation is obtained by considering an action of $PJ_4$ on the hyperbolic plane and constructing a Dirichlet polygon for the action. As a corollary, we provide a direct alternative proof that $PJ_4$ is isomorphic to the fundamental group of the connected sum of five real projective planes.

Takatoshi Hama Kazuhiro Ichihara 19 pages, 6 figures http://arxiv.org/abs/2504.11684v1 2025-04-16T01:01:05Z 2025-04-16T01:01:05Z

There are many situations in geometry and group theory where it is natural, convenient or necessary to explore infinite groups via their actions on finite objects, i.e. via the finite quotients of the group. But how much understanding can one really gain about an infinite group by examining its finite images? Which properties of the group can one recognise, and when does the set of finite images determine the group completely? How hard is it to decide what the finite images of a given infinite group are? These notes follow my plenary lecture at the ECM in Sevilla, July 2024. The goal of the lecture was to sketch some of the rich history of the preceding problems and to present results that illustrate how the field surrounding these questions has been transformed in recent years by input from low-dimensional topology and the study of non-positively curved spaces.

Martin R. Bridson 30 pages, 4 figures. To appear in the Proceedings of 9ECM, the European Congress of Mathematics in Sevilla, 2024 http://arxiv.org/abs/2407.01729v2 2025-04-15T21:04:34Z 2024-07-01T19:03:00Z

We prove that curves of constant curvature satisfy the parametric $C^1$-dense relative $h$-principle in the space of immersed curves with nonvanishing curvature in Euclidean space $R^{n\geq 3}$. It follows that two knots of constant curvature in $R^3$ are isotopic, resp. homotopic, through curves of constant curvature if and only if they are isotopic, resp. homotopic, and their self-linking numbers, resp. self-linking numbers mod $2$, are equal.

Mohammad Ghomi Matteo Raffaelli 14 pages, 2 figures; Typos corrected http://arxiv.org/abs/2412.01816v2 2025-04-15T18:14:41Z 2024-12-02T18:56:21Z

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper map. We define reduced end cohomology as the relative end cohomology of a ray-based space. We use those results to prove a version of a theorem of King that computes the reduced end cohomology of an end sum of two manifolds. We include a complete proof of Freudenthal's fundamental theorem on the number of ends of a topological group, and we use our results on dimension-zero end cohomology to prove -- without using transfinite induction -- a theorem of N\"obeling on freeness of certain modules of continuous functions.

William G. Bass Jack S. Calcut 56 pages, 21 figures. Included acknowledgement, replaced Figure 4.2, and corrected a few typos http://arxiv.org/abs/2310.11993v2 2025-04-15T16:31:49Z 2023-10-18T14:25:54Z

Using SFT techniques, Eliashberg, Kim and Polterovich (2006) proved that if $\pi R_2^2 \leq K \leq \pi R_1^2$ for some integer $K$ then there is no contact squeezing in $\mathbb{R}^{2n} \times S^1$ of the prequantization of the ball of radius $R_1$ into the prequantization of the ball of radius $R_2$. This result was extended to the case of balls of radius $R_1$ and $R_2$ with $1 \leq \pi R_2^2 \leq \pi R_1^2$ by Chiu (2017) and the first author (2016), using respectively microlocal sheaves and SFT. In the present article we recover this general contact non-squeezing theorem using generating functions, a classical method based on finite dimensional Morse theory. More precisely, we develop an equivariant version, with respect to a certain action of a finite cyclic group, of the generating function homology for domains of $\mathbb{R}^{2n} \times S^1$ defined by the second author (2011). A key role in the construction is played by translated chains of contactomorphisms, a generalization of translated points.

Maia Fraser Sheila Sandon Bingyu Zhang 42 pages. Revised version, to appear in the Journal of Fixed Point Theory and Applications http://arxiv.org/abs/2308.09973v2 2025-04-15T14:50:03Z 2023-08-19T10:24:37Z

We show that the free factor complex of the free group of rank greater than or equal to 4 does not satisfy a combinatorial isoperimetric inequality: that is, for every natural number N, there is a loop c_N of length 4 in the free factor complex such that the number of 2-simplices required to fill c_N grows at least as a linear function of N. To prove the result, we construct a coarsely Lipschitz function from the `upward link' of a free factor to the set of integers.

Radhika Gupta 10 pages, 5 figures, final version with shortened proof, to appear in Proc. Amer. Math. Soc http://arxiv.org/abs/2504.11203v1 2025-04-15T14:02:59Z 2025-04-15T14:02:59Z

Vineyards are a common way to study persistence diagrams of a data set which is changing, as strong stability means that it is possible to pair points in ``nearby'' persistence diagrams, yielding a family of point sets which connect into curves when stacked. Recent work has also studied monodromy in the persistent homology transform, demonstrating some interesting connections between an input shape and monodromy in the persistent homology transform for 0-dimensional homology embedded in $\mathbb{R}^2$. In this work, we re-characterize monodromy in terms of periodicity of the associated vineyard of persistence diagrams. We construct a family of objects in any dimension which have non-trivial monodromy for $l$-persistence of any periodicity and for any $l$. More generally we prove that any knot or link can appear as a vineyard for a shape in $\mathbb{R}^d$, with $d\geq 3$. This shows an intriguing and, to the best of our knowledge, previously unknown connection between knots and persistence vineyards. In particular this shows that vineyards are topologically as rich as one could possibly hope.

Erin Chambers Christopher Fillmore Elizabeth Stephenson Mathijs Wintraecken 27 pages, 15 figures http://arxiv.org/abs/2504.11176v1 2025-04-15T13:31:47Z 2025-04-15T13:31:47Z

Fulton and MacPherson famously constructed a configuration space that encodes infinitesimal collision data by blowing up the diagonals. We observe that when generalizing their approach to configuration spaces of filtered manifolds (e.g. jet spaces or sub-Riemannian manifolds), these blow-ups have to be modified with weights in order for the collisions to be compatible with higher-order data. In the present article, we provide a general framework for blowing up arrangements of submanifolds that are equipped with a weighting in the sense of Loizides and Meinrenken. We prove in particular smoothness of the blow-up under reasonable assumptions, extending a result of Li to the weighted setting. Our discussion covers both spherical and projective blow-ups, as well as the (restricted) functoriality of the construction. Alongside a self-contained introduction to weightings, we also give a new characterization thereof in terms of their vanishing ideals and prove that cleanly intersecting weightings locally yield a weighting. As our main application, we construct configuration spaces of filtered manifolds, including convenient local models. We also discuss a variation of the construction tailored to certain fiber bundles equipped with a filtration. This is necessary for the special case of jet configuration spaces, which we investigate in a future article.

Aaron Gootjes-Dreesbach 109 pages, 13 figures http://arxiv.org/abs/2504.11175v1 2025-04-15T13:30:45Z 2025-04-15T13:30:45Z

We determine the maximal number of systoles among all spheres with $n$ punctures endowed with a complete Riemannian metric of finite area.

Sebastian Baader Jasmin Jörg 7 pages, 2 figures http://arxiv.org/abs/2504.04894v2 2025-04-15T11:54:04Z 2025-04-07T10:06:14Z

We show that for every genus $g \geq 0$, there exist quasipositive knots $K_0^g$ and $K_1^g$ such that there is a cobordism of genus $g=|g_4(K_1^g)-g_4(K_0^g)|$ between $K_0^g$ and $K_1^g$, but there is no ribbon cobordism of genus $g$ in either direction and thus no complex cobordism between these two knots. This gives a negative answer to a question posed by Feller in 2016.

Maciej Borodzik Paula Truöl 9 pages, 1 table, comments welcome! v2: minor changes, extended introduction. Terminology changed to `complex cobordisms' to avoid a terminology clash (see Remark 1.7) http://arxiv.org/abs/2210.13198v2 2025-04-15T10:10:23Z 2022-10-24T13:19:29Z

We present a table of symmetric diagrams for strongly invertible knots up to 10 crossings, point out the similarity of transvergent diagrams for strongly invertible knots with symmetric union diagrams and discuss open questions.

Christoph Lamm 18 pages, 16 figures, appendix with knot table; comments are welcome. Version 2 has an additional appendix on doubly transvergent diagrams http://arxiv.org/abs/2504.10975v1 2025-04-15T08:36:54Z 2025-04-15T08:36:54Z

In this short note we adapt a proof by Bucher and Neofytidis to prove that the simplicial volume of 4-manifolds admitting an open book decomposition vanishes. In particular this shows that Quinns signature invariant, which detects the existence of an open book decomposition in dimensions above 4, is insufficient to characterize open books in dimension 4, even if one allows arbitrary stabilizations via connected sums.

Thorben Kastenholz http://arxiv.org/abs/2504.10892v1 2025-04-15T06:05:41Z 2025-04-15T06:05:41Z

The simultaneous crossing number is a new knot invariant which is defined for strongly invertible knots having diagrams with two orthogonal transvergent axes of strong inversions. Because the composition of the two inversions gives a cyclic period of order 2 with an axis orthogonal to the two axes of strong inversion, knot diagrams with this property have three characteristic orthogonal directions. We define the simultaneous crossing number, $\operatorname{sim}(K)$, as the minimum of the sum of the numbers of crossings of projections in the 3 directions, where the minimum is taken over all embeddings of $K$ satisfying the symmetry condition. Dividing the simultaneous crossing number by the usual crossing number, $\operatorname{cr}(K)$, of a knot gives a number $\ge 3$, because each of the 3 diagrams is a knot diagram of the knot in question. We show that $\liminf_{\operatorname{cr}(K) \to \infty} \operatorname{sim}(K)/\operatorname{cr}(K) \le 8$, when the minimum over all knots and the limit over increasing crossing numbers is considered.

Christoph Lamm Michael Eisermann 16 pages, 13 figures. Comments are welcome! http://arxiv.org/abs/2503.23565v2 2025-04-14T23:31:08Z 2025-03-30T19:09:19Z

Let $(M,h)$ be a connected, complete Riemannian manifold, let $x\in M$ and $l>0$. Then $M$ is called a $Z^x$ manifold if all geodesics starting at $x$ return to $x$ and it is called a $Y^x_l$ manifold if every unit-speed geodesic starting at $x$ returns to $x$ at time $l$. It is unknown whether there are $Z^x$ manifolds that are not $Y^x_l$-manifolds for some $l>0$. By the B\'erard-Bergery theorem, any $Y^x_l$ manifold of dimension at least $2$ is compact with finite fundamental group. We prove the same result for $Z^x$ manifolds $M$ for which all unit-speed geodesics starting at $x$ return to $x$ in uniformly bounded time. We also prove that any $Z^x$ manifold $(M,h)$ with $h$ analytic is a $Y^x_l$ manifold for some $l>0$. We start by defining a class of globally hyperbolic spacetimes (called observer-refocusing) such that any $Z^x$ manifold is the Cauchy surface of some observer-refocusing spacetime. We then prove that under suitable conditions the Cauchy surfaces of observer-refocusing spacetimes are compact with finite fundamental group and show that analytic observer-refocusing spacetimes of dimension at least $3$ are strongly refocusing. We end by stating a contact-theoretic conjecture analogous to our results in Riemannian and Lorentzian geometry.

Friedrich Bauermeister 21 pages. version 2: made small changes to sections 3 and 6, added references, fixed typos http://arxiv.org/abs/2312.04446v4 2025-04-14T20:35:12Z 2023-12-07T17:11:03Z

This paper explores the Lipschitz geometric and combinatorial properties of germs of real semialgebraic surfaces (or, more generally, definable in a polynomially bounded o-minimal structure) with circular link (homeomorphic to the circle $\mathbb{S}^1$). We define and investigate the outer Lipschitz geometry of the so-called circular snakes, showing what results in the paper "Lipschitz geometry and combinatorics of abnormal surface germs" (by Andrei Gabrielov and Emanoel Souza) valid to snakes still holds for the circular case. We prove the existence of a canonical decomposition for the Valette link of a circular snake into finitely many segments and nodal zones and establish some necessary and sufficient criteria to determine when it is possible to obtain a snake from a circular snake by "removing" either one of its segments or a H\"older triangle whose Valette link is contained in one of its nodal zones. We construct a combinatorial object associated with a circular snake and prove a realization theorem for this combinatorial object. We also present a weakly outer Lipschitz classification for circular snakes. Finally, we show some results about the combinatorics of binary circular snakes, which is wildly distinct from the corresponding case shown in the work of Gabrielov and Souza.

André Costa Davi Medeiros Emanoel Souza New sections 5, 6, 7, 8 and 9 added in the submisson did in Apr 14th 2025. arXiv admin note: substantial text overlap with arXiv:2101.02302