Boken avslutter den omfattende innføringen i moderne algebraisk geometri som ble påbegynt i vol. I: Schemer. Den tar for seg sentrale begreper som glatte, uramifiserte og étale morfier, inkludert den étale fundamentale gruppen. Hoveddelen av verket er viet til kohomologien av quasi-koherente skjemaer. Behandlingen er basert på formalismen av deriverte kategorier, som gir en effektiv og konseptuell tilnærming til teorien, noe som er av avgjørende betydning innen alle områder av algebraisk geometri. Når grunnlagene er lagt, blir flere avanserte emner utforsket, inkludert numerisk skjæringslære, en abstrakt versjon av Grothendieck-Riemann-Roch teoremet, teoremet om formelle funksjoner, Grothendiecks algebraiseringsresultater, og en meget generell versjon av Grothendieck dualitet. Boken avsluttes med kapitler om kurver og abelske skjemaer, som gir innsikt i grunnprinsippene for teorien bak disse to viktige temaene.