Linear independence of digamma function and a variant of a conjecture of Rohrlich
type: Item
instance of: scholarly article
title: Linear independence of digamma function and a variant of a conjecture of Rohrlich
zbMATH Open document ID: 1175.11038
author: Sanoli Gun
author: M. Ram Murty
author: Purusottam Rath
published in: Journal of Number Theory
publication date: 2009-06-23T00:00:00Z
review text: The first result of this paper deals with the digamma function \(\psi(z)=\Gamma'(z)/\Gamma(z)\). Let \(q\), \(r\) be two coprime integers \(>1\) and \(K\) be a number field over which both the \(q\)th and \(r\)th cyclotomic polynomials are irreducible. Then at least one of the two following sets of real numbers \[ \bigl\{ \psi(a/q)\; ;\; 1\leq a\leq q,\; (a,q)=1\bigr\} \] \[ \bigl\{ \psi(b/r)\; ;\; 1\leq b\leq r,\; (b,r)=1\bigr\} \] is linearly independent over \(K\). The other statements deal with the \(\mathbb Q\)-vector space (resp. the \(\overline{\mathbb Q}\)-vector space) \(V_\Gamma(q)\) (resp. \(\overline{V}_\Gamma(q)\)) spanned by the numbers \(\log\Gamma(a/q)\) with \( 1\leq a\leq q\), \((a,q)=1\). The authors conjecture that for \(q\in\mathbb Z_{>1}\), the dimension \(d(q)\) of \(V_\Gamma(q)\) is \(\varphi(q)\), where \(\varphi\) is Euler totient function. They notice that \(d(3)=\varphi(3)=2\), \(d(4)=\varphi(4)=2\), \(d(6)=\varphi(6)=2\), and \(d(5)\geq 3\). They prove that \(d(q)\geq \varphi(q)\) when \(q\) is a power of a prime. They also consider the dimension \(\overline{d}(q)\) of \(\overline{V}_\Gamma(q)\); when \(q\) and \(r\) are powers of distinct primes, then one at least of the two inequalities \(\overline{d}(q)\geq \varphi(q)/2\), \(\overline{d}(r)\geq \varphi(r)/2\) is true. Under Schanuel's Conjecture, they deduce the lower bound \(\overline{d}(q)\geq \varphi(q)/2\) when \(q\) is a prime power. This paper contains also a number of related remarks dealing with values of \(L\)--functions.
reviewed by: Michel Waldschmidt
Mathematics Subject Classification ID: 11J81
Mathematics Subject Classification ID: 11J86
Mathematics Subject Classification ID: 11J91
zbMATH DE Number: 5569027
zbMATH Keywords: digamma function
zbMATH Keywords: Gamma function
zbMATH Keywords: Rohrlich conjecture
zbMATH Keywords: \(L\)-functions
zbMATH Keywords: Schanuel's conjecture
MaRDI profile type: Publication
full work available at URL: j.jnt.2009.02.007
OpenAlex ID: W2022896654
Wikidata QID: Q123345691
cites work: Q5558293
cites work: Determination of the algebraic relations among special \(\Gamma\)-values in positive characteristic
cites work: Q3155418
cites work: Q4050665
cites work: On a problem of Chowla
cites work: Q3895546
cites work: Measures of simultaneous approximation for quasi-periods of Abelian varieties
cites work: Transcendental Nature of Special Values of L-Functions
cites work: Transcendence of the log gamma function and some discrete periods
cites work: Q2762139
cites work: Q4111656
cites work: Q4182802
cites work: Transcendental values of the digamma function
cites work: SPECIAL VALUES OF THE POLYGAMMA FUNCTIONS
cites work: Gamma functions for function fields and Drinfeld modules
cites work: Algebraic independence of the periods of Abelian integrals
cites work: EXPRESSIONS FOR VALUES OF THE GAMMA FUNCTION
cites work: Transcendence of periods: the state of the art
cites work: Q3943047
DOI: 10.1016/J.JNT.2009.02.007
description: scientific article; zbMATH DE number 5569027