We compute the $\text{Pin}(2)$-equivariant Seiberg–Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu’s conjecture that $\unicode[STIX]{x1D6FD}=-\bar{\unicode[STIX]{x1D707}}$ for Seifert integral homology three-spheres. We show that the Manolescu invariants $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},$ and $\unicode[STIX]{x1D6FE}$ give new obstructions to homology cobordisms between Seifert fiber spaces, and that many Seifert homology spheres $\unicode[STIX]{x1D6F4}(a_{1},\ldots ,a_{n})$ are not homology cobordant to any $-\unicode[STIX]{x1D6F4}(b_{1},\ldots ,b_{n})$. We then use the same invariants to give an example of an integral homology sphere not homology cobordant to any Seifert fiber space. We also show that the $\text{Pin}(2)$-equivariant Seiberg–Witten Floer spectrum provides homology cobordism obstructions distinct from $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},$ and $\unicode[STIX]{x1D6FE}$. In particular, we identify an $\mathbb{F}[U]$-module called connected Seiberg–Witten Floer homology, whose isomorphism class is a homology cobordism invariant.

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^{n}$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call ‘twisted commutative dg algebra models’ for the cochains on $X$. Suppose that $X$ is a ‘nice’ topological space, $R$ is any commutative ring, $H_{c}^{\bullet }(X,R)\rightarrow H^{\bullet }(X,R)$ is the zero map, and that $H_{c}^{\bullet }(X,R)$ is a projective $R$-module. We prove that the compact support cohomology of any generalized configuration space of points on $X$ depends only on the graded $R$-module $H_{c}^{\bullet }(X,R)$. This generalizes a theorem of Arabia.

We prove a rigid analytic analogue of the Artin–Grothendieck vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric étale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees above the dimension of $X$. Along the way, we show that branched covers of normal rigid spaces can often be extended across closed analytic subsets, in analogy with a classical result for complex analytic spaces. We also prove some new comparison theorems relating the étale cohomology of schemes and rigid analytic varieties, and give some applications of them. In particular, we prove a structure theorem for Zariski-constructible sheaves on characteristic-zero affinoid spaces.

We prove an analogue of Belyi’s theorem in characteristic two. Our proof consists of the following three steps. We first introduce a new notion called pseudo-tameness for morphisms between curves over an algebraically closed field of characteristic two. Secondly, we prove the existence of a ‘pseudo-tame’ rational function by showing the vanishing of an obstruction class. Finally, we construct a tamely ramified rational function from the ‘pseudo-tame’ rational function.

For a one-parameter subgroup action on a finite-volume homogeneous space, we consider the set of points admitting divergent-on-average trajectories. We show that the Hausdorff dimension of this set is strictly less than the manifold dimension of the homogeneous space. As a corollary we know that the Hausdorff dimension of the set of points admitting divergent trajectories is not full, which proves a conjecture of Cheung [Hausdorff dimension of the set of singular pairs, Ann. of Math. (2) 173 (2011), 127–167].

Gross, Hacking and Keel have constructed mirrors of log Calabi–Yau surfaces in terms of counts of rational curves. Using $q$-deformed scattering diagrams defined in terms of higher-genus log Gromov–Witten invariants, we construct deformation quantizations of these mirrors and we produce canonical bases of the corresponding non-commutative algebras of functions.

This paper contributes to the study of Engel structures and their classification. The main result introduces the notion of a loose family of Engel structures and shows that two such families are Engel homotopic if and only if they are formally homotopic. This implies a complete $h$-principle when auxiliary data is fixed. As a corollary, we show that Lorentz and orientable Cartan prolongations are classified up to homotopy by their formal data.