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

	Х_Х a_karpov 2006-06-15 05:13 (ссылка)
	Интересно, в лжр кроме Вас с Калединым есть вообще кто-то, кто понимает, о чём Вы тут говорите? (Ответить) (Ветвь дискуссии)

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

	Re: Х_Х a_karpov 2006-06-15 07:54 (ссылка)
	да не в отсутствии реакции речь (запись-то свежая довольно, могло не появиться пока просто из-за этого). Просто я действительно сомневался сильно. Зафрендил бы вас уже за одно то, что Вы это прочитать умеете, да дневник у Вас пустой ) (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Х_Х vzr 2006-06-15 08:00 (ссылка)
	Sorry, я тут комментарий поправил, а Вы в это время ответили. :) >Зафрендил бы вас уже за одно то, что Вы это прочитать умеете, да дневник у Вас пустой ) Нечего пока писать. :) (Ответить) (Уровень выше)

	Re: Х_Х vzr 2006-06-15 07:57 (ссылка)
	Я, например, в основном понимаю. Правда, моих познаний обычно хватает только, чтобы понять, о чем идет речь, но недостаточно, чтобы ответить на вопрос. :) И наверно, я такой не один, так что отсутствие реакции еще ни о чем не говорит. (Ответить) (Уровень выше)

	Проективное многообразие, рационально гомотопически (Анонимно) 2006-06-15 08:42 (ссылка)
	Миша привет! Мне кажеться, что фальшивое CP^2 Мамфорда (или любое из 17ти фальшивых CP^2) даёт пример. Правда они не односвязны, так что рациональный гомотопический тип не являеться хорошим инвариантом. В этой ситуации лучше рассмотрет схематический гомотопический тип. Он помнит о редуктивном куске фундаментальной группой и отличит фальшивое от настоящее CP^2. Тони (Ответить) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-15 13:03 (ссылка)
	Спасибо! Я забыл условие "размерности > 2". В размерности 2 теорема Сулливана все равно неверна Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-15 18:31 (ссылка)

Ну, там еще есть фальшивые проективные пространства любой размерности. Как векторное пространство у них когомологии такие же как и у CP^n, но я не думал об умножении. Возможно что кольцевые структуры не изоморфны. Если отфакторизировать по идеалу H^{> 4}, то умножения совпадають (из за пропорциональности Хирцебруха), но я не очень понимаю что произходит на польных когомологиях. Привет, Тони (Ответить) (Уровень выше)

	Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-15 13:06 (ссылка)
	Суть этого вопроса такая - Мацушита доказал, что база лагранжева расслоения на гиперкэлеровом многообразии имеет те же рациональные когомологии, что CP^n. Я думаю - не влечет ли эта теорема изоморфность этой базы и CP^n сразу? Потому что доказательство Чо-Мияоки-Шеперда-Баррона, судя по всему, просто неверное. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... (Анонимно) 2006-06-15 18:41 (ссылка)
	Очень интересно! А как он ето доказал? Я думал что он только посчитал числа Бети. Интересно как ему удалось посчитать умножение? Насколько я понимаю, в етом утверждении, гиперкэлерово многообразие должно быт односвязным. Так что фальшивые проективные пространства сразу отпадають. Привет, Тони (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... tiphareth 2006-06-16 00:22 (ссылка)

Умножение там сразу определяется из теоремы Лефшеца, поскольку все четные когомологии одномерные. У Мацушиты этого нет, впрочем; но это ясно. >Так что фальшивые проективные пространства сразу отпадають. Да, судя по всему. Также база лагранжева слоения всегда Фано, соответственно если вопрос решен для Фано, мы получаем теорему Чо-Мияоки-Шеперда-Баррона забесплатно Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-16 16:57 (ссылка)

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

Re: Проективное многообразие ... tiphareth 2006-06-16 20:38 (ссылка)

>Как-то непонятно как поменять вопрос тогда? Твой аргумент >с теоремой Лефшеца показываеть что фальшивые проективные >пространства рационально гомотопически еквиваленты >обычним. Добавить Фано и односвязность к условию? Т. е. ГИПОТЕЗА Пусть М - компактное многообразие Фано (оно, кажется, а постериори односвязно), с рациональными когомологиями, изоморфными усеченным полиномам. Верно ли, что M изоморфно CP^n? Если да, то мы получили теорему Чо-Мияоки-Ш.Б. >Кстати, где ето написано у Яу? Я помню результат про >могообразия которые гомеоморфны CP^n, но не помню ничего >про такие которые просто гомотопны. Прошу прощения - у Яу буквально приводится этот факт для CP^2 ("On Calabi's conjecture and some new results in algebraic geometry", 1977, Proc. Nat. Acad. USA). С другой стороны, гомотопическая эквивалентность кэлеровых многообразий размерности >2 эквивалентна диффеоморфности (Сулливан, вроде бы). Доказательство Яу следует из неравенства между c_1^2 и c_2, если я не ошибаюсь. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-17 05:06 (ссылка)

> ГИПОТЕЗА Пусть М - компактное многообразие > Фано (оно, кажется, а постериори односвязно), > с рациональными когомологиями, изоморфными > усеченным полиномам. Верно ли, что M > изоморфно CP^n? Не нравиться мне ета формулировка. Условие Фано слишком нетопологическое. Хотелось бы иметь гиотезу которая формулируеться только на уровне теории Ходжа. > С другой стороны, > гомотопическая эквивалентность кэлеровых > многообразий размерности >2 эквивалентна > диффеоморфности (Сулливан, вроде бы). Я думал что у Сулливана было конечное число диффеоморфных типов в каждом гомотопическом типе? > Доказательство Яу следует из неравенства между > c_1^2 и c_2, если я не ошибаюсь. Да действительно! Я сейчась пытаюсь понять нельзя ли вывести интерсные следствия из такой пропорциональности для схематического гомотопического типа. Привет, Тони (Ответить) (Уровень выше)

	Re: Проективное многообразие ... kaledin 2006-06-20 17:02 (ссылка)
	Privet, Gipoteza konechno neverna, ehto slishkom sil'no; no ty ved' khochesh' kontrprimer -- a ya chto-to tak skhodu ne soobrazhu. Ya podumayu. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... tiphareth 2006-06-21 12:49 (ссылка)

Почему неверна? Теорема Яу следует из неравенства между классами Черна, которое вытекает из формулы Римана-Роха. На целочисленные когомологии этим формулам начхать. С другой стороны, аргумент может иметь простую, но дурацкую дыру, и прежде чем приступать к доказательству, хотелось бы сначала убедиться, что нет контрпримеров. Чуть выше Тони напомнил про фальшивые CP^n - ясно, что доказательство должно как-то учитывать либо односвязность, либо Фано. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-21 17:39 (ссылка)
	A chto, nechetnomernaya kvadrika ne goditsya razve? vplot' do serediny chisla Betti te zhe, chto u P^n, v silu slabogo Lefshetza; a v seredine nichego net, t.k. u nee est' rezol'venta diagonali/isklyuchitel'nyj nabor, i potomu vse kogomologii Hodge-Tate'vskie? (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... tiphareth 2006-06-21 19:35 (ссылка)

Нет, конечно. Когомологии квадрики посчитать весьма просто, потому что квадрика это однородное пространство SO(n + 2)/(SO(n) x SO(2)). Иначе говоря, точка квадрики - это 2-мерная гиперплоскость в вещественном векторном пространстве. Поэтому над квадрикой имеется расслоение со слоем S^1 и тотальным пространством S^n \times S^{n-1}. Написав соответствующую спектральную последовательность, легко видеть, что когомологии не могут быть такие же, как у CP^n (трансфер d_2 переводит образующую H^1(S^1) в кэлеров класс квадрики, таким образом убиваются все степени кэлерова класса, а n- и n-1-мерный класс в S^n \times S^{n-1} получаются из еще одного класса в средних когомологиях квадрики, на котором d_2 действует нулем). Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-21 19:42 (ссылка)
	Ty khochesh' skazat', chto kehlerov klass trekhmernoj kvadriki v kube raven nulyu? (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-21 20:35 (ссылка)
	V smysle, ya nadeyus', chto ty ne khochesh' ehtogo skazat', potomu chto on taki ne raven. Spektral'naya posledovatel'nost' vychislyaet ne kol'co kogomologij, a gr ot nego po sootv. fil'tracii. Na segodnya vse, ya domoj poshel. (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... tiphareth 2006-06-21 22:20 (ссылка)
	кэлеров класс не может быть равен нулю ни в какой степени, его детерминант это форма объема (Ответить) (Уровень выше)

	Re: Проективное многообразие ... tiphareth 2006-06-21 22:19 (ссылка)
	Нет, конечно. Просто там есть еще одна образующая в средних когомологиях (для четного) или в средних -1 для нечетного. Над \C доказательство см. выше, в этальной ситуации она построена в SGA 7 (Deligne). Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-22 16:52 (ссылка)
	Ehto pokhozhe; no spektralka tvoya vse ravno kuda-to ne tuda skhoditsya. Esli kak ty govorish', to chetnye chisla Betti u kvadriki 1,2,2,1. Kuda zhe devaetsya eshche odin klass v H^2? (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... tiphareth 2006-06-22 22:10 (ссылка)
	Ты прав, да. Надо спросить кого-нибудь, или посмотреть в SGA 7. Но что там не усеченные полиномы - это сто пудов Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-23 17:37 (ссылка)
	Konechno imenno oni. Net variantov: esli chisla Betti te zhe, chto u P^n, to i kehlerov klass obyazan vse porozhdat'. Usechennye polinomy ehto slishkom zhestkaya veshch', u nikh osobo net deformacij. (Ответить) (Уровень выше)

	Re: Проективное многообразие ... kaledin 2006-06-22 18:41 (ссылка)
	Nu da, ya tut prokonsul'tirovalsya s tovarishchami, a to ty menya smutil; trekhmernaya kvadrika, ona zhe lagranzhev grassman (2,4), ehto faktor SO(5)=Sp(4) po maksimal'noj parabolicheskoj podgruppe, i H^2 u nego odnomernoe, ne dvumernoe, a H^3 net. V vysshikh razmernostyakh ne znayu. U kvartiki (i u kubiki) H^3 est'. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-23 12:45 (ссылка)

Привет! Я сейчась на Гаваях и не смотрел на ljr.math с прошлой недели. Сегодня взглянул и увидел коментарий про квадрику. Дима совершенно прав! Нечётномерная квадрика даёт контрпример к коригированной гипотезе. Для квадрики X размерности 2n-1 можно быстро посчитать эйлерову характеристику - 2n-1 класс Чженя касательного расслоения считаеться сразу из точной последовательности для нормального расслоения. Я только-что посчитал и получилось что \chi(X) = n (надеюсь что не ошибся - проверте пожалуйста!). В комбинации с теоремой Лефшеца ето даёт что b^{2n-1}(X) = 0 и что рациональные когомологии X ето усеченные полиномы. Тони (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... (Анонимно) 2006-06-23 13:18 (ссылка)
	Извиняюсь! Наверху у меня опечатка: \chi(X) = 2n а не n. Вот поетому средные когомологии равнй нулю а полные когомологии равны усеченым полиномам. Всё-таки - странно что такой простой контрпример! Может быт стоит поискать АИС у которой база квадрика? Привет, Тони (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие ... kaledin 2006-06-23 17:35 (ссылка)
	Nu, ponimaesh', narodnoe pover'e sostoit v tom, chto baza dolzhna byt' tak zhe sil'no racional'no svyazna, kak P^n (cherez lyubye dve tochki pryamaya i t.d.) Cho-Miyaoka-Shepherd-Barron ehto dokazali esli est' sechenie, nepravil'no dokazali, no utverzhdenie skoree vsego vernoe, khotya skoree vsego trudnoe. Poehtomu na kontrprimer nadezhdy malo. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-23 22:25 (ссылка)

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

Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-16 14:51 (ссылка)

Это не совсем связано, но ... Миша, а можешь поспекулировать по поводу того что будет если допускать вырождения слоев ? Например в интегрируемых систмах так происходит. Хитчин например. Ну еще и некомпакто к тому же ... Если многобразие торическое то его топология сильно завязана на фибрацию торами и многогранник, в простых ситуация мы просто видим класса гомологий как прообразы граней. (То есть это те подмногобразия где гамильтонианы становятся зависимыми). Мне давно хотелось как-то пытаться обощить это на более сложные интегрируемые системы. То есть можно ли как-то из наличия интегрируемой системы (=торическая лагражева фибрация) сделать какие-то выводы о топологии ? Казалось бы тоже надо смотреть на подмногообразия где гамальтонины становятся зависимыми - получаем набор помногообразий - циклов - надо спросить порождают ли они все гомологии ? - надо спросить порождают как писать соотношения между ними в гомологиях ? - надо спросить порождают как их умножать ? Например можно взять любой грассманиан и вообще любые флаги, на них есть интегрируемые системки (Гельфанд-Цейтлин, Мищенко-Фоменко(=Годен с 1-спином и магнитным полем)) Ну и можно ли что-то сказать из наличия этих систем про хорошо известную топологию флагов ? Червов (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-16 16:14 (ссылка)

Если вопрос про алгебраические интегрируемые системы, ответ отчасти известен (база, вне особенностей, имеет плоскую связность, и на ней задано решение вещественного уравнения Монжа-Ампера). Например, см. http://arxiv.org/abs/math.DG/0112114 Если ж речь про вещественные интегрируемые системы, то не очень понятно, что есть особая интегрируемая система. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-16 17:01 (ссылка)

что ты вкладываешь в "алгебраические и.с." ? Пример который я держу в голове - Хитчин. Спасибо за ссылку. Не мог бы ты пожалуйста пояснить комментарий ? Неужели что из того что кто-то расслоен на якобианы кривых сразу вытекает что на базе есть плоская связность и еще решение МА ? Если да то как такое надо себе объяснять ? Если нет то какие дополнительные требования надо накладывать и в какие И.С. с этим свойством есть ? Ч. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-16 20:13 (ссылка)

>что ты вкладываешь в "алгебраические и.с." ? http://arxiv.org/abs/alg-geom/9507017 http://arxiv.org/abs/hep-th/9712042 http://arxiv.org/abs/math.DG/0112114 >Неужели что из того что кто-то расслоен >на якобианы кривых сразу вытекает что на базе есть >плоская связность и еще решение МА ? Не понимаю твоего вопроса. При чем тут якобианы? По поводу плоской связности и решения Монжа-Ампера, см. обзоры Кортеса и Фрида. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-16 20:42 (ссылка)
	Система Хитчина является АИС ? Во всех известных примерах интегрируемых систем лиувиллев тор - якобиан спектральной кривой (или обобщ. Як (т.е. C^*^k or C^u). Наверно легко придумать извращенные примеры где это не так, но есть ли что-нибудь не извращ ? (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-17 00:08 (ссылка)
	>Система Хитчина является АИС ? Да, является >Наверно легко придумать извращенные примеры где это >не так, но есть ли что-нибудь не извращ ? Промежуточный якобиан над пространством модулей Калаби-Яу. См. статьи выше Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-17 03:03 (ссылка)
	U Freed v opredelenii AIS есть пункт 3, "имеется гладко меняющийся класс в когомологиях слоя..." Миш, а что это за класс в контексте Хитчина ? Он один или их много разных можно предложить ? -- Да, забыл я про Донаги-Маркмана, есть у них что-то про промежуточноый якобиан... А он случайно не есть чей-то примиан ? Тогда это не очень интересно... (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ tiphareth 2006-06-17 03:49 (ссылка)
	>Миш, а что это за класс в контексте Хитчина ? Это ограничение кэлерова класса с объемлющего многообразия >А он случайно не есть чей-то примиан ? Нет Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-17 04:36 (ссылка)

Здесь можно сделать некие общие замечания: Любое абелевое многообразие можно реализировать как обобщенный примиан какой-то кривой (например как многообразие Прима-Тюрина). Так-что если разрешать конечные замены базы, любую алгебраически ИС можно переписать как семейство примианов каких-то кривых. Конечно етого можно сделать многими разными способами, так что такая реализация не очень полезна. В аналитической ситуации существують аналитические ИС которые расслаиваються на комплексные неалгебраические торы, например промеждуточные Якобианы Калаби-Яу. Конечно будучи неалгебраическими, ети торы никокда не являються примианами. Если задано семейство абелевых многообразий $X \to B$, база $B$ не обязана иметь специальную келэровую геометрию. Условие существования такой геометрии еквиваленто тому что для любой точки $b \in B$, образ отображения Кодаиры-Спенсера $\kappa : T_{B,b} \to H^{1}(X_{b},T_{X_{b}}) = H^{0}(X_{b},S^{2}T_{X_{b}})$ содержиться в Якобиевом идеале некой кубики (аналог кубики Юкавы). Для интегруемых систем, выбор кубики более или менее еквивалентен выбору симплектической формой на тотальном пространстве. Привет, Тони (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... tiphareth 2006-06-17 05:02 (ссылка)

А ты видел труды Baues/Cortes о специальных кэлеровых многообразиях? http://arxiv.org/abs/math.DG/0112114 Там доказывается, что они реализуются как "параболические аффинные гиперсферы" в аффинном пространстве. Но это значит, что они являются графиками отображений, соответствующих решениям вещественного уравнения Монжа-Ампера (Cortes про это почему-то не пишет, но я специально справлялся у Алексеевского, и он подтвердил). Вещественный Монж-Ампер на аффинном многообразии независимо от этого встречается у Концевича-Сойбельмана, в контексте SYZ-структур, получающихся вырождением риччи-плоских метрик. В этом есть какая-то интересная математика, я думаю. Такие дела Миша (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-17 06:15 (ссылка)

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

	Re: Проективное многообразие ... (Анонимно) 2006-06-17 09:43 (ссылка)
	А где посмотреть про тт^* уравнения в контексте специальных Лагранжевых ? Когда-то я читал кого-то из физиков про тт^* и ничего не понял. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие ... (Анонимно) 2006-06-17 17:18 (ссылка)

> А где посмотреть про тт^* > уравнения в контексте специальных Лагранжевых ? Ето не сделано. Люди обычно рассматривають tt^* уравнения в контексте Фробениусовых многообразий. Геометрически ето соответсвует базам АИС, т.е. ситуация здесь гиперкэлерова. В вещественной ситуации геометрия немножко другая, но какой-то аналог tt^* должен существовать. Литература по tt^* уравнениям большая. Мне больше всего нравиться math.AG/0203054, но есть ещё много хороших текстов Дубровина. Привет, Тони (Ответить) (Уровень выше)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-17 09:39 (ссылка)
	А можно сказать что этот 1,1 класс - образ кривой при отображении Абеля-Якоби ? (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-17 17:22 (ссылка)
	В алгебраической ситуации слой ИС есть фактор якобиана какой-то кривой, а (1,1) клас есть образ тета дивизора. Привет, Тони (Ответить) (Уровень выше)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2008-10-14 14:59 (ссылка)
	Спасибо за хороший сайт [Error: Irreparable invalid markup ('<a [...] none;>') in entry. Owner must fix manually. Raw contents below.] Спасибо за хороший сайт <br><a href="http://blblbl.org" text-decoration: none; > <font color="FFFFFF">. </a> (Ответить) (Уровень выше)

	Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-17 09:37 (ссылка)
	А что такое обобщенный примиан ? что такое многообразие Прима-Тюрина ? Я к сожалению абсолютно забыл, но в старом обзоре Тюрина про трифолды (в котором написано про промежуточный Якобиан) там же что-то писалось и про примиан ... Забыл ... Ч. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Проективное многообразие, рационально гомотопическ (Анонимно) 2006-06-17 17:32 (ссылка)

Обобщённый примиан, ето кусок якобиана $J$, который отщепляеться проектором. Т.е. на $J$ задан групповой ендоморфизм $p : J \to J$, удовлетворяющий $p^{2} = p$ и примиан задаётсья как $P:= im(p)$. В классической науке, $p = 1 - \sigma$, где $\sigma$ инволюция на кривой. Многообразия Прима-Тюрина ето специальные обобщенные примианы, для которых $p = 1 - \sigma$, где $\sigma$ некое конечное самосоответсвие на кривой. Привет, Тони (Ответить) (Уровень выше)

	(Анонимно) 2006-06-17 19:01 (ссылка)
	Спасибо большое за комментарии !!! Буду читать Фрида и Кортеса, и дон-маркмана. Ч. (Ответить)