http://arxiv.org/api/Zr3HqH5z6bwbaHk82gG9kVdHKiE 2025-05-06T00:00:00-04:00 16556 120 15 http://arxiv.org/abs/2504.10381v1 2025-04-14T16:25:50Z 2025-04-14T16:25:50Z

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.

Nathan Grieve Accepted by Journal of software for algebra and geometry http://arxiv.org/abs/2504.09988v1 2025-04-14T08:52:27Z 2025-04-14T08:52:27Z

Denote by $\mathcal{Z}_5((\mathbb{Z}_2)^3)$ the group, which is also a vector space over $\mathbb{Z}_2$, generated by equivariant unoriented bordism classes of all five-dimensional closed smooth manifolds with effective smooth $(\mathbb{Z}_2)^3$-actions fixing isolated points. We show that $\dim_{\mathbb{Z}_2} \mathcal{Z}_5((\mathbb{Z}_2)^3) = 77$ and determine a basis of $\mathcal{Z}_5((\mathbb{Z}_2)^3)$, each of which is explicitly chosen as the projectivization of a real vector bundle. Thus this gives a complete classification up to equivariant unoriented bordism of all five-dimensional closed smooth manifolds with effective smooth $(\mathbb{Z}_2)^3$-actions with isolated fixed points.

Yuanxin Guan Zhi Lü 22 pages http://arxiv.org/abs/2504.08571v2 2025-04-14T01:34:33Z 2025-04-11T14:26:43Z

The aim of this paper is to show that the fundamental group of any smooth complex algebraic variety cannot be realized as a lattice of any simply connected nilpotent Lie group whose Lie algebra is $p$-filiform Lie algebra such that neither abelian nor $2$-step nilpotent. Moreover, we provide a sufficient condition for a lattice in a simply connected nilpotent Lie group of dimension up to $6$ not to be isomorphic to the fundamental group of any smooth complex algebraic variety.

Taito Shimoji 17pages and 4 tables. This work is scheduled to be presented at "New Developments of Transformation Groups" (RIMS). Comments welcome! http://arxiv.org/abs/2504.09787v1 2025-04-14T01:14:06Z 2025-04-14T01:14:06Z

We show that the base space of a homotopy cofibration is locally hyperbolic under various conditions. In particular, if these manifolds admit a rationally elliptic closure, then almost all punctured manifolds and almost all manifolds with rationally spherical boundary are $\mathbb{Z}/p^r$-hyperbolic for almost all primes $p$ and all integers $r \geq 1$, and satisfy Moore's conjecture at sufficiently large primes.

Ruizhi Huang 20 pages; comments are very welcome http://arxiv.org/abs/2504.09786v1 2025-04-14T01:10:52Z 2025-04-14T01:10:52Z

Stabilization of manifolds by a product of spheres or a projective space is important in geometry. There has been considerable recent work that studies the homotopy theory of stabilization for connected manifolds. This paper generalizes that work by developing new methods that allow for a generalization to stabilization of Poincar\'{e} Duality complexes. This includes the systematic study of a homotopy theoretic generalization of a gyration, obtained from a type of surgery in the manifold case. In particular, for a fixed Poincar\'{e} Duality complex, a criterion is given for the possible homotopy types of gyrations and shows there are only finitely many.

Ruizhi Huang Stephen Theriault 36 pages; comments are very welcome http://arxiv.org/abs/2412.20262v2 2025-04-13T11:17:17Z 2024-12-28T20:31:54Z

Circuit algebras are a symmetric version of Jones's planar algebras. They originated in quantum topology as a framework for encoding virtual crossings. Oriented circuit algebras are equivalent to wheeled props. 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. Specialisations of these results to wheeled props follow as straightforward corollaries. The machinery used to prove these results relies on a subtle interplay between distributive laws and abstract nerve theory, and provides extra insights into the underlying structures.

Sophie Raynor 54 pages, many figures and diagrams. Minor edits relative to v1. 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 http://arxiv.org/abs/2504.07720v2 2025-04-13T02:45:54Z 2025-04-10T13:10:04Z

We introduce a very general approach to the analysis of signals from their noisy measurements from the perspective of Topological Data Analysis (TDA). While TDA has emerged as a powerful analytical tool for data with pronounced topological structures, here we demonstrate its applicability for general problems of signal processing, without any a-priori geometric feature. Our methods are well-suited to a wide array of time-dependent signals in different scientific domains, with acoustic signals being a particularly important application. We invoke time-frequency representations of such signals, focusing on their zeros which are gaining salience as a signal processing tool in view of their stability properties. Leveraging state-of-the-art topological concepts, such as stable and minimal volumes, we develop a complete suite of TDA-based methods to explore the delicate stochastic geometry of these zeros, capturing signals based on the disruption they cause to this rigid, hyperuniform spatial structure. Unlike classical spatial data tools, TDA is able to capture the full spectrum of the stochastic geometry of the zeros, thereby leading to powerful inferential outcomes that are underpinned by a principled statistical foundation. This is reflected in the power and versatility of our applications, which include competitive performance in processing. a wide variety of audio signals (esp. in low SNR regimes), effective detection and reconstruction of gravitational wave signals (a reputed signal processing challenge with non-Gaussian noise), and medical time series data from EEGs, indicating a wide horizon for the approach and methods introduced in this paper.

Juan Manuel Miramont Kin Aun Tan Soumendu Sundar Mukherjee Rémi Bardenet Subhroshekhar Ghosh http://arxiv.org/abs/2310.19120v4 2025-04-12T22:10:12Z 2023-10-29T19:15:45Z

We give an expression for the Smith-Thom deficiency of the Hilbert square $X^{[2]}$ of a smooth real algebraic variety $X$ in terms of the rank of a suitable Mayer-Vietoris mapping in several situations. As a consequence, we establish a necessary and sufficient condition for the maximality of $X^{[2]}$ in the case of projective complete intersections, and show that with a few exceptions no real nonsingular projective complete intersection of even dimension has maximal Hilbert square. We also provide new examples of smooth real algebraic varieties with maximal Hilbert square.

Viatcheslav Kharlamov Rareş Răsdeaconu Clarification in Corollary 1.9 http://arxiv.org/abs/2310.20420v2 2025-04-12T12:56:05Z 2023-10-31T12:46:30Z

We show that solutions to the Kashiwara-Vergne problem can be extended degree by degree. This can be used to simplify the computation of a class of Drinfel'd associators, which under the Alekseev-Torossian conjecture, may comprise all associators. We also give a proof that the associated graded Lie algebra of the Kashiwara-Vergne group is isomorphic to the graded Kashiwara-Vergne Lie algebra.

Zsuzsanna Dancso Iva Halacheva Guillaume Laplante-Anfossi Marcy Robertson 15 pages, now working over an arbitrary field of characteristic zero, to appear in Comptes Rendus. Math\'ematique http://arxiv.org/abs/2504.09174v1 2025-04-12T10:35:49Z 2025-04-12T10:35:49Z

Topological Data Analysis (TDA) combines computational topology and data science to extract and analyze intrinsic topological and geometric structures in data set in a metric space. While the persistent homology (PH), a widely used tool in TDA, which tracks the lifespan information of topological features through a filtration process, has shown its effectiveness in applications,it is inherently limited in homotopy invariants and overlooks finer geometric and combinatorial details. To bridge this gap, we introduce two novel commutative algebra-based frameworks which extend beyond homology by incorporating tools from computational commutative algebra : (1) \emph{the persistent ideals} derived from the decomposition of algebraic objects associated to simplicial complexes, like those in theory of edge ideals and Stanley--Reisner ideals, which will provide new commutative algebra-based barcodes and offer a richer characterization of topological and geometric structures in filtrations.(2)\emph{persistent chain complex of free modules} associated with traditional persistent simplicial complex by labelling each chain in the chain complex of the persistent simplicial complex with elements in a commutative ring, which will enable us to detect local information of the topology via some pure algebraic operations. \emph{Crucially, both of the two newly-established framework can recover topological information got from conventional PH and will give us more information.} Therefore, they provide new insights in computational topology, computational algebra and data science.

Chuanshen Hu Yu Wang Kelin Xia Ke Ye Yipeng Zhang http://arxiv.org/abs/1511.03784v2 2025-04-12T02:10:49Z 2015-11-12T05:49:56Z

In this paper, we develop general machinery for computing the classifying ring $L^A$ of one-dimensional formal $A$-modules, for various commutative rings $A$. We then apply the machinery to obtain calculations of $L^A$ for various number rings and cyclic group rings $A$. This includes the first full calculations of the ring $L^A$ in cases in which it fails to be a polynomial algebra. We also derive consequences for the solvability of some lifting and extension problems.

Andrew Salch Significant revision with stronger results. Accepted to JPAA, 2025 http://arxiv.org/abs/2206.10504v2 2025-04-11T18:46:35Z 2022-06-21T16:26:30Z

From the work of Bauer and Lesnick, it is known that there is no functor from the category of pointwise finite-dimensional persistence modules to the category of barcodes and overlap matchings. In this work, we introduce sub-barcodes and show that there is a functor from the category of factorizations of persistence module homomorphisms to a poset of barcodes ordered by the sub-barcode relation. Sub-barcodes and factorizations provide a looser alternative to bottleneck matchings and interleavings that can give strong guarantees in a number of settings that arise naturally in topological data analysis. The main use of sub-barcodes is to make strong claims about an unknown barcode in the absence of an interleaving. For example, given only upper and lower bounds $g\geq f\geq \ell$ of an unknown real-valued function $f$, a sub-barcode associated with $f$ can be constructed from $\ell$ and $g$ alone. We propose a theory of sub-barcodes and observe that the subobjects in the category of functors from intervals to matchings naturally correspond to sub-barcodes.

Oliver A. Chubet Kirk P. Gardner Donald R. Sheehy http://arxiv.org/abs/2009.07224v5 2025-04-11T17:00:02Z 2020-09-15T17:04:15Z

We define Grothendieck-Witt spectra in the setting of Poincar\'e $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

Baptiste Calmès Emanuele Dotto Yonatan Harpaz Fabian Hebestreit Markus Land Kristian Moi Denis Nardin Thomas Nikolaus Wolfgang Steimle 149 pages. v5: major revision following an editorial request. Sections 1 and Appendix A partially rewritten as well as Section 2.4 on algebraic surgery, all with strengthened results; outsourced the discussion of almost rings to arxiv:2409.01940. Otherwise, minor and not-quite-minor changes throughout http://arxiv.org/abs/2504.08664v1 2025-04-11T16:14:14Z 2025-04-11T16:14:14Z

The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a definition of the Steenrod squares was put forward by Brunerie (2017), proofs of their characterising properties have remained elusive. In this paper, we revisit Brunerie's definition and provide proofs of these properties, including stability, Cartan's formula and the Adem relations. This is done by studying a higher inductive type called the unordered join. This approach is inherently synthetic and, consequently, many of our proofs differ significantly from their classical counterparts. Along the way, we discuss upshots and limitations of homotopy type theory as a synthetic language for homotopy theory. The paper is accompanied by a computer formalisation in Cubical Agda.

Axel Ljungström David Wärn to appear at LICS 2025 http://arxiv.org/abs/2410.07048v2 2025-04-11T12:01:38Z 2024-10-09T16:39:45Z

We compute the MU-based syntomic cohomologies, mod $(p,v_1,\cdots,v_{n+1})$, of all $\mathbb{E}_1$-MU-algebra forms of connective Morava K-theory k(n). As qualitative consequences, we deduce the Lichtenbaum--Quillen conjecture, telescope conjecture, and redshift conjecture for the algebraic K-theories of all $\mathbb{E}_{1}$-$\mathbb{S}$-algebra forms of $(2p^n-2)$-periodic Morava K-theory. Notably, the motivic spectral sequence computing $\pi_*TC(k(n))_p$ is concentrated on at most three lines, independently of $n$.

Gabriel Angelini-Knoll Jeremy Hahn Dylan Wilson 65 pages, 5 figures, minor revisions. Comments still welcome!