Given a nonzero integer n, Gupta and Saha [‘Integer solutions of the generalised polynomial Pell equations and their finiteness: the quadratic case’, Canad. Math. Bull., to appear] classified all polynomials $x^2+ax+b\in {\mathbb {Z}}[x]$ for which the polynomial Pell equation $P^2-(x^2+ax+b)Q^2=n$ has solutions ${P,Q\in {\mathbb {Z}}[x]}$ with $Q\neq 0$. We generalise their work to the equation $P^2-(f^2+af+b)Q^2=nR$, where f is a fixed polynomial in ${\mathbb {Z}}[x]$. As an application of our results, we study the equation $P^2-D(f)Q^2=n$, where D is a monic, quartic and non square-free polynomial in ${\mathbb {Z}}[x]$. This extends Theorem 1.4 of Scherr and Thompson [‘Quartic integral polynomial Pell equations’, J. Number Theory 259 (2024), 38–56].

Let A be an abelian variety defined over a global function field F and let p be a prime distinct from the characteristic of F. Let $F_\infty $ be a p-adic Lie extension of F that contains the cyclotomic $\mathbb {Z}_p$-extension $F^{\mathrm {cyc}}$ of F. In this paper, we investigate the structure of the p-primary Selmer group $\mathrm {Sel}(A/F_\infty )$ of A over $F_\infty $. We prove the $\mathfrak {M}_H(G)$-conjecture for $A/F_\infty $. Furthermore, we show that both the $\mu $-invariant of the Pontryagin dual of the Selmer group $\mathrm {Sel}(A/F^{\mathrm {cyc}})$ and the generalized $\mu $-invariant of the Pontryagin dual of the Selmer group $\mathrm {Sel}(A/F_\infty )$ are zero, thereby proving Mazur’s conjecture for $A/F$. We then relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of A over the base field F. Assuming the finiteness of the Tate–Shafarevich group, we establish that this corank equals the order of vanishing of the L-function of $A/F$ at $s=1$. Finally, we extend a theorem of Sechi—originally proved for elliptic curves without complex multiplication—to abelian varieties over global function fields. This is achieved by adapting the notion of generalized Euler characteristic, introduced by Zerbes for elliptic curves over number fields. This new invariant allows us, via Akashi series, to relate the generalized Euler characteristic of $\mathrm {Sel}(A/F_\infty )$ to the Euler characteristic of $\mathrm {Sel}(A/F^{\mathrm {cyc}})$.

Let F be a totally real field. Let $\mathsf {A}$ be a simple modular self-dual abelian variety defined over F. We study the growth of the corank of Selmer groups of $\mathsf {A}$ over $\mathbb {Z}_p$-extensions of a complex multiplication (CM) extension of F. We propose an extension of Mazur’s growth number conjecture for elliptic curves to this new setting. We provide evidence supporting an affirmative answer by studying special cases of this problem, generalising previous results on elliptic curves and imaginary quadratic fields.

In this paper, we study partitions of totally positive integral elements $ \alpha $ in a real quadratic field $ K $. We prove that for a fixed integer $ m \geq 1 $, an element with $ m $ partition exists in almost all $ K $. We also obtain an upper bound for the norm of $\alpha$ that can be represented as a sum of indecomposables in at most $m$ ways, completely characterize the $\alpha$’s represented in exactly $2$ ways, and subsequently apply this result to complete the search for fields containing an element with $ m $ partitions for $ 1 \leq m \leq 7 $.

The descent method is one of the approaches to study the Brauer–Manin obstruction to the local–global principle and to weak approximation on varieties over number fields, by reducing the problem to ‘descent varieties’. In recent lecture notes by Wittenberg, he formulated a ‘descent conjecture’ for torsors under linear algebraic groups. The present article gives a proof of this conjecture in the case of connected groups, generalizing the toric case from the previous work of Harpaz–Wittenberg. As an application, we deduce directly from Sansuc’s work the theorem of Borovoi for homogeneous spaces of connected linear algebraic groups with connected stabilizers. We are also able to reduce the general case to the case of finite (étale) torsors. When the set of rational points is replaced by the Chow group of zero-cycles, an analogue of the above conjecture for arbitrary linear algebraic groups is proved.

Let K be an imaginary quadratic field, and let $E/\mathbb {Q}$ be an elliptic curve with complex multiplication by $\mathcal {O}_K$. Let $K_\infty /K$ be the anticyclotomic $\mathbb {Z}_p$-extension of K and $K_n$ be the intermediate layers. Under additional assumptions on Kobayashi’s signed Selmer groups, we prove an asymptotic formula for .

Except for a limited number of cases, a complete classification of the Diophantine (i.e., positive existentially definable) sets of polynomial rings and fields of rational functions seems out of reach at present. We contribute to this problem by proving that several natural sets and relations over these structures are not Diophantine. For instance, we show that the relation of equality of degrees is not Diophantine over the field of complex rational functions in one variable and, in the same structure, we show that certain family of relations that approximates the valuation ring at infinity is not Diophantine either.

A 2009 article of Allcock and Vaaler explored the $\mathbb {Q}$-vector space $\mathcal {G} := \overline {\mathbb {Q}}^\times /{\overline {\mathbb {Q}}^\times _{\mathrm {tors}}}$, showing how to represent it as part of a function space on the places of $\overline {\mathbb {Q}}$. We establish a representation theorem for the $\mathbb {R}$-vector space of $\mathbb {Q}$-linear maps from $\mathcal {G}$ to $\mathbb {R}$, enabling us to classify extensions to $\mathcal {G}$ of completely additive arithmetic functions. We further outline a strategy to construct $\mathbb {Q}$-linear maps from $\mathcal {G}$ to $\mathbb {Q}$, i.e., elements of the algebraic dual of $\mathcal {G}$. Our results make heavy use of Dirichlet’s S-unit Theorem as well as a measure-like object called a consistent map, first introduced by the author in previous work.

Let K be an infinite field. If $\alpha $ and $\beta $ are algebraic and separable elements over K, then by the primitive element theorem, it is well known that $\alpha +u\beta $ is a primitive element for $K(\alpha , \beta )$ for all but finitely many elements $u\in K$. If we let

$$ \begin{align*}\xi_K(\alpha, \beta) = \{u\in K : K(\alpha, \beta) \ne K(\alpha+u\beta)\}\end{align*} $$

be the exceptional set, then by the primitive element theorem, $|\xi _K(\alpha , \beta )| < \infty $. Dubickas [‘An effective version of the primitive element theorem’, Indian J. Pure Appl. Math. 53(3) (2022), 720–726] estimated the size of this set when $K = \mathbb {Q}$. We take K to be a finite extension over $\mathbb {Q}$ or $\mathbb {Q}_p$, the field of p-adic numbers for some prime p, and estimate the size of the exceptional set.

Rigid meromorphic cocycles are defined in the setting of orthogonal groups of arbitrary real signature and constructed in some instances via a p-adic analogue of Borcherds’ singular theta lift. The values of rigid meromorphic cocycles at special points of an associated p-adic symmetric space are then conjectured to belong to class fields of suitable global reflex fields, suggesting an eventual framework for explicit class field theory beyond the setting of CM fields explored in the treatise of Shimura and Taniyama.

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree d, over any global field. In particular, we focus on the affine hypersurface situation by relaxing the condition on the top degree homogeneous part of the polynomial describing the affine hypersurface, while sharpening the dependence on the degree in the bounds compared to previous results. We formulate a conjecture about plane curves which provides a conjectural approach to the uniform degree $3$ case (the only remaining open case). For induction on dimension, we develop a higher-dimensional effective version of Hilbert’s irreducibility theorem, which is of independent interest.

We determine the average size of the $3$-torsion in class groups of G-extensions of a number field when G is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen–Lenstra–Martinet heuristics that the average size of the p-torsion in class groups of G-extensions of a number field is conjecturally finite for any G and most p (including $p\nmid |G|$). Previously this conjecture had only been proven in the cases of $G=S_2$ with $p=3$ and $G=S_3$ with $p=2$. We also show that the average $3$-torsion in a certain relative class group for these G-extensions is as conjectured, proving new cases of the Cohen–Lenstra–Martinet heuristics. Our new method also works for many other permutation groups G that are not $2$-groups.

We characterize all algebraic numbers $\alpha $ of degree $d\in \{4,5,6,7\}$ for which there exist four distinct algebraic conjugates $\alpha _1$, $\alpha _2$, $\alpha _3$, and $\alpha _4$ of $\alpha $ satisfying the relation $\alpha _{1}+\alpha _{2}=\alpha _{3}+\alpha _{4}$. In particular, we prove that an algebraic number $\alpha $ of degree 6 satisfies this relation with $\alpha _{1}+\alpha _{2}\notin \mathbb {Q}$ if and only if $\alpha $ is the sum of a quadratic and a cubic algebraic number. Moreover, we describe all possible Galois groups of the normal closure of $\mathbb {Q}(\alpha )$ for such algebraic numbers $\alpha $. We also consider similar relations $\alpha _{1}+\alpha _{2}+\alpha _{3}+\alpha _{4}=0$ and $\alpha _{1}+\alpha _{2}+\alpha _{3}=\alpha _{4}$ for algebraic numbers of degree up to 7.

Determining the polynomials $D \in {\mathbb Z}[x]$ such that the polynomial Pell equation ${P^2-DQ^2=1}$ has nontrivial solutions $P,Q$ in ${\mathbb Q}[x]$ (and in ${\mathbb Z}[x]$) is an open question. In this article, we consider the generalized polynomial Pell equation $P^2-DQ^2=n$, where $D \in {\mathbb Z}[x]$ is a monic quadratic polynomial and n is a nonzero integer. For $n=1$, such an equation always has nontrivial solutions in ${\mathbb Q}[x]$, but for a non-square integer n, the generalized polynomial Pell equation $P^2-DQ^2=n$ may not always have a solution in ${\mathbb Q}[x]$. Depending on n, we determine the polynomials $D=x^2+cx+d$, for which the equation $P^2-DQ^2=n$ has nontrivial solutions in ${\mathbb Q}[x]$ and in ${\mathbb Z}[x]$. Taking $n=-1$, this allows us to solve the negative polynomial Pell equation completely for any such D. An interesting feature is that there are certain polynomials D for which the generalized polynomial Pell equation has nontrivial solutions in ${\mathbb Z}[x]$, but only finitely many, whereas the solutions in ${\mathbb Q}[x]$ are infinitely many. Finally, we determine the monic quadratic polynomials D for which the solutions of $P^2-DQ^2=n$ in ${\mathbb Z}[x]$ exhibit this finiteness phenomenon.

In this paper, we generalise to the family of Fermat quartics $X^4 + Y^4 = 2^m, m \in \mathbb {Z}$, a result of Aigner [‘Über die Möglichkeit von $x^4 + y^4 = z^4$ in quadratischen Körpern’, Jahresber. Deutsch. Math.-Ver. 43 (1934), 226–228], which proves that there is only one quadratic field, namely $\mathbb {Q}(\sqrt {-7})$, that contains solutions to the Fermat quartic $X^4 + Y^4 = 1$. The $m \equiv 0 \pmod 4$ case is due to Aigner. The $m \equiv 2 \pmod 4$ case follows from a result of Emory [‘The Diophantine equation $X^4 + Y^4 = D^2Z^4$ in quadratic fields’, Integers 12 (2012), Article no. A65, 8 pages]. This paper focuses on the two cases $m \equiv 1, 3 \pmod 4$, classifying for $m \equiv 1 \pmod 4$ the infinitely many quadratic number fields that contain solutions, and proving for $m \equiv 3 \pmod 4$ that $\mathbb {Q}(\sqrt {2})$ and $\mathbb {Q}(\sqrt {-2})$ are the only quadratic number fields that contain solutions.

Let $\ell $ be an odd prime. We investigate the enumeration of cyclic extensions of degree $\ell $ over $\mathbb {Q}$ subject to specified local conditions. By ordering these extensions according to their conductors, we derive an asymptotic count with a power-saving error term. As a consequence of our results, we analyze the distribution of values of L-functions associated with these extensions in the critical strip.

Our goal is to show that both the fast and slow versions of the triangle map (a type of multi-dimensional continued fraction algorithm) in dimension n are ergodic, resolving a conjecture of Messaoudi, Noguiera, and Schweiger [Ergodic properties of triangle partitions. Monatsh. Math. 157 (2009), 283–299]. This particular type of higher dimensional multi-dimensional continued fraction algorithm has recently been linked to the study of partition numbers, with the result that the underlying dynamics has combinatorial implications.

We construct an fpqc gerbe $\mathcal {E}_{\dot {V}}$ over a global function field F such that for a connected reductive group G over F with finite central subgroup Z, the set of $G_{\mathcal {E}_{\dot {V}}}$-torsors contains a subset $H^{1}(\mathcal {E}_{\dot {V}}, Z \to G)$ which allows one to define a global notion of (Z-)rigid inner forms. There is a localization map $H^{1}(\mathcal {E}_{\dot {V}}, Z \to G) \to H^{1}(\mathcal {E}_{v}, Z \to G)$, where the latter parametrizes local rigid inner forms (cf. [8, 6]) which allows us to organize local rigid inner forms across all places v into coherent families. Doing so enables a construction of (conjectural) global L-packets and a conjectural formula for the multiplicity of an automorphic representation $\pi $ in the discrete spectrum of G in terms of these L-packets. We also show that, for a connected reductive group G over a global function field F, the adelic transfer factor $\Delta _{\mathbb {A}}$ for the ring of adeles $\mathbb {A}$ of F serving an endoscopic datum for G decomposes as the product of the normalized local transfer factors from [6].

We give a short proof of the anticyclotomic analogue of the “strong” main conjecture of Kurihara on Fitting ideals of Selmer groups for elliptic curves with good ordinary reduction under mild hypotheses. More precisely, we completely determine the initial Fitting ideal of Selmer groups over finite subextensions of an imaginary quadratic field in its anticyclotomic $\mathbb {Z}_p$-extension in terms of Bertolini–Darmon’s theta elements.

In the early 2000s, Ramakrishna asked the question: for the elliptic curve

\[E\;:\; y^2 = x^3 - x,\]

$a_p(E)$

$E/\mathbb{Q}$