http://arxiv.org/api/wxRt9xmQ2fFPx8VezvNmiv4oBF0 2025-05-10T00:00:00-04:00 16568 315 15 http://arxiv.org/abs/2503.12618v1 2025-03-16T19:21:06Z 2025-03-16T19:21:06Z

We provide a mathematical realization of a proposal by Kitaev, on the basis of the operator-algebraic formulation of infinite quantum spin systems. Our main results are threefold. First, we construct an $\Omega$-spectrum $\mathit{IP}_*$ whose homotopy groups are isomorphic to the smooth homotopy group of invertible gapped quantum systems on Euclidean spaces. Second, we develop a model for the homology theory associated with the $\Omega$-spectrum $\mathit{IP}_*$, describing it in terms of the space of quantum systems placed on an arbitrary subspace of a Euclidean space. This involves introducing the concept of localization flow, a semi-infinite path of quantum systems with decaying interaction range, inspired by Yu's localization C*-algebra in coarse index theory. Third, we incorporate spatial symmetries given by a crystallographic group $\Gamma $ and define the $\Omega$-spectrum $\mathit{IP}_*^\Gamma$ of $\Gamma$-invariant invertible phases. We propose a strategy for computing the homotopy group $\pi_n(\mathit{IP}_d^\Gamma )$ that uses the Davis--L\"{u}ck assembly map and its description by invertible gapped localization flow. In particular, we show that the assembly map is split injective, and hence $\pi_n(\mathit{IP}_d^\Gamma)$ contains a computable direct summand.

Yosuke Kubota 104 pages. Comments are welcome! http://arxiv.org/abs/1906.08256v3 2025-03-16T18:18:17Z 2019-06-19T05:02:42Z

We define a new filtration called the Steinhaus filtration built from a single cover based on a generalized Steinhaus distance, a generalization of Jaccard distance. The homology persistence module of a Steinhaus filtration with infinitely many cover elements may not be $q$-tame, even when the covers are in a totally bounded space. While this may pose a challenge to derive stability results, we show that the Steinhaus filtration is stable when the cover is finite. We show that while the \v{C}ech and Steinhaus filtrations are not isomorphic in general, they are isomorphic for a finite point set in dimension one. Furthermore, the VR filtration completely determines the $1$-skeleton of the Steinhaus filtration in arbitrary dimension. We then develop a language and theory for stable paths within the Steinhaus filtration. We demonstrate how the framework can be applied to several applications where a standard metric may not be defined but a cover is readily available. We introduce a new perspective for modeling recommendation system datasets. As an example, we look at a movies dataset and we find the stable paths identified in our framework represent a sequence of movies constituting a gentle transition and ordering from one genre to another. For explainable machine learning, we apply the Mapper algorithm for model induction by building a filtration from a single Mapper complex, and provide explanations in the form of stable paths between subpopulations. For illustration, we build a Mapper complex from a supervised machine learning model trained on the FashionMNIST dataset. Stable paths in the Steinhaus filtration provide improved explanations of relationships between subpopulations of images.

Dustin L. Arendt Matthew Broussard Bala Krishnamoorthy Nathaniel Saul Amber Thrall Proof of stability added; to appear in SoCG 2025 http://arxiv.org/abs/2503.12578v1 2025-03-16T17:20:42Z 2025-03-16T17:20:42Z

We initiate the study of simple games from the point of view of combinatorial topology. The starting premise is that the losing coalitions of a simple game can be identified with a simplicial complex. Various topological constructions and results from the theory of simplicial complexes then carry over to the setting of simple games. Examples are cone, join, and the Alexander dual, each of which have interpretations as familiar game-theoretic objects. We also provide some new topological results about simple games, most notably in applications of homology of simplicial complexes to weighted simple games. The exposition is introductory and largely self-contained, intended to inspire further work and point to what appears to be a wealth of potentially fruitful directions of investigation bridging game theory and topology.

Ismar Volic Leah Valentiner http://arxiv.org/abs/2503.12134v1 2025-03-15T13:33:20Z 2025-03-15T13:33:20Z

We define a projective variant of classical complex orientation theory. Using this, we construct a map of spectra which lifts the total Chern class, providing an alternative answer to an old question of Segal \cite{segal}, previously answered by Lawson et al \cite{lawsonetal}. We also lift and generalize the ``sharp'' construction of Ando-French-Ganter \cite{afg} to an operation on arbitrary $\EE_\infty$-complex orientations, thereby providing a rich source of new $\EE_\infty$-orientations for commutative ring spectra. In particular we give an $\EE_\infty$-lift of the Jacobi orientation, a generalization of the much-studied two variable elliptic genus. Finally, we construct some new complex orientations of periodic ring spectra as requested in \cite{hahnyuan}.

Shachar Carmeli Kiran Luecke 25 pages, comments welcome http://arxiv.org/abs/2503.12060v1 2025-03-15T09:16:51Z 2025-03-15T09:16:51Z

We reconstruct (appropriately completed) categories of cellular motivic spectra over fields of small cohomological dimension in terms of only their absolute Galois groups. As our main application, we determine the motivic stable stems (away from the characteristic) of almost all fields.

Tom Bachmann Robert Burklund Zhouli Xu 59 pages. Comments welcome! http://arxiv.org/abs/2503.11976v1 2025-03-15T03:14:06Z 2025-03-15T03:14:06Z

In this article, we analyze the structure and relationships between magnitude homology and Eulerian magnitude homology of finite graphs. Building on the work of Kaneta and Yoshinaga, Sazdanovic and Summers, and Asao and Izumihara, we provide two proofs of the existence of torsion in Eulerian magnitude homology, offer insights into the types and orders of torsion, and present explicit computations for various classes of graphs.

Patrick Martin II Radmila Sazdanovic http://arxiv.org/abs/2503.11942v1 2025-03-15T01:20:46Z 2025-03-15T01:20:46Z

In this work, we show that the \'{e}tale sectional number (\text{\'{E}tale-sec$(-)$}), i.e., the sectional number in the category of topological spaces with the \'{e}tale quasi Grothendieck topology (as defined in arXiv:2410.22515), is either 1 or infinity. Specifically, given a continuous map $f:X\to Y$, we demonstrate that \[\text{\'{E}tale-sec$(f)$}=\begin{cases} 1,&\hbox{ if $f$ is locally sectionable,} \infty,&\hbox{ if $f$ is not locally sectionable.} \end{cases} \] Additionally, for a path-connected space $X$, the \'{e}tale topological complexity satisfies \[\text{TC}_{\text{\'{e}tale}}(X)=\begin{cases} 1,&\hbox{ if $X$ is locally contractible,} \infty,&\hbox{ if $X$ is not locally contractible.} \end{cases} \] These results provide a way to understand the \aspas{complexity} of maps and spaces within the context of the \'{e}tale quasi Grothendieck topology, a structure that considers local behavior of maps and spaces. The classification into values of 1 or infinity reflects a dichotomy in the local geometric structure of the map or space, with the presence or absence of local sections or contractibility significantly influencing the outcome.

Cesar A. Ipanaque Zapata 8 pages. Comments are welcome http://arxiv.org/abs/2211.01855v2 2025-03-14T17:05:31Z 2022-11-03T14:44:32Z

We construct a 3-variable enrichment of the Lawrence-Krammer-Bigelow (LKB) representation of the braid groups, which is the limit of a pro-nilpotent tower of representations having the original LKB representation as its bottom layer. We also construct analogous pro-nilpotent towers of representations of surface braid groups and loop braid groups.

Martin Palmer Arthur Soulié 35 pages, 7 figures. Final version, to appear in Journal of Pure and Applied Algebra http://arxiv.org/abs/2502.17415v2 2025-03-14T15:14:56Z 2025-02-24T18:48:44Z

For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen equivalence with respect to the covariant model structure on the former category and the projective model structure on the latter. When $P=A$ is a discrete category, this recovers a Quillen equivalence previously established by Heuts-Moerdijk, of which we provide an independent proof. To prove the constructed adjunction is a Quillen equivalence, we show that the left adjoint presents a previously established operadic straightening equivalence between $\infty$-categories. This involves proving that, for a discrete symmetric monoidal category $A$, the Heuts-Moerdijk equivalence is a monoidal equivalence of monoidal Quillen model categories.

Francesca Pratali Version 2: fixed statement and proof of Lemma 3.5. 33 pages, 10 figures. Comments are welcome! http://arxiv.org/abs/2008.11180v5 2025-03-14T13:19:42Z 2020-08-25T17:29:58Z

Weakly globular double categories are a model of weak $2$-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani $2$-categories. Fair $2$-categories, introduced by J. Kock, model weak $2$-categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categories and fair $2$-categories and prove they are equivalent after localisation with respect to the $2$-equivalences. This comparison sheds new light on weakly globular double categories as encoding a strictly associative, though not strictly unital, composition, as well as the category of weak units via the weak globularity condition.

Simona Paoli Improved exposition in proposition 9.1 and some other minor changes http://arxiv.org/abs/2407.09606v2 2025-03-14T12:54:47Z 2024-07-12T18:00:03Z

To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a functor on the category of rigid analytic spaces. Moreover, we show that there exists a full six functor formalism for the precomposition with the analytification functor by evoking Ayoub's thesis. As an application, we identify connective analytic K-theory in the unstable homotopy category with both $\mathbb{Z}\times\mathrm{BGL}$ and the analytification of connective algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra.

Christian Dahlhausen Can Yaylali 49 pages; Corrections in gluing (3.29), and Appendix (A.15) - Changed beginning of Section 4.1; comments are welcome! http://arxiv.org/abs/2503.11338v1 2025-03-14T12:06:27Z 2025-03-14T12:06:27Z

We define a class of motivic equivalences of small stable $\infty$-categories $W_{\mathrm{mot}}$ and show that the Dwyer--Kan localization functor $\mathrm{Cat}^{\mathrm{perf}}_\infty \to \mathrm{Cat}^{\mathrm{perf}}_\infty[W_{\mathrm{mot}}^{-1}]$ is the universal localizing invariant in the sense of Blumberg--Gepner--Tabuada. In particular, we show that every object in its target $\mathcal{M}_{\mathrm{loc}}$ can be represented as $\mathcal{U}_{\mathrm{loc}}(\mathcal{C})$ for some small stable $\infty$-category $\mathcal{C}$. As another consequence, and using work of Efimov, we improve the universal property of $\mathcal{M}_{\mathrm{loc}}$ and show that any $\aleph_1$-finitary localizing invariant factors uniquely through it.

Maxime Ramzi Vladimir Sosnilo Christoph Winges 31 pages, comments welcome! http://arxiv.org/abs/2503.11222v1 2025-03-14T09:13:48Z 2025-03-14T09:13:48Z

In this paper, we establish Betti number estimates for graphs with non-negative Ollivier curvature, and for graphs with non-negative Bakry-\'Emery curvature, providing a discrete analogue of a classical result by Bochner for manifolds. Specifically, we show that for graphs with non-negative Ollivier curvature, the first Betti number is bounded above by half of the minimum combinatorial vertex degree. In contrast, for graphs with non-negative Bakry-\'Emery curvature, we prove that the first Betti number of the path homology is bounded above by the minimum combinatorial vertex degree minus one. We further present various rigidity results, characterizing graphs that attain the upper bound on the first Betti number under non-negative Ollivier curvature. Remarkably, these graphs are precisely the discrete tori, similar to the Riemannian setting. Furthermore, we show that the results obtained using the Ollivier curvature extend to the setting of potentially non-reversible Markov chains. Additionally, we explore rigidity cases depending on the idleness parameter of the Ollivier curvature, i.e., we characterize rigidity for bone-idle graphs with non-negative Ollivier curvature that attain the upper Betti number bound. We further establish an upper bound on the first Betti number under a more general assumption, where non-negative Ollivier curvature is required only outside a finite subset. Finally, we provide several examples, e.g., we prove that for a potentially non-reversible Markov chain on a cycle of length at least five, there always exists a unique path metric with constant Ollivier curvature. Moreover, this metric has non-negative Ollivier curvature, and the upper Betti number bound is attained if and only if the curvature is zero.

Moritz Hehl Florentin Münch 45 pages, 5 figures http://arxiv.org/abs/2503.11211v1 2025-03-14T09:02:18Z 2025-03-14T09:02:18Z

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the Pontryagin-Thom construction. Using this framework, we compute the stable stems in dimensions $0$, $1$, and $2$. This work is primarily expository, revisiting proofs from \cite{Pont1} with slight modifications incorporating modern notation. Furthermore, in the final section, we discuss 2-dimensional framed manifolds with Arf invariant one and examine why the result of \cite{Pont2} regarding $\pi_2^S$ is incorrect.

Trishan Mondal 24 pages, 8 figures http://arxiv.org/abs/2503.10963v1 2025-03-14T00:14:04Z 2025-03-14T00:14:04Z

Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock. We provide a comprehensive study of fat Delta via the theory of monads with arities, and use these results to show that fat Delta is a hypermoment category in the sense of C. Berger. Specifically, by proving that the free relative semicategory monad is strongly cartesian and identifying a dense generator, the theory of monads with arities immediately gives rise to the nerve theorem. We characterise the essential image of the nerve via the Segal condition, and show that fat Delta possesses an active-inert factorisation system. Building on these results, we also establish an isomorphism between two presentations of fat Delta and show that it is a strongly unital and extensional hypermoment category.

Tom de Jong Nicolai Kraus Simona Paoli Stiéphen Pradal 34 pages. Comments are welcome