# Abstract definition of properly discontinuous action

A discrete group $G$ acts properly discontinuously on a manifold $M$ if the set $\{g\in G\mid gK\cap K\neq \emptyset \}$ is finite for every compact $K\subset M$.

Is there a more abstract characterisation of this property?

I am looking for something that looks like a diagram, a functor or anything vaguely related (to homological algebra, category theory). I have had a look at the relevant pages on nlab, but, although there is a description for a proper map of schemes, I can't think of any formal way of characterising a proper map of topological spaces.

EDIT: I think my question was somewhat imprecise. (Apologies.)

How can the concept of a proper action be defined for group objects in an arbitrary category $\mathcal C$ such that it reduces to a proper action of a Lie group in the category of smooth manifolds and a properly discontinuous action of a group (object) in the category of sets?

And, what are the conditions on the category $\mathcal C$ for such a definition to make sense?

• A map is proper if the preimage of any compact subspace of the target is compact. Don't you think this is a formal enough characterization? You can't expect anything else from topology. Topology is defined in terms of families of subsets, you cannot avoid them. A group action of $G$ on $X$ is proper if the twisted diagonal $G\times X\longrightarrow X\times X\colon (g,x)\mapsto (gx,x)$ is proper. A discrete group action is properly discontinuous whenever it is proper in the previous sense. May 4 '12 at 12:53
• The question is not really precise, since you do not say what particular property you like about properly discontinuous actions. Do you want to have a nice orbit/quotient space, then proper actions give you quotients with a Hausdorff topology. Moreover, you have a surjection $C_c(M) \twoheadrightarrow C_c(M)^G$, since the stabilizers are compact. May 4 '12 at 14:52
• I agree that the question isn't precise at all. What is a "formal way of characterising a proper map" supposed to be, in contrast to one of the usual definitions? Besides, I've deleted some inappropriate tags. May 4 '12 at 16:02
• Presumably the motivation is to find a definition that generalizes to other categories (e.g. replacing groups with group objects). May 4 '12 at 17:44
• Indeed the question is not precise. May 4 '12 at 17:47

The problem with this question for me is that you are assuming that such a thing can be done with just an abstract category. This is not possible. The data involved is not just a category but at least a pair of categories $D$, $C$ with a fully faithful inclusion $D\to C$ and a class of maps $E$ in $C$ that 'behave like proper maps'. Then one can specialise to the case of $D = Set$, $C = Mfld$ and $E =$ proper maps.
If you are working in a category where the objects behave like spaces (e.g. an extensive category), then perhaps some ideas can be brought over. For instance, there is a definition of a compact object in a category, but this doesn't agree with the usual definition of compact for the category of topological spaces (whether it does for manifolds is an interesting question that Urs Schreiber is trying to answer at present, at least in the setting of manifolds embedded in $Sh(Mfld)$). One could try to define a proper map in a finitely complete category as a map $f:A \to B$ such that $f^*:CptSub(B) \to CptSub(A)$ preserves compact objects (here $CptSub(A)$ is the subset of the set of subobjects consisting of the compact objects), but I don't know if this class of maps satisfies the conditions that would make it 'behave like proper maps' - it depends on how you define this.
• If your category of 'spaces' is in fact a subcategory of $Top$, then you want to use proper as it is already defined. If you are thinking of e.g. locales or toposes (as spaces themselves), then there are generalisations of proper maps to those settings. In the context of algebraic geometry there are maps which behave like proper maps (I'm sure the adjective 'finite' will turn up), or alternatively one can consider algebraic groupoids (groupoids internal to schemes or algebraic spaces) with well-behaved quotients depending on what you want. May 8 '12 at 0:33