http://arxiv.org/api/oYzl5wrfrrPDE9IvR06MLJ0YPLg 2025-04-22T00:00:00-04:00 23969 15 15 http://arxiv.org/abs/2312.16504v2 2025-04-18T06:33:26Z 2023-12-27T10:16:16Z Hochschild and cotangent complexes of operadic algebras We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an enriched operad. Additionally, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over them. We prove that both the Quillen and Hochschild cohomologies of algebras over an operad can be controlled by the corresponding cohomologies of the operad itself. When passing to the category of simplicial sets, we assert that both these cohomology theories for operads, as well as their associated algebras, can be calculated in the same framework of spectrum valued functors on the twisted arrow $\infty$-category of the operad of interest. Moreover, we provide a convenient cofiber sequence relating the Hochschild and cotangent complexes of an $E_n$-space, establishing an unstable analogue of a significant result obtained by Francis and Lurie. Our strategy introduces a novel perspective, focusing solely on the intrinsic properties of the operadic twisted arrow $\infty$-categories. Truong Hoang 10.1090/tran/9447 Final version, accepted for publication in TAMS. Section 7 from the earlier version has been removed and will be included in a subsequent paper http://arxiv.org/abs/2504.13491v1 2025-04-18T06:08:19Z 2025-04-18T06:08:19Z A slice Cromwell inequality of homogeneous links Cromwell proved that the minimum $v$-degree of the HOMFLY polynomial of homogeneous link $L$ is bounded above by $1-\chi(L)$, where $\chi(L)$ is the maximum Euler characteristic of Seifert surfaces of $L$. We prove its slice version, stating that the minimum $v$-degree of the HOMFLY polynomial of homogeneous link $L$ is bounded above by $1-\chi_4(L)$, the maximum 4-dimensional Euler characteristic of $L$. As a byproduct, we prove a conjecture of Stoimenow that for an alternating link, the minimum $v$-degree of the HOMFLY polynomial is smaller than or equal to its signature. Tetsuya Ito 7 pages, 2 figures http://arxiv.org/abs/2208.02575v3 2025-04-17T20:47:48Z 2022-08-04T10:46:14Z Topology of irregular isomonodromy times on a fixed pointed curve We will define and study (moduli) spaces of deformations of irregular classes on Riemann surfaces, which provide an intrinsic viewpoint on the `times' of irregular isomonodromy systems in general. Our aim is to study the deeper generalisation of the G-braid groups that occur as fundamental groups of such deformation spaces, with particular focus on the generalisation of the full G-braid groups. Jean Douçot Gabriele Rembado 10.1007/s00031-023-09800-9 v3: small improvements, added references, comments welcome! http://arxiv.org/abs/2504.13107v1 2025-04-17T17:21:50Z 2025-04-17T17:21:50Z Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichm\"uller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichm\"uller spaces are naturally homeomorphic. Yusheng Luo Mahan Mj Sabyasachi Mukherjee 55 pages, 9 figures http://arxiv.org/abs/2504.13096v1 2025-04-17T17:06:39Z 2025-04-17T17:06:39Z Tight and overtwisted contact structures The tight versus overtwisted dichotomy has been an essential organizing principle and driving force in 3-dimensional contact geometry since its inception around 1990. In this article, we will discuss the genesis of this dichotomy in Eliashberg's seminal work and his influential contributions to the theory. John B. Etnyre 19 pages, 6 figures. This survey article is a part of the Celebratio Mathematica volume on the work of Yakov Eliashberg http://arxiv.org/abs/2504.13005v1 2025-04-17T15:15:06Z 2025-04-17T15:15:06Z Knot Floer homology of positive braids We compute the next-to-top term of knot Floer homology for positive braid links. The rank is 1 for any prime positive braid knot. We give some examples of fibered positive links that are not positive braids. Zhechi Cheng 12 pages, 6 figures http://arxiv.org/abs/2401.03460v4 2025-04-17T08:05:21Z 2024-01-07T11:41:26Z Five tori in $S^4$ Ivansic proved that there is a link $L$ of five tori in $S^4$ with hyperbolic complement. We describe $L$ explicitly with pictures, study its properties, and discover that $L$ is in many aspects similar to the Borromean rings in $S^3$. In particular the following hold: (1) Any two tori in $L$ are unlinked, but three are not; (2) The complement $M = S^4 \setminus L$ is integral arithmetic hyperbolic; (3) The symmetry group of $L$ acts $k$-transitively on its components for all $k$; (4) The double branched covering over $L$ has geometry $\mathbb H^2 \times \mathbb H^2$; (5) The fundamental group of $M$ has a nice presentation via commutators; (6) The Alexander ideal has an explicit simple description; (7) Every class $x \in H^1(M,Z) = Z^5$ with non-zero xi is represented by a perfect circle-valued Morse function; (8) By longitudinal Dehn surgery along $L$ we get a closed 4-manifold with fundamental group $Z^5$; (9) The link $L$ can be put in perfect position. This leads also to the first descriptions of a cusped hyperbolic 4-manifold as a complement of tori in $\mathbb{RP}^4$ and as a complement of some explicit Lagrangian tori in the product of two surfaces of genus two. Bruno Martelli 35 pages, 24 figures http://arxiv.org/abs/2201.05815v2 2025-04-17T06:39:41Z 2022-01-15T09:53:29Z On finite type invariants of welded string links and ribbon tubes Welded knotted objects are a combinatorial extension of knot theory, which can be used as a tool for studying ribbon surfaces in $4$-space. A finite type invariant theory for ribbon knotted surfaces was developped by Kanenobu, Habiro and Shima, and this paper proposes a study of these invariants, using welded objects. Specifically, we study welded string links up to $w_k$-equivalence, which is an equivalence relation introduced by Yasuhara and the second author in connection with finite type theory. In low degrees, we show that this relation characterizes the information contained by finite type invariants. We also study the algebraic structure of welded string links up to $w_k$-equivalence. All results have direct corollaries for ribbon knotted surfaces. Adrien Casejuane Jean-Baptiste Meilhan 10.3836/tjm/1502179380 24 pages Tokyo J. Math, 46(2): 355-379 (2023) http://arxiv.org/abs/2504.12659v1 2025-04-17T05:39:30Z 2025-04-17T05:39:30Z Topologically Directed Simulations Reveal the Impact of Geometric Constraints on Knotted Proteins Simulations of knotting and unknotting in polymers or other filaments rely on random processes to facilitate topological changes. Here we introduce a method of \textit{topological steering} to determine the optimal pathway by which a filament may knot or unknot while subject to a given set of physics. The method involves measuring the knotoid spectrum of a space curve projected onto many surfaces and computing the mean unravelling number of those projections. Several perturbations of a curve can be generated stochastically, e.g. using the Langevin equation or crankshaft moves, and a gradient can be followed that maximises or minimises the topological complexity. We apply this method to a polymer model based on a growing self-avoiding tangent-sphere chain, which can be made to model proteins by imposing a constraint that the bending and twisting angles between successive spheres must maintain the distribution found in naturally occurring protein structures. We show that without these protein-like geometric constraints, topologically optimised polymers typically form alternating torus knots and composites thereof, similar to the stochastic knots predicted for long DNA. However, when the geometric constraints are imposed on the system, the frequency of twist knots increases, similar to the observed abundance of twist knots in protein structures. Agnese Barbensi Alexander R. Klotz Dimos Gkountaroulis 8 pages, 8 figures. Comments are welcome! Ancillary documents contain 5 videos and the Supplementary Information pdf http://arxiv.org/abs/2504.12404v1 2025-04-16T18:12:11Z 2025-04-16T18:12:11Z Conformal dimension bounds for certain Coxeter group Bowditch boundaries We give upper and lower bounds on the conformal dimension of the Bowditch boundary of a Coxeter group with defining graph a complete graph and edge labels at least three. The lower bounds are obtained by quasi-isometrically embedding Gromov's round trees in the Davis complex. The upper bounds are given by exhibiting a geometrically finite action on a CAT(-1) space and bounding the Hausdorff dimension of the visual boundary of this space. Our results imply that there are infinitely many quasi-isometry classes within each infinite family of such Coxeter groups with edge labels bounded from above. As an application, we prove there are infinitely many quasi-isometry classes among the family of hyperbolic groups with Pontryagin sphere boundary. Combining our results with work of Bourdon--Kleiner proves the conformal dimension of the boundaries of hyperbolic groups in this family achieves a dense set in $(1,\infty)$. Elizabeth Field Radhika Gupta Robert Alonzo Lyman Emily Stark 47 pages, 12 figures http://arxiv.org/abs/2504.12391v1 2025-04-16T18:01:05Z 2025-04-16T18:01:05Z Non-singular geodesic orbit nilmanifolds A Riemannian manifold is called a geodesic orbit manifolds, GO for short, if any geodesic is an orbit of a one-parameter group of isometries. By a result of C.Gordon, a non-flat GO nilmanifold is necessarily a two-step nilpotent Lie group with a left-invariant metric. We give a complete classification of non-singular GO nilmanifolds. Besides previously known examples, there are new families with 3-dimensional center, and two one-parameter families of dimensions 14 and 15. Yuri Nikolayevsky Wolfgang Ziller http://arxiv.org/abs/2504.12390v1 2025-04-16T18:00:50Z 2025-04-16T18:00:50Z Learning Topological Invariance Two geometric spaces are in the same topological class if they are related by certain geometric deformations. We propose machine learning methods that automate learning of topological invariance and apply it in the context of knot theory, where two knots are equivalent if they are related by ambient space isotopy. Specifically, given only the knot and no information about its topological invariants, we employ contrastive and generative machine learning techniques to map different representatives of the same knot class to the same point in an embedding vector space. An auto-regressive decoder Transformer network can then generate new representatives from the same knot class. We also describe a student-teacher setup that we use to interpret which known knot invariants are learned by the neural networks to compute the embeddings, and observe a strong correlation with the Goeritz matrix in all setups that we tested. We also develop an approach to resolving the Jones Unknot Conjecture by exploring the vicinity of the embedding space of the Jones polynomial near the locus where the unknots cluster, which we use to generate braid words with simple Jones polynomials. James Halverson Fabian Ruehle 39 pages, 12 figures, 2 tables http://arxiv.org/abs/2504.12294v1 2025-04-16T17:56:19Z 2025-04-16T17:56:19Z Boundary Currents of Hitchin Components The space of Hitchin representations of the fundamental group of a closed surface $S$ into $\text{SL}_n\mathbb{R}$ embeds naturally in the space of projective oriented geodesic currents on $S$. We find that currents in the boundary have combinatorial restrictions on self-intersection which depend on $n$. We define a notion of dual space to an oriented geodesic current, and show that the dual space of a discrete boundary current of the $\text{SL}_n\mathbb{R}$ Hitchin component is a polyhedral complex of dimension at most $n-1$. For endpoints of cubic differential rays in the $\text{SL}_3\mathbb{R}$ Hitchin component, the dual space is the universal cover of $S$, equipped with an asymmetric Finsler metric which records growth rates of trace functions. Charles Reid 60 pages, 20 figures http://arxiv.org/abs/2504.12253v1 2025-04-16T17:02:22Z 2025-04-16T17:02:22Z Stability conditions on K3 surfaces via mass of spherical objects We prove that a stability condition on a K3 surface is determined by the masses of spherical objects up to a natural $\mathbb{C}$-action. This is motivated by the result of Huybrechts and the recent proposal of Bapat-Deopurkar-Licata on the construction of a compactification of a stability manifold. We also construct lax stability conditions in the sense of Broomhead-Pauksztello-Ploog-Woolf associated to spherical bundles. Kohei Kikuta Naoki Koseki Genki Ouchi 34 pages http://arxiv.org/abs/2504.12002v1 2025-04-16T11:55:40Z 2025-04-16T11:55:40Z Property $R_{\infty}$ for groups with infinitely many ends We show that an accessible group with infinitely many ends has property $R_{\infty}$. That is, it has infinitely many twisted conjugacy classes for any twisting automorphism. We deduce that having property $R_{\infty}$ is undecidable amongst finitely presented groups. We also show that the same is true for a wide class of relatively hyperbolic groups, filling in some of the gaps in the literature. Specifically, we show that a non-elementary, finitely presented relatively hyperbolic group with finitely generated peripheral subgroups which are not themselves relatively hyperbolic, has property $R_{\infty}$. Harry Iveson Armando Martino Wagner Sgobbi Peter Wong 25 pages. Comments welcome