Аффин Грассманниан (көпжақты) - Affine Grassmannian (manifold)

Жылы математика, терминнің екі айқын мағынасы бар аффиндік грассманниан. Бірінде бұл бәрінің көпфункциясы к-өлшемді аффиндік ішкі кеңістіктер туралы Rⁿ (осы бетте сипатталған), ал екіншісінде аффиндік грассманниан - ресми Лоран сериясына негізделген топтық сақинаның бөлігі.

Ресми анықтама

Шекті өлшемді берілген векторлық кеңістік V және теріс емес бүтін сан к, содан кейін Графф_к(V) болып табылады топологиялық кеңістік бәрінен де аффин көлшемді ішкі кеңістіктері V.

Оның табиғи проекциясы бар б: Графф_к(V) → Гр_к(V), Грассманниан барлық сызықтық көлшемді ішкі кеңістіктері V анықтау арқылы б(U) аудармасы болуы керек U шығу тегі арқылы кіші кеңістікке. Бұл проекция фибрация болып табылады және егер V құрамында талшық бар ішкі өнім беріледі U көмегімен анықтауға болады ${ displaystyle p (U) ^ { perp}}$, ортогоналды толықтауыш б(UСондықтан талшықтар - векторлық кеңістік және проекция б Бұл векторлық шоғыр үстінен Грассманниан, анықтайтын көпжақты Граффтағы құрылым_к(V).

Сияқты біртекті кеңістік, аффиндік грассманниан n-өлшемді векторлық кеңістік V көмегімен анықтауға болады

${ displaystyle mathrm {Graff} _ {k} (V) simeq { frac {E (n)} {E (k) times O (n-k)}}})$

қайда E(n) болып табылады Евклид тобы туралы Rⁿ және O (м) болып табылады ортогональды топ қосулы R^м. Бұдан шығатыны өлшем

${ displaystyle dim left [ mathrm {Graff} _ {k} (V) right] = (n-k) (k + 1) ,.}$

(Бұл қатынасты келесі бөлімді анықтаудан шығару оңай, өйткені коэффициенттер саны арасындағы айырмашылық, (n−к)(n+1) және теңдеулерге әсер ететін сызықтық топтың өлшемі, (n−к)².)

Қарапайым грассманнилермен қарым-қатынас

Келіңіздер (х₁,…,х_n) кәдімгі сызықтық координаттар болыңыз Rⁿ. Содан кейін Rⁿ ендірілген Rⁿ⁺¹ аффинді гиперплан ретінде х_n+1 = 1. The к-өлшемді аффиналық ішкі кеңістіктер Rⁿ (-мен) бір-біріне сәйкес келедік+1) өлшемді сызықтық ішкі кеңістіктер Rⁿ⁺¹ жазықтыққа қатысты жалпы жағдайда х_n+1 = 1. Шынында да, а к-өлшемді аффиналық кіші кеңістік Rⁿ - дәреже шешімдерінің локусы n − к аффиндік теңдеулер жүйесі

${ displaystyle { begin {aligned} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} & = a_ {1, n + 1} & vdots & a_ {nk , 1} x_ {1} + cdots + a_ {nk, n} x_ {n} & = a_ {nk, n + 1}. End {aligned}}}$

Бұлар дәрежені анықтайды n−к жүйесі сызықтық теңдеулер Rⁿ⁺¹

${ displaystyle { begin {aligned} a_ {11} x_ {1} + cdots + a_ {1n} x_ {n} & = a_ {1, n + 1} x_ {n + 1} & vdots & a_ {nk, 1} x_ {1} + cdots + a_ {nk, n} x_ {n} & = a_ {nk, n + 1} x_ {n + 1}. end {aligned}} }$

оның шешімі (к + 1) - қиылысқан кезде ұшақ х_n+1 = 1, түпнұсқа к-планет.

Осындай сәйкестендірудің арқасында Graff (к,n) Бұл Zariski ашық жиынтығы Гр (к + 1, n + 1).

Әдебиеттер тізімі

• Клейн, Даниэль А .; Рота, Джан-Карло (1997), Геометриялық ықтималдыққа кіріспе, Кембридж: Кембридж университетінің баспасы