[personal profile] posic
не возраграждается?

- Ну, понимаешь... Научное писательство -- самое увлекательное занятие и главный источник радости в моей жизни. Это если еду не считать -- https://posic.dreamwidth.org/2848093.html

пока еще

Aug. 27th, 2025 11:05 pm
ecreet: ...и скажите спасибо нам, картавым. (raven)
[personal profile] ecreet
...Судебная система отличается.

Большое жюри отказалось обвинить чувака, который запустил бутербродом в агента ICE. Это такая английская средневековая традиция: уголовное обвинение до суда рассматривается группой из двадцати или около того случайных граждан, которые могут решить "да, давайте судить" или "нет, это не уголовное дело". Статистически это формальность, выбрасывается одно дело из многих тысяч. Но вот.

Сравнить с чуваком, который бросил бумажный стаканчик в омоновца в Москве.

Вашингтонскому чуваку все еще могут подвесить misdemeanor, это до года тюрьмы. Или попробовать с другим grand jury (wtf?). Однако традиция пока еще работает (держимся на одной ниточке). Не помню, о ком из ирландских деятелей жюри присяжных заявило, что в убийстве, в котором его обвиняют, виновен английский премьер-министр и ряд парламентариев?
[personal profile] posic
1.: Неудивительно, что многих людей, наблюдающих за этой траекторией, довольно сильно укачивает -- https://posic.dreamwidth.org/1338514.html

2.: Почему случилось сваливание в яму? Потому, что я выбрал какой-то непонятный и трудный путь, которым не умел ходить -- https://posic.dreamwidth.org/1338851.html

***

Девять лет прошли; в общем, практически уже можно говорить о четвертом этапе (2015-25). Из безработных в Хайфе (апрель-август 2015) в ведущие научные сотрудники в Праге (с осени 2020). Список рецензированных публикаций вырос с 16 (из них три книги; по состоянию на август 2015) до 67 (из них шесть книг). Как это назвать, этап реализации творческого потенциала?

Девять лет прошли, и жизнь сложилась.

On people who have done

Aug. 27th, 2025 12:17 am
[personal profile] posic
Rich Somers writes in Facebook -- https://www.facebook.com/rich.somers.73/posts/pfbid02UDvZbFGbGjfWDqsQ7Dax5rcnmDKfqYSY5b9tgCTZRV9oW8eG1k8MQNPMw8vgo3ggl :

"Stop listening to people who have never done what you’re looking to do."

and posts a picture with the inscription:

"Life Hack:

Stop listening to the people closest to you.

Start listening to the people closest to your goals.

Quickest way to improve your life."

***

Who are the people closest to my goals? They are my competitors. Why would they give me helpful advice on how to outcompete them?

Who are the people who have done what I am looking to do? There are no such people. They don't exist.
[personal profile] posic
Один из (очевидно, очень многих) ответов на этот вопрос подчеркивает роль относительных ситуаций и относительных понятий.

В алгебраической геометрии очень принято рассматривать морфизмы алгебраических многообразий или схем как основной объект изучения. Ощутимая доля основ алгебраической геометрии -- это изучение разнообразных классов морфизмов схем. Плоские морфизмы, гладкие морфизмы, отделимые морфизмы, собственные морфизмы, аффинные морфизмы, проективные морфизмы, квазикомпактные и квазиотделимые морфизмы, конечные морфизмы, морфизмы конечного типа и конечной представимости, квазиконечные морфизмы... Так повелось со времен Гротендика, как я понимаю.

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

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

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

Я бы подошел к делу так. Скажем, у вас есть гомоморфизм колец R → S. Немедленно начинается: можно рассматривать S-модули, плоские над R, проективные над R, инъективные над R (являющиеся модулями кокручения над R, и т.д.) Я немало писал об этом, и мне показалось, что более-менее никто, кроме меня, об этом не пишет.

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

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

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

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

On being useful

Aug. 26th, 2025 02:40 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid02jUrT2EFJ1e9ZWZM8atF9aDEtByRpBoyHqKWvpgeKYGymHjoptE8MbPY7c1yfbtwjl :

The advice that changed my life:

"Stop trying to be impressive. Start being useful."

Impressive gets you invited to parties. Useful gets you equity.

Impressive is exhausting to maintain. Useful compounds while you sleep.

Choose accordingly.

***

This advice presumes that you are going to be rewarded for being useful. In my experience, this is generally not the case.

I am a mathematician, I do not sell my services for money. In most cases, I do not see how being useful would serve my best interests, or the interests of advancement of mathematics which I am striving to serve.

As a general rule, I prefer to be impressive and useless. And no, I do not get invited to parties very much. Also, I decline most invitations.
[personal profile] posic
https://posic.dreamwidth.org/638274.html

Под по постингом комменты razielglo, vinopivets, chaource. Вынесу наверх мой самый нижний коммент:

"That is not what those people are saying. Indeed, your two descriptions of what they are saying contradict one another. There is no point in engaging in an unpleasant activity just to improve one's life a little, as being engaged in an unpleasant activity, by definition, worsens one's life.

What they are saying is that a particular unpleasant activity is somehow extraordinary important and my whole future singularly depends on me succeeding in this activity. This is a dangerous and irresponsible claim.

It also isn't true. My argument explains, why: as things look from the present, there will be no future, X or no X. With me, it is the general situation and has always been so, save some rare moments of illusory hopes. The future that comes, comes from unexpected directions."

On parental advice

Aug. 26th, 2025 01:42 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid0XeaUwtPhZxtYE6U9bEp8nFMNM5Si99zXJHSrMhqxA3VR4uTZyWe5F5qbueAsQk8Gl :

Your parents' definition of security is your ceiling.

They want you safe. Stable. Predictable.

But safe doesn't build wealth. Stable doesn't create freedom. Predictable doesn't change the world.

Love them. Then ignore their advice.

***

Именно так.
denise: Image: Me, facing away from camera, on top of the Castel Sant'Angelo in Rome (Default)
[staff profile] denise posting in [site community profile] dw_news

I'll start with the tl;dr summary to make sure everyone sees it and then explain further: As of September 1, we will temporarily be forced to block access to Dreamwidth from all IP addresses that geolocate to Mississippi for legal reasons. This block will need to continue until we either win the legal case entirely, or the district court issues another injunction preventing Mississippi from enforcing their social media age verification and parental consent law against us.

Mississippi residents, we are so, so sorry. We really don't want to do this, but the legal fight we and Netchoice have been fighting for you had a temporary setback last week. We genuinely and honestly believe that we're going to win it in the end, but the Fifth Circuit appellate court said that the district judge was wrong to issue the preliminary injunction back in June that would have maintained the status quo and prevented the state from enforcing the law requiring any social media website (which is very broadly defined, and which we definitely qualify as) to deanonymize and age-verify all users and obtain parental permission from the parent of anyone under 18 who wants to open an account.

Netchoice took that appellate ruling up to the Supreme Court, who declined to overrule the Fifth Circuit with no explanation -- except for Justice Kavanaugh agreeing that we are likely to win the fight in the end, but saying that it's no big deal to let the state enforce the law in the meantime.

Needless to say, it's a big deal to let the state enforce the law in the meantime. The Mississippi law is a breathtaking state overreach: it forces us to verify the identity and age of every person who accesses Dreamwidth from the state of Mississippi and determine who's under the age of 18 by collecting identity documents, to save that highly personal and sensitive information, and then to obtain a permission slip from those users' parents to allow them to finish creating an account. It also forces us to change our moderation policies and stop anyone under 18 from accessing a wide variety of legal and beneficial speech because the state of Mississippi doesn't like it -- which, given the way Dreamwidth works, would mean blocking people from talking about those things at all. (And if you think you know exactly what kind of content the state of Mississippi doesn't like, you're absolutely right.)

Needless to say, we don't want to do that, either. Even if we wanted to, though, we can't: the resources it would take for us to build the systems that would let us do it are well beyond our capacity. You can read the sworn declaration I provided to the court for some examples of how unworkable these requirements are in practice. (That isn't even everything! The lawyers gave me a page limit!)

Unfortunately, the penalties for failing to comply with the Mississippi law are incredibly steep: fines of $10,000 per user from Mississippi who we don't have identity documents verifying age for, per incident -- which means every time someone from Mississippi loaded Dreamwidth, we'd potentially owe Mississippi $10,000. Even a single $10,000 fine would be rough for us, but the per-user, per-incident nature of the actual fine structure is an existential threat. And because we're part of the organization suing Mississippi over it, and were explicitly named in the now-overturned preliminary injunction, we think the risk of the state deciding to engage in retaliatory prosecution while the full legal challenge continues to work its way through the courts is a lot higher than we're comfortable with. Mississippi has been itching to issue those fines for a while, and while normally we wouldn't worry much because we're a small and obscure site, the fact that we've been yelling at them in court about the law being unconstitutional means the chance of them lumping us in with the big social media giants and trying to fine us is just too high for us to want to risk it. (The excellent lawyers we've been working with are Netchoice's lawyers, not ours!)

All of this means we've made the extremely painful decision that our only possible option for the time being is to block Mississippi IP addresses from accessing Dreamwidth, until we win the case. (And I repeat: I am absolutely incredibly confident we'll win the case. And apparently Justice Kavanaugh agrees!) I repeat: I am so, so sorry. This is the last thing we wanted to do, and I've been fighting my ass off for the last three years to prevent it. But, as everyone who follows the legal system knows, the Fifth Circuit is gonna do what it's gonna do, whether or not what they want to do has any relationship to the actual law.

We don't collect geolocation information ourselves, and we have no idea which of our users are residents of Mississippi. (We also don't want to know that, unless you choose to tell us.) Because of that, and because access to highly accurate geolocation databases is extremely expensive, our only option is to use our network provider's geolocation-based blocking to prevent connections from IP addresses they identify as being from Mississippi from even reaching Dreamwidth in the first place. I have no idea how accurate their geolocation is, and it's possible that some people not in Mississippi might also be affected by this block. (The inaccuracy of geolocation is only, like, the 27th most important reason on the list of "why this law is practically impossible for any site to comply with, much less a tiny site like us".)

If your IP address is identified as coming from Mississippi, beginning on September 1, you'll see a shorter, simpler version of this message and be unable to proceed to the site itself. If you would otherwise be affected, but you have a VPN or proxy service that masks your IP address and changes where your connection appears to come from, you won't get the block message, and you can keep using Dreamwidth the way you usually would.

On a completely unrelated note while I have you all here, have I mentioned lately that I really like ProtonVPN's service, privacy practices, and pricing? They also have a free tier available that, although limited to one device, has no ads or data caps and doesn't log your activity, unlike most of the free VPN services out there. VPNs are an excellent privacy and security tool that every user of the internet should be familiar with! We aren't affiliated with Proton and we don't get any kickbacks if you sign up with them, but I'm a satisfied customer and I wanted to take this chance to let you know that.

Again, we're so incredibly sorry to have to make this announcement, and I personally promise you that I will continue to fight this law, and all of the others like it that various states are passing, with every inch of the New Jersey-bred stubborn fightiness you've come to know and love over the last 16 years. The instant we think it's less legally risky for us to allow connections from Mississippi IP addresses, we'll undo the block and let you know.

[personal profile] posic
"A Grothendieck category C is said to be locally coherent if the full subcategory of finitely presented objects is abelian and contains a generating set for C. For example, the category Mod(R) of modules over a ring R is locally coherent."

А вот следующая фраза:

"The full subcategory Flat(R) of flat R-modules is exact as a full subcategory of Mod(R) (its conflations are the pure exact sequences), and it is locally coherent in the sense that the set of its finitely presented objects (the finitely generated projectives) generates Flat(R)."

***

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

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

On teaching people how to treat you

Aug. 25th, 2025 03:26 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid02NzD99A59oBD2p1sAWPXp3j8mPfHMdayQwy45EZTKTiP2ucW564BL7Xkpm5VZoDbrl :

You teach people how to treat you by what you tolerate. Every time you accept less than you deserve, you're training them to give you less. Your standards aren't about being demanding. They're about being clear.

***

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

Ну, а умным нет смысла у меня учиться. Это просто не вознаграждается. Учиться чему, собственно -- как прожить такую приятную и интересную жизнь, как я прожил? Это кому-то надо?
[personal profile] posic
а "фундаментальная проблема -- идея решения -- толстый трактат -- приложения". Если на нынешний момент видимые мне возможности приложения моих идей к известным задачам до какой-то степени поисчерпались, то естественный путь к обнаружению новых таких возможностей, состоит, видимо, в том, чтобы дописать монографию про контрагерентные копучки -- https://posic.dreamwidth.org/1198916.html

Предыдущее -- https://posic.dreamwidth.org/1198651.html

***

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

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

Десять лет прошло. Монография про контрагерентные копучки в основном дописана, и уже следующая монография, про контрагерентные D-модули, в значительной степени написана. Какие-то приложения были найдены в ходе работы над этими двумя книжками, препринты об этом тоже написаны и выложены в Архив.
[personal profile] posic
своими действиями создать непревратных.

Размышления по ходу написания резко отрицательной рецензии для престижного журнала -- https://posic.dreamwidth.org/2845217.html

Предыдущее (подробности про статью и рецензию) остается под замком -- https://posic.dreamwidth.org/2845061.html

On the parents' definition of success

Aug. 24th, 2025 05:35 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid02AxMfasgBg7jZYB47WbotQXqBdE8Bgmz9KsU27rqnQCg8qp5ea5CBfBd4m2TkUqFyl :

Most people are living their parents' definition of success:

The stable job they hate.
The house they can't afford.
The life that looks good but feels empty.

You're 35 living the dream your parents had at 25.

***

Many people aren't even living their parents' definition of success. They are living the parents' definition of their child's success. The definition of success the parents had for themselves was different, and often much better.

On saying yes

Aug. 24th, 2025 03:06 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid0rHDCvpDS76X6AnwmiFZJ8WtS54Sq7gc9m9gnF9BCz3Do6vo6MiXZPzPMuGtAqbdnl :

Saying yes to everything isn't ambitious.

It's afraid.

Afraid to miss out. Afraid to focus. Afraid to commit.

Ambitious people say no to almost everything.

***

Да, именно так.

On planning for growth

Aug. 24th, 2025 01:21 pm
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid0gCpyYLdQQDSBqDWt2Bu9PSCAuPKiDn2e5DFePF2kXDzBqgoGhv52HYrNNtxyNHfZl :

Your "5-year plan" assumes you'll be the same person in 5 years.

You wouldn't be.

Plan for growth, not permanence.

***

No, of course I wouldn't be the same person in 5 years. I am 52 today, in 5 years I would be 57. That's a lot of a difference. I am not the same person today as I was 5 years ago, either.

Relative nonhomogeneous Koszul duality, semi-infinite algebraic geometry, exact DG-categories, foundations of topological algebra, limits of accessible categories, periodicity theorems in homological algebra, contramodules, co/contraderived categories, and contraherent cosheaves are not in the same shape today as they were 5 years ago. That's the point.

In 5 years, if still alive, I will be 5 years closer to the grave. But contraherent cosheaves will be not in the same shape in 5 years as they are now. That's the plan.

For good or for bad, I have no plans for personal growth. I have plans for the growth of the body of ideas I am working on.

On not losing instead of winning

Aug. 24th, 2025 11:03 am
[personal profile] posic
Scott D. Clary writes in Facebook -- https://www.facebook.com/scottdclarypage/posts/pfbid0dFhJgkxZeZ92kFEEfNzdVYZVvkrUU9UG8zvNpHL9SZQrGirRxeS2fTeQhg4o3jJel :

Most people optimize for not losing instead of winning.

They take safe jobs instead of right risks.
They avoid failure instead of courting growth.
They protect what they have instead of building what they want.

Playing not to lose guarantees you lose slowly.

***

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

Profile

jedal: (Default)
jedal

August 2025

S M T W T F S
     12
3456789
10111213141516
17181920212223
24252627282930
31      

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 30th, 2025 01:27 pm
Powered by Dreamwidth Studios