Date: 2016-01-30 09:27 pm (UTC)
From: [identity profile] oskar-808.livejournal.com
Не думаю, что это корректное сравнение. Разница между тем, чтобы научиться применять математическую теорему, и самостоятельно ее доказать (если она раньше не была доказана), примерно такая же, как разница между тем, чтобы научиться пользоваться стиральной машиной, и самостоятельно её создать/сконструировать.

Date: 2016-01-30 09:37 pm (UTC)
From: [identity profile] posic.livejournal.com
Это верно, но откуда взялось "самостоятельно доказать"? Речь по ссылкам идет об изучении какого-то уже известного материала, а не о создании нового.

Date: 2016-01-30 09:46 pm (UTC)
From: [identity profile] oskar-808.livejournal.com
Просто, на мой взгляд, целью изучения известного материала является достижение способности самостоятельно производить новый (если речь идёт о математике). Если же целью является просто узнать всё, что есть, но не быть способным сделать хоть что-то новое - то да, приведённый по ссылкам метод вполне годится.

Date: 2016-01-30 09:54 pm (UTC)
From: [identity profile] posic.livejournal.com
Согласен, да. Конечно, читать тексты необходимо. Так же, как и решать задачи и упражнения (т.е., пытаться что-то доказывать, хотя бы даже хорошо известное).

Date: 2016-01-31 03:58 am (UTC)
From: [identity profile] akor168.livejournal.com
Проблема в том, что в математике растет и растет объем того, что самостоятельно изучить по сути невозможно. При этом без этого изучения понятно также невозможно сгенерировать что-то новое.
From: [identity profile] qui-vadis.livejournal.com
Пусть \phi морфизм свободных модулей. Комплекс Eagon-Northcott это резольвента для идела Фиттинга \phi (ака идеала максимальных миноров для матрицы задающей \phi в каких-то базисах). А какая резольвента у идеала ann.coker(\phi)?
т.е. аннигилятор коядра \phi.
(Хотя бы keywords, где искать)

From: [identity profile] posic.livejournal.com
Увы, я совершенно ничего об этом не знаю. Навскидку придумать что-нибудь -- тоже, вроде не придумывается. Вы не пробовали на MathOverflow спрашивать?
From: [identity profile] posic.livejournal.com
Я не думаю, что в таком виде вопрос имеет ответ. Что такое, вообще, аннулятор модуля, с гомологической точки зрения? Непонятно.

Скажем, аннулятор прямой суммы двух модулей -- это пересечение аннуляторов двух слагаемых. Как построить резольвенту пересечения двух идеалов I ∩ J (если, скажем, даны резольвенты I и J)? Никак не построить.

Но вы спросите на MathOverflow. Кто-то там, может быть, что-то слыхал и подскажет какие-нибудь keywords (которых я в данном случае не знаю совсем).
From: [identity profile] qui-vadis.livejournal.com
я спросил:
http://mathoverflow.net/questions/229506/on-the-generic-modules-of-finite-length-skyscrapers

(там более "узкие" вопросы)
пока что нет ответа. Хотя всякими матрицами линейных форм кто только не занимался.
From: [identity profile] posic.livejournal.com
Да. Лучше бы сделать из этого два вопроса, наверное. Развернув так, чтобы людям захотелось в это вчитаться (объяснить термины, дать ссылки и т.д.)

Но это общая проблема, я уж знаю. Большинство математиков не умеют задавать вопросы и не знают, кому их надо задавать. Я тоже не всегда умею и знаю. Стоит за этим -- неспособность отделить свою (т.е. ключевую) часть работы, которую никто другой не сделает, от той, в которой можно ожидать помощи со стороны. Нехватка образования, в конечном итоге, да.
From: [identity profile] qui-vadis.livejournal.com
Вроде вопрос не технический, а вполне общий. И явно изрядно потоптанный. Я всего лишь ссылок прошу (а также: как эти вещий сегодня называются?)
From: [identity profile] posic.livejournal.com
А почему вы думаете, что он потоптанный? И кем?
From: [identity profile] qui-vadis.livejournal.com
Небоскрёбы это простейший вид модулей/пучков. (Не самый интересный, но самый лёгкий в работе.) Так что этот вопрос должны были "окончательно закрыть" ещё где нибудь в середине 20 века.
From: [identity profile] posic.livejournal.com
То есть конкретных имен людей, которые занимаются близкими вещами и могли бы что-то подсказать, вы не знаете, работ их не видели, что им может быть интересно, себе не представляете, сформулировать вопрос на MO так, чтобы привлечь их внимание, вам не удается.

Ну, хорошо. Есть, действительно, такая область деятельности -- гомологическая коммутативная алгебра, гомологическая теория коммутативных колец. Вот примеры работ по этой тематике:

http://arxiv.org/abs/1208.4458
http://arxiv.org/abs/1407.4445
http://arxiv.org/abs/0903.0771

Вам что-нибудь говорят имена этих авторов? Можете почитать эти работы и попытаться все-таки сформулировать вопрос в форме, которая показалась бы таким людям осмысленной и привлекательной? После этого вы могли бы попробовать с кем-нибудь из них связаться.
From: [identity profile] qui-vadis.livejournal.com
Могу назвать сколько-то людей. Но:
1. Их неудобно беспокоить по такой ерунде. (Потому-что вопрос от моей безграмотности.)
2. Большинство из них скорее всего не ответят.

Поэтому я и написал в MO.

>>Можете почитать эти работы...
Это всегда полезно, но я собственно не хотел влезать в эту тему. Мне просто нужен попользоваться их результатами.


В любом случае, большое спасибо

Profile

Leonid Positselski

January 2026

S M T W T F S
     12 3
4 567 89 10
11 12 1314 151617
1819 2021 222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 23rd, 2026 05:05 am
Powered by Dreamwidth Studios