http://arxiv.org/api/a7/WHr2vP76KTFEtFKyWqSPI4C0 2025-05-09T00:00:00-04:00 16568 255 15 http://arxiv.org/abs/2309.00577v2 2025-03-26T07:59:47Z 2023-09-01T16:43:31Z

Magnitude homology is an invariant of enriched categories which generalizes ordinary categorical homology -- the homology of the classifying space of a small category. The classifying space can also be generalized in a different direction: it extends from categories to bicategories as the geometric realization of the geometric nerve. This paper introduces a hybrid of the two ideas: an iterated magnitude homology theory for categories with a second- or higher-order enrichment. This encompasses, for example, groups equipped with extra structure such as a partial ordering or a bi-invariant metric. In the case of a strict 2-category, iterated magnitude homology recovers the homology of the classifying space; we investigate its content and behaviour when interpreted for partially ordered groups, normed groups, and strict $n$-categories for $n > 2$.

Emily Roff 41 pages. Version 2: an error in Prop. 6.2 has been corrected, some typos corrected, references updated. This is the final version, to appear in Advances in Mathematics http://arxiv.org/abs/2503.14769v2 2025-03-25T23:58:31Z 2025-03-18T22:43:06Z

In this note I demonstrate that the collection of Dynkin systems on finite sets assembles into a Connes-Consani $\mathbb{F}_1$-module, with the collection of partitions of finite sets as a sub-module. The underlying simplicial set of this $\mathbb{F}_1$-module is shown to be isomorphic to the delooping of the Krasner hyperfield $\mathbb{K}$, where $1+1=\{0,1\}$. The face and degeneracy maps of the underlying simplicial set of the $\mathbb{F}_1$-module of partitions correspond to merging partition blocks and introducing singleton blocks, respectively. I also show that the $\mathbb{F}_1$-module of partitions cannot correspond to a set with a binary operation (even partially defined or multivalued) under the ``Eilenberg-MacLane'' embedding. These results imply that the $n$-fold sum of the Dynkin $\mathbb{F}_1$-module with itself is isomorphic to the $\mathbb{F}_1$-module of the discrete projective geometry on $n$ points.

Jonathan Beardsley added and clarified exposition, a number of typos repaired, comments always welcome http://arxiv.org/abs/2503.06836v2 2025-03-25T23:55:46Z 2025-03-10T01:49:02Z

Motivated by a work of Fu-So-Song, we associate a symmetric matrix $A$ to a plane vector sequence $v$ and give a formula to find the signature of $A$ in terms of the sequence $v$. When $A$ is nonsingular, we interpret the relation between $A$ and $A^{-1}$ from a topological viewpoint. Finally, we associate an omnioriented quasitoric orbifold $X$ of real dimension four to the sequence $v$ and show that $A^{-1}$ is the intersection matrix of the characteristic suborbifolds of $X$.

Mikiya Masuda http://arxiv.org/abs/2503.17130v2 2025-03-25T20:08:29Z 2025-03-21T13:28:22Z

We establish the foundations of the theory of persistent cohomology operations, derive decomposition formulas for wedge sums and products, and prove their Gromov-Hausdorff stability. We use these results to construct pairs of Riemannian pseudomanifolds for which the Gromov-Hausdorff estimates derived from persistent cohomology operations are strictly sharper than those obtained using persistent homology.

Anibal M. Medina-Mardones Ling Zhou 32 pages, 3 figures http://arxiv.org/abs/2503.19989v1 2025-03-25T18:20:43Z 2025-03-25T18:20:43Z

Let $H_g$ denote the 4-dimensional handlebody of genus $g$ and $U_g$ its boundary. We show that for all $g \ge 0$ the map from $B Homeo(H_g)$ to $B Homeo(U_g)$ induced by restriction to the boundary admits a section.

Rachael Boyd Corey Bregman Jan Steinebrunner 11 pages http://arxiv.org/abs/2209.06121v2 2025-03-25T17:02:03Z 2022-09-13T16:11:54Z

Baez-Dolan type plus constructions serve three main purposes: They (1) corepresent categorical bimodules that are monoids with respect to a plethysm product, (2) allow to define functors as bimodule monoids, and thereby algebras over functors, (3) provide a theory of twists of monads. Unital (monoidal) bimodule monoids yield (monoidal) categories and the corepresentation is for indexed enrichments of categories. The original Baez--Dolan construction constructed algebras over operads. We define several of these constructions in the general context of categories and (symmetric) monoidal categories, show that they are functorial, and prove their corepresentation properties. One application is that the structures corepresented by an FC, like operads, props, etc. can be defined as plethysm monoids if and only if the corepresenting FC is a plus construction. In one direction, we prove that such a plus construction is based on the new notion of {Unique Factorization Category} (UFC). We also prove that the resulting FC has special properties, like being cubical. This explains why there is no monoid formulation for cyclic or modular operads or props, but there is for operads and properads. Using the bimodule monoids point of view, we prove that as monoidal bimodule monoids FCs are characterized by the fact that the functor constructing free algebras preserves the property of being strongly monoidal. We give a local presentation, as well as a global description, and a graphical version using decorated groupoid colored graphs. The global presentation utilizes pasting diagrams from 2-categories or equivalently double categories. In the special case of a UFC, we also present a graphical formalism with groupoid colored graphs. This allows us to identify our plus constructions as the step-by-step generalization of the Baez-Dolan plus constructions.

Ralph M. Kaufmann Michael Monaco Version 2. Shortened from previous and includes new material http://arxiv.org/abs/2408.17236v2 2025-03-25T16:56:02Z 2024-08-30T12:26:42Z

We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.

Christian Schlichtkrull 20 pages. Minor revision: Added reference and corrected typo. Comments are welcome http://arxiv.org/abs/2503.19830v1 2025-03-25T16:46:34Z 2025-03-25T16:46:34Z

We discuss the cohomology of the bridgeless graph complex, that is, the subcomplex of the Kontsevich graph complex spanned by bridgeless graphs.

Thomas Willwacher http://arxiv.org/abs/2308.12945v3 2025-03-25T16:30:43Z 2023-08-24T17:34:23Z

A Thom spectrum model for a $C_2$-equivariant analogue of integral Brown--Gitler spectra is established and shown to have a multiplicative property. The $C_2$-equivariant spectra constructed enjoy properties analogous to classical nonequivariant integral Brown--Gitler spectra and thus may prove useful for producing $C_2$-equivariant analogues of splittings of $BP \langle 1 \rangle \wedge BP \langle 1 \rangle$ and $bo \wedge bo.$

Guchuan Li Sarah Petersen Elizabeth Ellen Tatum Changed subscript on Brown-Gitler spectra to agree with our subsequent paper, 15 pages, comments welcome http://arxiv.org/abs/2504.16935v1 2025-03-25T11:00:45Z 2025-03-25T11:00:45Z

We study $\mathbb{E}_n$-Koszul duality for pairs of algebras of the form $\mathrm{C}_{\bullet}(\Omega^{n}_*X;\Bbbk) \leftrightarrow \mathrm{C}^{\bullet}(X;\Bbbk)$, and the closely related question of $n$-affineness for Betti stacks. It was expected, but not known, that $\mathbb{E}_n$-Koszul duality should induce a kind of Morita equivalence between categories of iterated modules. We establish this rigorously by proving that the $(\infty,n)$-category of iterated modules over $\mathrm{C}_{\bullet}(\Omega_*^{n+1}X;\Bbbk)$ is equivalent to the $(\infty,n)$-category of quasi-coherent sheaves of $(\infty,n-1)$-categories on $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$, where $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$ is the cospectrum of $\mathrm{C}^{\bullet}(X;\Bbbk)$. By the monodromy equivalence, these categories are also equivalent to the category of higher local systems on $X$, $n\mathbf{LocSysCat}^{n-1}(X;\Bbbk)$. Our result is new already in the classical case $n=1$, although it can be seen to recover well known formulations of $\mathbb{E}_1$-Koszul duality as a Morita equivalence of module categories (up to appropriate completions of the $t$-structures). We also investigate (higher) affineness properties of Betti stacks. We give a complete characterization of $n$-affine Betti stacks, in terms of the $0$-affineness of their iterated loop space. As a consequence, we prove that $n$-truncated Betti stacks are $n$-affine; and that $\pi_{n+1}(X)$ is an obstruction to $n$-affineness.

James Pascaleff Emanuele Pavia Nicolò Sibilla Originally appeared as the second part in a larger paper containing also https://arxiv.org/abs/2501.10241 ; now split in two parts http://arxiv.org/abs/2212.05494v3 2025-03-25T04:26:37Z 2022-12-11T12:44:37Z

For each pair $(m,n)$ of positive integers with $(m,n)\not= (1,1)$ and an arbitrary field $\bf F$ with algebraic closure $\overline{\bf F}$, let $\rm Po^{d,m}_n(\bf F)$ denote the space of $m$-tuples $(f_1(z),\cdots ,f_m(z))\in \bf F [z]^m$ of $\bf F$-coefficients monic polynomials of the same degree $d$ such that the polynomials $\{f_k(z)\}_{k=1}^m$ have no common root in $\overline{\bf F}$ of multiplicity $\geq n$. These spaces $\rm Po^{d,m}_n(\bf F)$ were first defined and studied by B. Farb and J. Wolfson as generalizations of spaces first studied by Arnold, Vassiliev and Segal and others in several different contexts. In previous we determined explicitly the homotopy type of this space in the case $\bf F =\Bbb C$. In this paper, we investigate the case $\bf F =\Bbb R$.

Andrzej Kozlowski Kohhei Yamaguchi http://arxiv.org/abs/2407.18208v3 2025-03-24T20:44:51Z 2024-07-25T17:18:11Z

Answering a question of Randal-Williams, we show the natural maps from split Steinberg modules of a Dedekind domain to the associated Steinberg modules are surjective.

Daniel Armeanu Jeremy Miller 5 pages. Accepted for publication in Journal of Homotopy and Related Structures http://arxiv.org/abs/2312.16645v2 2025-03-24T16:49:34Z 2023-12-27T17:22:50Z

We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in a compactly generated derived category of the second kind, and show that it is invariant under Morita equivalence of the second kind. A bimodule version of Koszul duality is constructed and used to show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality. We show that Hochschild cohomology of the second kind of an algebra often computes the ordinary Hochschild cohomology of geometrically meaningful dg categories. Examples include the category of infinity local systems on a topological space, the bounded derived category of a complex algebraic manifold and the category of matrix factorizations.

Ai Guan Julian Holstein Andrey Lazarev V2: minor improvements. 24 pages http://arxiv.org/abs/2503.06969v3 2025-03-24T16:00:03Z 2025-03-10T06:29:19Z

The `sectional category' of a map has been studied in two ways: on the one hand with open covers, and on the other hand with Ganea and Whitehead style constructions. For these approaches to be equivalent, the normality of the codomain is necessary. We show that this is the only condition. The `Lusternik-Schnirelmann category' of a space, as well as Farber's `topological complexity', are particular cases of sectional categories. In addition, Mac\'ias-Virg\'os and Mosquera-Lois introduced the notion of `homotopic distance' between two maps, showing that it is a distance on the homotopy class of maps with same domain and codomain provided the domain is normal. We introduce the notion of `lifting category' which unifies the notions of sectional category, topological complexity, and homotopic distance, all these notions being special cases of lifting category. A special attention is also paid to the difference between the pointed and unpointed cases.

Jean-Paul Doeraene Mohammed El Haouari 18 pages http://arxiv.org/abs/2002.01470v2 2025-03-24T15:10:24Z 2020-02-04T18:56:28Z

We exploit the Galois symmetries of the little disks operads to show that many differentials in the Goodwillie-Weiss spectral sequences approximating the homology and homotopy of knot spaces vanish at a prime $p$. Combined with recent results on the relationship between embedding calculus and finite-type theory, we deduce that the $(n+1)$-st Goodwillie-Weiss approximation is a $p$-local universal Vassiliev invariant of degree $\leq n$ for every $n \leq p + 1$.

Pedro Boavida de Brito Geoffroy Horel 10.1112/S0010437X21007041 22 pages Compositio Math. 157 (2021) 997-1021