Rational points on Atkin-Lehner quotients of Shimura curves of discriminant \(p q\) (Q462805)

The study of rational points of quotients of Shimura curves \(X^D\) of reduced discriminant \(D\) under the action of an Atkin-Lehner involution, is an interesting problem. \textit{P. Parent} and \textit{A. Yafaev} [Math. Ann. 339, No. 4, 915--935 (2007; Zbl 1129.14036)] gave a criterion for the non-existence on rational points on the curve \(X^{pq}/w_q\), when the discriminant is the product of two different primes \(p,q\). The author succeded in giving a stronger criterion (theorem 1.1) than the one of Parent and Yafaev. The criterion is given in terms of certain congruence relations and a condition of large enough \(p\).