Значит так: есть такое понятие, которое придумал такой Aldo Conca и соавторы, "кошулева фильтрация" они его назвали. Авторская терминология мне активно не нравится, поскольку слово фильтрация само по себе означает вполне определенную вещь, а "кошулева фильтрация" фильтрацией вовсе не является. Не говоря о том, что кошулевыми фильтрациями я сам хочу называть совсем другие штуки. Так что лучше я буду говорить "кошулево семейство идеалов".
Aldo Conca со товарищи, конечно, работали в коммутативной ситуации. Теперь Дима П. объяснил, что такое кошулево семейство левых идеалов некоммутативной алгебры.
Теорема: если (некоммутативная) алгебра допускает кошулево семейство левых идеалов, то (она кошулева, а также) ее ряд Пуанкаре рационален. Идеалы, входящие в семейство, тоже кошулевы и их ряды тоже рациональны.
Аналогичным образом можно определить понятие кошулева семейства модулей. Кошулево семейство идеалов -- это (примерно) то же самое, что кошулево семейство циклических модулей. Тогда все модули в кошулевом семействе имеют, что называется, линейные свободные резольвенты. Если в кошулевом семействе модулей над кошулевой алгеброй размерности нулевых компонент ограничены константой, то ряды Пуанкаре таких модулей рациональны.
Следствие: если последовательность размерностей компонент кошулевой алгебры или кошулева модуля ограничена, то она периодична.
Результаты эти замечательны не только сами по себе. В их доказательстве я впервые (наконец-то!) вижу, как можно использовать теоремы конечности числа кошулевых рядов Пуанкаре (доказываемые деформационными методами) -- для доказательства рациональности таких рядов.
Литература: A. Conca, M. Rossi, and G. Valla. Groebner flags and Gorenstein algebras. Compositio Math., 129, p.95-121 (2001).
Aldo Conca со товарищи, конечно, работали в коммутативной ситуации. Теперь Дима П. объяснил, что такое кошулево семейство левых идеалов некоммутативной алгебры.
Теорема: если (некоммутативная) алгебра допускает кошулево семейство левых идеалов, то (она кошулева, а также) ее ряд Пуанкаре рационален. Идеалы, входящие в семейство, тоже кошулевы и их ряды тоже рациональны.
Аналогичным образом можно определить понятие кошулева семейства модулей. Кошулево семейство идеалов -- это (примерно) то же самое, что кошулево семейство циклических модулей. Тогда все модули в кошулевом семействе имеют, что называется, линейные свободные резольвенты. Если в кошулевом семействе модулей над кошулевой алгеброй размерности нулевых компонент ограничены константой, то ряды Пуанкаре таких модулей рациональны.
Следствие: если последовательность размерностей компонент кошулевой алгебры или кошулева модуля ограничена, то она периодична.
Результаты эти замечательны не только сами по себе. В их доказательстве я впервые (наконец-то!) вижу, как можно использовать теоремы конечности числа кошулевых рядов Пуанкаре (доказываемые деформационными методами) -- для доказательства рациональности таких рядов.
Литература: A. Conca, M. Rossi, and G. Valla. Groebner flags and Gorenstein algebras. Compositio Math., 129, p.95-121 (2001).
no subject
Date: 2002-02-15 02:32 pm (UTC)Ìîé óðîâåíü òàê ñåáå - ôèçìàòøêîëà, ïðàâäà, ëó÷øàÿ â Ïèòåðå, ïëþñ îáû÷íûé êóðñ ìàòåìàòèêè äëÿ ýêîíîìèñòîâ - èíòåãðàëû, ìàòðèöû, ëèíåéíîå ïðîãðàììèðîâàíèå, ñòàòèñòèêà, çà÷àòêè òåîðèè èãð. Áîëüøå íèêàêèõ çíàíèé íåò, äà è èç ýòèõ íå âñå íàõîäÿòñÿ â àêòèâíîì ñîñòîÿíèè.
no subject
Date: 2002-02-15 02:41 pm (UTC)no subject
Date: 2002-02-15 02:52 pm (UTC)no subject
Date: 2002-02-15 02:56 pm (UTC)no subject
Date: 2002-02-15 03:01 pm (UTC)no subject
Date: 2002-02-15 03:04 pm (UTC)no subject
Date: 2002-02-15 03:05 pm (UTC)no subject
Date: 2002-02-15 03:08 pm (UTC)no subject
Date: 2002-02-15 03:12 pm (UTC)no subject
Date: 2002-02-15 03:37 pm (UTC)Âñå âàðèàíòû ïðåäñòàâëåíû â òàáëè÷êå 5*5. Íî îäíîöâåòíûå â íåå ïîïàëè ïî îäíîìó ðàçó, à ðàçíîöâåòíûå - ïî äâà ðàçà. 5*5 - 4-3-2-1.
ßâíî íîðìàëüíàÿ ôîðìóëà âûãëÿäèò èíà÷å. 5+4+3+2+1. Ôàêòîðèàë.
no subject
Date: 2002-02-15 03:44 pm (UTC)no subject
Date: 2002-02-15 03:47 pm (UTC)no subject
Date: 2002-02-16 09:21 am (UTC)no subject
Date: 2002-02-16 09:38 am (UTC)no subject
Date: 2002-02-16 09:50 am (UTC)no subject
Date: 2002-02-16 10:42 am (UTC)no subject
Date: 2002-02-16 11:10 am (UTC)no subject
Date: 2002-02-16 08:05 am (UTC)1 + (÷èñëî öâåòîâ, ò.å., 5)*z + (÷èñëî íàáîðîâ èç äâóõ êàðàíäàøåé)*z^2 + (÷èñëî íàáîðîâ èç òðåõ êàðàíäàøåé)*z^3 + (÷èñëî íàáîðîâ èç ÷åòûðåõ êàðàíäàøåé)*z^4 + ... è ò.ä.
Çäåñü êàðàíäàøè â íàáîðàõ ìîãóò áûòü îäèíàêîâûìè, òàê ÷òî ÷èñëî êàðàíäàøåé â íàáîðå ìîæåò áûòü ëþáûì, òàê ÷òî ðÿä áåñêîíå÷åí. Óòâåðæäàåòñÿ, ÷òî ýòîò ðÿä ðàöèîíàëåí, òî åñòü ÿâëÿåòñÿ ÷àñòíûì äâóõ ìíîãî÷ëåíîâ îò z. Íà ñàìîì äåëå, îí äàæå ðàâåí åäèíèöå, äåëåííîé íà íåêîòîðûé ìíîãî÷ëåí ñòåïåíè 5.
Ïîïðîáóéòå ïðîâåðèòü ýòî â ñàìîì ïðîñòîì ñëó÷àå, êîãäà êîãäà êàðàíäàøíûõ öâåòîâ áûëî íå 5, à âñåãî 2.
no subject
ß, âðîäå, òèïà ìàòåìàòèê, à íè õ.ÿ â ýòîì íå ïîíèìàþ.
no subject
Date: 2002-02-17 02:52 pm (UTC)Äà íó ÷òî Âû!
Date: 2002-02-17 02:58 pm (UTC)Ïîæàëóé, íàñ òóò ìàëîâàòî äëÿ êîìüþíèòè ðó-ìàò (÷òî-òî â ýòîì åñòü ñòðóãàöêîå). Òàê ÷òî ïîñòèòå, ïîæàëóéñòà, â ëåíòó. Íó, ñ ëæ-êàòîì: êîìó íåèíòåðåñíî, íå áóäåò îòêðûâàòü.
Ñ óâàæåíèåì, Ôðàíöóçèê.
Re: Äà íó ÷òî Âû!
Date: 2002-02-17 03:44 pm (UTC)Ó ìåíÿ åñòü ãèïîòåçà, ÷òî ñòåïåííîé ðÿä -- ïðîèçâîäÿùàÿ ôóíêöèÿ ðàçìåðíîñòåé êîìïîíåíò A_i -- âñåãäà ðàöèîíàëåí (åñëè A àëãåáðà íàä ïîëåì A_0 ñ êîíå÷íîìåðíûìè êîìïîíåíòàìè). Åñòü òåîðåìà, ÷òî ïðè ôèêñèðîâàííîé ðàçìåðíîñòè A_1 ìíîæåñòâî âîçìîæíûõ òàêèõ ðÿäîâ äëÿ êîøóëåâûõ àëãåáð êîíå÷íî (ýòî íåòðèâèàëüíî, ïîñêîëüêó ðàññìàòðèâàåìûå àëãåáðû íåêîììóòàòèâíû -- äëÿ ïðîèçâîëüíûõ êâàäðàòè÷íûõ àëãåáð âñå ýòî àáñîëþòíî íåâåðíî).
Ëèòåðàòóðà: (1) Manin. Some remarks on Koszul algebras and quantum groups. Ann. Inst. Fourier, 1987. (2) Beilinson, Ginzburg, Soergel. Koszul duality patterns in representation theory. Journ. AMS, 1996.
Ëåíÿ.
no subject
Date: 2002-02-17 03:48 pm (UTC)Ôð,
Re: Äà íó ÷òî Âû!
interesno, a skol´ko-taki nas tuta?
Re: Äà íó ÷òî Âû!
Date: 2002-02-18 04:42 pm (UTC)Òàê èëè èíà÷å, íå âèæó ñìûñëà îðãàíèçîâûâàòü åùå îäíî ìåðòâîå êîìüþíèòè, Íî åñëè õî÷åøü çàíÿòüñÿ, ìîãó äàòü êîä.
Re: Äà íó ÷òî Âû!
Date: 2002-02-19 01:43 am (UTC)a mertvye communities - deistvitel'no skuchno
kto hochet - itak v dnevnikah pishut :-)
a
Re: Äà íó ÷òî Âû!
Date: 2002-03-03 10:09 am (UTC)Íàäî çàâåñòè friends groups...
Re: Äà íó ÷òî Âû!
Date: 2002-03-03 10:40 am (UTC)Ìîæíî áûëî áû ñîçäàòü êîììóíó ru_math, êàê òóò ïðåäëàãàëîñü, è ïîñòèòü òóäà ññûëêè íà ìàòåìàòè÷åñêèå çàïèñè â äíåâíèêàõ (íàïðèìåð). Åñëè åñòü òàêîå æåëàíèå.
Re: Äà íó ÷òî Âû!
Date: 2002-03-03 11:03 am (UTC)Re: Äà íó ÷òî Âû!
Date: 2002-03-03 11:21 am (UTC)no subject
Date: 2002-02-18 12:57 am (UTC)