We compute $ku^*\left(K\!\left({\mathbb{Z}}_p,2\right)\right)$ and $ku_*\left(K\!\left({\mathbb{Z}}_p,2\right)\right)$, the connective $KU$-cohomology and connective $KU$-homology groups of the mod-$p$ Eilenberg–MacLane space $K\!\left({\mathbb{Z}}_p,2\right)$, using the Adams spectral sequence. We obtain a striking interaction between $h_0$-extensions and exotic extensions. The mod-$p$ connective $KU$-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups.

Following ideas of Lurie, we give a general construction of equivariant elliptic cohomology without restriction to characteristic zero. Specializing to the universal elliptic curve we obtain, in particular, equivariant spectra of topological modular forms. We compute the fixed points of these spectra for the circle group and more generally for tori.

We prove that the second page of the Mayer–Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer–Vietoris spectral sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.

In the setting of finite groups, suppose $J$ acts on $N$ via automorphisms so that the induced semidirect product $N\rtimes J$ acts on some non-empty set $\Omega$, with $N$ acting transitively. Glauberman proved that if the orders of $J$ and $N$ are coprime, then $J$ fixes a point in $\Omega$. We consider the non-coprime case and show that if $N$ is abelian and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$. We also show that if $N$ is nilpotent, $N\rtimes J$ is supersoluble, and a Sylow $p$-subgroup of $J$ fixes a point in $\Omega$ for each prime $p$, then $J$ fixes a point in $\Omega$.

We classify fibrations of abstract $3$-regular GKM graphs over $2$-regular ones, and show that all fibrations satisfying the known necessary conditions for realizability are, in fact, realized as the projectivization of equivariant complex rank-$2$ vector bundles over quasitoric $4$-manifolds or $S^4$. We investigate the existence of invariant (stable) almost complex, symplectic, and Kähler structures on the total space. In this way, we obtain infinitely many Kähler manifolds with Hamiltonian non-Kähler actions in dimension $6$ with prescribed one-skeleton, in particular with a prescribed number of isolated fixed points.

Reflexive homology is the homology theory associated to the reflexive crossed simplicial group; one of the fundamental crossed simplicial groups. It is the most general way to extend Hochschild homology to detect an order-reversing involution. In this paper we study the relationship between reflexive homology and the $C_2$-equivariant homology of free loop spaces. We define reflexive homology in terms of functor homology. We give a bicomplex for computing reflexive homology together with some calculations, including the reflexive homology of a tensor algebra. We prove that the reflexive homology of a group algebra is isomorphic to the homology of the $C_2$-equivariant Borel construction on the free loop space of the classifying space. We give a direct sum decomposition of the reflexive homology of a group algebra indexed by conjugacy classes of group elements, where the summands are defined in terms of a reflexive analogue of group homology. We define a hyperhomology version of reflexive homology and use it to study the $C_2$-equivariant homology of certain free loop and free loop-suspension spaces. We show that reflexive homology satisfies Morita invariance. We prove that under nice conditions the involutive Hochschild homology studied by Braun and by Fernàndez-València and Giansiracusa coincides with reflexive homology.

Given a height at most two Landweber exact $\mathbb {E}_\infty$-ring $E$ whose homotopy is concentrated in even degrees, we show that any complex orientation of $E$ which satisfies the Ando criterion admits a unique lift to an $\mathbb {E}_\infty$-complex orientation $\mathrm {MU} \to E$. As a consequence, we give a short proof that the level $n$ elliptic genus lifts uniquely to an $\mathbb {E}_\infty$-complex orientation $\mathrm {MU} \to \mathrm {tmf}_1 (n)$ for all $n\, {\geq}\, 2$.

We prove the convergence of the Adams spectral sequence based on Morava K-theory and relate it to the filtration by powers of the maximal ideal in the Lubin–Tate ring through a Miller square. We use the filtration by powers to construct a spectral sequence relating the homology of the K-local sphere to derived functors of completion and express the latter as cohomology of the Morava stabiliser group. As an application, we compute the zeroth limit at all primes and heights.

This paper studies the magnitude homology of graphs focusing mainly on the relationship between its diagonality and the girth. The magnitude and magnitude homology are formulations of the Euler characteristic and the corresponding homology, respectively, for finite metric spaces, first introduced by Leinster and Hepworth–Willerton. Several authors study them restricting to graphs with path metric, and some properties which are similar to the ordinary homology theory have come to light. However, the whole picture of their behaviour is still unrevealed, and it is expected that they catch some geometric properties of graphs. In this article, we show that the girth of graphs partially determines the magnitude homology, that is, the larger girth a graph has, the more homologies near the diagonal part vanish. Furthermore, applying this result to a typical random graph, we investigate how the diagonality of graphs varies statistically as the edge density increases. In particular, we show that there exists a phase transition phenomenon for the diagonality.

The space of Fredholm operators of fixed index is stratified by submanifolds according to the dimension of the kernel. Geometric considerations often lead to questions about the intersections of concrete families of elliptic operators with these submanifolds: Are the intersections nonempty? Are they smooth? What are their codimensions? The purpose of this article is to develop tools to address these questions in equivariant situations. An important motivation for this work are transversality questions for multiple covers of J-holomorphic maps. As an application, we use our framework to give a concise exposition of Wendl’s proof of the superrigidity conjecture.

Homotopy theory folklore tells us that the sheaf defining the cohomology theory $\operatorname {\mathrm {Tmf}}$ of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This retroactively reconciles all previous constructions of $\operatorname {\mathrm {Tmf}}$.

We show that every orbispace satisfying certain mild hypotheses has ‘enough’ vector bundles. It follows that the $K$-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth orbifolds and derived smooth orbifolds also follow.

For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed nontrivially valued nonarchimedean field K based on Hrushovski-Loeser’s stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $\Gamma _{\infty }$, where $\Gamma $ denotes the value group of K. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $\Gamma _{\infty }$. In both contexts, we show that the corresponding cohomology theory satisfies the Eilenberg-Steenrod axioms, finiteness and invariance, and we provide natural bounds of cohomological dimension in each case. As an application, we show that there are finitely many isomorphism types of cohomology groups in definable families. Moreover, due to the strong relation between the stable completion of an algebraic variety and its analytification in the sense of V. Berkovich, we recover and extend results on the singular cohomology of the analytification of algebraic varieties concerning finiteness and invariance.

We study moduli spaces of d-dimensional manifolds with embedded particles and discs, which we refer to as decorations. These spaces admit a model in which points are unparametrised d-dimensional manifolds in $\mathbb{R}^\infty$ with particles and discs constrained to it. We compare this to the space of d-dimensional manifolds in $\mathbb{R}^\infty$ with particles and discs that are no longer constrained, i.e. the decorations are decoupled. We show that under certain conditions these spaces cannot be distinguished by homology groups within a range. This generalises work by Bödigheimer–Tillmann for oriented surfaces to different tangential structures and also to higher dimensional manifolds. We also extend this result to moduli spaces with more general submanifolds as decorations and specialise in the case of decorations being embedded circles.

In this paper, we compute the $BP$-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and $BP$-operations to prove new results about equivariant maps between Stiefel manifolds.

We describe an organizing framework for the study of infinitary combinatorics. This framework is Čech cohomology. It describes ZFC principles distinguishing among the ordinals of the form $\omega _n$. More precisely, this framework correlates each $\omega _n$ with an $(n+1)$-dimensional generalization of Todorcevic’s walks technique, and begins to account for that technique’s “unreasonable effectiveness” on $\omega _1$.

We show in contrast that on higher cardinals $\kappa $, the existence of these principles is frequently independent of the ZFC axioms. Finally, we detail implications of these phenomena for the computation of strong homology groups and higher derived limits, deriving independence results in algebraic topology and homological algebra, respectively, in the process.

Abstract prepared by Jeffrey Bergfalk.

E-mail: jeffrey.bergfalk@univie.ac.at

In this paper we focus on compacta $K \subseteq \mathbb {R}^3$ which possess a neighbourhood basis that consists of nested solid tori $T_i$. We call these sets toroidal. Making use of the classical notion of the geometric index of a curve inside a torus, we introduce the self-geometric index of a toroidal set K, which roughly captures how each torus $T_{i+1}$ winds inside the previous $T_i$ as $i \rightarrow +\infty $. We then use this index to obtain some results about the realizability of toroidal sets as attractors for homeomorphisms of $\mathbb {R}^3$.

We establish a straightforward estimate for the number of open sets with fundamental group constraints needed to cover the total space of fibrations. This leads to vanishing results for simplicial volume and minimal volume entropy, e.g., for certain mapping tori.

For $G = \mathrm {GL}_2, \mathrm {SL}_2, \mathrm {PGL}_2$ we compute the intersection E-polynomials and the intersection Poincaré polynomials of the G-character variety of a compact Riemann surface C and of the moduli space of G-Higgs bundles on C of degree zero. We derive several results concerning the P=W conjectures for these singular moduli spaces.