数论

The global Jacquet--Langlands correspondence is an instance of Langlands functoriality, namely the expected lifting of the irreducible automorphic representations of an inner form of the general linear group to the split form via the…

In this note, we look at the diophantine equation $$ \prod_{i=1}^ta_i!=\prod_{j=1}^sn_i!, \quad n_1\geq \cdots \geq n_s\geq 2 \quad \textnormal{and}\quad n_1>a_1\geq a_2\geq\cdots \geq a_t\geq2. $$ \noindent Let $s<t$. Under the (explicit)…

We determine the large-genus limiting distribution of the 4-rank of the Picard group of hyperelliptic curves over a fixed finite field $\mathbb F_q$ of odd characteristic. This is a function field analogue of a result of Fouvry and…

An irrational number $\theta$ is called Diophantine if there exist $c>0$ and $\tau < \infty$ such that $\left| \theta - \frac{p}{q} \right| \ge \frac{c}{q^\tau}$ holds for every $(p,q) \in \mathbb{Z} \times \mathbb{N}$. In this paper, we…

For fixed positive reals $t$ and $\alpha$, consider the sequence $S_t(\alpha) = (s_1, s_2, \ldots, )$ with $s_n = \left \lfloor t\alpha^n \right \rfloor$. In 1964, Graham managed to characterize those pairs $(t, \alpha)$ with $0 < t < 1$…

In this article we study solutions to the generalized Fermat equation $x^q+y^p+z^r=0 $ using hypergeometric motives within the framework of the modular method. In doing so, we give an explicit description of the ramification behavior at…

Let $A$ be a finite subset of an abelian group $G$, and suppose that $|A+A|\leq K|A|$. We show that for any $\epsilon>0$, there exists a constant $C_\epsilon$ such that $A$ can be covered by at most $\exp(C_\epsilon \log(2K)^{1+\epsilon})$…

In 2000, Darmon introduced the notion of Frey representations within the framework of the modular method for studying the generalized Fermat equation. A central step in this program is the computation of their conductors, with the case at…

In his breakthrough article, Darmon presented a program to study Generalized Fermat Equations (GFE) via abelian varieties of $\text{GL}_2$-type over totally real fields. So far, only Jacobians of some Frey hyperelliptic curves have been…

Given an elliptic curve $E$ defined over $\mathbb{Q}$ without complex multiplication, we provide an explicit sharp bound on the index of the image of the adelic representation $\rho_E$. In particular, if $\operatorname{h}_{\mathcal{F}}(E)$…

Let $\Gamma$ be either i) the absolute Galois group of a local field $F$, or ii) the topological fundamental group of a closed connected orientable surface of genus $g$. In case i), assume that $\mu_{p^2} \subset F$. We give an elementary…

This paper introduces explicit Galois cohomological methods for determining the ranks of Bloch--Kato Selmer groups associated to the Tate twists of the 2-adic second \'etale cohomology of the Jacobian of a hyperelliptic curve with a…

We state a conjecture about the zeta function of crepant resolutions of Berglund--H\"ubsch orbifold hypersurfaces over a finite field. In addition to numerical evidence, we show that our conjectural zeta function satisfies the Weil…

Let $(V,q)$ be a non-degenerate $n$-dimensional quadratic space over the rationals of real signature $(r,s)$. For every integer $1\leq k \leq \min\{r,n-2\}$ we construct classes in the cohomology of arithmetic subgroups of $\mathrm{O}(V)$…

We prove a Khintchine result for convergence of a multiplicative Diophantine set with restricted denominators on an arbitrary non-degenerate line. Specifically, given sequences of real numbers $\{a_n\}_{n\in\mathbb{N}},\,…

The world of primes has many gaps between evidence and theorems. Here, we review Legendre's conjecture on primes between consecutive squares and recent progress on the weaker question of primes between consecutive larger powers. Assuming…

In this paper, we introduce higher level versions of the theta group $\Gamma_{\theta}.$ In particular, we treat level 3 and 4 versions of the theta group, $\Gamma_{\theta,3}$ and $\Gamma_{\theta,4}$ and prove that $\displaystyle…

We present an algorithmic framework for computing generators for the ring of invariants of an Artin-Schreier curve. We give explicit invariants for almost all Artin-Schreier curves of genus up to~8 in standard form, and for a handful of…

We define two new problems called SIAP and CAP related to solving SIVP and CVP in a subset of lattices called Simultaneous Approximation (SA) lattices. We give dimension- and gap-preserving, deterministic polynomial-time and space…

We present an algorithm for computing the structure of any submodule of the module of points of a Drinfeld $A$-module over a finite field, where $A$ is a function ring over $\mathbb F_q$. When the function ring is $A = \mathbb F_q[T]$, we…