http://arxiv.org/api/ZDNqCMW9lUkWT/mS8h3sHpzKn0k 2025-05-09T00:00:00-04:00 16568 285 15 http://arxiv.org/abs/2407.14699v3 2025-03-20T23:57:12Z 2024-07-19T23:18:32Z

The celebrated Morlet-Burghelea-Lashof-Kirby-Siebenmann smoothing theory theorem states that the group $\mathrm{Diff}_\partial(D^n)$ of diffeomorphisms of a disc $D^n$ relative to the boundary is equivalent to $\Omega^{n+1}\left(\mathrm{PL}_n/\mathrm{O}_n\right)$ for any $n\geq 1$ and to $\Omega^{n+1}\left(\mathrm{TOP}_n/\mathrm{O}_n\right)$ for $n\neq 4$. We revise smoothing theory results to show that the delooping generalizes to different versions of disc smooth embedding spaces relative to the boundary, namely the usual embeddings, those modulo immersions, and framed embeddings. The latter spaces deloop as $\mathrm{Emb}_\partial^{fr}(D^m,D^n)\simeq\Omega^{m+1}\left(\mathrm{O}_n\backslash\!\!\backslash\mathrm{PL}_n/\mathrm{PL}_{n,m}\right)\simeq \Omega^{m+1}\left(\mathrm{O}_n\backslash\!\!\backslash\mathrm{TOP}_n/\mathrm{TOP}_{n,m}\right)$ for any $n\geq m\geq 1$ ($n\neq 4$ for the second equivalence), where the left-hand side in the case $n-m=2$ or $(n,m)=(4,3)$ should be replaced by the union of the path-components of $\mathrm{PL}$-trivial knots (framing being disregarded). Moreover, we show that for $n\neq 4$, the delooping is compatible with the Budney $E_{m+1}$-action. We use this delooping to combine the Hatcher $\mathrm{O}_{m+1}$-action and the Budney $E_{m+1}$-action into a framed little discs operad $E_{m+1}^{\mathrm{O}_{m+1}}$-action on $\mathrm{Emb}_\partial^{fr}(D^m,D^n)$.

Paolo Salvatore Victor Turchin 51 pages, slightly improved presentation; A little mistake in Lemma 3.1 corrected: It turned out that the Alexander trick does not work for PD homeomorphisms of a disc. Remark 3.3 added http://arxiv.org/abs/2404.03735v8 2025-03-20T20:38:20Z 2024-04-04T18:04:28Z

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was discovered with the development of Homology theory. Some of the deepest results in topology are about the connections between Homotopy and Homology. These results are proved using intricate constructions. This paper re-proves these connections via an axiomatic approach that provides a common ground for homotopy and homology in arbitrary categories. One of the main contributions is a re-interpretation of convexity as an extrinsic rather than intrinsic property. All the axioms and results are applicable for the familiar context of topological spaces. This creates a complete framework for an algebraic characterization of various categories such as Dynamical systems, Open games, and Fractals, which also preserves a notion of Homotopy.

Suddhasattwa Das http://arxiv.org/abs/2401.12833v2 2025-03-20T18:42:33Z 2024-01-23T15:10:35Z

The aim of this paper is to describe the torus equivariant $K$-ring of even-dimensional complex quadrics by studying the graph equivariant $K$-theory of their corresponding GKM graphs. This involves providing a presentation for its graph equivariant $K$- ring in terms of generators and relations. This parallels the description of the equivariant cohomology ring of even-dimensional complex quadrics due to Kuroki.

Bidhan Paul 18 pages http://arxiv.org/abs/2502.12162v2 2025-03-20T15:18:01Z 2025-02-18T15:00:38Z

We show that generalised Calabi-Yau dg (co)algebras are Koszul dual to generalised symmetric dg (co)algebras, without needing to assume any smoothness or properness hypotheses. Similarly, we show that Gorenstein and Frobenius are Koszul dual properties. As an application, we give a new characterisation of Poincar\'e duality spaces, which extends a theorem of F\'elix- Halperin-Thomas to the non-simply connected setting.

Matt Booth Joseph Chuang Andrey Lazarev 53 pages. v2: exposition improved, new Remark 8.10. Submitted version http://arxiv.org/abs/2003.07426v3 2025-03-20T10:27:47Z 2020-03-16T19:44:34Z

We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.

Zachary McGuirk Byungdo Park Merged with other work. See arXiv:2503.14865 [math.AT] http://arxiv.org/abs/2503.15852v1 2025-03-20T05:14:33Z 2025-03-20T05:14:33Z

Let $G$ be a cyclic $p$-group or generalized quaternion group, $X\in \pi_0 S_G$ be a virtual $G$-set, and $V$ be a fixed point free complex $G$-representation. Under conditions depending on the sizes of $G$, $X$, and $V$, we construct a self map $v\colon\Sigma^V C(X)_{(p)}\rightarrow C(X)_{(p)}$ on the cofiber of $X$ which induces an equivalence in $G$-equivariant $K$-theory. These are transchromatic $v_{1,\vec{0}}$-self maps, in the sense that they are lifts of classical $v_1$-self maps for which the telescope $C(X)_{(p)}[v^{-1}]$ can have nonzero rational geometric fixed points.

William Balderrama Yueshi Hou Shangjie Zhang 15 pages. Originally part of arXiv:2411.00421 http://arxiv.org/abs/2207.00619v2 2025-03-19T18:21:27Z 2022-07-01T18:45:08Z

We study the homotopy type of the space $E(L)$ of unparametrised embeddings of a split link $L=L_1\sqcup \ldots \sqcup L_n$ in $\mathbb{R}^3$. Our main result is a simple description of the fundamental group, or motion group, of $E(L)$, and we extend this to a description of the motion group of embeddings in $S^3$. The main tool we build is a semi-simplicial space of separating systems, which we show is homotopy equivalent to $E(L)$. This combinatorial object provides a gateway to studying the homotopy type of $E(L)$ via the homotopy type of the spaces $E(L_i)$.

Rachael Boyd Corey Bregman 37 pages, 5 figures. Multiple changes following referees' suggestions. Final version, to appear in Advances in Mathematics http://arxiv.org/abs/2503.04686v2 2025-03-19T17:43:59Z 2025-03-06T18:29:41Z

We calculate an explicit closed formula for the action of the height 2 full Morava stabilizer group on the coefficient ring of height 2 Morava E-theory. In particular, this yields an explicit, surprisingly simple closed formula for the action of the automorphism group of a height 2 formal group law on its Lubin-Tate deformation ring. The formula is of a combinatorial nature, given by sums over certain labelled ordered rooted trees.

Andrew Salch Added a figure that was missing from the appendix http://arxiv.org/abs/2503.15431v1 2025-03-19T17:12:54Z 2025-03-19T17:12:54Z

The semantics of extensional type theory has an elegant categorical description: models of Sigma-types and extensional Id-types are biequivalent to finitely complete categories. We establish a similar result for intensional type theories: weak models of Sigma-types and axiomatic Id-types are biequivalent to path categories. These axiomatic Id-types only satisfy beta-reduction rule as a propositional equality, and appear in cubical type theory, as well as axiomatic type theory (type theory without definitional equality). Path categories take inspiration from homotopy theory and simplify the structure of type theory using a primitive notion of equivalence. Our biequivalence allows us to turn path categories into actual models of type theory: we turn them into weak models, where substitution is only specified up to isomorphism, which we can in turn strictify using the left adjoint splitting. In addition, we introduce a more fine-grained notion: that of a display path category, and prove a similar biequivalence. These display path categories still model axiomatic Id-types, but not the intensional notion of Sigma-types. We show how they can be extended with axiomatic notions of Sigma-types and Pi-types, allowing us to model axiomatic type theory.

Daniël Otten Matteo Spadetto 32 pages, comments welcome http://arxiv.org/abs/2411.00421v2 2025-03-19T14:54:31Z 2024-11-01T07:37:33Z

We introduce the $C_{p^n}$-Mahowald invariant: a relation $\pi_\star S_{C_{p^{n-1}}} \rightharpoonup \pi_\ast S$ between the equivariant and classical stable stems which reduces to the classical Mahowald invariant when $n=1$. We compute the $C_{p^n}$-Mahowald invariants of all elements in the Burnside ring $A(C_{p^{n-1}}) = \pi_0 S_{C_{p^{n-1}}}$, extending Mahowald and Ravenel's computation of $M_{C_p}(p^k)$. As a consequence, we determine the image of the $C_p$-geometric fixed point map $\Phi^{C_p} : \pi_V S_{C_{p^n}} \to \pi_0 S_{C_{p^n}/C_p} \cong A(C_{p^{n-1}})$ when $V$ is fixed point free, extending classical theorems of Bredon, Landweber, and Iriye for $n=1$.

William Balderrama Yueshi Hou Shangjie Zhang v2: 47 pages. Material on self maps has been split off, to appear in a separate posting http://arxiv.org/abs/2503.15274v1 2025-03-19T14:49:53Z 2025-03-19T14:49:53Z

The spectrum of a tensor-triangulated category carries a compact Hausdorff topology, called the constructible topology, also known as the patch topology. We prove that patch-dense subsets detect tt-ideals and we prove that any infinite family of tt-functors that detects nilpotence provides such a patch-dense subset. We review several applications and examples in algebra, in topology and in the representation theory of profinite groups.

Paul Balmer Martin Gallauer 11 pages http://arxiv.org/abs/2503.15253v1 2025-03-19T14:27:49Z 2025-03-19T14:27:49Z

We show that the category of log homotopy types is a full subcategory of a category of homotopy types with modulus.

Shane Kelly 15 pages http://arxiv.org/abs/2106.09425v3 2025-03-19T13:54:03Z 2021-06-17T12:18:15Z

We introduce partially multiplicative quandles (PMQ), a generalisation of both partial monoids and quandles. We set up the basic theory of PMQs, focusing on the properties of free PMQs and complete PMQs. For a PMQ $\mathcal{Q}$ with completion $\hat{\mathcal{Q}}$, we introduce the category of $\hat{\mathcal{Q}}$-crossed topological spaces, and define the Hurwitz space $\mathrm{Hur}^{\Delta}(\mathcal{Q})$: it is a $\hat{\mathcal{Q}}$-crossed space, and it parametrises $\mathcal{Q}$-branched coverings of the plane. The definition recovers classical Hurwitz spaces when $\mathcal{Q}$ is a discrete group $G$. Finally, we analyse the class of PMQs $\mathfrak{S}_d^{\mathrm{geo}}$ arising from the symmetric groups $\mathfrak{S}_d$, and we compute their enveloping groups and their PMQ completions.

Andrea Bianchi 53 pages, 1 figure. To appear in Documenta Mathematica http://arxiv.org/abs/2503.15179v1 2025-03-19T13:06:21Z 2025-03-19T13:06:21Z

We introduce a notion of an operad of complexity $m$, for $m \geq 1$. Operads of complexity $1$ are monoids in the category of $\mathbb{N}$-indexed collections, with monoidal product given by the Day convolution, and operads of complexity $2$ are non-symmetric operads. In general, we prove that the operad for operads of complexity $m$ is a suboperad of the $m$-th stage filtration of the lattice path operad introduced by Batanin and Berger. Finally, we exhibit fibration sequences involving this new notion, extending the results of Turchin and Dwyer-Hess.

Florian De Leger http://arxiv.org/abs/2411.18726v3 2025-03-19T11:59:25Z 2024-11-27T19:59:21Z

For any simplicial complex $X$ with a total ordering of its vertices, one can construct a chain complex $\mathbb{L}_\bullet(X)$ generated by necklaces of simplices in $X$, which computes the homology of the free loop space of the geometric realization of $X$. Motivated by string topology, we describe two explicit chain maps $C_\bullet(X) \to \mathbb{L}_\bullet(X)$, where $C_\bullet(X)$ denotes the simplicial chains in $X$, lifting the homology map induced by embedding points in $|X|$ into constant loops in the free loop space of $|X|$. One of the maps has a convenient combinatorial description, while the other is described in terms of higher structure on $C_\bullet(X)$.

Luis Fernandez Manuel Rivera Thomas Tradler 21 pages, typos corrected