http://arxiv.org/api/b1nvyQ8qIz8zKo0pWpP8UbUidC0 2025-05-15T00:00:00-04:00 16586 480 15 http://arxiv.org/abs/2502.14982v1 2025-02-20T19:19:07Z 2025-02-20T19:19:07Z

We compute ko_*(K(Z/2,2)) and ko^*(K(Z/2,2)), the connective KO-homology and -cohomology of the mod 2 Eilenberg-MacLane space K(Z/2,2), using the Adams spectral sequence. The work relies heavily on work done several years earlier for the (complex) ku groups by the author and W.S.Wilson. We illustrate an interesting duality relation between the ko-homology and -cohomology groups. We deduce a new result about Stiefel-Whitney classes in Spin manifolds.

Donald M Davis 108 pages http://arxiv.org/abs/2402.06232v2 2025-02-20T19:03:18Z 2024-02-09T07:47:39Z

We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.

Ronno Das Dan Petersen 10.1112/topo.70016 23 pages. Final version to appear in Journal of Topology http://arxiv.org/abs/2501.16152v2 2025-02-20T15:49:55Z 2025-01-27T15:45:59Z

We introduce the concept of parametrized homotopic distance, extending the classical notion of homotopic distance to the fibrewise setting. We establish its correspondence with the fibrewise sectional category of a specific fibrewise fibration and derive cohomological lower bounds and connectivity upper bounds under mild conditions. We also analyze the behavior of parametrized homotopic distance under compositions and products of fibrewise maps, along with its interaction with the triangle inequality. We establish several sufficient conditions for fibrewise $H$-spaces to admit a fibrewise division map and prove that their parametrized topological complexity equals their fibrewise unpointed Lusternik-Schnirelman category, extending Lupton and Scherer's theorem to the fibrewise setting. Additionally, we give sharp estimates for the parametrized topological complexity of a class fibrewise $H$-spaces which arises as sphere bundles with fibre $S^7$. Furthermore, we estimate the parametrized homotopic distance of fibre-preserving, fibrewise maps between fibrewise fibrations, in terms of the parametrized homotopic distance of the induced fibrewise maps between individual fibres, as well as the fibrewise unpointed Lusternik-Schnirelman category of the base space. Finally, we define and study a pointed version of parametrized homotopic distance, establishing cohomological bounds and identifying key conditions for its equivalence with the unpointed version, thus providing a finer classification of fibrewise homotopy invariants.

Navnath Daundkar J. M. García-Calcines Version 2: Some minor changes have been made to the abstract, the introduction has been shortened, and several redundancies have been removed. Comments are welcome http://arxiv.org/abs/2211.06096v2 2025-02-20T15:16:18Z 2022-11-11T10:03:14Z

As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to a couple $(X,\overline{p})$ of a filtered space and a perversity. We first establish some basic properties for the intersection fundamental groups, as a Van Kampen theorem. For general intersection homotopy groups on Siebenmann CS sets, we prove a Hurewicz theorem between them and the Goresky and MacPherson intersection homology. If the CS set and its intrinsic stratification have the same regular part, we establish the topological invariance of the $\overline{p}$-intersection homotopy groups. Several examples justify the hypotheses made in the statements. Finally, intersection homotopy groups also coincide with the homotopy groups of the topological space itself, for the top perversity on a connected, normal Thom-Mather space.

David Chataur Martintxo Saralegi-Aranguren Daniel Tanré Final version http://arxiv.org/abs/2309.05456v3 2025-02-20T14:43:24Z 2023-09-11T13:51:27Z

Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological dimension. This demonstrates a sharp contrast to the situation where $R$ is Euclidean. To prove our result, we study the symplectic Steinberg module, i.e. the top-dimensional homology group of the spherical building associated to $\operatorname{Sp}_{2n}(K)$. We show that this module is not generated by integral apartment classes.

Benjamin Brück Zachary Himes 18 pages, 1 figure; v2: corrected typos and improved the exposition; v3: final version, to appear in Selecta Math. (N.S.) http://arxiv.org/abs/2309.10775v3 2025-02-20T14:40:53Z 2023-09-19T17:21:12Z

Many real-world datasets live on high-dimensional Stiefel and Grassmannian manifolds, $V_k(\mathbb{R}^N)$ and $Gr(k, \mathbb{R}^N)$ respectively, and benefit from projection onto lower-dimensional Stiefel and Grassmannian manifolds. In this work, we propose an algorithm called \textit{Principal Stiefel Coordinates (PSC)} to reduce data dimensionality from $ V_k(\mathbb{R}^N)$ to $V_k(\mathbb{R}^n)$ in an \textit{$O(k)$-equivariant} manner ($k \leq n \ll N$). We begin by observing that each element $\alpha \in V_n(\mathbb{R}^N)$ defines an isometric embedding of $V_k(\mathbb{R}^n)$ into $V_k(\mathbb{R}^N)$. Next, we describe two ways of finding a suitable embedding map $\alpha$: one via an extension of principal component analysis ($\alpha_{PCA}$), and one that further minimizes data fit error using gradient descent ($\alpha_{GD}$). Then, we define a continuous and $O(k)$-equivariant map $\pi_\alpha$ that acts as a "closest point operator" to project the data onto the image of $V_k(\mathbb{R}^n)$ in $V_k(\mathbb{R}^N)$ under the embedding determined by $\alpha$, while minimizing distortion. Because this dimensionality reduction is $O(k)$-equivariant, these results extend to Grassmannian manifolds as well. Lastly, we show that $\pi_{\alpha_{PCA}}$ globally minimizes projection error in a noiseless setting, while $\pi_{\alpha_{GD}}$ achieves a meaningfully different and improved outcome when the data does not lie exactly on the image of a linearly embedded lower-dimensional Stiefel manifold as above. Multiple numerical experiments using synthetic and real-world data are performed.

Andrew Lee Harlin Lee Jose A. Perea Nikolas Schonsheck Madeleine Weinstein 10.1137/23M1603443 Minor updates to introduction. To appear in SIAM Journal on Mathematics of Data Science SIAM Journal on Mathematics of Data Science, 7(2), 410-437 (2025) http://arxiv.org/abs/2111.06159v7 2025-02-20T11:16:44Z 2021-11-11T11:39:41Z

In this article we introduce the notion of a k-almost-quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of [19], we deduce that the fundamental group of the orbit configuration space of an effective and properly discontinuous action of a discrete group, on an aspherical 2-manifold with isolated fixed points is torsion free. Furthermore, if the 2-manifold has at least one puncture then it is poly-free, and hence has an iterated semi-direct product of free groups structure, which generalizes a result of Xicotencatl ([27], Theorem 6.3).

S K Roushon The paper is withdrawn. Due to corrections in arXiv:2006.07106 and in arXiv:2106.08110, the main result Theorem 1.3 is not valid http://arxiv.org/abs/2502.14431v1 2025-02-20T10:29:58Z 2025-02-20T10:29:58Z

The paper presents a comprehensive causality analysis of the US stock and commodity markets during the COVID-19 crash. The dynamics of different sectors are also compared. We use Topological Data Analysis (TDA) on multidimensional time-series to identify crashes in stock and commodity markets. The Wasserstein Distance WD shows distinct spikes signaling the crash for both stock and commodity markets. We then compare the persistence diagrams of stock and commodity markets using the WD metric. A significant spike in the $WD$ between stock and commodity markets is observed during the crisis, suggesting significant topological differences between the markets. Similar spikes are observed between the sectors of the US market as well. Spikes obtained may be due to either a difference in the magnitude of crashes in the two markets (or sectors), or from the temporal lag between the two markets suggesting information flow. We study the Granger-causality between stock and commodity markets and also between different sectors. The results show a bidirectional Granger-causality between commodity and stock during the crash period, demonstrating the greater interdependence of financial markets during the crash. However, the overall analysis shows that the causal direction is from stock to commodity. A pairwise Granger-causal analysis between US sectors is also conducted. There is a significant increase in the interdependence between the sectors during the crash period. TDA combined with Granger-causality effectively analyzes the interdependence and sensitivity of different markets and sectors.

Buddha Nath Sharma National Institute of Technology Sikkim, India Anish Rai National Institute of Technology Sikkim, India SR Luwang National Institute of Technology Sikkim, India Md. Nurujjaman National Institute of Technology Sikkim, India Sushovan Majhi Data Science Program, George Washington University, Washington, DC, USA http://arxiv.org/abs/2308.13635v3 2025-02-20T08:47:03Z 2023-08-25T19:04:28Z

We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide with coefficients in the Magnus expansion. In contrast with Magnus' coefficients, our invariants are defined on all groups and over any PID. They respect products in the group and are a complete invariant of the dimension series, so they are the coefficients of a universal multiplicative finite-type invariant, depending functorially on the group. Letter-braiding invariants arise from the bar construction on a cochain model of a space with a prescribed fundamental group. This approach specializes to simplicial presentations of a group as well as to more geometric contexts, which we illustrate in examples. As an application, we define variants of the Johnson filtration and the Johnson homomorphism on the automorphisms of arbitrary groups, and use them to constrain automorphisms of finite p-groups.

Nir Gadish Corrected and added references, simplified introduction; 59 pages http://arxiv.org/abs/2502.13882v1 2025-02-19T17:06:47Z 2025-02-19T17:06:47Z

We introduce an elliptic avatar of loop spaces in derived algebraic geometry, completing the familiar trichotomoy of rational, trigonometric and elliptic objects. Heuristically, the elliptic loop space of $\mathcal{Y}$ is the stack of maps to $\mathcal{Y}$ from a certain exotic avatar $\mathcal{S}_{E}$ of the elliptic curve $E$, such that the category of quasi-coherent sheaves on $\mathcal{S}_{E}$ is the convolution category of zero-dimensionally supported coherent sheaves on $E$. For quotient stacks, the structure sheaf of the elliptic loop space gives rise to a theory of equivariant elliptic Hodge cohomology.

Emile Bouaziz Adeel A. Khan 48 pages, comments welcome http://arxiv.org/abs/2301.00660v4 2025-02-19T15:33:46Z 2023-01-02T13:26:29Z

We extend some basic results from the singular homology theory of topological spaces to the setting of \v{C}ech's closure spaces. We prove analogues of the excision and Mayer-Vietoris theorems and the Hurewicz theorem in dimension one. We use these results to calculate examples of singular homology groups of spaces that are not topological but are often encountered in applied topology, such as simple undirected graphs. We focus on the singular homology of roots of unity with closure structures arising from considering nearest neighbors. These examples can then serve as building blocks along with our Mayer-Vietoris and excision theorems for computing the singular homology of more complex closure spaces.

Nikola Milićević 34 pages, to appear in Topology and Its Applications http://arxiv.org/abs/2502.04806v2 2025-02-19T09:46:14Z 2025-02-07T10:19:38Z

We introduce a family of maps parametrised by certain ribbon graphs. It is based on a connection in non-commutative geometry and contains the double divergence as a special case. Applying the construction to the case of the group algebra of the fundamental group of a compact connected oriented surface with boundary, we obtain an algebraic generalisation of the Turaev cobracket. If the connection is flat, they define classes in the Lie algebra cohomology of the space of derivations. In the case of the free associative algebra, we show that they are canonically identified with the standard generators of the cohomology ring of the matrix Lie algebra $\mathfrak{gl}_n$.

Toyo Taniguchi 15 pages, corrected the incorrect statement of a theorem in the previous version http://arxiv.org/abs/2406.11878v4 2025-02-19T09:05:03Z 2024-06-08T09:31:42Z

Let $[SU(2n), \mathscr{L}]$ denote the bordism class of $SU(2n)$ $(n\ge 2)$ equipped with its left invariant framing $\mathscr{L}$. Then it is well known that $e_\mathbb{C}([SU(2n), \mathscr{L}])=0$ where $e_\mathbb{C}$ denotes the complex Adams $e$-invariant. In this note we show that replacing $\mathscr{L}$ by the framing obtained by twisting it by a specific map the zero value of $e_\mathbb{C}([SU(2n), \mathscr{L}])$ can be transformed into a generator of $\mathrm{Im} \, e_\mathbb{C}$ which is isomorphic to a cyclic group. In addition we show that the same procedure affords an analogous result for a quotient of $SU(2n+1)$ by a circle subgroup which inherits a canonical framing from $SU(2n+1)$ in the usual way. .

Haruo Minami 8 pages; corrects Lemmas 1 and 3, and along with that, modifies the proofs of Theorem and Proposition; adds a remark in the last page http://arxiv.org/abs/1912.10544v3 2025-02-19T05:17:11Z 2019-12-22T21:28:11Z

We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by concordance. As an application, we offer an answer to the question: what does the classifying space of a Segal space classify?

Daniel Berwick-Evans Pedro Boavida de Brito Dmitri Pavlov 10.2140/agt.2024.24.4891 35 pages. Comments are very welcome. v2: Many expository improvements. v3: Identical to the journal version except for formatting and style Algebr. Geom. Topol. 24 (2024) 4891-4937 http://arxiv.org/abs/2406.15697v3 2025-02-19T03:48:25Z 2024-06-22T00:35:27Z

This paper gives the classifications of certain manifolds $\mathcal{M}$ of dimension $13$ up to diffeomorphism, homeomorphism, and homotopy equivalence, whose cohomology rings are isomorphic to $H^\ast(\mathrm{CP}^3\times S^7;\mathbb{Z})$. Moreover, we prove that either $\mathcal{M}$ or $\mathcal{M}\#\Sigma^{13}$ admits a metric of non-negative sectional curvature where $\Sigma^{13}$ is a certain exotic sphere of dimension 13.

Wen Shen