https://arxiv.org/api/7WhN7FJ8opkQvmc2kydwKQtRNM8 2026-06-21T17:54:53Z 25838 150 15 http://arxiv.org/abs/2309.14604v7 2026-05-28T23:08:16Z

Let $X$ be a compact smooth manifold with boundary. The paper deals with contact $1$-forms $β$ on $X$, whose Reeb vector fields $v_β$ admit Lyapunov functions $f$. We tackle the question: how to recover $X$ and $β$ from the appropriate data along the boundary $\partial X$? We describe such boundary data and prove that they allow for a reconstruction of the pair $(X, β)$, up to a diffeomorphism of $X$. We use the term ``holography" for the reconstruction. We say that objects or structures inside $X$ are {\it holographic}, if they can be reconstructed from their $v_β$-flow induced ``shadows" on the boundary $\partial X$. We also introduce numerical invariants that measure how ``wrinkled" the boundary $\partial X$ is with respect to the $v_β$-flow and study their holographic properties under the contact forms preserving embeddings of equidimensional contact manifolds with boundary. We get some ``non-squeezing results" about such contact embedding, which are reminiscent of Gromov's non-squeezing theorem in symplectic geometry.

2023-09-26T01:22:32Z 46 pages, 3 figures Gabriel Katz http://arxiv.org/abs/2605.01103v2 2026-05-28T17:41:54Z

We introduce a geometric formulation of quantum indeterminacy from which the standard uncertainty inequalities emerge as necessary consequences. Our approach is based on convex geometry in phase space and on methods from symplectic topology, and does not rely on statistical descriptors such as variances or covariances. Instead, we associate to empirical position and momentum data with convex bodies whose mutual relations encode the fundamental constraints of quantum mechanics. The central tools are h-polar duality and symplectic capacities, which provide intrinsic, coordinate-free bounds on admissible phase-space configurations. Within this framework, the Robertson-Schrodinger inequalities arise naturally as manifestations of deeper geometric and topological principles. This perspective suggests that quantum indeterminacy is not primarily a statistical phenomenon, but rather a structural property of phase space governed by symplectic covariance. The results thus provide a unified and conceptually transparent foundation for the uncertainty principle.

2026-05-01T21:18:25Z First version Maurice de Gosson http://arxiv.org/abs/2501.10558v2 2026-05-28T11:59:03Z

We introduce a new topological invariant of complex line arrangements in the complex projective plane, derived from the interaction between their complement and the boundary of a regular neighbourhood. The motivation is to identify Zariski pairs which have the same combinatorics but different embeddings. Building on ideas developed by B. Guerville-Ballé and W. Cadiegan-Schlieper, we consider the inclusion map of the boundary manifold to the exterior and its effect on homology classes. A careful study of the graph Waldhausen structure of the boundary manifold allows to identify specific generators of the homology. Their potential images are encoded in a group, the graph stabiliser, with a nice combinatorial presentation. The invariant related to the inclusion map is an element of this group. Using a computer implementation in Sage, we compute the invariant for some examples and exhibit new Zariski pairs.

2025-01-17T21:15:50Z 35 pages, 11 figures Adrien Rodau http://arxiv.org/abs/2503.22470v2 2026-05-28T09:45:53Z

We provide new constraints for algebro-geometric subgroups of mapping class groups, namely images of fundamental groups of curves under complex algebraic maps to the moduli space of smooth curves. Specifically, we prove that the restriction of an infinite, finite rank unitary representation of the mapping class group of a closed surface to an algebro-geometric subgroup should be infinite, when the genus is at least 3. In particular the restriction of most Reshetikhin-Turaev representations of the mapping class group to such subgroups is infinite. To this purpose we use deep work of Gibney, Keel and Morrison to constrain the Shafarevich morphism associated to a linear representation of the fundamental group of the compactifications of the moduli stack of smooth curves studied in our previous work. As an application we prove that universal covers of most of these compactifications are Stein manifolds.

2025-03-28T14:30:41Z 21p., Commentarii Math. Helv., to appear Philippe Eyssidieux Louis Funar http://arxiv.org/abs/2603.01079v2 2026-05-28T07:20:17Z

Let~$S^{n-1}\rightarrow E \rightarrow M^n$ be an oriented sphere bundle supporting an affine transverse foliation. We give an upper bound for the Euler number of the bundle. We also give a new and elementary proof of the following fact: if the fundamental group of $M^n$ is amenable, then the Euler number of the bundle vanishes.

2026-03-01T12:53:04Z Ilya Alekseev Ivan Nasonov Gaiane Panina http://arxiv.org/abs/2605.29474v1 2026-05-28T07:04:59Z

We study the existence of area-minimizing homotopies between homotopic curves in the plane. While the classical Plateau problem establishes the existence of least-area surfaces spanning a single Jordan curve, the corresponding existence theory for homotopies between curves is more subtle and is not directly covered by the same framework. Existing results in the plane are mainly based on combinatorial and algebraic methods, such as decomposing curves into self-overlapping subcurves. These methods are highly effective in the planar setting, but they are often tied to special classes of curves and rely strongly on the local structure of the self-intersections, frequently assuming transverse crossings. In contrast, our approach is geometric and variational, and does not depend on the local structure of the self-intersections. In this paper, we develop a variational existence theory for minimum-area homotopies of immersed planar curves. Our approach adapts classical minimal surface methods by lifting an immersed planar curve with self-intersections into higher co-dimension, where it becomes embedded. For such a lifted curve, we apply Douglas's solution of the Plateau problem to obtain an area-minimizing disk. For closed curves of class $C^1$, we prove uniform convergence of the Douglas minimizers and show that the limiting map minimizes area among all $C^1$ spanning maps of the original planar curve. We then extend the construction to closed Lipschitz curves using approximation and Sobolev compactness arguments. Since the limiting minimizing disk lies in the original plane, it directly produces a null homotopy whose swept area is minimal among all admissible homotopies of the original curve. In this way, the construction connects Plateau theory with minimal homotopy area minimization.

2026-05-28T07:04:59Z 20 pages, 2 figures Lia Buchbinder Yunjia Kou Bala Krishnamoorthy Kevin R. Vixie http://arxiv.org/abs/2605.25265v3 2026-05-28T06:56:52Z

By the classic results of Fricke and Klein, for every word $w$ in the free group $F(a,b)$ there exists a unique integer \it{trace polynomial} $f_w(x,y,z)\in Z[x,y,z]$ such that $Tr(w(A,B))=f_w(Tr A,Tr B,Tr AB)$. for all $A,B\in SL(2,C)$. We study quantitative aspects of trace polynomials. We prove an exact formula for the leading homogeneous part of $f_w$ for every nontrivial cyclically reduced word $w\in F(a,b)$. In particular, if $w=u_1\cdots u_n$ is cyclically reduced over $\{a,a^{-1},b,b^{-1}\}$, and if $N_{rs}(w)$ is the number of cyclic occurrences of $rs$, then $deg f_w=n-N_{ab}(w)-N_{b^{-1}a^{-1}}(w)=n-\frac{1}{2}(N_{ab}(w)+N_{ba}(w)+N_{a^{-1}b^{-1}}(w)+N_{b^{-1}a^{-1}}(w)).$ We obtain sharp general bounds $\lceil n/2\rceil\le deg f_w\le n$ for $w\in F(a,b)$ with cyclically reduced length $n$. We also study $deg f_w$ for random positive words and for random freely reduced and random cyclically reduced words. We obtain explicit exponential upper bounds for the growth of the $\ell_1$ and $\ell_\infty$ norms of $f_w$ and exhibit examples with exponential coefficient growth at rate $\varphi^n$, where $\varphi$ is the golden ratio. We show that for random freely reduced, random cyclically reduced and random positive words $w_n$ of length $n$ in $F(a,b)$, the size of $supp(f_{w_n})$ grows at least quadratically in $n$ and the total bit-size of $f_{w_n}$ grows at least as $cn^3$. Hence, any algorithm computing $f_w$ in totally expanded form has worst-case time complexity as well as generic-case time complexity for the above models bounded below by $Ω(n^3)$. We also give a deterministic algorithm which computes the fully expanded polynomial $f_w$ in time $O(n^5)$ and space $O(n^4)$, in terms of the input word length $n$.

2026-05-24T21:34:32Z Updated version with improvements of the main results to include a quadratic support size growth and cubic total bitsize growth for f_w of random words, with consequences for lower bounds on generic-case complexity of computing f_w Ilya Kapovich http://arxiv.org/abs/2605.29443v1 2026-05-28T06:35:56Z

It is well known that every compact oriented 3-manifold admits an ideal triangulation, and that any two such triangulations with at least two ideal tetrahedra are related by a sequence of Pachner $2$-$3$ moves. Motivated by constructions in quantum topology, we give a combinatorial description of closed $3$-manifolds in terms of ordered ideal triangulations and ordered Pachner $2$-$3$ and $0$-$2$ moves.

2026-05-28T06:35:56Z 16 pages Stavros Garoufalidis Rinat Kashaev Sakie Suzuki http://arxiv.org/abs/2605.29252v1 2026-05-28T02:14:00Z

We classify knot traces with trisection genus at most 2. We give infinitely many knots whose traces have trisection genus 3, and infinitely many knots whose traces have trisection genus 4. We also show that there exist infinite families of knots whose traces have arbitrarily large trisection genus. In addition, we determine or give sharp bounds for the trisection genus of the traces of several well-known knots, such as the figure-eight knot, the $(p, pq+1)$-torus knots, and the $(-2, 3, 2n-1)$-pretzel knots.

2026-05-28T02:14:00Z 24 pages, 27 figures Natsuya Takahashi http://arxiv.org/abs/2504.04407v2 2026-05-28T00:44:34Z

We prove that a family of complex hyperbolic ultra-parallel $[m_1, m_2, m_3]$-triangle group representations, where \( m_3 > 0 \), is discrete and faithful if and only if the isometry \( R_1(R_2R_1)^nR_3 \) is non-elliptic for some positive integer \( n \). Additionally, we investigate the special case where \( m_3 = 0 \) and provide a substantial improvement upon the main result by Monaghan, Parker, and Pratoussevitch.

2025-04-06T08:14:53Z 30 pages, 7 figures, to appear in Algebraic and Geometric Topology Wei Liao Baohua Xie http://arxiv.org/abs/2605.29160v1 2026-05-27T22:51:49Z

We develop a framework for discrete p-density and compression-radius profiles of lattice knots. For lattice polygons representing a fixed knot type, we define scale-free density quantities by dividing lattice length by chord-length spread functionals, and we define corresponding compression radii using a raw lattice thickness convention. These profiles are studied both on length-filtered lattice representative sets and on seed-generated finite search spaces arising from local move systems such as BFACF moves. The framework is intended as a computable counterpart of continuous scale-free geometric invariants of knot types. It separates density, compression, and ropelength-like quantities, and records how these quantities behave under length filtration and finite move-graph exploration. We emphasize throughout the distinction between exhaustive lattice-knot invariants and seed-generated computational profiles. As a case study, we compute raw p-density and compression-radius values along an explicit BFACF merge certificate connecting a 30-edge simple cubic figure-eight seed to its reflected mirror seed at length bound N=32. The extracted path has 21 states and 20 BFACF moves and passes through a 32-edge connecting state. Along this path, density and compression-radius values are not monotone: the connecting state has larger raw density and slightly larger D_2-compression radius than the seeds, while an intermediate 30-edge state has smaller compression radius but larger density. This illustrates that density minimization, compression minimization, and ropelength-like minimization define distinct finite-state optimization problems.

2026-05-27T22:51:49Z 20 pages, 1 figure; supplementary code and data available at doi:10.5281/zenodo.20419442 Makoto Ozawa http://arxiv.org/abs/2605.24610v2 2026-05-27T21:28:18Z

We present a method to build free immersions in critical dimension on $m$-tori for $m=2,3,4,5$ by using a factorization trick inspired by tori immersions in critical dimension. As an application, we show that the set of smooth free maps from a closed surface $M$ to \(\mathbb R^5\) is nonempty. In particular, every closed surface embeds freely in \(\mathbb R^5\).

2026-05-23T14:46:02Z 39 pages, no figure Roberto De Leo http://arxiv.org/abs/2509.03396v2 2026-05-27T18:31:54Z

For an arbitrary link $L \subset S^3$ , Sarkar-Scaduto-Stoffregen construct a family of spatial refinements of even and odd Khovanov homology. We give a computation of $\text{Sq}^2$ on these spaces, determining their stable homotopy types for all knots K up to 11 crossings. We also prove that the Steenrod squares $\text{Sq}_0^2$ , $\text{Sq}_1^2$ defined by Schütz do arise as Steenrod squares on these spaces.

2025-09-03T15:17:19Z Typos corrected and identification with formula of Schütz corrected. Added information about Conway mutation. 87 pages Advika Rajapakse http://arxiv.org/abs/2604.13194v2 2026-05-27T18:14:33Z

For $X$ any complete intersection of even complex dimension or any connected sum thereof (or, more generally, any space among certain broad classes of smooth manifolds), we concretely construct diffeomorphisms $a,c$ of punctured $X$ rel boundary whose commutator $[a,c]$ represents the smooth mapping class (rel boundary) of the boundary Dehn twist. This shows that boundary Dehn twists on 4-manifolds known to be nontrivial in the smooth mapping class group rel boundary by work of Baraglia-Konno, Kronheimer-Mrowka, J. Lin, and Tilton become trivial after abelianization, generalizing work of Y. Lin, who applied an argument based on the global Torelli theorem and an obstruction of Baraglia-Konno to prove that the abelianized boundary Dehn twist on the punctured $K3$ surface is trivial.

2026-04-14T18:17:03Z 27 pages, 2 figures. Added new results, refined exposition. Comments welcome! Ayodeji Lindblad http://arxiv.org/abs/2605.28963v1 2026-05-27T18:07:35Z

We propose the systematic study of presentations that can be generalised over a continuous open group monomorphism. Presentations with this property can turn well-known presentations such as those for as orientable surface groups, Artin groups, and some Thompson groups, into topological groups with a prescribed open subgroup. Later we focus on right-angled Artin groups (RAAGs) and introduce a notion of topological RAAGs. Our approach differs from lattice envelopes and produces examples of locally compact (LC) groups that contain RAAGs as discrete subgroups, but generally not as lattices. We investigate some geometric aspects of topological RAAGs, with a special emphasis on compactness properties of LC ones. This includes a study of universal Salvetti-type complexes which may be of independent interest. These complexes share some properties with buildings. Although in some cases they are CAT(0) cube complexes and provide models for classifying spaces, in other cases they are not even uniquely geodesic. For a large class of examples we establish high connectivity properties for these complexes. This yields novel examples of LC groups with prescribed compactness properties or rational cohomological dimension. We note that the Bestvina-Brady machinery does not automatically generalise to this setting; nevertheless, we extend the Bieri-Stallings construction to obtain totally disconnected locally compact (TDLC) groups of type $FP_n$ but not $FP_{n+1}$. Along the way we record counterparts of cohomological results, such as a Mayer-Vietoris sequence and Künneth formula in discrete (co)homology for TDLC groups, which have not appeared elsewhere in the literature. Despite our non-discrete LC focus we obtain, as by-product, new examples of discrete groups with controlled finiteness properties including, for every $n \geq 1$, a Thompson-like Bieri-Stallings group of type $F_n$ but not $F_{n+1}$.

2026-05-27T18:07:35Z 94 pages, 4 figures Ilaria Castellano Bianca Marchionna Brita Nucinkis Yuri Santos Rego