https://arxiv.org/api/oc0vdtFrG+hOUSQLnUrAisHYogY 2026-03-20T12:43:18Z 17660 60 15 http://arxiv.org/abs/2603.01219v2 2026-03-12T14:50:00Z

Using the notion of isotopy modulo $k$, with $k \in \mathbb{N}^+$, we introduce a stratification on the set of all minimal $C_\infty$-algebra enhancements of a finite-type graded commutative algebra $H^*$. We determine obstruction classes defining the extendability of isotopy modulo $k$ to isotopy modulo $(k+1)$ for minimal $C_\infty$-algebra enhancements of $H^*$ and demonstrate their generalized additivity. As a result, we define a complete set of invariants of the rational homotopy types of closed simply connected manifolds $M$. We prove that if $M$ is a closed $(r-1)$-connected manifold of dimension $n \le l(r-1)+2$ (where $r \ge 2, l \ge 4$), the real and rational homotopy type of $M$ is defined uniquely by the cohomology algebra $H^*(M, \mathbb{F})$ and the isotopy modulo $(l-2)$ of the corresponding minimal unital cyclic $C_\infty$-algebra enhancements of $H^*(M, \mathbb{F})$ for $\mathbb{F} = \mathbb{R}, \mathbb{Q}$, respectively. Combining this with the Hodge homotopy introduced in \cite{FKLS2021} and developed in \cite{FiorenzaLe2025}, we provide a new proof of a theorem by Crowley--Nordström \cite{CN}: a $(r-1)$-connected closed manifold $M$ of dimension $4r-1$ with $b_r(M) \le 3$ is intrinsically formal if there exists a $\varphi \in H^{2r-1}(M, \mathbb{R})$ such that the map $H^r(M, \mathbb{R}) \to H^{3r-1}(M, \mathbb{R}), x \mapsto \varphi \cup x$ is an isomorphism. Furthermore, we provide a new proof and extension of Cavalcanti's result \cite{Cavalcanti2006}, showing that a $(r-1)$-connected closed manifold $M$ of dimension $4r$ with $b_r(M) \le 2$ is intrinsically formal under similar conditions.

2026-03-01T18:32:23Z v2 : 40 p. Typos, computations in Fernández-Muñoz example (Subsection 4.5), and SageMath script in Appendix corrected. Section 5 is written in collaboration with Domenico Fiorenza Hông Vân Lê http://arxiv.org/abs/2505.10504v2 2026-03-12T14:25:24Z

This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the special unitary case, and the case of level structures on the moduli space $\mathcal{A}_g$ of abelian varieties.

2025-05-15T17:09:27Z 60 pages, 1 figure. Reorganized to improve clarity Eran Assaf Madeline Brandt Juliette Bruce Melody Chan Raluca Vlad http://arxiv.org/abs/2603.11967v1 2026-03-12T14:12:48Z

In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the first properties of directed cohomology and in particular of cohomological operations, partially linked to some homological operations. We treat here both the case of a specific class of precubical sets and of general directed spaces.

2026-03-12T14:12:48Z Eric Goubault http://arxiv.org/abs/2506.13732v3 2026-03-12T13:53:50Z

We show that Segal's K-theory of symmetric monoidal categorizes can be factored through Waldhausen categories. In particular, given a symmetric monoidal category $C$, we produce a Waldhausen category $Γ(C)$ whose K-theory is weakly equivalent to the Segal K-theory of $C$. As a consequence, we show that every connective spectrum may be obtained via Waldhausen K-theory.

2025-06-16T17:40:39Z v3: final version to appear in Proceedings of the American Mathematical Society, 15 pages Maxine E. Calle David Chan http://arxiv.org/abs/2603.11937v1 2026-03-12T13:51:01Z

The article is developing homological algebra in modules over non-unital rings and algebras. The main application is the definition and study of (directed) homology of $(\infty,1)$-categories and of directed spaces, including relative homology and its exact sequence.

2026-03-12T13:51:01Z Eric Goubault Eliot Médioni http://arxiv.org/abs/2411.10987v3 2026-03-12T11:05:24Z

We establish a geometric framework by transforming a graph $G$ into a $(d-1)$-dimensional CW complex $U^{d-1}(G)$. This construction is achieved by systematically attaching $i$-spheres ($2 \le i \le d-1$) to $G$ according to specific rules, ensuring that the $j$-th homotopy group of $U^{d-1}(G)$ are trivial for $j = 0, 1, \dots, d-2$. Building upon this construction, we provide a necessary and sufficient condition for $U^{d-1}(G)$ to be embeddable into $\mathbb{R}^d$, which yields an upper bound for the chromatic number $χ(G)$. To be more specific, we prove that if $G$ does not contain $K_{d+3}$ and $K_{i, d+4-i}$ ($i \in \{2, 3, \dots, \lfloor \frac{d+4}{2} \rfloor \}$) as a minor, then $U^{d-1}(G)$ embeds into $\mathbb{R}^d$ and $χ(G) \leq 3\cdot 2^{d-1}$. Finally, as a preliminary attempt, we extend the Discharging method to $\mathbb{R}^d$ and investigate the coloring problem for $(d-2)$-faces in $\mathbb{R}^d$.

2024-11-17T07:04:22Z 50 pages, 8 figures, submitted Qiming Fang Sihong Shao http://arxiv.org/abs/2410.24077v3 2026-03-12T10:40:53Z

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $π$-finite spaces into pyknotic spaces, this paper uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

2024-10-31T16:15:07Z Amos Kaminski http://arxiv.org/abs/2603.11753v1 2026-03-12T09:57:21Z

We construct a comparison functor from the dual category of motivic homotopy category $\mathcal{SH}$ to the category of $\mathbb{A}^1$-invariant localizing motives $\operatorname{Mot}_{\operatorname{loc}}^{\mathbb{A}^1}$ in the sense of Blumberg, Gepner and Tabuada (with $\mathbb{A}^1$-invariance imposed). We as well construct its non-$\mathbb{A}^1$-invariant analogue: a functor from the dual category of Annala-Iwasa-Hoyois's non-$\mathbb{A}^1$-invariant motivic homotopy category $\mathcal{MS}$ to $\operatorname{Mot}_{\operatorname{loc}}$. After the Barr-Beck argument, these functors factor through categories of modules over a dual version of ($\mathbb{A}^1$-invariant) K-theory spectrum $\operatorname{KGL}^{(\mathbb{A}^1)}$. Over a field that admits resolution of singularities, we show that the $\mathbb{A}^1$-invariant factored functor is fully-faithful, while the non-$\mathbb{A}^1$-invariant one is not in general.

2026-03-12T09:57:21Z Tianjian Tan http://arxiv.org/abs/2511.10454v2 2026-03-12T07:30:20Z

We prove that the homological and Balmer spectra in tensor-triangular geometry are functorial in certain definable functors, thereby providing an alternative perspective on functoriality in tensor-triangular geometry from the viewpoint of purity, and generalising current results in the literature.

2025-11-13T16:19:09Z v1: 11pp. The results are an improved and generalised version of results that appeared in the original version of arXiv:2310.02159. v2: minor changes. Version accepted in Pacific J. Math Pacific J. Math. 341 (2026) 33-44 Isaac Bird Jordan Williamson 10.2140/pjm.2026.341.33 http://arxiv.org/abs/2602.16270v2 2026-03-12T05:26:02Z

The Pontryagin-Thom construction provides a fundamental link between cobordism groups and the homotopy groups of Thom spectra. Our main result refines this theorem, providing a more explicit geometric interpretation of the homotopy groups of unstable Thom spectra. Building on this result, we show that previously unknown cobordism groups can be expressed as homotopy groups of unstable Thom spectra. Furthermore, using the Smith homomorphism, we compute these groups. As applications, we determine the values of $n$ for which there exists a Spin manifold with boundary $S^n$ admitting a line subbundle orthogonal to the boundary, and provide a precise characterization of the cobordism group introduced by Bais, May Custodio, and Torres.

2026-02-18T08:43:25Z 18 pages, corrected typos in Theorem C2 Naoki Kuroda http://arxiv.org/abs/2603.10507v2 2026-03-12T04:17:07Z

Chromatic redshift phenomena suggest that algebraic K-theory increases the height of a commutative ring spectrum by one. In many cases, the chromatic redshift is already detected by negative topological cyclic homology. This paper explores higher chromatic redshift via homotopy fixed points spectrum of higher topological Hochschild homology. Specifically, starting from a commutative ring spectrum that detects $v_n$-elements, the homotopy fixed points spectrum of higher topological Hochschild homology of it detects $v_{n+k}$-elements, with $k$ greater than one.

2026-03-11T08:01:48Z 11 pages, comments welcome! Rixin Fang http://arxiv.org/abs/2603.11440v1 2026-03-12T02:05:02Z

We compute topological Hochschild homology of $\mathbb{E}_3$-MU-algebra forms of the second truncated Brown-Peterson spectrum with Adams summand coefficients at $p=2$ and conditionally at arbitrary primes. We also provide a new computational tool, a variant of the Brun spectral sequence, for computing topological Hochschild homology of truncated Brown-Peterson spectra with certain coefficients. As a consequence, we show that $\mathbb{E}_3$-MU-algebra forms of truncated Brown-Peterson spectra are not Thom spectra $\mathrm{BP}\langle n\rangle$ at the prime $p=2$ for any $n\ge 2$.

2026-03-12T02:05:02Z Gabriel Angelini-Knoll Maxime Chaminadour http://arxiv.org/abs/2603.11291v1 2026-03-11T20:39:30Z

Our recent paper~\cite{FST} with Claudia Scheimbauer uses the cobordism hypothesis to construct fully local Chern-Simons theories. Here we expose some physics motivations: Yang-Mills plus Chern-Simons in the bosonic case and the free Majorana-Weyl spinor field in the fermionic case. We also give expositions of tangential structures and invertible field theories, in particular the 'gravitational Chern-Simons theory' used by Witten to obtain topological field theories from the physical theories.

2026-03-11T20:39:30Z 26 pages, dedicated to S.-T. Yau Daniel S. Freed Constantin Teleman http://arxiv.org/abs/2603.11005v1 2026-03-11T17:27:17Z

We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of $(\infty,\infty)$-categories and exhibit the localization-limit as a reflective localization of the core-limit. On the side, we study intermediate localizations that arise from notions of invertibility that only emerge at $d=\infty$ such as the one defined by coinduction.

2026-03-11T17:27:17Z 53 pages; comments welcome Viktoriya Ozornova Martina Rovelli Tashi Walde http://arxiv.org/abs/2601.19772v2 2026-03-11T16:11:25Z

We record a folklore theorem that says a partial group embeds in a group if and only if each word has at most one possible multiplication, regardless of choice of parenthesization. We further investigate the partial groups which are exemplars of non-embeddability. Finally we show that a partial groupoid embeds in a groupoid if and only if its reduction embeds in a group.

2026-01-27T16:36:07Z 13 pages. v2: add alternate characterization of degree of universal counterexamples to section 3 (and other minor adjustments) Philip Hackney Justin Lynd Edoardo Salati