https://arxiv.org/api/nmOzdWl0J72lxbm2HfF/DNvoum0 2026-06-21T20:14:54Z 25838 180 15 http://arxiv.org/abs/2510.03709v2 2026-05-26T14:06:40Z

We show that for a real rational homology sphere $Y$ equipped with a real $\mathrm{spin^c}$ structure $\mathfrak{s}$, the real monopole Floer homology defined by Li and the real Seiberg-Witten Floer homology defined by Konno, Miyazawa and Taniguchi are isomorphic. As corollaries, we identify some Froyshov-type invariants and prove two Smith-type inequalities.

2025-10-04T07:20:53Z v2: 52 pages, no figure. Comparing to v1, minor changes throughout and corrections in Section 2.2.4 and proof of Theorem 1.5. Accepted by Advances in Mathematics Yonghan Xiao http://arxiv.org/abs/2605.27471v1 2026-05-26T10:14:47Z

We study the minimum number of inflection points among generic immersed closed plane curves with a fixed embedded shadow. The word immersed is essential: a genuinely embedded Jordan curve has inflection minimum zero. For tree-like shadows, inflection criterion converts inflection-free realizability into a finite coorientation problem on the building polygons of the shadow. We sharpen this viewpoint into an exact finite formula for the minimum number of normalized inflections and record a dynamic-programming computation on the block tree. We then push the method beyond the tree-like case. For every embedded shadow the same coorientation model gives a universal lower bound. For a natural larger class, called tree--necklace shadows, in which the non-tree-like blocks are separated annular cycles, the lower bound is exact after imposing an explicit $\mathbb Z_2$ holonomy condition around each necklace. We also record the algorithmic status of the exact minimization problem and formulate a likely NP-hardness problem for unrestricted shadows. Finally, we introduce a related invariant: the minimum possible least multiplicity of the Gauss map, equivalently the smallest guaranteed number of oriented parallel tangencies. This ``parallel-tangent load'' is controlled by the same inflection folds but is not determined by their number alone.

2026-05-26T10:14:47Z 14 pages Boris Shapiro http://arxiv.org/abs/2605.26777v1 2026-05-26T09:48:11Z

We prove several new results on the combinatorial structures of the unit spheres of the norms induced by Thurston's metric on the tangent and cotangent spaces of the Teichm{ü}ller space of a closed surface of negative Euler characteristic. These results include a formula for the dimension of every face of a unit sphere in the tangent space in terms of an invariant of the chain-recurrent lamination representing the face. We then prove that the combinatorial structure of such a unit sphere is independent of the underlying point in Teichm{ü}ller space. Provided the genus of the surface is $\ge$ 2, we show that there is a natural isomorphism between the extended mapping class group of the surface and the group of combinatorial automorphisms of such a unit sphere. In the case of genus 2, we obtain a natural epimorphism between the two groups whose kernel is the class of the hyperelliptic involution. Regarding the unit spheres of Thurston's metric in the cotangent spaces, we obtain a formula describing the codimensions of faces of such a sphere in terms of corresponding projective measured laminations. We then give a necessary and sufficient condition for a face to be exposed, and of a face to correspond to a projectively weighted multi-curve. Some of the results obtained answer open questions.

2026-05-26T09:48:11Z Ken'Ichi Ohshika MPI Athanase Papadopoulos IRMA, MPI http://arxiv.org/abs/2604.27545v2 2026-05-25T21:36:49Z

A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and regluing it by a diffeomorphism of its boundary. In this paper, we introduce the notion of a surface cork, an analogous object in the setting of smoothly embedded, closed surfaces $F$ in closed 4-manifolds $X$. This is a compact, contractible, codimension-zero submanifold intersecting $F$ in a controllable manner, whose removal and regluing via a diffeomorphism of its boundary changes the diffeomorphism type of $(X, F)$ as a pair while leaving its homeomorphism type unchanged. The way in which the surface $F$ interacts with the codimension-zero submanifold leads us to define three distinct notions of surface corks: enclosing surface corks, exterior surface corks, and transverse surface corks. We establish the existence of exterior surface corks for certain previously known examples of exotic pairs. Furthermore, we give the first explicit construction of a transverse surface cork for certain exotic families arising from Fintushel--Stern rim surgery. Notably, this transverse surface cork turns out to be diffeomorphic to a 4-ball.

2026-04-30T07:51:49Z Section 7 added; expositional improvements; color adjustments to diagrams Cindy Zhang http://arxiv.org/abs/2605.26337v1 2026-05-25T21:19:38Z

We show that, given $d \geq 4$ and two closed connected oriented PL $4$-manifolds $M$ and $N$ such that $N$ has a handle decomposition with no $1$- and $3$-handles, there exists a $d$-fold simple branched covering $p \colon M \darrow{d} N$ if and only if there is an isometric embedding of intersection lattices $d \cdot I_N \hookrightarrow I_M$. Moreover, if such $p$ exists, one can build it in such a way that its branch set $B_p \subset N$ is locally flat PL embedded if $d \geq 5$ and has at most nodal singularities if $d=4$.

2026-05-25T21:19:38Z Valentina Bais Riccardo Piergallini Daniele Zuddas http://arxiv.org/abs/2509.09319v2 2026-05-25T21:06:23Z

We show that every closed connected non-orientable PL $4$-manifold $X$ is a simple branched covering of $\RP^4$. We also show that $X$ is a simple branched covering of the twisted $S^3$-bundle $S^1 \simtimes S^3$ if and only if the first Stiefel--Whitney class $w_1(X)$ admits an integral lift. In both cases, the degree of the covering can be any number $d \geq 4$, provided that $d$ has the same parity of the Stiefel--Whitney number $w_1^4[X]$ in the case of $\RP^4$. Moreover, the branch set can be assumed to be non-singular if $d \geq 5$ and to have just nodal singularities if $d=4$.

2025-09-11T10:08:16Z Valentina Bais Riccardo Piergallini Daniele Zuddas http://arxiv.org/abs/2605.26274v1 2026-05-25T18:59:47Z

For every integer \(n\ge 3\), every \(1\le \ell\le n-2\), and every sufficiently large integer \(m\), we construct harmonic functions \(u_{m,\ell}\) on the unit ball \(B_1(0)\subset\mathbb{R}^n\) such that the frequency is bounded independently of \(m\), every point of the nodal set \(\{u_{m,\ell}=0\}\cap B_{1/2}(0)\) is regular, but the Betti numbers satisfy \begin{align*} b_\ell\bigl(\{u_{m,\ell}=0\}\cap B_{1/2}(0)\bigr)\ge 2m. \end{align*} Thus bounded frequency, even together with regularity of the nodal set, does not imply a uniform topological bound. In particular, these examples give counterexamples to the claimed global Betti-number bound of Lin and Liu.

2026-05-25T18:59:47Z 7 pages, 2 figures, comments welcome Robert Koirala http://arxiv.org/abs/2310.03316v3 2026-05-25T18:26:34Z

The goal of this survey is to present intimate interactions between four branches of conformal dynamics: iterations of anti-rational maps, actions of Kleinian reflection groups, dynamics generated by Schwarz reflections in quadrature domains, and algebraic correspondences. We start with several examples of Schwarz reflections as well as algebraic correspondences obtained by matings between anti-rational maps and reflection groups, and examples of Julia set realizations for limit sets of reflection groups (including classical Apollonian-like gaskets). We follow up these examples with dynamical relations between explicit Schwarz reflection parameter spaces and parameter spaces of anti-rational maps and of reflection groups. These are complemented by a number of general results and illustrations of important technical tools, such as David surgery and straightening techniques. We also collect several analytic applications of the above theory.

2023-10-05T05:20:36Z Survey article, final version Algebraic, Complex, and Arithmetic Dynamics, Simons Symposia, edited by Laura DeMarco and Mattias Jonsson, Springer (2026) Mikhail Lyubich Sabyasachi Mukherjee 10.1007/978-3-032-04048-0_12 http://arxiv.org/abs/2605.25650v1 2026-05-25T09:57:30Z

Recently, for a limited class for bipartite links, the complicated Khovanov-Rozansky matrix factorization technique was reduced to an analogue of elementary Kauffman-Khovanov cycle calculus for an arbitrary $N$. In this note, we demonstrate the consistency of such reduction with the computation of the bipartite Khovanov polynomials for $N=2$. Namely, we explain how the Kauffman-Khovanov $2^2$-hypercube is shrinked to the bipartite 3-hypercube.

2026-05-25T09:57:30Z 17 pages A. Anokhina E. Lanina A. Morozov http://arxiv.org/abs/2605.14856v4 2026-05-25T09:55:56Z

In this work, we investigate the connections between the local Euler obstruction and the Poincaré-Hopf-Nash (PHN) index of a $1$-form in the setting of determinantal singularities. As an application, we provide explicit computations of the Euler obstruction of a function with a stratified isolated singularity at the origin defined on an IDS with rigid singularities.

2026-05-14T14:02:50Z Anne Frühbis-Krüger Hellen Santana http://arxiv.org/abs/2605.25468v1 2026-05-25T06:19:22Z

We formulate hyperbolic uniformization as a Tannakian reconstruction theorem. For a hyperbolic log-orbi curve C, we construct an intrinsic canonical maximal parahoric PSL2-Higgs object. A tensor-functorial parahoric non-abelian Hodge-Riemann-Hilbert correspondence identifies its Betti realization with a representation of the orbifold fundamental group whose image is the uniformizing cofinite Fuchsian lattice. This construction quasi-inverts the compactified quotient functor from cofinite Fuchsian lattices in PSL2(R) to hyperbolic log-orbi curves. We also prove a Galois enhancement, identifying finite etale covers of C with finite continuous sets for the profinite completion of the reconstructed lattice. As an application, for a one-variable complex function field F, we recover its absolute Galois group as the inverse limit of etale fundamental groups of orbifold models and identify the hyperbolic sector with a compatible Fuchsian-lattice-valued pro-system.

2026-05-25T06:19:22Z 48 pages Xiaojin Lin Mao Sheng http://arxiv.org/abs/2605.25309v1 2026-05-25T00:13:18Z

In this paper, we construct a sequence of genus one knots that are both S-equivalent, yet can be distinguished by the Jones polynomial. This is related to the problem 1.6 in Kirby's problem list (K3).

2026-05-25T00:13:18Z Ziyi Liu Jun Wang http://arxiv.org/abs/2409.14824v2 2026-05-24T20:46:23Z

Lorenz links and T-links are equivalent families by the work of Birman--Kofman. Lorenz links arise as periodic orbits of the Lorenz system, whereas T-links are closures of certain positive braids. Birman, Williams, and Franks showed that every Lorenz link admits a positive braid with a full twist realizing the braid index. We study Lorenz links from the minimal-braid viewpoint. We compute these representatives from the T-link parameters and show that they are precisely a family of positive braids with a full twist, called V-link braids. This gives an explicit correspondence between V-links and T-links. We use this correspondence to study equivalences among T-link presentations. We obtain criteria for distinguishing T-links from their parameters, recover the Birman--Kofman equivalence from the V-link/T-link correspondence, and prove that, under mild assumptions, this equivalence gives two distinct presentations of the same link. We also generalize this phenomenon: under natural non-degeneracy conditions, one obtains four distinct T-link presentations of the same link. More generally, even with the braid index fixed, the number of distinct V-link and T-link presentations can be arbitrarily large. In contrast, we initiate the study of uniqueness of T-link presentations. We prove that there are infinite families of Lorenz links with a unique T-link presentation, after excluding the destabilization case. For the Lorenz flow, this gives families of periodic orbits that admit only one T-link parameter description in their isotopy class. Finally, the V-link form places Lorenz links in the setting of positive braids with a full twist, where techniques for detecting geometric type apply. We prove criteria for such braids to be satellite or hyperbolic and apply them to V-links and T-links. As a consequence, we obtain new families of satellite and hyperbolic T-links and generalize known results.

2024-09-23T08:56:56Z 47 pages, 8 figures. V2: abstract and introduction rewritten; added Sections 4 and 5 on distinguishing T-links and on equivalent V-link and T-link presentations; minor corrections and improvements throughout Thiago de Paiva http://arxiv.org/abs/2605.25082v1 2026-05-24T13:46:04Z

We construct Anosov flows in certain circle bundles over closed hyperbolic 3-manifolds, producing counterexamples to a conjecture of Verjovsky. Some of these 4-manifolds admit infinitely many distinct Anosov flows up to orbit equivalence. The construction is made by using Cannon-Thurston maps associated to pseudo-Anosov quasigeodesic flows in hyperbolic $3$-manifolds.

2026-05-24T13:46:04Z 21 pages, 2 figures Sergio Fenley Kathryn Mann Rafael Potrie http://arxiv.org/abs/2605.25080v1 2026-05-24T13:45:25Z

We give an explicit construction of two $2$-generated subgroups $H,K\leq \SL(3,\Z)$ whose intersection is not finitely generated. The construction takes place inside the standard parabolic subgroup $\Z^2\rtimes \SL(2,\Z)\leq \SL(3,\Z)$. The main point is to identify $H\cap K$ with the stabilizer of a point for an affine action of a free group on $\Z^2$, and then to prove, using the Schreier graph of this action, that this stabilizer is not finitely generated. Furthermore, we prove that there exists a sequence of subgroups $H_q, K_q \leq \SL(3,\mathbb{Z})$ such that $\rank(H_q)=\rank(K_q)=4$, and \[ \rank(H_q\cap K_q)\geq q+1, \] while $H_q\cap K_q$ is finitely generated.

2026-05-24T13:45:25Z Shengkui Ye Qiang Zhang