Re: Проективное многообразие ...
> ГИПОТЕЗА Пусть М - компактное многообразие
> Фано (оно, кажется, а постериори односвязно),
> с рациональными когомологиями, изоморфными
> усеченным полиномам. Верно ли, что M
> изоморфно CP^n?

Не нравиться мне ета формулировка. Условие Фано слишком нетопологическое. Хотелось бы иметь гиотезу которая формулируеться только на уровне теории Ходжа.

> С другой стороны,
> гомотопическая эквивалентность кэлеровых
> многообразий размерности >2 эквивалентна
> диффеоморфности (Сулливан, вроде бы).

Я думал что у Сулливана было конечное число диффеоморфных типов в каждом гомотопическом типе?

> Доказательство Яу следует из неравенства между
> c_1^2 и c_2, если я не ошибаюсь.

Да действительно! Я сейчась пытаюсь понять нельзя ли вывести интерсные следствия из такой пропорциональности для схематического гомотопического типа.

Привет,

Тони