Wedderburn's factorization theorem application to reduced -theory

This article provides a short and elementary proof of the key theorem of reduced -theory, namely Platonov's Congruence theorem. Our proof is based on Wedderburn's factorization theorem.

     

From

Let be a space of finite type. Set as usual, and define the mod support of by for 0.$"> Call sparse if there is no with

Then we show the relation for any finite type space with being sparse.

As a special case, we have and the main theorem of Ravenel, Wilson and Yagita is also generalized in terms of the mod support.

     

Bounds for computing the tame kernel

The tame kernel of the of a number field  is the kernel of some explicit map , where the product runs over all finite primes  of  and is the residue class field at . When is a set of primes of , containing the infinite ones, we can consider the -unit group  of . Then has a natural image in . The tame kernel is contained in this image if  contains all finite primes of  up to some bound. This is a theorem due to Bass and Tate. An explicit bound for imaginary quadratic fields was given by Browkin. In this article we give a bound, valid for any number field, that is smaller than Browkin's bound in the imaginary quadratic case and has better asymptotics. A simplified version of this bound says that we only have to include in  all primes with norm up to  , where  is the discriminant of . Using this bound, one can find explicit generators for the tame kernel, and a ``long enough' search would also yield all relations. Unfortunately, we have no explicit formula to describe what ``long enough' means. However, using theorems from Keune, we can show that the tame kernel is computable.

     

The Farrell-Jones Isomorphism Conjecture for finite covolume hyperbolic actions and the algebraic -theory of Bianchi groups

We prove the Farrell-Jones Isomorphism Conjecture for groups acting properly discontinuously via isometries on (real) hyperbolic -space with finite volume orbit space. We then apply this result to show that, for any Bianchi group , , , and vanish for .

     

A higher Lefschetz formula for flat bundles

In this paper, we prove a fixed point formula for flat bundles. To this end, we use cyclic cocycles which are constructed out of closed invariant currents. We show that such cyclic cocycles are equivariant with respect to isometric longitudinal actions of compact Lie groups. This enables us to prove fixed point formulae in the cyclic homology of the smooth convolution algebra of the foliation.

     

On the structure of

We show that for with its geometrically induced structure maps is not an Hopf algebroid because neither the augmentation nor the coproduct are multiplicative. As a consequence the algebra structure of is slightly different from what was supposed to be the case. We give formulas for and and show that the inversion of the formal group of is induced by an antimultiplicative involution . Some consequences for multiplicative and antimultiplicative automorphisms of for are also discussed.

     

Persistence Approximation Property for Maximal Roe Algebras

Persistence approximation property was introduced by Hervé Oyono-Oyono and Guoliang Yu. This property provides a geometric obstruction to Baum-Connes conjecture. In this paper, the authors mainly discuss the persistence approximation property for maximal Roe algebras. They show that persistence approximation property of maximal Roe algebras follows from maximal coarse Baum-Connes conjecture. In particular, let X be a discrete metric space with bounded geometry, assume that X admits a fibred coarse embedding into Hilbert space and X is coarsely uniformly contractible, then C_(max)~*(X) has persistence approximation property. The authors also give an application of the quantitative K-theory to the maximal coarse Baum-Connes conjecture.     

The de Rham-Witt complex and -adic vanishing cycles

We determine the structure of the reduction modulo of the absolute de Rham-Witt complex of a smooth scheme over a discrete valuation ring of mixed characteristic with log-poles along the special fiber and show that the sub-sheaf fixed by the Frobenius map is isomorphic to the sheaf of -adic vanishing cycles. We use this result together with the main results of op. cit. to evaluate the algebraic -theory with finite coefficients of the quotient field of the henselian local ring at a generic point of the special fiber. The result affirms the Lichtenbaum-Quillen conjecture for this field.

     

The power of the tangent bundle of the real projective space, its complexification and extendibility

We establish the formulas on the power of the tangent bundle of the real projective -space and its complexification , and apply the formulas to the problem of extendibility and stable extendiblity of and .