In this paper, we study the variation of Selmer groups in families of modular Galois representations that are congruent modulo a fixed prime $p \geq 5$. Motivated by analogies with Goldfeld’s conjecture on ranks in quadratic twist families of elliptic curves, we investigate the stability of Selmer groups defined over $\mathbb{Q}$ via Greenberg’s local conditions under congruences of residual Galois representations. Let X be a positive real number. Fix a residual representation $\bar{\rho}$ and a corresponding modular form f of weight 2 and optimal level. We count the number of level-raising modular forms g of weight 2 that are congruent to f modulo p, with level $N_g\leq X$, such that the p-rank of the Selmer groups of g equals that of f. Under some mild assumptions on $\bar{\rho}$, we prove that this count grows at least as fast as $X (\log X)^{\alpha - 1}$ as $X \to \infty$, for an explicit constant $\alpha \gt 0$. The main result is a partial generalisation of theorems of Ono and Skinner on rank-zero quadratic twists to the setting of modular forms and Selmer groups.

We investigate heat kernel-based and other p-energy norms ($1\lt p\lt\infty$) on bounded and unbounded metric measure spaces, in particular, on nested fractals and their blow-ups. With the weak-monotonicity properties for these semi-norms, we generalise the celebrated Bourgain–Brezis-Mironescu (BBM) type characterisation for $p\neq2$. When the underlying space admits a heat kernel satisfying the sub-Gaussian estimates, we establish the equivalence of various p-energy semi-norms and weak-monotonicity properties, and show that these weak-monotonicity properties hold when $p=2$ (that is the case of Dirichlet form). Our paper’s key results concern the equivalence and verification of various weak-monotonicity properties on fractals. Consequently, many classical results on p-energy norms hold on nested fractals and their blow-ups, including the BBM type characterisation and Gagliardo-Nirenberg inequality.

Under the Generalised Riemann Hypothesis (GRH), any element in the multiplicative group of a number field K that is globally primitive (i.e., not a perfect power in $K^*$) is a primitive root modulo a set of primes of K of positive density.

For elliptic curves $E/K$ that are known to have infinitely many primes ${\mathfrak{p}}$ of cyclic reduction, possibly under GRH, a globally primitive point $P\in E(K)$ may fail to generate any of the point groups $E(k_{\mathfrak{p}})$. We describe this phenomenon in terms of an associated Galois representation $\rho_{E/K, P}\,:\,G_K\to\mathrm{GL}_3({\widehat {{\mathbf{Z}}}})$, and use it to construct non-trivial examples of global points on elliptic curves that are locally imprimitive.

Let M be a smooth manifold with $\dim M\geq 3$ and a base point $x_{0}$. Surgeries along the oriented circle $S^{1}\times \{x_{0}\}$ on the product $S^{1}\times M$ yield two manifolds $\Sigma _{0}M$ and $\Sigma _{1}M$, called the suspensions of M.

These suspension operations play a fundamental role in the construction and classification of smooth manifolds admitting free circle actions. This paper presents corresponding results and supporting evidence.

We prove an André–Oort-type result for a family of hypersurfaces in ${\mathbb{C}}^n$ that is both uniform and effective. Let $K_*$ denote the single exceptional imaginary quadratic field which occurs in the Siegel–Tatuzawa lower bound for the class number. We prove that, for $m, n \in {\mathbb{Z}}_{\gt0}$, there exists an effective constant $c(m, n)\gt0$ with the following property: if pairwise distinct singular moduli $x_1, \ldots, x_n$ with respective discriminants $\Delta_1, \ldots, \Delta_n$ are such that $a_1 x_1^m + \cdots + a_n x_n^m \in {\mathbb{Q}}$ for some $a_1, \ldots, a_n \in {\mathbb{Q}} \setminus \{0\}$ and $\# \{ \Delta_i \;:\; {\mathbb{Q}}(\sqrt{\Delta_i}) = K_*\} \leq 1$, then $\max_i \lvert \Delta_i \rvert \leq c(m, n)$. In addition, we prove an unconditional and completely explicit version of this result when $(m, n) = (1, 3)$ and thereby determine all the triples $(x_1, x_2, x_3)$ of singular moduli such that $a_1 x_1 + a_2 x_2 + a_3 x_3 \in {\mathbb{Q}}$ for some $a_1, a_2, a_3 \in {\mathbb{Q}} \setminus \{0\}$.

Turán observed that logarithmic partial sums $\sum_{n\le x}{f(n)}/{n}$ of completely multiplicative functions (in the particular case of the Liouville function $f(n)=\lambda(n)$) tend to be positive. We develop a general approach to prove two results aiming to explain this phenomena.

Firstly, we show that there exist constants $C, x_0\ge 1,$ such that for any completely multiplicative function f satisfying $-1\le f(n)\le 1$, we have

\begin{equation*}\sum_{n\le x}\frac{f(n)}{n}\ge -\frac{C(\log\log\log{x})^2}{(\log\log{x})}, \quad x\ge x_0.\end{equation*}

$f:\mathbb{N}\to \{-1,1\}$

$\sum_{n\le x}{f(n)}/{n}$

$O(\exp(-\exp({\log x\cdot \log\log\log x}/{C\log \log x}))).$

We obtain $\Omega$-results for linear exponential sums with rational additive twists of small prime denominators weighted by Hecke eigenvalues of Maass cusp forms for the group $\mathrm{SL}_3(\mathbb Z)$. In particular, our $\Omega$-results match the expected conjectural upper bounds when the denominator of the twist is sufficiently small compared to the length of the sum. Non-trivial $\Omega$-results for sums over short segments are also obtained. Along the way we produce lower bounds for mean squares of the exponential sums in question and also improve the best known upper bound for these sums in some ranges of parameters.

Let $S_g$ denote the genus g closed orientable surface. A coherent filling pair of simple closed curves, $(\alpha,\beta)$ in $S_g$, is a filling pair that has its geometric intersection number equal to the absolute value of its algebraic intersection number. A minimally intersecting filling pair, $(\alpha,\beta)$ in $S_g$, is one whose intersection number is the minimal among all filling pairs of $S_g$. In this paper, we give a simple geometric procedure for constructing minimally intersecting coherent filling pairs on $S_g, \ g \geq 3,$ from the starting point of a coherent filling pair of curves on a torus. Coherent filling pairs have a natural correspondence to square-tiled surfaces, or origamis, and we discuss the origami obtained from the construction.

Let $M^{({k})}_{d}(n)$ be the manifold of n-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-k-equal coordinates. We show that, for $d\geq2$, $M^{({3})}_{d}(n)$ is rationally formal if and only if $n\leq6$. This stands in sharp contrast with the fact that all classical configuration spaces $M^{({2})}_d(n)=\text{Conf}(\mathbb{R}^d,n)$ are rationally formal, just as are all complements of arrangements of arbitrary complex subspaces with geometric lattice of intersections. The rational non-formality of $M^{({3})}_{d}(n)$ for $n \gt 6$ is established via detection of non-trivial triple Massey products, which are assessed geometrically through Poincaré duality.

Let G and H be finite-dimensional vector spaces over $\mathbb{F}_p$. A subset $A \subseteq G \times H$ is said to be transverse if all of its rows $\{x \in G \colon (x,y) \in A\}$, $y \in H$, are subspaces of G and all of its columns $\{y \in H \colon (x,y) \in A\}$, $x \in G$, are subspaces of H. As a corollary of a bilinear version of the Bogolyubov argument, Gowers and the author proved that dense transverse sets contain bilinear varieties of bounded codimension. In this paper, we provide a direct combinatorial proof of this fact. In particular, we improve the bounds and evade the use of Fourier analysis and Freiman’s theorem and its variants.