Let $E/\mathbf {Q}$ be an elliptic curve and $p>3$ be a good ordinary prime for E and assume that $L(E,1)=0$ with root number $+1$ (so $\text {ord}_{s=1}L(E,s)\geqslant 2$ ). A construction of Darmon–Rotger attaches to E and an auxiliary weight 1 cuspidal eigenform g such that $L(E,\text {ad}^{0}(g),1)\neq 0$ , a Selmer class $\kappa _{p}\in \text {Sel}(\mathbf {Q},V_{p}E)$ , and they conjectured the equivalence

$$ \begin{align*} \kappa_{p}\neq 0\quad\Longleftrightarrow\quad{\textrm{dim}}_{{\mathbf{Q}}_{p}}\textrm{Sel}(\mathbf{Q},V_{p}E)=2. \end{align*} $$

In this article, we prove the first cases on Darmon–Rotger’s conjecture when the auxiliary eigenform g has complex multiplication. In particular, this provides a new construction of nontrivial Selmer classes for elliptic curves of rank 2.

We prove that all smooth Fano threefolds in the families and are K-stable, and we also prove that smooth Fano threefolds in the family that satisfy one very explicit generality condition are K-stable.

Let n be a nonnegative integer. For each composition $\alpha $ of n, Berg, Bergeron, Saliola, Serrano and Zabrocki introduced a cyclic indecomposable $H_n(0)$ -module $\mathcal {V}_{\alpha }$ with a dual immaculate quasisymmetric function as the image of the quasisymmetric characteristic. In this paper, we study $\mathcal {V}_{\alpha }$ s from the homological viewpoint. To be precise, we construct a minimal projective presentation of $\mathcal {V}_{\alpha }$ and a minimal injective presentation of $\mathcal {V}_{\alpha }$ as well. Using them, we compute $\mathrm {Ext}^1_{H_n(0)}(\mathcal {V}_{\alpha }, \mathbf {F}_{\beta })$ and $\mathrm {Ext}^1_{H_n(0)}( \mathbf {F}_{\beta }, \mathcal {V}_{\alpha })$ , where $\mathbf {F}_{\beta }$ is the simple $H_n(0)$ -module attached to a composition $\beta $ of n. We also compute $\mathrm {Ext}_{H_n(0)}^i(\mathcal {V}_{\alpha },\mathcal {V}_{\beta })$ when $i=0,1$ and $\beta \le _l \alpha $ , where $\le _l$ represents the lexicographic order on compositions.

We study a relative variant of Serre’s notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ that normalize the identity component $K^{\circ }$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ }$ is completely reducible. This allows us to generalize a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as ‘rational’ versions over nonalgebraically closed fields.

We prove an asymptotic expansion of the second moment of the central values of the $\mathrm {GL}(n)\times \mathrm {GL}(n)$ Rankin–Selberg L-functions $L(1/2,\pi \otimes \pi _0)$ for a fixed cuspidal automorphic representation $\pi _0$ over the family of $\pi $ with analytic conductors bounded by a quantity that is tending to infinity. Our proof uses the integral representations of the L-functions, period with regularised Eisenstein series and the invariance properties of the analytic newvectors.

A new reciprocity formula for Dirichlet L-functions associated to an arbitrary primitive Dirichlet character of prime modulus q is established. We find an identity relating the fourth moment of individual Dirichlet L-functions in the t-aspect to the cubic moment of central L-values of Hecke–Maaß newforms of level at most $q^{2}$ and primitive central character $\psi ^{2}$ averaged over all primitive nonquadratic characters $\psi $ modulo q. Our formula can be thought of as a reverse version of recent work of Petrow–Young. Direct corollaries involve a variant of Iwaniec’s short interval fourth moment bound and the twelfth moment bound for Dirichlet L-functions, which generalise work of Jutila and Heath-Brown, respectively. This work traverses an intersection of classical analytic number theory and automorphic forms.

For $\theta $ a small generic universal stability condition of degree $0$ and A a vector of integers adding up to $-k(2g-2+n)$, the spaces $\overline {\mathcal {M}}_{g,A}^\theta $ constructed in [AP21, HMP+22] are observed to lie inside the space $\textbf {Div}$ of [MW20], and their pullback under $\textbf {Rub} \to \textbf {Div}$ of loc. cit. to be smooth. This provides smooth and modular modifications $\widetilde {\mathcal {M}}_{g,A}^\theta $ of $\overline {\mathcal {M}}_{g,n}$ on which the logarithmic double ramification cycle can be calculated by several methods.

For a finite group $G$, let $d(G)$ denote the minimal number of elements required to generate $G$. In this paper, we prove sharp upper bounds on $d(H)$ whenever $H$ is a maximal subgroup of a finite almost simple group. In particular, we show that $d(H)\leqslant 5$ and that $d(H)\geqslant 4$ if and only if $H$ occurs in a known list. This improves a result of Burness, Liebeck and Shalev. The method involves the theory of crowns in finite groups.

We study questions in incidence geometry where the precise position of points is ‘blurry’ (for example due to noise, inaccuracy or error). Thus lines are replaced by narrow tubes, and more generally affine subspaces are replaced by their small neighborhood. We show that the presence of a sufficiently large number of approximately collinear triples in a set of points in ${\mathbb{C}}^d$ implies that the points are close to a low dimensional affine subspace. This can be viewed as a stable variant of the Sylvester–Gallai theorem and its extensions. Building on the recently found connection between Sylvester–Gallai type theorems and complex locally correctable codes (LCCs), we define the new notion of stable LCCs, in which the (local) correction procedure can also handle small perturbations in the Euclidean metric. We prove that such stable codes with constant query complexity do not exist. No impossibility results were known in any such local setting for more than two queries.

We find defining equations for the Shimura curve of discriminant 15 over $\mathbb{Z}[1/15]$. We then determine the graded ring of automorphic forms over the 2-adic integers, as well as the higher cohomology. We apply this to calculate the homotopy groups of a spectrum of ‘topological automorphic forms’ associated to this curve, as well as one associated to a quotient by an Atkin–Lehner involution.

The goal of this paper is to describe certain nonlinear topological obstructions for the existence of first-order smoothings of mildly singular Calabi–Yau varieties of dimension at least $4$. For nodal Calabi–Yau threefolds, a necessary and sufficient linear topological condition for the existence of a first-order smoothing was first given in [Fri86]. Subsequently, Rollenske–Thomas [RT09] generalized this picture to nodal Calabi–Yau varieties of odd dimension by finding a necessary nonlinear topological condition for the existence of a first-order smoothing. In a complementary direction, in [FL22a], the linear necessary and sufficient conditions of [Fri86] were extended to Calabi–Yau varieties in every dimension with $1$-liminal singularities (which are exactly the ordinary double points in dimension $3$ but not in higher dimensions). In this paper, we give a common formulation of all of these previous results by establishing analogues of the nonlinear topological conditions of [RT09] for Calabi–Yau varieties with weighted homogeneous k-liminal hypersurface singularities, a broad class of singularities that includes ordinary double points in odd dimensions.

In [12], John Stillwell wrote, ‘finding the exact strength of the Brouwer invariance theorems seems to me one of the most interesting open problems in reverse mathematics.’ In this article, we solve Stillwell’s problem by showing that (some forms of) the Brouwer invariance theorems are equivalent to the weak König’s lemma over the base system ${\sf RCA}_0$ . In particular, there exists an explicit algorithm which, whenever the weak König’s lemma is false, constructs a topological embedding of $\mathbb {R}^4$ into $\mathbb {R}^3$ .

Let X be a smooth proper variety over a field k and suppose that the degree map ${\mathrm {CH}}_0(X \otimes _k K) \to \mathbb {Z}$ is isomorphic for any field extension $K/k$. We show that $G(\operatorname {Spec} k) \to G(X)$ is an isomorphism for any $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers G. This generalises a result of Binda, Rülling and Saito that proves the same conclusion for reciprocity sheaves. We also give a direct proof of the fact that the unramified logarithmic Hodge–Witt cohomology is a $\mathbb {P}^1$-invariant Nisnevich sheaf with transfers.

The K-theoretic Schur P- and Q-functions $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $ may be concretely defined as weight-generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual K-theoretic Schur P- and Q-functions $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ via a Cauchy identity involving $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $. They conjectured that the dual power series are weight-generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ under the $\omega $ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $G\hspace {-0.2mm}Q$-functions are a basis for a ring.

We show that the measure of maximal entropy of every complex Hénon map is exponentially mixing of all orders for Hölder observables. As a consequence, the Central Limit Theorem holds for all Hölder observables.

We give an upper bound on the volume $\operatorname {vol}(P^*)$ of a polytope $P^*$ dual to a d-dimensional lattice polytope P with exactly one interior lattice point in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp and achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional Fano toric variety X with at worst canonical singularities.

In this paper, the authors introduce a new notion called the quantum wreath product, which is the algebra $B \wr _Q \mathcal {H}(d)$ produced from a given algebra B, a positive integer d and a choice $Q=(R,S,\rho ,\sigma )$ of parameters. Important examples that arise from our construction include many variants of the Hecke algebras, such as the Ariki–Koike algebras, the affine Hecke algebras and their degenerate version, Wan–Wang’s wreath Hecke algebras, Rosso–Savage’s (affine) Frobenius Hecke algebras, Kleshchev–Muth’s affine zigzag algebras and the Hu algebra that quantizes the wreath product $\Sigma _m \wr \Sigma _2$ between symmetric groups.

In the first part of the paper, the authors develop a structure theory for the quantum wreath products. Necessary and sufficient conditions for these algebras to afford a basis of suitable size are obtained. Furthermore, a Schur–Weyl duality is established via a splitting lemma and mild assumptions on the base algebra B. Our uniform approach encompasses many known results which were proved in a case by case manner. The second part of the paper involves the problem of constructing natural subalgebras of Hecke algebras that arise from wreath products. Moreover, a bar-invariant basis of the Hu algebra via an explicit formula for its extra generator is also described.

Let $X_4\subset \mathbb {P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field k. We show that if either $X_4$ contains a linear subspace $\Lambda $ of dimension $h\geq \max \{2,\dim (\Lambda \cap \operatorname {\mathrm {Sing}}(X_4))+2\}$ or has double points along a linear subspace of dimension $h\geq 3$ , a smooth k-rational point and is otherwise general, then $X_4$ is unirational over k. This improves previous results by A. Predonzan and J. Harris, B. Mazur and R. Pandharipande for quartics. We also provide a density result for the k-rational points of quartic $3$ -folds with a double plane over a number field, and several unirationality results for quintic hypersurfaces over a $C_r$ field.

We show that there exists a cubic threefold defined by an invertible polynomial that, when quotiented by the maximal diagonal symmetry group, has a derived category that does not have a full exceptional collection consisting of line bundles. This provides a counterexample to a conjecture of Lekili and Ueda.

We construct coloured lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang–Baxter equation that allow us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux.