https://arxiv.org/api/BiMkT+mRyjBZGDHEBzp89xf3upI 2026-06-22T04:16:00Z 25838 285 15 http://arxiv.org/abs/2008.02755v3 2026-05-13T14:35:48Z

We consider constraints on the topology of closed 3-manifolds that can arise as hypersurfaces of contact type in standard symplectic $R^4$. Using an obstruction derived from Heegaard Floer homology we prove that no Brieskorn homology sphere admits a contact type embedding in $R^4$, a result that has bearing on conjectures of Gompf and Kollár. This implies in particular that no rationally convex domain in $C^2$ has boundary diffeomorphic to a Brieskorn sphere. We also give infinitely many examples of contact 3-manifolds that bound Stein domains but not symplectically convex ones; in particular we find Stein domains in $C^2$ that cannot be made Weinstein with respect to the ambient symplectic structure while preserving the contact structure on their boundaries.

2020-08-06T16:43:35Z Corrects an error in Proposition 4.5, pointed out to the authors by Sarah Zampa. That proposition is corrected, and the proof of Theorem 4.6 is adapted accordingly. All main results are unchanged Thomas E. Mark Bülent Tosun 10.1007/s00222-021-01083-9 http://arxiv.org/abs/2605.13585v1 2026-05-13T14:21:34Z

We provide a stratification of the $\mathrm{AGL}_r(\mathbb{C})$-representation variety of the fundamental group of the complement of a twisted Hopf link in terms of a stratification of the corresponding $\mathrm{GL}_r(\mathbb{C})$-representation variety. For ranks $1$ and $2$, we explicitly describe this stratification and compute the motives of these varieties in terms of the Lefschetz motive $q=[\mathbb{C}]$ in the Grothendieck ring of complex algebraic varieties $K_0(\mathbf{Var}_{\mathbb{C}})$.

2026-05-13T14:21:34Z 22 pages, 1 figure Ángel Molina-Navarro http://arxiv.org/abs/2412.04768v2 2026-05-13T13:34:13Z

We present a framework to classify PL-types of large censuses of triangulated $4$-manifolds, which we use to classify the PL-types of all triangulated $4$-manifolds with up to six pentachora. This is successful except for triangulations homeomorphic to the $4$-sphere, $\mathbb{C}P^2$, and the rational homology sphere $QS^4(2)$, where we find at most four, three, and two PL-types respectively. We conjecture that they are all standard. In addition, we look at the cases resisting classification and discuss the combinatorial structure of these triangulations -- which we deem interesting in their own rights.

2024-12-06T04:26:18Z 25 pages, 4 figures, 7 tables Rhuaidi Antonio Burke Benjamin A. Burton Jonathan Spreer http://arxiv.org/abs/2508.03224v2 2026-05-13T13:24:57Z

In previous works, we studied intersection homotopy groups associated to a Goresky and MacPherson perversity and a filtered space. They are defined as the homotopy groups of simplicial sets introduced by P. Gajer. We particularized to locally conical spaces of Siebenmann (called CS sets) and established a topological invariance for them when the regular part remains unchanged. Here, we consider coarsenings, made of two structures of CS sets on the same topological space, the strata of one being a union of strata of the other. We endow them with a general perversity and its pushforward, where the adjective ``general'' means that the perversities are defined on the poset of the strata and not only according to their codimension. If the perversity verifies a growing property analogous to that of the original perversities of Goresky and MacPherson, we also find an invariance theorem for the intersection homotopy groups of a coarsening, under the above restriction on the regular parts. An invariance is shown too in some cases where singular strata become regular in the coarsening, for Thom-Mather spaces.

2025-08-05T08:50:27Z Final version Martintxo Saralegi-Aranguren Daniel Tanré http://arxiv.org/abs/2605.13372v1 2026-05-13T11:28:54Z

Let $N_g$ be a closed, connected, nonorientable surface of genus $g$. We prove that for $g \ge 13$, the mapping class group $\text{Mod}(N_g)$ can be generated by exactly two elements. This improves the previously known bound of $g \ge 19$.

2026-05-13T11:28:54Z Berkay Aybak Hasan Ozden http://arxiv.org/abs/2604.17905v3 2026-05-13T10:55:58Z

We study a knot type through the ropelength-filtered spaces of its thick representatives. For a knot type $K$ and a scale parameter $Λ>0$, let $Y_Λ(K)=\mathcal{R}_{1,Λ}(K)$ be the space of representatives of $K$ with thickness at least $1$ and length at most $Λ$, modulo reparametrization and orientation-preserving Euclidean isometries. The basic equivalence relation is defined by admissible deformations: two representatives are equivalent at scale $Λ$ if they can be joined through representatives that remain in $Y_Λ(K)$. The resulting admissible components form a one-parameter persistence object as $Λ$ increases. We prove that the first birth level of this admissible-component persistence is exactly the ropelength $\operatorname{Rop}(K)$. The initial layer $I(K)=Y_{\operatorname{Rop}(K)}(K)$ is the ideal stratum of $K$. Thus the ropelength-minimizing locus is not treated merely as a set of ideal shapes, but as the birth stratum of a constrained deformation theory. We define the ideal admissible-component set $Π^{\mathrm{ad}}_{\mathrm{ideal}}(K)$, the ideal component number $ν_{\mathrm{ideal}}(K)$, and pairwise ideal merge scales. For the fixed knot type $K$, the central invariant introduced here is the ropelength ultrapseudometric $d_{\mathrm{merge}}(C,D)=μ_{\mathrm{ideal}}(C,D)-\operatorname{Rop}(K)$ defined for $C,D\inΠ^{\mathrm{ad}}_{\mathrm{ideal}}(K)$. We prove that this function is finite-valued and satisfies the strong triangle inequality. The pure merge Vietoris--Rips filtration is a secondary simplicial encoding of this ultrapseudometric structure: it records the same zero-dimensional merge data and has no higher-dimensional homological content beyond the merge partition itself. We also compute the basic case of the unknot and indicate finite polygonal and diagrammatic approximations as further directions.

2026-04-20T07:32:32Z 21 pages, LaTeX. Revised version. Streamlined exposition; clarified admissible-component persistence, ideal merge scales, the merge ultrapseudometric, and pure merge Vietoris--Rips filtration Makoto Ozawa http://arxiv.org/abs/2603.04295v2 2026-05-13T10:14:56Z

We study the geometry of $q$-rational numbers, introduced by Morier-Genoud and Ovsienko, for positive real $q$. In particular, we construct and analyse the deformed Farey triangulation and the deformed modular surface. We interpret every $q$-rational geometrically as a circle, similar to the famous Ford circles. Further, we define and study new operations on $q$-rationals, the Springborn operations, which can be seen as a quadratic version of the Farey addition. Geometrically, the Springborn operations correspond to taking the homothety centers of a pair of two circles. As an application, we derive a formula for the $q$-deformed midpoint of two Farey neighbors and we consider a new $q$-deformation of Markov numbers.

2026-03-04T17:12:06Z 54 pages, comments are welcome Perrine Jouteur Olga Paris-Romaskevich Alexander Thomas http://arxiv.org/abs/2605.13291v1 2026-05-13T10:05:32Z

In our previous work, we introduced the notion of a twisted Alexander vanishing (TAV) group, defined as a finite group for which the corresponding twisted Alexander polynomial of a knot vanishes. In this paper, we discuss the orders of TAV groups and construct knots whose twisted Alexander polynomials vanish. Moreover, we show that every faithful irreducible representation of a TAV group causes the twisted Alexander polynomial to be zero.

2026-05-13T10:05:32Z 22 pages, 1 figure. A part of this paper is contained in our unpublished manuscript arXiv:2510.25574. In this paper, we develop it from the viewpoint of TAV groups Katsumi Ishikawa Takayuki Morifuji Masaaki Suzuki http://arxiv.org/abs/2605.13288v1 2026-05-13T10:03:44Z

In this paper, we discuss twisted Alexander polynomials of a knot for group extensions of a finite group in two directions. Firstly, we provide a mod $p$ formula for the twisted Alexander polynomial of a knot in the $3$-sphere associated with the regular representation of a finite group. Secondly, we consider twisted Alexander polynomials of a knot for a series of central extensions of a finite group. Moreover, we apply these formulas for twisted Alexander polynomials to the study of twisted Alexander vanishing groups and orders for non-fibered knots.

2026-05-13T10:03:44Z 13 pages. A part of this paper is contained in our unpublished manuscripts arXiv:2510.25574, arXiv:2311.15484. In this paper, we develop it from the viewpoint of the formulation of twisted Alexander polynomials of a knot for group extensions Katsumi Ishikawa Takayuki Morifuji Masaaki Suzuki http://arxiv.org/abs/2605.13239v1 2026-05-13T09:25:36Z

This paper investigates stable cohomotopy groups in codimensions two and three from complementary algebraic and geometric viewpoints. For general CW complexes, we give a complete characterization of stable cohomotopy in codimension two and a characterization in codimension three up to a $3$-primary parameter. Geometrically, we provide bordism-theoretic interpretations of these stable cohomotopy groups for oriented manifolds in codimension two and string manifolds in codimension three. As an application, we derive necessary and sufficient conditions for the existence of nowhere-vanishing sections of vector bundles, extending the foundational codimension-one results of Konstantis.

2026-05-13T09:25:36Z 47 pages Pengcheng Li Jianzhong Pan Jie Wu http://arxiv.org/abs/2510.00576v3 2026-05-13T09:25:33Z

We establish a transversality theorem for multiple-point crossings under generic linear perturbations with explicit Hausdorff measure estimates for the exceptional parameter set, and hence explicit upper bounds on its Hausdorff dimension. This strengthens our earlier result, which showed only that the exceptional parameter set has Lebesgue measure zero. As applications, we obtain results on normal crossings, injectivity, and embeddings under generic linear perturbations. The embedding result yields a refinement of Mather's stability theorem for generic projections when the target dimension is more than twice the source dimension, with an explicit upper bound on the Hausdorff dimension of the exceptional set.

2025-10-01T06:56:40Z 15 pages Shunsuke Ichiki http://arxiv.org/abs/2409.05647v2 2026-05-13T09:10:07Z

We use fine curve graph tools to prove that there exist parabolic isometries of graphs of curves associated to surfaces of infinite type.

2024-09-09T14:14:38Z Theorem A of v1 removed, because of a mistake in the proof. The second part of v1 is unaffected Federica Fanoni Sebastian Hensel http://arxiv.org/abs/2605.13090v1 2026-05-13T07:01:00Z

Motivated by the notion of the multi-virtual braid group introduced by L. Kauffman and by the study of extensions of the well-known twin group T_n, n >= 2, we introduce a new group called the multi-virtual twin group M_kVT_n, where k >= 1 and n >= 2, together with two associated subgroups: the multi-virtual pure twin group M_kVPT_n and the multi-virtual semi-pure twin group M_kVHT_n.We classify all homogeneous 2-local representations of M_kVT_n into GL_n(C) for all k >= 1 and n >= 3, and show that they fall into exactly eight distinct types. We also investigate their main properties, including faithfulness and irreducibility, proving that they are generally unfaithful and providing necessary and sufficient conditions for their irreducibility.Furthermore, for certain values of k and n, we construct non-local representations of M_kVPT_n induced from those of M_kVT_n, and we determine the conditions under which these induced representations are irreducible. Finally, we present several problems for future research in this area.

2026-05-13T07:01:00Z Vaibhav Keshari Taher I. Mayassi Madeti Prabhakar Mohamad N. Nasser http://arxiv.org/abs/2605.13064v1 2026-05-13T06:39:25Z

In this paper, we prove that every non-elementary subgroup of the mapping class group of a surface has non-arithmetic Teichmüller length spectrum. Namely, Teichmüller translation lengths of its pseudo-Anosov elements generate a dense additive subgroup of $\mathbb{R}$. We prove this by introducing the notion of cross-ratios on $\mathcal{MF}$ and $\mathcal{PMF}$, and studying its geometric and dynamical properties, despite the lack of negatively curved features of the Teichmüller space nor the conformal geometry on $\mathcal{PMF}$.

2026-05-13T06:39:25Z 14 pages, 1 figure Inhyeok Choi Dongryul M. Kim http://arxiv.org/abs/2605.13017v1 2026-05-13T05:15:24Z

In our previous work, we introduced a simple and explicit method for constructing a positive allowable Lefschetz fibration (PALF) from a $2$-handlebody decomposition of any given compact Stein surface. In this paper, we apply this construction to knot traces whose attaching circles are either alternating knots or \emph{extended alternating knots} (a generalized class introduced herein). We demonstrate that each such knot trace admits a PALF whose regular fiber has a genus exactly equal to the number of white regions in the associated planar graph, yielding PALFs whose regular fibers have a significantly small genus. As immediate corollaries, we prove that knot traces of positive pretzel knots with $s$ rows admit PALFs with regular fibers of genus $s-1$, and those of positive torus knots admit PALFs with regular fibers of genus $1$. Furthermore, we define \emph{positive torus-pretzel knots} by replacing each twist block of a positive pretzel knot with the crossings of a positive torus knot, and we establish that their knot traces also admit PALFs with regular fibers of genus $s-1$.

2026-05-13T05:15:24Z 27pages, 31 figures Atsushi Tanaka