• Corpus ID: 245334668

An introduction to six-functor formalisms

  title={An introduction to six-functor formalisms},
  author={Martin Gallauer},
These are notes for a mini-course given at the summer school and conference The Six-Functor Formalism and Motivic Homotopy Theory in Milan 9/2021. They provide an introduction to the formalism of Grothendieck’s six operations in algebraic geometry and end with an excursion to rigid-analytic motives. The notes do not correspond precisely to the lectures delivered but provide a more self-contained accompaniment for the benefit of the audience. No originality is claimed. 

Six-functor formalism; why solid abelian groups?

These notes are based on a talk given the Intercity seminar of Winter 2022 on “Condensed Mathematics”, which follow [Schb]. The aim of the talk it to motivate the use of solid abelian groups in

Exponentiation of coefficient systems and exponential motives

We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism C, encoded as a coefficient system, we associate a new

The universal six-functor formalism

We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal six-functor formalism.

Supports for constructible systems

We develop a ‘universal’ support theory for derived categories of constructible (ana-lytic or étale) sheaves, holonomic (cid:68) -modules, mixed Hodge modules and others. As applications we classify



The six-functor formalism for rigid analytic motives

Abstract We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change


In this article, we develop a general technique for gluing subcategories of ∞-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such

Motifs des variétés analytiques rigides

In this work, I extend the theory of motives, as developed by Voevodsky and Morel-Voevodsky, to the context of rigid analytic geometry over a complete non archimedean field. The first chapter deals

Algebraic K‐theory, A1‐homotopy and Riemann–Roch theorems

In this paper, we show that the combination of the constructions done in SGA 6 and the A1‐homotopy theory naturally leads to results on higher algebraic K‐theory. This applies to the operations on

Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants

We define a new type of Hall algebras associated e.g. with quivers with polynomial potentials. The main difference with the conventional definition is that we use cohomology of the stack of

A commutative P^1-spectrum representing motivic cohomology over Dedekind domains

We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined

Constructible sheaves on schemes and a categorical K\"unneth formula

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in condensed rings. We use it to prove a Künneth-type equivalence of derived categories of lisse and

Higher Algebra

AbstractTHIS new “Higher Algebra” will be examined with great interest by all teachers and serious students of mathematics. A book of this type is certainly needed at the present time, and the one

A1-homotopy theory of schemes

© Publications mathématiques de l’I.H.É.S., 1999, tous droits réservés. L’accès aux archives de la revue « Publications mathématiques de l’I.H.É.S. » (http://