A simplicial model for proper homotopy types
Authors:
Viêt-Trung Luu
Abstract:
The singular simplicial set Sing(X) of a space X completely captures its weak homotopy type. We introduce a category of_controlled sets_, yielding _simplicial controlled sets_, such that one can functorially produce a singular simplicial controlled set CSing(MaxCtl(X)) from a locally compact X. We then argue that this CSing(MaxCtl(X)) captures the (weak)_proper_ homotopy type of X. Moreover, our…
▽ More
The singular simplicial set Sing(X) of a space X completely captures its weak homotopy type. We introduce a category of_controlled sets_, yielding _simplicial controlled sets_, such that one can functorially produce a singular simplicial controlled set CSing(MaxCtl(X)) from a locally compact X. We then argue that this CSing(MaxCtl(X)) captures the (weak)_proper_ homotopy type of X. Moreover, our techniques strictly generalize the classical simplicial situation: e.g., one obtains, in a unified way, singular homology with compact supports and (Borel-Moore) singular homology with locally finite supports, as well as the corresponding cohomologies.
△ Less
Submitted 4 March, 2009; v1 submitted 5 December, 2008;
originally announced December 2008.
Coarse categories I: foundations
Authors:
Viêt-Trung Luu
Abstract:
Following Roe and others (see, e.g., [MR1451755]), we (re)develop coarse geometry from the foundations, taking a categorical point of view. In this paper, we concentrate on the discrete case in which topology plays no role. Our theory is particularly suited to the development of the_Roe (C*-)algebras_ C*(X) and their K-theory on the analytic side; we also hope that it will be of use in the stric…
▽ More
Following Roe and others (see, e.g., [MR1451755]), we (re)develop coarse geometry from the foundations, taking a categorical point of view. In this paper, we concentrate on the discrete case in which topology plays no role. Our theory is particularly suited to the development of the_Roe (C*-)algebras_ C*(X) and their K-theory on the analytic side; we also hope that it will be of use in the strictly geometric/algebraic setting of controlled topology and algebra. We leave these topics to future papers.
Crucial to our approach are nonunital coarse spaces, and what we call _locally proper_ maps (which are actually implicit in [MR1988817]). Our_coarse category_ Crs generalizes the usual one: its objects are nonunital coarse spaces and its morphisms (locally proper) coarse maps modulo_closeness_. Crs is much richer than the usual unital coarse category. As such, it has all nonzero limits and all colimits. We examine various other categorical issues. E.g., Crs does not have a terminal object, so we substitute a_termination functor_ which will be important in the development of exponential objects (i.e., "function spaces") and also leads to a notion of_quotient coarse spaces_. To connect our methods with the standard methods, we also examine the relationship between Crs and the usual coarse category of Roe.
Finally we briefly discuss some basic examples and applications. Topics include_metric coarse spaces_,_continuous control_ [MR1277522], metric and continuously controlled_coarse simplices_,_sigma-coarse spaces_ [MR2225040], and the relation between quotient coarse spaces and the K-theory of Roe algebras (of particular interest for continuously controlled coarse spaces).
△ Less
Submitted 4 March, 2009; v1 submitted 29 August, 2007;
originally announced August 2007.
