The attractor conjecture for Calabi–Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. Using tools from transcendence theory, we provide a family of counterexamples to the attractor conjecture in almost all odd dimensions conditional on a specific case of the Zilber–Pink conjecture in unlikely intersection theory; these Calabi–Yau manifolds were first studied by Dolgachev. We also give constructions of new families of Calabi–Yau varieties, analogous to the mirror quintic family, with all middle Hodge numbers equal to one, which would also give counterexamples to the attractor conjecture.

We prove that any subset of $\overline {\mathbb {Q}}^m$ (closed under complex conjugation and which contains the origin) is the exceptional set of uncountably many transcendental entire functions over $\mathbb {C}^m$ with rational coefficients. This result solves a several variables version of a question posed by Mahler for transcendental entire functions [Lectures on Transcendental Numbers, Lecture Notes in Mathematics, 546 (Springer-Verlag, Berlin, 1976)].

We introduce some generalisations of the Euler–Kronecker constant of a number field and study their arithmetic nature.

Erdős proved that every real number is the sum of two Liouville numbers. A set W of complex numbers is said to have the Erdős property if every real number is the sum of two members of W. Mahler divided the set of all transcendental numbers into three disjoint classes S, T and U such that, in particular, any two complex numbers which are algebraically dependent lie in the same class. The set of Liouville numbers is a proper subset of the set U and has Lebesgue measure zero. It is proved here, using a theorem of Weil on locally compact groups, that if $m\in [0,\infty )$, then there exist $2^{\mathfrak {c}}$ dense subsets W of S each of Lebesgue measure m such that W has the Erdős property and no two of these W are homeomorphic. It is also proved that there are $2^{\mathfrak {c}}$ dense subsets W of S each of full Lebesgue measure, which have the Erdős property. Finally, it is proved that there are $2^{\mathfrak {c}}$ dense subsets W of S such that every complex number is the sum of two members of W and such that no two of these W are homeomorphic.

We prove that for any infinite sets of nonnegative integers $\mathcal {A}$ and $\mathcal {B}$ , there exist transcendental analytic functions $f\in \mathbb {Z}\{z\}$ whose coefficients vanish for any indexes $n\not \in \mathcal {A}+\mathcal {B}$ and for which $f(z)$ is algebraic whenever z is algebraic and $|z|<1$ . As a consequence, we provide an affirmative answer for an asymptotic version of Mahler’s problem A.

Let q a prime power and ${\mathbb F}_q$ the finite field of q elements. We study the analogues of Mahler’s and Koksma’s classifications of complex numbers for power series in ${\mathbb F}_q((T^{-1}))$ . Among other results, we establish that both classifications coincide, thereby answering a question of Ooto.

In 1965, A. Livingston conjectured the $\overline{\mathbb{Q}}$-linear independence of logarithms of values of the sine function at rational arguments. In 2016, S. Pathak disproved the conjecture. In this article, we give a new proof of Livingston’s conjecture using some fundamental trigonometric identities. Moreover, we show that a stronger version of her theorem is true. In fact, we modify this conjecture by introducing a co-primality condition, and in that case we provide the necessary and sufficient conditions for the conjecture to be true. Finally, we identify a maximal linearly independent subset of the numbers considered in Livingston’s conjecture.

We prove the analogue of the Ax–Lindemann–Weierstrass theorem for not necessarily arithmetic lattices of the automorphism group of the complex unit ball $\mathbb{B}^{n}$ using methods of several complex variables, algebraic geometry and Kähler geometry. Consider a torsion-free lattice $\unicode[STIX]{x1D6E4}\,\subset \,\text{Aut}(\mathbb{B}^{n})$ and the associated uniformization map $\unicode[STIX]{x1D70B}:\mathbb{B}^{n}\rightarrow \mathbb{B}^{n}/\unicode[STIX]{x1D6E4}=:X_{\unicode[STIX]{x1D6E4}}$. Given an algebraic subset $S\,\subset \,\mathbb{B}^{n}$ and writing $Z$ for the Zariski closure of $\unicode[STIX]{x1D70B}(S)$ in $X_{\unicode[STIX]{x1D6E4}}$ (which is equipped with a canonical quasi-projective structure), in some precise sense we realize $Z$ as a variety uniruled by images of algebraic subsets under the uniformization map, and study the asymptotic geometry of an irreducible component $\widetilde{Z}$ of $\unicode[STIX]{x1D70B}^{-1}(Z)$ as $\widetilde{Z}$ exits the boundary $\unicode[STIX]{x2202}\mathbb{B}^{n}$ by exploiting the strict pseudoconvexity of $\mathbb{B}^{n}$, culminating in the proof that $\widetilde{Z}\,\subset \,\mathbb{B}^{n}$ is totally geodesic. Our methodology sets the stage for tackling problems in functional transcendence theory for arbitrary lattices of $\text{ Aut}(\unicode[STIX]{x1D6FA})$ for (possibly reducible) bounded symmetric domains $\unicode[STIX]{x1D6FA}$.

It is pointed out that the generalized Lambert series $\sum\nolimits_{n = 1}^\infty {[(n^{N-2h})/(e^{n^Nx}-1)]} $ studied by Kanemitsu, Tanigawa and Yoshimoto can be found on page 332 of Ramanujan's Lost Notebook in a slightly more general form. We extend an important transformation of this series obtained by Kanemitsu, Tanigawa and Yoshimoto by removing restrictions on the parameters N and h that they impose. From our extension we deduce a beautiful new generalization of Ramanujan's famous formula for odd zeta values which, for N odd and m > 0, gives a relation between ζ(2m + 1) and ζ(2Nm + 1). A result complementary to the aforementioned generalization is obtained for any even N and m ∈ ℤ. It generalizes a transformation of Wigert and can be regarded as a formula for ζ(2m + 1 − 1/N). Applications of these transformations include a generalization of the transformation for the logarithm of Dedekind eta-function η(z), Zudilin- and Rivoal-type results on transcendence of certain values, and a transcendence criterion for Euler's constant γ.

A comprehensive study of the generalized Lambert series $\sum _{n=1}^{\infty }\frac{n^{N-2h}\text{exp}(-an^{N}x)}{1-\text{exp}(-n^{N}x)},0<a\leqslant 1,~x>0$, $N\in \mathbb{N}$ and $h\in \mathbb{Z}$, is undertaken. Several new transformations of this series are derived using a deep result on Raabe’s cosine transform that we obtain here. Three of these transformations lead to two-parameter generalizations of Ramanujan’s famous formula for $\unicode[STIX]{x1D701}(2m+1)$ for $m>0$, the transformation formula for the logarithm of the Dedekind eta function and Wigert’s formula for $\unicode[STIX]{x1D701}(1/N),N$ even. Numerous important special cases of our transformations are derived, for example, a result generalizing the modular relation between the Eisenstein series $E_{2}(z)$ and $E_{2}(-1/z)$. An identity relating $\unicode[STIX]{x1D701}(2N+1),\unicode[STIX]{x1D701}(4N+1),\ldots ,\unicode[STIX]{x1D701}(2Nm+1)$ is obtained for $N$ odd and $m\in \mathbb{N}$. In particular, this gives a beautiful relation between $\unicode[STIX]{x1D701}(3),\unicode[STIX]{x1D701}(5),\unicode[STIX]{x1D701}(7),\unicode[STIX]{x1D701}(9)$ and $\unicode[STIX]{x1D701}(11)$. New results involving infinite series of hyperbolic functions with $n^{2}$ in their arguments, which are analogous to those of Ramanujan and Klusch, are obtained.

While the distribution of the non-trivial zeros of the Riemann zeta function constitutes a central theme in Mathematics, nothing is known about the algebraic nature of these non-trivial zeros. In this article, we study the transcendental nature of sums of the form

$$\begin{eqnarray}\mathop{\sum }_{\unicode[STIX]{x1D70C}}R(\unicode[STIX]{x1D70C})x^{\unicode[STIX]{x1D70C}},\end{eqnarray}$$

$\unicode[STIX]{x1D70C}$

$\unicode[STIX]{x1D701}(s)$

$R(x)\in \overline{\mathbb{Q}}(x)$

$x>0$

$$\begin{eqnarray}f(x)=\mathop{\sum }_{\unicode[STIX]{x1D70C}}\frac{x^{\unicode[STIX]{x1D70C}}}{\unicode[STIX]{x1D70C}}\end{eqnarray}$$

$(1,\infty )$

$f(x)$

$x<1$

$x>1$

$x<1$

$d\geqslant 1$

$f(\unicode[STIX]{x1D70B}\sqrt{d}x)$

$(0,1/\unicode[STIX]{x1D70B}\sqrt{d})$

$$\begin{eqnarray}L^{\prime }(1,\unicode[STIX]{x1D712}_{-d})\neq 0,\end{eqnarray}$$

$\unicode[STIX]{x1D712}_{-d}$

$K:=\mathbb{Q}(\sqrt{-d})$

We give continued fraction algorithms for each conjugacy class of triangle Fuchsian group of signature $(3, n, \infty )$, with $n\geq 4$. In particular, we give an explicit form of the group that is a subgroup of the Hilbert modular group of its trace field and provide an interval map that is piecewise linear fractional, given in terms of group elements. Using natural extensions, we find an ergodic invariant measure for the interval map. We also study Diophantine properties of approximation in terms of the continued fractions and show that these continued fractions are appropriate to obtain transcendence results.

In this paper, we prove that a non–zero power series $F(z\text{)}\in \mathbb{C}\text{ }[[z]]$ satisfying

$$F({{z}^{d}})\,=\,F(z)\,+\,\frac{A(z)}{B(z)},$$

where $d\,\ge \,2,\,A(z),\,B(z)\,\in \,\mathbb{C}[z]$, with $A(z)\,\ne \,0$ and $\deg \,A(z),\,\deg \,B(z)\,<\,d$ is transcendental over $\mathbb{C}(z)$. Using this result and a theorem of Mahler’s, we extend results of Golomb and Schwarz on transcendental values of certain power series. In particular, we prove that for all $k\,\ge \,2$ the series ${{G}_{k}}(z):=\mathop{\sum }_{n=0}^{\infty }{{z}^{{{k}^{n}}}}{{(1-{{z}^{{{k}^{n}}}})}^{-1}}$ is transcendental for all algebraic numbers $z$ with $\left| z \right|\,<\,1$. We give a similar result for ${{F}_{k}}(z):=\mathop{\sum }_{n=0}^{\infty }{{z}^{{{k}^{n}}}}{{(1+{{z}^{{{k}^{n}}}})}^{-1}}$. These results were known to Mahler, though our proofs of the function transcendence are new and elementary; no linear algebra or differential calculus is used.

In this paper, we study the non-vanishing and transcendence of special values of a varying class of $L$-functions and their derivatives. This allows us to investigate the transcendence of Petersson norms of certain weight one modular forms.

Pour toute sous-vari ét é géométriquement irréductible $V$ du groupe multiplicatif $\mathbb{G}_{m}^{n}$, on sait qu’en dehors d’un nombre fini de translat és de tores exceptionnels inclus dans $V$, tous les points sont de hauteur minorée par une certaine quantité $q{{(V)}^{-1}}>0$. On connaît de plus une borne supérieure pour la somme des degrés de ces translatés de tores pour des valeurs de $q(V)$ polynomiales en le degré de $V$. Ceci n’est pas le cas si l’on exige une minoration quasi-optimale pour la hauteur des points de $V$, essentiellement linéaire en l’inverse du degré.

Nous apportons ici une réponse partielle à ce problème : nous donnons une majoration de la somme des degrés de ces translat és de sous-tores de codimension 1 d’une hypersurface $V$. Les résultats, obtenus dans le cas de $\mathbb{G}_{m}^{3}$,mais complètement explicites, peuvent toutefois s’étendre à $\mathbb{G}_{m}^{n}$,moyennant quelques petites complications inhérentes à la dimension $n$.

The paper deals with a criterion for the sum of a special series to be a transcendental number. The result does not make use of divisibility properties or any kind of equation and depends only on the random oscillation of convergence.

We prove that Schanuel's conjecture for the reals is equivalent to a uniform version of itself.

We prove an almost optimal lower bound for the so called last ‘geometric’ minimum for the height of a subvariety V of a power of the multiplicative group ${\mathbb G}_m^n$. More precisely, one shows that if $\boldsymbol x$ is a point of $V(\overline{\mathbb Q})$ which does not belong to a translate of a sub-torus of ${\mathbb G}_m^n$ lying in V, of height less than a function essentially linear in the inverse of the degree of V, then $\boldsymbol x$ belongs to a finite ‘exceptional’ subset of V. Thus, one proves ‘up to an $\varepsilon$’ the sharpest conjectures that can be formulated on this problem. Previously, the best known result in this direction was due to the second author and Philippon, who provided lower bounds which were inverse monomial in the degree of V (Minorations des hauteurs normalisées des sous-variétés des tores, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 28 (1999), 489–543; Errata29 (2000)).

Convergent sums $T = {\sum}_{n=1}^{\infty} P(n)/Q(n)$ and $U = {\sum}_{n=1}^{\infty}(-1)^n P(n)/Q(n)$, where $P(X), Q(X) \in {\mathbb Q}[X]$, and $Q(X)$ has only simple rational roots, are investigated. Adhikari, Shorey and the authors have shown that $T$ and $U$ are either rational or transcendental. Simple necessary and sufficient conditions are formulated for the transcendence of $T$ and $U$ if the degree of $Q$ is 3 and 2, respectively.

A known consequence of the theorem of the algebraic subgroup is a lower bound for the rank of matrices whose entries are linear combinations, with algebraic coefficients, of logarithms of algebraic numbers. We extend this kind of result to commutative algebraic groups.