Conjecture de Hodge : quelles classes de cohomologie viennent de la géométrie ?
Résumé
Un pont conjecturé entre l'algèbre, l'analyse et la géométrie, sur les variétés projectives complexes.
Équations
Reproduites exactement comme déposées. Elles font partie de ce qui est signé.
LaTeX
H^{k,k}(X) \cap H^{2k}(X,\mathbb{Q}) \;\overset{?}{=}\; \text{classes algébriques}Ce problème n'est pas de nous. Horizon Builder le pose ici pour qu'on y travaille, avec une date et une signature — pour que celui ou celle qui y apportera quelque chose puisse le prouver.
L'énoncé
Sur une variété projective complexe non singulière, toute classe de Hodge rationnelle est-elle une combinaison rationnelle de classes de sous-variétés algébriques ?
Pourquoi ça compte
C'est la question de savoir si un objet défini analytiquement — par de la cohomologie — est toujours **construit géométriquement**. Elle relie trois langages que les mathématiciens du XXᵉ siècle ont passé cinquante ans à raccorder.
Ce qu'on sait
- Vraie pour k = 1 : c'est le théorème de Lefschetz sur les classes (1,1).
- Vraie pour les variétés abéliennes en petite dimension, pour de nombreuses familles.
- La version entière de la conjecture est FAUSSE : Atiyah et Hirzebruch l'ont réfutée en 1961. Seule la version rationnelle tient encore.
Ce qui compterait comme progrès
Une nouvelle famille de variétés où la conjecture est démontrée. Une avancée sur les conjectures standard de Grothendieck, dont elle dépend étroitement.
Pour commencer
Clay Mathematics Institute : https://www.claymath.org/millennium-problems/
Contribuer
Déposez une solution — même partielle, même une piste qui échoue — avec le bouton « Proposer une solution » en bas de cette page. Elle sera signée à votre nom, datée, ancrée dans Bitcoin et rattachée à ce problème.
- une réduction, un cas particulier, une borne : ça compte
- un contre-exemple à une approche courante : ça compte aussi
- une objection argumentée à une solution déposée : ça compte encore
La preuve
✓Signature du club : valide
✓Contenu inchangé depuis le dépôt
✓Maillon de chaîne correct
✕Ancrage Bitcoin toujours pas confirmé après 5 jours — c'est anormal, et la preuve reste incomplète tant que ce n'est pas résolu
29caf013f2b8a3b1991263296f6f1aa6e6bfdf1b23b3faec54ba7bac6474125f
256c8babd6630357b75c550af65645e223dd568a9fa971ed5da14e0fd1799280
Télécharger la preuve (.ots) Télécharger les octets signés
Vérifier vous-même, sans nous
Téléchargez les deux fichiers, puis : ots upgrade preuve.ots et ots verify preuve.ots -f octets-signes.txt avec le client officiel OpenTimestamps. La signature du club se vérifie avec la clé publique publiée sur /api/club/cle.
Comment citer ce dépôt
L'empreinte fait partie de la citation : elle permet à qui vous lit de vérifier que le dépôt cité est bien celui qu'il consulte.
Licence : Tous droits réservés — aucune réutilisation sans l'accord de l'auteur
Horizon Builder, « Conjecture de Hodge : quelles classes de cohomologie viennent de la géométrie ? », THOTH — Horizon Builder, dépôt n°4, 2026-09-09, SHA-256 29caf013f2b8a3b1991263296f6f1aa6e6bfdf1b23b3faec54ba7bac6474125f, https://horizonbuilder.space/registre/4BibTeX
@misc{thoth4,
author = {Horizon Builder},
title = {Conjecture de Hodge : quelles classes de cohomologie viennent de la géométrie ?},
howpublished = {THOTH --- Horizon Builder, dépôt no. 4},
year = {2026},
note = {SHA-256 29caf013f2b8a3b1991263296f6f1aa6e6bfdf1b23b3faec54ba7bac6474125f},
url = {https://horizonbuilder.space/registre/4}
}Vous avez une piste ?
Déposez votre solution, même partielle : elle sera signée à votre nom, datée, et rattachée à ce problème. Une piste qui ne marche pas mais qu'on peut lire vaut mieux qu'une idée que personne ne verra jamais.
Proposer une solution →Ce sont de simples liens : aucun script de réseau social n'est chargé sur cette page.
Commentaires
Aucun commentaire pour l'instant.
Les commentaires sont réservés aux membres du club. Demander ma carte de membre →