셀베르그 클래스 문서 원본 보기

{{위키데이터 속성 추적}}
[[수학]]에서 '''셀베르그 클래스'''(Selberg Class)인 클래스 S는 [[L-함수]]의 클래스에 대한 ''자명한'' 공리적 정의이다.

이 클래스의 멤버는 일반적으로 L-함수 또는 [[제타 함수]]라고 하는 이러한 계열의 대부분의 함수가 만족하는 필수 속성을 포착하는 것처럼 보이는 네 가지 공리를 따르는 디리클레 시리즈([[디리클레 수열]])이다. 클래스의 정확한 성질은 아직 추측 단계이지만 클래스의 정의는 [[보형 형식]]과 [[리만 가설]](Riemann thery)과의 관계에 대한 통찰력을 포함하여, 클래스의 분류와 속성의 이해로 이어질 것이라는 기능성을 가지고 있다.<!--이라는 가능성(X)을 가지고 있다. --> 이 클래스는 [[아틀레 셀베르그]]{{harv|Selberg|1992}}<ref>The title of Selberg's paper is somewhat a spoof on [[Paul Erdős]], who had many papers named (approximately) "(Some) Old and new problems and results about...". Indeed, the 1989 Amalfi conference was quite surprising in that both Selberg and Erdős were present, with the story being that Selberg did not know that Erdős was to attend.</ref>에 의해 정의되었는데, 그는 나중에 "자명한(axiomatic)"이라는 단어를 사용하지 않기를 바랐다.

클래스 S 의 정의는 일반적으로<!-- 모든 모두 --> [[디리클레 수열|디리클레 시리즈]] <!--집합--> 표현이다.

따라서, 클래스 S는 모든 [[디리클레 수열|디리클레 시리즈]]의 집합이다.
:<math>F(s)=\sum_{n=1}^\infty \frac{a_n}{n^s}</math>

== 셀베르그의 추측 ==
셀베르그( Selberg 1992 )는 클래스<math> S </math>의 기능에 관한 추측을 했다.

* 추측 1 : <math>S</math>의 모든 <math>F</math> 에 대해,

:<math>F(s)=\sum_{p\leq x}\frac{|a_p|^2}{p}=n_F\log\log x+O(1)</math>

:<math>F</math> 가 원시 일 때 <math>n_F = 1</math>이다.

* 추측 2 : 명료한 프리미티브(원시) <math>F \;\; , \;\; F ' \in S</math>에 대해,

:<math>\sum_{p\leq x}\frac{a_pa_p^\prime}{p}=O(1)</math>
* 추측 3 : <math>F</math> 가 원시 인수 분해로 <math>S</math> 에 있으면

:<math>F=\prod_{i=1}^mF_i</math>에서,

<math>\chi</math>는 원시 디리클레 캐릭터([[디리클레 지표]])이며, 함수

:<math>F^\chi(s)=\sum_{n=1}^\infty\frac{\chi(n)a_n}{n^s}</math>

또한 <math>S</math> 에 있는 경우, 함수 <math>F_i \chi </math>는 <math>S</math>의 원시 요소이다. (결과적으로 <math>F \chi </math> 의 원시 인수 분해를 형성한다)

<math>S</math> 에 대한 리만 가설 : <math>S</math>의 모든 <math>F </math>에 대해 <math>F</math> 의 중요하지 않은 <math>0</math>은 모두<math> Re ( s ) = {1 \over 2}</math>의 선상에 있다.

=== 추측의 결과 ===
추측 1과 2는 F 가 s = 1에서 차수 m 의 극을 갖는다면, F ( s ) / ζ ( s ) m 이 전체라는 것을 의미한다. 특히 그들은 데데 킨트 (Dedekind)의 추측을 암시한다.<ref>A celebrated conjecture of Dedekind asserts that for any ﬁnite algebraic extension <math>F</math> of <math>\mathbb{Q}</math>, the zeta function <math>\zeta_F (s)</math> is divisible by the Riemann zeta function <math>\zeta (s)</math>. That is, the quotient <math>\zeta_F (s)/\zeta(s)</math> is entire. More generally, Dedekind conjectures that if <math>K</math> is a ﬁnite extension of <math>F</math>, then <math>\zeta_K (s)/\zeta_F(s)</math> should be entire. This conjecture is still open.</ref>

램 머티{{harv|Murty|1994}}는 추측 1과 2가 아르틴 추측(알틴 추측)임을 암시한다. 합리적으로 풀릴 수 있는 확장된 갈루아 그룹([[갈루아 군]])의 환원 불가능한 표현에 해당하는 [[아르틴 L-함수]](Artin L -functions)는 [[랭글랜즈 프로그램|랭글랜즈 추측]]에 의해 예측된 것처럼 [[보형 형식|보형 형식, 자기동형]]임을 보여주었다.<ref>{{harvnb|Murty|1994|loc=Theorem 4.3}}</ref>

<math>S</math> 의 함수는 또한 [[소수 정리]]의 아날로그를 만족시킨다. <math>F(s)</math>는 <math>Re ( s ) = 1 </math>에서 <math>0</math>(영점)을 갖지 않는다. 앞서 언급한 것처럼 추측 1과 2는 <math>S</math> 함수가 원시 함수이고, 또 다른 결과는 <math>F</math> 의 원시는 <math>n_F = 1</math>과 동일하다는 것이다.<ref>{{harvnb|Conrey|Ghosh|1993|loc=§ 4}}</ref>

== 같이 보기 ==
* [[소수 (수론)|소수]]
* [[디리클레 제타 함수]]
* [[알틴 상수]]
* [[제타 함수]]

== 각주 ==
{{각주}}

== 참고 문헌 ==
* {{인용| last=Selberg | first=Atle | title=Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989) | publisher=Univ. Salerno | location=Salerno | mr=1220477 | zbl=0787.11037 | year=1992 | chapter=Old and new conjectures and results about a class of Dirichlet series | pages=367–385}} Reprinted in Collected Papers, vol '''2''', Springer-Verlag, Berlin (1991)
* {{인용
| last=Murty
| first=M. Ram
| author-link=램 머티
| title=Selberg's conjectures and Artin ''L''-functions
| year=1994
| journal=Bulletin of the American Mathematical Society |series=New Series
| volume=31
| number=1
| pages=1–14
| mr=1242382 | arxiv=math/9407219 | zbl=0805.11062
 | doi=10.1090/s0273-0979-1994-00479-3
| s2cid=265909
}}

[[분류:특수 함수]]
[[분류:제타 함수와 L-함수]]