https://arxiv.org/api/kZFTu3oox3i07ODbyKZgzGxGvTw 2026-03-20T14:29:23Z 17660 75 15 http://arxiv.org/abs/2008.00876v3 2026-03-11T15:47:35Z

Operadic tangent cohomology generalizes the existing cohomology theories of Chevalley--Eilenberg, Hochschild, and Harrison to address the deformation theory of general types of algebras through gadgets known as deformation complexes. The cohomology of these is in general very non-trivial to compute, and in this paper we complement the existing computational techniques by producing a spectral sequence that converges to the operadic cohomology of a fixed algebra. Our main technical tool is that of filtrations arising from towers of cofibrations of algebras, which play the same role cell attaching maps and skeletal filtrations do for topological spaces. As an application, we consider the rational Adams--Hilton construction on topological spaces, where our spectral sequence gives rise to a seemingly new and completely algebraic description of the Serre spectral sequence, which we also show is multiplicative and converges to the Chas--Sullivan loop product. We also consider relative Sullivan--de Rham models of a fibration $p$, where our spectral sequence converges to the rational homotopy groups of the identity component of the space of self-fiber-homotopy equivalences of $p$.

2020-08-03T13:53:23Z José Moreno-Fernández Pedro Tamaroff http://arxiv.org/abs/2409.10991v2 2026-03-11T12:02:46Z

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as $\mathcal{O}$ varies, and generalise these results to the level of Morita $(\infty,2)$-categories. Applied to the ${\rm BO}(d)$-framed $E_d$-operad, this extends Goodwillie-Weiss' embedding calculus and its layer identification to the level of bordism categories. Applied to other variants of the $E_d$-operad, it yields new versions of embedding calculus, such as one for topological embeddings, based on ${\rm BTop}(d)$, or one similar to Boavida de Brito-Weiss' configuration categories, based on ${\rm BAut}(E_d)$. In addition, we prove a delooping result in the context of embedding calculus, establish a convergence result for topological embedding calculus, improve upon the smooth convergence result of Goodwillie, Klein, and Weiss, and deduce an Alexander trick for homology 4-spheres.

2024-09-17T08:50:05Z 98 pages, 3 figures, to appear in Journal of Topology Manuel Krannich Alexander Kupers http://arxiv.org/abs/2603.10626v1 2026-03-11T10:39:50Z

We compute the $RO(C_p \times C_p)$-graded Bredon cohomology of equivariant universal and classifying spaces associated to families of subgroups, with coefficients in the constant Mackey functor $\underline{\mathbb{F}_p}$. An explicit description of the resulting coefficient ring, including its multiplicative structure, is obtained. These computations are then applied to the study of lifts of cohomology operations via the Bredon cohomology of equivariant complex projective spaces.

2026-03-11T10:39:50Z Comments are welcome Surojit Ghosh Ankit Kumar http://arxiv.org/abs/2603.10372v1 2026-03-11T03:35:35Z

We review the definition and main properties of Kalinin effectivity and describe methods for constructing effective spaces together with several examples. We analyze the Kalinin effectivity of wonderful compactifications and prove that the wonderful compactifications of hyperplane arrangements and of configuration spaces associated to Kalinin effective compact complex manifolds are themselves Kalinin effective. As an application, we show that the Deligne-Mumford space of real rational curves with marked points is effective. Finally, we apply Kalinin effectivity to study Smith-Thom maximality for Hilbert squares.

2026-03-11T03:35:35Z 39 pages, no figures Viatcheslav Kharlamov Rareş Răsdeaconu http://arxiv.org/abs/2603.07854v2 2026-03-10T23:10:20Z

We provide a simplified approach to the the stable Hopf invariant. We provide short elementary proofs of the Cartan Formula, the Composition Formula, and the Transfer formula. In addition, when $π$ is a discrete group, we show how to extend these results to the stable category of $π$-spaces.

2026-03-09T00:06:40Z Added references John R. Klein http://arxiv.org/abs/2508.12914v3 2026-03-10T17:05:26Z

In this paper, we introduce discrete approximate circle bundles, a class of objects designed to serve as the data science analog of circle bundles from algebraic topology. We show that, under appropriate conditions, one can meaningfully and stably identify a discrete approximate circle bundle with an isomorphism class of true circle bundles. We also describe two cohomology invariants which uniquely determine the isomorphism class of a circle bundle, and provide algorithms to compute them given a discrete approximate representative. Finally, we propose a novel methodology for coordinatization and dimensionality reduction of circle bundle data. To illustrate the practical utility and viability of our algorithms, we present applications to both real and synthetic datasets from computer vision (e.g., modeling optical flow). The paper is accompanied by an open-source software package, with full documentation and tutorials, enabling reproducible implementation of the proposed algorithms and experiments, including those used to generate the figures in this paper.

2025-08-18T13:22:43Z Brad Turow Jose A. Perea http://arxiv.org/abs/2603.09903v1 2026-03-10T16:56:31Z

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories enriched in $(\infty,\infty)$-categories under the Gray tensor product. The homotopy posets of an $(\infty,\infty)$-category are indexed by boundaries of categorical disks; in particular, there is a fundamental poset for each pair of objects, which we regard as a oriented point where the source and target objects have opposite orientation. In contrast to the situation in topology, weakly contractible geometric building blocks such as oriented polytopes typically have nontrivial homotopy posets. The homotopy posets assemble to form an oriented analogue of the long exact sequence of a fibration and form the layers of a categorical Postnikov tower, which converges for any $(\infty,n)$-category but not for general $(\infty,\infty)$-categories. We show that the full subcategory consisting of the Postnikov complete $(\infty,\infty)$-categories is obtained by inverting the coinductive equivalences and canonically identifies with the limit of the categories of $(\infty,n)$-categories taken along the truncation functors. We also study truncated morphisms in general oriented categories and connected morphisms in presentable oriented categories.

2026-03-10T16:56:31Z David Gepner Hadrian Heine http://arxiv.org/abs/2503.02839v2 2026-03-10T16:29:47Z

We show that the $\infty$-category of normed algebras in genuine $G$-spectra, as introduced by Bachmann-Hoyois, is modelled by strictly commutative algebras in $G$-symmetric spectra for any finite group $G$. We moreover provide an analogous description of Schwede's ultra-commutative global ring spectra in higher categorical terms. Using these new descriptions, we exhibit the $\infty$-category of ultra-commutative global ring spectra as a partially lax limit of the $\infty$-categories of genuine $G$-spectra for varying $G$, in analogy with the non-multiplicative comparison of Nardin, Pol, and the second author. Along the way, we establish various new results in parametrized higher algebra, which we hope to be of independent interest.

2025-03-04T18:04:52Z Minor revision in response to a referee report. 107 pages Tobias Lenz Sil Linskens Phil Pützstück http://arxiv.org/abs/2603.09618v1 2026-03-10T12:58:26Z

We construct a fractured structure, in the sense of Lurie, on the $\infty$-topos of condensed anima. This fractured structure allows us to better comprehend various properties of condensed anima - we use it to exhibit an explicit collection of jointly conservative points for condensed anima. To rule out further candidates for fractured structures, we analyze limits in the category of extremally disconnected spaces. In particular, we show that it does not admit all fibers, answering a question from Clausen.

2026-03-10T12:58:26Z 17 pages, comments very welcome! Nima Rasekh Qi Zhu http://arxiv.org/abs/2603.09491v1 2026-03-10T10:50:20Z

Topological methods have emerged as valuable tools for analyzing the structural properties of directed graphs, particularly connectome data in computational neuroscience. This paper investigates the construction of topological spaces from combinatorial data of directed graphs using the polyhedral product functor, with particular emphasis on understanding their homotopy type, which is also of independent interest in topology and combinatorics. Specifically, we compute the homotopy type of the moment-angle complex over the face poset of the complex of injective words. This reveals a tight connection between homotopy and combinatorics: its homotopy type is determined by the $h$-vector of complexes of injective words. We also construct an associated homotopy fibration of polyhedral products associated to ordered simplicial complexes, which in a way generalizes the analogous homotopy fibration for polyhedral products over abstract simplicial complexes.

2026-03-10T10:50:20Z Pedro Conceição http://arxiv.org/abs/2603.09407v1 2026-03-10T09:23:08Z

Topological complexity is a numerical homotopy invariant that measures the instability of motion planning in a space. To study the topological complexity of non-simply connected spaces, Costa and Farber introduced a cohomology class whose nilpotency gives a lower bound of topological complexity. Farber and Mescher constructed a spectral sequence that evaluates this nilpotency without direct computation. We extend these results with respect to a group homomorphism. As an application, we determine the topological complexity of some 3-manifolds with nonabelian fundamental group.

2026-03-10T09:23:08Z 14 pages Yuki Minowa http://arxiv.org/abs/2603.09406v1 2026-03-10T09:22:21Z

To a marked simplicial set one can associate its path chain complex, and define its homology to be the homology of this complex, inspired by path homology theories for directed graphs, quivers, and marked categories. Given a marked simplicial set with a simplicial group action preserving the markings and degenerate 1-simplices, together with a twisting function, we define a marked twisted Cartesian product using the box product. Classically, Szczarba's twisted shuffle provides a quasi-isomorphism between the chain complex of a twisted Cartesian product and the corresponding twisted tensor product. In this paper, we prove that in the marked setting, this map restricts to a chain isomorphism on path chain complexes. As an application, for directed graphs with group actions, we obtain a natural Borel construction as a special case of marked twisted Cartesian products. Equivariant path homology is defined as the homology of this construction and is computed by an explicit twisted tensor product.

2026-03-10T09:22:21Z 24 pages Xin Fu Shing-Tung Yau http://arxiv.org/abs/2505.06704v2 2026-03-10T04:00:10Z

This paper expresses the Chern character for topological K-theory based on the formulation of the family of Fredholm operators, by using the points at which the Fredholm operator becomes singular (Fermi points). In particular, we explain that the odd Chern character can be thought of as a generalization of the spectral flow. As applications, we give elementary proofs of the evenness of the edge index and the bulk-edge correspondence for four-dimensional topological insulators with time-reversal symmetry of class AI.

2025-05-10T16:59:09Z 49 pages, 7 figures Kyouhei Horie http://arxiv.org/abs/2603.08527v1 2026-03-09T16:00:55Z

In the present paper, taking a dynamical point on view, we study the growth rate and asymptotic behavior of the sequences of the Reidemeister numbers and the sequences of the Reidemeister and the Nielsen coincidence numbers. We also prove the Gauss congruences for the sequence $\{R(\varphi^n,ψ^n)\}$ of the Reidemeister coincidence numbers of the tame pair $(\varphi,ψ)$ of endomorphisms of a torsion-free nilpotent group~$G$ of finite Prüfer rank. Furthermore, we prove the rationality of the Nielsen coincidence zeta function, the Gauss congruences for the sequence $\{N(f^n, g^n)\}$ of the Nielsen coincidence numbers and show that the growth rate exists for the sequence \{$N(f^n, g^n)\}$ of tame pair of maps $(f,g)$ of a compact nilmanifold to itself.

2026-03-09T16:00:55Z 25 pages Alexander Fel'shtyn Mateusz Slomiany http://arxiv.org/abs/2410.09860v2 2026-03-09T13:37:22Z

A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. Almost embeddings (more precisely, their higher-dimensional analogues) naturally appear in combinatorial geometry, in topological combinatorics, and in studies of embeddings. We prove some relations between the invariants. We demonstrate the connection of some of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants. We present some ideas of algebraic and geometric topology in a language accessible to non-topologists (in particular, to students). All the necessary definitions are recalled. However elementary, this paper is motivated by frontline of research; there are some conjectures and open problems.

2024-10-13T14:42:02Z 38 pages, many figures, in Russian language. The paper is rewritten to improve exposition E. Alkin A. Miroshnikov A. Skopenkov