GCT 학습을위한 전제 조건


38

기하 복잡도 이론은 대수 기하학, 표현 이론과 같은 순수한 수학에 대한 많은 지식이 필요한 것 같습니다.

저는 CS 학생이며 매우 추상적이고 순수한 수학 수업은 없지만이 프로그램에 관심이 있습니다.

이 이론을 배우기위한 "최소 지식"의 목록이 있습니까?

이 목록에는 CS 또는 수학 부서의 강의 노트, 저널 또는 컨퍼런스 설문 조사 및 순수 수학 교과서가 포함됩니다.

[ 편집 : 나중에 추가 ] 귀하의 의견에 감사드립니다.

컴퓨팅의 일반 이론 : 저는 "계산 이론 소개"라는 제목의 Sipser의 책을 읽었습니다.

복잡성 이론 : 특히, 복잡성의 하한을위한 구체적 모델에 관심이 있습니다. 따라서 나는 Arora-Barak 교과서에서 "콘크리트 하한"의 일부를 읽었습니다. 또한 Nisan이 작성한 의사 소통 복잡성 서적에 대한 몇 가지 기본 지식을 가지고 있습니다.

기본 수학 : 나는 벡터 공간의 일반적인 정의와 엡실론-델타 인수에 기초한 미적분학의 주장과 같은 증거 기반 선형 대수학에 대해 배웠습니다.

대수 : 나는 그룹, 반지, 그리고 필드의 정의와 예에 대해 배웠다. 나는 cs 학생들을위한 수업을 받았고이 대수 시스템의 일반적인 비법에 대해 배우지 않았습니다.


3
복잡도 이론, 선형 대수학, 대수학을 얼마나 정확하게 말하면 도움이 될 것입니다. 또한 목표를 명시해야합니다. 일반적인 높은 수준의 그림에 대한 요구 사항은 해당 지역에서 프로젝트를 수행하는 것과 다릅니다.
Vijay D



대학원 대수, 특히 정류 대수를 먼저 시도하십시오.
Zeyu

답변:


44

짧은 대답 : 일단 그룹, 반지 및 필드를 보았을 때 GCT 계획의 전반부를 이해하는 수학에 대한 최소한의 지식은 기본적으로 내 논문의 3 장에 있습니다 (부끄러운 자체 플러그 ). 그러나이 장은 불완전하지만 표현 이론 부분에 도달하지 못한다는 점에서 불완전합니다. 표현 이론은 계획의 후반부에서 중요합니다 (그래서이 장을 포함시키기 위해 해당 장을 확장하려고 노력하고 있습니다).

Goodman과 Wallach에 의한 GCT, 대칭, 표현, 변이W에 의한 대수 그룹의 동작과 변이에 실제로 들어가고 싶다면 Ferrers Santos 는 비교적 독립적이며 GCT와 관련된 많은 좋은 정보를 가지고 있습니다. 나는이 자료를 많이 배운 후에 만 ​​배울 수 있기 때문에 그들이 배울 수있는 가장 좋은 출처인지 확실하지 않지만 GCT와 관련된 내용과 그들이 다루는 내용의 비율 측면에서 우수합니다. Fulton과 Harris는 표현 이론에 적합하며이 책의 많은 예제 / 운동은 GCT와 관련이 있습니다.

더 긴 대답 : 그것은 Vijay가 지적했듯이 실제로 GCT에 대해 무엇을 배우고 싶은지에 달려 있습니다. 아래 주제는 내가 필요한 배경 이라고 생각하는 것입니다 . 이것이 완전한 목록인지 잘 모르겠습니다. GCT에 대한 논문을 읽으십시오. 길을 잃었을 때 배경 자료를 찾으십시오. 배경 자료를 배우면서 항상 GCT 논문으로 돌아와서 더 많은 것을 따라갈 수 있는지 확인하십시오.

(당신이 배우고 싶은 것에 따라, 나는 실제로 Zeyu에 동의하지 않을 것입니다.하지만 GCT를 배우는 어느 시점에서 이것이 필요할 것입니다.)

예를 들어 Mulmuley의 최근 FOCS 논문 을 이해하려면 다음을 이해해야합니다.

  • 경도 대의 임의성의 원칙 (참조 Impagliazzo - Kabanets을 , 또한 아마도 경도 V의 임의성에 대한 논문의 빌 Gasarch의 목록 )
  • 힐버트의 Nullstellensatz 및 Noether의 정규화 Lemma까지 ​​기본 대수 기하학. 이것들은 대수 기하학에 대한 기본 교과서와 아마도 대부분의 강의 노트에서 찾을 수 있습니다.
  • 일부 고전적인 불변 이론 (이 논문에 대해서는 실제로 지오메트리 불변 이론, 체계 및 Mumford-Fogarty-Kirwan 책이 필요하지 않음). 불변 이론의 Sturmfels의 책 알고리즘이 떠 오릅니다 .
  • 종이의 특정 결과를하지만, 일반적으로 용지 결코, 당신은 몇 가지를 할 수 있습니다 (이러한 참조는 또한 논문에서 찾을 수있다)의 표현 이론 같이 풀톤과 해리스 , 매트릭스 불변의 결과 [ Artin, Procesi, Razymslov], ...SLn

GCT 접근법의 일반적인 개요를 이해하고 싶지만 수학적으로 자세히 알고 싶다면 다음과 같이 제안합니다.

  • 영구적 인 문제와 결정적인 문제 # P- 완전성 및 결정 성 GapL- 완전성. Agrawal은 이것에 대한 좋은 조사받았으며 ( 완전 약간 구식 임) 완전성의 증거는 Burgisser의 책 대수 복잡성 이론의 완전성 및 감소에서 찾을 수 있습니다 .

  • 그룹 및 그룹 작업 (대수 그룹 및 대수 그룹 작업은 도움이되지만이 수준에서는 필요하지 않음). Orbit-Stabilizer 정리를 이해해야합니다.

  • 힐버트의 Nullstellensatz를 통해 대수 기하학을 정의하십시오. 기본적으로 당신은 아핀 대수 품종과 그들의 좌표 고리 사이의 대응 관계를 이해해야합니다.

  • Fulton과 Harris 에서 같이 기본 표현 이론 . 기본 정의 외에도 이러한 표현의 완전한 환원성과 표현이 파티션으로 분류 된다는 사실 을 알아야하지만 후자의 증거 / 구조를 반드시 알아야 할 필요는 없습니다.GLnGLn

무슨 일이 일어나고 있는지 깊이 이해하고 싶다면 (그리고 아직 거기에 있다고 주장 할 수는 없지만, 거기에 도착하기 위해 알아야 할 것을 알고 있다고 생각합니다.)

  • 환원 대수 그룹과 궤도 폐쇄의 구조. 나는 이것을 위해 W. Ferrers Santos 뿐만 아니라 Borel의 Linear Algebraic Groups , Weyl의 The Classical Groups 및 기타 고전 도 좋아합니다 .

  • Luna-Vust 기계 (Luna 's Slice Theorem, Luna-Vust complex)

  • 탄나 키안 이원성 ( Deligne--Milne 의 논문 참조 ; 이것은 범주 이론과 아핀 대수 그룹에 대한 배경 지식이 없다면 어려운 읽기가 될 것입니다). 이것은 본질적으로 "(pro-) 핀 대수 그룹은 그들의 표현에 의해 결정됩니다." 나는 표현의 범주 (Cor. 3.4)에서 그룹을 복구하는 방법만큼 논문 전체가 필요하다고 생각하지 않습니다.

  • 특히 대수 그룹의 좌표 링과 궤도 폐쇄에 적용되는 더 많은 표현 이론 . 저는 Goodman과 Wallach 의 저서가 정말 마음에 들었 습니다. 특히 기본적으로 자체 포함되어 있기 때문에 GCT를 이해하는 데 필요한 것이 많습니다. 또한 Fulton과 Harris의 많은 해설 / 측면 섹션과 연습은 GCT, 특히 Littlewood-Richardson 및 Kronecker 계수에 대한 마크에 적합합니다.

표현 이론을 실제로 연구 하고 싶다면 대수 조합론 / 조합 표현 이론을 이해하고 싶을 것입니다. 나는 이것에 대한 모든 올바른 참고 자료를 실제로 알지 못하지만 Littlewood-Richardson 규칙을 이해하는 것이 필수적이며 Fulton의 책 Young Tableaux 가 이것에 좋습니다.

내가 아는 것의이 측면에서 가장 최근의 논문은 Blasiak , Kumar , Bowman, De Visscher, Orellana 입니다.

어떤 방향으로 가고 싶은가에 따라, 반드시 필요한 것은 아니지만 양자 그룹을 살펴볼 수도 있습니다 (주 : 특수한 그룹의 경우가 아니라 특정 방향의 일반화).

좀 더 기하학적 인 측면 에서는 탄젠트 및 진동 공간, 곡률, 이중 품종 등을위한 미분 기하학과 같은 것들을 살펴보고 싶을 것입니다. Mignon 으로 인해 perm과 det에서 가장 잘 알려진 하한을 기본으로합니다. --Ressayre 다음에 Landsberg--Manivel--Ressayre가 이어 집니다 . ( Mignon--Ressayre 는 이러한 것없이 이해할 수 있지만 특정 품종의 곡률을 연구하면서 논문을 느슨하게 볼 수 있습니다. 덜 느슨하게 보려면 Landsberg--Manivel--Ressayre 에서 이중 품종 사용을 참조하십시오 . ) ( 모든 이상한 특성으로 Mignon-Ressayre를 확장하는 Cai, Chen 및 Li 참조) Landsberg 및 Kadish 도 참조하십시오 .

행렬 곱셈에 대한 GCT 접근법에 관심이 있다면 텐서 순위, 경계 순위 및 종 품종에 관한 것입니다. Burgisser (Ikenmeyer , Landsberg and Ottaviani , Landsberg , Landsberg의 설문 조사서적) 의 논문을 살펴 보는 것이 좋습니다 . 물론, 행렬 곱셈 (상한 및 하한 모두)에 관한 고전적인 내용을 아는 것도 좋지만 웜의 전체 캔입니다.


1
+1 ps : 답안의 논문과 책에 대한 링크를 추가 할 수 있다면 좋을 것입니다.
Kaveh

1
토폴로지의 일반적인 이론이 필요합니까?
syucha

4
나는이 모든 것에 대한 만장일치로 당신에게 연기 된 모든 cstheory를 느낀다. 좋은 대답입니다. "원하는 경우"부분을 더 눈에 잘 띄게 표시하면 답의 구조가보다 시각적으로 나타납니다.
Vijay D

6
조쉬는 지역 전문가입니다 :)
Suresh Venkat

2
@ 슈카 : "일반 토폴로지 이론"이 의미하는 바에 따라 일반적으로 저학 토폴로지 과정 인 NO. 대부분의 포인트 세트 토폴로지에 대해 알 필요가 없습니다. 즉, 토폴로지의 기본 사항을 이해하는 것은 대수 기하학 (Zariski 토폴로지 참조)과 차등 기하학 (일반 포인트 세트 토폴로지가 아닌 매니 폴드의 토폴로지 만 필요)을 이해하는 데 유용합니다 (필요한 것). 시브 및 벡터 번들과 같은 토폴로지에서 더 깊은 것은 GCT에서 더 깊은 일부에 유용합니다.
Joshua Grochow
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.