A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of Joyal and Tierney that Gray-groupoids model homotopy 3-types. The model structure on Gray-Cat is conjectured to be Quillen equivalent to a model structure on the category Tricat of tricategories and strict homomorphisms of tricategories.

We give a classification (up to smooth homotopy) of finitely summable Fredholm representations (Fredholm modules) over higher rank groups and lattices. Our results are a direct consequence of work of Bader, Furman, Gelander and Monod on generalizations of Kazhdan's property T for locally compact groups.

We derive a power series formula for the p-adic regulator on the higher dimensional algebraic K-groups of number fields. This formula is designed to be well suited to computer calculations and to reduction modulo powers of p.

We study determinant functors which are defined on a triangulated category and take values in a Picard category. The two main results are the existence of a universal determinant functor for every small triangulated category, and a comparison theorem for determinant functors on a triangulated category with a non-degenerate bounded t-structure and determinant functors on its heart. For a small triangulated category Τ we give a natural definition of groups K0(Τ) and K1(Τ) in terms of the universal determinant functor on Τ, and we show that Ki(Τ) ≅ Ki(ε) for i = 0 and 1 if Τ has a non-degenerate bounded t-structure with heart ε.

We prove that the homology of unitary groups over rings of S-integers in number fields stabilizes. Results of this kind are well known to follow from the high acyclicity of ad-hoc polyhedra. Given this, we exhibit two simple conditions on the arithmetic of hermitian forms over a ring A relatively to an anti-automorphism which, if they are satisfied, imply the stabilization of the homology of the corresponding unitary groups. When R is a ring of S-integers in a number field K, and A is a maximal R-order in an associative composition algebra F over K, we use the strong approximation theorem to show that both of these properties are satisfied. Finally we take a closer look at the case of On(ℤ[½]).

We present structure theorems in terms of inertial decompositions for the wreath product ring of an orbifold presented as the quotient of a smooth, closed manifold by a compact, connected Lie group acting almost freely. In particular we show that this ring admits λ-ring and Hopf algebra structures both abstractly and directly. This generalizes results known for global quotient orbifolds by finite groups.

In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifoldK-theory of an orbifold , analogous to the Chen-Ruan orbifold cohomology of in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when arises as an abelian symplectic quotient. To this end, we introduce the inertial K-theory associated to a T -action on a stably complex manifold M, where T is a compact abelian Lie group. Our methods are integral K-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the K-theoretic Kirwan surjectivity methods developed by Harada and Landweber. As a worked class of examples, we compute the full orbifold K-theory of weighted projective spaces that occur as a symplectic quotient of a complex affine space by a circle. Our computations hold over the integers, and in the particular case of these weighted projective spaces, we show that the associated invariant is torsion-free.