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

	deevrod 2017-01-27 03:18 (ссылка)
	> Гротендика Образец, кстати, математика, который ничего особо не доказал, а мисконцепций насадил мама не горюй. То есть для функционального анализа он оказался, наверное, благодетелем (я не знаю толком этой науки), а в остальных областях его деятельность оказалась в дальней перспективе совершенно деструктивной. (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth 2017-01-27 03:24 (ссылка)

нихуя тащемта, а даже и наоборот Гротендик есть явление чрезвычайное и, может быть, единственное явление бурбакизма: это Бурбаки в его развитии, в каком он, может быть, явится чрез двести лет. В нем природа Бурбаки, душа Бурбаки, язык Бурбаки, характер Бурбаки отразились в такой же чистоте, в такой очищенной красоте, в какой отражается ландшафт на выпуклой поверхности оптического стекла. (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 04:06 (ссылка)

Твои бурбаки говно и пидоры и источник всего говна и всех пидоров. Если ты идешь по коридору слышишь доклад про мотивы, знай: это фанат бурбаков. Если тебя затрахал и заебал гнетущий совковый бред, инварианты Громова-Виттена, волл-кроссинг и миррор-симметри - будь благодарен бурбакам, вырастившим на навозе в Монпелье всю эту братию, поэтому иди и отсоси у них чтобы по щекам текло. Если наконец на матоверфлоу ты встречаешь абсолютно овцеголового и от рождения закостенелого юзера и фаната нкатлаба, будь уверен: это ебаное бурбакистское быдло, до которого не дотянулись арнольдисты. Поэтому ты мудак, мудак и белая обезьяна и со своими сраными бурбаками не слезешь с березы НИКОГДА. Ведь это пиздец, пиздец, пиздец, в двадцать первом веке мерять мир бурбакистскою мерою и носить в жопе бурбакистские мозги из отрубей и даже мысли не помыслить, что это говно и что говно должно быть уничтожено! Вся мировая история прошла мимо тебя напрасно, сраный дебил! (Ответить) (Уровень выше) (Ветвь дискуссии)

	negativ 2017-01-27 04:38 (ссылка)
	Чё-то вы разошлись сегодня. Миша относительно недавно как раз проходился в довольно положительном смысле насчёт комбинаторно-аналитических непафосных наук, типа Терри Тао и прочее такое. (Ответить) (Уровень выше) (Ветвь дискуссии)

	polytheme 2017-01-27 04:47 (ссылка)
	Так это копипаста наверняка. Родион мальчик из хорошей семьи, у него постмодернизм вместо сердечной мышцы. (Ответить) (Уровень выше) (Ветвь дискуссии)

	negativ 2017-01-27 04:54 (ссылка)
	Ну ладно, а то я уж подумал. что бездушные схемы Мавроди зажевали последние мятые рубли без никакого выхлопа и человек расстроился. (Ответить) (Уровень выше)

	deevrod 2017-01-27 05:08 (ссылка)
	Копипаста, да. https://lj.rossia.org/users/tiphareth/1229211.html?replyto=33291419 (Ответить) (Уровень выше) (Ветвь дискуссии)

negativ 2017-01-27 05:35 (ссылка)

— Всем фанатам «Коррозии металла» и КТР я советую заниматься хозяйством, например. Допустим, во многих деревнях есть пустующие дома, которые можно купить за 20-30 тыс. рублей, например, и там можно открыть маленькую птицеферму, там есть сады, так что можно варить дикое количество варенья или делать вискарь. Если вы поедете на полуостров Крым и зайдете с заднего входа на винный завод, например, или на местный вино перерабатывающий завод, то вы сможете купить небольшую портвейновую бочку. Если привезете ее в Москву, то в этих портвейновых бочках можно отстаивать самогон, получится качественный вискарь, который во время финансового кризиса вы сможете продать и заработать деньги и самим пить качественный напиток. Это раз. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 06:25 (ссылка)
	Хорошая идея. Будет, чем после PhD заняться. (Ответить) (Уровень выше)

kaledin 2017-01-27 04:14 (ссылка)

Все доказал, более-менее (ну все, что на тот момент стоило внимания). Кое что только сформулировал, но оно реально сложное, лет 20 еще продержится, а то и до полного сдвига парадигмы. И recoltes et semailles хорошие -- вон как сразу видно ментально неустойчивых идиотов. Т.е. Миша наверно не согласится, но у меня лично математика, которой не занимался Гротендик, вызывает такие же чувства, как вонючие портянки. >в остальных областях его деятельность оказалась в дальней перспективе совершенно деструктивной Это 100% верно, но с точностью до наоборот. Где был Гротендик, там ок еще, где не было, тьма, ужас, и скрежет зубовный. Под водовку и картофанчик. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 04:22 (ссылка)
	Ты занимаешься циклическими гомологиями. Гротендик, слава Богу, их не тронул -- не приходится хотя бы слушать напыщенных идиотов, рассказывающих про 'некоммутативную геометрию' в таких масштабах, в каких про 'стэки'. И на том спасибо. (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 04:29 (ссылка)

Я занимаюсь K-теорией, циклические гомологии это паллиатив. K-теорию целиком придумал Гротендик. Атья пытался ее увести, но не особо удачно. >не приходится хотя бы слушать напыщенных идиотов, рассказывающих про 'некоммутативную геометрию' в таких масштабах, в каких про 'стэки' Ну, лично мне точно не приходится -- я просто прихожу и вслух говорю, что они идиоты; comes with grey hair, you know. Но тоже отличный тест, кстати -- если про кого-то говорят, что он/она "новый Гротендик", то а. личность и деятельность сомнительная, и б. говорящий на грани выживания из ума (или находится в состоянии временного помутнения рассудка). No exceptions whatsoever. (Ответить) (Уровень выше) (Ветвь дискуссии)

	polytheme 2017-01-27 04:44 (ссылка)
	Про Шольце такое говорили (и наверняка будут ещё говорить - он всё-таки очень молодой) довольно массивно; вот прямо буквально чтобы новый Гротендик - не помню, а что в будущем перфектоиды будут изучать вместо теории схем - вполне. Но разве он сомнительная личность ? (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 04:57 (ссылка)
	>в будущем перфектоиды будут изучать вместо теории схем Не будут. И говорят так идиоты. >Но разве он сомнительная личность ? Вроде нет (хотя я мало пересекался, в мае буду больше). Но он молодой еще, и много что придумает. А то, что про него говорят, на его деятельности как-то не отражается. (Ответить) (Уровень выше)

deevrod 2017-01-27 05:16 (ссылка)

> я просто прихожу и вслух говорю, что они идиоты Дедушка старый, ему всё равно. У меня проблема не с этим, на самом деле, а с тем, что мне очень тяжело слушать про сущности, не возникающие с необходимостью, а единственным оправданием введения которых постулируется желание что-либо 'обобщить' (на общность, про которую противоестественно предполагать, что обобщение на неё будет иметь смысл). Например, про этальные когомологии, столь популярные в Москве, я так ничего и не узнал. На фоне того, что у остальных таких проблем нет, у меня прогрессирует комплекс неполноценности, приходится отвлекаться на всякую ерунду и т. д. Сейчас, видимо, очередной приступ. (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 05:51 (ссылка)

>мне очень тяжело Кому угодно тяжело; ты описал классический пример хуевой математики. А про этальные когомологии тебе просто плохо обьясняли. Там есть несколько очень прозрачных и милых базовых идей, а сама конструкция имеет конкретную цель. Т.е. оно возникло не как попытка тупо обобщить, а ровно обратным процессом. При этом оно все равно затычка некоторая, многое там висит на совершенных соплях, и если пытаться начертить, with hindsight, прямой путь от первых принципов к гипотезам Вейля, то этальных когомологий там не будет. Само собой, это я про базовую теорию. Когда этальные когомологии начинают применять там к геометрическому ленглендсу или что, я затыкаю уши и думаю о приятном. Конечно, есть науки с еще худшим количеством жаргона и птичьего языка, но и в этой мне его хватает вполне. (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 06:20 (ссылка)

Тогда выходит, что этальные когомологии являются всего лишь отмычкой для гипотез Вейля (и ещё каких-то задач -- якобы слабая теорема Морделла -- Вейля с ними проще доказывается, но я ничего не знаю и не поручусь). Когда я спрашивал у Богдана Завьялова, верно ли это, он мне очень пламенно возражал, и говорил, что в них уйма сути. В любом случае, если они лишь инструмент, то им уделяется непропорционально много внимания, и изобретение их Гротендиком подходит именно под моё изначальное утверждение: задачу-то ими решили, году в 1968, а с тех пор оно расплодилось в геометрический ленглендс. (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 07:21 (ссылка)

>изобретение их Гротендиком подходит именно под моё изначальное утверждение Это как? >задачу-то ими решили, году в 1968 Окончательно году к 75му (Weil II Делиня), но остались стандартные гипотезы, которые гроб. Везде, где изучается группа Галуа, по любым причинам, этальные когомологии полезны. Что до того, что откуда расплодилось, ну чудно, а Гротендик-то причем? Оно бы расплодилось в любом случае, энтропия растет, людям нужно масло и хлеб. Историю вопроса с ленглендсом я изучал, кстати (помимо своей воли -- меня как-то раз Финкельберг заставил читать курс про модулярные формы). Видно, что это было несколько жутко красивых идей/наблюдений, и казалось, что вот сейчас оно все получится -- ну году так в 72. Но не хватило, увы. А дальше получилась индустрия. (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 07:43 (ссылка)

Энтропия энтропией, людям всегда есть хотелось, но всегда ли они зарабатывали на хлеб плохой математикой с такой беспочвенной претенциозностью? Или раньше было так же, а я просто чего-то не знаю? Гротендик написал книгу 'Урожаи и посевы'. Лично у меня она ассоциируется с воспоминаниями битых нацистских генералов, в которых те с обильными жалобами объясняли, почему они должны были победить. Мне казалось, что надежда на стэки как панацею происходит именно из неё. В любом случае, дурацкий принцип 'математику не открывают, а придумывают', который служит оправданием всех бессмысленных 'обобщений', происходит именно от бурбаков, а легитимизировал окончательно его Гротендик. (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 07:49 (ссылка)

>а легитимизировал окончательно его Гротендик В принципе, если есть кто-то, чья деятельность противоречит этому принципу на 200%, то это именно Гротендик. Что ты там вычитал в урожаях с посевами, я уж не знаю, но но все-таки можно бы и судить о человеке по его деятельности, да? а не по полуграфоманским сочинениям, написанным на старости лет. >но всегда ли они зарабатывали на хлеб плохой математикой с такой беспочвенной претенциозностью Да. (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 08:07 (ссылка)

Чтобы ознакомиться с его деятельностью, для начала нужно ознакомиться с её результатами. Не получилось, хоть я и пытался -- не смог взаимодействовать ни с одним из носителей этого знания, по причинам, изложенным выше, а одному читать мануалы -- заведомо бестолковое занятие. Глупо в этом винить Гротендика, конечно, но я и писал изначально про долгосрочную перспективу и про наследие. (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 08:48 (ссылка)
	Ну я носитель. You just had to ask. (Ответить) (Уровень выше)

	shrapnel 2017-01-27 08:04 (ссылка)
	А что за "надежда на стэки как панацею"? Мне кажется, что стэки сейчас объект совершенно мирской, без всяких священных надежд, к ним обращённых. Ну возникают они, когда хочется пространство модулей чего-нибудь построить, и никуда не деться. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 08:09 (ссылка)
	А зачем их строить? Ну то есть коли строится -- то пускай, а коли нет -- зачем себя мучать? (Ответить) (Уровень выше) (Ветвь дискуссии)

	shrapnel 2017-01-27 08:23 (ссылка)
	Для чего-то вообще не строится (модули над кольцом), тогда никто специально и не мучается. Но если для кривых или модулей расслоений на кривых единственная проблема оказывается в лишних автоморфизмах, и об одно и то же место постоянно спотыкаются, то научиться с этой проблемой приемлемо разбираться -- чистая прагматика. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 08:28 (ссылка)
	Как это никто? Целый нкатлаб. Для кривых лишних автоморфизмов дискретно много, особых трудностей это не вызывает. Но орбифолды не вызывают у народа никакого трепета, в отличие от стэков. (Ответить) (Уровень выше) (Ветвь дискуссии)

	shrapnel 2017-01-27 08:34 (ссылка)
	Всё-таки не все вещи цветут на нкатлабе, и соорудить пространство модулей пучков на аффинной схеме там, кажется, никто не пытается. Я не эксперт по нкатлабу, конечно, но не сталкивался. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 08:44 (ссылка)
	Если ты не эксперт, то, боюсь, никто тут не эксперт. (Ответить) (Уровень выше)

	kaledin 2017-01-27 08:49 (ссылка)
	>Как это никто? Целый нкатлаб. Родион, это никто. Уж извини. Но ты теперь вроде как аспирант, пора тебе знать реальное положение вещей... (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 08:53 (ссылка)
	По моим ощущениям, тут где-то четверть народа из студентов по крайней мере к нему прислушивается. В Москве гораздо больше. (Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - kaledin, 2017-01-27 08:57:40

(без темы) - deevrod, 2017-01-27 09:03:27

(без темы) - kaledin, 2017-01-27 10:17:51

	tiphareth 2017-01-27 08:29 (ссылка)
	для кривых стеков не надо, можно обойтись орбиобразиями а для изучения деформаций расслоений стеки совершенно неполезны (по крайней мере я не видел внятных применений) стеки реально нужны для обсчитывания GW-инвариантов, но это чисто счетный вопрос (Ответить) (Уровень выше) (Ветвь дискуссии)

shrapnel 2017-01-27 09:38 (ссылка)

Ну да, ничего шокирующего представимость в виде стэка так сразу не даст. Я и не утверждал этого, даже наоборот -- интересовался, что за надежда на стэки как панацею, когда это обыденный объект. Если речь шла именно о том, что кто-то доказал, что расслоения складываются в стэк, когда очевидной пользы от этого не было -- ну, я бы по крайней мере не называл это поклонением стэкам, утверждение как утверждение. Может и пригодиться кому-нибудь. (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 10:16 (ссылка)
	>ничего шокирующего представимость в виде стэка так сразу не даст Даст разумеется -- возможность хотя бы определить, а если повезет то и вычислить, его когомологии. Где и живут все инварианты, пришедшие из физики, от Дональдсона и дальше. (Ответить) (Уровень выше)

tiphareth 2017-01-27 08:18 (ссылка)

>и никуда не деться проблема в том, что стек это не пространство, а функтор, и разговор о стеках как пространствах модулей является тавтологией: пространство модулей есть пространство, которое представляет деформационный функтор, а стек это и есть сей функтор. исключение - стеки Делиня-Мамфорда (ака орбиобразия), это, наоборот, очень удобные вещи с массой применений безотносительно к деформациям (Ответить) (Уровень выше) (Ветвь дискуссии)

	shrapnel 2017-01-27 08:32 (ссылка)
	У (артинового) стэка кроме тавтологии ещё и атлас есть, без которого смысла действительно маловато. (Ответить) (Уровень выше)

tiphareth 2017-01-27 08:14 (ссылка)

>происходит именно от бурбаков тупейшая хуйня http://www.tau.ac.il/~corry/publications/articles/pdf/bourbaki-structures.pdf As already stated, members of Bourbaki consistently declared themselves first and foremost to be “working mathematicians”, and their actual views concerning philosophi- cal or foundational issues is perhaps most frankly expressed in the following quotation of Dieudonné: On foundations we believe in the reality of mathematics, but of course when phi- losophers attack us with their paradoxes, we run to hide behind formalism and say: “Mathematics is just a combination of meaningless symbols” and then we bring out chapters 1 and 2 [of the Eléments] on Set Theory. Finally we are left in peace to go back to our mathematics and do it as we have always done, working in something real. (Dieudonné 1970, 145) This position of “Platonism on weekdays and formalism on Sundays”, which is so widespread among working mathematicians, becomes especially worthy of attention in the case of Bourbaki. It has been claimed elsewhere that such a position is untenable as a consistent philosophical account of mathe- matics, since it involves both logical inconsistency and a distorted description of the actual doings of the mathematician. 56 Nevertheless, it is an accepted image of mathematics, that has at least helped many a twentieth-century math- ematician confer some meaning to his own scientific work. This seems to be the case as well for Bourbaki. It may come as a surprise that, while raising the banner of rigor and parsi- mony in mathematics, Bourbaki was willing to adopt the above-mentioned philosophical position without any reluctance. It is not a criticism of Bour- baki’s philosophical sophistication, or lack of it, which concerns us here but rather the question, how is the elaboration of the theory of structures con- nected with Bourbaki’s images of mathematics. The above-described mixture of a declared formalist philosophy with a heavy dose of actual Platonic belief is illuminating in this regard. The formalist imperative, derived from that ambiguous position, provides the necessary background against which Bour- baki’s drive to define the formal concept of structure and to develop some immediate results connected with it can be conceived. The Platonic stand, on the other hand, which reflects Bourbaki’s true working habits and beliefs, has led the very members of the group to consider this kind of conventional, for- mal effort as superfluous. Indeed, of all the apparatus developed in the first book of the treatise following that formalist imperative, only feeble echoes appear in the other volumes, where Bourbaki’s real fields of interest are devel- oped. (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 08:25 (ссылка)

> we run to hide behind formalism and > say: “Mathematics is just a combination of meaningless symbols” Вот оно и есть. Что они не применяли этот принцип на практике, неудивительно, они были хорошими математиками. Его и Ю. И. Манин на практике не применяет, хотя и декларировал (вероятно, в качестве издевательства над Арнольдом). А последующие поколения уже перешли от слов к делу. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-27 08:34 (ссылка)
	>А последующие поколения уже перешли от слов к делу. да нет, я общался с математиком, который ныне возглавляет Бурбаки никаких "combination of meaningless symbols” у него нет, занимается вполне внятными вещами типа p-адической динамики, пространств Берковича и те де, никаким нкатлабом и не пахнет (Ответить) (Уровень выше) (Ветвь дискуссии)

deevrod 2017-01-27 08:42 (ссылка)

Последующие поколения математиков, не бурбаков. В трудов семинара Бурбаки-то довольно много интересного. Хотя, может, вне России оно восходит не к 'Урожаям и посевам', а к чему-нибудь другому. Но в России оно точно именно оттуда: мой бывший сосед В. Б. был адским фанатом бурбаков, Гротендика и Манина, и занимался чем-то типа нкатлаба (сейчас перестал, кажется). (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 08:56 (ссылка)

>Последующие поколения математиков, не бурбаков. Последующие поколения нематематиков. Если тебе так уж хочется кого-нибудь обвинить, вини Дринфельда. В смысле, Майк Хопкинс и иже с ним естественно, но у них не получилось бы без одобрения Дринфельда, который таки гений (ну в топ-10 математиков входит уже лет 40, например, ну и вообще, гений). Почему Дринфельд одобрил, у меня есть какое-то плохо вербализуемое понимание, но не факт, что верное, и в любом случае это неважно. Достаточно отметить, что у Дринфельда очень нетривиальный характер. Я например не раз и не два слышал, как он жаловался, что математика ему надоела и его утомляет. При этом он в некотором смысле просто врал, а в некотором -- абсолютно нет. Так бывает. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 09:06 (ссылка)
	> нематематиков Тебе-то, with your grey hair, легко говорить. А я нет никто, и правда временами переживаю оттого, что их не в состоянии понять. (Ответить) (Уровень выше)

deevrod 2017-01-27 10:04 (ссылка)

А всерьёз обвинять я никого не собирался. Просто у меня в голове сложилась некоторая картинка, которую я и протестировал, изложив тут. Я даже, наверное, сознавал, что она едва ли имеет много общего с действительностью, и что, в лучшем случае, можно было бы написать альтернативно-исторический роман с таким сюжетом. Но не протестируй я её, рано или поздно я бы в ней убедился, и было бы скверно. А где мне её ещё тестировать, не неся репутационных издержек? Обвинять же Дринфельда даже в такой литературной форме мне совсем не хочется: всё, что я знаю про его деятельность, мне интересно, а нкатлаболюбивая публика относится к нему скорее скептически. Тем более, если у него нетривиальный характер: таких людей грешно в чём-либо обвинять. (Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - kaledin, 2017-01-27 10:12:08

(Комментарий удалён)

	deevrod 2017-01-27 22:03 (ссылка)
	По итогам этой нити я усвоил для себя математическое утверждение. Не начни я её, так и остался бы при своих убеждениях, отчасти ошибочных. А что позорище -- не этот раз первый, не этот последний. (Ответить) (Уровень выше)

tiphareth 2017-01-27 07:35 (ссылка)

этальные когомологии ничем не отличаются от когомологий Чеха. Когомологии Чеха считают что положено, потому что нерв покрытия шарами, если все пересечения шары, слабо гомотопически эквивалентен топологическому пространству. Этальные когомологии считают, что положено, потому что нерв покрытия K(\pi, 1)-ами и их накрытиями, если все пересечения тоже K(\pi, 1)-ы, слабо гомотопически эквивалентен топологическому пространству. Это топологическая теорема, которая доказывается весьма просто (есть несколько доказательств, с пучками и без), но она объясняет, что этальные когомологии ничуть не лучше и не хуже, чем Чеха, имеют точно такую же топологическую природу, и вообще не нуждаются в алгебраической геометрии, чтобы их развивать. (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 07:46 (ссылка)

>этальные когомологии ничем не отличаются от когомологий Чеха. Не, надо скрестить их с когомологиями групп (потому что локально у тебя только K(\pi,1), а не стягиваемое пространство). >вообще не нуждаются в алгебраической геометрии, чтобы их развивать. Только непонятно, нахуя. Единственный смысл этальных когомологий в том, что они работают в алгебраической ситуации -- а бонус это что они скрещиваются естественным образом с когомологиями Галуа. (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth 2017-01-27 08:26 (ссылка)

>Только непонятно, нахуя. из педагогических соображений же, чтоб люди не имели когнитивного диссонанса что этальные когомологии это дескать очень трудно ничуть не труднее чеховских кроме того, это позволяет точно указать место, где теряется информация при переходе от обычного гомотопического типа к алгебро-геометрическому этальному (проконечному в смысле) >Не, надо скрестить их с когомологиями групп не надо, ты просто берешь категорию всех накрытий твоих K(\pi, 1) и ее нерв, он целиком аналогичен чеховскому когомологии групп там естественно уже захованы в категорию накрытий самого K(\pi, 1), но проще их оттуда не доставать (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 08:45 (ссылка)
	>ты просто берешь категорию В этом и состоит скрещивание. Тебе оно кажется даже не заслуживающим отдельного упоминания, а хрен бы кто из классиков топологии это придумал. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-27 12:38 (ссылка)
	есличо, я эту науку изучил из лекций Салливана, переведенных Фуксом вполне себе классики топологии, и тот и другой (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 22:38 (ссылка)
	"Классики" здесь Чех там, Александер, вот это вот. Изложить уже придуманное это само собй, но это другая история. (Ответить) (Уровень выше)

	tiphareth 2017-01-27 12:39 (ссылка)
	("переведенных" довольно творчески, подозреваю, что там Фукс половину от себя дописал) (Ответить) (Уровень выше) (Ветвь дискуссии)

	polytheme 2017-01-29 06:15 (ссылка)
	а не скинешь ссылку ? (Ответить) (Уровень выше)

	kaledin 2017-01-27 08:47 (ссылка)
	>из педагогических соображений же, Это конечно. И второй важный момент -- что у тебя не просто K(\pi,1), а произведение K(\pi,1) со свободным \pi. Только из-за этого когомологии проконечного пополнения имеют какое-то отношение к проконечному пополнению когомологий. Мне в свое время Бейлинсон объяснил, заняло ровно три минуты, а счастье на всю жизнь. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-27 12:34 (ссылка)
	строго говоря, не свободные, а расширение свободных (итерированное расслоение со слоем кривая и базой кривая) но это не нужно совершенно, то есть если у тебя покрытие K(\pi, 1)-ами и все пересечения такие, этого достаточно для гомотопической эквивалентности нерва покрытия и самого пространства для проконечного пополнения, само собой (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 22:36 (ссылка)

>есть если у тебя покрытие K(\pi, 1)-ами и все пересечения такие, >этого достаточно для гомотопической эквивалентности нерва покрытия >и самого пространства Проблема в том, что ты получаешь проконечное пополнение, которое к тому, что ты хочешь, относится мало и непонятно как. Но поскольку у открытых кривых фундаментальная группа свободная, то все ок: получается просто проконечное пополнение обычных когомологий. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-28 02:09 (ссылка)
	угу, точно (только не свободные, а расширения свободных со свободными, свободные это в dim=1) (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-28 05:00 (ссылка)
	>свободные это в dim=1 Да, конечно; но равенство когомологий все равно проще доказывать сначала в (относительной) размерности 1, а потом по индукции. (Ответить) (Уровень выше)

	topos 2017-01-27 10:06 (ссылка)
	Я уж думал, речь была про какие-то более хитрые вещи от Гротендика, например дериваторы. А этальные когомологии — это как раз простая штука, и в арифметике без них никуда. (Ответить) (Уровень выше) (Ветвь дискуссии)

	deevrod 2017-01-27 10:11 (ссылка)
	Да зачем далеко ходить. (Ответить) (Уровень выше) (Ветвь дискуссии)

	topos 2017-01-27 10:24 (ссылка)
	Да плохой пример потому что: этальными когомологиями ради этальных когомологий на самом деле вряд ли кто занимается, но в "арифметической геометрии" они повсюду. Это примерно как говорить, что когомологии Галуа зря придумали. (Ответить) (Уровень выше)

	kaledin 2017-01-27 10:13 (ссылка)
	Да не додумал он про дериваторы, увы. А все, что про них потом делали, делали в стиле экзегезиса, и это мусор. Я знаю, я в совокупности год наверно убил, думая про дериваторы, и наверно еще сколько-то убью. Оно жутко привлекательно, но существенно недоделано. (Ответить) (Уровень выше)

	tiphareth 2017-01-27 07:25 (ссылка)
	Главное достоинство Гротендика (кроме его работ по функану) в том, что после того, как изобретено правильное определение, все теоремы становятся тавтологиями. Это тот идеал, к которому стремились Бурбаки, и в совершенном мире другой математики просто не будет. (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 07:50 (ссылка)
	>Это тот идеал, к которому стремились Бурбаки Ровно наоборот. В частности, Серр Гротендику на такой метод работы открытым текстом пенял, в письмах, и указывал, что в алгебре так не получится (и не получилось). (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth 2017-01-27 08:02 (ссылка)

Серр это в меньшей степени Бурбаки, чем, например, Дьедонне, или Вейль, https://en.wikipedia.org/wiki/Nicolas_Bourbaki#Dieudonn.C3.A9_as_speaker_for_Bourbaki или даже чем сам Гротендик, ну и у Бурбаки эта философия прямым текстом содержится большиство претензий к Гротендику изнутри группы Бурбаки состояли не в аксиоматическом методе, а в его излишней страсти к общим определениям, но тут они, конечно, правы http://www.math.columbia.edu/~woit/wordpress/?p=2334 скажем, топосы ни к чему, кроме ебаного стыда в виде карамеллы, доселе не привели, и не факт, что когда-либо приведут (Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin 2017-01-27 08:41 (ссылка)

>топосы ни к чему, кроме ебаного стыда в виде карамеллы, доселе не привели, и не факт, что когда-либо приведут Разумеется приведут; чуть ли не главное и самое неожиданное открытие Гротендика вообще. Просто рано еще. Лет через 20-30, да когда лучше поймут про природу вычислимости, да то, да се... Конкретная претензия Серра была к методу доказательства "путем затопления морем", когда просто доказываешь и определяешь кучу мелочей, уровень моря поднимается, и со временем затопляет недостижимые вершины. И даже не претензия, строго говоря, а замечание, что это работает не со всеми предметами, и конкретно с коммутативной алгеброй не сработает (что и получилось). Тут юмор в том, что Гротендик, по сути своей и темпераменту, вообще не был ни алгебраистом, ни геометром, а был он алгебраическом топологом (хотя формально, топологом был как раз Серр). Что думал Вейль, мы вряд ли узнаем, но судя по его деятельности и злобному характеру, метод затопления ему был еще менее близок. Дьедонне дело другое, и м.б. еще Картан, и хрен знает про Шевалле. Disclaimer: вышесказаное про Гротендика это я не придумал, а пересказываю публичную лекцию Демазюра (по-моему, совершенно замечательную, и очень точную -- правда, в конце он свалился в идиотскую апологию Воеводского, но что уж тут, ему 70+ лет, а Воеводский правда нечто сложное доказал). (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-28 02:11 (ссылка)
	>Конкретная претензия Серра была к методу >доказательства "путем затопления морем" это мудацкий метод, да у меня таким образом написана диссертация, глаза б мои на нее не глядели но велик он не этим, конечно (Ответить) (Уровень выше)

	topos 2017-01-27 11:00 (ссылка)
	Карамелла как пример не очень: она пришла из топосных логиков (аспирантка Джонстона), и с ними же потом посралась; в результате никто из тех, кто занимается топосами (в любом смысле и в любом виде), ее не поддерживает. Пришла к успеху благодаря поддержке Лаффорга. (Ответить) (Уровень выше)

topos 2017-01-27 22:16 (ссылка)

Кстати, Карамелло раньше выкладывала на свой сайт все подробности того, как она посралась с коллегами: http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html С тех пор она стала яблоком раздора между Лаффоргом и коллегами. Вот душераздирающий текст: https://www.laurentlafforgue.org/math/NoriMotivesInformation.pdf Там он даже обвиняет Картье в присвоении результатов Карамеллы. (Ответить) (Уровень выше) (Ветвь дискуссии)

	tiphareth 2017-01-28 02:31 (ссылка)
	мы это все видели вживую на ярославской школе http://bogomolov-lab.ru/SHKOLA2016/ зрелище было целиком душераздирающее (реклама плюс ошибки плюс рукомашество шопиздец), но в студенческих опросных листах Лафорг занял первое место с отрывом, после чего я понял, что делать в этой школе мне ничего больше не хочется, у них своя атмосфэра, и уволился из органайзеров нах (Ответить) (Уровень выше)

	deevrod 2017-01-27 07:59 (ссылка)
	То-то SGA постоянно переписывают. (Ответить) (Уровень выше) (Ветвь дискуссии)

	kaledin 2017-01-27 08:00 (ссылка)
	Это кто? дебилы небось какие-нибудь. (Ответить) (Уровень выше)

	topos 2017-01-27 10:12 (ссылка)
	Не-не, в Париже готовят комментированные переиздания SGA, и для тех же топосов и этальных когомологий SGA 4 до сих пор все читают. (Ответить) (Уровень выше)

	kaledin 2017-01-27 08:43 (ссылка)
	>кроме его работ по функану Кстати, как раз не кроме! Его главное достижение в функане было то, что он придумал клас пространств, для которых есть тензорные произведения (что само по себе сразу решило несколько открытых вопросов). Если что исключать, то алгебраические части EGA. (Ответить) (Уровень выше) (Ветвь дискуссии)

tiphareth 2017-01-27 12:44 (ссылка)

само собой, но там определение (а) таки хуевое и (б) не решающее никаких проблем само по себе вот скажем, схема это вещь, которая фундаментально проста, рассказывается за 10 минут (если знаешь про пучки) и тавтологически сама по себе решает сразу много проблем геометрии, а вот ядерное пространство это вещь фундаментально сложная и без плясков с бубном совершенно неполезная (есличо, я пытался читать про них лекции, это пиздец риальне, я сломался на подступах, где была всякая бочечность, борнологичность и так далее, и ими ограничился) (Ответить) (Уровень выше) (Ветвь дискуссии)

	polytheme 2017-01-29 06:22 (ссылка)
	вроде я где-то читал, что Энфло nuclear spaces хвалил за душеполезность и стимуляцию мыслей в правильную сторону; но это может быть вообще артефакт моей памяти (Ответить) (Уровень выше)

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