http://arxiv.org/api/4G8YpuJo0qjT6fGZv7Hz4Y9dTZY 2025-05-07T00:00:00-04:00 16559 180 15 http://arxiv.org/abs/2504.02049v2 2025-04-04T03:40:34Z 2025-04-02T18:13:22Z

Techniques for coordination of multi-agent systems are vast and varied, often utilizing purpose-built solvers or controllers with tight coupling to the types of systems involved or the coordination goal. In this paper, we introduce a general unified framework for heterogeneous multi-agent coordination using the language of cellular sheaves and nonlinear sheaf Laplacians, which are generalizations of graphs and graph Laplacians. Specifically, we introduce the concept of a nonlinear homological program encompassing a choice of cellular sheaf on an undirected graph, nonlinear edge potential functions, and constrained convex node objectives, which constitutes a standard form for a wide class of coordination problems. We use the alternating direction method of multipliers to derive a distributed optimization algorithm for solving these nonlinear homological programs. To demonstrate the applicability of this framework, we show how heterogeneous coordination goals including combinations of consensus, formation, and flocking can be formulated as nonlinear homological programs and provide numerical simulations showing the efficacy of our distributed solution algorithm.

Tyler Hanks Hans Riess Samuel Cohen Trevor Gross Matthew Hale James Fairbanks http://arxiv.org/abs/2305.08231v2 2025-04-04T01:37:25Z 2023-05-14T19:38:15Z

In this paper, we describe a novel way of identifying Adams spectral sequence $E_2$-terms in terms of homological algebra of quiver representations. Our method applies much more broadly than the standard techniques based on descent-flatness, bearing on a varied array of ring spectra. In the particular case of $p$-local integral homology, we are able to give a decomposition of the $E_2$-term, describing it completely in terms of the classical Adams spectral sequence. In the appendix, which can be read independently from the main body of the text, we develop functoriality of deformations of $\infty$-categories of the second author and Patchkoria.

Robert Burklund Piotr Pstrągowski http://arxiv.org/abs/2504.03050v1 2025-04-03T21:55:13Z 2025-04-03T21:55:13Z

If G is a finite group, some aspects of the modular representation theory depend on the cochains C^*(BG; k), viewed as a commutative ring spectrum. We consider here its singularity category (in the sense of the author and Stevenson arxiv 1702.07957) and show that if C^*(BG; k) is a homotopical complete intersection in a strong sense, then the singularity category is the bounded derived category of the k-nullification of the connective ring spectrum C_*(\Omega BG_p). In the course of this we establish a form of Gorenstein duality for C_*(\Omega BG_p) for these groups.

J. P. C. Greenlees http://arxiv.org/abs/2309.05039v3 2025-04-03T17:54:44Z 2023-09-10T14:26:48Z

In this paper, we study profinite descent theory for Picard groups in $K(n)$-local homotopy theory through their inverse limit topology. Building upon Burklund's result on the multiplicative structures of generalized Moore spectra, we prove that the module category over a $K(n)$-local commutative ring spectrum is equivalent to the limit of its base changes by a tower of generalized Moore spectra of type $n$. As a result, the $K(n)$-local Picard groups are endowed with a natural inverse limit topology. This topology allows us to identify the entire $E_1$ and $E_2$-pages of a descent spectral sequence for Picard spaces of $K(n)$-local profinite Galois extensions. Our main examples are $K(n)$-local Picard groups of homotopy fixed points $E_n^{hG}$ of the Morava $E$-theory $E_n$ for all closed subgroups $G$ of the Morava stabilizer group $\mathbb{G}_n$. The $G=\mathbb{G}_n$ case has been studied by Heard and Mor. At height $1$, we compute Picard groups of $E_1^{hG}$ for all closed subgroups $G$ of $\mathbb{G}_1=\mathbb{Z}_p^\times$ at all primes as a Mackey functor.

Guchuan Li Ningchuan Zhang 46 pages. Improved expositions and fixed typos following the referee report. Comments welcome! http://arxiv.org/abs/2503.03173v2 2025-04-03T15:30:40Z 2025-03-05T04:32:33Z

In $G$-equivariant stable homotopy theory, it is known that the equivariant Eilenberg-Mac Lane spectra representing ordinary equivariant cohomology have nontrivial $RO(G)$-graded homotopy corresponding to the equivariant (co)homology of representation spheres. We will compute the universal case of this ordinary $RO(G)$-graded homotopy in the case of $G=\mathcal{K}$, where $\mathcal{K}$ is the Klein-four group. In particular, we will compute a subring of the $RO(\mathcal{K})$-graded homotopy of $H\underline{A}$ for $\underline{A}$ the Burnside Mackey functor.

Jesse Keyes Corrected an argument for showing an extension is split. Charts were also updated 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