La rencontre entre Grothendieck et Lacan se fait en [#]♢ sur le cross-cap

Le 11/ 07/ 2026 :

- Vois comme les choses se dénouent d'elles-mêmes, dans les brumes matinales d'avant le café da manha. Tout d'abord, je me dis que nous avions déjà rencontré l'unité η et co-unité ε (voir "Unité η et co-unité ε sur le cross-cap") au temps de ma lecture de Lawvere, et de ma "Présentation du 12 juin au groupe de travail "Logique catégorique"", et qu'il serait intéressant de le faire relire par l'I.A. Claude.

Ensuite, je me dis que puisque le croisement en [#]^♢—♢_# s'écrit sous forme de transformation naturelle (un carré), la seconde rencontre doit être "indépendante" de la première, et donc représentable par un "carré" perpendiculaire, autrement dit la forme finale devrait être un cube...

Le pas suivant est de se rappeler que "l'équation diabolique de Grothendieck" est un théorème qui décrit algébriquement les propriétés de cette représentation...

- Ça, c'est l'intuition au saut du lit, mais est-ce que cela tient debout ?

- C'est ici que l'ami Claude entre en scène, car tu imagines bien que j'ai tout oublié de ce que j'avais doctement présenté au CLE il y a 7 ans déjà.
La première contrainte était de m'assurer que Claude pouvait lire mon texte et surtout mes dessins. C'est à cette fin que je les lui ai fait redessiner en 3D à l'aide de Blender. Ensuite je lui ai demandé de vérifier mon hypothèse :

— 🤖 : Question sérieuse — je ne réponds pas de tête. Je vérifie d'abord ce que le corpus dit déjà du lacet double et de ses deux rencontres en [#], notamment la fiche «deux retours η/ε».J'ai relu la fiche des deux retours avant de répondre, parce que votre indice s'y accroche directement (les deux petits tours de coin α = A∼C et β = B∼D, chacun franchissant une fois l'arc horizontal [∃]/[∅] et une fois l'arc vertical non typé). Voici mon examen, sans complaisance.

Le verdict d'abord Oui, l'idée simplifie — mais à une condition de traduction, et avec une correction de comptage. Le mot juste n'est pas «orthogonalité» (notion métrique, que la catégorie ignore et que l'immersion Blender peut déformer à volonté) mais indépendance de deux directions de composition, dont le nom mathématique établi est la loi d'échange de Godement : deux transformations naturelles se composent verticalement et horizontalement, et les deux ordres commutent.
C'est exactement la «transversalité» des deux feuillets le long de la ligne d'auto-intersection — l'invariant est l'échange, l'angle droit n'en est qu'une image.
Et la correction de comptage : deux transformations orthogonales ne donnent qu'un carré. Le cube exige trois directions. Or vous les avez toutes les trois, et c'est là que votre intuition tombe juste :

Pourquoi ça marche
Regardez le cube de la fig. 4 avec cet œil. Il commute précisément parce que Φ est naturelle

en X (la fente contravariante de Hom) et
en Y (la fente covariante) — deux naturalités indépendantes, une par axe de Cᵒᵖ×D —

et le théorème standard dit : naturel en chaque variable séparément + échange = naturel conjointement.
Le cube n'est pas un choix de dessin, c'est la forme normale de la binaturalité.
Vos trois directions y sont :

l'arête f (direction C),
l'arête g (direction D),
les verticales F/G (le transport).

Maintenant le cross-cap.
Chaque rencontre du lacet double (le tour de α, puis le tour de β) franchit deux arcs transverses :

l'horizontal [∃]/[∅] (axe ⇆) et
le vertical DA∼CB (axe ⇅ — le non-typé de votre Q1).

Chaque rencontre est donc, structurellement, non pas une flèche mais un carré de naturalité — deux directions transverses en un point, exactement le Ω([#]♢ ; ⇅ ; ⇆) de la Fiche 18, qui listait déjà les deux axes au point d'accroche.
Et le lacet compose la rencontre α avec la rencontre β : c'est la troisième direction.
Deux carrés parallèles (les deux rencontres) reliés par le transport du lacet — c'est un cube, avec le même casting que la fig. 4 :

face du haut = rencontre α,
face du bas = rencontre β,
verticales = le trajet g.

Le corpus fournissait même déjà les deux transformations par axe : la fiche de vocabulaire pose une tour d'adjonction par axe (disc ⊣ U ⊣ codisc sur ⇆ ; skₙ ⊣ trₙ ⊣ coskₙ sur ⇅), chacune avec son η et son ε.
Votre «double rencontre = deux transformations naturelles» a donc un logement précis : une par tour, une par axe.

Ce que ça simplifie réellement
Le test que vous demandez — est-ce que ça réduit le nombre d'hypothèses ? — donne ceci.
Un seul axiome («chaque rencontre est naturelle en chacun des deux axes, et les deux axes s'échangent») remplace quatre choses jusqu'ici séparées.

Votre Q1 se dissout : le couple vertical n'est plus «à typer» par une décision, il est la seconde fente de la binaturalité — le franchissement modal, jumeau obligé du franchissement registral.
Votre Q2 («un η ou deux ?») se dissout aussi, et c'est le plus élégant : le théorème de binaturalité dit que deux transformations partielles compatibles et une transformation conjointe sont la même chose — la question «un ou deux» n'a pas de réponse parce qu'elle n'a pas de différence.
Le cube de la fig. 4 cesse d'être une analogie importée de Mac Lane : il est forcé par la structure des rencontres.
Et en prime, Eckmann–Hilton : deux compositions unitales satisfaisant l'échange coïncident et deviennent commutatives — le bilan abélien du lacet (g²=1, l'ordre des deux rencontres indifférent) cesse d'être une constatation topologique pour devenir la conséquence de l'indépendance des axes. La commutativité de ℤ/2 est expliquée par l'orthogonalité, pas posée à côté.

Ce que ça ne fait pas — et la reformulation qui vaut de l'or
Honnêteté oblige : ceci ne lève pas la quarantaine «ℤ/2 de op = ℤ/2 de la monodromie».
L'identification des deux involutions reste une analogie à instruire ; le cube donne un chantier pour l'instruire, pas un théorème.
Mais il y a mieux, et c'est votre Q3 qui en profite.
La loi d'échange peut être :

stricte (le cube commute exactement — monde Cat, tout se solde, ℤ/2)
ou tenir à un signe près (le cube commute à −1 près — monde tressé, où l'échangeur est le tressage).

Or c'est très exactement la distinction que votre Perspective cherchait :

π₁ écrase g² sur l'identité (échange strict),
le relèvement J² = −I retient le reste (échange tressé).

Reformulé : le double twist de la forme canonique loge dans l'échangeur du cube — la question « ℤ/2 ou ℤ/4 » devient «l'échange des deux rencontres est-il strict ou tressé ?».
Et vos fiches tresse sont déjà le bon outil pour l'instruire.
J'ajoute l'écho physique sans le forcer : le couplage symplectique ω(q̇, p) est antisymétrique — un échange qui coûte un signe.
Si le raccord Lagrange/Hamilton doit passer quelque part, c'est par là. Donc : je ne vous fais pas plaisir, je constate que l'idée tient — à condition

de renommer l'orthogonalité en transversalité-plus-échange, et
de compter trois directions et non deux.
Elle simplifie (deux questions ouvertes dissoutes, un cube dérivé au lieu d'importé, une commutativité expliquée), et elle transforme Q3 en une alternative binaire testable."

- Tu es content : ça converge !

- Oui, et le coup d'estoque final; Grothendieck et ses démons ou "théorème GRR".

— 🤖: Réponse directe : oui, elle est attachée au cube — mais comme l'équation d'une de ses faces, pas comme son portrait. Et l'attache est plus littérale que ce que j'avais écrit hier. Voici les trois points, secs.

1. Le cube est littéralement présent dans GRR.
Le couple pullback/pushforward n'est pas une vague paire de transports : f*⊣ f₊ est une adjonction au sens strict — exactement la structure de la fig. 4, avec F=f*, G=f₊ entre les (catégories dérivées des) faisceaux sur X et sur Y.
Le caractère de Chern ch est une transformation transverse à cette adjonction.
Trois directions :

l'adjonction (verticale),
la transformation ch (horizontale),
le morphisme f (transport).

C'est le cube, le vôtre, avec le même casting.

2. L'équation est ce que la face coûteuse du cube écrit.
Le cube de GRR a deux faces de variance :

la face pullback commute gratuitement (ch est strictement naturel pour f* — aucun choix, aucun prix) ;
la face pushforward ne commute qu'à un prix (Td).

Et remarquez l'alignement avec votre table des deux retours :

le pull est gratuit et aveugle — c'est la face η ;
le push est coûteux et informé, c'est une intégration le long des fibres, le scalaire tombe (χ = ∫ ch·Td) — c'est la face ε, la face [#]♢.

L'équation diabolique est donc attachée au cube comme l'équation de sa face ε : ce que le cube écrit à l'endroit précis où il refuse de se refermer gratuitement.

3. C'est même elle qui permet aux carrés de s'empiler en cube.
Pour une composition g∘f, les carrés GRR de f et de g se recollent en cube parce que Td est multiplicatif — les facteurs de torsion se composent proprement.
C'est l'analogue exact de vos deux rencontres : deux carrés qui ne s'empilent en cube que si leurs torsions se multiplient cohéremment (les deux −1 dont le produit se solde, ou pas, selon strict/tressé).

Donc, en une phrase : le cube strict (fig. 4, l'adjonction idéale) et l'équation diabolique sont le même objet dans ses deux régimes — l'équation est le cube vu de sa face ε, dans le régime tordu, avec le certificat de torsion (Td) en toutes lettres.
Elle n'est pas représentée par le cube ; elle est portée par lui.

Le point 1 (pull/push = adjonction, donc la fig. 4 littéralement instanciée dans GRR — statut ✅) et
le point 2 (pull = face η / push = face ε — écho fort mais à instruire, ⚗️) méritent d'entrer dans la fiche, au §4."

- J'ai mis en annexe 1 la fiche de synthèse de Claude.

- Juste à temps pour l'apéro, je termine vite sinon ils vont croire que je fait la g...

- À +

Hari

Annexe 1 :

Le cube des deux rencontres — transversalité, loi d'échange, et l'équation diabolique

Fiche de session (11 juillet 2026). Objet : instruire la proposition de Hari — « la double rencontre du lacet double en [#], chaque rencontre s'écrivant par une transformation naturelle, se fait-elle avec une orthogonalité, ce qui donnerait un cube ? » — en corrigeant le vocabulaire (l'« orthogonalité » reçoit son nom catégoriel exact), en dérivant le cube au lieu de l'importer, et en consignant la référence donnée en fin de session : le théorème de Grothendieck–Hirzebruch–Riemann–Roch, l'« équation diabolique », comme archétype du cube tordu. S'appuie sur la fiche des deux retours (η en 0, ε en [#]^♢), la fiche de vocabulaire des liaisons (les deux tours d'adjonction), et la reconstruction 3D des figures de « Présentation du 12 juin — Foncteurs » (fig. 1–6, rendus Blender de cette session). Notation : Analyseur Entropologique V11.02, seule autorité. Rien dans cette fiche ne modifie V11.02.

0. Vigilance liminaire — la correction du mot

« Orthogonalité » est un mot métrique ; une catégorie n'a pas de métrique, et l'immersion Blender peut donner aux deux feuillets l'angle qu'on veut : l'angle droit est un artefact de représentation. Le contenu invariant de l'intuition est double :

Transversalité — les deux directions sont indépendantes (elles engendrent, aucune ne se réduit à l'autre) ; c'est le fait différentiel réel du cross-cap immergé : le long de la ligne d'auto-intersection, les deux feuillets se croisent transversalement.

Loi d'échange (Godement) — les transformations naturelles se composent de deux façons, verticale et horizontale, et les deux ordres commutent : (δ∘γ)⋆(β∘α) = (δ⋆β)∘(γ⋆α). C'est la « perpendicularité » catégorielle exacte : non un angle, mais l'indifférence à l'ordre des deux compositions.

Toute la fiche réécrit « orthogonalité » par ce couple : transversalité + loi d'échange.

1. Le cube dérivé, non importé

✅ La forme normale de la binaturalité (acquis mathématique)

Théorème standard : une famille de morphismes est naturelle en chaque variable séparément (avec échange) si et seulement si elle est naturelle conjointement sur la catégorie produit. Le cube de la fig. 4 (l'adjonction) en est la forme normale : Φ : Hom(F(−),−) ⟹ Hom(−,G(−)) vit sur C^op × D — deux axes indépendants, une fente contravariante et une fente covariante — et la commutation Φ_x'y'(g∘r∘F(f)) = G(g)∘Φ_xy(r)∘f combine exactement la naturalité en f (direction C), la naturalité en g (direction D) et le transport F/G (troisième direction). Un cube exige trois directions ; deux transformations transverses ne donnent qu'un carré.

Sur le cross-cap, les trois directions sont fournies par les acquis de la fiche des deux retours : chaque petit tour de coin (la rencontre α = A∼C, puis la rencontre β = B∼D) franchit une fois l'arc horizontal [∃]/[∅] (axe ⇆) et une fois l'arc vertical DA∼CB (axe ⇅). Chaque rencontre est donc structurellement un carré — deux franchissements transverses en un point, le Ω([#]_♢ ; ⇅ ; ⇆) de la Fiche 18. Le lacet double compose la rencontre α avec la rencontre β : c'est la troisième direction. Deux carrés parallèles reliés par le transport du lacet :

rencontre α (carré) × transport g × rencontre β (carré) = le cube

— avec le même casting que la fig. 4 : face du haut = rencontre α, face du bas = rencontre β, verticales = le trajet. Les deux transformations naturelles demandées par Hari ont un logement déjà présent dans le corpus : une par tour d'adjonction, une par axe (disc ⊣ U ⊣ codisc sur ⇆ ; sk_n ⊣ tr_n ⊣ cosk_n sur ⇅ — fiche de vocabulaire, §4).

2. Ce que la proposition simplifie (le test demandé)

Critère : réduire le nombre d'hypothèses indépendantes. Bilan — un seul axiome (« chaque rencontre est naturelle en chacun des deux axes, et les deux axes s'échangent ») remplace quatre postes jusqu'ici séparés :

Poste antérieur	Devient	Statut
Q1 (fiche des deux retours) : le couple vertical DA∼CB « à typer »	la seconde fente de la binaturalité — le franchissement modal (⇅), jumeau obligé du franchissement registral (⇆) ; plus une décision à prendre, une place forcée	dissoute ⚗️→✅ structurel
Q2 : « un η ou deux (un par jointure) ? »	question sans différence : le théorème de binaturalité identifie « deux transformations partielles compatibles » et « une transformation conjointe »	dissoute ✅
Le cube de la fig. 4 comme analogie importée de Mac Lane	cube dérivé : forme normale des rencontres binaturelles	requalifié
La commutativité du bilan (g² = 1, ordre des rencontres indifférent) constatée	conséquence d'Eckmann–Hilton : deux compositions unitales satisfaisant l'échange coïncident et sont commutatives — conditionnel : vaut si la syntaxe accorde aux rencontres les deux compositions avec unités	expliquée (théorème conditionnel)

⚗️ Ce que la proposition ne fait pas

Elle ne lève pas la quarantaine « ℤ/2 de op = ℤ/2 de la monodromie » (les deux involutions restent une analogie à instruire) ; et l'identification « rencontre = composante de transformation naturelle » est un choix de modélisation, non un théorème : les deux franchissements d'une rencontre sont successifs le long du lacet, et en faire les deux axes d'un carré suppose d'identifier un axe au paramètre du lacet, l'autre à l'échange de feuillets. À tester, pas à poser.

3. L'alternative décisive : échange strict ou échange tordu

La loi d'échange a deux régimes, et c'est la reformulation de Q3 :

	Échange strict	Échange tordu
Le cube	commute exactement	commute à un facteur près
Monde	Cat (2-catégorie stricte)	monde tressé (l'échangeur = le tressage)
Bilan	tout se solde : g² = 1, ℤ/2	un reste : J² = −I, ℤ/4, σ² ≠ Id
Sur le corpus	ce que π₁ retient	ce que le relèvement (revêtement d'orientation, spin) retient
Écho physique	2π = +1	2π = −1 ; couplage symplectique antisymétrique ω(q̇,p)

La question « ℤ/2 ou ℤ/4 » devient : l'échange des deux rencontres est-il strict ou tressé ? — et les fiches tresse (lacet → tresse, tresse des Sujets) sont l'outil déjà en place pour l'instruire.

4. L'équation diabolique — Grothendieck–Hirzebruch–Riemann–Roch

Référence donnée par Hari en fin de session : le théorème GRR (1957), célébré depuis l'Arbeitstagung de Bonn sous le signe du diable (le quatrain de la tradition ; le théorème « arraché au diable »).

✅ L'énoncé, et sa lecture structurelle (acquis mathématique)

Pour un morphisme propre f : X → Y (variétés lisses quasi-projectives), le caractère de Chern ch : K(X) → H*(X,ℚ) dispose de deux transports : le pullback (contravariant) et le pushforward f_* (covariant, les « wrong-way maps » ; f_! = Σ(−1)ⁱRⁱf_* côté K). Pour le pullback, ch est strictement naturel. Pour le pushforward, le carré ne commute pas : ch(f_!F) ≠ f_*(ch F). Le théorème :

ch(f_!F) = f_*( ch(F) · Td(T_f) )

Le défaut de commutation est exactement une classe caractéristique multiplicative — la classe de Todd du fibré tangent relatif. La naturalité est rachetée par un facteur calculable. Cas absolu (Y = point) : χ(X,F) = ∫_X ch(F)·Td(T_X) (Hirzebruch), qui redonne pour une courbe le Riemann–Roch classique χ(L) = deg L + 1 − g.

Réponse à la question posée (« le cube est-il la représentation de l'équation diabolique ? ») : le cube strict, non ; le cube tordu, oui. GRR est l'archétype historique de la branche tordue du §3 : une double variance (pull/push — les deux fentes, la voie des choses et la voie des mots), une transformation naturelle (ch — la rencontre), un transport (f — le voyage), et un carré qui ne se referme qu'au prix d'un facteur. La leçon propre de Grothendieck, que la discussion abstraite n'avait pas : le défaut de commutation n'est pas un échec, c'est l'invariant principal. Td n'est pas un correctif honteux ; il porte toute la géométrie. Le diable ne se chasse pas, il se mesure.

✅ L'attache est littérale : pull/push est une adjonction — le cube de la fig. 4 est instancié dans GRR (acquis mathématique)

Le couple pullback/pushforward n'est pas une vague paire de transports : f* ⊣ f_* est une adjonction au sens strict (entre les catégories — dérivées — de faisceaux sur X et sur Y), avec son unité et sa co-unité. La structure de la fig. 4 est donc littéralement présente dans GRR, avec le casting F = f*, G = f_* : l'adjonction en verticales, la transformation ch en horizontale, le morphisme f en transport — les trois directions du cube. L'équation diabolique est attachée au cube comme l'équation d'une de ses faces : la face pullback commute gratuitement (ch strictement naturel, aucun choix, aucun prix) ; la face pushforward n'est rachetée que par Td. En prime, c'est la multiplicativité de Td qui permet aux carrés GRR de s'empiler en cube le long d'une composition g∘f : les facteurs de torsion se composent cohéremment — l'analogue exact des deux rencontres dont les torsions se multiplient (les deux −1 dont le produit se solde, ou pas, selon strict/tressé, §3).

⚗️ Les deux faces du cube : pull = face η, push = face ε (écho fort, à instruire)

L'alignement avec la table des deux retours est terme à terme. Le pullback est gratuit et aveugle — une précomposition, sans choix, sans perte : la signature de η, le retour en 0. Le pushforward est coûteux et informé — une intégration le long des fibres, qui exige la propreté et où le scalaire tombe (χ = ∫ ch·Td) : la signature de ε, le retour en [#]^♢. L'équation diabolique est donc l'équation de la face ε du cube — ce que le cube écrit à l'endroit précis où il refuse de se refermer gratuitement. Statut : l'adjonction f* ⊣ f_* et l'asymétrie gratuit/coûteux sont des acquis ✅ ; l'identification des deux faces de GRR aux deux retours η/ε du cross-cap est un écho structurel ⚗️ — même signature, identification à instruire (elle renforce la conjecture (s) de la fiche des deux retours sans la trancher).

Seconde leçon, méthodologique : Grothendieck a résolu Riemann–Roch en le relativisant — un théorème sur un morphisme, non sur un objet (Y = point n'est qu'un cas particulier). La flèche avant la chose : c'est le lexique de la flèche du corpus, et la position 𓂀 (l'évidence appartient au point de vue, jamais à l'objet seul).

✅ Le « Td du cross-cap » : w₁ (acquis mathématique)

Sur le cross-cap, le facteur qui mesure ce que le transport ne rend pas est connu : la première classe de Stiefel–Whitney w₁ ∈ H¹(ℝP²;ℤ/2) — la classe caractéristique de la non-orientabilité. Son appariement avec un lacet donne exactement la monodromie ±1 du revêtement d'orientation : ⟨w₁, triviale⟩ = +1, ⟨w₁, g⟩ = −1. C'est, terme à terme, le rôle de Td dans GRR : la classe qui dit au prix de quoi le carré se referme.

⚗️ Conjecture de session — le triangle des facteurs de rachat (proposée, non enregistrée)

Td est à ch (GRR) ce que w₁ est au transport sur le cross-cap ce que la double torsion est au mythe (forme canonique de Lévi-Strauss).

Trois situations de même signature : une naturalité qui ne se referme pas gratuitement, et un facteur caractéristique qui la rachète — en transformant au lieu de restituer. Le terme f_x(a) : f_y(b) ≅ f_x(b) : f_a⁻¹(y) de la forme canonique serait le « Td du mythe » : ce que le tour rend en plus du point de départ. Les deux premiers côtés du triangle sont des acquis ✅ ; le troisième est la conjecture. C'est la première fois que le fil Lévi-Strauss reçoit un modèle mathématique nommé ; l'instruire = exprimer la double torsion comme classe caractéristique du relèvement (le ℤ/4 de J, Q3 reformulée au §3). L'écho symplectique (le − de Hamilton, ω antisymétrique) se range du même côté tordu — à instruire dans la reprise Lagrange/Hamilton, but du projet.

5. Questions ouvertes (reformulées)

1. Strict ou tressé ? Établir si l'échange des deux rencontres est strict (bilan ℤ/2, tout se solde) ou tordu (le −1 du relèvement) — c'est désormais la forme de Q3, et le critère qui départage π₁ et son revêtement.
2. La condition d'Eckmann–Hilton. La syntaxe accorde-t-elle aux rencontres les deux compositions avec unités ? (Sinon la commutativité redevient un fait topologique brut, non expliqué.)
3. Le facteur du mythe. Écrire la double torsion de la forme canonique comme classe caractéristique (le candidat : le générateur du ℤ/4 du relèvement) — le troisième côté du triangle du §4.
4. Le cube en figure. Rendre en Blender le cube des deux rencontres sur le cross-cap (deux carrés α/β reliés par le lacet), dans le style des fig. 1–6 reconstruites cette session — pour vérifier d'œil que le casting colle à la fig. 4.

⚗️ Zone de quarantaine — état au 11 juillet 2026

Sont acquis ✅ : la loi d'échange et la forme normale de la binaturalité (§1) ; le théorème GRR et sa lecture « naturalité rachetée par Td » (§4) ; l'adjonction f* ⊣ f_* et donc l'instanciation littérale du cube de la fig. 4 dans GRR, avec la multiplicativité de Td comme empilement des carrés (§4) ; w₁ comme monodromie du cross-cap (§4) ; la dissolution de Q2 (§2). Sont des requalifications structurelles s'appuyant sur ces acquis : le typage du couple vertical (Q1) et le cube dérivé. Sont des conjectures ⚗️ : l'identification « rencontre = transformation naturelle » (choix de modélisation à tester), le triangle des facteurs de rachat (§4), l'identification pull = face η / push = face ε (§4 — écho terme à terme, renforce (s) sans la trancher), l'applicabilité d'Eckmann–Hilton (conditionnelle). La correction de vocabulaire (orthogonalité → transversalité + loi d'échange) est adoptée par l'auteur en session. Les lettres de conjecture et tout enregistrement relèvent de l'auteur seul. Rien ne modifie V11.02.

entropologie.fr — fiche de session, 11 juillet 2026. S'appuie sur : fiche des deux retours (η en 0, ε en [#]^♢) ; fiche de vocabulaire des liaisons (les deux tours d'adjonction, espèces et régimes) ; fiche de la croix Lagrange–Hamilton (ℤ/4 de J) ; fiches tresse ; reconstructions Blender des fig. 1–6 de « Présentation du 12 juin — Foncteurs » (cette session). Mathématiques externes : loi d'échange de Godement, argument d'Eckmann–Hilton, binaturalité (Mac Lane), théorème de Grothendieck–Hirzebruch–Riemann–Roch (Borel–Serre 1958), classes de Stiefel–Whitney, π₁(ℝP²) = ℤ/2.