http://arxiv.org/api/ZzTwTqmbvSi8a1B7eIUKIy5iXZQ 2025-05-08T00:00:00-04:00 16568 240 15 http://arxiv.org/abs/2311.01610v5 2025-03-27T17:50:02Z 2023-11-02T21:42:01Z

Given a pointwise finite-dimensional persistence module over a totally ordered set $S$, a theorem of Crawley-Boevey guarantees the existence of a barcode. When the set $S$ is finite, the persistence module is an equioriented type-A quiver representation and the barcode identifies a distinguished point in an algebraic variety. We prove a formula for the codimension of this variety inside an ambient space of comparable representations which depends only on the combinatorics of the barcode. We therefore extend the notion of codimension to persistence modules over any set $S$ and prove that this extension is well-defined and can be effectively computed via a stabilization property of approximating quiver representations. Further, we prove realization theorems by constructing explicit examples via persistent homology of data for which the codimension can realize any natural number as its value.

Justin Allman Anran Huang 18 pages, 4 figures, updated raster images from v3 http://arxiv.org/abs/2502.18355v2 2025-03-27T16:00:41Z 2025-02-25T16:44:53Z

One of the advantages of working with Alexander-Spanier-\v{C}ech type cohomology theory is the continuity property: For inverse systems of sufficiently well-behaved spaces, the result of taking the cohomology of their limit is a direct limit of their cohomologies. However, \v{C}ech cohomology natively works with presheaves of modules rather than modules themselves. We define the notion of a system of presheaves for an inverse system of topological spaces, and show that, under the same circumstances as the ordinary continuity property, a suitable limit of the system provides the \v{C}ech cohomology of the inverse limit of the spaces. We then show one application of this result in comparing the cohomology of an inverse limit of finite groups to that of the inverse limit of their classifying spaces.

Jon M. Corson Evan M. Lee http://arxiv.org/abs/2503.21556v1 2025-03-27T14:42:36Z 2025-03-27T14:42:36Z

We prove explicit linear stable ranges for the $\mathsf{FI}$-modules $\mathrm{Hom}(\pi_p \mathrm{Conf} M, \mathbb Z)$ and $\mathrm{Ext}(\pi_p \mathrm{Conf} M, \mathbb Z)$ with $\mathrm{Conf} M$ being the configuration co$\mathsf{FI}$-space of a $d$-dimensional manifold with $d \geq 3$. The proof of this result uses a homotopy-theoretic approach to representation stability for $\mathsf{FI}$-modules. This allows us to derive representation stability results from homotopy-theoretical statements, in particular the generalized Blakers-Massey theorem. We also generalize to $\mathsf{FI}_G$-modules and orbit configuration spaces.

Nicolas Guès 25 pages http://arxiv.org/abs/2312.06430v3 2025-03-27T14:35:28Z 2023-12-11T14:55:24Z

We give a new method to calculate the universal cohomology classes of coincident root loci. We show a polynomial behavior of them and apply this result to prove that generalized Pl\"ucker formulas are polynomials in the degree, just as the classical Pl\"ucker formulas counting the bitangents and flexes of a degree $d$ generic plane curve. We establish an upper bound for the degrees of these polynomials, and we calculate the leading terms of those whose degrees reach this upper bound. We believe that the paper is understandable without detailed knowledge of equivariant cohomology. It may serve as a demonstration of the use of equivariant cohomology in enumerative geometry through the examples of coincident root strata. We also explain how the equivariant method can be "translated" into the traditional non-equivariant method of resolutions.

László M. Fehér András P. Juhász 29 pages; some typos corrected http://arxiv.org/abs/2502.11503v2 2025-03-27T13:44:16Z 2025-02-17T07:07:56Z

For a rational elliptic space, this paper examines the relationship between its homotopy groups and its self-homotopy equivalence group. Moreover, we investigate how this group is embedded in general linear groups.

Mahmoud Benkhalifa http://arxiv.org/abs/2312.10516v2 2025-03-27T11:06:46Z 2023-12-16T18:10:01Z

This is the second paper of a series that develops a bordism-theoretic point of view on orientations in enumerative geometry. The first paper is arXiv:2312.06818. This paper focuses on those applications to gauge theory that can be established purely using formal arguments and calculations from algebraic topology. We prove that the orientability of moduli spaces of connections in gauge theory for all principal $G$-bundles $P\to X$ over compact spin $n$-manifolds at once is equivalent to the vanishing of a certain morphism $\Omega_n^{\rm Spin}(\mathcal L BG)\to{\mathbb Z}_2$ on the $n$-dimensional spin bordism group of the free loop space of the classifying space of $G,$ and we give a complete list of all compact, connected Lie groups $G$ for which this holds. Moreover, we apply bordism techniques to prove that mod-$8$ Floer gradings exist for moduli spaces of $G_2$-instantons for all principal SU(2)-bundles. We also prove that there are canonical orientations for all principal U$(m)$-bundles $P\to X$ over compact spin $8$-manifolds satisfying $c_2(P)-c_1(P)^2=0.$ The proof is based on an interesting relationship to principal $E_8$-bundles. These canonical orientations play an important role in many conjectures about Donaldson-Thomas type invariants on Calabi-Yau $4$-folds, and resolve an apparent paradox in these conjectures.

Dominic Joyce Markus Upmeier This paper is withdrawn, as some results rely on Cao-Gross-Joyce arXiv:1811.09658 Theorem 1.11, which is false. In particular, Theorems 3.18 and 3.27 and other results are false as stated, though they can be corrected with an extra assumption. A new, corrected, expanded version of the paper is given in Joyce-Upmeier arXiv:2503.20456, which includes a new version of arXiv:1811.09658 Theorem 1.11 http://arxiv.org/abs/1811.09658v3 2025-03-27T10:38:00Z 2018-11-21T13:17:23Z

This paper concerns orientability of moduli spaces of Spin(7)-instantons on compact 8-manifolds $X$ with Spin(7)-structure for the Lie groups SU($m$) and U($m$), and of moduli spaces of coherent sheaves on Calabi-Yau 4-folds. Such orientations are needed to define enumerative invariants 'counting' Spin(7) instantons, or coherent sheaves on Calabi-Yau 4-folds $X$. The previous version of the paper, version 2, published in Advances in Mathematics 368 (2020), claimed to prove all these moduli spaces are orientable. VERSION 3 BEGINS WITH AN ERRATUM. THERE IS A MISTAKE IN THE PROOF OF THEOREM 1.11 OF VERSION 2, AND THE THEOREM ITSELF, ONE OF OUR MAIN RESULTS, IS FALSE. THE 8-MANIFOLD SU(3) IS A COUNTEREXAMPLE. COROLLARIES 1.12 AND 1.17 OF VERSION 2 DEPEND ON THEOREM 1.11, AND SO MAY ALSO BE FALSE, THOUGH WE DO NOT HAVE COUNTEREXAMPLES. OUR OTHER MAIN RESULT, THEOREM 1.15, IS UNAFFECTED BY THE MISTAKE. THE AUTHORS APOLOGIZE FOR THIS. Joyce-Upmeier arXiv:2503.20456 (197 pages) gives a new theory for studying orientability of moduli spaces using 'bordism categories'. Amongst other results they prove corrected versions of Theorem 1.11 and Corollaries 1.12 and 1.17, which hold with an extra assumption on $H^3(X,\mathbb Z)$. In version 3, we highlight and explain the mistakes, but we do not correct them, as this would take many pages. Except for Theorem 1.15, readers are advised to read, and cite, Joyce-Upmeier arXiv:2503.20456 instead of this paper.

Yalong Cao Jacob Gross Dominic Joyce 10.1016/j.aim.2020.107134 (v3) Erratum added Adv. Math. 368 (2020) 107134 http://arxiv.org/abs/2503.21348v1 2025-03-27T10:33:20Z 2025-03-27T10:33:20Z

We study the space of paths in a closed manifold $M$ with endpoints determined by an involution $f\colon M\to M$. If the involution is fixed point free and if $M$ is $2$-connected then this path space is the universal covering space of the component of non-contractible loops of the free loop space of $M/\mathbb{Z}_2$. On the homology of said path space we study string topology operations which extend the Chas-Sullivan loop product and the Goresky-Hingston loop coproduct, respectively. We study the case of antipodal involution on the sphere in detail and use Morse-Bott theoretic methods to give a complete computation of the extended loop product and the extended coproduct on even-dimensional spheres. These results are then applied to prove a resonance theorem for closed geodesics on real projective space.

Maximilian Stegemeyer 55 pages, comments welcome http://arxiv.org/abs/2107.12259v4 2025-03-27T06:47:44Z 2021-07-26T15:04:14Z

For any positive integer $k$, let $X_k$ be a projective irreducible nodal curve with $k$ nodes. We show that the Betti numbers and the mixed Hodge numbers of the compactified Jacobian $\overline{J_{k}}$ of an irreducible nodal curve $X_k$ with $k$ nodes are the same as the Betti numbers and the mixed Hodge numbers of $J_0\times R^k$, where $J_0$ is the Jacobian of the normalisation of the irreducible nodal curve and $R$ denotes the rational nodal curve with one node. We prove it by constructing a topologically locally trivial family of projective varieties containing $\overline{J_{k}}$ and $J_0\times R^k$ as fibres.

Sourav Das A. J. Parameswaran Subham Sarkar http://arxiv.org/abs/2501.07907v2 2025-03-27T05:24:55Z 2025-01-14T07:50:51Z

We prove necessary and sufficient conditions for the existence of non-trivial Steenrod actions on the mod-$2$ cohomology of 4-dimensional toric orbifolds. As applications, the stable homotopy type and the gauge groups of a $4$-dimensional toric orbifold are determined, a partial solution to the cohomological rigidity problem for $4$-dimensional toric orbifolds is provided, and, in the smooth case, a combinatorial criterion is established for when the toric orbifold is spin.

Tseleung So http://arxiv.org/abs/2503.20629v1 2025-03-26T15:24:01Z 2025-03-26T15:24:01Z

Neural manifolds summarize the intrinsic structure of the information encoded by a population of neurons. Advances in experimental techniques have made simultaneous recordings from multiple brain regions increasingly commonplace, raising the possibility of studying how these manifolds relate across populations. However, when the manifolds are nonlinear and possibly code for multiple unknown variables, it is challenging to extract robust and falsifiable information about their relationships. We introduce a framework, called the method of analogous cycles, for matching topological features of neural manifolds using only observed dissimilarity matrices within and between neural populations. We demonstrate via analysis of simulations and \emph{in vivo} experimental data that this method can be used to correctly identify multiple shared circular coordinate systems across both stimuli and inferred neural manifolds. Conversely, the method rejects matching features that are not intrinsic to one of the systems. Further, as this method is deterministic and does not rely on dimensionality reduction or optimization methods, it is amenable to direct mathematical investigation and interpretation in terms of the underlying neural activity. We thus propose the method of analogous cycles as a suitable foundation for a theory of cross-population analysis via neural manifolds.

Iris H. R. Yoon Gregory Henselman-Petrusek Yiyi Yu Robert Ghrist Spencer LaVere Smith Chad Giusti 10.1073/pnas.2407997121 Proceedings of the National Academy of Sciences, 2024, 121(46), e2407997121 http://arxiv.org/abs/2503.20603v1 2025-03-26T14:50:56Z 2025-03-26T14:50:56Z

This paper studies how persistence categories and triangulated persistence categories behave with respect to taking idempotent completions. In particular we study whether the idempotent completion (i.e. Karoubi envelope) of categories admitting persistence refinement also admits such a refinement. In doing so, we introduce notions of persistence semi-categories and persistent presheaves and explore their properties.

John Miller http://arxiv.org/abs/2312.01378v3 2025-03-26T13:31:35Z 2023-12-03T12:56:58Z

The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.

Richard Hepworth Emily Roff 20 pages. Version 2: acknowledgements and references updated; a few typos corrected; minor improvements to the exposition. Version 3: references updated. This is the final version, published in International Mathematics Research Notices International Mathematics Research Notices, 2025(3):1-18, 2025 http://arxiv.org/abs/2503.20456v1 2025-03-26T11:37:55Z 2025-03-26T11:37:55Z

To define enumerative invariants in geometry, one often needs orientations on moduli spaces of geometric objects. This monograph develops a new bordism-theoretic point of view on orientations of moduli spaces. Let $X$ be a manifold with geometric structure, and $\cal M$ a moduli space of geometric objects on $X$. Our theory aims to answer the questions: (i) Can we prove $\cal M$ is orientable for all $X,\cal M$? (ii) If not, can we give computable sufficient conditions on $X$ that guarantee $\cal M$ is orientable? (iii) Can we specify extra data on $X$ which allow us to construct a canonical orientation on $\cal M$? We define 'bordism categories', such as $Bord_n^{Spin}(BG)$ with objects $(X,P)$ for $X$ a compact spin $n$-manifold and $P\to X$ a principal $G$-bundle, for $G$ a Lie group. Bordism categories can be understood by computing bordism groups of classifying spaces using Algebraic Topology. Orientation problems are encoded in functors from a bordism category to ${\mathbb Z}_2$-torsors. We apply our theory to study orientability and canonical orientations for moduli spaces of $G_2$-instantons and associative 3-folds in $G_2$-manifolds, for moduli spaces of Spin(7)-instantons and Cayley 4-folds in Spin(7)-manifolds, and for moduli spaces of coherent sheaves on Calabi-Yau 4-folds. The latter are needed to define Donaldson-Thomas type invariants of Calabi-Yau 4-folds. In many cases we prove orientability of $\cal M$, and show canonical orientations can be defined using a 'flag structure'.

Dominic Joyce Markus Upmeier 197 pages http://arxiv.org/abs/2503.20335v1 2025-03-26T09:00:12Z 2025-03-26T09:00:12Z

The aim of homotopy theory in topology is to simplify, after continuous deformation, continuous maps between topological spaces. What prevents this from happening are homotopy invariants. This raises quantitative questions: $\bullet$ Is the calculation of invariants possible (decidable)? If so, at what cost? $\bullet$ Is it possible to construct low-complexity representatives whose invariant values are prescribed? If so, at what cost? $\bullet$ How complex are the necessary deformations? The answers, often recent, are extremely varied. Moreover, many questions remain open, showing that topology has not said its last word, even in low dimensions.

Pierre Pansu LMO, DATASHAPE in French language