http://arxiv.org/api/lBgbRm9EwgM36pOQb7YnzFJE9M0 2025-05-10T00:00:00-04:00 16568 330 15 http://arxiv.org/abs/2503.10507v1 2025-03-13T16:09:17Z 2025-03-13T16:09:17Z

We prove that the Madsen-Tillmann spectrum $MT\theta_n$ splits into the sum of spectra $\Sigma^{-2n}MO\langle n+1 \rangle \oplus \Sigma^{\infty-2n}\mathbb{R} P^\infty_{2n}$ after Postnikov trunctation $\tau_{\leq \ell}$ for $\ell = \lfloor \frac{n}{2} \rfloor - 6$. To accomplish this, we prove that the connecting map in a certain fiber sequence is nullhomotopic in this range by an Adams filtration argument. As an application, we compute $H_2(B\operatorname{Diff}(W^{2n}_{g},D^{2n});\mathbb{Z})$ up to extensions for $n \geq 16$ and $g \geq 7$.

Jonathan Sejr Pedersen Andrew Senger 13 pages, comments welcome! http://arxiv.org/abs/2406.16652v2 2025-03-13T15:05:04Z 2024-06-24T14:00:55Z

We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the known $\mathsf{L}_\infty$-algebra structure on $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$, as well as the Gerstenhaber algebra structure on its cohomology $\mathbf{H}_{\mathsf{GS}}(\mathbb A)$. The main ingredient is the proof of a conjecture of Hawkins \cite{hawkins}, stating that the dg operad $\mathsf{Quilt}$ has vanishing homology in positive degrees. As a corollary, $\mathsf{Quilt}$ is quasi-isomorphic to the operad $\mathsf{Brace}$ encoding brace algebras. In addition, we improve the $L_\infty$-structure on $\mathsf{Quilt}$ by showing that it originates from a $\mathsf{PreLie}_\infty$-structure lifting the $\mathsf{PreLie}$-structure on $\mathsf{Brace}$ in homology.

Ricardo Campos Lander Hermans To appear in Proceedings of the AMS http://arxiv.org/abs/2503.10249v1 2025-03-13T10:50:33Z 2025-03-13T10:50:33Z

In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.

Andrew Ronan 7 pages http://arxiv.org/abs/2502.01497v2 2025-03-13T09:10:46Z 2025-02-03T16:28:53Z

We introduce the concepts of branched coarse coverings and transfers between coarse homology theories along them. We show that various versions of coarse $K$-homology theories admit the additional structure of transfers. We show versions of Atiyah's $L^{2}$-index theorem in coarse homotopy theory and apply them to give a new argument for the corresponding step in Higson's counterexample to the coarse Baum-Connes conjecture.

Ulrich Bunke 95 p, references added http://arxiv.org/abs/2410.01117v2 2025-03-13T04:31:22Z 2024-10-01T23:00:41Z

We are interested in computing the Bredon cohomology with coefficients in the constant Mackey functor $\underline{ \mathbb{F}_2}$ for equivariant $\text{Rep}(C_2)$ spaces, in particular for Grassmannian manifolds of the form $\\text{Gr}_k(V)$ where $V$ is some real representation of $C_2$. It is possible to create multiple distinct $\text{Rep}(C_2)$ constructions of (and hence multiple filtration spectral sequences for) a given Grassmannian. For sufficiently small examples one may exhaustively compute all possible outcomes of each spectral sequence and determine if there exists a unique common answer. However, the complexity of such a computation quickly balloons in time and memory requirements. We introduce a statistic on $\mathbb{M}_2$-modules valued in the polynomial ring $\mathbb{Z}[x,y]$ which makes cohomology computation of Rep($C_2$)-complexes more tractable, and we present some new results for Grassmannians.

Eric Hogle 17 pages, 19 figures. Comments welcome http://arxiv.org/abs/2503.09928v1 2025-03-13T01:00:16Z 2025-03-13T01:00:16Z

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of $X$. We prove an analog of this result for algebraic $K$-theory over a field of characteristic 0. In our setting $G$ is a reductive group that acts on a derived algebraic space $X$ with the assumption that all stabilizer groups are nice (in the sense of Alper). Our main result identifies the value $R^{\mathrm{dAff}}K([X/G])$ of right Kan extension of the $K$-theory functor from schemes to stacks with the completion of $K$-theory of the category $\mathrm{Perf}([X/G])$ at the augmentation ideal of $K_0(\mathrm{Rep}(G))$. The main novelty of our results is that $X$ is allowed to be singular or even derived. This generality is achieved by employing and improving analogous versions of completion theorem for negative cyclic homology (after Ben-Zvi--Nadler and Chen) and for homotopy $K$-theory (after van den Bergh--Tabuada). We also show that in the singular setting the completion theorem does not necessarily hold without the nice stabilizer assumption. We view our results as a part of the general paradigm of extending the motivic filtration on algebraic $K$-theory of schemes to algebraic $K$-theory of stacks.

Elden Elmanto Dmitry Kubrak Vladimir Sosnilo 75 pages, comments welcome http://arxiv.org/abs/2301.11346v3 2025-03-12T22:21:42Z 2023-01-26T19:00:04Z

Hochschild homology is a classical invariant of rings that plays an important role because of its connection to algebraic $K$-theory via the Dennis trace. At level zero, the Dennis trace is induced by the Hattori-Stallings trace. In this paper, we introduce new algebraic $K$-theories of coalgebras and obtain coalgebraic refinements of the Hattori-Stallings trace that connect these algebraic $K$-theories to coHochschild homology (the invariant analogous to Hochschild homology but for coalgebras). We employ bicategorical methods of Ponto to show that coHochschild homology is a shadow. Consequently, we obtain that coHochschild homology is Morita-Takeuchi invariant.

Sarah Klanderman Maximilien Péroux 41 pages. Final version: to appear in Mathematische Zeitschrift http://arxiv.org/abs/2503.09783v1 2025-03-12T19:35:20Z 2025-03-12T19:35:20Z

For a Weinstein manifold, we compare and contrast the properties of admitting an arboreal skeleton and admitting Maslov data. Both properties are implied by the existence of a polarization, for which a basic obstruction is that the odd Chern classes are 2-torsion. In a similar spirit we establish cohomological obstructions to the existence of arboreal skeleta and to the existence of Maslov data, exhibiting concrete examples to illustrate their failure. For instance, we show that complements of smooth anti-canonical divisors in complex projective space may fail to admit either arboreal skeleta or Maslov data. We also exhibit an example of a Weinstein manifold which admits Maslov data but does not admit an arboreal skeleton.

Daniel Alvarez-Gavela Tim Large Abigail Ward 40 pages, 19 figures; comments welcome http://arxiv.org/abs/2307.13271v3 2025-03-12T19:12:25Z 2023-07-25T05:46:26Z

Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs.

Andrés Carnero Bravo http://arxiv.org/abs/2503.09767v1 2025-03-12T19:10:20Z 2025-03-12T19:10:20Z

Classical unsupervised learning methods like clustering and linear dimensionality reduction parametrize large-scale geometry when it is discrete or linear, while more modern methods from manifold learning find low dimensional representation or infer local geometry by constructing a graph on the input data. More recently, topological data analysis popularized the use of simplicial complexes to represent data topology with two main methodologies: topological inference with geometric complexes and large-scale topology visualization with Mapper graphs -- central to these is the nerve construction from topology, which builds a simplicial complex given a cover of a space by subsets. While successful, these have limitations: geometric complexes scale poorly with data size, and Mapper graphs can be hard to tune and only contain low dimensional information. In this paper, we propose to study the problem of learning covers in its own right, and from the perspective of optimization. We describe a method for learning topologically-faithful covers of geometric datasets, and show that the simplicial complexes thus obtained can outperform standard topological inference approaches in terms of size, and Mapper-type algorithms in terms of representation of large-scale topology.

Luis Scoccola Uzu Lim Heather A. Harrington 26 pages, 17 figures, 4 tables http://arxiv.org/abs/2503.09488v1 2025-03-12T15:47:51Z 2025-03-12T15:47:51Z

We construct a model for the (non-unital) S^1-framed little 2d-dimensional disks operad for any positive integer d using logarithmic geometry. We also show that the unframed little 2d-dimensional disks operad has a model which can be constructed using log schemes with virtual morphisms.

Oliver Lindström http://arxiv.org/abs/2405.05881v2 2025-03-12T14:48:24Z 2024-05-09T16:10:02Z

We explain how Cohen--Macaulay classifying spaces are ubiquitous among discrete groups that satisfy Bieri--Eckmann duality, and compare Bieri--Eckmann duality to duality results for Cohen--Macaulay complexes. We use this comparison to give a description of the dualizing module of ${\rm{Out}}(F_N)$ in terms of the local cohomology cosheaf of the spine of Outer space.

Richard D. Wade Thomas A. Wasserman 10.1093/imrn/rnaf059 Accepted version at IMRN. Theorem E in this version is new, and gives an abstract way to bound the rank of the rational cohomology of Out(F_n) in the vcd http://arxiv.org/abs/2503.07292v2 2025-03-12T13:10:20Z 2025-03-10T13:15:49Z

We correct here two errors in our earlier paper "An algebraic model for finite loop spaces" [arXiv:1212.2033]

Carles Broto Ran Levi Bob Oliver http://arxiv.org/abs/2407.06923v3 2025-03-12T12:28:03Z 2024-07-09T14:58:05Z

Motivated by recent results on diffeomorphisms of 4-manifolds, this paper investigates fundamental groups of spaces of embeddings of $S^1\times D^3$ in 4-manifolds. The majority of work goes into the case of framed immersed circles.

Danica Kosanović 21 pages, 1 figure. v2: Fixed some typos. v3: Simplified some proofs, and removed the part concerning nonframed cases as it contained an error. This is possible to fix, but will appear in another paper http://arxiv.org/abs/2503.09301v1 2025-03-12T11:50:30Z 2025-03-12T11:50:30Z

Given a poset-graded chain complex of vector spaces, a Conley complex is the minimal chain-homotopic reduction of the initial complex that respects the poset grading. A connection matrix is a matrix representing the differential of the Conley complex. In this work, we give an algebraic derivation of the Conley complex and its connection matrix using homological perturbation theory and algebraic Morse theory. Under this framework, we use a graded splitting of relative chain groups to determine the connection matrix, rather than Forman's acyclic partial matching in the usual discrete Morse theory setting. This splitting is obtained by means of the clearing optimisation, a commonly used technique in persistent homology. Finally, we show how this algebraic perspective yields an algorithm for computing the connection matrix via column reductions on the differential of the initial complex.

Álvaro Torras-Casas Ka Man Yim Ulrich Pennig 21 pages, 2 figures