Factorization of rank two theta functions. II. Proof of the Verlinde formula.
Nous définissons deux notions nouvelles en géométrie analytique réelle, celle de fonction Nash-analytique et celle de faisceau semi-cohérent. Avec ces notions, nous obtenons des théorèmes de cohérence analogues à ceux du cas complexe (théorème de cohérence d’Oka, théorème de l’image directe, cohérence d’un ensemble analytique complexe).
Un fibré vectoriel holomorphe sur est dit uniforme si ses images réciproques sous tous les plongements linéaires sont isomorphes. Nous classons les fibrés uniformes de rang 4 sur .
On généralise dans cet article la notion de filtration de Harder-Narasimhan au cas des fibrés complexes sur une variété presque complexe compacte d'une part, et au cas des faisceaux cohérents sans torsion sur une variété holomorphe d'autre part. On démontre, dans les deux cas, l'existence d'un déstabilisant maximal. On obtient un théorème de convergence en famille et par là-même l'ouverture de la stabilité en déformation.