http://arxiv.org/api/bMn/5WFreunDr4+6TvZF6TcfnTM 2025-05-14T00:00:00-04:00 16584 450 15 http://arxiv.org/abs/2411.13887v3 2025-02-26T02:54:16Z 2024-11-21T06:58:14Z

We introduce, for the first time, a cohomology-based Gromov-Hausdorff ultrametric method to analyze 1-dimensional and higher-dimensional (co)homology groups, focusing on loops, voids, and higher-dimensional cavity structures in simplicial complexes, to address typical clustering questions arising in molecular data analysis. The Gromov-Hausdorff distance quantifies the dissimilarity between two metric spaces. In this framework, molecules are represented as simplicial complexes, and their cohomology vector spaces are computed to capture intrinsic topological invariants encoding loop and cavity structures. These vector spaces are equipped with a suitable distance measure, enabling the computation of the Gromov-Hausdorff ultrametric to evaluate structural dissimilarities. We demonstrate the methodology using organic-inorganic halide perovskite (OIHP) structures. The results highlight the effectiveness of this approach in clustering various molecular structures. By incorporating geometric information, our method provides deeper insights compared to traditional persistent homology techniques.

JunJie Wee Xue Gong Wilderich Tuschmann Kelin Xia 16 pages, 4 figures, 1 table http://arxiv.org/abs/2211.11405v4 2025-02-25T20:10:17Z 2022-11-21T12:30:00Z

There are many instances such that deformation space of the homology class of an algebraic cycle as a Hodge cycle is larger than its deformation space as algebraic cycle. This phenomena can occur for algebraic cycles inside hypersurfaces, however, we are only able to gather evidences for it by computer experiments. In this article we describe one example of this for cubic hypersurfaces. The verification of the mentioned phenomena in this case is proposed as the first GADEPs problem. The main goal is either to verify the (variational) Hodge conjecture in such a case or gather evidences that it might produce a counterexample to the Hodge conjecture.

Hossein Movasati The article is now is a section of a new article "Leaf scheme and Hodge loci" http://arxiv.org/abs/2502.18278v1 2025-02-25T15:09:43Z 2025-02-25T15:09:43Z

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley condition. We show that this universal property is implemented by an $(\infty,2)$-categorical refinement of Barwick's \emph{unfurling construction}: For any right adjointable functor $\mathcal{C} \to \mathrm{Cat}_{\infty}$, the unstraightening of its unique extension to $\mathbf{Span}(\mathcal{C})$ can be explicitly written down as another span $(\infty,2)$-category, and on underlying $(\infty,1)$-categories this recovers Barwick's construction. As an application, we show that the constructions of cartesian normed structures by Nardin--Shah and Cnossen--Haugseng--Lenz--Linskens coincide.

Bastiaan Cnossen Tobias Lenz Maxime Ramzi 14 pages http://arxiv.org/abs/2502.18144v1 2025-02-25T12:13:19Z 2025-02-25T12:13:19Z

Recently, Cuntz and K\"uhne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes.

Lorenzo Giordani Tilman Möller Paul Mücksch Gerhard Roehrle 30 pages. arXiv admin note: text overlap with arXiv:2502.02274 http://arxiv.org/abs/2502.18102v1 2025-02-25T11:16:45Z 2025-02-25T11:16:45Z

We construct and study a bicategory of super 2-line bundles over graded Lie groupoids, providing a unified framework for geometric models of twistings of (Real) K-theory. The core of our work is to exhibit a wide range of models from the literature as special cases, among them several variants of bundle gerbes (Real/equivariant/Jandl), Freed-Moore's twisted groupoid extensions, Freed-Hopkins-Teleman's K-theory twistings, Moutuou's Real twistings, Freed's invertible algebra bundles, and Distler-Freed-Moore's orientifold twistings.

Tim Lüders Lynn Otto Konrad Waldorf 69 pages http://arxiv.org/abs/2303.00245v2 2025-02-25T04:08:38Z 2023-03-01T05:56:39Z

Motivated by his work on the stable rank filtration of algebraic K-theory spectra, Rognes defined a simplicial complex called the common basis complex and conjectured that this complex is highly connected for local rings and Euclidean domains. We prove this conjecture in the case of fields. Our methods give a novel description of this common basis complex of a PID as an iterated bar construction on an equivariant monoid built out of Tits buildings. We also identify the Koszul dual of a certain equivariant ring assembled out of Steinberg modules.

Jeremy Miller Peter Patzt Jennifer C. H. Wilson 35 pages, 2 figures. Accepted at JEMS http://arxiv.org/abs/2502.17704v1 2025-02-24T22:52:48Z 2025-02-24T22:52:48Z

Given a zigzag filtration, we want to find its barcode representatives, i.e., a compatible choice of bases for the homology groups that diagonalize the linear maps in the zigzag. To achieve this, we convert the input zigzag to a levelset zigzag of a real-valued function. This function generates a Mayer-Vietoris pyramid of spaces, which generates an infinite strip of homology groups. We call the origins of indecomposable (diamond) summands of this strip their apexes and give an algorithm to find representative cycles in these apexes from ordinary persistence computation. The resulting representatives map back to the levelset zigzag and thus yield barcode representatives for the input zigzag. Our algorithm for lifting a $p$-dimensional cycle from ordinary persistence to an apex representative takes $O(p \cdot m \log m)$ time. From this we can recover zigzag representatives in time $O(\log m + C)$, where $C$ is the size of the output.

Tamal K. Dey Tao Hou Dmitriy Morozov http://arxiv.org/abs/2309.00850v2 2025-02-24T21:43:08Z 2023-09-02T07:23:25Z

Let $A$ be an abelian compact Lie group. In this paper we compute the spectrum of invariant prime ideals of the $A$-equivariant Lazard ring, or equivalently the spectrum of points of the moduli stack of $A$-equivariant formal groups. We further show that this spectrum is homeomorphic to the Balmer spectrum of compact $A$-spectra, with the comparison map induced by equivariant complex bordism homology.

Markus Hausmann Lennart Meier 45 pages. Final version to appear in Geometry & Topology. Includes many small corrections and improvements compared to v1 http://arxiv.org/abs/2501.17927v2 2025-02-24T16:49:45Z 2025-01-29T19:00:04Z

These extended lecture notes survey a novel derivation of anyonic topological order (as seen in fractional quantum Hall systems) on single magnetized M5-branes probing Seifert orbi-singularities ("geometric engineering" of anyons), which we motivate from fundamental open problems in the field of quantum computing. The rigorous construction is non-Lagrangian and non-perturbative, based on previously neglected global completion of the M5-brane's tensor field by flux-quantization consistent with its non-linear self-duality and its twisting by the bulk C-field. This exists only in little-studied non-abelian generalized cohomology theories, notably in a twisted equivariant (and "twistorial") form of unstable Cohomotopy ("Hypothesis H"). As a result, topological quantum observables form Pontrjagin homology algebras of mapping spaces from the orbi-fixed worldvolume into a classifying 2-sphere. Remarkably, results from algebraic topology imply from this the quantum observables and modular functor of abelian Chern-Simons theory, as well as braid group actions on defect anyons of the kind envisioned as hardware for topologically protected quantum gates.

Hisham Sati Urs Schreiber 46 pages with many figures, extended lecture notes based on parts of the course "Introduction to Hypothesis H" held at 45th Srni Winter School GEOMETRY AND PHYSICS in Jan 2025; v2: added {\S}6 "Digest for Algebraic Topologists" as presented at ICMS25 http://arxiv.org/abs/2406.17619v2 2025-02-24T02:06:48Z 2024-06-25T15:02:50Z

We investigate the higher-order connectivity of scale-free networks using algebraic topology. We model scale-free networks as preferential attachment graphs, and we study the algebraic-topological properties of their clique complexes. We focus on the Betti numbers and the homotopy-connectedness of these complexes. We determine the asymptotic almost sure orders of magnitude of the Betti numbers. We also establish the occurence of homotopical phase transitions for the infinite complexes, and we determine the critical thresholds at which the homotopy-connectivity changes. This partially verifies Weinberger's conjecture on the homotopy type of the infinite complexes. We conjecture that the mean-normalized Betti numbers converge to power-law distributions, and we present numerical evidence. Our results also highlight the subtlety of the scaling limit of topology, which arises from the tension between topological operations and analytical limiting process. We discuss such tension at the end of the Introduction.

Chunyin Siu 30 pages, 5 figures, change in v2: fixed typos in bibliography http://arxiv.org/abs/2301.11230v3 2025-02-24T00:54:01Z 2023-01-26T17:09:40Z

We give a complete description of the E_1-term of the v_2-local as well as g-local algebraic tmf resolution.

Mark Behrens Prasit Bhattacharya Dominic Culver 35 pages, v3 corrected an incorrect reference http://arxiv.org/abs/2405.03897v2 2025-02-23T23:46:20Z 2024-05-06T23:04:56Z

We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization homology. In order to do this, we codify $(\infty,1)$-categories in terms of quiver representations in them. By examining a universal instance of such Hochschild homology, we explicitly identify its natural symmetries, and construct a non-stable version of the cyclotomic trace map. Along the way we give a unified account of the cyclic, paracyclic, and epicyclic categories. We also prove that this gives a combinatorial description of the $n=1$ case of factorization homology as presented in [AFR18], which parametrizes $(\infty,1)$-categories by solidly 1-framed stratified spaces.

David Ayala Aaron Mazel-Gee Nick Rozenblyum expanded material on excision; to appear in Advances http://arxiv.org/abs/2410.24077v2 2025-02-22T21:16:40Z 2024-10-31T16:15:07Z

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $\pi$-finite spaces into pyknotic spaces, this paper uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

Amos Kaminski http://arxiv.org/abs/2402.08639v3 2025-02-22T09:56:45Z 2024-02-13T18:06:17Z

Let $Y\subseteq \mathbb{R}^n$ be a closed definable subset and $X\subseteq \mathbb{R}^n$ be a smooth manifold. We construct a version of Morse Theory for the restriction to $X$ of the Euclidean distance function from $Y$. This is done using the notion of critical points of Lipschitz functions and applying the theory of continuous selections. In this theory, nondegenerate critical points have two indices: a quadratic index (as in classical Morse Theory), and a piecewise linear index (that relates to the notion of bottlenecks). This framework is flexible enough to simultaneously treat and unify the study of two cases of interest for computational algebraic geometry: bottlenecks and nearest point problems. We provide a technical toolset guaranteeing the applicability of the theory to the case where $X, Y$ are generic algebraic hypersurfaces and use it to bound the number of critical points of the distance from $Y$ restricted to $X$, among other applications.

Andrea Guidolin Antonio Lerario Isaac Ren Martina Scolamiero 31 pages; title modified, figures added, references added http://arxiv.org/abs/2110.13888v3 2025-02-22T07:49:56Z 2021-10-26T17:43:36Z

We prove that any group $G$ occurs as $\E(X)$, where $X$ is CW-complex of finite dimension and $\E(X)$ denotes its group of self-homotopy equivalence. Thus, we generalize a well know-theorem due to Costoya and Viruel \cite{CV} asserting that any finite group occurs as $\E(X)$, where $X$ is rational elliptic space.

Mahmoud Benkhalifa