L-함수
1. 개요
L-함수는 무한 급수, 특히 디리클레 급수에서 파생된 L-급수의 복소 평면으로의 유리형 함수 확장이다. 오일러 곱을 사용하여 정의되며, 복소 평면의 특정 영역에서 수렴하는 급수를 통해 정의되고 해석적 확장을 통해 나머지 영역에서도 정의될 수 있다. L-함수는 리만 제타 함수를 포함한 다양한 제타 함수를 포괄하며, 셀베르그 클래스를 통해 핵심 특성을 공리화하여 개별 함수를 넘어선 특성을 연구한다. L-함수 이론은 영점과 극점의 위치, 함수 방정식, 정수에서의 값 등과 관련된 추측을 포함하며, 리만 가설, 난수 행렬 이론, 양자 혼돈 등과 연관되어 연구된다. 버치-스위너턴다이어 추측은 L-함수를 타원 곡선의 해의 개수와 연결하며, 랭글랜즈 프로그램은 아르틴 L-함수와 자기동형 형식과 관련된 L-함수를 다루며, 하세-베유 제타 함수를 L-함수로 구축하는 방법을 제시한다.
-
대수적 수론 -
아이디얼
아이디얼은 유사환에서 환의 원소와의 곱셈에 대해 닫혀 있는 부분군으로, 왼쪽, 오른쪽, 양쪽 아이디얼로 나뉘며 가환환에서는 세 개념이 일치하고, 환 준동형사상의 핵으로 나타나 잉여환을 정의하는 데 사용되며, 아이디얼 수 개념에서 유래하여 추상대수학의 주요 개념으로 확장되었다. -
대수적 수론 -
밀너 환
밀너 환은 체 위의 가역원군으로 정의되는 등급환으로, 각 등급 성분인 밀너 K군은 대수적 K-이론, 고차 류체론, 갈루아 코호몰로지, 에탈 코호몰로지, 이차 형식 등 여러 수학 분야와 연결되는 심오한 추측들과 연관된다. -
특수 함수 -
람베르트 W 함수
람베르트 W 함수는 we^w = z를 만족하는 w를 찾는 람베르트 이름을 딴 역함수 관계를 가지며, 여러 분야에서 지수 함수 방정식을 푸는 데 응용되는 무한히 많은 가지를 가진 함수이다. -
특수 함수 -
감마 함수
감마 함수는 양의 실수부를 갖는 복소수 z에 대해 오일러 적분으로 정의되고 해석적 연속을 통해 복소평면 전체로 확장된 팩토리얼 함수의 일반화로서, 수학, 물리학, 공학 등 다양한 분야에서 활용되며 여러 표현과 성질을 가진다. -
제타 함수와 L-함수 -
리만 제타 함수
리만 제타 함수는 복소수 s의 함수로, 실수부가 1보다 큰 영역에서 무한급수로 정의되고 s ≠ 1인 모든 복소수에서 유리형 함수로 해석적 연속이 가능하며 함수 방정식과 오일러 곱 공식을 만족하고, 영점 분포는 소수 분포와 관련이 있으며, 비자명 영점이 임계선 상에 있다는 리만 가설은 중요한 미해결 문제이다. -
제타 함수와 L-함수 -
디리클레 L-함수
디리클레 L-함수는 디리클레 지표로 정의되는 복소함수로, 등차수열에 대한 디리클레 정리를 증명하기 위해 도입되었으며, 리만 제타 함수의 일반화이자 오일러 곱, 함수 방정식 등의 성질을 가지며, 모듈러 형식, 타원 곡선과 관련되어 수론적 L-함수 연구의 핵심이고 암호론, 컴퓨터 과학 등에 응용된다.
2. 구성
우선 무한 급수 표현(예를 들어, 리만 제타 함수에 대한 디리클레 급수)인 L-급수와 그 복소 평면에서의 해석 확장인 L-함수를 구별한다. 일반적인 구성은 먼저 디리클레 급수로 정의된 L-급수로 시작하여 소수로 인덱싱된 오일러 곱으로 확장된다. 이 급수가 복소수의 어떤 오른쪽 반평면에서 수렴한다는 것을 증명하기 위해 추정이 필요하다. 그런 다음 그렇게 정의된 함수가 복소 평면의 나머지 부분(아마도 몇 개의 극)으로 해석적으로 연장될 수 있는지 묻는다.
이러한 (추측) 유리형 함수의 복소 평면으로의 연속을 L-함수라고 한다. 이미 고전적인 경우에, 급수 표현이 수렴하지 않는 점에서 L-함수의 값과 거동에 유용한 정보가 포함되어 있음을 알 수 있다. 여기에서 일반적인 용어 L-함수에는 많은 알려진 유형의 제타 함수가 포함된다. 셀베르그 클래스는 일련의 공리에서 L-함수의 핵심 속성을 포착하려는 시도이며, 개별 함수보다는 클래스의 속성에 대한 연구를 장려한다.
3. 추측 정보
L-함수 이론은 다음과 같은 특성들을 일반화하고자 한다.
* 영점과 극점의 위치
* 수직선 Re(s)=상수에 대한 함수 방정식
* 정수에서의 흥미로운 값들
많은 연구를 통해 함수 방정식의 유형에 대한 추측이 이루어지고 있다. 리만 제타 함수는 양의 짝수(및 음의 홀수)에서 베르누이 수와 연결되므로, 이러한 현상의 일반화를 찾고 있다. p진 L-함수는 특정 갈루아 모듈을 묘사한다고 알려져 있다.
영점의 분포는 일반화된 리만 가설, 소수의 분포, 난수 행렬 이론, 양자 혼돈과 관련되어 흥미로운 주제이다. 그 프랙털 구조는 재설정 범위 분석을 통해 연구되었다. 자기 유사성은 프랙털 차원이 1.9로 매우 크다는 특징을 보인다. 이 큰 프랙털 차원은 위수 크기 15 이내의 리만 제타 함수의 영점에서 발견되며, 그 이상의 위수나 다른 인도자를 갖는 L-함수와도 관계가 있다.
4. 버치-스위너턴다이어 추측
버치-스위너턴다이어 추측은 1960년대 초 브라이언 버치(Bryan Birch)와 피터 스위너턴다이어(Peter Swinnerton-Dyer)가 제시한 추측이다. 이 추측은 타원곡선 E의 유리수(또는 다른 대역체) 위에서의 해의 개수, 즉 그 군의 자유 생성자의 개수를 예측하는 문제를 다룬다. 이 분야의 이전 연구들은 L-함수에 대한 이해를 높이는 방향으로 통합되기 시작했으며, 이는 초기 L-함수 이론의 전형적인 예시와 유사하다.
5. 일반 이론의 대두
랭글랜즈 프로그램은 L-함수 이론이 등장하고 몇 년 후 이를 보강하는 형태로 나타났다. 랭글랜즈의 작업은 수십 년 전에 정의된 헤케 L-함수나 아르틴 L-함수, 그리고 일반화된 자기동형 형식과 결부된 L-함수와 관련이 있다. 이후 하세-베유 제타 함수가 해석적 관점에서 정확한 L-함수를 제공하는 방식으로, 즉 자기동형 사상과 관련되는 방식으로 구축된다는 것이 명확해졌다. 이는 일반적으로 다수의 다른 연구 프로그램을 개념 수준에서 통합한다.