http://arxiv.org/api/8KunKPnKnkBZB1c2sa1ikU+j01U 2025-05-08T00:00:00-04:00 16564 195 15 http://arxiv.org/abs/2401.14254v4 2025-04-03T08:54:45Z 2024-01-25T15:44:10Z

Diagrams enable the use of various algebraic and geometric tools for analysing and classifying knots. In this paper we introduce a new diagrammatic representation of triply periodic entangled structures (TP tangles), which are embeddings of simple curves in $\mathbb{R}^3$ that are invariant under translations along three non-coplanar axes. As such, these entanglements can be seen as preimages of links embedded in the 3-torus $\mathbb{T}^3 = \mathbb{S}^1 \times \mathbb{S}^1 \times \mathbb{S}^1$ in its universal cover $\mathbb{R}^3$, where two non-isotopic links in $\mathbb{T}^3$ may possess the same TP tangle preimage. We consider the equivalence of TP tangles in $\mathbb{R}^3$ through the use of diagrams representing links in $\mathbb{T}^3$. These diagrams require additional moves beyond the classical Reidemeister moves, which we define and show that they preserve ambient isotopies of links in $\mathbb{T}^3$. The final definition of a tridiagram of a link in $\mathbb{T}^3$ allows us to then consider additional notions of equivalence relating non-isotopic links in $\mathbb{T}^3$ that possess the same TP tangle preimage.

Toky Andriamanalina Myfanwy E. Evans Sonia Mahmoudi 10.1016/j.topol.2025.109346 Published Topology and its Applications 368 (2025) 109346 http://arxiv.org/abs/2504.02366v1 2025-04-03T07:56:48Z 2025-04-03T07:56:48Z

Proving Koszulness of a properad can be very hard, but sometimes one can look at its Koszul complex to look for obstructions for Koszulness. In this paper, we present a method and tools to prove non-Koszulness of many properads in a family of quadratic properads. We illustrate this method on a family of associative and coassociative properads with one quadratic compatibility relation.

Silvère Nédélec Nantes Univ, LMJL http://arxiv.org/abs/2503.20052v2 2025-04-03T01:09:00Z 2025-03-25T20:18:24Z

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincar\'e surgery in the simply connected case. We also deduce the Poincar\'e transversality exact sequence.

John R. Klein Fixed typos and provided additional references http://arxiv.org/abs/2504.02143v1 2025-04-02T21:38:37Z 2025-04-02T21:38:37Z

We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak indexing systems; in particular, we acquire a natural $G$-symmetric monoidal equivalence \[ \underline{\mathrm{CAlg}}^{\otimes}_{I} \underline{\mathrm{CAlg}}^{\otimes}_{J} \mathcal{C} \simeq \underline{\mathrm{CAlg}}^{\otimes}_{I \vee J} \mathcal{C}. \] We accomplish this by showing that $\mathcal{N}_{I\infty}^{\otimes}$ is $\otimes$-idempotent and $\mathcal{O}^{\otimes}$ is local for the corresponding smashing localization if and only if $\mathcal{O}$-monoid $G$-spaces satisfy $I$-indexed Wirthm\"uller isomorphisms. Ultimately, we accomplish this by advancing the equivariant higher algebra of cartesian and cocartesian $I$-symmetric monoidal $\infty$-categories. Additionally, we acquire a number of structural results concerning $G$-operads, including a canonical lift of $\otimes$ to a presentably symmetric monoidal structure and a general disintegration and assembly procedure for computing tensor products of non-reduced unital $G$-operads. All such results are proved in the generality of atomic orbital $\infty$-categories. We also achieve the expected corollaries for (iterated) Real topological Hochschild and cyclic homology and construct a natural $I$-symmetric monoidal structure on right modules over an $\mathcal{N}_{I\infty}$-algebra.

Natalie Stewart 59 pages, comments welcome http://arxiv.org/abs/2301.02636v3 2025-04-02T19:09:32Z 2023-01-06T18:29:26Z

We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite delooping in terms of a tensor product of banded types, which are the appropriate notion of torsor for a central type. Our constructions are carried out in homotopy type theory, and therefore hold in any $\infty$-topos. Even when interpreted into the $\infty$-topos of spaces, our approach to constructing these deloopings is new. Along the way, we further develop the theory of H-spaces in homotopy type theory, including their relation to evaluation fibrations and Whitehead products. These considerations let us, for example, rule out the existence of H-space structures on the $2n$-sphere for $n > 0$. We also give a novel description of the moduli space of H-space structures on an H-space. Using this description, we generalize a formula of Arkowitz-Curjel and Copeland for counting the number of path components of this moduli space. As an application, we deduce that the moduli space of H-space structures on the $3$-sphere is $\Omega^6 \mathbb{S}^3$.

Ulrik Buchholtz J. Daniel Christensen Jarl G. Taxerås Flaten Egbert Rijke 10.1016/j.jpaa.2025.107963 v1: 22 pages; v2: 25 pages, with many improvements and additions; v3: 27 pages, accepted version to appear in JPAA Journal of Pure and Applied Algebra 229(6) (2025), 107963, 31 pages http://arxiv.org/abs/2404.16681v3 2025-04-02T17:47:18Z 2024-04-25T15:32:15Z

This is the first in a sequence of articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. In this paper we lay the groundwork by defining a new class of cohomology operations over $\mathbb F_p$ called cotriple products, generalising Massey products. We compute the secondary cohomology operations for a strictly commutative dg-algebra and the obstruction theories these induce, constructing several counterexamples to characteristic 0 behaviour, one of which answers a question of Campos, Petersen, Robert-Nicoud and Wierstra. We construct some families of higher cotriple products and comment on their behaviour. Finally, we distingush a subclass of cotriple products that we call higher Steenrod operations and conclude with our main theorem, which says that $E_\infty$-algebras can be rectified if and only if the higher Steenrod operations vanish coherently.

Oisín Flynn-Connolly To appear in Algebraic and Geometric Topology; 24 pages; minor revision http://arxiv.org/abs/2504.01810v1 2025-04-02T15:16:00Z 2025-04-02T15:16:00Z

We construct a parametrized version of scissors congruence $K$-theory of manifolds, which in particular gives a topologized version of the scissors congruence $K$-theory of oriented manifolds, and we describe this spectrum as mediating between the cobordism category and usual algebraic $K$-theory of spaces. We show that on $\pi_0$, the scissors congruence $K$-theory of oriented manifolds agrees with a version of the cobordism category where we allow free boundaries.

Mona Merling George Raptis Julia Semikina 30 pages. Comments welcome! http://arxiv.org/abs/2503.16267v2 2025-04-02T11:09:24Z 2025-03-20T15:59:38Z

In this paper, we compute the concordance inertia group of the product $M \times \mathbb{S}^k$, where $M$ is a simply connected, closed, smooth 6-manifold, for $1 \leq k \leq 10$, using known low-dimensional computations of the stable homotopy groups of spheres. Specifically, for $M = \mathbb{C}P^3$, we determine the inertia group of $\mathbb{C}P^3 \times \mathbb{S}^k$ for $2 \leq k \leq 7, k \neq 6$, and establish a diffeomorphism classification of all smooth manifolds homeomorphic to $\mathbb{C}P^3 \times \mathbb{S}^k$ for $1 \leq k \leq 7$.

Samik Basu Ramesh Kasilingam Ankur Sarkar 34 pages. The Abstract and title have been changed. Comments are welcome http://arxiv.org/abs/2504.01436v1 2025-04-02T07:42:37Z 2025-04-02T07:42:37Z

In this expository note, recent results of Kishimoto and Matsushita on triangulated manifolds are linked to the classical criterion on the normal Stiefel-Whitney classes for existence of an embedding of a smooth closed manifold into Euclidean space of given dimension. We also look back at Atiyah's K-theoretic condition for the existence of a smooth embedding.

M. C. Crabb http://arxiv.org/abs/2410.03862v2 2025-04-01T20:21:04Z 2024-10-04T18:51:44Z

We propose a modification of the Mapper algorithm that removes the assumption of a single resolution scale across semantic space and improves the robustness of the results under change of parameters. Our work is motivated by datasets where the density in the image of the Morse-type function (the lens-space density) varies widely. For such datasets, tuning the resolution parameter of Mapper is difficult because small changes can lead to significant variations in the output. By improving the robustness of the output under these variations, our method makes it easier to tune the resolution for datasets with highly variable lens-space density. This improvement is achieved by generalising the type of permitted cover for Mapper and incorporating the lens-space density into the cover. Furthermore, we prove that for covers satisfying natural assumptions, the graph produced by Mapper still converges in bottleneck distance to the Reeb graph of the Rips complex of the data, while possibly capturing more topological features than a standard Mapper cover. Finally, we discuss implementation details and present the results of computational experiments. We also provide an accompanying reference implementation.

Kaleb D. Ruscitti Leland McInnes 35 pages, 9 figures http://arxiv.org/abs/2212.01885v3 2025-04-01T19:38:09Z 2022-12-04T18:27:48Z

Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the Andr\'{e}-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$ take value. Given a map of simplicial categories $\phi:\mathcal{Y}\rightarrow P^{(n-1)} \mathcal{X}$ into a Postnikov section of $\mathcal{X}$, we use a homotopy colimit decomposition of $\mathcal{Y}$ to study the obstruction to lifting $\phi$ to $P^{(n)}\mathcal{X}$. In particular, an explicit description of this obstruction for the boundary of a cube can be used to recover various higher homotopy invariants of $\mathcal{X}$.

David Blanc Nicholas Meadows 10.4310/HHA.2025.v27.n1.a9 Article appears in HHA Vol. 27 (2025) pg 147-177 http://arxiv.org/abs/2504.01113v1 2025-04-01T18:30:42Z 2025-04-01T18:30:42Z

Multiparameter persistent homology is a generalization of classical persistent homology, a central and widely-used methodology from topological data analysis, which takes into account density estimation and is an effective tool for data analysis in the presence of noise. Similar to its classical single-parameter counterpart, however, it is challenging to compute and use in practice due to its complex algebraic construction. In this paper, we study a popular and tractable invariant for multiparameter persistent homology in a statistical setting: the multiparameter persistence landscape. We derive a functional central limit theorem for multiparameter persistence landscapes, from which we compute confidence bands, giving rise to one of the first statistical inference methodologies for multiparameter persistence landscapes. We provide an implementation of confidence bands and demonstrate their application in a machine learning task on synthetic data.

Inés García-Redondo Anthea Monod Qiquan Wang 11 pages, 1 figure http://arxiv.org/abs/2504.01003v1 2025-04-01T17:40:20Z 2025-04-01T17:40:20Z

We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.

Scott Balchin 18 pages, comments welcome! http://arxiv.org/abs/2503.23399v2 2025-04-01T15:18:19Z 2025-03-30T11:12:18Z

We study the mod $p$ cohomology ring of the classifying space $BPU(p)$ of the projective unitary group $PU(p)$, when $p$ is an odd prime. We prove a mod $p$ formula analogous to a formula of Vistoli for the integral cohomology ring of $BPU(p)$. As an application, we give a simple topological proof of Vistoli's formula.

Feifei Fan 9 pages http://arxiv.org/abs/2112.05805v2 2025-04-01T10:04:19Z 2021-12-10T19:50:19Z

We examine the Moore complex of the Delta-group structure related to the pure braid groups and introduced by Berrick, Cohen, Wong, and Wu. We prove that the cycle and the boundary groups are invariant under all automorphisms of the pure braid groups, and thereby, we extend the results of Li and Wu on the reflection automorphism. We conclude that there is an induced action of all automorphisms of the pure braid groups on the homotopy groups of the two-sphere. Besides, we compute this action for a small number of strands.

Ilya Alekseev Vasily Ionin Mikhail Mikhailov To appear in Homology, Homotopy and Applications; 17 pages, 5 figures; v2: minor revision