https://arxiv.org/api/XoYTYiCGXfhi11siEwUZb+vQzzw 2026-03-16T06:39:05Z 17632 0 15 http://arxiv.org/abs/2603.13143v1 2026-03-13T16:32:44Z

The Mayer-Vietoris theorem is known for its wide applications, especially in determining homology. In fact, this theorem provides us with a long exact sequence, where the underlying homology groups fit in. However, this theorem does not provide an explicit way to compute homology. In this paper we prove an ``effective" version of the Mayer-Vietoris theorem using discrete Morse theory. Suppose, we have a Mayer-Vietoris type setup, i.e., let $X$ be a simplicial complex and $A$ and $B$ be two subcomplexes of $X$, such that $A \cup B=X$. Moreover, let $\mathcal{W}_A$, $\mathcal{W}_{B}$ and $\mathcal{W}_{A \cap B}$ be gradient vector fields on $A$, $B$ and $A \cap B$ respectively (which need not be ``coherent", i.e., they do not need to coincide on their intersection). Then, the main theorem of our paper provides an explicit way to compute the homology groups of $X$, using the combinatorial information regarding the trajectories of the aforementioned gradient vector fields, we do not even need to know the individual homology groups $H_{*}(A)$, $H_{*}(B)$ and $H_{*}(A \cap B)$. In principle, the homology of $X$ can always be computed explicitly using our theorem irrespective of the choice of the gradient vector fields. Further, if we choose the subcomplexes $A$ and $B$ wisely so that each of $A$, $B$ and $A \cap B$ admits an efficient gradient vector field, then the computation of the homology groups is considerably reduced.

2026-03-13T16:32:44Z 30 pages, 2 figures Sajal Mukherjee Pritam Chandra Pramanik Arundhati Rakshit http://arxiv.org/abs/2602.18926v2 2026-03-13T13:33:47Z

Let $\bk $ be a field of characteristic $p\geq 0$ and $X$ a simply connected finite CW complex. In this text, we prove that: {\sl if the cohomology algebra $H^*(X;\bk)$ is generated, as an algebra, by at least two linearly independent elements, then the sequence of Betti numbers $ \left( \dim H^n(LX;\bk)\right)_{n\geq 1 }$ grows unbounded.} This provides a complete solution of the closed geodesics problem.

2026-02-21T18:35:03Z Bitjong Ndombol http://arxiv.org/abs/2603.12980v1 2026-03-13T13:30:05Z

Let $E_n$ be Morava $E$-theory of height $n$. Let $R$ be a $p$-adically flat commutative ring spectrum. Then the Tate-valued Frobenius map endows $π_0 R$ with the structure of a $δ$-ring. On the other hand, we may form the $K(n)$-completed tensor product $L_{K(n)}(R \otimes E_n)$, which is a $K(n)$-local $E_n$-algebra. Then $π_0(L_{K(n)}(R \otimes E_n)) = LT_n \widehat{\otimes} π_0 R$ admits the structure of an algebra over the monad $\mathbb{T}(n)$ defined by Rezk. The $\mathbb{T}(n)$-algebra structure encodes the power operations of $L_{K(n)}(R \otimes E_n)$. In this paper we describe the $\mathbb{T}(n)$-algebra structure on $π_0(L_{K(n)}(R \otimes E_n))$.

2026-03-13T13:30:05Z 33 pages Yuval Lotenberg http://arxiv.org/abs/2603.12803v1 2026-03-13T09:07:13Z

Equivariant Loday constructions are a means for providing geometric interpretations of equivariant homology theories. They are usually constructed for a simplicial $G$-set and a $G$-Tambara functor. We study situations where -- depending on the isotropy subgroups occurring in the simplicial $G$-set -- one can work with $H$-Tambara functors for a suitable subgroup $H$ of $G$. We apply this to give an interpretation of Real Hochschild homology of discrete $E_σ$-rings as equivariant Loday constructions where we consider $2m$-gons with a geometrically defined action of the dihedral groups $D_{2m}$ for all $m \geq 1$. The action of symmetric groups on $1$-skeleta of permutohedra also gives examples with isotropy groups $C_2$.

2026-03-13T09:07:13Z Comments welcome! Ayelet Lindenstrauss Birgit Richter Foling Zou http://arxiv.org/abs/2602.15726v4 2026-03-13T02:52:42Z

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. On the module side, we use the Gülen-McCleary distance, a specialization of a metric introduced by Gülen and McCleary, defined by factoring two modules through a common apex poset via pairs of Galois insertions and measuring the maximal displacement in the index poset. This construction generalizes the interleaving distance in both the classical one-parameter and multiparameter settings, and yields an extended metric on isomorphism classes of $\mathbf{P}$-modules. On the homological side, we define a bottleneck distance between minimal projective resolutions by matching indecomposable projectives degreewise, with contractible cones playing the role of diagonal terms. Our main theorem shows that this resolution-level bottleneck distance is always bounded above by the Gülen-McCleary distance, providing a metric stability result formulated entirely at the level of modules and their minimal projective resolutions. We then treat persistence as an application. Passing to the interval poset and a kernel construction, we interpret persistence diagrams as minimal projective resolutions of kernel modules and obtain a corresponding stability inequality. In the one-parameter case this recovers classical bottleneck stability, while in the multiparameter setting it extends naturally to signed diagrams arising from minimal projective resolutions. Via a general relationship between minimal projective resolutions and Möbius inversion, these results can be interpreted as a stability theorem for Möbius homology, while remaining entirely phrased in the language of projective resolutions.

2026-02-17T17:02:01Z We have renamed the distance we called "Galois Transport Distance" to "Gülen-McCleary Distance" after Aziz Gülen and Alex McCleary who first introduced the concept. We have also removed our proof of the triangle inequality for this distance as it is already proved by them Hideto Asashiba Amit K. Patel http://arxiv.org/abs/2409.08957v2 2026-03-12T23:40:09Z

We introduce the theory of local minimal models for Kan simplicial manifolds, which provide the appropriate generalization of minimal Kan simplicial sets to geometric contexts. We use this to obtain the first proof of Lie's third theorem for finite-type Lie $\infty$-algebras: Every finite-type, homologically and non-negatively graded $L_\infty$-algebra over $\mathbb{R}$ integrates to a finite-dimensional Lie $\infty$-group. As a corollary, our construction yields a new explicit finite-dimensional model for the string Lie 2-group.

2024-09-13T16:21:52Z 85 pages. Rewritten intro and minor edits to body of paper to improve exposition. Comments welcome Christopher L. Rogers Jesse Wolfson http://arxiv.org/abs/2412.20262v4 2026-03-12T22:35:32Z

Circuit algebras are a symmetric version of Jones's planar algebras. They originated in quantum topology as a framework for encoding virtual crossings. This paper extends existing results for modular operads to construct a graphical calculus and monad for general circuit algebras and prove an abstract nerve theorem. The proof relies on a subtle interplay between distributive laws and abstract nerve theory, and provides extra insights into the underlying structures. Oriented circuit algebras are equivalent to wheeled props and specialisations of the results to wheeled props follow as straightforward corollaries.

2024-12-28T20:31:54Z 57 pages, many figures and diagrams. Cleverref issue in V3 addressed, some other small changes since V3. Comments welcome. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557 Sophie Raynor http://arxiv.org/abs/2603.12492v1 2026-03-12T22:22:26Z

We give a proof of the cofreeness of the Lubin-Tate deformation ring, by generalizing earlier results by Matt Ando and Yifei Zhu about $\mathsf{H}_\infty$-orientations to the context of power operations for Morava $E$-theory.

2026-03-12T22:22:26Z 15 pages Charles Rezk http://arxiv.org/abs/2603.12490v1 2026-03-12T22:18:32Z

This note is a meditation on a generalization $\mathbb{W}_E$ of the classical p-typical Witt vectors $\mathbb{W}_p$, which arises (geometrically) from isogenies of deformations of formal groups, or (topologically) from the theory of power operations on Morava $E$-theory. For formal groups of height $1$ we have $\mathbb{W}_E=\mathbb{W}_p$, but the $\mathbb{W}_E$ are richer when height is $\geq 2$. We show that $\mathbb{W}_p$ splits naturally from $\mathbb{W}_E$. A key property of $\mathbb{W}_E$ is the isomorphism $π_0E\approx \mathbb{W}_E(π_0E/\mathfrak{m})$, the ``cofreeness of the Morava $E$-theory'' proved by Burklund, Schlank, and Yuan. This isomorphism determines a natural ``Witt filtration'' on $π_0 E$. We describe how this Witt filtration interpolates between the $p$-adic filtration and a geometric filtration on $π_0E/(p)$. We use this to give a new proof of cofreeness.

2026-03-12T22:18:32Z 22 pages Charles Rezk http://arxiv.org/abs/2112.07573v3 2026-03-12T21:51:12Z

Simplicial approximation provides a framework for constructing simplicial complexes that are homotopy equivalent to a given manifold, provided a CW structure is explicitly known. However, its conventional implementation quickly becomes intractable on a computer: barycentric subdivision produces poorly shaped simplices, and the star condition introduces many vertices. To address these limitations, this article develops a subdivision scheme based on spherical Delaunay triangulations, which attains better refinement properties than barycentric subdivisions. Moreover, the star condition is reframed as two independent problems, one geometric and the other combinatorial, respectively tackled in the language of locally equiconnected spaces and the list homomorphism problem, allowing an exponential reduction in the number of vertices. Via a prototype implementation, we obtain simplicial complexes homotopy equivalent to Grassmannians and Stiefel manifolds up to dimension 5.

2021-12-14T17:30:28Z 53 pages, 17 figures. Full version of an article to appear in the 42nd International Symposium on Computational Geometry (SoCG 2026) Raphaël Tinarrage http://arxiv.org/abs/2603.12389v1 2026-03-12T19:08:05Z

In this paper, we introduce ribbon TQFTs via Edge Contraction/Construction Axioms of colored ribbon graphs as an extension of the 2D TQFT axioms for ribbon graphs formulated in arXiv:1508.05922. We investigate nearly Frobenius structures and Almost TQFTs defined in arXiv:1907.05470 together with ribbon TQFTs. We give a classification result for ribbon TQFTs that extends the one obtained for Frobenius algebras in arXiv:1508.05922. In particular, the Edge Contraction/Construction Axioms of colored ribbon graphs in this work become equivalent to the functorial Axioms of TQFTs governed by the sewing principle of Atiyah and Segal discussed in arXiv:2510.03128 and arXiv:1907.05470. As an application, we obtain that the recursion of generalized Catalan numbers can be twisted by Almost TQFT for co-unital nearly Frobenius algebra.

2026-03-12T19:08:05Z 47 pages, 38 figures William Davis Olivia Dumitrescu http://arxiv.org/abs/2410.23052v4 2026-03-12T15:26:33Z

Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors.

2024-10-30T14:19:31Z 46 pages. Comments welcome! v2: Improved exposition in section 3.2; updated remark 7.8 v3: Improved introduction and tightened the exposition elsewhere. Shortened paper v4: Final version as published in Advances in Mathematics Advances in Mathematics 493 (2026) 110908 David Chan David Mehrle J. D. Quigley Ben Spitz Danika Van Niel 10.1016/j.aim.2026.110908 http://arxiv.org/abs/2603.12049v1 2026-03-12T15:23:34Z

We show that the observable category of q-tame multiparameter persistence modules satisfies good metric and algebraic properties: it forms a complete metric space with respect to the interleaving distance, and it is Krull--Schmidt in the sense that every object admits an essentially unique decomposition into indecomposables. Moreover, we show that these metric and algebraic structures are compatible: two objects are at distance zero if and only if they are isomorphic. We argue that the observable category of q-tame multiparameter persistence modules is the right setup for multiparameter persistence by showing that many of the categories already considered in the literature form full subcategory of this category. We also characterize precompact sets in terms of finite representation type of certain discretizations, and show that the image of several of the main constructions in multiparameter persistence is precompact.

2026-03-12T15:23:34Z 35 pages Ulrich Bauer Cameron Gusel Luis Scoccola 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