http://arxiv.org/api/CKdX2ix88iWNTbP0Qcgfy6oYTL8 2025-05-14T00:00:00-04:00 16584 420 15 http://arxiv.org/abs/2309.16619v3 2025-03-03T18:29:37Z 2023-09-28T17:19:04Z

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy categories of cubical sets and topological spaces. Some simple applications include combinatorial descriptions and subsequent calculations of directed homotopy monoids and directed singular $1$-cohomology monoids. Another application is a characterization of isomorphisms between small categories up to zig-zags of natural transformations as directed homotopy equivalences between directed classifying spaces. Cubical sets throughout the paper are taken to mean presheaves over the minimal symmetric monoidal variant of the cube category. Along the way, the paper characterizes morphisms in this variant as the interval-preserving lattice homomorphisms between finite Boolean lattices.

Sanjeevi Krishnan 57 pages, 4 figures, added justification for functoriality of construction in Lemma D.1, corrected minor typos, added one more acknowledgement http://arxiv.org/abs/2503.01614v1 2025-03-03T14:49:10Z 2025-03-03T14:49:10Z

Recently, bipath persistent homology has been proposed as an extension of standard persistent homology, along with its visualization (bipath persistence diagram) and computational methods. In the setting of standard persistent homology, the stability theorem with respect to real-valued functions on a topological space is one of the fundamental results, which gives a mathematical justification for using persistent homology to noisy data. In proving the stability theorem, the algebraic stability theorem/the isometry theorem for persistence modules plays a central role. In this point of view, the stability property for bipath persistent homology is desired for analyzing data. In this paper, we prove the stability theorem of bipath persistent homology with respect to bipath functions on a topological space. This theorem suggests a stability of bipath persistence diagrams: small changes in a bipath function (except at their ends) result in only small changes in the bipath persistence diagram. Similar to the stability theorem of standard persistent homology, we deduce the stability theorem of bipath persistent homology by using the algebraic stability theorem/the isometry theorem of bipath persistence modules.

Shunsuke Tada 22 pages, 3 figures http://arxiv.org/abs/2410.22210v2 2025-03-03T12:16:53Z 2024-10-29T16:38:54Z

We compute the average number of surjections from class groups of quadratic function fields over $\mathbb F_q(t)$ onto finite odd order groups $H$, once $q$ is sufficiently large. These yield the first known moments of these class groups, as predicted by the Cohen--Lenstra heuristics, apart from the case $H = \mathbb Z/3\mathbb Z$. The key input to this result is a topological one, where we compute the stable rational homology groups of Hurwitz spaces associated to non-splitting conjugacy classes.

Aaron Landesman Ishan Levy Comments welcome! Resolved a minor error in a citation used for computing the stable homology when one inverts all elements of the rack http://arxiv.org/abs/2410.02392v2 2025-03-03T09:50:18Z 2024-10-03T11:13:55Z

The rising interest in leveraging higher-order interactions present in complex systems has led to a surge in more expressive models exploiting higher-order structures in the data, especially in topological deep learning (TDL), which designs neural networks on higher-order domains such as simplicial complexes. However, progress in this field is hindered by the scarcity of datasets for benchmarking these architectures. To address this gap, we introduce MANTRA, the first large-scale, diverse, and intrinsically higher-order dataset for benchmarking higher-order models, comprising over 43,000 and 250,000 triangulations of surfaces and three-dimensional manifolds, respectively. With MANTRA, we assess several graph- and simplicial complex-based models on three topological classification tasks. We demonstrate that while simplicial complex-based neural networks generally outperform their graph-based counterparts in capturing simple topological invariants, they also struggle, suggesting a rethink of TDL. Thus, MANTRA serves as a benchmark for assessing and advancing topological methods, leading the way for more effective higher-order models.

Rubén Ballester Ernst Röell Daniel Bīn Schmid Mathieu Alain Sergio Escalera Carles Casacuberta Bastian Rieck Accepted at ICLR 2025 (https://openreview.net/forum?id=X6y5CC44HM) http://arxiv.org/abs/2309.05229v3 2025-03-03T04:42:32Z 2023-09-11T04:25:27Z

We propose a definition of the profinite normal structure set for the set of all manifolds in a fixed profinite homotopy type. Using this framework, we prove that the Galois action of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ on the underlying topological manifold structures of smooth, complete, simply-connected complex varieties defined over $\overline{\mathbb{Q}}$ of dimension at least $3$ factors through the abelianization of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$. Moreover, this abelian action extends canonically to the entire profinite normal structure set. This result provides an answer to the question by Sullivan in the case of topological manifold structures of simply-connected varieties.

Runjie Hu http://arxiv.org/abs/2503.01123v1 2025-03-03T03:03:54Z 2025-03-03T03:03:54Z

Sequential parametrized topological complexity is a numerical homotopy invariant of a fibration, which arose in the robot motion planning problem with external constraints. In this paper, we study sequential parametrized topological complexity in view of rational homotopy theory. We generalize results on topological complexity, and in particular, give an explicit algebraic upper bound for sequential parametrized topological complexity when a fibration admits a certain decomposition, which is a generalization of the result of Hamoun, Rami and Vandembroucq on topological complexity.

Yuki Minowa 16 pages http://arxiv.org/abs/2401.07693v2 2025-03-03T01:33:50Z 2024-01-15T14:01:42Z

We construct a new type of spectral sequences for the mixed Hodge structures on the cohomology of locally symmetric varieties. These spectral sequences converge to the edge components in the Hodge triangles, and the E1-terms are expressed by group cohomology associated to the cusps. They already degenerate at E1 in a certain range, which gives a simple expression of some Hodge components. An identity of holomorphic Euler numbers is obtained as a consequence.

Shouhei Ma An error concerning monodromy action on the toroidal boundary strata was corrected. Accordingly, the paper was largely rewritten. The previous section on the Borel-Serre boundary was dropped for restricting the focus and the page length; this will be taken up on another occasion http://arxiv.org/abs/2307.16337v2 2025-03-02T22:14:48Z 2023-07-30T23:08:11Z

We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more generally over an arbitrary commutative ring under an additional compact generation hypothesis. We include variants of these results that apply to $R$-linear graded categories, and to the context of $\infty$-categories linear over connective commutative ring spectra.

Germán Stefanich The theorem on invertible stable $\infty$-categories is now proven over any truncated connective $E_\infty$-ring http://arxiv.org/abs/2503.01002v1 2025-03-02T19:56:40Z 2025-03-02T19:56:40Z

In this paper we study multiplicative structures on comodules over bialgebras in the setting of $\infty$-categories. We show that the $\infty$-category of comodules over an $(\mathcal{O},\mathbf{Ass})$-bialgebra in a mixed $(\mathcal{O},\mathbf{Ass})$-duoidal $\infty$-category has the structure of an $\mathcal{O}$-monoidal $\infty$-category for any $\infty$-operad $\mathcal{O}$.

Takeshi Torii 19 pages http://arxiv.org/abs/2403.08888v3 2025-03-02T17:46:13Z 2024-03-13T18:17:18Z

Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary and unified proof that every representation $\rho_1: \Gamma \to \mathbf{GL}_d(\mathbb{F}_p)$ lifts to a representation $\rho_2: \Gamma \to \mathbf{GL}_d(\mathbb{Z}/p^2)$. [In case i), it is understood these are continuous.] The actual statement is much stronger: for all $r \geq 1$, under "suitable" assumptions, triangular representations $\rho_r: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^r)$ lift to $\rho_{r+1}: \Gamma \to \mathbf{B}_d(\mathbb{Z}/p^{r+1})$, in the strongest possible step-by-step sense. Here "suitable" is made precise by the concept of $\textit{Kummer flag}$. An essential aspect of this work, is to identify the common properties of groups i) and ii), that suffice to ensure the existence of such lifts.

Andrea Conti Cyril Demarche Mathieu Florence 29 pages. We fixed a problem with the proof of Proposition 5.1, and replaced the old statement with a slightly more general one http://arxiv.org/abs/2412.18449v2 2025-03-02T12:10:57Z 2024-12-24T14:19:32Z

We prove the 2-player, generic extensive-form case of the conjecture of Govindan and Wilson (1997a,b) and Hauk and Hurkens (2002) stating that an equilibrium component is essential in every equivalent game if and only if the index of the component is nonzero. This provides an index-theoretic characterization of the concept of hyperstable components of equilibria in generic extensive-form games, first formulated by Kohlberg and Mertens (1986). We also illustrate how to compute hyperstable equilibria in multiple economically relevant examples and show how the predictions of hyperstability compare with other solution concepts.

Lucas Pahl Carlos Pimienta http://arxiv.org/abs/2303.16716v3 2025-03-01T12:21:38Z 2023-03-29T14:15:38Z

We present Topological Point Cloud Clustering (TPCC), a new method to cluster points in an arbitrary point cloud based on their contribution to global topological features. TPCC synthesizes desirable features from spectral clustering and topological data analysis and is based on considering the spectral properties of a simplicial complex associated to the considered point cloud. As it is based on considering sparse eigenvector computations, TPCC is similarly easy to interpret and implement as spectral clustering. However, by focusing not just on a single matrix associated to a graph created from the point cloud data, but on a whole set of Hodge-Laplacians associated to an appropriately constructed simplicial complex, we can leverage a far richer set of topological features to characterize the data points within the point cloud and benefit from the relative robustness of topological techniques against noise. We test the performance of TPCC on both synthetic and real-world data and compare it with classical spectral clustering.

Vincent P. Grande Michael T. Schaub Accepted at the 40th International Conference on Machine Learning (ICML), 2023. Code available at https://git.rwth-aachen.de/netsci/publication-2023-topological-point-cloud-clustering ICML 2023 - 40th International Conference on Machine Learning (ICML) http://arxiv.org/abs/2503.00446v1 2025-03-01T10:56:45Z 2025-03-01T10:56:45Z

The paper is devoted to the well-known problem of smooth structures on moment-angle manifolds. Each real or complex moment-angle manifold has an equivariant smooth structure given by an intersection of quadrics corresponding to a geometric realisation of a polytope. In 2006 F.Bosio and L.Meersseman proved that complex moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic. Using arguments from calculus we derive from this result that real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic and the polytopes are diffeomorphic as manifolds with corners.

Nikolai Erokhovets Elena Erokhovets 13 pages, 0 Figures http://arxiv.org/abs/2502.21294v1 2025-02-28T18:24:59Z 2025-02-28T18:24:59Z

We investigate several problems concerning extremal Betti numbers and persistence in filtrations of flag complexes. For graphs on $n$ vertices, we show that $\beta_k(X(G))$ is maximal when $G=\mathcal{T}_{n,k+1}$, the Tur\'an graph on $k+1$ partition classes, where $X(G)$ denotes the flag complex of $G$. Building on this, we construct an edgewise (one edge at a time) filtration $\mathcal{G}=G_1\subseteq \cdots \subseteq \mathcal{T}_{n,k+1}$ for which $\beta_k(X(G_i))$ is maximal for all graphs on $n$ vertices and $i$ edges. Moreover, the persistence barcode $\mathcal{B}_k(X(G))$ achieves a maximal number of intervals, and total persistence, among all edgewise filtrations with $|E(\mathcal{T}_{n,k+1})|$ edges. For $k=1$, we consider edgewise filtrations of the complete graph $K_n$. We show that the maximal number of intervals in the persistence barcode is obtained precisely when $G_{\lceil n/2\rceil \cdot \lfloor n/2 \rfloor}=\mathcal{T}_{n,2}$. Among such filtrations, we characterize those achieving maximal total persistence. We further show that no filtration can optimize $\beta_1(X(G_i))$ for all $i$, and conjecture that our filtrations maximize the total persistence over all edgewise filtrations of $K_n$.

Lies Beers Magnus Bakke Botnan http://arxiv.org/abs/2309.12753v3 2025-02-28T13:58:25Z 2023-09-22T09:53:49Z

We construct bordifications of the moduli spaces of tropical curves and of tropical abelian varieties, and show that the tropical Torelli map extends to their bordifications. We prove that the classical bi-invariant differential forms studied by Cartan and others extend to these bordifications by studying their behaviour at infinity, and consequently deduce infinitely many new non-zero unstable cohomology classes in the cohomology of the general and special linear groups $\mathrm{GL}_g(\mathbb{Z})$ and $\mathrm{SL}_g(\mathbb{Z})$. In particular, we obtain a new and geometric proof of Borel's theorem on the stable cohomology of these groups. In addition, we completely determine the cohomology of the link of the moduli space of tropical abelian varieties within a certain range, and show that it contains the stable cohomology of the general linear group. In the process, we define new transcendental invariants associated to the minimal vectors of quadratic forms, and also show that a certain part of the cohomology of the general linear group $\mathrm{GL}_g(\mathbb{Z})$ admits the structure of a motive. In an appendix, we give an algebraic construction of the Borel-Serre compactification by embedding it in the real points of an iterated blow-up of a projective space along linear subspaces, which may have independent applications.

Francis Brown Incorporated referees comments. Abstract slightly expanded. Exposition improved, various simplifications, order of later chapters changed