Loading article…
数学において、ワイルの判定条件は、一般化リーマン予想が真であるためのアンドレ・ワイルの判定条件である。これは、ある一般化関数が正定値であるという同値な命題の形をとる。
ワイルのこのアイデアは、1952年の論文で初めて提唱された。これは、ディリクレL関数やその他のより一般的な大域L関数に適用される素数論の明示的な公式に基づいている。したがって、単一の記述で、すべてのディリクレL関数の複素零点に関する記述をまとめることができる。
ワイルは1972年の論文でこの考えに再び触れ、定式化がより広いクラスのL関数（アルティン＝ヘッケL関数）や、大域関数体の場合にも拡張できることを示した。ここで特にアルティンL関数を含めることは、アルティンの予想を伴うため、この基準は一般化リーマン予想とアルティン予想を組み合わせたものとなる。
関数体、すなわち有限体上の曲線の場合、リーマン予想の類似例が、1940年に始まったワイルの古典的な研究によって知られています。ワイルはまた、アルティン予想の類似例も証明しました。したがって、そのような状況においては、この基準を用いて、対応する正定値性の命題が成り立つことを示すことができます。