Calculabilité de la cohomologie étale modulo l

Calculabilit´e de la cohomologie ´etale modulo l
David A. MADORE and Fabrice ORGOGOZO
Institut des Hautes ´ Etudes Scientifiques
35, route de Chartres
91440 – Bures-sur-Yvette (France)
Mars 2014
IHES/M/14/13

CALCULABILITÉ DE LA COHOMOLOGIE ÉTALE MODULO 
  𝑋         ℓ  
  𝑋              
      H𝑖(𝑋, ℤ/ℓℤ)       
ℓ               ℓ
      𝑋        
  𝖡𝐺   𝐺  ℓ           
 ℓ 𝑋           
  𝑋          ℓ  
  𝑋            
      H𝑖(𝑋, ℤ/ℓℤ)     ℓ 
            ℓ 
    𝑋           𝖡𝐺 
 𝐺   ℓ          ℓ 𝑋
I. Cohomologie étale 
   1
II. Algèbre commutative et géométrie algébrique effectives 
III. Modèle de calcul « universel » 

       ℓ
Bibliographie 
                0.8
0.1éorème.         𝑖ℓ   ℓ
 𝑖ℓ  𝑖ℓ       
          0.6  
 0.9     𝑖ℓ         
      𝑖ℓ  𝑖ℓ      
0.2               
     𝑝          
    𝛼               
  𝛼      𝛼 0𝛼    
       𝛼       
         𝑖𝛼   𝑖𝛼  
  ℓ          
           𝑖   
   𝑖𝛼          
   𝛼                  
𝑖  𝑖𝛼  𝑖𝛽      
𝑖𝛼            
       5.1
0.3Stratégie.              
  𝛼            
 𝑖𝛼           

      ℓ
0.4Remarque.     0.1      
              15.5  
      0.1
0.5               
            11.2 
  0.1            
         𝑛     
0.6Stratifications.            
     22.4            
 26.6 
            𝑟    
  𝑟          𝑖ℓ
             𝑖ℓ𝑖ℓ 
     𝑟
            0    
𝑖𝑝ℓ       0  𝑝    
           𝑖𝑝ℓ  𝑖𝑝ℓ
         0   
         0   
              0.1
     𝑛    
0.7Corollaire.               
  𝑖ℓ          
   𝑖ℓ              
              11.4
    0.1     11.3

       ℓ
0.8éorème.               
      𝑖⋆
     0.1   0.8   
0.9Remarques sur la notion d’algorithme.          
       0.1       
             0.10    
𝑛               
               12.8 
 11.5  
0.10Remarques générales sur les corps calculables et la géométrie algébrique effective.
   12.1         𝑝 
𝑝1𝑟             
         12.7   
   21.5                
     0.6     
  20.1