(no subject)
« previous entry | next entry »
Jun. 28th, 2012 | 03:55 pm
Вчера на ночь глядя читал манускрипт, где где-то страницы две ведётся ожесточённая борьба за построение инъективного рационального отображения из кривой рода >=2 в проективную прямую. Хотя может быть я чего-то не понял, и это не рациональное отображение строится. Или ещё чего-то не понял. Засыпал вот только плохо, факт.
Comments {39}
From: katia
Date: Jun. 28th, 2012 - 09:00 pm
Link
Reply | Parent | Thread
From: dmitri83
Date: Jun. 28th, 2012 - 10:16 pm
Link
По весьма нетривиальной тереме Е. Рабинович такая структура интерпретирует поле F, изоморфное k, а по недоказанному обобщению этой теоремы существует определимое отображение C \to F. При этом мы знаем, что само C интерпретируется в k естественным образом (то, что R определимо в поле следует грубо говоря из существования якобиана). Также известно, что при этой интерпретации определимое множество F в C будет интерпретировано как нечто, определимо изоморфное k. Получается, что в k есть определимое отображение из C в k.
Речь о вот этом препринте. А утверждение об инъективности -- в формулировке Proposition~4.1. Я правда теперь перечитал, там не то имеется в виду, строится отображение C \to F^n (в самом 4.1 и далее), но формулировка 4.1 неправильная и сбивает с толку.
Reply | Parent | Thread
From: dmitri83
Date: Jun. 28th, 2012 - 10:24 pm
Link
Reply | Parent