Уайтхед өнімі - Википедия - Whitehead product

Математикада Whitehead өнімі Бұл бағаланды квази-Ли алгебрасы құрылымы гомотопиялық топтар кеңістіктің Ол анықталды Дж. Х. Уайтхед ішінде (Уайтхед 1941 ж ).

Тиісті MSC коды: 55Q15, Whitehead өнімі және жалпылау.

Анықтама

Берілген элементтер , Whitehead кронштейні

келесідей анықталады:

Өнім қосу арқылы алуға болады - ұялы байланыс сына сомасы

;

The картаны тіркеу бұл карта

Өкіл және карталар арқылы

және

содан кейін олардың сынын қосымша картамен құрастырыңыз

The гомотопия сыныбы алынған картаның өкілдерінің таңдауына тәуелді емес, осылайша біреудің анықталған элементін алады

Бағалау

Бағалау кезінде 1 ауысым бар екенін ескеріңіз (индексімен салыстырғанда гомотопиялық топтар ), сондықтан дәрежесі бар ; баламалы, (параметр L Ли квази-Ли алгебрасы болу). Осылайша әрбір бағаланған компонент бойынша әрекет етеді.

Қасиеттері

Whitehead өнімі келесі қасиеттерді қанағаттандырады:

  • Біліктілік.
  • Бағаланған симметрия.
  • Якобидің сәйкестігі.

Кейде кеңістіктің гомотопиялық топтары Whitehead өнімі операциясымен бірге а деп аталады бағаланды квази-Ли алгебрасы; бұл дәлелденген Уехара және Масси (1957) арқылы Массейдің үш еселенген өнімі.

Әрекетімен байланысы

Егер , содан кейін Whitehead кронштейні әдеттегі әрекетпен байланысты қосулы арқылы

қайда дегенді білдіреді конъюгация туралы арқылы .

Үшін , бұл төмендейді

бұл әдеттегідей коммутатор жылы .Оны байқау арқылы да көруге болады - тордың жасушасы ішіндегі коммутатор бойымен бекітілген -қаңқа .

Ақ кеңістіктегі өнімдер H кеңістігінде

Қосылған жол үшін H кеңістігі, барлық Whitehead өнімдері қосулы Алдыңғы бөлімге сәйкес, бұл H кеңістігінің іргелі тобы абелия екендігі туралы және H кеңістігі туралы фактілерді жалпылау болып табылады қарапайым.

Тоқтата тұру

Барлық Whitehead өнімдері , ядросында жатыр тоқтата тұру гомоморфизм

Мысалдар

  • , қайда болып табылады Хопф картасы.

Мұны байқау арқылы көрсетуге болады Hopf өзгермейтін изоморфизмді анықтайды және картаның кофибрінің когомологиялық сақинасын нақты есептеу .

∞-топоидтарға арналған қосымшалар

Естеріңізге сала кетейік, ∞-топоид болып табылады - санат жалпылау топоидтар деректерін кодтауға арналған гомотопия түрі туралы алгебралық формализмде. Заттар кеңістіктегі нүктелер болып табылады , морфизмдер - нүктелер арасындағы жолдардың гомотопиялық кластары, ал жоғары морфизмдер - бұл нүктелердің жоғары гомотопиялары.

Whitehead өнімнің болуы - бұл ұғымды анықтаудың басты себебі ∞-топоидтар осындай талапты міндет. Кез келген қатаң ∞-топоидты екендігі көрсетілді[1] тек ұсақ сарғыш өнімдері бар, сондықтан қатаң группоидтар сфералардың гомотопиялық түрлерін ешқашан модельдей алмайды .[2]

Сондай-ақ қараңыз

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

  1. ^ Браун, Рональд; Хиггинс, Филипп Дж. (1981). «∞-топоидтар мен қиылысқан комплекстердің эквиваленттілігі». Cahiers de Topologie et Géométrie Différentielle Catégoriques. 22 (4): 371–386.
  2. ^ Симпсон, Карлос (1998-10-09). «Қатаң 3-топоидтардың гомотопиялық түрлері». arXiv:математика / 9810059.