Homotopicky invariantní struktury v algebře
Cíle projektu
Teorie homotopicky invariantních struktur v topologii byla rozvinuta M Boardmanem a R. Vogtem v roce 1973. První systematický pokus vytvořit analogickou teorii pro algebraické struktury byl učiněn mnohem později, v roce 1999 v žadatelově článku "Homotopyalgebras are homotopy algebras". Metody tohoto článku byly již úspěšně aplikovány např. v Kontsevičově důkazu Delingeovy doměnky. Konkrétní cíle tohoto projektu jsou (1) formulovat a dokázat ideální homologické perturbační lemma pro komplexy s netriviální algebraickou strukturou, (2) dokázat, že silně homotopické algebry tvoří kategorii, a (3) studovat homotopie morfizmů silně homotopických algeber. Posledním cílem bude (4) položit základy teorie rezolvent PROPů popisujících různé typy bialgeber.
Klíčová slova
algebratopologymathematical physicshomological perturbation theorystrongly homotopy algebras
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Granty výrazně badatelského charakteru zaměřené na oblast výzkumu rozvíjeného v současné době zejména v AV ČR
Veřejná soutěž
Výzkumné granty 2 (SAV02002-AB)
Hlavní účastníci
Matematický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
Homotopy invariant structures in algebra
Anotace anglicky
The theory of homotopy invariant structures in topology was developed by M. Boardman and R. Vogt in 1973. The first systematic attempt to build up a similar theory for algebraic structures was made much later, in 1999 by the applicant in his paper "Homotopy algebras are homotopy algebras". Some of the methods of the paper have already been succefully applied, for example, in Kontsevich's proof of Deligne s conjecture. Concrete scientific aims of this project are (1) to formulate and prove an idealhomological perturbation lemma for chain complexes with nontrivial algebraic structure, (2) to prove that strongly homotopy algebras from a category and (3) to study homotopies between morphisms of strongly homotopy algebras. The last aim is (4) to outline a theory of resolutions of PROP s describing various types of bialgebras.
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Konstrukce rezolventy PROPu pro bialgebry. Formulace obecné teorie vyšších homotopických operací. Charakterizace homotopického typu volných prostorů smyček. Explicitní formule pro ideální perturbační lemma v kat. silně homotop. asociativních algeber.
Termíny řešení
Zahájení řešení
1. 1. 2002
Ukončení řešení
1. 1. 2003
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP/2004/AV0/AV04IA/U/N/3:2
Datum dodání záznamu
13. 10. 2004
Finance
Celkové uznané náklady
403 tis. Kč
Výše podpory ze státního rozpočtu
137 tis. Kč
Ostatní veřejné zdroje financování
266 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
403 tis. Kč
Statní podpora
137 tis. Kč
33%
Poskytovatel
Akademie věd České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 2002 - 01. 01. 2003