https://arxiv.org/api/5rRr7undg3VJsmQuuqAZqEuLmgE 2026-03-18T08:45:42Z 17646 15 15 http://arxiv.org/abs/2603.15010v1 2026-03-16T09:15:52Z

Thom polynomials are universal cohomological obstructions to the appearance of singularities of given types in differentiable maps. As an application, various invariants of immersions have been expressed in terms of singularities of extensions of immersions (known as singular Seifert surfaces). To place these results in a unified framework, we aim in this paper to establish the foundation of a relative version of Thom polynomial theory. Our result consists of three parts. (1) We introduce the notion of relative Thom polynomials, which are relative cohomological obstructions for extensions of prescribed maps between codimension-zero submanifolds that avoid singularities of given types. (2) We show a structure theorem for relative Thom polynomials when the prescribed map is a framed immersion. It expresses them as the sum of the naive substitution of Kervaire's relative characteristic classes into the absolute Thom polynomial and a correction term. As a consequence, the correction term forms a regular homotopy invariant of the prescribed map. (3) We determine correction terms in several cases, not only reinterpreting earlier works as instances of relative Thom polynomials but also applying our framework to the type $A_1$. We observe that these terms vanish or consist of classical invariants and their variants.

2026-03-16T09:15:52Z 32 pages, 2 tables Masato Tanabe http://arxiv.org/abs/2603.14831v1 2026-03-16T05:23:31Z

We construct a cellular sheaf from any feedforward ReLU neural network by placing one vertex for each intermediate quantity in the forward pass and encoding each computational step - affine transformation, activation, output - as a restriction map on an edge. The restricted coboundary operator on the free coordinates is unitriangular, so its determinant is $1$ and the restricted Laplacian is positive definite for every activation pattern. It follows that the relative cohomology vanishes and the forward pass output is the unique harmonic extension of the boundary data. The sheaf heat equation converges exponentially to this output despite the state-dependent switching introduced by piecewise linear activations. Unlike the forward pass, the heat equation propagates information bidirectionally across layers, enabling pinned neurons that impose constraints in both directions, training through local discrepancy minimization without a backward pass, and per-edge diagnostics that decompose network behavior by layer and operation type. We validate the framework experimentally on small synthetic tasks, confirming the convergence theorems and demonstrating that sheaf-based training, while not yet competitive with stochastic gradient descent, obeys quantitative scaling laws predicted by the theory.

2026-03-16T05:23:31Z 43 pages, 21 figures Vicente Bosca Robert Ghrist http://arxiv.org/abs/2603.14788v1 2026-03-16T03:38:37Z

For positive integers $k$, $n$, and $g$ with $k\geq2$, we give a closed-form expression for the $k$-th $\mathbb{Z}_2$-zero-divisor cup length $\mathsf{zcl}_k(SP^n(N_g))$ of the $n$-th symmetric product $SP^n(N_g)$ of the closed non-orientable surface $N_g$ of genus $g$. This allows us to estimate, and in some cases, completely determine, the $k$-th sequential topological complexity $\mathsf{TC}_k(SP^n(N_g))$, as well as the Lusternik--Schnirelmann category of the homotopy cofiber of the $k$-th diagonal map $SP^n(N_g) \to (SP^n(N_g))^k$. Our results recover previously known facts for even-dimensional real projective spaces ($g=1$) and closed non-orientable surfaces ($n=1$). In addition, we show that, as $g$ grows, $\mathsf{TC}_2(SP^n(N_g))$ behaves in a different way as all other invariants $\mathsf{TC}_k(SP^n(N_g))$ do. Likewise, as $k$ grows, we describe an eventual maximal-possible linear growth of $\mathsf{zcl}_k(SP^n(N_g))$, which allows us to prove the rationality conjecture of Farber and Oprea for the TC-generating function of $SP^n(N_g)$.

2026-03-16T03:38:37Z 29 pages. Comments welcome! Jesús González Ekansh Jauhari http://arxiv.org/abs/2303.10822v6 2026-03-16T03:28:43Z

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy groups of the homotopy colimit of a classifying space diagram, with the dimension shifted by 1. Bousfield and Kan proved an isomorphism between the homotopy groups of an Abelian simplicial group and the homology groups of this simplicial group. We generalize this to non-Abelian simplicial groups. We also develop a method for finding a non-zero homotopy group of smallest dimension for the homotopy colimit of classifying spaces. For a group diagram over a free category with a zero colimit, we obtain a criterion for the isomorphism of the first non-Abelian and Abelian homology groups.

2023-03-20T01:37:01Z 26 pages Ahmet A. Husainov http://arxiv.org/abs/2603.14440v1 2026-03-15T15:32:26Z

The electric Gauss law in 11D SuGra is famously non-linear, whence its flux quantization must be in nonabelian cohomology. We have previously shown that the minimal admissible choice is 4-Cohomotopy, which in the presence of magnetized M5-probes takes its relative twistorial form. Here we discuss how this situation is further refined in the presence of M-string probes on the M5-worldvolume. Based on the superspace formulation of 11D SuGra, we find the nested Bianchi identities by iterating the superembedding construction for super p-branes. The resulting probe brane hierarchy (M1 on magnetized M5 in 11D bulk) turns out to admit flux quantization in a doubly-relative form of twisted Cohomotopy, classified by the factorization of the quaternionic Hopf fibration through the twistor fibration. The further equivariant refinement of this cohomology theory reduces on A-type singularities to a form of relative 2-Cohomotopy which geometrically engineers Chern-insulator phases on $\mathrm{M5}\cap \mathrm{A}_n$, with the M-string playing the role of gapped nodal lines.

2026-03-15T15:32:26Z 25 pages, 4 figures Pinak Banerjee Hisham Sati Urs Schreiber http://arxiv.org/abs/2511.09189v4 2026-03-15T04:59:28Z

Any $C^*$-algebra can be regarded as a generalization of locally compact, Hausdorff topological space $\mathcal X$. From the commutative commutative Gelfand-Naĭmark theorem it follows that the spectrum of any commutative $C^*$-algebra is a locally compact, Hausdorff space which have the exact information of the $C^*$-algebra. Here we consider a Gelfand spaces of $C^*$-algebras which can be regarded as a generalization of the spectrum. In case of commutative $C^*$-algebras the Gelfand space coincides with the spectrum. Generally Gelfand spaces are not Hausdorff and provide more detailed information of noncommutative $C^*$-algebras. Sometimes the Gelfand space contains the full information of noncommutative $C^*$-algebra. Usage of Gelfand spaces of $C^*$-algebra enables us to define some $C^*$-algebraic analogs of several notions of the classical algebraic topology.

2025-11-12T10:37:33Z 111 pages, 59 references Petr Ivankov http://arxiv.org/abs/2004.00572v2 2026-03-14T15:01:45Z

This is a companion paper to "Ellipsitomic associators". We provide a (m)operadic description of Enriquez's torsor of cyclotomic associators, as well as of its associated cyclotomic Grothendieck-Teichmüller groups.

2020-04-01T17:01:20Z 36 pages. Several pictures. v2: several typos corrected + added references. Submitted Damien Calaque Martin Gonzalez http://arxiv.org/abs/2409.16428v2 2026-03-13T21:48:07Z

We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The primary question we investigate is when the $S_\bullet$-construction of a squares category produces a 2-Segal space. We show that the answer to this question is affirmative when the squares category satisfies certain "stability" conditions.

2024-09-24T19:47:45Z Appendix removed; examples are now concentrated in a single section to improve readability; a comparison of the various relevant double-categorical structures was added in the last page Maxine E. Calle Maru Sarazola http://arxiv.org/abs/2603.13143v1 2026-03-13T16:32:44Z

The Mayer-Vietoris theorem is known for its wide applications, especially in determining homology. In fact, this theorem provides us with a long exact sequence, where the underlying homology groups fit in. However, this theorem does not provide an explicit way to compute homology. In this paper we prove an ``effective" version of the Mayer-Vietoris theorem using discrete Morse theory. Suppose, we have a Mayer-Vietoris type setup, i.e., let $X$ be a simplicial complex and $A$ and $B$ be two subcomplexes of $X$, such that $A \cup B=X$. Moreover, let $\mathcal{W}_A$, $\mathcal{W}_{B}$ and $\mathcal{W}_{A \cap B}$ be gradient vector fields on $A$, $B$ and $A \cap B$ respectively (which need not be ``coherent", i.e., they do not need to coincide on their intersection). Then, the main theorem of our paper provides an explicit way to compute the homology groups of $X$, using the combinatorial information regarding the trajectories of the aforementioned gradient vector fields, we do not even need to know the individual homology groups $H_{*}(A)$, $H_{*}(B)$ and $H_{*}(A \cap B)$. In principle, the homology of $X$ can always be computed explicitly using our theorem irrespective of the choice of the gradient vector fields. Further, if we choose the subcomplexes $A$ and $B$ wisely so that each of $A$, $B$ and $A \cap B$ admits an efficient gradient vector field, then the computation of the homology groups is considerably reduced.

2026-03-13T16:32:44Z 30 pages, 2 figures Sajal Mukherjee Pritam Chandra Pramanik Arundhati Rakshit http://arxiv.org/abs/2602.18926v2 2026-03-13T13:33:47Z

Let $\bk $ be a field of characteristic $p\geq 0$ and $X$ a simply connected finite CW complex. In this text, we prove that: {\sl if the cohomology algebra $H^*(X;\bk)$ is generated, as an algebra, by at least two linearly independent elements, then the sequence of Betti numbers $ \left( \dim H^n(LX;\bk)\right)_{n\geq 1 }$ grows unbounded.} This provides a complete solution of the closed geodesics problem.

2026-02-21T18:35:03Z Bitjong Ndombol http://arxiv.org/abs/2603.12980v1 2026-03-13T13:30:05Z

Let $E_n$ be Morava $E$-theory of height $n$. Let $R$ be a $p$-adically flat commutative ring spectrum. Then the Tate-valued Frobenius map endows $π_0 R$ with the structure of a $δ$-ring. On the other hand, we may form the $K(n)$-completed tensor product $L_{K(n)}(R \otimes E_n)$, which is a $K(n)$-local $E_n$-algebra. Then $π_0(L_{K(n)}(R \otimes E_n)) = LT_n \widehat{\otimes} π_0 R$ admits the structure of an algebra over the monad $\mathbb{T}(n)$ defined by Rezk. The $\mathbb{T}(n)$-algebra structure encodes the power operations of $L_{K(n)}(R \otimes E_n)$. In this paper we describe the $\mathbb{T}(n)$-algebra structure on $π_0(L_{K(n)}(R \otimes E_n))$.

2026-03-13T13:30:05Z 33 pages Yuval Lotenberg http://arxiv.org/abs/2603.12803v1 2026-03-13T09:07:13Z

Equivariant Loday constructions are a means for providing geometric interpretations of equivariant homology theories. They are usually constructed for a simplicial $G$-set and a $G$-Tambara functor. We study situations where -- depending on the isotropy subgroups occurring in the simplicial $G$-set -- one can work with $H$-Tambara functors for a suitable subgroup $H$ of $G$. We apply this to give an interpretation of Real Hochschild homology of discrete $E_σ$-rings as equivariant Loday constructions where we consider $2m$-gons with a geometrically defined action of the dihedral groups $D_{2m}$ for all $m \geq 1$. The action of symmetric groups on $1$-skeleta of permutohedra also gives examples with isotropy groups $C_2$.

2026-03-13T09:07:13Z Comments welcome! Ayelet Lindenstrauss Birgit Richter Foling Zou http://arxiv.org/abs/2602.15726v4 2026-03-13T02:52:42Z

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. On the module side, we use the Gülen-McCleary distance, a specialization of a metric introduced by Gülen and McCleary, defined by factoring two modules through a common apex poset via pairs of Galois insertions and measuring the maximal displacement in the index poset. This construction generalizes the interleaving distance in both the classical one-parameter and multiparameter settings, and yields an extended metric on isomorphism classes of $\mathbf{P}$-modules. On the homological side, we define a bottleneck distance between minimal projective resolutions by matching indecomposable projectives degreewise, with contractible cones playing the role of diagonal terms. Our main theorem shows that this resolution-level bottleneck distance is always bounded above by the Gülen-McCleary distance, providing a metric stability result formulated entirely at the level of modules and their minimal projective resolutions. We then treat persistence as an application. Passing to the interval poset and a kernel construction, we interpret persistence diagrams as minimal projective resolutions of kernel modules and obtain a corresponding stability inequality. In the one-parameter case this recovers classical bottleneck stability, while in the multiparameter setting it extends naturally to signed diagrams arising from minimal projective resolutions. Via a general relationship between minimal projective resolutions and Möbius inversion, these results can be interpreted as a stability theorem for Möbius homology, while remaining entirely phrased in the language of projective resolutions.

2026-02-17T17:02:01Z We have renamed the distance we called "Galois Transport Distance" to "Gülen-McCleary Distance" after Aziz Gülen and Alex McCleary who first introduced the concept. We have also removed our proof of the triangle inequality for this distance as it is already proved by them Hideto Asashiba Amit K. Patel http://arxiv.org/abs/2409.08957v2 2026-03-12T23:40:09Z

We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem for finite-type Lie $\infty$-algebras: Every finite-type, homologically and non-negatively graded $L_\infty$-algebra over $\mathbb{R}$ integrates to a finite-dimensional Lie $\infty$-group. As a corollary, our construction yields a new explicit finite-dimensional model for the string Lie 2-group.

2024-09-13T16:21:52Z 85 pages. Rewritten intro and minor edits to body of paper to improve exposition. Comments welcome Christopher L. Rogers Jesse Wolfson http://arxiv.org/abs/2412.20262v4 2026-03-12T22:35:32Z

Circuit algebras are a symmetric version of Jones's planar algebras. They originated in quantum topology as a framework for encoding virtual crossings. This paper extends existing results for modular operads to construct a graphical calculus and monad for general circuit algebras and prove an abstract nerve theorem. The proof relies on a subtle interplay between distributive laws and abstract nerve theory, and provides extra insights into the underlying structures. Oriented circuit algebras are equivalent to wheeled props and specialisations of the results to wheeled props follow as straightforward corollaries.

2024-12-28T20:31:54Z 57 pages, many figures and diagrams. Cleverref issue in V3 addressed, some other small changes since V3. Comments welcome. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557 Sophie Raynor