On minimal shapes and topological invariants in hyperbolic lattices

2025-04-18T21:12:59Z

We characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. The main tool is a layer decomposition due to Rietman--Nienhuis--Oitmaa and Moran, which allows us to prove convergence towards the Cheeger constant when these shapes exhaust the lattice. Furthermore, we apply a celebrated result of Floyd--Plotnick, which will allow us to compute the Euler characteristic for these graphs in terms of certain growth functions and the number of $n$-sized animals on those lattices.

The Topological Structures of the Orders of Hypergraphs

2025-04-18T18:30:24Z

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.

Directed homotopy modules

2025-04-18T17:59:57Z

In this short note, we argue that directed homotopy can be given the structure of generalized modules, over particular monoids. This is part of a general attempt for refoundation of directed topology.

Quillen cohomology of enriched operads

2025-04-18T14:51:59Z

A modern insight due to Quillen, which is further developed by Lurie, asserts that many cohomology theories of interest are particular cases of a single construction, which allows one to define cohomology groups in an abstract setting using only intrinsic properties of the category (or $\infty$-category) at hand. This universal cohomology theory is known as Quillen cohomology. In any setting, Quillen cohomology of a given object is classified by its cotangent complex. The main purpose of this paper is to study Quillen cohomology of operads enriched over a general base category. Our main result provides an explicit formula for computing Quillen cohomology of enriched operads, based on a procedure of taking certain infinitesimal models of their cotangent complexes. Furthermore, we propose a natural construction of the twisted arrow $\infty$-categories of simplicial operads. We then assert that the cotangent complex of a simplicial operad can be represented as a spectrum valued functor on its twisted arrow $\infty$-category. When working in stable base categories such as chain complexes and spectra, Francis and Lurie proved the existence of a fiber sequence relating the cotangent complex and Hochschild complex of an $E_n$-algebra, from which a conjecture of Kontsevich is verified. We establish an analogous fiber sequence for the operad $E_n$ itself, in the topological setting.

Natural homotopy of multipointed d-spaces

2025-04-18T12:45:44Z

We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works.

Hochschild and cotangent complexes of operadic algebras

2025-04-18T06:33:26Z

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.

Homology reveals significant anisotropy in the cosmic microwave background

2025-04-17T19:55:12Z

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.

Motivic spectra and universality of $K$-theory

2025-04-17T09:02:32Z

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.

Use of Topological Data Analysis for the Detection of Phenomenological Bifurcations in Stochastic Epidemiological Models

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.

A combinatorial genesis of the right-angled relations in Artin's classical braid groups

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.

The Pontryagin-Thom theorem for families of framed equivariant manifolds

2025-04-16T15:03:34Z

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.

Embedding calculus for parallelized manifolds

2025-04-16T10:29:24Z

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.

$\ell^p$-Stability of Weighted Persistence Diagrams

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.

A spectrum-level splitting of the $ku_\mathbb{R}$-cooperations algebra

2025-04-15T21:04:52Z

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.

Ends and end cohomology

2025-04-15T18:14:41Z

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.