http://arxiv.org/api/VgwxE7iv76s6hEpo4zBQjcBvuUw 2025-05-10T00:00:00-04:00 16568 300 15 http://arxiv.org/abs/2503.15103v1 2025-03-19T11:03:33Z 2025-03-19T11:03:33Z

Data science offers a powerful tool to understand objects in multiple sciences. In this paper we utilize concept of data science, most notably topological data analysis, to extend our understanding of knot theory. This approach provides a way to extend mathematical exposition of various invariants of knots towards understanding their relations in statistical and cumulative way. Paper included examples illustrating how topological data analysis can illuminate structure and relations between knot invariants, state new hypothesis, and gain new insides into long standing conjectures.

Pawel Dlotko Davide Gurnari Radmila Sazdanovic http://arxiv.org/abs/2410.17760v2 2025-03-19T09:34:15Z 2024-10-23T10:56:05Z

This overview article makes the case for how topological concepts can enrich research in machine learning. Using the Euler Characteristic Transform (ECT), a geometrical-topological invariant, as a running example, I present different use cases that result in more efficient models for analyzing point clouds, graphs, and meshes. Moreover, I outline a vision for how topological concepts could be used in the future, comprising (1) the learning of functions on topological spaces, (2) the building of hybrid models that imbue neural networks with knowledge about the topological information in data, and (3) the analysis of qualitative properties of neural networks. With current research already addressing some of these aspects, this article thus serves as an introduction and invitation to this nascent area of research.

Bastian Rieck http://arxiv.org/abs/2503.14865v1 2025-03-19T03:42:36Z 2025-03-19T03:42:36Z

We prove that any digraph Brown functor -- i.e. a contravariant functor from the homotopy category of finite directed graphs to the category of abelian groups, satisfying the triviality axiom, the additivity axiom, and the Mayer-Vietoris axiom -- is representable. Furthermore, we show that the first path cohomology functor is a digraph Brown functor.

Hsuan-Yi Liao Zachary McGuirk Dang Khoa Nguyen Byungdo Park 27 pages, 4 figures. arXiv admin note: significant text overlap with a part of arXiv:2003.07426 http://arxiv.org/abs/2503.14659v1 2025-03-18T19:08:49Z 2025-03-18T19:08:49Z

Given a functor $\varphi : \mathcal{C} \to \mathcal{D}$ between two small categories, there is a homotopy equivalence $\kappa: hocolim _{\mathcal{D}} N(\varphi /-) \to N\mathcal{C}$ where $N(\varphi/-)$ is the functor which sends every object $d$ in $\mathcal{D}$ to the nerve of the comma category $\varphi/d$. We prove that the homotopy equivalence $\kappa$ induces an isomorphism on cohomology with coefficients in any coefficient system. As a consequence, we obtain a version of Quillen's Theorem A for the Thomason cohomology of categories. We also construct a spectral sequence for the Thomason cohomology of the Grothendieck construction $\int _{\mathcal{D}} F$ of a functor $F: \mathcal{D} \to Cat$ using the isomorphism in the main theorem.

Mehmet Kirtisoglu Ergun Yalcin 24 pages http://arxiv.org/abs/2303.06437v2 2025-03-18T17:05:11Z 2023-03-11T16:20:19Z

We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal B$. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of $\infty$-topoi, but also a description in terms of the underlying sheaves of $\infty$-categories, and we prove a number of structural results about these objects. Furthermore, we show that the $\infty$-category of topoi internal to $\mathcal B$ is equivalent to the $\infty$-category of $\infty$-topoi over $\mathcal B$, and use this result to derive a formula for the pullback of $\infty$-topoi. Lastly, we use our theory to relate smooth geometric morphisms of $\infty$-topoi to internal locally contractible topoi.

Louis Martini Sebastian Wolf Has been merged with arXiv:2209.05103 http://arxiv.org/abs/2504.01021v1 2025-03-18T16:46:49Z 2025-03-18T16:46:49Z

This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure agrees with the combinatorial graded intersection algebra (graded by codimension) defined by transversality on pairs of `cuboidal chains' which are in general position. In order to define an intersection of cuboids which are not necessarily in general position, the boundaries of the cuboids are considered to be `wiggled' by a distance small compared with the lattice parameter, according to a suitable probability distribution and then almost always the wiggled cuboids will be in general position, producing a transverse intersection with new probability distributions on the bounding sides. In order to make a closed theory, each geometric cuboid appears in an infinite number of forms with different probability distributions on the wiggled boundaries. The resulting structure is commutative, associative and satisfies the product rule with respect to the natural boundary operator deduced from the geometric boundary of the wiggled cuboids. This TIA can be viewed as a combinatorial analogue of differential forms in which the continuity of space has been replaced by a lattice with corrections to infinite order. See the comparison to Whitney forms at the end of the paper. For application to fluid algebra we also consider the same construction starting with the $2h$ cubical complex instead of the $h$ cubical complex. The adjoined higher order elements will be identical to those required in the $h$ cubical complex. The $d$-dimensional theory is a tensor product of $d$ copies of the one-dimensional theory.

Daniel An Ruth Lawrence Dennis Sullivan 23 pages, 13 figures http://arxiv.org/abs/2503.14349v1 2025-03-18T15:30:16Z 2025-03-18T15:30:16Z

For the nontrivial action by the cyclic group $C_3$ of order $3$ on the graded polynomial ring $\mathbb{F}_2[a,b]$, we classify the $C_3$-invariant parameter ideals that are closed under Steenrod operations. The classification has applications to free actions by the Klein four-group $\mathbb{Z}/2\times\mathbb{Z}/2$ on products of two spheres (and more generally, finite CW complexes with four-dimensional mod $2$ homology) that extend to actions by the alternating group $A_4=(\mathbb{Z}/2\times\mathbb{Z}/2)\rtimes C_3$.

Henrik Rüping Marc Stephan 11 pages http://arxiv.org/abs/2503.14039v1 2025-03-18T09:01:59Z 2025-03-18T09:01:59Z

Results of Macdonald and Dold from the 1960s and '70s expressing the Lefschetz numbers of symmetric powers of a self-map of a compact ENR in terms of the Lefschetz numbers of iterates of the map are extended using the notion of a Lefschetz-polynomial functor. Configuration spaces and Borsuk-Ulam symmetric products, as well as symmetric powers, are treated as examples of the general method.

M. C. Crabb http://arxiv.org/abs/2503.14019v1 2025-03-18T08:27:57Z 2025-03-18T08:27:57Z

We introduce the monoidal Rips filtration, a filtered simplicial set for weighted directed graphs and other lattice-valued networks. Our construction generalizes the Vietoris-Rips filtration for metric spaces by replacing the maximum operator, determining the filtration values, with a more general monoidal product. We establish interleaving guarantees for the monoidal Rips persistent homology, capturing existing stability results for real-valued networks. When the lattice is a product of totally ordered sets, we are in the setting of multiparameter persistence. Here, the interleaving distance is bounded in terms of a generalized network distance. We use this to prove a novel stability result for the sublevel Rips bifiltration. Our experimental results show that our method performs better than flagser in a graph regression task, and that combining different monoidal products in point cloud classification can improve performance.

Nello Blaser Morten Brun Odin Hoff Gardaa Lars M. Salbu 29 pages, 2 figures http://arxiv.org/abs/2402.15714v3 2025-03-18T01:35:11Z 2024-02-24T04:36:33Z

Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the (non-)similarities between the A-homotopy and ordinary homotopy theories through explicit constructions. More precisely, we define mapping fiber graphs and study their basic properties yielding, under a technical condition, a discrete analogous of Puppe sequence in a naive discrete homotopy theory.

So Yamagata 14 pages, 5 figures. Typographical errors explanations were corrected throughout. Any comments are welcomed http://arxiv.org/abs/2503.13748v1 2025-03-17T22:16:06Z 2025-03-17T22:16:06Z

We consider a compact Lie group as a framed manifold equipped with the left invarianat framing $\mathscr{L}$. In a previous paper we have proved that the Adams $e_\mathbb{C}$-invariant value of $SU(2n)$ $(n\ge 2)$ gives a generator of the image of $e_\mathbb{C}$ by twisting $\mathscr{L}$ by a certain map. In this note we show that in a similar way we can obtain analogous results for $Sp(4n+1)$ and $Spin(8n-2)$ $(n\ge 1)$.

Haruo Minami 14 pages; is based on the method previously applied to $SU(2n)$ http://arxiv.org/abs/2503.13700v1 2025-03-17T20:17:13Z 2025-03-17T20:17:13Z

We define a notion of categorical first order deformations for (enhanced) triangulated categories. For a category $\mathcal{T}$, we show that there is a bijection between $\operatorname{HH}^2(\mathcal{T})$ and the set of categorical deformations of $\mathcal{T}$. We show that in the case of curved deformations of dg algebras considered in arXiv:2406.04945, the $1$-derived category of the deformation (introduced in arXiv:24020.8660) is a categorical deformation of the derived category of the base; the Hochschild class identified by this deformation is shown to restrict to the class defining the deformation of the algebra. As an application, we give a conceptual proof of the fact that (for a smooth base) the filtered derived category of a dg deformation yields a categorical resolution of the classical derived category.

Alessandro Lehmann Wendy Lowen 33 pages, no figures http://arxiv.org/abs/2503.13663v1 2025-03-17T19:10:37Z 2025-03-17T19:10:37Z

We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete Eilenberg-Zilber variant excluding the reversals and diagonals. The category admits as monoidal generators all functions between the singleton and two-element ordinals and all monotone surjections from finite Boolean lattices to the two-element ordinal. Consequently, morphisms in the minimal symmetric monoidal variant of the cube category containing coconnections of one kind can be characterized as the interval-preserving semilattice homomorphisms between finite Boolean lattices. There exists a model structure on our variant of cubical sets that is at once Quillen equivalent to and left induced from the classical model structure on simplicial sets along triangulation. This model structure is proper and hence its fibrations interpret Martin-Lof dependent types.

Sanjeevi Krishnan Emily Rudman 31pp http://arxiv.org/abs/2311.08051v3 2025-03-17T17:19:30Z 2023-11-14T10:17:33Z

We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal $\infty$-categories in the target. In particular, our result implies that for any $\infty$-topos, the global sections functor is proper if and only if it preserves filtered colimits. As an application, we show that every proper and separated map of topological spaces gives rise to a proper morphism between the associated sheaf $\infty$-topoi, generalising a result of Lurie. Along the way, we develop some aspects of the theory of localic higher topoi internal to an $\infty$-topos, which might be of independent interest.

Louis Martini Sebastian Wolf The appendices have been removed and merged into arXiv:2209.05103 http://arxiv.org/abs/2408.11157v2 2025-03-17T12:59:28Z 2024-08-20T19:28:09Z

We construct a natural morphism $\rho$ from the nerve $\text{MC}_\bullet(L) = \text{MC}(\Omega_\bullet \widehat{\otimes} L)$ of a pronilpotent curved L${}_\infty$-algebra $L$ to the simplicial subset $\gamma_\bullet(L) = \text{MC}(\Omega_\bullet \widehat{\otimes} L,s_\bullet)$ of Maurer--Cartan element satisfying the Dupont gauge condition. This morphism equals the identity on the image of the inclusion $\gamma_\bullet(L) \hookrightarrow \text{MC}_\bullet(L)$. The proof uses the extension of Berglund's homotopical perturbation theory for L${}_\infty$-algebras to curved L${}_\infty$-algebras. The morphism $\rho$ equals the holonomy for nilpotent Lie algebras. In a sequel to this paper, we use a cubical analogue $\rho^\square$ of $\rho$ to identify $\rho$ with higher holonomy for semiabelian curved \Linf-algebras.

Ezra Getzler Northwestern University 18 pages; proof that curved L-infinity algebras is corrected (in the original version, only pullbacks of strict fibrations were constructed - there are many fibrations that are not strict, for example general isomorphisms)