Category: общество

Контрамодули, они повсюду

В алгебраической геометрии (контрагерентные копучки, называется*). В около-геометрической теории представлений групп и алгебр Ли в московском стиле (полубесконечная гомологическая алгебра, называется). В теории представлений когда-то-конечномерных-алгебр в европейском стиле (наклонно-конаклонное соответствие, называется). В коммутативной алгебре (очень плоская гипотеза, сильно плоские модули и т.д.) В теории ассоциативных колец и модулей (гипотеза Енокса, называется).

(*: Если кто такой скептик, что его не впечатляют ни контрагерентные копучки, ни даже слабо искривленные алгебры, можно оставить контрамодули и взять копроизводные категории. Матричные факторизации, называется.)

Мне приятна возможность поработать и сделать что-то нетривиальное в столь многих разных областях алгебраической части математики. Продолжая при этом заниматься все теми же самыми своими излюбленными вещами, которыми я занимаюсь все последние двадцать лет, а можно так посмотреть, что и почти тридцать. Но под разными соусами.

При этом от модных сюжетов у меня отталкивание. Когда я писал про матричные факторизации, я чувствовал потребность как-то оправдывать это занятие перед самим собой. Придумались два оправдания -- во-первых, я все-таки использовал выпавшую возможность не себя лично прорекламировать, а идеи свои. Все те же самые, которые я развивал задолго до. А во-вторых, некоторые задачи про матричные факторизации были просто хороши как задачи, и позволили мне отшлифовать мои техники работы с производными категориями второго рода, которые потом использовались в самых разных работах. Так или иначе, я написал две статьи про матричные факторизации (в соавторстве) и ушел оттуда.

И, уж конечно, никоим образом меня не могли и не могут заинтересовать предложения занять какую-то подчиненную роль в чужом проекте, следовать в фарватере той или иной звезды. Положение мое может быть сколь угодно непростым, и бывало очень непростым (и люди помогали мне, за что им спасибо), но я сам себе звезда и проект у меня в математике свой собственный. Я занимаюсь тем, что максимально способствует, на мой взгляд, его развитию.

Однако, в моем возрасте хочется уже общаться с людьми по науке. А не только год за годом стучать по клавиатуре, уткнувшись в свой монитор. Собственно, с годами это становится все более необходимым -- поскольку человек смертен, а даже самый лучший текст жив постольку, поскольку существует традиция его чтения. При этом я человек упрямый. Москвичи (кроме студентов) не заинтересовались контрамодулями -- и я уехал в Прагу. Здесь меньше конкуренции и больше потребности в сотрудничестве, и людям интересно то, что я имею предложить.

Contra motivation letters

Уж почти два месяца прошло, и я не уверен, что кто-нибудь понял, что я, собственно, хотел сказать этим постингом -- https://posic.livejournal.com/2001488.html . Так что я попробую высказаться более развернуто.

Несколько недель назад я имел беседу с одним замечательным математиком здесь в Праге, и речь почему-то зашла про motivation letters. Такое motivation letter мне пришлось писать как часть заявки на участие в конкурсе на позицию, где я сейчас работаю -- и меня это настолько огорчало, что я чуть было не отказался от подачи заявки. Только в последний момент сообразил, что написать в этом самом чертовом письме, чтобы выйти из положения.

Мой собеседник ответил мне: Motivation is important. Ну, разумеется! Я попытался сформулировать ответ в том ключе, что бюрократизация важных вещей не обязательно является полезной деятельностью. Мотивация -- это то, что у человека в сердце, а не то, что он написал в официальной бумаге.

The importance of motivation в наше время хорошо осознается широкой научной и околонаучной публикой. Люди любят разглагольствовать о своей мотивации в науке; и в особенности очень любят это делать люди, непредвзятый взгляд на которых неизбежно подскажет, что их истинной мотивацией является жажда славы и денег, а научная истина как таковая им глубоко второстепенна.

На поверхностном уровне обсуждения, я бы сказал, что the concept of motivation should be even applied to the activity of composing motivation letters. Мотивацией человека, составляющего официальную бумагу о своей мотивации для целей участия в конкурсе или подобном мероприятии, является достижение желаемых результатов мероприятия, типа получения позиции. Эта мотивация крайне далека от мотивации soul-searching для приближения к истине по вопросу, в чем на самом деле состоит мотивация автора.

Традиционные документы типа резюме и списка публикаций отражают объективные, наблюдаемые, проверяемые факты (даже если автор стремится представить их в наиболее выгодном для себя свете). Research statement -- это квазинаучный документ, который может быть подвергнут квазинаучной критике. Утверждения человека о его мотивации в большинстве случаев напрямую проверить, подтвердить или опровергнуть невозможно. Приглашение человеку поразглагольствовать о его мотивации в процессе приема на работу есть приглашение присочинить чего-нибудь, вообще говоря, весьма удаленное от всякой реальности.

Это поверхностный уровень обсуждения. Настоящая проблема состоит в том, что даже такой гипотетический аппликант, который максимально искренне и добросовестно задастся целью выяснить для себя свою мотивацию и рассказать о ней конкурсной комиссии, наверняка потерпит неудачу. Настоящая мотивация сокрыта от человека, и soul-searching eе не выявляет.

Выясняется она обычно с прошествием времени и накоплением наблюдаемого, проверяемого фактического знания о том, как человек выстроил свою жизнь, научную (или какую там) работу, карьеру и т.д. Какой выбор он сделал на тех или иных развилках, в поворотных точках. Это называется revealed preference, продемонстрированное предпочтение.

Каждый человек куда-то направляется и направляет куда-то свою жизнь, но он не знает и не может знать заранее, куда. Если он не погибнет по не зависящей от него причине прежде, чем успеет что-либо сделать, если у него будет получаться что-то внятное в какой-то из сфер жизни и деятельности и т.д. -- с годами он и другие узнают, куда он направлялся.

Понятие о жизненной стратегии человека имеет смысл, но это абстракция, аналитический инструмент наблюдателя или исследователя. Концептуальная рамка для осмысления фактической информации. Когда человек говорит "моя стратегия состоит в том, что...", он говорит о том, чего он знать не может. То, что он знает и о чем высказывается -- это не "стратегия", а намерения, текущие задумки и планы на будущее. Это могут быть обещания, даваемые самому себе или другим, например. "Если хочешь рассмешить Бога -- расскажи ему о своих планах".

Чтобы узнать, куда человек направляется, надо подождать и посмотреть, куда он приедет. Вернее сказать, куда ведет тут путь, который он выберет.

Скандал на StackOverflow

https://www.facebook.com/vguriev/posts/10156960899003305
https://www.facebook.com/dmelamud/posts/10157776656046462
https://www.facebook.com/posic/posts/3020093208005493

Постинг vguriev:

"на stackoverflow (это очень хороший сайт вопросов и ответов, изначально заточенный под программистов, но теперь про много что) мегадрама из-за местоимений.

все началось с того, что людям с нетрадиционным гендером не понравилось, что к ним часто обращаются, используя не те местоимения. и, в общем, они попросили использовать так называемое singular they, чтобы уж точно никого не обидеть.

тут внезапно подняли голову трансгендеры, которые сказали, что не для того они трансгендеры, чтобы к ним так обращались.

пока модераторы всех гендеров и мастей и администрация сайта обсуждали, какие изменения нужно внести в правила, в чат пришла модератор моника.

модератор моника — эмпатичный иудей.

ребят, сказала моника, а вы не против, если я буду формулировать так, чтобы мне не пришлось использовать ни singular they, ни эти ваши гендеры, я целиком на вашей стороне (э — эмпатия), но вас много, а я одна, я запутаюсь.

я же не обязана использовать ваши местоимения, если я не использую местоимения вообще, правда?

это оказалось слишком оскорбительно.

так что в ответ модератора монику просто выгнали из модераторов за нарушение правил, которые еще не вступили в силу.

более того, ее выгнали вечером в пятницу, перед довольно важным для иудеев днем, на который, кажется, еще пришелся и новый год.

с новым годом, моника!

а модераторы на сайте работают бесплатно, это просто волонтеры, и они немножко офигели.

и начали понемножку увольняться сами, потому что в гробу они это видели.

надо сказать, что представители LGBT+, с которых все и началось, к этому моменту немножко прифигели от происходящего и тоже начали с проклятиями валить.

чтобы у вас не сложилось ощущения, что во всем виноваты трансгендеры, давайте я скажу, что их тоже потрясла ожесточенность, с которой администрация начала бороться за их права, и к этому моменту они сидели тише воды, ниже травы.

тем временем директор по работе с сообществом дала интервью в сми, в котором рассказала, что администрация молодец, а модератор, которого выгнали, сам виноват.

модераторы начали валить быстрее. за несколько дней от модераторства отказалась чуть ли не сотня человек.

тут на сайте почувствовали, что что-то идет не так, и директор по работе с сообществом все-таки решила пообщаться с сообществом и написала пост, суть которого заключалась в том, что моника, конечно, сама виновата, и мы от своих принципов не отступим, но надо было выгнать эту неблагодарную тварь, которая бесплатно работала на сайте несколько лет, не в пятницу, а в понедельник. это было бы уважительно по отношению к ее религиозным правам.

удивительное дело, но все стало еще хуже.

сегодня, наконец, высказался директор по продукту, он же CTO, он же начальник директора по работе с сообществом.

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

с моникой непонятно, что будет, но выгнали ее не по правилам, так что они еще раз подумают и, возможно, выгонят теперь так, что комар носа не подточит, не волнуйтесь.

cto, судя по всему, еще не в курсе, что на этой неделе у иудеев еще один праздник, йом киппур.

жальче всего в этой ситуации нового ceo, который вышел на работу первого октября.

наверняка ему обещали, что это тишайшее место в интернете, просто программисты собрались и пишут что-то себе.

нормальная у чувака выдалась неделя.

и все, сука, из-за парочки местоимений."

dmelamud пишет:

"Комментарии не менее прекрасны ;)

А если серьезно, то всё это очень печально. Было очень удобно заниматься своим программированием и не разбираться во всяких социальных вопросах - просто автоматически присоединяться ко всему "либеральному" и "прогрессивному". А теперь демогоргон подрос, сожрал любимого котика, и собирается с друзьями устроить большое пиршество на развалинах города. И пленных они не берут."

Мой комментарий:

Это хорошо, что происходит абсурд. Без stackoverflow можно жить, хотя и грустно, а без свободы слова жить нельзя совсем никак. Поэтому чем более абсурдной эта ситуация будет становиться, и чем быстрее она будет становиться все более абсурдной, тем больше шансов, что порочность всей, так сказать, парадигмы будет в обозримой перспективе осознана, и что носителям ее будет даден подобающий отпор. В чем должен состоять такой отпор, я уже писал: антидискриминационное законодательство должно быть отменено. Это вынет фундамент из-под порочной конструкции.

Пять лет назад

11 сентября 2014 года я стал гражданином Израиля. Вернее сказать, в тот день я получил статус "нового репатрианта", оле хадаш. Гражданство после этого автоматически присваивается через три месяца (если новый репатриант не откажется от гражданства).

Найти постоянную работу в Израиле не получилось, но я провел прекрасные, очень продуктивные четыре года в Хайфе (за вычетом многочисленных разъездов), а перед тем еще немножко в Беэр-Шеве и других городах.

А теперь я живу с израильским паспортом в Праге.

Никого ни в чем убедить нельзя

и аргументы бесполезны -- вот, что показывает скромный опыт молодого человека. Если слова бесполезны, то молчаливая настойчивость бесполезна вдвойне -- вот, что показывает печальный опыт человека на склоне лет.

Столкнувшись с бесплодностью слов, обычно думаешь -- я не могу тебя сейчас переубедить, но я вижу лучше тебя. Я вижу дальше. Пройдут годы, я буду действовать, как считаю правильным, появятся результаты -- и ты убедишься, что я был прав.

Да, в каком-то смысле ты видишь лучше него, наверно. Да, ты можешь действовать, как считаешь правильным. И да, результаты появятся. Но нет, они не убедят его ни в чем.

Его мировоззрение может быть в твоих глазах ошибочным, но оно работает для него как-то, т.е., в практическом плане оно более-менее консистентно. Признавать ошибки ему приходится нечасто, а по важным вопросам -- так и практически никогда.

Пройдет четверть века, и все останется, как было, за исключением того, что вы оба станете на четверть века старше. Если сотрудничество с какими-то человеком или людьми не складывается, то лучшее, что можно сделать -- это найти других людей.

Re Plácido Domingo

Напоминаю, что антидискриминационное законодательство несправедливо по сути своей и должно быть отменено целиком, включая запреты дискриминации по полу и расе по месту работы, в образовательных учреждениях, и т.д. Соответственно, не должно быть никаких государственных законов, запрещающих начальникам делать интимные предложения подчиненным.

К сожалению, я с трудом вспоминаю единственный, что ли, раз в жизни, когда я был в опере, т.е. я в этом деле совсем не разбираюсь и ставить ссылки на записи Пласидо Доминго не решусь. Заявляю о солидарности с теми, кто ставит сейчас такие линки.

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

- Почему в России все люди ненавидят друг друга?

- Потому, что амбиций много, а ресурсов мало. В результате все стремятся осуществлять свои проекты за чужой счет. А никак иначе они и не осуществимы, по большей части.
- Правда ли, что корень проблемы в том, что русские не умеют договариваться "о границах", и вообще, разговаривать и договариваться между собой? Потому и не знают, где свое, где чужое?
- Нет, неправда. Правда в том, что честные договоренности невозможны между людьми, чьи интересы несовместимы, а намерения каждого состоят в том, чтобы решить свои проблемы за счет других. Любые разговоры и договоренности в таких условиях становятся средством противостояния и эксплуатации, так же, впрочем, как и отказ от разговоров и договоренностей. Это общая ситуация -- когда люди чего-то не слишком трудного на протяжении длительного времени систематически не умеют, причина обычно в том, что им это не нужно.
- Что может помочь исправить ситуацию?
- Помочь может то, что у русских проснется совесть и они перестанут стремиться осуществлять свои проекты за чужой счет. После этого проблема проведения границ между своим и чужим спустится с экзистенциального на технический уровень и будет сравнительно легко разрешима.
- Разве есть идеальный способ провести границы владений?
- Идеального способа нет, но он и не требуется, нужен просто разумно приемлемый. Люди, стремящиеся жить за свой счет, заинтересованы в том, чтобы разумно приемлемым образом провести границы владений и впредь соблюдать их. Люди, предпочитающие жить за чужой счет, заинтересованы в том, чтобы никаких устойчивых границ владений не было, а был вечный процесс их перекраивания с отъемом и дележкой, осуществляемыми под теми или иными предлогами. В современной России доминируют вторые.
- Разве "провести границы владений и впредь соблюдать их" -- это не то же самое, что "разговоры и договоренности"?
- Нет, конечно. Разговоры как таковые пригодны как средство вечной перекройки любых границ в не меньшей -- на самом деле, в большей степени -- чем как средство их соблюдения. Вообще, к разговорам на неотвлеченные темы стремятся те, кто считают, что у них лучше других язык подвешен, или кому удалось занять господствующие над местностью риторические высоты.
- Молчание предпочтительней разговоров?
- Смотря, какие разговоры и какое молчание. Предпочтительно, еще раз, чтобы в людях проснулась совесть. Пока этого нет, идет -- и будет идти -- война всех со всеми; и разговоры "о границах", так же, как и любые другие разговоры, будут оставаться тактико-стратегическим инструментом ведения такой войны.
- Ну хорошо, а на Западе что происходит? Там доминируют люди, у которых совесть?
- Это стандартный вопрос со стандартным ответом. Все везде очень плохо, и на Западе, в частности, все очень плохо -- а в России еще гораздо хуже. Если не все, то почти все. Но это банальность.
- Да, это банальность.

Четырьмя вещами можно заниматься бесконечно

и они никогда не наскучат: смотреть на горящий огонь, текущую воду и чужую работу, а также бросать вызов ассоциирующимся с истеблишментом гражданам демонстративным отказом шагать в строю, который они воображают себе, что возглавляют.

(Вопрос жизни: неужели без меня не достаточно желающих шагать в этом вашем строю? -- Ответ: с точки зрения граждан, воображающих себя во главе строя, шагающих за ними всегда недостаточно.)

В промежутках между этими увлекательными занятиями, однако, надо работать. Например, я тут обнаружил, что классический функтор co-hom Такеучи (не путать с моим и некоторых других авторов функтором Cohom) есть просто контратензорное произведение одного аргумента (скажем, правого комодуля) на двойственное векторное пространство к другому (тоже правому комодулю). Двойственное векторное пространство к правому комодулю есть левый контрамодуль, и его можно контратензорно помножить на правый комодуль.