Quasimorphisms and Pseudo-Anosov flows

2026-06-12T18:51:16Z

We describe two connections between the theory of quasimorphisms and pseudo-Anosov flows without perfect fits on closed hyperbolic 3-manifolds. First we show that for every such flow $X$, there are quasimorphisms whose coarse restriction to each flowline of $\tilde{X}$ (the lifted flow in the universal cover) are uniform quasi-isometries to $\mathbb{R}$ -- such quasimorphisms are said to be *adapted* to $X$; and that the space of quasimorphisms $Q_X$ adapted to $X$ is an open convex cone in the space of all quasimorphisms on $π_1(M)$. Second, we obtain upper bounds on the exponential growth rate of closed orbits in such flows, both in the hyperbolic metric and in a word metric; quasimorphisms play a key role in obtaining the estimates in the second case.

An Upper Bound For Hausdorff Distance Between Finite-Dimensional Hyperbolic Space and Its Medianization

2026-06-12T16:11:31Z

We use de Sitter space to construct a concrete model for the measured wall structure of finite-dimensional hyperbolic space in hyperbolic model I^n, which will induce a medianization M(I^n). We get an upper bound for the Hausdorff distance between I^n and M(I^n).

Moving between 3-manifold triangulations is NP-hard

2026-06-12T12:48:03Z

We show that \textsc{number of bistellar moves and sparse degree-two edge collapses for 3-sphere} is NP-hard. It follows that a similar problem for an arbitrary 3-manifold is NP-hard as well. This is the first NP-hardness result concerning moves between two triangulations of a 3-manifold.

Secant-quandle: an invariant of braids and knots

2026-06-12T12:12:09Z

We construct a novel invariant of braids and knots, secant-quandle (SQ),with generic secants serving as generators and generic horizontal trisecants serving as relations, i.e., $SQ = Γ\left< \mathcal{S}_M\mid \mathcal{T}_M,\mathcal{E}_M \right>$, where $M$ is a braid or link.

Existence of Minimal Surfaces in Infinite Volume Hyperbolic 3-manifolds

2026-06-12T12:02:51Z

The existence of embedded minimal surfaces in non-compact 3-manifolds remains a largely unresolved and challenging problem in geometry. In this paper, we address several open cases regarding the existence of finite-area, embedded, complete, minimal surfaces in infinite-volume hyperbolic 3-manifolds. Among other results, for doubly degenerate manifolds with bounded geometry, we prove a dichotomy: either every such manifold contains a closed minimal surface or there exists such a manifold admitting a foliation by closed minimal surfaces. We also construct the first examples of Schottky manifolds with closed minimal surfaces and demonstrate the existence of Schottky manifolds containing infinitely many closed minimal surfaces. Lastly, for hyperbolic 3-manifolds with rank-1 cusps, we show that a broad class of these manifolds must contain a finite-area, embedded, complete minimal surface.

The Signed Goldman-Iwahori Space and Real Tropical Linear Spaces

2026-06-12T10:08:46Z

For a real closed field $K$ with a non-Archimedean absolute value, we introduce the signed Goldman--Iwahori space, the space of homothety classes of signed seminorms on a finite-dimensional vector space over $K$. This space merges two geometric perspectives: it is the linear-algebraic analogue of the real analytification of projective space introduced by Jell, Scheiderer, and Yu, and a signed refinement of the Goldman--Iwahori space of seminorms studied in our previous work. Our first main result identifies it as the inverse limit of all real tropicalizations of projective space, the real analogue of a theorem of Payne. Our second main result gives a matroid-theoretic description in terms of the universal realizable oriented valuated matroid on the underlying vector space. In the constant coefficient case for $K = \mathbb{R}$, signed seminorms are exactly the diagonalizable ones which is a consequence of hyperplane separation that fails for all other real closed fields. In this case, this yields an explicit description of the signed Goldman--Iwahori space in terms of signed flags of subspaces and lets us show that the space coincides with the real Bergman fan of the universal oriented matroid.

Coarse Homotopy Theory and Shape Theory

2026-06-12T07:50:32Z

This thesis establishes a connection between the coarse homotopy theory of Euclidean cones and the shape theory of compact metric spaces. For a compact metric space $X$, the coarse homotopy groups of the Euclidean cone $cX$ are determined by pointed shape invariants of $X$, fitting into a $\varprojlim^1$ sequence involving the Čech homotopy groups. Using inverse mapping telescopes and strong shape theory, we prove that two compact metric spaces are strong shape equivalent if and only if their Euclidean cones are coarsely homotopy equivalent. We also prove a version of the coarse Whitehead theorem for Euclidean cones. In contrast, we derive a similar $\varprojlim^1$ sequence for arbitrary proper metric spaces, and construct a counterexample showing that the coarse Whitehead theorem fails in this general setting.

$P$-categories and functions with degenerate singular submanifolds

2026-06-12T06:38:44Z

We study smooth functions on manifolds whose sets of critical points is a disjoint union of submanifolds each diffeomorphic to the same manifold P. These submanifolds are not necessarily non-degenerate. We obtain sufficent conditions for existence of functions with minimal number of such submanifolds. This a translation from Ukrainian of PhD defended in 1993 at the Institute of Mathematics of NAS of Ukraine, Kyiv, Ukraine. Scientific advisor: Volodymyr Sharko.

Contact Geometry of the Restricted Three-Body Problem on $\mathbb{S}^2$

2026-06-12T01:40:20Z

We study the contact geometry of the connected components of the energy hypersurface, in the symmetric restricted 3-body problem on $\mathbb{S}^2$, for a specific type of motion of the primaries. In particular, we show that these components are of contact type for all energies below the first critical value and slightly above it. We prove that these components, suitably compactified using a Moser-type regularization are contactomorphic to $R\mathbb{P}^3$ with its unique tight contact structure or to the connected sum of two copies of it, depending on the value of the energy. We exploit Taubes' solution of the Weinstein conjecture in dimension three, to infer the existence of periodic orbits in all these cases.

Average signature and 4-genus of 2-bridge knots

2026-06-11T22:58:46Z

We show that the average or expected absolute value of the signatures of all 2-bridge knots with crossing number $c$ approaches $\sqrt{{2c}/π}$. Baader, Kjuchukova, Lewark, Misev, and Ray consider a model for 2-bridge knot diagrams indexed by diagrammatic crossing number $n$ and show that the average 4-genus is sublinear in $n$. We build upon this result in two ways to obtain an upper bound for the average 4-genus of a 2-bridge knot: our model is indexed by crossing number $c$ and gives a specific sublinear upper bound of $9.75c/\log c$.

Cellular waists of hyperbolic spaces

2026-06-11T17:08:59Z

We find lower bounds on the topological complexity of fibers of PL and generic smooth maps $p:M^d\rightarrow\mathbb R^m$, where $M^d$ is a closed hyperbolic manifold of large injectivity radius. More precisely, we show that if the injectivity radius of $M$ is greater than $50\log((n+1)!)$, then for each dimension $0

Group rings and hyperbolic geometry

2026-06-11T16:50:05Z

For a group acting on a hyperbolic space, we set up an algorithm in the group algebra showing that ideals generated by few elements are free, where few is a function of the minimal displacement of the action, and derive algebraic, geometric, and topological consequences. In particular, we obtain lower bounds on Morse complexity of closed hyperbolic manifolds in terms of injectivity radius.

Finite generation, algebraicity, and representation stability for homology of Torelli groups

2026-06-11T16:07:29Z

We solve a long-standing problem of whether the homology groups of the Torelli subgroups $\mathcal{I}_g\le\mathrm{Mod}_g$ are finitely generated in stable range. Namely, we prove that the group $H_k(\mathcal{I}_g;\mathbb{Z})$ is finitely generated, provided that $k\le g-2$. Two main ingredients of our approach are as follows. First, we show that the action of any symplectic transvection $t_x\in\mathrm{Sp}_{2g}(\mathbb{Z})$ on the homology of $\mathcal{I}_g$ satisfies the following unipotency condition: $(t_x-1)^{k+1}H_k( \mathcal{I}_g;\mathbb{Z})=0$. The proof of this fact relies on the study of the spectral sequence for the action of $\mathcal{I}_g$ on the complex of homologous curves on $Σ_g$. The second key ingredient is Tavgen's theorem asserting that the group $\mathrm{Sp}_{2g}(\mathbb{Z})$ is boundedly elementarily generated. For homology with coefficients in $\mathbb{Q}$, we further prove that $H_k(\mathcal{I}_g;\mathbb{Q})$ is an algebraic $\mathrm{Sp}_{2g}(\mathbb{Z})$-representation in the same stable range $k\le g-2$. Kupers and Randal-Williams have obtained a conditional result: they computed the algebraic part of the rational cohomology of Torelli groups in stable range under the assumpition that the rational cohomology groups are finite-dimensional in this stable range. Our results turn this conditional computation into a precise theorem that describes the whole rational cohomology ring of Torelli groups in stable range. As further applications, we, firstly, prove Morita's conjecture asserting that the $\mathrm{Sp}_{2g}(\mathbb{Z})$-invariant part of the rational cohomology of $\mathcal{I}_g$ stabilizes to the polynomial ring $\mathbb{Q}[e_2,e_4,\ldots]$ in the even Miller-Morita-Mumford classes; secondly, we prove the uniform representation stability for the series of groups $\left\{ H_k\bigl(\mathcal{I}_g^1;\mathbb{Q})\right\}_{g=1}^{\infty}$.

On the homology of $BΓ_n^\mathbb{C}$ and its application to complex structures on open manifolds

2026-06-11T15:39:08Z

Since the 1970s, it has been known that any open connected manifold of dimension 2, 4 or 6 admits a complex analytic structure whenever its tangent bundle admits a complex linear structure. For half a century, this has been conjectured to hold true for manifolds of any dimension. In this paper, we extend the result to manifolds of dimension 8. To prove the result new $Γ_n^\mathbb{C}$-structures on $\mathbb{CP}^n$ are constructed. As a consequence we derive a theorem concerning the homology of Haefligers classifying space, $BΓ_n^\mathbb{C}$. The result then follows from obstruction theory.

Searching for non-order-preserving braids algorithmically

2026-06-11T15:30:08Z

An $n$-strand braid is order-preserving if its action on the free group $F_n$ preserves some bi-order of $F_n$. A braid $β$ is order-preserving if and only if the link $L$ obtained as the union of the closure of $β$ and its axis has bi-orderable complement. We describe and implement an algorithm which, given a non-order-preserving braid $β$, confirms this property and returns a proof that $β$ is indeed not order-preserving. Guided by the algorithm, we prove that the infinite family of simple 3-braids $σ_1σ_2^{2m+1}$ are not order-preserving for any integer $m$.