Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.

Given a Hamiltonian action of a proper symplectic groupoid (for instance, a Hamiltonian action of a compact Lie group), we show that the transverse momentum map admits a natural constant rank stratification. To this end, we construct a refinement of the canonical stratification associated to the Lie groupoid action (the orbit type stratification, in the case of a Hamiltonian Lie group action) that seems not to have appeared before, even in the literature on Hamiltonian Lie group actions. This refinement turns out to be compatible with the Poisson geometry of the Hamiltonian action: it is a Poisson stratification of the orbit space, each stratum of which is a regular Poisson manifold that admits a natural proper symplectic groupoid integrating it. The main tools in our proofs (which we believe could be of independent interest) are a version of the Marle–Guillemin–Sternberg normal form theorem for Hamiltonian actions of proper symplectic groupoids and a notion of equivalence between Hamiltonian actions of symplectic groupoids, closely related to Morita equivalence between symplectic groupoids.

The straightening–unstraightening correspondence of Grothendieck–Lurie provides an equivalence between cocartesian fibrations between $(\infty, 1)$-categories and diagrams of $(\infty, 1)$-categories. We provide an alternative proof of this correspondence, as well as an extension of straightening–unstraightening to all higher categorical dimensions. This is based on an explicit combinatorial result relating two types of fibrations between double categories, which can be applied inductively to construct the straightening of a cocartesian fibration between higher categories.

We define a notion of modular forms of half-integral weight on the quaternionic exceptional groups. We prove that they have a well-behaved notion of Fourier coefficients, which are complex numbers defined up to multiplication by ${\pm }1$. We analyze the minimal modular form $\Theta _{F_4}$ on the double cover of $F_4$, following Loke–Savin and Ginzburg. Using $\Theta _{F_4}$, we define a modular form of weight $\tfrac {1}{2}$ on (the double cover of) $G_2$. We prove that the Fourier coefficients of this modular form on $G_2$ see the $2$-torsion in the narrow class groups of totally real cubic fields.