3 Topics in Scheme Theory

Chapter 41: Chow Homology and Chern Classes

Section 41.1: Introduction

Section 41.2: Periodic complexes and Herbrand quotients

Section 41.3: Calculation of some multiplicities

Section 41.4: Preparation for tame symbols

Section 41.5: Tame symbols

Section 41.6: A key lemma

Section 41.7: Setup

Section 41.8: Cycles

Section 41.9: Cycle associated to a closed subscheme

Section 41.10: Cycle associated to a coherent sheaf

Section 41.11: Preparation for proper pushforward

Section 41.12: Proper pushforward

Section 41.13: Preparation for flat pullback

Section 41.14: Flat pullback

Section 41.15: Push and pull

Section 41.16: Preparation for principal divisors

Section 41.17: Principal divisors

Section 41.18: Principal divisors and pushforward

Section 41.19: Rational equivalence

Section 41.20: Rational equivalence and push and pull

Section 41.21: Rational equivalence and the projective line

Section 41.22: Chow groups and Kgroups

Section 41.23: The divisor associated to an invertible sheaf

Section 41.24: Intersecting with an invertible sheaf

Section 41.25: Intersecting with an invertible sheaf and push and pull

Section 41.26: The key formula

Section 41.27: Intersecting with an invertible sheaf and rational equivalence

Section 41.28: Gysin homomorphisms

Section 41.29: Gysin homomorphisms and rational equivalence

Section 41.30: Relative effective Cartier divisors

Section 41.31: Affine bundles

Section 41.32: Bivariant intersection theory

Section 41.33: Chow cohomology and the first chern class

Section 41.34: Lemmas on bivariant classes

Section 41.35: Projective space bundle formula

Section 41.36: The Chern classes of a vector bundle

Section 41.37: Intersecting with chern classes

Section 41.38: Polynomial relations among chern classes

Section 41.39: Additivity of chern classes

Section 41.40: Degrees of zero cycles

Section 41.41: Cycles of given codimension

Section 41.42: The splitting principle

Section 41.43: Chern classes and sections

Section 41.44: The Chern character and tensor products

Section 41.45: Chern classes and the derived category

Section 41.46: A baby case of localized chern classes

Section 41.47: Gysin at infinity

Section 41.48: Preparation for localized chern classes

Section 41.49: Localized chern classes

Section 41.50: Two technical lemmas

Section 41.51: Properties of localized chern classes

Section 41.52: Blowing up at infinity

Section 41.53: Higher codimension gysin homomorphisms

Section 41.54: Calculating some classes

Section 41.55: An Adams operator

Section 41.56: Chow groups and Kgroups revisited

Section 41.57: Rational intersection products on regular schemes

Section 41.58: Gysin maps for local complete intersection morphisms

Section 41.59: Gysin maps for diagonals

Section 41.60: Exterior product

Section 41.61: Intersection products

Section 41.62: Exterior product over Dedekind domains

Section 41.63: Intersection products over Dedekind domains

Section 41.64: Todd classes

Section 41.65: GrothendieckRiemannRoch

Section 41.66: Appendix A: Alternative approach to key lemma

Section 41.67: Appendix B: Alternative approaches

Chapter 42: Intersection Theory

Section 42.1: Introduction

Section 42.2: Conventions

Section 42.3: Cycles

Section 42.4: Cycle associated to closed subscheme

Section 42.5: Cycle associated to a coherent sheaf

Section 42.6: Proper pushforward

Section 42.7: Flat pullback

Section 42.8: Rational Equivalence

Section 42.9: Rational equivalence and rational functions

Section 42.10: Proper pushforward and rational equivalence

Section 42.11: Flat pullback and rational equivalence

Section 42.12: The short exact sequence for an open

Section 42.13: Proper intersections

Section 42.14: Intersection multiplicities using Tor formula

Section 42.15: Algebraic multiplicities

Section 42.16: Computing intersection multiplicities

Section 42.17: Intersection product using Tor formula

Section 42.18: Exterior product

Section 42.19: Reduction to the diagonal

Section 42.20: Associativity of intersections

Section 42.21: Flat pullback and intersection products

Section 42.22: Projection formula for flat proper morphisms

Section 42.23: Projections

Section 42.24: Moving Lemma

Section 42.25: Intersection products and rational equivalence

Section 42.26: Chow rings

Section 42.27: Pullback for a general morphism

Section 42.28: Pullback of cycles

Chapter 43: Picard Schemes of Curves

Section 43.1: Introduction

Section 43.2: Hilbert scheme of points

Section 43.3: Moduli of divisors on smooth curves

Section 43.4: The Picard functor

Section 43.5: A representability criterion

Section 43.6: The Picard scheme of a curve

Section 43.7: Some remarks on Picard groups

Chapter 44: Weil Cohomology Theories

Section 44.1: Introduction

Section 44.2: Conventions and notation

Section 44.3: Monoidal categories

Section 44.4: Correspondences

Section 44.5: Chow motives

Section 44.6: Chow groups of motives

Section 44.7: Projective space bundle formula

Section 44.8: Classical Weil cohomology theories

Section 44.9: Cycles over nonclosed fields

Section 44.10: Weil cohomology theories, I

Section 44.11: Further properties

Section 44.12: Weil cohomology theories, II

Section 44.13: Chern classes

Section 44.14: Exterior powers and Kgroups

Section 44.15: Weil cohomology theories, III

Chapter 45: Adequate Modules

Section 45.1: Introduction

Section 45.2: Conventions

Section 45.3: Adequate functors

Section 45.4: Higher exts of adequate functors

Section 45.5: Adequate modules

Section 45.6: Parasitic adequate modules

Section 45.7: Derived categories of adequate modules, I

Section 45.8: Pure extensions

Section 45.9: Higher exts of quasicoherent sheaves on the big site

Section 45.10: Derived categories of adequate modules, II

Chapter 46: Dualizing Complexes

Section 46.1: Introduction

Section 46.2: Essential surjections and injections

Section 46.3: Injective modules

Section 46.4: Projective covers

Section 46.5: Injective hulls

Section 46.6: Duality over Artinian local rings

Section 46.7: Injective hull of the residue field

Section 46.8: Deriving torsion

Section 46.9: Local cohomology

Section 46.10: Local cohomology for Noetherian rings

Section 46.11: Depth

Section 46.12: Torsion versus complete modules

Section 46.13: Trivial duality for a ring map

Section 46.14: Base change for trivial duality

Section 46.15: Dualizing complexes

Section 46.16: Dualizing complexes over local rings

Section 46.17: Dualizing complexes and dimension functions

Section 46.18: The local duality theorem

Section 46.19: Dualizing modules

Section 46.20: CohenMacaulay rings

Section 46.21: Gorenstein rings

Section 46.22: The ubiquity of dualizing complexes

Section 46.23: Formal fibres

Section 46.24: Upper shriek algebraically

Section 46.25: Relative dualizing complexes in the Noetherian case

Section 46.26: More on dualizing complexes

Section 46.27: Relative dualizing complexes

Chapter 47: Duality for Schemes

Section 47.1: Introduction

Section 47.2: Dualizing complexes on schemes

Section 47.3: Right adjoint of pushforward

Section 47.4: Right adjoint of pushforward and restriction to opens

Section 47.5: Right adjoint of pushforward and base change, I

Section 47.6: Right adjoint of pushforward and base change, II

Section 47.7: Right adjoint of pushforward and trace maps

Section 47.8: Right adjoint of pushforward and pullback

Section 47.9: Right adjoint of pushforward for closed immersions

Section 47.10: Right adjoint of pushforward for closed immersions and base change

Section 47.11: Right adjoint of pushforward for finite morphisms

Section 47.12: Right adjoint of pushforward for proper flat morphisms

Section 47.13: Right adjoint of pushforward for perfect proper morphisms

Section 47.14: Right adjoint of pushforward for effective Cartier divisors

Section 47.15: Right adjoint of pushforward in examples

Section 47.16: Upper shriek functors

Section 47.17: Properties of upper shriek functors

Section 47.18: Base change for upper shriek

Section 47.19: A duality theory

Section 47.20: Glueing dualizing complexes

Section 47.21: Dimension functions

Section 47.22: Dualizing modules

Section 47.23: CohenMacaulay schemes

Section 47.24: Gorenstein schemes

Section 47.25: Gorenstein morphisms

Section 47.26: More on dualizing complexes

Section 47.27: Relative dualizing complexes

Section 47.28: The fundamental class of an lci morphism

Chapter 48: Discriminants and Differents

Section 48.1: Introduction

Section 48.2: Dualizing modules for quasifinite ring maps

Section 48.3: Discriminant of a finite locally free morphism

Section 48.4: Traces for flat quasifinite ring maps

Section 48.5: Finite morphisms

Section 48.6: The Noether different

Section 48.7: The Kähler different

Section 48.8: The Dedekind different

Section 48.9: The different

Section 48.10: Quasifinite syntomic morphisms

Section 48.11: Finite syntomic morphisms

Section 48.12: A formula for the different

Section 48.13: The Tate map

Section 48.14: A generalization of the different

Section 48.15: Comparison with duality theory

Section 48.16: Quasifinite Gorenstein morphisms

Chapter 49: de Rham Cohomology; under construction

Section 49.1: Introduction

Section 49.2: The de Rham complex

Section 49.3: de Rham cohomology

Section 49.4: Cup product

Section 49.5: Hodge cohomology

Section 49.6: Two spectral sequences

Section 49.7: The Hodge filtration

Section 49.8: Künneth formula

Section 49.9: First chern class in de Rham cohomology

Section 49.10: de Rham cohomology of projective space

Section 49.11: The spectral sequence for a smooth morphism

Section 49.12: Projective space bundle formula

Section 49.13: Log poles along a divisor

Section 49.14: Comparing sheaves of differential forms

Section 49.15: Trace maps on de Rham complexes

Chapter 50: Local Cohomology

Section 50.1: Introduction

Section 50.2: Generalities

Section 50.3: Hartshorne's connectedness lemma

Section 50.4: Cohomological dimension

Section 50.5: More general supports

Section 50.6: Filtrations on local cohomology

Section 50.7: Finiteness of local cohomology, I

Section 50.8: Finiteness of pushforwards, I

Section 50.9: Depth and dimension

Section 50.10: Annihilators of local chomology, I

Section 50.11: Finiteness of local cohomology, II

Section 50.12: Finiteness of pushforwards, II

Section 50.13: Annihilators of local chomology, II

Section 50.14: Finiteness of local cohomology, III

Section 50.15: Improving coherent modules

Section 50.16: HartshorneLichtenbaum vanishing

Section 50.17: Frobenius action

Section 50.18: Structure of certain modules

Section 50.19: Additional structure on local cohomology

Chapter 51: Algebraic and Formal Geometry

Section 51.1: Introduction

Section 51.2: Formal sections, I

Section 51.3: Formal sections, II

Section 51.4: Formal sections, III

Section 51.5: MittagLeffler conditions

Section 51.6: Derived completion on a ringed site

Section 51.7: The theorem on formal functions

Section 51.8: Algebraization of local cohomology, I

Section 51.9: Algebraization of local cohomology, II

Section 51.10: Algebraization of local cohomology, III

Section 51.11: Algebraization of formal sections, I

Section 51.12: Algebraization of formal sections, II

Section 51.13: Algebraization of formal sections, III

Section 51.14: Application to connectedness

Section 51.15: The completion functor

Section 51.16: Algebraization of coherent formal modules, I

Section 51.17: Algebraization of coherent formal modules, II

Section 51.18: A distance function

Section 51.19: Algebraization of coherent formal modules, III

Section 51.20: Algebraization of coherent formal modules, IV

Section 51.21: Improving coherent formal modules

Section 51.22: Algebraization of coherent formal modules, V

Section 51.23: Algebraization of coherent formal modules, VI

Section 51.24: Application to the completion functor

Section 51.25: Coherent triples

Section 51.26: Invertible modules on punctured spectra, I

Section 51.27: Invertible modules on punctured spectra, II

Section 51.28: Application to Lefschetz theorems

Chapter 52: Algebraic Curves

Section 52.1: Introduction

Section 52.2: Curves and function fields

Section 52.3: Linear series

Section 52.4: Duality

Section 52.5: RiemannRoch

Section 52.6: Some vanishing results

Section 52.7: Very ample invertible sheaves

Section 52.8: The genus of a curve

Section 52.9: Plane curves

Section 52.10: Curves of genus zero

Section 52.11: Geometric genus

Section 52.12: RiemannHurwitz

Section 52.13: Inseparable maps

Section 52.14: Pushouts

Section 52.15: Glueing and squishing

Section 52.16: Multicross and nodal singularities

Section 52.17: Torsion in the Picard group

Section 52.18: Genus versus geometric genus

Section 52.19: Nodal curves

Section 52.20: Families of nodal curves

Section 52.21: More vanishing results

Section 52.22: Contracting rational tails

Section 52.23: Contracting rational bridges

Section 52.24: Contracting to a stable curve

Section 52.25: Vector fields

Chapter 53: Resolution of Surfaces

Section 53.1: Introduction

Section 53.2: A trace map in positive characteristic

Section 53.3: Quadratic transformations

Section 53.4: Dominating by quadratic transformations

Section 53.5: Dominating by normalized blowups

Section 53.6: Modifying over local rings

Section 53.7: Vanishing

Section 53.8: Boundedness

Section 53.9: Rational singularities

Section 53.10: Formal arcs

Section 53.11: Base change to the completion

Section 53.12: Rational double points

Section 53.13: Implied properties

Section 53.14: Resolution

Section 53.15: Embedded resolution

Section 53.16: Contracting exceptional curves

Section 53.17: Factorization birational maps

Chapter 54: Semistable Reduction

Section 54.1: Introduction

Section 54.2: Linear algebra

Section 54.3: Numerical types

Section 54.4: The Picard group of a numerical type

Section 54.5: Classification of proper subgraphs

Section 54.6: Classification of minimal type for genus zero and one

Section 54.7: Bounding invariants of numerical types

Section 54.8: Models

Section 54.9: The geometry of a regular model

Section 54.10: Uniqueness of the minimal model

Section 54.11: A formula for the genus

Section 54.12: Blowing down exceptional curves

Section 54.13: Picard groups of models

Section 54.14: Semistable reduction

Section 54.15: Semistable reduction in genus zero

Section 54.16: Semistable reduction in genus one

Section 54.17: Semistable reduction in genus at least two

Section 54.18: Semistable reduction for curves

Chapter 55: Fundamental Groups of Schemes

Section 55.1: Introduction

Section 55.2: Schemes étale over a point

Section 55.3: Galois categories

Section 55.4: Functors and homomorphisms

Section 55.5: Finite étale morphisms

Section 55.6: Fundamental groups

Section 55.7: Galois covers of connected schemes

Section 55.8: Topological invariance of the fundamental group

Section 55.9: Finite étale covers of proper schemes

Section 55.10: Local connectedness

Section 55.11: Fundamental groups of normal schemes

Section 55.12: Group actions and integral closure

Section 55.13: Ramification theory

Section 55.14: Geometric and arithmetic fundamental groups

Section 55.15: Homotopy exact sequence

Section 55.16: Specialization maps

Section 55.17: Restriction to a closed subscheme

Section 55.18: Pushouts and fundamental groups

Section 55.19: Finite étale covers of punctured spectra, I

Section 55.20: Purity in local case, I

Section 55.21: Purity of branch locus

Section 55.22: Finite étale covers of punctured spectra, II

Section 55.23: Finite étale covers of punctured spectra, III

Section 55.24: Finite étale covers of punctured spectra, IV

Section 55.25: Purity in local case, II

Section 55.26: Purity in local case, III

Section 55.27: Lefschetz for the fundamental group

Section 55.28: Purity of ramification locus

Section 55.29: Affineness of complement of ramification locus

Section 55.30: Specialization maps in the smooth proper case

Section 55.31: Tame ramification

Chapter 56: Étale Cohomology

Section 56.1: Introduction

Section 56.2: Which sections to skip on a first reading?

Section 56.3: Prologue

Section 56.4: The étale topology

Section 56.5: Feats of the étale topology

Section 56.6: A computation

Section 56.7: Nontorsion coefficients

Section 56.8: Sheaf theory

Section 56.9: Presheaves

Section 56.10: Sites

Section 56.11: Sheaves

Section 56.12: The example of Gsets

Section 56.13: Sheafification

Section 56.14: Cohomology

Section 56.15: The fpqc topology

Section 56.16: Faithfully flat descent

Section 56.17: Quasicoherent sheaves

Section 56.18: Čech cohomology

Section 56.19: The Čechtocohomology spectral sequence

Section 56.20: Big and small sites of schemes

Section 56.21: The étale topos

Section 56.22: Cohomology of quasicoherent sheaves

Section 56.23: Examples of sheaves

Section 56.24: Picard groups

Section 56.25: The étale site

Section 56.26: Étale morphisms

Section 56.27: Étale coverings

Section 56.28: Kummer theory

Section 56.29: Neighborhoods, stalks and points

Section 56.30: Points in other topologies

Section 56.31: Supports of abelian sheaves

Section 56.32: Henselian rings

Section 56.33: Stalks of the structure sheaf

Section 56.34: Functoriality of small étale topos

Section 56.35: Direct images

Section 56.36: Inverse image

Section 56.37: Functoriality of big topoi

Section 56.38: Functoriality and sheaves of modules

Section 56.39: Comparing topologies

Section 56.40: Recovering morphisms

Section 56.41: Push and pull

Section 56.42: Property (A)

Section 56.43: Property (B)

Section 56.44: Property (C)

Section 56.45: Topological invariance of the small étale site

Section 56.46: Closed immersions and pushforward

Section 56.47: Integral universally injective morphisms

Section 56.48: Big sites and pushforward

Section 56.49: Exactness of big lower shriek

Section 56.50: Étale cohomology

Section 56.51: Colimits

Section 56.52: Stalks of higher direct images

Section 56.53: The Leray spectral sequence

Section 56.54: Vanishing of finite higher direct images

Section 56.55: Galois action on stalks

Section 56.56: Group cohomology

Section 56.57: Tate's continuous cohomology

Section 56.58: Cohomology of a point

Section 56.59: Cohomology of curves

Section 56.60: Brauer groups

Section 56.61: The Brauer group of a scheme

Section 56.62: The ArtinSchreier sequence

Section 56.63: Locally constant sheaves

Section 56.64: Locally constant sheaves and the fundamental group

Section 56.65: Méthode de la trace

Section 56.66: Galois cohomology

Section 56.67: Higher vanishing for the multiplicative group

Section 56.68: Picard groups of curves

Section 56.69: Extension by zero

Section 56.70: Constructible sheaves

Section 56.71: Auxiliary lemmas on morphisms

Section 56.72: More on constructible sheaves

Section 56.73: Constructible sheaves on Noetherian schemes

Section 56.74: Complexes with constructible cohomology

Section 56.75: Tor finite with constructible cohomology

Section 56.76: Torsion sheaves

Section 56.77: Cohomology with support in a closed subscheme

Section 56.78: Schemes with strictly henselian local rings

Section 56.79: Affine analog of proper base change

Section 56.80: Cohomology of torsion sheaves on curves

Section 56.81: First cohomology of proper schemes

Section 56.82: Preliminaries on base change

Section 56.83: Base change for pushforward

Section 56.84: Base change for higher direct images

Section 56.85: Smooth base change

Section 56.86: Applications of smooth base change

Section 56.87: The proper base change theorem

Section 56.88: Applications of proper base change

Section 56.89: Cohomological dimension

Section 56.90: Finite cohomological dimension

Section 56.91: Künneth in étale cohomology

Section 56.92: Comparing chaotic and Zariski topologies

Section 56.93: Comparing big and small topoi

Section 56.94: Comparing fppf and étale topologies

Section 56.95: Comparing fppf and étale topologies: modules

Section 56.96: Comparing ph and étale topologies

Section 56.97: Comparing h and étale topologies

Section 56.98: Blow up squares and étale cohomology

Section 56.99: Almost blow up squares and the h topology

Section 56.100: Cohomology of the structure sheaf in the h topology

Chapter 57: Crystalline Cohomology

Section 57.1: Introduction

Section 57.2: Divided power envelope

Section 57.3: Some explicit divided power thickenings

Section 57.4: Compatibility

Section 57.5: Affine crystalline site

Section 57.6: Module of differentials

Section 57.7: Divided power schemes

Section 57.8: The big crystalline site

Section 57.9: The crystalline site

Section 57.10: Sheaves on the crystalline site

Section 57.11: Crystals in modules

Section 57.12: Sheaf of differentials

Section 57.13: Two universal thickenings

Section 57.14: The de Rham complex

Section 57.15: Connections

Section 57.16: Cosimplicial algebra

Section 57.17: Crystals in quasicoherent modules

Section 57.18: General remarks on cohomology

Section 57.19: Cosimplicial preparations

Section 57.20: Divided power Poincaré lemma

Section 57.21: Cohomology in the affine case

Section 57.22: Two counter examples

Section 57.23: Applications

Section 57.24: Some further results

Section 57.25: Pulling back along purely inseparable maps

Section 57.26: Frobenius action on crystalline cohomology

Chapter 58: Proétale Cohomology

Section 58.1: Introduction

Section 58.2: Some topology

Section 58.3: Local isomorphisms

Section 58.4: IndZariski algebra

Section 58.5: Constructing wlocal affine schemes

Section 58.6: Identifying local rings versus indZariski

Section 58.7: Indétale algebra

Section 58.8: Constructing indétale algebras

Section 58.9: Weakly étale versus proétale

Section 58.10: The V topology and the proh topology

Section 58.11: Constructing wcontractible covers

Section 58.12: The proétale site

Section 58.13: Weakly contractible objects

Section 58.14: Weakly contractible hypercoverings

Section 58.15: Compact generation

Section 58.16: Comparing topologies

Section 58.17: Comparing big and small topoi

Section 58.18: Points of the proétale site

Section 58.19: Comparison with the étale site

Section 58.20: Derived completion in the constant Noetherian case

Section 58.21: Derived completion and weakly contractible objects

Section 58.22: Cohomology of a point

Section 58.23: Functoriality of the proétale site

Section 58.24: Finite morphisms and proétale sites

Section 58.25: Closed immersions and proétale sites

Section 58.26: Extension by zero

Section 58.27: Constructible sheaves on the proétale site

Section 58.28: Constructible adic sheaves

Section 58.29: A suitable derived category

Section 58.30: Proper base change

Section 58.31: Change of partial universe

Chapter 59: More Étale Cohomology

Section 59.1: Introduction

Section 59.2: Growing sections

Section 59.3: Sections with compact support

Section 59.4: Sections with finite support

Section 59.5: Upper shriek for locally quasifinite morphisms

Section 59.6: Derived upper shriek for locally quasifinite morphisms

Section 59.7: Preliminaries to derived lower shriek via compactifications

Section 59.8: Derived lower shriek via compactifications

Chapter 60: The Trace Formula

Section 60.1: Introduction

Section 60.2: The trace formula

Section 60.3: Frobenii

Section 60.4: Traces

Section 60.5: Why derived categories?

Section 60.6: Derived categories

Section 60.7: Filtered derived category

Section 60.8: Filtered derived functors

Section 60.9: Application of filtered complexes

Section 60.10: Perfectness

Section 60.11: Filtrations and perfect complexes

Section 60.12: Characterizing perfect objects

Section 60.13: Cohomology of nice complexes

Section 60.14: Lefschetz numbers

Section 60.15: Preliminaries and sorites

Section 60.16: Proof of the trace formula

Section 60.17: Applications

Section 60.18: On ladic sheaves

Section 60.19: Lfunctions

Section 60.20: Cohomological interpretation

Section 60.21: List of things which we should add above

Section 60.22: Examples of Lfunctions

Section 60.23: Constant sheaves

Section 60.24: The Legendre family

Section 60.25: Exponential sums

Section 60.26: Trace formula in terms of fundamental groups

Section 60.27: Fundamental groups

Section 60.28: Profinite groups, cohomology and homology

Section 60.29: Cohomology of curves, revisited

Section 60.30: Abstract trace formula

Section 60.31: Automorphic forms and sheaves

Section 60.32: Counting points

Section 60.33: Precise form of Chebotarev

Section 60.34: How many primes decompose completely?

Section 60.35: How many points are there really?