数论

We generalize an inequality conjectured by Pohst in 1977 and recently proved by the author and independently by Battistoni and Molteni. This new inequality improves a bound for the regulator in terms of the discriminant for totally real…

Let $A(1,m)$ be the Fourier coefficients of a $SL(3,\mathbb{Z})$ Hecke-Maass cusp form $\pi_1$ and $\lambda(m)$ be those of a $SL(2,\mathbb{Z})$ Hecke holomorphic or Hecke-Mass cusp form $\pi_2$. Let $H\subset[\![…

We give an introduction to the "categorical" approach to the p-adic Langlands program, in both the "Banach" and "analytic" settings.

Let $\pi$ be a Hecke cusp form for $\mathrm{SL}_3(\mathbb{Z})$. We bound the second moment average of $L(s,\pi)$ over a short interval to obtain the subconvexity estimate $$ L(1/2+it, \pi) \ll_{\pi, \varepsilon}…

We study $p$-adic properties of the coherent cohomology of some automorphic sheaves on the Hilbert modular variety $X$ for a totally real field $F$ in the case where the prime $p$ is totally split in $F$. More precisely, we develop higher…

We generalize Breuil-Hellmann-Schraen's local model for the trianguline variety to certain points with non-regular Hodge-Tate weights. With the local models we are able to prove, under the Taylor-Wiles hypothesis, the existence of certain…

We use a trivial delta method with multiplicative characters for congruence detection to prove the Weyl bound for GL(2) in $t$-aspect for a holomorphic or Hecke-Maass cusp form of arbitrary level and nebentypus. This parallels the work of…

In 1992, Erd$\H{o}$s and Hegyv$\'{a}$ri showed that for any prime p, there exist infinitely many length 3 weakly prime-additive numbers divisible by p. In 2018, Fang and Chen showed that for any positive integer m, there exists infinitely…

We give in this paper a survey of results obtained in our earlier papers, and state explicitly some problems of further research, for example: are the analytic ranks bounded, or not? Twists of Carlitz modules are parametrized by polynomials…

A large-scale experiment was conducted to find formulas relating to the base $e^\pi$. The numbers in this base are $$x = \sum_{n=0}^\infty {a(n)\over e^{\pi n}}$$ where $a(n)$ is taken from the OEIS catalog. These experiments were inspired…

In this paper we study the problem of long gaps between values of binary quadratic forms. Let $D_{1}$, $D_{2},\ldots ,D_{r}$ be negative integers and $(s_{n})_{n=1}^{\infty}$ be the sequence of all the numbers representable by any binary…

We apply the G\"artner--Ellis theorem on large deviations to prove a weak version of the Loughran--Smeets conjecture for general fibrations.

For a prime $p$ congruent to three modulo four, we prove that there exists a smooth curve of genus five in characteristic $p$ that is supersingular. We produce this curve as an unramified double cover of a curve of genus three. We…

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…

We investigate a Dirichlet series involving the Fourier-Jacobi coefficients of two cusp forms $F,G$ for orthogonal groups of signature $(2,n+2)$. In the case when $F$ is a Hecke eigenform and $G$ is a Maass lift of a Poincar\'e series, we…

Assuming the Hasse--Weil conjecture and the generalized Riemann hypothesis for the $L$-functions of the elliptic curve, we give an upper bound of the average analytic rank of elliptic curves over the number field with a level structure such…

We introduce a ``non-orientable'' variation of Serre's definition of a graph, which we call an abstract isogeny graph. These objects capture the combinatorics of the graphs $G(p,\ell,H)$, the $\ell$-isogeny graphs of supersingular elliptic…

This expository note introduces a normalization of the indexing of the lower and upper numbering ramification subgroups of local class field theory. We then look at how this normalization interacts with base change for Langlands parameters.

A maximal curve over a finite field $\mathbb F_q$ is a curve whose number of points reaches the upper Hasse-Weil-Serre bound. We define the discriminant of $\mathbb F_q$ as $d(\mathbb F_q):= \lfloor2\sqrt{q}\rfloor^2-4q$, which arises as…

Let \( E \) be a complex elliptic curve with conductor \( N \) and modular invariant \( j(E) \in \mathbb{Q} \). We construct a class of modular polynomials $F_N(x,j)$ that relate the modular function $x$ on $X_0(N)$ to the $j$-invariant…