{{위키데이터 속성 추적}}
[[표현론 (수학)|표현론]]과 [[대수적 수론]]에서 '''랭글랜즈 프로그램'''({{llang|en|Langlands program}})은 [[로버트 랭글랜즈]]가 제안한 [[정수론|수론]]과 [[기하학]] 사이의 연결에 대한 광범위하고 영향력 있는 [[추측]] 구조이다. [[대수적 수론|대수적 정수론]]에서 [[갈루아 군]]을 [[국소체]]와 [[아델 환|아델]]에 걸쳐 [[대수군]]의 [[보형 형식]] 및 [[군의 표현|표현론]]과 연결하려 한다. 현대 수학 연구에서 가장 큰 단일 프로젝트로 널리 알려져 있고, [[에드워드 프렌켈]]에 의해 "일종의 [[대통일 이론|대통합 수학 이론]]"으로 묘사되었다.<ref>{{웹 인용|url=https://www.quantamagazine.org/math-quartet-joins-forces-on-unified-theory-20151208/|제목=Math Quartet Joins Forces on Unified Theory|날짜=December 8, 2015|웹사이트=[[Quanta Magazine|Quanta]]}}</ref>

랭글랜즈 프로그램은 아주 어려운 이론적 추상화로 구성되어 있어 전문 수학자도 파악하기 어려울 수 있다. 단순화하면, [[유한체]]의 일반화된 [[기본 표현]]과 그 [[불변량 이론|불변]] [[보형 형식]]에 대한 [[갈루아 군|군 확대]] 이 직접 연결되어 있다고 가정한다. 이것은 [[추상대수학|대수]]의 절대적 확장으로서 특정 [[랭글랜즈 쌍대군|해석적 군]]에 대한 동치성에 의해 추상화를 통해 더 높은 차원의 통합으로 달성된다. 결과적으로 이것은 [[대수적 수체|수체]]에 대한 강력한 [[아르틴 상호 법칙|불변 변환]]의 [[L-함수|해석 함수]] 구성을 자체 [[자기 동형 사상|대수 구조]]로 허용한다.

이러한 구성의 의미는 미묘하지만 구체적인 해과 일반화는 아주 강력하다. 그러한 이론적 객체가 있다면, 거의 모든 [[대수적 수체|수체]]에 대한 [[아이디얼 유군|기본 구조]]의 [[호몰로지 대수학|범주]] 사상을 구성하는 [[함수해석학|해석적 방법]]이 있다. [[리만 가설|소수의 가능한 정확한 분포]]와 비슷하게 랭글랜즈 프로그램은 일반화된 [[추상대수학|대수 구조]] 수준에서 불변성의 해결을 위한 잠재적인 [[보편 성질]]을 허용한다. 이것은 그들의 보형 형식을 통해 [[해석적 수론|산술]] 대상의 어느 정도 통일된 분석을 허용한다. 다시 말해서 랭글랜즈 정신은 숫자의 추상화 구조화에 대한 일반적인 분석을 허용한다. 당연히 이 설명은 프로그램의 적절한 정리를 축소하고 과도하게 일반화한 것이지만 이러한 수학적 유사성은 개념화의 기초를 제공한다.

== 배경 ==
아주 광범위한 맥락에서 랭글랜즈 프로그램은 [[하리시찬드라 메로트라|하리시-찬드라]]와 겔판드가 몇 년 전에 공식화한 ''첨점 형식의 정신'' 아이디어를 기반으로 구축되었다. [[반단순 리 대수|반단순 리 군]]에 대한 하리시-찬드라의 작업 및 접근 방식, [[아틀레 셀베르그|셀베르그]] 및 기타의 대각합 공식이다.

처음에 랭글랜즈의 작업에서 아주 새로운 것은 기술적인 깊이 외에도 가정된 풍부한 구조(소위 ''[[함자 (수학)|함자성]]'')와 함께 수론에 대해 제안한 직접적 연결이었다.

예를 들어, 하리시-찬드라의 작업에서 하나 [[반단순 리 대수|반단순]](또는 가약인) [[리 군]]에 대해 수행할 수 있는 작업을 모두에 대해 수행해야 한다는 원칙을 찾는다. 따라서 일단 모듈러 형식 이론에서 <math>\text{GL}(2)</math>와 같은 일부 저차원 리 군의 역할이 인식되고 [[유체론]]에서 돌이켜보면 <math>\text{GL}(1)</math>과 함께 길은 적어도 일반적인 ''n'' > 2인 경우 <math>\text{GL}(n)</math>에 대한 고찰에 열렸다.

''첨점 형식'' 아이디어는 [[모듈러 곡선]]의 첨점에서 나왔지만 스펙트럼 이론에서 [[아이젠슈타인 급수]]의 "[[스펙트럼 (함수해석학)|연속 스펙트럼]]"과 대조되는 "[[스펙트럼 (함수해석학)|불연속 스펙트럼]]"으로 가시적인 의미를 가졌다. [[보렐 부분군|포물선 부분 군]]이 더 많기 때문에 더 큰 리 군에 대해 훨씬 더 기술적으로 된다.

이러한 모든 접근 방식에는 기술적 방법이 부족하지 않았으며, 종종 본질적으로 귀납적이며 다른 문제 중에서도 레비 분해에 기반을 두었다.{{Snd}}이고{{Snd}}아주 까다롭다.<ref>{{서적 인용|url=https://archive.org/details/lovemathheartofh0000fren|제목=Love & Math|성=Frenkel|이름=Edward|날짜=2013|isbn=978-0-465-05074-1|인용문=All this stuff, as my dad put it, is quite heavy: we've got Hitchin moduli spaces, mirror symmetry, ''A''-branes, ''B''-branes, automorphic sheaves... One can get a headache just trying to keep track of them all. Believe me, even among specialists, very few people know the nuts and bolts of all elements of this construction.}}</ref>

그리고 모듈러 형식의 측면에서 힐베르트 모듈러 형식, [[지겔 모듈러 형식]], [[세타 함수]]와 같은 예가 있다.

== 대상 ==
관련 랭글랜즈 추측들이 많이 있다. 그들이 진술될 수 있는 많은 다른 분야에 걸쳐 많은 다른 군이 있고, 각 분야에 대해 추측의 여러 다른 버전이 있다.<ref>{{인용|url=Edward Frenkel|출판사=Basic Books}}</ref> 일부 버전의 랭글랜즈 추측은 모호하거나, 존재가 입증되지 않은 랭글랜즈 군과 같은 객체 또는 여러 개의 동등하지 않은 정의가 있는 <math>L</math> 군에 의존한다. 더욱이, 랭글랜즈 추측은 랭글랜즈가 1967년에 처음 언급한 이후 진화해 왔다.

랭글랜즈 추측이 진술될 수 있는 다양한 유형의 대상이 있다.

* 국소체에 대한 [[가약군]] 표현(아르키메데스 국소체, ''p''-진 국소체 및 함수 체 완비에 해당하는 다른 부분 사례 포함)
* 전역 체(숫자 체 또는 함수 체에 해당하는 부분 사례 포함)에 대한 환원 군의 보형 형식.
* 유한 체. 랭글랜즈는 원래 이 경우를 고려하지 않았지만 그의 추측에는 이에 대한 유사점이 있다.
* 복소수에 대한 함수 체와 같은 보다 일반적인 체.

== 추측 ==
밀접하게 관련되어 있지만 명백히 동등하지는 않은 랭글랜즈 추측을 진술하는 여러 가지 방법이 있다.

=== 상호 법칙 ===
랭글랜즈 추측의 출발점은 [[이차 상호 법칙]]을 일반화한 [[에밀 아르틴]]의 [[아르틴 상호 법칙|상호 법칙]]이라고 볼 수 있다. [[아르틴 상호 법칙]]은 [[갈루아 군]]이 [[아벨 군|아벨]]인 [[대수적 수체]]의 [[갈루아 확대]]에 적용된다. 그것은 이 갈루아 군의 1차원 표현에 [[L-함수|''<math>L</math>'']] [[L-함수|함수]]를 할당하고 이러한 ''<math>L</math>'' 함수가 [[헤케 지표|헤케]]에서 구성된 특정 [[디리클레 L-함수|디리클레 ''<math>L</math>'' 급수]] 또는 더 일반적인 급수(즉, [[리만 제타 함수]]의 특정 아날로그)와 동일하다고 말한다. [[헤케 지표]]. 이러한 서로 다른 종류의 ''<math>L</math>'' 함수 사이의 정확한 대응은 아르틴의 상호 법칙을 구성한다.

비-아벨 갈루아 군 및 이들의 고차원 표현의 경우 여전히 ''<math>L</math>'' 함수를 [[아르틴 L-함수|아르틴 ''<math>L</math>'' 함수]]라는 자연스러운 방식으로 정의할 수 있다.

랭글랜즈의 통찰은 디리클레 <math>L</math> 함수의 적절한 일반화를 찾는 것이었고, 이는 더 일반적인 설정에서 아르틴의 진술을 공식화할 수 있도록 했다. [[에리히 헤케|헤케]]는 이전에 <math>\mathbb{C}</math>의 상반 평면에서 특정 함수 방정식을 만족하는 [[보형 형식]]을 가진 디리클레 ''<math>L</math>'' 함수와 관련이 있었다. 그런 다음 랭글랜즈는 이를 [[보형 형식|첨점 보형 형식]] 표현으로 일반화했다. 이는 <math>\mathbb{Q}</math>의 [[아델 환]]에 대한 [[일반선형군|일반 선형 군]] <math>\text{GL}(n)</math>의 특정 무한 차원 기약 표현이다. (이 환은 <math>\mathbb{Q}</math>의 모든 완비를 동시에 추적한다. [[P진수|''p'' -진수]] 참조.)

랭글랜즈는 이러한 갈루아 표현에 보형 형식 L-함수를 붙였고, 수체의 아르군의 유한 차원 표현에서 발생하는 모든 아르틴 <math>L</math>-함수는 첨점 보형 형식표현에서 발생하는 것과 같다고 추측했다. 이것은 그의 "상호 법칙 추측"으로 알려져 있다.

대략적으로 말하면, 상호 법칙 추측은 가약군의 준동형 표현과 랭글랜즈 군에서 [[랭글랜즈 쌍대군|''<math>L</math>'']] [[랭글랜즈 쌍대군|군]]으로의 동형사상 사이의 대응 관계를 제공한다. 부분적으로는 랭글랜즈 군과 <math>L</math>군의 정의가 고정되어 있지 않기 때문에 이에 대한 다양한 변형이 있다.

이것은 국소체에 걸쳐 환원 군의 허용 가능한 기약 표현의 L 패킷의 매개변수화를 제공할 것으로 예상된다. 예를 들어, 실수에 대해 이 대응은 실수 가약군 표현의 랭글랜즈 분류이다. [[대역체]]에 대해 보형 형식의 매개변수화를 제공해야 한다.

=== 함자성 ===
함자적 추측은 <math>L</math>군의 적합한 준동형사상이 보형 형식(대역적 인 경우) 또는 표현(국소적인 경우) 사이의 대응을 제공할 것으로 예상된다고 말한다. 대략적으로 말하자면, 랭글랜즈 상호 법칙 추측은 가약군 중 하나가 자명할 때 함자성 추측의 특수한 경우이다.

랭글랜즈는 함자성 개념을 일반화했다. 일반 선형 군 <math>\text{GL}(n)</math>을 사용하는 대신 다른 연결된 [[가약군]]을 사용할 수 있다. 또한, 그러한 군 ''<math>G</math>가'' 주어지면 랭글랜즈는 [[랭글랜즈 쌍대군]] <math>{}^L\!G</math>''를'' 구성한 다음 ''<math>G</math>''의 모든 보형 형식적 첨단 표현과 <math>{}^L\!G</math>의 모든 유한 차원 표현에 대해 ''<math>L</math>'' 함수를 정의한다. 그의 추측 중 하나는 이러한 ''<math>L</math>'' 함수가 다른 알려진 ''<math>L</math>'' 함수의 방정식을 일반화하는 특정 함수 방정식을 만족한다고 말한다.

그런 다음 그는 아주 일반적인 "함자성 원칙"을 공식화한다. 두 개의 환원성 군과 해당 <math>L</math> 군 사이의 (얌전한) [[사상 (수학)|사상]]이 주어지면, 이 추측은 그들의 <math>L</math> 함수와 호환되는 방식으로 그들의 보형 형식 표현을 관련시킨다. 이 기능적 추측은 지금까지 제시된 다른 모든 추측을 함축한다. 그것은 [[유도 표현]] 구성의 본질이다. 보다 전통적인 [[보형 형식]] 이론에서 특별한 경우에 알려진 '[[올림]]'이라고 불렸으며 공변도 마찬가지이다(제한된 표현 은 반공변이다). 직접 구성을 지정하려는 시도는 일부 조건부 결과만 생성했다.

이러한 모든 추측은 <math>\mathbb{Q}</math>: [[대수적 수체]][[소수 (수론)|(]]근원이자 가장 중요한 체), [[국소체|국소 체]] 및 함수 체(<math>\mathbb{F}_p(t)</math>의 유한 [[체의 확대|확장]] ''p''는 이고 <math>\mathbb{F}_p(t)</math>는 위수가 ''p인'' [[유한체|유한 체]]에 대한 유리 함수의 체이다.

=== 기하학적 추측 ===
[[블라디미르 드린펠트]]의 아이디어를 따라 제라르 로몽 이 제안한 소위 기하 랭글랜즈 프로그램(기하 랭글랜즈 프로그램)은 단순히 기약 표현 이상을 관련시키려는 일반적인 랭글랜즈 프로그램(랭글랜즈 프로그램)의 기하학적 재공식화에서 비롯된다. 간단한 경우에 [[대수 곡선]]의 [[에탈 기본군|에탈 기본 군]]의 {{수학 변수|l}}-진 표현을 곡선 위의 [[벡터 다발|선형 다발]]의 모듈라이 스택에 있는 {{수학 변수|l}}-진 층의 [[유도 범주]]의 대상과 관련시킨다.

== 현재 상태 ==
<math>\text{GL}(1,K)</math>에 대한 랭글런즈 추측은 [[유체론]]을 따르고 본질적으로 유체론과 동등하다.

랭글랜즈는 기약 표현의 랭글랜즈 분류를 제공함으로써 아르키메데스 국소 체 <math>\mathbb{R}</math>과 <math>\mathbb{C}</math>에 대한 군에 대한 랭글랜즈 추측을 증명했다.

유한 체에 대한 리 유형 군의 기약적 표현에 대한 Lusztig의 분류는 유한 체에 대한 랭글랜즈 추측의 아날로그로 간주될 수 있다.

유리수에 대한 반안정 타원 곡선의 모듈성에 대한 [[앤드루 와일스|앤드루 와일즈]]의 증명은 주요 아이디어가 타원 곡선에서 발생하는 갈루아 표현을 모듈 형식과 관련시키는 것이기 때문에 랭글랜즈 상호성 추측의 사례로 볼 수 있다. 와일즈의 결과가 실질적으로 일반화되었지만 여러 방향에서 <math>\text{GL}(2,\mathbb{Q})</math>에 대한 전체 랭글랜즈 추측은 증명되지 않은 상태로 남아 있다.

1998년에 [[로랑 라포르그]]는 함수 체 ''K''에 대한 일반 선형 군 <math>\text{GL}(n,K)</math>에 대한 랭글랜즈 추측을 검증하는 [[라포르그의 정리|라포르그 정리]]를 증명했다. 이 작업은 1980년대에 사례 <math>\text{GL}(2,K)</math>를 증명한 드린펠트의 초기 조사를 계속했다.

2018년에 로랑 라포르그와 빈센트 라포르그는 대역 함수 체에서 연결된 환원 군에 대한 대역 랭글랜즈 대응(보형 형식에서 갈루아 표현으로의 방향)을 확립했다.<ref>{{웹 인용|url=http://www.icm2018.org/portal/program-at-a-glance.html|제목=Shtukas for reductive groups and Langlands correspondence for function fields|성=Lafforgue|이름=V.|연도=2018|웹사이트=icm2018.org|arxiv=1803.03791|확인날짜=2023-06-30|archive-date=2020-02-07|archive-url=https://web.archive.org/web/20200207001723/http://www.icm2018.org/portal/program-at-a-glance.html|url-status=}} {{웹 인용|url=http://vlafforg.perso.math.cnrs.fr/files/cht-ICM-lafforgue.pdf|제목=alternate source|웹사이트=math.cnrs.fr}}</ref><ref>{{저널 인용|제목=Chtoucas pour les groupes réductifs et paramétrisation de Langlands|저널=Journal of the American Mathematical Society|성=Lafforgue|이름=V.|url=https://www.ams.org/journals/jams/2018-31-03/|연도=2018|권=31|쪽=719–891|arxiv=1209.5352|doi=10.1090/jams/897}}</ref>

=== 국소 랭글랜즈 추측 ===
필립 쿠츠코(1980)는 국소체에 대한 일반 선형 군 <math>\text{GL}(2,K)</math>에 대한 국소 랭글랜즈 추측을 증명했다.

제라르 라우몬, 마이클 라포포트, 울리히 스툴러(1993)는 표수가 양수인 국소체 K에 대한 일반 선형 군 <math>\text{GL}(n,K)</math>에 대한 국소 랭글랜즈 추측을 증명했다. 그들의 증거는 대역적 주장을 사용한다.

마이클 해리스와 리처드 테일러(2001)는 특성 0 국소체 K에 대한 일반 선형 군 <math>\text{GL}(n,K)</math>에 대한 국소적 랭글랜즈 추측을 증명했다. 가이 헤니아트(2000)는 또 다른 증명을 제시했다. 두 증명 모두 대역적 주장 사용한다. 피터 숄체(2013)는 또 다른 증명을 제시했다.

=== 기본 정리 ===
2008년에 [[응오바오쩌우]]는 1983년 랭글랜즈와 Shelstad가 원래 추측했으며 랭글랜즈 프로그램에서 몇 가지 중요한 추측의 증명에 필요한 "기본 보조정리"를 증명했다.<ref>{{저널 인용|제목=Le lemme fondamental pour les algèbres de Lie|저널=Publications Mathématiques de l'IHÉS|성=Châu|이름=Ngô Bảo|저자링크=Ngô Bảo Châu|연도=2010|권=111|쪽=1–169|arxiv=0801.0446|doi=10.1007/s10240-010-0026-7}}</ref><ref>{{저널 인용|제목=Les débuts d'une formule des traces stable|저널=Publications Mathématiques de l'Université Paris [Mathematical Publications of the University of Paris]|성=Langlands|이름=Robert P.|url=http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/endoscopy.html#debuts|연도=1983|권=VII|호=13|출판사=Université de Paris|위치=Paris|mr=697567}}</ref>

=== 시사점 ===
일반 독자는 물론 심지어 수학자라도 이 분야를 연구하지 않는다면 랭글랜즈 프로그램 내의 추상화에 접근 하기 어렵다. 그러나 근본적인 랭글랜즈 추측의 증명 또는 반증에 대한 몇 가지 강력하고 명확한 의미가 있다.

랭글랜즈 프로그램이 [[해석적 수론|해석적 정수론]]과 [[대수기하학]]의 일반화 사이의 강력한 연결을 가정함에 따라 [[대수적 수체|수체]]의 추상 대수 [[갈루아 군|표현]]과 분석적 [[아이디얼 유군|소수]] 구성 사이의 [[호몰로지 대수학|'함자성']] 아이디어는 [[소수 정리|소수 분포]]의 정확한 정량화를 허용하는 강력한 [[함수해석학|함수 도구]]를 생성한다. 이것은 차례로 [[디오판토스 방정식|디오판틴 방정식 분류]]와 [[대수함수]]의 추가적 추상화를 위한 능력을 산출한다.

게다가, 가정된 대상에 대한 그러한 일반화된 [[대수다양체|대수]]의 [[아르틴 상호 법칙|상호 법칙]]이 존재하고 그들의 [[L-함수|해석적 함수]]가 잘 정의된 것으로 나타날 수 있다면 수학에서 아주 심오한 결과가 증명의 범위 내에 있을 수 있다. 예: [[버치-스위너턴다이어 추측|타원 곡선의 유리해]], [[호지 추측|대수적 다형체의 위상 구성]], 유명한 [[리만 가설]]. 이러한 증명은 각각 숫자 체 [[추상대수학|구조]] 내의 [[불변량 이론|불변성]]과 관련된 [[아르틴 L-함수|일반화된 해석적 급수]]의 객체에서 추상적 해를 활용할 것으로 예상된다.

또한, 랭글랜즈 프로그램과 물리학의 [[M이론]] 사이의 일부 연결은 그들의 [[쌍대성]]이 [[기본 표현|자명하지 않은]] 방식으로 연결되어 [[초끈 이론]]에서 잠재적인 정확한 해를 제공하기 때문에 가정되었다(비슷하게 [[군론]]에서 [[가공할 헛소리]]를 통해 수행된 것처럼).

간단히 말해, 랭글랜즈 프로젝트는 기하학적 형식에 포함된 해석 함수를 사용하여 대수 방정식의 정확한 해에서 고차 일반화를 통해 수학의 가장 근본적인 영역을 다루는 깊고 강력한 해의 틀을 의미한다. 그것은 강력한 [[보형 형식|해석적 방법]]의 형식으로 많은 먼 수학 분야의 통합을 허용한다.

== 같이 보기 ==
* Jacquet–랭글랜즈 서신
* [[에를랑겐 프로그램]]

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

== 참고 문헌 ==
* {{인용|last1=Arthur|first1=James|title=The principle of functoriality|doi=10.1090/S0273-0979-02-00963-1|mr=1943132|year=2003|journal=Bulletin of the American Mathematical Society|series=New Series|issn=0002-9904|volume=40|issue=1|pages=39–53|doi-access=free}}
* {{인용|first1=J.|last1=Bernstein|first2=S.|last2=Gelbart|author2-link=Stephen Gelbart|title=An Introduction to the Langlands Program|location=Boston|publisher=Birkhäuser|year=2003|isbn=978-3-7643-3211-2}}
* {{인용|last1=Gelbart|first1=Stephen|author1-link=Stephen Gelbart|title=An elementary introduction to the Langlands program|doi=10.1090/S0273-0979-1984-15237-6|mr=733692|year=1984|journal=Bulletin of the American Mathematical Society|series=New Series|issn=0002-9904|volume=10|issue=2|pages=177–219|doi-access=free}}
* {{ArXiv 인용|first=Edward|last=Frenkel|title=Lectures on the Langlands Program and Conformal Field Theory|year=2005|eprint=hep-th/0512172}}
* {{인용|last1=Gelfand|first1=I. M.|title=Proc. Internat. Congr. Mathematicians (Stockholm, 1962)|chapter-url=http://mathunion.org/ICM/ICM1962.1/|publisher=Inst. Mittag-Leffler|location=Djursholm|mr=0175997|year=1963|chapter=Automorphic functions and the theory of representations|pages=74–85|access-date=2023-06-30|archive-date=2011-07-17|archive-url=https://web.archive.org/web/20110717144510/http://mathunion.org/ICM/ICM1962.1/|url-status=}}
* {{인용|last1=Harris|first1=Michael|last2=Taylor|first2=Richard|title=The geometry and cohomology of some simple Shimura varieties|url=https://books.google.com/books?id=sigBbO69hvMC|publisher=[[Princeton University Press]]|series=Annals of Mathematics Studies|isbn=978-0-691-09090-0|mr=1876802|year=2001|volume=151}}
* {{인용|last1=Henniart|first1=Guy|title=Une preuve simple des conjectures de Langlands pour GL(''n'') sur un corps ''p''-adique|doi=10.1007/s002220050012|mr=1738446|year=2000|journal=[[Inventiones Mathematicae]]|issn=0020-9910|volume=139|issue=2|pages=439–455|bibcode=2000InMat.139..439H|s2cid=120799103}}
* {{인용|last=Kutzko|first=Philip|year=1980|title=The Langlands Conjecture for Gl<sub>2</sub> of a Local Field|journal=[[Annals of Mathematics]]|volume=112|issue=2|pages=381–412|jstor=1971151|doi=10.2307/1971151|url=http://projecteuclid.org/euclid.bams/1183546356}}
* {{인용|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}
* {{인용|last1=Langlands|first1=R. P.|title=Lectures in modern analysis and applications, III|chapter-url=http://publications.ias.edu/rpl/section/21|publisher=[[Springer-Verlag]]|location=Berlin, New York|series=Lecture Notes in Math|isbn=978-3-540-05284-5|doi=10.1007/BFb0079065|mr=0302614|year=1970|volume=170|chapter=Problems in the theory of automorphic forms|pages=18–61}}
* {{인용|last1=Laumon|first1=G.|last2=Rapoport|first2=M.|last3=Stuhler|first3=U.|title=''D''-elliptic sheaves and the Langlands correspondence|doi=10.1007/BF01244308|mr=1228127|year=1993|journal=[[Inventiones Mathematicae]]|issn=0020-9910|volume=113|issue=2|pages=217–338|bibcode=1993InMat.113..217L|s2cid=124557672}}
* {{인용|last1=Scholze|first1=Peter|year=2013|title=The Local Langlands Correspondence for GL(''n'') over ''p''-adic fields|journal=[[Inventiones Mathematicae]]|volume=192|issue=3|pages=663–715|doi=10.1007/s00222-012-0420-5|arxiv=1010.1540|bibcode=2013InMat.192..663S|s2cid=15124490}}

[[분류:수학사]]
[[분류:추측]]
[[분류:보형 형식]]
[[분류:제타 함수와 L-함수]]