[personal profile] posic
http://mathoverflow.net/questions/62543/what-is-the-relation-between-hypocycloids-and-ideals-in-polynomial-rings-as-allud
http://www.ega-math.narod.ru/Arnold2.htm

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

Вопрос о форме поверхности, заданной уравнением xy = z2, в ситуации, когда отвечать на него предлагается немедленно, вводит меня в ступор, это экспериментальный факт. (За пять лет до означенного эксперимента я, натурально, прочитал учебник и получил пятерку на экзамене по университетскому курсу по этим самым квадратичным поверхностям; эксперимент показал, что это не помогло. Меня зачислили в аспирантуру НМУ, закрыв глаза на провал эксперимента.)

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

Date: 2011-04-23 12:59 pm (UTC)
From: [identity profile] buddha239.livejournal.com
Таки да, как-то так.:) То, что две разных поверхности неизоморфны, вероятно, нетрудно проверить когомологически, а вот чтобы доказать, что других нет - нужно как-то перекраивать триангуляции...:)

Date: 2011-04-23 01:25 pm (UTC)
From: [identity profile] posic.livejournal.com
Там много непонятного, конечно. Ведь, вообще говоря, гладкие многообразия, топологические многообразия, триангуляции -- это все разные категории. Их эквивалентность в двумерном случае тоже надо как-то доказывать.

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

В общем, не изучил я оснований этой науки.

Date: 2011-04-23 01:57 pm (UTC)
From: [identity profile] buddha239.livejournal.com
Точно недостаточно?:)

Date: 2011-04-23 03:53 pm (UTC)
From: [identity profile] posic.livejournal.com
Мне кажется, нет. Насколько я помню, всякое метризуемое пространство паракомпактно; всякий CW-комплекс паракомпактен. А сферу со счетным числом ручек можно даже в R^3 вложить, и на счетное число клеток разбить можно.

Date: 2011-04-24 11:11 am (UTC)
From: [identity profile] repressii.livejournal.com
Для некомпактных, оно делается с использованием теоремы Римана об униформизации
(причем без нее оно строго не делается, кажется, никак)

Profile

Leonid Positselski

February 2026

S M T W T F S
1 2 34 567
891011121314
15161718192021
22232425262728

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Feb. 6th, 2026 05:15 pm
Powered by Dreamwidth Studios