http://arxiv.org/api/UkbSnZ9+zuHDwqL4dTiNNWaY4q8 2025-05-06T00:00:00-04:00 16556 165 15 http://arxiv.org/abs/2504.04114v1 2025-04-05T09:11:52Z 2025-04-05T09:11:52Z

We study the category of polynomial functors from finitely generated free groups to a stable infinity-category D. We show that this category is equivalent to the category of excisive functors from pointed animas to D, and also to truncated right comodules over the commutative operad with values in D. The latter formulation generalizes a result of Geoffrey Powell in characteristic zero. We use the equivalence of categories to calculate Ext between polynomial functors from free groups to abelian groups, extending previous results of Christine Vespa and others. Using the work of Aurelien Djament, we give applications to stable cohomology of automorphism groups of free groups with coefficients in a polynomial functor.

Gregory Arone 77 pages. Comments welcome http://arxiv.org/abs/2312.08209v2 2025-04-04T22:19:37Z 2023-12-13T15:26:45Z

A classic result of Anderson, Brown, and Peterson states that the cobordism spectrum MSpin (respectively, MSpin$^c$) splits as a sum of Eilenberg--Mac Lane spectra and connective covers of real K-theory (respectively, complex K-theory) at 2. We develop a theory of symplectic K-theory classes and use these to build an explicit splitting for MSpin$^h$ in terms of Eilenberg--Mac Lane spectra and spectra related to symplectic K-theory. This allows us to determine the Spin$^h$ cobordism groups systematically. We also prove that two Spin$^h$-manifolds are cobordant if and only if their underlying unoriented manifolds are cobordant and their KSp-characteristic numbers agree.

Jonathan Buchanan Stephen McKean 73 pages, 5 figures. Final version, but comments still welcome! http://arxiv.org/abs/2104.12338v4 2025-04-04T20:52:00Z 2021-04-26T04:15:43Z

Kontsevich conjectured that $\text{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all compact $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We prove a homological version of Kontsevich's conjecture. More precisely, we show that $\text{BDiff}(M, \text{rel }\partial)$ has finitely many nonzero homology groups, each finitely generated, when $M$ is a connected sum of irreducible $3$-manifolds that each have a nontrivial and non-spherical boundary.

Sam Nariman 10.1017/fms.2025.38 22 pages, thoroughly revised. to appear in Forum of Mathematics, Sigma Forum of Mathematics, Sigma 13 (2025) e82 http://arxiv.org/abs/2504.03897v1 2025-04-04T19:40:10Z 2025-04-04T19:40:10Z

Persistent homology is an area within topological data analysis (TDA) that can uncover different dimensional holes (connected components, loops, voids, etc.) in data. The holes are characterized, in part, by how long they persist across different scales. Noisy data can result in many additional holes that are not true topological signal. Various robust TDA techniques have been proposed to reduce the number of noisy holes, however, these robust methods have a tendency to also reduce the topological signal. This work introduces Maximal TDA (MaxTDA), a statistical framework addressing a limitation in TDA wherein robust inference techniques systematically underestimate the persistence of significant homological features. MaxTDA combines kernel density estimation with level-set thresholding via rejection sampling to generate consistent estimators for the maximal persistence features that minimizes bias while maintaining robustness to noise and outliers. We establish the consistency of the sampling procedure and the stability of the maximal persistence estimator. The framework also enables statistical inference on topological features through rejection bands, constructed from quantiles that bound the estimator's deviation probability. MaxTDA is particularly valuable in applications where precise quantification of statistically significant topological features is essential for revealing underlying structural properties in complex datasets. Numerical simulations across varied datasets, including an example from exoplanet astronomy, highlight the effectiveness of MaxTDA in recovering true topological signals.

Sixtus Dakurah Jessi Cisewski-Kehe http://arxiv.org/abs/2504.03370v1 2025-04-04T11:41:31Z 2025-04-04T11:41:31Z

We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.

Adeel A. Khan 18 pages http://arxiv.org/abs/2501.04114v2 2025-04-04T11:10:09Z 2025-01-07T19:48:32Z

Any sheaf theory on schemes extends canonically to Artin stacks via a procedure called lisse extension. In this paper we show that lisse extension preserves the formalism of Grothendieck's six operations: more precisely, the lisse extension of a weave on schemes determines a weave on (higher) Artin stacks. The setup is general enough to apply to the stable motivic homotopy category with the six functor formalism of Voevodsky-Ayoub-Cisinski-Deglise, for instance, and is not specific to algebraic geometry: for example, it also applies to sheaves of spectra on topological stacks.

Adeel A. Khan Draft, 54 pages http://arxiv.org/abs/2412.05900v2 2025-04-04T08:21:22Z 2024-12-08T11:36:53Z

The generalized persistence diagram (GPD) is a natural extension of the classical persistence barcode to the setting of multi-parameter persistence and beyond. The GPD is defined as an integer-valued function whose domain is the set of intervals in the indexing poset of a persistence module, and is known to be able to capture richer topological information than its single-parameter counterpart. However, computing the GPD is computationally prohibitive due to the sheer size of the interval set. Restricting the GPD to a subset of intervals provides a way to manage this complexity, compromising discriminating power to some extent. However, identifying and computing an effective restriction of the domain that minimizes the loss of discriminating power remains an open challenge. In this work, we introduce a novel method for optimizing the domain of the GPD through gradient descent optimization. To achieve this, we introduce a loss function tailored to optimize the selection of intervals, balancing computational efficiency and discriminative accuracy. The design of the loss function is based on the known erosion stability property of the GPD. We showcase the efficiency of our sparsification method for dataset classification in supervised machine learning. Experimental results demonstrate that our sparsification method significantly reduces the time required for computing the GPDs associated to several datasets, while maintaining classification accuracies comparable to those achieved using full GPDs. Our method thus opens the way for the use of GPD-based methods to applications at an unprecedented scale.

Mathieu Carrière Seunghyun Kim Woojin Kim Full version of the paper in the Proceedings of the 41st International Symposium on Computational Geometry (SoCG 2025); Simplified the formulation of the sparse erosion distance without altering its definition. 20 pages, 5 figures, 3 tables 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