Bonjour à tous,

La conjecture de Hodge rationnelle affirme que l'application linéaire entre espaces vectoriels : est surjective.

J'ai une question à ce propos :

On sait que d'après le théorème de dualité de Poincaré que le pairing suivant : défini par : est non dégénéré. Cela implique que : est le dual de

On sait aussi que d'après le théorème de dualité de Kodaira - Serre, que le pairing suivant : défini par : est non dégénéré. Cela implique que : est le dual de

Ma question est la suivante :

Comment établir que le pairing : défini par est non dégénéré, et pouvoir montrer ainsi que : et le dual de ?

Merci d'avance.