1 Introduction |
|
ix | |
1.1 Motivation |
|
ix | |
1.2 Roots |
|
xii | |
1.3 Goals |
|
xiii | |
1.4 Organization |
|
xvi | |
1.5 Acknowledgements |
|
xviii | |
|
I The Geometry of Monoids |
|
|
1 | (183) |
|
|
1 | (21) |
|
1.1 Limits in the category of monoids |
|
|
1 | (6) |
|
|
7 | (3) |
|
1.3 Integral, fine, and saturated monoids |
|
|
10 | (5) |
|
1.4 Ideals, faces, and localization |
|
|
15 | (5) |
|
|
20 | (2) |
|
2 Finiteness, convexity, and duality |
|
|
22 | (43) |
|
|
22 | (12) |
|
|
34 | (5) |
|
|
39 | (20) |
|
2.4 Valuative monoids and valuations |
|
|
59 | (3) |
|
|
62 | (3) |
|
|
65 | (29) |
|
3.1 Monoid algebras and monoid schemes |
|
|
65 | (2) |
|
3.2 Monoid sets and monoid modules |
|
|
67 | (7) |
|
3.3 Faces, orbits, and trajectories |
|
|
74 | (5) |
|
3.4 Local geometry of affine toric varieties |
|
|
79 | (3) |
|
3.5 Ideals in monoid algebras |
|
|
82 | (4) |
|
3.6 Completions and formal power series |
|
|
86 | (4) |
|
3.7 Abelian unipotent representations |
|
|
90 | (4) |
|
4 Actions and homomorphisms |
|
|
94 | (90) |
|
4.1 Local and logarithmic homomorphisms |
|
|
94 | (4) |
|
|
98 | (11) |
|
4.3 Small, Kummer, and vertical homomorphisms |
|
|
109 | (10) |
|
4.4 Toric Frobenius and isogenics |
|
|
119 | (7) |
|
4.5 Flat and regular monoid actions |
|
|
126 | (14) |
|
4.6 Integral homomorphisms |
|
|
140 | (9) |
|
4.7 The structure of critically exact homomorphisms |
|
|
149 | (9) |
|
4.8 Saturated homomorphisms |
|
|
158 | (14) |
|
4.9 Saturation of monoid homomorphisms |
|
|
172 | (5) |
|
4.10 Homomorphisms of idealized monoids |
|
|
177 | (7) |
|
|
184 | (86) |
|
|
184 | (65) |
|
|
184 | (6) |
|
|
190 | (9) |
|
1.3 Some universal constructions |
|
|
199 | (2) |
|
1.4 Quasi-coherent sheaves on monoschemes |
|
|
201 | (5) |
|
|
206 | (7) |
|
1.6 Separated and proper morphisms |
|
|
213 | (8) |
|
1.7 Monoidal transformations |
|
|
221 | (6) |
|
1.8 Monoidal transformations and exactification |
|
|
227 | (8) |
|
1.9 Monoschemes, toric schemes, and fans |
|
|
235 | (4) |
|
|
239 | (10) |
|
|
249 | (21) |
|
|
249 | (2) |
|
2.2 Construction and comparison of charts |
|
|
251 | (4) |
|
2.3 Exact and neat charts |
|
|
255 | (4) |
|
|
259 | (3) |
|
2.5 Constructibility and coherence |
|
|
262 | (4) |
|
2.6 Coherent sheaves of ideals and faces |
|
|
266 | (4) |
|
|
270 | (91) |
|
1 Log structures and log schemes |
|
|
270 | (60) |
|
1.1 Log and prelog structures |
|
|
270 | (4) |
|
1.2 Log schemes and their charts |
|
|
274 | (6) |
|
1.3 Idealized log schemes |
|
|
280 | (2) |
|
1.4 Zariski and etale log structures |
|
|
282 | (3) |
|
1.5 Log points and dashes |
|
|
285 | (3) |
|
1.6 Compactifying log structures |
|
|
288 | (5) |
|
|
293 | (4) |
|
1.8 Normal crossings and semistable reduction |
|
|
297 | (8) |
|
1.9 Coherence of compactifying log structures |
|
|
305 | (2) |
|
1.10 Hollow and solid log structures |
|
|
307 | (11) |
|
|
318 | (9) |
|
1.12 Frames for log structures |
|
|
327 | (3) |
|
2 Morphisms of log schemes |
|
|
330 | (31) |
|
2.1 Fibered products of log schemes |
|
|
331 | (5) |
|
|
336 | (7) |
|
2.3 Immersions and small morphisms |
|
|
343 | (3) |
|
2.4 Inseparable morphisms and Frobenius |
|
|
346 | (6) |
|
2.5 Integral and saturated morphisms |
|
|
352 | (4) |
|
|
356 | (5) |
|
IV Differentials and Smoothness |
|
|
361 | (81) |
|
1 Derivations and differentials |
|
|
362 | (17) |
|
1.1 Derivations and differentials of log rings |
|
|
362 | (7) |
|
1.2 Derivations and differentials of log schemes |
|
|
369 | (10) |
|
2 Thickenings and deformations |
|
|
379 | (10) |
|
2.1 Thickenings and extensions |
|
|
379 | (4) |
|
2.2 Differentials and deformations |
|
|
383 | (2) |
|
2.3 Fundamental exact sequences |
|
|
385 | (4) |
|
|
389 | (34) |
|
3.1 Definitions and examples |
|
|
389 | (11) |
|
3.2 Differential criteria for smoothness |
|
|
400 | (3) |
|
3.3 Charts for smooth morphisms |
|
|
403 | (8) |
|
3.4 Unramified morphisms and the conormal sheaf |
|
|
411 | (6) |
|
3.5 Smoothness and regularity |
|
|
417 | (6) |
|
|
423 | (19) |
|
4.1 Definition and basic properties |
|
|
423 | (8) |
|
4.2 Flatness and smoothness |
|
|
431 | (4) |
|
4.3 Flatness, exactness, and integrality |
|
|
435 | (7) |
|
V Betti and de Rham Cohomology |
|
|
442 | (87) |
|
1 Betti realizations of log schemes |
|
|
443 | (24) |
|
|
443 | (3) |
|
|
446 | (11) |
|
1.3 Local topology of Xiog |
|
|
457 | (3) |
|
1.4 Ologx and the exponential map |
|
|
460 | (7) |
|
|
467 | (27) |
|
2.1 Exterior differentiation and Lie bracket |
|
|
467 | (4) |
|
2.2 De Rham complexes of monoid algebras |
|
|
471 | (6) |
|
2.3 Filtrations on the de Rham complex |
|
|
477 | (17) |
|
3 Analytic de Rham cohomology |
|
|
494 | (12) |
|
3.1 An idealized Poincare lemma |
|
|
494 | (5) |
|
3.2 The symbol in de Rham cohomology |
|
|
499 | (2) |
|
3.3 Ω·logX and the Poincare lemma |
|
|
501 | (5) |
|
4 Algebraic de Rham cohomology |
|
|
506 | (23) |
|
4.1 The Cartier operator and the Cartier isomorphism |
|
|
507 | (11) |
|
|
518 | (11) |
References |
|
529 | (5) |
Index |
|
534 | (4) |
Index of Notation |
|
538 | |