A note on relative Gelfand-Fuks cohomology of spheres

2025-03-10T13:38:23Z

We study the Gelfand-Fuks cohomology of smooth vector fields on $S^d$ relative to $\mathrm{SO}(d+1)$ following a method by Haefliger that uses tools from rational homotopy theory. In particular, we show that $H^*(\mathrm{BSO}(4);\mathbb{R})$ injects into the relative Gelfand-Fuks cohomology which corrects a claim by Haefliger. Moreover, for $S^3$ the relative Gelfand-Fuks cohomology agrees with the smooth cohomology of $\text{Diff}^+(S^3)$ and we provide a computation in low degrees.

Eulerian magnitude homology: diagonality, injective words, and regular path homology

2025-03-09T18:40:56Z

In this paper we explore the algebraic structure and combinatorial properties of eulerian magnitude homology. First, we analyze the diagonality conditions of eulerian magnitude homology, providing a characterization of complete graphs. Then, we construct the regular magnitude-path spectral sequence as the spectral sequence of the (filtered) injective nerve of the reachability category, and explore its consequences. Among others, we show that such spectral sequence converges to the complex of injective words on a digraph, and yields characterization results for the regular path homology of diagonal directed graphs.

Loop space decompositions of moment-angle complexes associated to two dimensional simplicial complexes

2025-03-09T15:51:22Z

We show that the loop space of a moment-angle complex associated to a $2$-dimensional simplicial complex decomposes as a finite type product of spheres, loops on spheres, and certain indecomposable spaces which appear in the loop space decomposition of Moore spaces. We also give conditions on certain subcomplexes under which, localised away from sufficiently many primes, the loop space of a moment-angle complex decomposes as a finite type product of spheres and loops on spheres.

Counterexamples to a conjecture of Adams

2025-03-08T13:46:00Z

For any odd prime $p$ and any integer $n>0$ with $p^2|n$, we show that the mod $p$ cohomology ring of the classifying space of the projective unitary group $PU(n)$ is not completely detected by elementary abelian $p$-subgroups, providing counterexamples to a conjecture due to J. F. Adams. We also give an application involving Milnor operations and Brown-Peterson cohomology.

A note on Samelson product in $Sp(n)$

2025-03-08T13:03:50Z

Let $m$ and $n$ be two positive integers such that $m < n$. Let $Q_{n-m+1}$ be the symplectic quasi-projective space of rank $n-m+1$. In this article, we will study the order of the Samelson product $S^{4m-1}\wedge Q_{n-m+1}\rightarrow Sp(n)$.

Differential forms and invariants of complex manifolds

2025-03-07T23:34:44Z

A survey of some results and open questions related to the following algebraic invariants of compact complex manifolds, that can be obtained from differential forms: cohomology groups, Chern classes, rational homotopy groups, and higher operations.

Equivariant Witt Complexes and Twisted Topological Hochschild Homology

2025-03-07T15:58:06Z

The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work of Angeltveit, Blumberg, Gerhardt, Hill, Lawson and Mandell defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.

On the full subcomplexes of Bier spheres and their applications to real toric spaces

2025-03-07T12:54:56Z

A Bier sphere is a simplicial sphere obtained as the deleted join of a simplicial complex and its combinatorial Alexander dual. We focus on particular classes of full subcomplexes of Bier spheres, and determine their topological types. As applications, we explicitly describe the cohomology of real toric spaces associated with Bier spheres.

Spaces of unbounded Fredholm operators: I. Homotopy equivalences

2025-03-07T10:56:25Z

This paper is devoted to the space of unbounded Fredholm operators equipped with the graph topology, the subspace of operators with compact resolvent, and their subspaces consisting of self-adjoint operators. Our main results are the following: (1) Natural maps between these four spaces and classical spaces of bounded operators representing K-theory are homotopy equivalences. This provides an alternative proof of a particular case of results of Joachim. (2) The subspace of unbounded essentially positive Fredholm operators represents odd K-theory. (3) The subspace of invertible operators in each of these spaces of unbounded operators is contractible.

Derived deformation functors, Koszul duality, and Maurer-Cartan spaces

2025-03-07T10:38:39Z

We summarise the chain of comparisons showing Hinich's derived Maurer-Cartan functor gives an equivalence between differential graded Lie algebras and derived Schlessinger functors on Artinian differential graded-commutative algebras. We include some motivating deformation problems and analogues for more general Koszul dual pairs of operads.

The Andreadakis Problem for the McCool groups

2025-03-07T01:54:00Z

In this short paper, we show that the McCool group does not satisfy the Andreadakis equality from degree $7$, and we give a lower bound for the size of the difference between the two relevant filtrations. As a consequence, we see that the Andreadakis problem for the McCool group does not stabilize.

Coalgebraic $K$-theory

2025-03-06T19:00:06Z

We establish comparison maps between the classical algebraic $K$-theory of algebras over a field and its analogue $K^c$, an algebraic $K$-theory for coalgebras over a field. The comparison maps are compatible with the Hattori--Stallings (co)traces. We identify conditions on the algebras or coalgebras under which the comparison maps are equivalences. Notably, the algebraic $K$-theory of the power series ring is equivalent to the $K^c$-theory of the divided power coalgebra. We also establish comparison maps between the $G$-theory of finite dimensional representations of an algebra and its analogue $G^c$ for coalgebras. In particular, we show that the Swan theory of a group is equivalent to the $G^c$-theory of the representative functions coalgebra, reframing the classical character of a group as a trace in coHochschild homology.

LS-category and sequential topological complexity of symmetric products

2025-03-06T15:19:42Z

The $n$-th symmetric product of a topological space $X$ is the orbit space of the natural action of the symmetric group $S_n$ on the product space $X^n$. In this paper, we compute the sequential topological complexities of the symmetric products of closed orientable surfaces, thereby verifying the rationality conjecture of Farber and Oprea for these spaces. Additionally, we determine the Lusternik--Schnirelmann category of the symmetric products of closed non-orientable surfaces. More generally, we provide lower bounds to the LS-category and the sequential topological complexities of the symmetric products of finite CW complexes $X$ in terms of the cohomology of $X$ and its products. On the way, we also obtain new lower bounds to the sequential distributional complexities of continuous maps and study the homotopy groups of the symmetric products of closed surfaces.

On the derived Tate curve and global smooth Tate $K$-theory

2025-03-06T14:42:39Z

The interplay between equivariant stable homotopy theory and spectral algebraic geometry is used to construct a derived Tate curve over $\mathrm{KU}((q))$, a lift of the classical elliptic curve of Tate over $\mathbf{Z}((q))$. Applications of both an algebro-geometric and a topological flavour follow. First, we construct a spectral algebro-geometric model for the compactification of the moduli stack of oriented elliptic curves, giving a canonical choice of holomorphic topological $q$-expansion map. Then we define globally equivariant forms of Tate $K$-theory $\mathbf{KO}((q))$ and $\mathbf{KU}((q))$, and equip them with globally equivariant meromorphic topological $q$-expansion maps from global topological modular forms. Finally, we explore $C_2$-equivariant versions of global Tate $K$-theory and connect them with $C_2$-equivariant global topological modular forms with level structures.

Global Picard Spectra and Borel Parametrized Algebra

2025-03-06T14:10:20Z

We answer a question of Schwede on the existence of global Picard spectra associated to his ultra-commutative global ring spectra; given an ultra-commutative global ring spectrum $R$, we show there exists a global spectrum $\mathrm{pic}_\mathrm{eq}(R)$ assembling the Picard spectra of all underlying $G$-equivariant ring spectra $\mathrm{res}_G R$ of $R$ into one object, in that for all finite groups $G$, the genuine fixed points are given by $\mathrm{pic}_\mathrm{eq}(R)^G \simeq \mathrm{pic}(\mathrm{Mod}_{\mathrm{res}_G R}(\mathrm{Sp}_G))$. Along the way, we develop a generalization of Borel-equivariant objects in the setting of parametrized higher algebra. We use this to assemble the symmetric monoidal categories of $G$-spectra for all finite groups $G$ together with all restrictions and norms into a single `normed global category', and build a comparison functor which allows us to import ultra-commutative $G$-equivariant or global ring spectra into the setting of parametrized higher algebra.