http://arxiv.org/api/kF+h0THxLv/nFl5ArksSsitTwpY 2025-05-08T00:00:00-04:00 16564 225 15 http://arxiv.org/abs/2406.16019v2 2025-03-29T09:36:24Z 2024-06-23T05:36:55Z

In this paper, we prove that certain spherical fibrations over certain CW-complexes are stably fibre homotopy equivalent to $\mm{TOP}$-spherical fibrations (see Definition 1,1). Applying this result, we get a sufficient condition for whether a Poincar$\mm{\acute{e}}$ complex is of the homotopy type of a topological manifold. Moreover, we present the classification for some highly connected manifolds by the homotopy types of highly connected Poincar$\mm{\acute{e}}$ complexes.

Wen Shen http://arxiv.org/abs/2503.22883v1 2025-03-28T21:19:14Z 2025-03-28T21:19:14Z

We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed lattice. We ultimately uncover an intricate web of relations with such diverse combinatorial structures as submonoids, monads, Moore systems, transfer systems (from stable equivariant homotopy theory), and poly-Bernoulli numbers.

Jishnu Bose Tien Chih Hannah Housden Legrand Jones II Chloe Lewis Kyle Ormsby Millie Rose 14 pages, comments welcome! http://arxiv.org/abs/2407.09256v2 2025-03-28T15:20:19Z 2024-07-12T13:35:47Z

We study deformations of Calabi-Yau varieties in characteristic $p$ using techniques from derived algebraic geometry. We prove a mixed characteristic analogue of the Bogomolov-Tian-Todorov theorem (which states that Calabi-Yau varieties in characteristic $0$ are unobstructed), and we show that ordinary Calabi-Yau varieties admit canonical lifts to characteristic $0$, generalising the Serre-Tate theorem on ordinary abelian varieties.

Lukas Brantner Lenny Taelman 77 pages http://arxiv.org/abs/2503.22511v1 2025-03-28T15:15:25Z 2025-03-28T15:15:25Z

In this note we prove that the fouth bounded cohomology of non-abelian free groups with trivial real coefficients is non-zero. In order to prove this, we establish a splitting argument whose simplest form is as follows: Let $M$ denote an $n$-manifold of non-zero simplicial volume and $S$ a codimension two submanifold of $M$, then one can conclude that the $n$-th bounded cohomology of the fundamental group of $M \setminus S$ is non-zero. While in this note this approach is only used for degree $4$. There is no reason to expect that this approach and its generalizations is not suitable to prove the non-vanishing of higher degrees or the bounded cohomology of different groups as well.

Thorben Kastenholz http://arxiv.org/abs/2503.22505v1 2025-03-28T15:08:09Z 2025-03-28T15:08:09Z

We construct the analogue of the Serre spectral sequence for the bounded cohomology of simplicial sets with seminormed local coefficients. As applications, we obtain a (non-isometric) generalization of Gromov's mapping theorem and some partial results on the simplicial volume of manifold bundles.

Kevin Li Marco Moraschini George Raptis 33 pages http://arxiv.org/abs/2206.01795v2 2025-03-28T13:33:40Z 2022-06-03T19:45:43Z

The distance function to a compact set plays a crucial role in the paradigm of topological data analysis. In particular, the sublevel sets of the distance function are used in the computation of persistent homology -- a backbone of the topological data analysis pipeline. Despite its stability to perturbations in the Hausdorff distance, persistent homology is highly sensitive to outliers. In this work, we develop a framework of statistical inference for persistent homology in the presence of outliers. Drawing inspiration from recent developments in robust statistics, we propose a \textit{median-of-means} variant of the distance function (\textsf{MoM Dist}) and establish its statistical properties. In particular, we show that, even in the presence of outliers, the sublevel filtrations and weighted filtrations induced by \textsf{MoM Dist} are both consistent estimators of the true underlying population counterpart and exhibit near minimax-optimal performance in adversarial settings. Finally, we demonstrate the advantages of the proposed methodology through simulations and applications.

Siddharth Vishwanath Bharath K. Sriperumbudur Kenji Fukumizu Satoshi Kuriki 54 pages, 13 figures http://arxiv.org/abs/2503.22350v1 2025-03-28T11:46:14Z 2025-03-28T11:46:14Z

We define bounded cohomology of $t$-discrete measured groupoids with coefficients into measurable bundles of Banach spaces. Our approach via homological algebra extends the classic theory developed by Ivanov and by Monod. As a consequence, we show that the bounded cohomology of a $t$-discrete groupoid $\mathcal{G}$ can be computed using any amenable $\mathcal{G}$-space. In particular, we can compute bounded cohomology using strong boundaries.

Filippo Sarti Alessio Savini http://arxiv.org/abs/2503.22308v1 2025-03-28T10:28:25Z 2025-03-28T10:28:25Z

In this paper, we introduce a novel persistence framework for Morse decompositions in Markov chains using combinatorial multivector fields. Our approach provides a structured method to analyze recurrence and stability in finite-state stochastic processes. In our setting filtrations are governed by transition probabilities rather than spatial distances. We construct multivector fields directly from Markov transition matrices, treating states and transitions as elements of a directed graph. By applying Morse decomposition to the induced multivector field, we obtain a hierarchical structure of invariant sets that evolve under changes in transition probabilities. This structure naturally defines a persistence diagram, where each Morse set is indexed by its topological and dynamical complexity via homology and Conley index dimensions.

Donald Woukeng http://arxiv.org/abs/2402.18228v3 2025-03-28T07:10:11Z 2024-02-28T10:49:53Z

We show that the equivariant $E$-theory category $\mathrm{E}_{\mathrm{sep}}^{G}$ for separable $C^{*}$-algebras is a compactly assembled stable $\infty$-category. We derive this result as a consequence of the shape theory for $C^{*}$-algebras developed by Blackadar and Dardarlat and a new construction of $\mathrm{E}_{\mathrm{sep}}^{G}$. As an application we investigate a topological enrichment of the homotopy category of a compactly assembled $\infty$-category in general and argue that the results of Carri\'on and Schafhauser on the enrichment of the classical $E$-theory category can be derived by specialization.

Ulrich Bunke Benjamin Duenzinger 117 pages, revised version 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