[Я відповім на запитання, як зазначено в заголовку, залишаючи літанію інших питань щодо GCT для інших потоків.] Доведення догадок, що виникають у GCT, здається, що воно вирішально використає той факт, що розглядаються функції (визначальні та постійні, та інші споріднені многочлени для P / poly та NP) характеризуються їх симетрією. Ця необхідність - це не формальний результат, а інтуїція, висловлена кількома експертами. (В основному, за відсутності характеристики симетріями, розуміти алгебраїчну геометрію та теорію представлення, що виникає, набагато важче.)
Це повинно обійти Розборова-Рудича, оскільки дуже мало функцій характеризується їх симетрією (минаючи умову величини у визначенні природних доказів). Знову ж таки, я не бачив доказів цього, але це почуття, яке я почув, висловлене кількома експертами.
Тепер над складними числами мені незрозуміло, що є аналог Разборова-Рудича. Хоча більшість GCT в даний час зосереджена на комплексних числах, є аналоги в кінцевій характеристиці (обіцяно в наступній роботі GCT VIII). У кінцевій характеристиці можна було б насправді довести твердження форми "Дуже мало функцій характеризується їх симетрією".
[У відповідь на коментар Росса Снайдера, ось пояснення характеристики симетріями.]
По-перше, пояснення за прикладом. Для прикладу визначте допоміжну функцію . Якщо - матриця перестановки, то а якщо - діагональ, то (добуток діагональних записів). Тепер припустимо , що є однорідним ступеня многочленом змінних (що ми думаємо , як заходи в якості матриці ). Якщо має такі симетрії:A q ( A ) = 1 A q ( A ) = d e t ( A ) p ( X ) n n 2 n × n X pqAq(A)=1Aq(A)=det(A)p(X)nn2n×nXp
- p(X)=p(Xt) (транспонировать)
- ( A , B ) A B q ( A ) q ( B ) = 1p(AXB)=p(X) для всіх пар матриць таким чином, що і - це матриці перестановки або діагональні матриці, а(A,B)ABq(A)q(B)=1
то є постійним кратним для всіх матриць . Отже, ми кажемо, що постійне характеризується його симетрією.p e r m ( X ) Xp(X)perm(X)X
Більш загально, якщо ми маємо (однорідний) многочлен в змінних, то (група всіх неперевернутих матриць) діє на за допомогою для (де ми беремо змінні як основа для -вимірного векторного простору, на який природно діє ). Стабілізатором в є підгрупа . Ми говоримом Г л м м × м е ( е ) ( х 1 , . . . , х т ) = е ( - 1 ( х 1 ) , . . . , A - 1 ( x m ) ) A ∈ Gf(x1,...,xm)mGLmm×mf(Af)(x1,...,xm)=f(A−1(x1),...,A−1(xm))х 1 , . . . , x m m G L m f G L m Stab ( f ) = { A ∈A∈GLmx1,...,xmmGLmfGLmf f ′ m f ′ fStab(f)={A∈GLm:Af=f}fхарактеризується його симетрією, якщо має місце наступне: для будь-якого однорідного многочлена в змінних тієї ж міри, що і , якщо для всіх , то є постійний кратний .f′mA f ′ = f ′ A ∈ Stab ( f )fAf′=f′A∈Stab(f)f′f