Searcharxiv⌕ Search

arXiv · 2610.16603

The ring of values of $E$-functions is not a field

Abstract

Let $\mathbf{E}$ be the ring of values taken at algebraic points by $E$-functions. The exponential function and the Bessel function $J_0$ are classical examples of $E$-functions. We prove that $\mathbf{E}$ is not a field. More precisely, we prove that it is neither noetherian nor factorial, and construct non-units of $\mathbf{E}$ explicity, including $e+1$, $J_0(1)$, and ${}_1F_1(a;b;1)$ for rational parameters $a$ and $b$ such that $0

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stéphane Fischler, Tanguy Rivoal. 2026-10-12. The ring of values of $E$-functions is not a field. https://arxiv.org/abs/2610.16603

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Sporadic points on $X_0(N)$

We determine all integers $N$ for which the modular curve $X_0(N)$ admits a sporadic CM point (of any degree), as well as all $N$ for which $X_0(N)$ admits a sporadic point, whether CM or non-CM. In a sense, our results generalize the classification of isogenies of elliptic curves over $\Q$ due to Mazur and Kenku: their work determines the $X_0(N)$ with degree 1 sporadic points, whereas we classify all $X_0(N)$ that have a sporadic point of arbitrary degree.

math.NT↗

On the Number of Prime Factors of Consecutive Integers

We prove that there are infinitely many $n$ such that $ω(n+k) \ll \log k$ for all integers $k \ge 2$. This improves on a result of Tao and Teräväinen (2025), who have $O(k)$ in place of $O(\log k)$. As corollaries, we make progress on a number of questions posed by Erdős. The proof is based on a quantitative refinement of the Tao-Teräväinen probabilistic argument, combining a refined sieve construction with upper bounds for high moments and the resulting tail estimates. Moreover, we formulate a conjecture on integers with many prime factors based on Cramér-type random models. Assuming this conjecture, the main bound is essentially sharp.

math.NT↗