http://arxiv.org/api/QBp8L8QQ4UvG4zwpEFXkEqrAtww 2025-05-14T00:00:00-04:00 16584 435 15 http://arxiv.org/abs/2310.02159v3 2025-02-28T11:12:43Z 2023-10-03T15:47:27Z

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range of algebraic and topological settings. Firstly we investigate and characterise purity preserving functors from a triangulated category into a finitely accessible category with products, which we term coherent functors. This yields a new property for the restricted Yoneda embedding as the universal coherent functor. We build upon the utility of coherent functors to provide several equivalent conditions for an additive, not necessarily triangulated, functor between triangulated categories to be definable: a functor is definable if and only if it preserves filtered homology colimits and products, if and only if it uniquely extends along the restricted Yoneda embedding to a definable functor between the corresponding module categories. We apply these results to the functoriality of the Ziegler spectrum, an object of study in pure homological algebra and representation theory.

Isaac Bird Jordan Williamson v3: 29pp. This version mainly consists of the first part of the previous version. The applications in the previous version have been split off for a new paper in preparation http://arxiv.org/abs/2502.20736v1 2025-02-28T05:36:58Z 2025-02-28T05:36:58Z

Let $M$ be a closed, 3-connected, 8-dimensional smooth manifold. In this paper, we compute the concordance inertia group of the product manifold $M\times\mathbb{S}^k$ for $1\leq k\leq 14$ and classify all smooth manifolds homeomorphic to $M\times\mathbb{S}^k,$ up to concordance for $1\leq k\leq 10.$ Moreover, we provide a diffeomorphism classification of smooth manifolds homeomorphic to $M\times\mathbb{S}^1,$ where $H^4(M;\mathbb{Z})=\mathbb{Z}.$

Ankur Sarkar 16 Pages, Comments are very welcome http://arxiv.org/abs/2408.07972v2 2025-02-28T02:22:25Z 2024-08-15T06:38:11Z

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology theories.

Adam Pratt http://arxiv.org/abs/2502.20646v1 2025-02-28T01:57:02Z 2025-02-28T01:57:02Z

We study the electronic, magnetic, and spin transport properties of the orthorhombic Mn$_{5}$Si$_{3}$ compound in the $AF2$ phase using symmetry analysis and ab-initio calculations. Our ground state energy calculations align with experimental observations, demonstrating that the collinear antiferromagnetic (AFM) order, with N\'{e}el vector in the [010] direction, is the most stable magnetic configuration both with and without spin-orbit coupling (SOC) in a bulk lattice geometry. We identified an unconventional eight-fold degenerate Dirac nodal line (DNL) close to the Fermi level, characterized by negligible SOC. This DNL is robustly protected by a unique combination of a pure-spin symmetry and a lattice symmetry together with magnetic space group symmetries. Upon introducing SOC, this degeneracy is reduced to two four-fold DNLs, being protected by the combination of time-reversal, partial translation and nonsymmorphic symmetries within the magnetic space group. We predict also a large intrinsic spin Hall conductivity (SHC) which correlates with the presence of SOC-induced splitting of these eight-fold degenerate DNLs near the Fermi level. These intriguing characteristics position collinear antiferromagnet Mn$_{5}$Si$_{3}$ as a compelling candidate for spintronic applications, particularly in the generation and detection of spin currents, while remaining compatible with modern silicon technology.

Victor Mendoza-Estrada Rafael González-Hernández Bernardo Uribe Libor Šmejkal 10.1103/PhysRevB.111.085147 14 pages, 3 figures Phys. Rev. B 111, 085147 (2025) http://arxiv.org/abs/2502.20618v1 2025-02-28T00:48:47Z 2025-02-28T00:48:47Z

Rost defined the Chow group of algebraic cycles with coefficients in a locally constant torsion etale sheaf. We generalize the definition to allow non-torsion coefficients. Chow groups with twisted coefficients are related to Serre's notion of "negligible cohomology" for finite groups. We generalize a computation by Merkurjev and Scavia of negligible cohomology, in terms of twisted Chow groups. We compute the Chow groups of the classifying space BG with coefficients in an arbitrary G-module, for several finite groups G (cyclic, quaternion, ${\bf Z}/2\times {\bf Z}/2$). There are connections with the theory of algebraic tori, notably the concept of coflasque resolutions. We compare twisted Chow groups with twisted motivic cohomology as defined by Heller-Voineagu-Ostvaer. Surprisingly, there is a surjection from twisted motivic cohomology to twisted Chow groups, but it is not always an isomorphism.

Burt Totaro 43 pages http://arxiv.org/abs/2105.00518v2 2025-02-27T23:33:15Z 2021-05-02T17:55:31Z

In standard persistent homology, a persistent cycle born and dying with a persistence interval (bar) associates the bar with a concrete topological representative, which provides means to effectively navigate back from the barcode to the topological space. Among the possibly many, optimal persistent cycles bring forth further information due to having guaranteed quality. However, topological features usually go through variations in the lifecycle of a bar which a single persistent cycle may not capture. Hence, for persistent homology induced from PL functions, we propose levelset persistent cycles consisting of a sequence of cycles that depict the evolution of homological features from birth to death. Our definition is based on levelset zigzag persistence which involves four types of persistence intervals as opposed to the two types in standard persistence. For each of the four types, we present a polynomial-time algorithm computing an optimal sequence of levelset persistent $p$-cycles for the so-called weak $(p+1)$-pseudomanifolds. Given that optimal cycle problems for homology are NP-hard in general, our results are useful in practice because weak pseudomanifolds do appear in applications. Our algorithms draw upon an idea of relating optimal cycles to min-cuts in a graph that was exploited earlier for standard persistent cycles. Notice that levelset zigzag poses non-trivial challenges for the approach because a sequence of optimal cycles instead of a single one needs to be computed in this case. We show some empirical evidence that optimal cycles produced by our implemented software have nice quality.

Tamal K. Dey Tao Hou Anirudh Pulavarthy http://arxiv.org/abs/2502.13050v2 2025-02-27T17:28:00Z 2025-02-18T17:00:13Z

The Hopf index equates the multiplicity of a zero of a section of a vector bundle with a winding number. We give eight analogues for isotropic sections of bundles with quadratic form. There are applications to cosection localised virtual cycles and to DT$^4$ virtual cycles.

Martijn Kool Jeongseok Oh Jørgen Vold Rennemo Richard P Thomas 27 pages, minor updates http://arxiv.org/abs/2502.20090v1 2025-02-27T13:48:02Z 2025-02-27T13:48:02Z

The concept of $P_F$-frames was introduced by Ngoako [24] as a point-free extension of $P_F$-spaces. We observe that the open cozero quotient of a $P_F$-frame is itself a $P_F$-frame. The class of $P_F$-frames contains the class of $P$-frames and is, in turn, contained in the class of $F$-frames. We show that a frame $L$ is a $P_F$-frame if and only if $\beta L$ is a $P_F$-frame. Moreover, $P_F$-frames are precisely those essential $P$-frames that are also $F$-frames. Lastly, we provide a characterization of $P_F$-frames via $z$-, $d$-, and $z_r$-ideals.

Mack Matlabyana Thabo Ngoako Hlengani Siweya On the occasion of Jorge Picado 60th birthday http://arxiv.org/abs/2502.19945v1 2025-02-27T10:14:49Z 2025-02-27T10:14:49Z

The Poincar\'e-Hopf theorem for line fields, as described in a paper of Crowley and Grant, is interpreted as a special case of a Poincar\'e-Hopf theorem for $n$-valued sections of a vector bundle over a closed manifold of the same dimension.

M. C. Crabb http://arxiv.org/abs/2502.19853v1 2025-02-27T07:54:37Z 2025-02-27T07:54:37Z

We deduce that the fundamental groups of the orbit configuration spaces of an effective and properly discontinuous action of a discrete group on a connected aspherical 2-manifold, with isolated fixed points, fit into a four-term exact sequence. This comes as a consequence of the four-term exact sequence of orbifold braid groups ([16], [11] and [17]). The proof relates these two exact sequences and also draws a new consequence (Corollary 2.3) on the later one.

S. K. Roushon 8 pages. Comments are welcome http://arxiv.org/abs/2411.01857v2 2025-02-27T05:38:59Z 2024-11-04T07:15:29Z

We study the concepts of the $\ell_p$-Vietoris-Rips simplicial set and the $\ell_p$-Vietoris-Rips complex of a metric space, where $1\leq p \leq \infty.$ This theory unifies two established theories: for $p=\infty,$ this is the classical theory of Vietoris-Rips complexes, and for $p=1,$ this corresponds to the blurred magnitude homology theory. We prove several results that are known for the Vietoris-Rips complex in the general case: (1) we prove a stability theorem for the corresponding version of the persistent homology; (2) we show that, for a compact Riemannian manifold and a sufficiently small scale parameter, all the "$\ell_p$-Vietoris-Rips spaces" are homotopy equivalent to the manifold; (3) we demonstrate that the $\ell_p$-Vietoris-Rips spaces are invariant (up to homotopy) under taking the metric completion. Additionally, we show that the limit of the homology groups of the $\ell_p$-Vietoris-Rips spaces, as the scale parameter tends to zero, does not depend on $p$; and that the homology groups of the $\ell_p$-Vietoris-Rips spaces commute with filtered colimits of metric spaces.

Sergei O. Ivanov Xiaomeng Xu http://arxiv.org/abs/2501.18759v2 2025-02-26T21:10:46Z 2025-01-30T21:27:50Z

Let $X$ be a compact Riemann surface of genus $g$ and let $x \in X$. We derive the classical presentation of $\pi_1(X,x)$ (i.e the one given by $2g$ generators $a_1,b_1, \dots, a_g,b_g$ and the relation $\prod_{i=1}^g[a_i,b_i] = 1$) from the description of $X$ as a branched cover $f : X \to \mathbb{C}\mathbb{P}^1$.

Meirav Amram Michael Chitayat Yaacov Kopeliovich Changed abstract. Added additional details throughout. Simplified notation where possible and corrected many minor issues http://arxiv.org/abs/2502.19369v1 2025-02-26T18:07:25Z 2025-02-26T18:07:25Z

Morse decompositions partition the flows in a vector field into equivalent structures. Given such a decomposition, one can define a further summary of its flow structure by what is called a connection matrix.These matrices, a generalization of Morse boundary operators from classical Morse theory, capture the connections made by the flows among the critical structures - such as attractors, repellers, and orbits - in a vector field. Recently, in the context of combinatorial dynamics, an efficient persistence-like algorithm to compute connection matrices has been proposed in~\cite{DLMS24}. We show that, actually, the classical persistence algorithm with exhaustive reduction retrieves connection matrices, both simplifying the algorithm of~\cite{DLMS24} and bringing the theory of persistence closer to combinatorial dynamical systems. We supplement this main result with an observation: the concept of persistence as defined for scalar fields naturally adapts to Morse decompositions whose Morse sets are filtered with a Lyapunov function. We conclude by presenting preliminary experimental results.

Tamal K. Dey Michał Lipiński Andrew Haas http://arxiv.org/abs/2501.05263v2 2025-02-26T13:47:36Z 2025-01-09T14:17:07Z

We provide a straightening-unstraightening adjunction for $\infty$-operads in Lurie's formalism, and show it establishes an equivalence between the $\infty$-category of operadic left fibrations over an $\infty$-operad $\mathcal{O}^\otimes$ and the $\infty$-category of $\mathcal{O}^\otimes$-algebras in spaces. In order to do so, we prove that the Hinich-Moerdijk comparison functors induce an equivalence between the $\infty$-categories of operadic left fibrations and dendroidal left fibrations over an $\infty$-operad, and we characterize, for any symmetric monoidal $\infty$-category $\mathcal{C}^\otimes$, the essential image of the monoidal unstraightening functor restricted to strong monoidal functors $\mathcal{C}^\otimes\to \mathcal{S}^\times$.

Francesca Pratali Version two, comments are welcome! http://arxiv.org/abs/2502.11839v2 2025-02-26T08:35:58Z 2025-02-17T14:34:39Z

We construct explicit models of universal $H \mathbb{Z}[J^{-1}]$-acyclic spaces $\mathcal M$, for any subset $J$ of the prime numbers. The corresponding nullification functors provide thus plus construction functors for ordinary homology with $\mathbb{Z}[J^{-1}]$ coefficients. Motivated by classical results about Quillen's plus construction for integral homology, we prove that the $H \mathbb{Z}[J^{-1}]$-acyclization functor and the $\mathcal M$-cellularization functor coincide. We show that the acyclization-plus construction fiber sequence is always a cofiber sequence for simply connected spaces, but almost never so when the plus construction is not simply connected, unlike in the classical case.

Guille Carrión Santiago Ramón Flores Jérôme Scherer