Schémas Associatifs et Sous-schémas

Informations Fondamentales

• ID de l'article: 2511.09176
• Titre: Associative Schemes and Subschemes
• Auteur: Arvid Siqveland
• Classification: math.AG (Géométrie Algébrique)
• Date de publication: 13 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.09176

Résumé

Cet article, basé sur les travaux de l'auteur concernant la théorie de la localisation des anneaux associatifs dans la prépublication arXiv:2511.07900, construit un cadre théorique complet pour les schémas associatifs. L'auteur définit le concept de modules aprime (modules simples des anneaux associatifs et leurs contractions), et dote aSpecA d'une structure topologique qui dégénère en la topologie de Zariski classique dans le cas commutatif. En construisant un faisceau d'anneaux associatifs, cet article démontre que la théorie des schémas peut être généralisée au cas non-commutatif, et que les sous-schémas peuvent être étudiés par restriction à des sous-ensembles. Il est particulièrement important que cet article démontre que la géométrie algébrique réelle peut être étudiée via des variétés sur les complexes, c'est-à-dire par restriction $\mathbb{R} \subseteq \mathbb{C}$, de sorte que la théorie des schémas sur les corps algébriquement clos et ses généralisations associatives s'appliquent à la géométrie algébrique réelle.

Contexte et Motivation de la Recherche

1. Problème Central

Le problème central que cet article résout est: Comment généraliser la théorie des schémas de la géométrie algébrique classique au cas de l'algèbre non-commutative (associative), et l'appliquer à la géométrie algébrique réelle?

2. Importance du Problème

• Limitations de la géométrie algébrique réelle: La géométrie algébrique réelle peut être considérée comme une généralisation de la théorie des variétés, mais l'algèbre polynomiale $\mathbb{R}[x_1,\ldots,x_n]$ sur le corps des réels contient plus de modules simples que de points dans $\mathbb{R}^n$. Par exemple, $(x^2+1) \subset \mathbb{R}[x]$ est un idéal maximal mais n'a pas de racine dans $\mathbb{R}$.
• Besoins d'applications en physique: Les applications en physique nécessitent une généralisation à la géométrie algébrique associative, ainsi qu'une généralisation des métriques riemanniennes continues (voir les travaux de Laudal). Les métriques riemanniennes sont définies sur les réels, mais les propriétés algébriques sont plus faciles à contrôler sur les corps algébriquement clos.
• Problème de classification des modules: Les modules simples de dimension finie sur l'algèbre non-commutative ne peuvent pas toujours être classifiés par une algèbre commutative finiment engendrée (le Lemme 1 le démontre).

3. Limitations des Méthodes Existantes

• La théorie classique des schémas s'applique uniquement aux anneaux commutatifs; il manque une théorie systématique de la localisation pour le cas non-commutatif
• Le corps des réels n'est pas algébriquement clos, ce qui entraîne l'absence d'une bijection entre les points et les idéaux maximaux
• Il manque un cadre unifié pour traiter les espaces de modules d'objets algébriques associatifs

4. Motivation de la Recherche

La motivation de l'auteur est de construire une $\mathbb{C}$-algèbre $A_\mathbb{R}$ telle que $\text{Simp}(A_\mathbb{R}) \cong \mathbb{R}^n$, c'est-à-dire que les points dans $\mathbb{R}^n$ correspondent bijectivement aux modules simples $A_\mathbb{R}$, de sorte que aSpec$(A_\mathbb{R})$ devienne un espace de modules fin.

Contributions Principales

1. Définition des modules aprime et aSpec: Généralisation du spectre premier du cas commutatif, de sorte que lorsque $A$ est commutatif, aSpec$A$ = Spec$A$.
2. Construction de la topologie et de la structure de faisceau des schémas associatifs: Définition d'une topologie sur aSpec$A$ (qui dégénère en la topologie de Zariski dans le cas commutatif) et d'un faisceau d'anneaux associatifs $\mathcal{O}_X$.
3. Établissement de la théorie de la localisation: Basée sur les travaux de la prépublication 11, construction explicite de l'anneau de fonctions locales $A_M$ pour les anneaux associatifs.
4. Développement de la théorie des sous-schémas: Démonstration que les faisceaux et la topologie peuvent être restreints à tout sous-ensemble $V \subseteq$ aSpec$A$, construisant des sous-schémas induits.
5. Résolution du problème de la géométrie algébrique réelle: Démonstration que la géométrie algébrique réelle peut être étudiée via des variétés complexes, par restriction $\mathbb{R} \subseteq \mathbb{C}$, de sorte que les points dans $\mathbb{R}^n$ correspondent bijectivement aux points fermés dans $\mathbb{A}^n_\mathbb{C}(\mathbb{R})/\mathbb{C}$.
6. Fourniture de fondations théoriques: Fourniture de fondations théoriques des schémas pour la théorie des espaces de modules d'objets algébriques associatifs.

Explication Détaillée des Méthodes

Définition de la Tâche

La tâche de cet article est de construire un cadre théorique des schémas pour la géométrie algébrique non-commutative, incluant spécifiquement:

• Entrée: Anneau associatif $A$ (avec unité)
• Sortie: Espace topologique aSpec$A$ et faisceau d'anneaux associatifs $\mathcal{O}_X$ sur celui-ci, formant un schéma associatif $(X, \mathcal{O}_X)$
• Conditions de contrainte: Lorsque $A$ est commutatif, la théorie doit dégénérer en la théorie classique des schémas

Construction des Concepts Fondamentaux

1. Extension et Contraction de Modules (Définition 1)

Pour un homomorphisme d'anneaux associatifs $\varphi: A \to B$:

• Extension: Un $B$-module $M$ est appelé extension d'un $A$-module $M$ si le morphisme de structure satisfait le diagramme commutatif
• Contraction: Un $A$-module $M$ est appelé contraction d'un $B$-module $M$

Observation clé: L'extension et la contraction de modules simples ne sont pas nécessairement simples. Par exemple, $M = \mathbb{C}[x]/(x^2+1)$ en tant que $\mathbb{R}[x]$-module ou $\mathbb{C}[x]$-module n'est pas simple, bien que $M_\mathbb{R} = \mathbb{R}[x]/(x^2+1)$ soit un module simple $\mathbb{R}[x]$.

2. Modules Aprime (Définition 2)

Un $A$-module à droite $M$ est appelé aprime s'il existe un homomorphisme d'anneaux $\iota_M: A \to B$ tel que $M$ en tant que $B$-module soit simple.

Lemme clé (Lemme 3): Lorsque $A$ est commutatif, il existe une bijection Spec$A \cong$ aSpec$A$.

• Un idéal premier $p \subset A$ correspond à $A_p/pA_p$ (module aprime)
• Un module aprime $M$ correspond à $\iota_M^{-1}(m)$ (idéal premier)

3. Anneau de Fonctions Locales (Définition 3)

Pour $M = \oplus_{i=1}^r M_i$ (somme directe de modules simples), on définit:

• $D_M = \oplus_{i=1}^r \text{End}_A(M_i)$ (somme directe de corps)
• $D_M^* = \{s \in D_M | \gamma_i(s) \neq 0, 1 \leq i \leq r\}$ (ensemble des unités)
• Anneau de fonctions locales $A_M \subseteq E_M = \text{End}_\mathbb{Z}(M)$ est le sous-anneau engendré par $\text{im }\eta_M^A$ et $\{\eta_M^A(s)^{-1} | \eta_M^A(s) \in D_M \setminus (0)\}$

Propriété universelle: $A_M$ satisfait la propriété universelle de la localisation; lorsque $A$ est commutatif et $M = A/m$, on a $A_M \cong A_m$.

Structure Topologique

Pour $f \in A$, on définit l'ensemble ouvert: $D(f) = \{M \in \text{aSpec}A \mid \ker(\eta_M^A(f)) = 0\}$

Ces ensembles ouverts $\{D(f)\}_{f \in A}$ engendrent la topologie sur aSpec$A$; dans le cas commutatif, c'est la topologie de Zariski.

Structure de Faisceau (Définition 4)

Définition du préfaisceau: Pour un ensemble ouvert $U \subseteq$ aSpec$A = X$, $\mathcal{O}_X(U) = \varprojlim_{M \subseteq U} A_M$ où $M$ est un sous-ensemble fini de modules simples dans $U$.

Faisceautisation: $\mathcal{O}_X(U) = \varprojlim_{V \subsetneq U} \mathcal{O}_X(V)$

Propriété clé (Proposition 1): $\mathcal{O}_{\text{aSpec}A}(\text{aSpec}A) \cong A$

Construction des Sous-schémas (Section 4)

Pour $\tilde{Y} \subseteq X$ (sous-ensemble arbitraire):

1. Attribution de la topologie induite
2. Pour chaque ouvert affine $U =$ aSpec$A$, définition de $U_{\tilde{Y}} = \tilde{Y} \cap U$
3. Définition du sous-faisceau: $\mathcal{O}_{\tilde{Y}}(U_{\tilde{Y}}) = \varprojlim_{M \subseteq U_{\tilde{Y}}} A_M$

Cela construit le sous-schéma associatif induit $(Y, \mathcal{O}_Y)$.

Points sur la Clôture Algébrique (Section 5)

Définition clé (Définition 7): Pour un schéma associatif $X$ sur un corps $k$, soit $\bar{X} = X \times_k \bar{k}$, on définit: $\tilde{X}(k) = \{x \in X \subseteq \bar{X} \mid x \text{ est simple}\} \subseteq \bar{X}$

Le sous-schéma associatif induit $X(k)$ est appelé le sous-schéma associatif des points $k$.

Proposition clé (Proposition 3): Si $M$ est un $A$-module de dimension finie sur $k$, et si $M \otimes_k \bar{k}$ est un module simple $\bar{A}$, alors $M$ est un module simple $A$.

Points d'Innovation Technique

1. Systématisation de la Localisation Non-Commutative

Basée sur les résultats de 11, cet article fournit une construction explicite de la localisation des anneaux associatifs, en définissant l'anneau de fonctions locales via la somme directe de corps $D_M$ et son ensemble d'unités, ce qui est une généralisation naturelle du cas commutatif.

2. Introduction du Concept Aprime

En définissant les modules aprime par la dualité "extension-contraction", on unifie les concepts de modules simples et d'idéaux premiers, de sorte que le cas commutatif devient un cas particulier.

3. Construction de Faisceau par Limite Projective

Utilisation de limite projective double:

• Premier niveau: limite sur les sous-ensembles finis de modules simples dans $U$
• Deuxième niveau: limite sur les ensembles ouverts imbriqués (faisceautisation)

Cette construction satisfait automatiquement les axiomes de faisceau, ce qui est techniquement très élégant.

4. Flexibilité des Sous-schémas

Démonstration que les sous-schémas induits peuvent être construits sur tout sous-ensemble arbitraire (pas seulement les sous-ensembles fermés), ce qui est plus flexible que la théorie classique.

5. Technique de Restriction Réel-Complexe

Par l'incorporation $\mathbb{R} \subseteq \mathbb{C}$, on transforme les problèmes de géométrie réelle en problèmes de géométrie complexe, en exploitant les bonnes propriétés des corps algébriquement clos. C'est une approche innovante pour résoudre les difficultés de la géométrie algébrique réelle.

Configuration Expérimentale

Note: Cet article est un article de mathématiques pures théoriques et ne contient pas d'expériences numériques ou computationnelles. Tous les résultats sont des preuves mathématiques rigoureuses.

Vérification Théorique

L'article vérifie la correction de la théorie par les moyens suivants:

1. Vérification de Cohérence dans le Cas Commutatif: Démonstration que lorsque $A$ est commutatif, toutes les définitions dégénèrent en la théorie classique des schémas (Lemme 3, Proposition 1)
2. Exemples Concrets:
   • Exemple 1: Cas de $\mathbb{R}[x]$, montrant que $(x^2+1)$ est un idéal maximal mais n'a pas de racine réelle
   • Lemme 1: Calcul de la dimension de $\text{Ext}^1_A(M_P, M_Q)$, démontrant la différence essentielle du cas non-commutatif
3. Vérification de Propriété Universelle: Démonstration que $A_M$ satisfait la propriété universelle de la localisation

Résultats Expérimentaux

Théorèmes Principaux

Théorème (implicite dans Proposition 2 et Exemple 1):

1. Pour un anneau commutatif $A$ et un idéal $a \subseteq A$: $\mathcal{O}_{Z(a)}(Z(a)) = A/a$
2. Pour $\mathbb{R}^n$, il existe une $\mathbb{C}$-algèbre $A_\mathbb{R}$ telle que les points dans $\mathbb{R}^n$ correspondent bijectivement aux points fermés dans $\mathbb{A}^n_\mathbb{C}(\mathbb{R})/\mathbb{C}$.

Résultats de Preuve des Lemmes Clés

Résultat du Lemme 1: Pour $P, Q \in k^n$, $\dim_k \text{Ext}^1_A(M_P, M_Q) = \begin{cases} n, & P = Q \\ 0, & P \neq Q \end{cases}$

Cela indique:

• Lorsque $P = Q$, l'espace de déformation du module est $n$-dimensionnel
• Lorsque $P \neq Q$, il n'y a pas d'extension non-triviale entre les modules
• Les modules simples de dimension finie sur l'algèbre non-commutative ne peuvent pas être classifiés par une algèbre commutative finiment engendrée

Application du Lemme 4: Démonstration que l'extension tensorielle d'espaces vectoriels de dimension finie préserve l'isomorphisme, ce qui est technique clé pour la Proposition 3.

Cohérence Théorique

L'article démontre avec succès la cohérence suivante:

1. Compatibilité avec la Théorie Classique: Tous les cas commutatifs dégénèrent correctement
2. Compatibilité avec la Théorie des Catégories: La construction est compatible avec le cadre théorique des catégories (référence 10)
3. Compatibilité avec la Théorie de la Localisation: Compatible avec la propriété universelle dans 11

Travaux Connexes

1. Géométrie Algébrique Classique

• Atiyah-MacDonald 1: Fondations de l'algèbre commutative et théorie des schémas
• Cet article généralise les concepts de spectre premier et de localisation au cas non-commutatif

2. Théorie de la Déformation Non-Commutative

• Eriksen-Laudal-Siqveland 2: Théorie de la déformation non-commutative
• Le Lemme 1 de cet article utilise les techniques de calcul de $\text{Ext}^1$ du livre 2

3. Travaux Antérieurs de l'Auteur

• 11 Localization in Associative Rings: Fondation théorique de cet article, prouvant l'existence et la propriété universelle de $A_M$
• 10 Schemes of Objects in Abelian Categories: Preuve de l'existence de faisceaux donnés par la topologie et les sous-catégories de localisation
• 5 Associative Schemes (2024): Théorie des espaces de modules fins
• 4 Associative Algebraic Geometry (2023): Monographie systématique

4. Applications en Physique

• Laudal 3 Mathematical Models in Science: Besoin de géométrie algébrique associative dans les applications physiques

Contribution Unique de Cet Article

Par rapport aux travaux connexes, cet article:

1. Fournit pour la première fois une théorie complète des sous-schémas associatifs
2. Résout le problème de correspondance point-module en géométrie algébrique réelle
3. Fournit un cadre unifié du commutatif au non-commutatif

Conclusion et Discussion

Conclusions Principales

1. Complétude de la Théorie des Schémas Associatifs: Cet article établit un cadre théorique complet pour les schémas associatifs, incluant la topologie, la structure de faisceau et les sous-schémas.
2. Solution pour la Géométrie Algébrique Réelle: Démonstration que la géométrie réelle peut être étudiée via des variétés complexes; les points de $\mathbb{R}^n$ correspondent bijectivement aux modules simples de la $\mathbb{C}$-algèbre $A_\mathbb{R}$.
3. Auto-Cohérence de la Théorie: Toutes les constructions dégénèrent correctement en la théorie classique dans le cas commutatif, prouvant la naturalité de la généralisation.
4. Géométrisation des Espaces de Modules: Fourniture d'une description théorique des schémas pour les espaces de modules d'objets algébriques associatifs, de sorte que aSpec$(A_\mathbb{R})$ devienne un espace de modules fin.

Limitations

1. Complexité Technique: La théorie dépend de nombreux travaux antérieurs (particulièrement 10 et 11); la compréhension complète nécessite une formation profonde en algèbre non-commutative et théorie des catégories.
2. Absence de Calculs Concrets: L'article est principalement une construction théorique, manquant de calculs détaillés d'exemples non-triviaux (à l'exception de l'Exemple 1).
3. Hypothèse de Dimension Finie: La Proposition 3 exige que les modules soient de dimension finie; le cas de dimension infinie n'est pas discuté.
4. Abstraction des Applications: Bien que les applications en physique soient mentionnées, aucun modèle physique concret ou exemple d'application n'est fourni.
5. Nécessité de la Faisceautisation: Dans la Définition 4, il est indiqué que la faisceautisation est redondante (satisfaite automatiquement par la propriété universelle), mais aucune preuve détaillée n'est donnée.

Directions Futures

Les directions de recherche futures suggérées par l'article:

1. Étude d'Exemples Concrets: Construction de plus d'exemples non-triviaux de schémas associatifs, particulièrement ceux liés à la physique.
2. Théorie de la Cohomologie: Développement de la théorie de la cohomologie pour les schémas associatifs (similaire à la cohomologie des faisceaux).
3. Théorie des Morphismes: Étude approfondie des propriétés des morphismes entre schémas associatifs.
4. Applications aux Espaces de Modules: Application de la théorie aux problèmes concrets de classification des modules.
5. Généralisation de Dimension Infinie: Étude du cas des modules de dimension infinie.
6. Connexion avec la Géométrie Riemannienne: Réalisation de l'algébrisation des métriques riemanniennes continues proposée par Laudal.

Évaluation Approfondie

Avantages

1. Innovativité Théorique ★★★★★

• Généralisation Fondamentale: Généralisation de la théorie des schémas des anneaux commutatifs aux anneaux associatifs, ce qui est un progrès théorique majeur en géométrie algébrique
• Naturalité des Concepts: La définition des modules aprime par dualité extension-contraction unifie les modules simples et les idéaux premiers
• Percée Technique: Basée sur la théorie de la localisation de 11, résolution des difficultés techniques clés du cas non-commutatif

2. Rigueur Mathématique ★★★★★

• Toutes les définitions sont claires et précises; les preuves des théorèmes sont rigoureuses
• La compatibilité avec la théorie classique est vérifiée systématiquement
• Le cadre théorique des catégories garantit l'universalité de la construction

3. Importance du Problème ★★★★☆

• Géométrie Algébrique Réelle: Résolution du problème fondamental de la non-correspondance entre points et idéaux maximaux sur le corps des réels
• Théorie des Espaces de Modules: Fourniture d'un langage géométrique pour les objets non-commutatifs
• Potentiel d'Application en Physique: Fourniture de fondations théoriques pour la géométrie quantique et la géométrie non-commutative

4. Clarté de la Structure ★★★★☆

• La logique de l'article est claire, construisant progressivement la théorie complète à partir des définitions fondamentales
• La comparaison avec la théorie classique traverse tout l'article, aidant à la compréhension
• L'organisation des lemmes et propositions est raisonnable

Insuffisances

1. Défi de Lisibilité ★★★☆☆

• Dépendance Forte: Dépendance sévère des prépublications non publiées 10 et 11; les lecteurs ont du mal à comprendre indépendamment
• Exigences de Contexte Élevées: Nécessite une formation profonde en algèbre non-commutative, théorie des catégories et géométrie algébrique
• Densité de Symboles: Grande quantité de symboles abstraits et de diagrammes commutatifs; manque d'explications intuitives

2. Insuffisance d'Exemples ★★☆☆☆

• Seulement un exemple concret (Exemple 1), relativement simple
• Manque de calculs détaillés d'exemples non-triviaux non-commutatifs
• Bien que le calcul du Lemme 1 soit important, c'est seulement une motivation

3. Insuffisance de Démonstration d'Applications ★★☆☆☆

• Bien que les applications en physique soient soulignées, aucun modèle physique concret n'est fourni
• L'application à la géométrie algébrique réelle est seulement une explication de principe; manque de résolution de problèmes concrets
• La connexion avec la géométrie riemannienne est seulement mentionnée dans l'introduction

4. Omission de Détails Techniques ★★★☆☆

• La redondance de la faisceautisation dans la Définition 4 n'est pas prouvée
• Certains lemmes (comme le Lemme 2) sont des résultats standards mais des preuves sont données, tandis que certaines affirmations non-triviales sont omises
• Certaines propriétés des sous-schémas induits (comme l'affinie) ne sont pas discutées en détail

5. Relation avec la Géométrie Non-Commutative Existante ★★☆☆☆

• Pas de discussion de la relation avec la géométrie non-commutative de Connes
• Pas de comparaison avec la géométrie des groupes quantiques et des algèbres de Hopf
• La relation avec d'autres théories des schémas non-commutatifs (Rosenberg, Van den Bergh, etc.) n'est pas claire

Évaluation de l'Impact

1. Contribution Théorique ★★★★★

• Fourniture d'un cadre théorique systématique des schémas pour la géométrie algébrique non-commutative
• Résolution du problème fondamental en géométrie algébrique réelle
• Peut devenir un travail fondateur dans ce domaine

2. Valeur Pratique ★★★☆☆

• Court Terme: Principalement une valeur théorique; les applications pratiques nécessitent un développement ultérieur
• Long Terme: Si la connexion avec la physique est réalisée, peut avoir des applications importantes
• Outil Technique: Fournit de nouveaux outils pour l'étude des espaces de modules non-commutatifs

3. Reproductibilité ★★☆☆☆

• Les constructions théoriques sont en principe reproductibles, mais dépendent de travaux non publiés
• L'absence d'exemples de calcul rend difficile la réalisation d'applications concrètes
• Nécessite la série de travaux de l'auteur comme fondation

4. Potentiel de Recherche Ultérieure ★★★★★

• Ouverture de nouvelles directions de recherche: cohomologie des schémas associatifs, théorie des morphismes, etc.
• Fourniture d'une nouvelle perspective pour la théorie des espaces de modules
• Peut stimuler de nouveaux développements en géométrie non-commutative

Scénarios Applicables

1. Recherche Mathématique Théorique

• Géométrie Algébrique: Étude des propriétés géométriques des anneaux non-commutatifs
• Théorie des Représentations: Géométrisation des espaces de modules
• Algèbre Non-Commutative: Étude de la structure géométrique des algèbres associatives

2. Géométrie Algébrique Réelle

• Résolution de problèmes géométriques réels via complexification
• Étude de l'algébrisation des variétés réelles

3. Physique Mathématique (Potentiel)

• Fondations mathématiques de la géométrie quantique et de l'espace-temps non-commutatif
• Algébrisation de la géométrie riemannienne (nécessite développement ultérieur)

4. Théorie des Espaces de Modules

• Problèmes de classification des modules d'objets non-commutatifs
• Géométrisation de la théorie de la déformation

Évaluation Globale

Ceci est un article théorique ambitieux qui tente d'établir des fondations complètes de la théorie des schémas pour la géométrie algébrique non-commutative. Les principaux avantages sont:

1. Profondeur Théorique: Fourniture d'une généralisation systématique du commutatif au non-commutatif
2. Innovation Technique: Construction de la structure de faisceau basée sur la nouvelle théorie de la localisation
3. Importance du Problème: Résolution des difficultés fondamentales de la géométrie algébrique réelle

Les principales insuffisances sont:

1. Lisibilité: Dépendance forte; exemples insuffisants
2. Démonstration d'Applications: Manque d'applications concrètes non-triviales
3. Relation avec la Théorie Existante: Discussion insuffisante de la relation avec les théories existantes

Valeur Académique: ★★★★☆ (4.5/5) - Contribution théorique importante, mais l'impact dépend de travaux ultérieurs

Valeur Pratique: ★★★☆☆ (3/5) - Actuellement principalement un outil théorique; les applications pratiques restent à développer

Indice de Recommandation:

• Pour les chercheurs en géométrie non-commutative: ★★★★★
• Pour les chercheurs en géométrie algébrique: ★★★★☆
• Pour les chercheurs en mathématiques appliquées: ★★☆☆☆

Références

Littérature clé citée dans l'article:

1. M.F. Atiyah, I.G. MacDonald - Introduction to Commutative Algebra (1969): Manuel classique d'algèbre commutative
2. E. Eriksen, O.A. Laudal, A. Siqveland - Noncommutative Deformation Theory (2017): Monographie sur la théorie de la déformation non-commutative
3. O.A. Laudal - Mathematical Models in Science (2021): Motivation pour les applications en physique
4. Arvid Siqveland - Associative Algebraic Geometry (2023): Monographie systématique de l'auteur
5. A. Siqveland - arXiv:2511.07900 Localization in Associative Rings (2025): Fondation théorique de cet article
6. A. Siqveland - arXiv:2511.04191 Schemes of Objects in Abelian Categories (2025): Théorie de l'existence des faisceaux

Recommandations de Lecture:

1. Nécessite d'abord la lecture de 11 sur la localisation
2. Familiarité avec l'algèbre commutative et la théorie classique des schémas
3. Accent particulier sur la Section 3 (définition des schémas) et la Section 5 (points sur la clôture algébrique)
4. Pour les lecteurs orientés vers les applications, commencer par l'Exemple 1 et la motivation de la géométrie algébrique réelle