http://arxiv.org/api/5rRr7undg3VJsmQuuqAZqEuLmgE 2025-04-22T00:00:00-04:00 16516 15 15 http://arxiv.org/abs/2312.16504v2 2025-04-18T06:33:26Z 2023-12-27T10:16:16Z

We make use of the cotangent complex formalism developed by Lurie to formulate Quillen cohomology of algebras over an enriched operad. Additionally, we introduce a spectral Hochschild cohomology theory for enriched operads and algebras over them. We prove that both the Quillen and Hochschild cohomologies of algebras over an operad can be controlled by the corresponding cohomologies of the operad itself. When passing to the category of simplicial sets, we assert that both these cohomology theories for operads, as well as their associated algebras, can be calculated in the same framework of spectrum valued functors on the twisted arrow $\infty$-category of the operad of interest. Moreover, we provide a convenient cofiber sequence relating the Hochschild and cotangent complexes of an $E_n$-space, establishing an unstable analogue of a significant result obtained by Francis and Lurie. Our strategy introduces a novel perspective, focusing solely on the intrinsic properties of the operadic twisted arrow $\infty$-categories.

Truong Hoang 10.1090/tran/9447 Final version, accepted for publication in TAMS. Section 7 from the earlier version has been removed and will be included in a subsequent paper http://arxiv.org/abs/2308.10738v2 2025-04-17T19:55:12Z 2023-08-21T14:06:55Z

We test the tenet of statistical isotropy of the standard cosmological model via a homology analysis of the cosmic microwave background temperature maps. Examining small sectors of the normalized maps, we find that the results exhibit a dependence on whether we compute the mean and variance locally from the masked patch, or from the full masked sky. Assigning local mean and variance for normalization, we find the maximum discrepancy between the data and model in the galactic northern hemisphere at more than $3.5$ s.d. for the PR4 dataset at degree-scale. For the PR3 dataset, the C-R and SMICA maps exhibit higher significance than the PR4 dataset at $\sim 4$ and $4.1$ s.d. respectively, however the NILC and SEVEM maps exhibit lower significance at $\sim 3.4$ s.d. The southern hemisphere exhibits high degree of consistency between the data and the model for both the PR4 and PR3 datasets. Assigning the mean and variance of the full masked sky decreases the significance for the northern hemisphere, the tails in particular. However the tails in the southern hemisphere are strongly discrepant at more than $4$ standard deviations at approximately $5$ degrees. The $p$-values obtained from the $\chi^2$-statistic exhibit commensurate significance in both the experiments. Examining the quadrants of the sphere, we find the first quadrant to be the major source of the discrepancy. Prima-facie, the results indicate a breakdown of statistical isotropy in the CMB maps, however more work is needed to ascertain the source of the anomaly. Regardless, these map characteristics may have serious consequences for downstream computations such as parameter estimation, and the related Hubble tension.

Pratyush Pranav Thomas Buchert 10.1051/0004-6361/202347761 19 pages, 14 figures, 6 tables A&A 695, A35 (2025) http://arxiv.org/abs/2204.03434v3 2025-04-17T09:02:32Z 2022-04-07T13:28:44Z

We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula.

Toni Annala Ryomei Iwasa v3: 47 pages, small corrections and edits, the numbering has not been changed from v2 http://arxiv.org/abs/2504.13215v1 2025-04-16T23:28:31Z 2025-04-16T23:28:31Z

We investigate predictions of stochastic compartmental models on the severity of disease outbreaks. The models we consider are the Susceptible-Infected-Susceptible (SIS) for bacterial infections, and the Susceptible -Infected-Removed (SIR) for airborne diseases. Stochasticity enters the compartmental models as random fluctuations of the contact rate, to account for uncertainties in the disease spread. We consider three types of noise to model the random fluctuations: the Gaussian white and Ornstein-Uhlenbeck noises, and the logarithmic Ornstein-Uhlenbeck (logOU). The advantages of logOU noise are its positivity and its ability to model the presence of superspreaders. We utilize homological bifurcation plots from Topological Data Analysis to automatically determine the shape of the long-time distributions of the number of infected for the SIS, and removed for the SIR model, over a range of basic reproduction numbers and relative noise intensities. LogOU noise results in distributions that stay close to the endemic deterministic equilibrium even for high noise intensities. For low reproduction rates and increasing intensity, the distribution peak shifts towards zero, that is, disease eradication, for all three noises; for logOU noise the shift is the slowest. Our study underlines the sensitivity of model predictions to the type of noise considered in contact rate.

Sunia Tanweer Konstantinos Mamis Firas A. Khasawneh 27 pages, 20 figures http://arxiv.org/abs/2504.12201v1 2025-04-16T15:51:46Z 2025-04-16T15:51:46Z

We show that the fundamental group of unlabelled configuration spaces of thick particles in either a width-2 infinite strip or a width-2 rectangle are right-angled Artin groups capturing the right-angled essence of Artin's braid groups.

Omar Alvarado-Garduño Jesús González Matthew Kahle 28 pages, 8 figures http://arxiv.org/abs/2503.20818v2 2025-04-16T15:03:34Z 2025-03-25T20:21:16Z

The Pontryagin-Thom theorem gives an isomorphism from the cobordism group of framed $n$-manifolds to the $n$th stable homotopy group of the sphere spectrum. In this paper, we prove the generalization of the Pontryagin-Thom theorem for families of framed equivariant manifolds parameterized over a compact base space.

Lucas Williams 45 pages. Updated introduction http://arxiv.org/abs/2504.05587v2 2025-04-16T10:29:24Z 2025-04-08T00:49:32Z

We study a variant of the embedding functor $\mathop{\mathrm{Emb}}(M, N)$ that incorporates homotopical data from the frame bundle of the target manifold $N$. Given a parallelized $m$-manifold $M$ and an $n$-manifold $N$ equipped with a section of its $m$-frame bundle, we define a modified embedding functor $\widetilde{\mathop{\mathrm{Emb}}}(M, N)$ that interpolates between the standard embedding and a reference framing. Using the manifold calculus of functors, we identify the Taylor tower of $\widetilde{\mathop{\mathrm{Emb}}}(M, N)$ with a mapping space of right modules over the Fulton-MacPherson operad. We prove a convergence theorem under a codimension condition, establishing a weak equivalence between $\widetilde{\mathop{\mathrm{Emb}}}(M, N)$ and its Taylor approximation. Finally, under rationalization, we describe the derived mapping space in terms of a combinatorial hairy graph complex, enabling computational access to the rational homotopy type of the space of embeddings.

Semyon Abramyan http://arxiv.org/abs/2504.11694v1 2025-04-16T01:34:29Z 2025-04-16T01:34:29Z

We introduce the concept of weighted persistence diagrams and develop a functorial pipeline for constructing them from finite metric measure spaces. This builds upon an existing functorial framework for generating classical persistence diagrams from finite pseudo-metric spaces. To quantify differences between weighted persistence diagrams, we define the $p$-edit distance for $p\in [1,\infty]$, and-focusing on the weighted Vietoris-Rips filtration-we establish that these diagrams are stable with respect to the $p$-Gromov-Wasserstein distance as a direct consequence of functoriality. In addition, we present an Optimal Transport-inspired formulation of the $p$-edit distance, enhancing its conceptual clarity. Finally, we explore the discriminative power of weighted persistence diagrams, demonstrating advantages over their unweighted counterparts.

Aziz Burak Gülen Facundo Mémoli Amit Patel http://arxiv.org/abs/2503.17149v2 2025-04-15T21:04:52Z 2025-03-21T13:52:09Z

In the 1980's, Mahowald and Kane used integral Brown--Gitler spectra to decompose $ku \wedge ku$ as a sum of finitely generated $ku$-module spectra. This splitting, along with an analogous decomposition of $ko \wedge ko$ led to a great deal of progress in stable homotopy computations and understanding of $v_1$-periodicity in the stable homotopy groups of spheres. In this paper, we construct a $C_2$-equivariant lift of Mahowald and Kane's splitting of $ku \wedge ku$. We also give a description of the resulting $C_2$-equivariant splitting in terms of $C_2$-equivariant Adams covers and record an analogous splitting for $H\underline{\mathbb{Z}} \wedge H \underline{\mathbb{Z}}$. Similarly to the nonequivariant story, we expect the techniques of this paper to facilitate further $C_2$-equivariant stable homotopy computations and understanding of $v_1$-periodicity in $C_2$-equivariant stable stems.

Guchuan Li Sarah Petersen Elizabeth Tatum 60 pages, expanded exposition and corrects earlier version's typos, comments welcome http://arxiv.org/abs/2412.01816v2 2025-04-15T18:14:41Z 2024-12-02T18:56:21Z

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper map. We define reduced end cohomology as the relative end cohomology of a ray-based space. We use those results to prove a version of a theorem of King that computes the reduced end cohomology of an end sum of two manifolds. We include a complete proof of Freudenthal's fundamental theorem on the number of ends of a topological group, and we use our results on dimension-zero end cohomology to prove -- without using transfinite induction -- a theorem of N\"obeling on freeness of certain modules of continuous functions.

William G. Bass Jack S. Calcut 56 pages, 21 figures. Included acknowledgement, replaced Figure 4.2, and corrected a few typos http://arxiv.org/abs/2503.04297v2 2025-04-15T17:54:36Z 2025-03-06T10:35:51Z

We define a properad that encodes $n$-pre-Calabi-Yau algebras with vanishing copairing. These algebras include chains on the based loop space of any space $X$ endowed with a fundamental class $[X]$ such that $(X,[X])$ satisfies Poincar\'e duality with local system coefficients, such as oriented manifolds. We say that such a pair $(X,[X])$ is coformal when $C_*(\Omega X)$ is formal as an $n$-pre-Calabi-Yau algebra with vanishing copairing. Using a refined version of properadic Kaledin classes, we establish the intrinsic coformality of all spheres in characteristic zero. Furthermore, we prove that intrinsic formality fails for even-dimensional spheres in characteristic two.

Coline Emprin Alex Takeda 29 pages, comments are welcome http://arxiv.org/abs/2504.11223v1 2025-04-15T14:25:01Z 2025-04-15T14:25:01Z

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$ directly in terms of the simplices of $X$. Working at a purely combinatorial level, we show two main results that confirm the (combinatorial) algebraic topology of our $\Omega X$ behaves like that of the topological based loop space. Whereas our $\Omega X$ is generally a disconnected simplical complex, each component of $\Omega X$ has the same edge group, up to isomorphism. We show an isomorphism between the edge group of $\Omega X$ and the combinatorial second homotopy group of $X$ as it has been defined in separate work (arxiv:2503.23651). Finally, we enter the topological setting and, relying on prior work of Stone, show a homotopy equivalence between the spatial realization of our $\Omega X$ and the based loop space of the spatial realization of $X$.

Gregory Lupton Jonathan Scott http://arxiv.org/abs/2504.11203v1 2025-04-15T14:02:59Z 2025-04-15T14:02:59Z

Vineyards are a common way to study persistence diagrams of a data set which is changing, as strong stability means that it is possible to pair points in ``nearby'' persistence diagrams, yielding a family of point sets which connect into curves when stacked. Recent work has also studied monodromy in the persistent homology transform, demonstrating some interesting connections between an input shape and monodromy in the persistent homology transform for 0-dimensional homology embedded in $\mathbb{R}^2$. In this work, we re-characterize monodromy in terms of periodicity of the associated vineyard of persistence diagrams. We construct a family of objects in any dimension which have non-trivial monodromy for $l$-persistence of any periodicity and for any $l$. More generally we prove that any knot or link can appear as a vineyard for a shape in $\mathbb{R}^d$, with $d\geq 3$. This shows an intriguing and, to the best of our knowledge, previously unknown connection between knots and persistence vineyards. In particular this shows that vineyards are topologically as rich as one could possibly hope.

Erin Chambers Christopher Fillmore Elizabeth Stephenson Mathijs Wintraecken 27 pages, 15 figures http://arxiv.org/abs/2503.14420v2 2025-04-15T12:23:16Z 2025-03-18T16:54:22Z

Using virtual localization in Witt sheaf cohomology, we show that the generating series of quadratic Donaldson-Thomas invariants of $(\mathbb{P}^1)^3$, valued in the Witt ring of $\mathbb{R}$, $W(\mathbb{R})\cong \mathbb{Z}$, is equal to $M(q^2)^{-8}$, where $M(q)$ is the MacMahon function. This confirms a modified version of a conjecture of Viergever. We also show that a localized version of this conjecture holds for certain iterated blow-ups of $(\mathbb{P}^1)^3$ and other related smooth proper toric varieties.

Marc Levine Anna M. Viergever In the introduction, we altered our main conjecture slightly, deleting a condition for the precise value of the constant $\epsilon\in\{\pm1\}$, and added comments about the vanishing of the odd quadratic DT invariants http://arxiv.org/abs/2504.06590v2 2025-04-15T11:33:09Z 2025-04-09T05:35:50Z

We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted coefficients, as well as a proof of uniqueness. These results are further employed to study automorphism groups of minimal cbba's and to characterize formality in terms of grading automorphisms.

Jiahao Hu Our construction of minimal models does not produce connected models without the simply-connectedness assumption, [v2] corrected this by adding the assumption. 24 pages, comments welcome