Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет chervov ([info]chervov) в [info]ljr_math
@ 2006-08-21 18:47:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Vopros pro gomotipii
Tut u moego druga fizika voznik vopros:

> Dano gladkoe lokal,no trivial'noe rassloenie nad sferoi

> p: M \to S^n.

> Sloi odnosvyaznii.
> Dani dva secheniya etogo rassloeniya

> s_0, s_1: S^n \to M, p \cdot s_i = id. ( i = 0,1 )

> Izvesto, chto secheniya homotopni
> KAK OTOBRAZHENIYA, t.e. suschestvuet homotopiya

> h: [0,1] \times S^n \to M, h(0,x)=s_0(x), h(1,x)= s_1(x), gde x \in S^n.

> Vopros: homotopni li eti secheniya KAK SECHENIYA?
> T.e., ih mozhno soedinit' v prostranstve sechenii.
> V zapisi eto oznachaet:
> suschestvuet li homotopiya

> g: [0,1] \times S^n \to M, g(0,x)=s_0(x), g(1,x)= s_1(x), dlya kotoroi
> p \cdot g(t,x) = x ?

Mne kazetsya chto da, Gosha Sharygin schitaet chto net :)
Chto dumaet narod ?


(Читать комментарии) - (Добавить комментарий)

Vozrazenia Goshi
[info]chervov
2006-08-25 13:50 (ссылка)
Mozhet byt', tut vse i pravil'no. No est' nekotorye somnitel'nye detali.
Naprimer, nejasno, kak predlagaetsja deformirovat' sechenija na odnoj
polusfere. da ewe tak, chtoby poluchit' zadannoe otobrazhenie na granice
-- ved' pri jetom nado budet chto-to deformirovat' na granice vtoroj
polusfery, sledovatel'no, nado budet vse prodolzhat' do gomotopii na
vsej sfere. Vozmozhno, pravda, jeta trudnost' preodolima.

Voobwe zhe gomotopicheskie klassy sechenij rassloenija
klassificirujutsja n-mernymi gomologijami bazy s koefficientami v
n-1-mernyh (ili n+1-mernyh?) gomotopijah sloja (1-1 sootvetstvie v
nekotorom smysle). Pri jetom mozhet okazat'sja, chto total'noe
prostranstvo stjagivaemo, no ni baza, ni sloj ne stjagivaemy. Togda vse
otobrazhenija v total'noe prostranstvo gomotopny, no sechenij oche'
mnogo raznyh. U sfery, pravda, prostye gomologii, tak chto ochen'
verojatno, chto vse sechenija gomotopny. Kstati, rassuzhdenie, kotoroe
tebe prislali, po-suwestvu, povtorjaet postroenie vysheupomjanutogo
1-1-sootvetstvija.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Vozrazenia Goshi
[info]shribavavsenahu
2006-08-25 20:05 (ссылка)
Secheniya rassloenii ne klassificiruyutsya gomologiyami bazy s koefficientami v gomotopiyah sloya. V sluchae $S^n, n>2$ v $H^n(S^n,\pi_{n-1}(F))$ lezhit prepyatstvie k suschestvovaniyu secheniya. V obschem sluchae vse slozhnee, tak kak prepyatstvii celaya seriya.

Voobsche, dlya togo chtoby znat' gomotopicheskuyu klassifikaciyu sechenii, nedostatochno znat' gomotopicheskie tipy bazy i sloya. Naprimer, u trivial'nogo rassloeniya $S^4\times S^3\to S^4$ est' secheniya, a u kvaternionnogo rassloeniya Hopfa $S^3\subset S^7\to S^4$ -- net (eto glavnoe SU(2)-rassloenie, i esli by u nego byli secheniya, ono bylo by trivial'nym).

Chto-to v takom duhe.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Vozrazenia Goshi
[info]chervov
2006-08-28 15:25 (ссылка)
From Gosha

Vse verno, v strogom smysle slova prepjatstvij k suwestvovaniju sechenij bol'she (celaja serija). Chto kasaetsja ih klassofikacii, to tam tozhe voznikaet celaja serija klassov, pozvoljajuwih razlichat' sechenija (ved' poslojnuju gomotopiju mezhdu sechenijami mozhno rassmatrivat' kak sechenie inducirovannogo rassloenija na S^n\times[0;1]).

Rassuzhdenie, pozvoljauwee sdvinut' sechenija drug v druga ja podrobno ne proverjal, no, kazhetsja, ono pravil'noe.

(Ответить) (Уровень выше)


(Читать комментарии) -