proper map


Between topological spaces

While every continuous map sends compact subsets to compact subsets, it is not true in general that the preimage of a compact set along a continuous map is compact.

A continuous function f:XYf : X \to Y between topological spaces is proper if the inverse image of any compact subset is itself compact.

A notion of proper homotopy between proper maps leads to proper homotopy theory.

Similarly, one can consider the conditions on morphisms in other geometric situations, like algebraic geometry, and properness often either reflects or implies good behaviour with respect to the compact objects (cf. also proper push-forward).

Between schemes

A proper morphism of schemes is by definition a morphism f:XYf:X\to Y which is

  1. separated,

  2. of finite type

  3. universally closed (the latter means that for every h:ZYh: Z\to Y the pullback h *(f):Z× YXZh^*(f): Z\times_Y X\to Z is closed).

There is a classical and very practical valuative criterion of properness due Chevalley.

We say that a scheme XX is proper if the canonical map XSpecX \to \operatorname{Spec} \mathbb{Z} to the terminal object is proper.

Proper schemes are analogous to compact topological spaces. This is one reason why one uses the terminology “quasi-compact” when referring to schemes whose underlying topological space is compact.

The base change formulas for cohomology for proper and for smooth morphisms of schemes motivated Grothendieck (in Pursuing Stacks) to define abstract proper and smooth functors in the setting of fibered categories; this is further expanded on in (Maltsiniotis).

Between locales

Recall that a locale LL is given by a frame O(L)O(L), its frame of opens, and that a continuous map ff from KK to LL is given by an adjunction f *f *:O(K)O(L)f^* \dashv f_* \colon O(K) \rightleftarrows O(L) such that the inverse image function f *f^* preserves finitary meets (or equivalently is a frame homomorphism, since it must preserve all joins).

Such a map ff is proper iff the direct image function f *f_* preserves directed joins (or equivalently is Scott-continuous).

Between toposes

There are two generalizations of proper maps from locales to the geometric morphisms of Grothendieck toposes, one called ‘proper’ and one called ‘tidy’. See proper geometric morphism for these.


  • Georges Maltsiniotis, Structures d’asphéricité, foncteurs lisses, et fibrations, Ann. Math. Blaise Pascal 12, pp. 1-39 (2005) (ps).

(TO ADD: The definition of a proper dg algebra, proper dg category, proper A-inf cat ???)

Revised on September 23, 2014 16:44:22 by Zoran Škoda (