À Jean-Louis Colliot-Thélène, qui nous a beaucoup appris
CALCULABILITÉ DE LA COHOMOLOGIE ÉTALE MODULO
𝑋 ℓ
𝑋 H𝑖(𝑋, ℤ/ℓℤ)
ℓ
ℓ 𝑋
𝖡𝐺 𝐺 ℓ
ℓ 𝑋
𝑋 ℓ
𝑋 H𝑖(𝑋, ℤ/ℓℤ)
ℓ
ℓ 𝑋
𝖡𝐺 𝐺 ℓ
ℓ 𝑋
I. Cohomologie étale
1
II. Algèbre commutative et géométrie algébrique effectives
[email protected]
[email protected]
ℓ
III. Modèle de calcul « universel »
Bibliographie
0.9
0.1éorème. 𝑖ℓ ℓ
𝑖ℓ 𝑖ℓ
0.7
0.10 𝑖ℓ
𝑖ℓ𝑖ℓ
0.4 9.1.29.1.3
0.2
𝑝
𝛼
𝛼 𝛼∙ 𝛼
𝛼𝑛 𝛼𝑋 𝑋𝛼
𝑖𝛼∙ 0𝛼∙
𝑖
𝑖𝛼∙
𝛼
𝑖
𝑖𝛼∙
𝑖𝛽∙
𝑖𝛼∙
5.1
ℓ
0.3Stratégie.
𝛼
𝑖𝛼∙
0.4 0.2
𝑖
∙
𝑖∙
𝑖 8.3
8.4
0.5Remarque. 0.1
15.5
0.1
0.6
11.2
0.1
𝑛
0.7Stratifications.
22.4
26.6
𝑟
𝑘 0.11
𝑟
𝑘
𝑖𝑛
𝑖𝑛 𝑖𝑛 𝑟
𝑘
0 𝑖𝑝𝑛
0 𝑝
𝑖𝑝𝑛 𝑖𝑝𝑛
ℓ 𝑉 𝑑1≤ ⋯ ≤ 𝑑𝑠
𝑉 ≃ (ℤ/ℓ𝑑1ℤ) × ⋯ × (ℤ/ℓ𝑑𝑠ℤ)
ℓ
𝑟
ℤ[ 1
ℓ]
𝑟
ℤ[ 1
ℓ]
𝑖𝑛
0
0
0.1
𝑛
0.8Corollaire.
𝑖ℓ
𝑖ℓ
11.5
0.1 11.4
0.9éorème.
𝑖⋆
𝑖!
0.1 0.9
0.10Remarques sur la notion d’algorithme.
0.1
0.11
𝑛
12.8
11.6
0.11Remarques générales sur les corps calculables et la géométrie algébrique effective.
ℓ
12.1 𝑝
𝑝1𝑟
12.7
21.5
0.7
20.1
12.1
20.1 20.4
12.7
0.12Leitfaden.
0.7
郑维喆
晨兴数学中心
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
1
/
80
100%
