
In this note we set a configuration space description of the equivariant
connective Khomology groups with coefficients in a unital C*algebra for
proper actions. Over this model we define a connective assembly map and prove
that in this setting is possible to recover the analytic assembly map.

We compare different algebraic structures in twisted equivariant KTheory for
proper actions of discrete groups. After the construction of a module structure
over untwisted equivariant KTheory, we prove a completion Theorem of
AtiyahSegal type for twisted equivariant KTheory. Using a Universal
coefficient Theorem, we prove a cocompletion Theorem for Twisted Borel
KHomology for discrete Groups.

In this paper we provide descriptions of the Whitehead groups with
coefficients in a ring of the Hilbert modular group and its reduced version, as
well as for the topological Ktheory of $C^*$algebras, after tensoring with
$\mathbb{Q}$, by computing the source of the assembly maps in the FarrellJones
and the BaumConnes conjecture respectively. We also construct a model for the
classifying space of the Hilbert modular group for the family of virtually
cyclic subgroups.

Using a combination of AtiyahSegal ideas on one side and of Connes and
BaumConnes ideas on the other, we prove that the Twisted geometric Khomology
groups of a Lie groupoid have an external multiplicative structure extending
hence the external product structures for proper cases considered by AdemRuan
in [1] or by Tu,Xu and LaurentGengoux in [24]. These Twisted geometric
Khomology groups are the left hand sides of the twisted geometric BaumConnes
assembly maps recently constructed in [9] and hence one can transfer the
multiplicative structure via the BaumConnes map to the Twisted Ktheory groups
whenever this assembly maps are isomorphisms.

In this paper we show a Kunneth formula for Bredon cohomology for actions of
a pullback of groups. We show how this formula can be used to compute orbifold
twisted Ktheory for some discrete twistings. Using that result we compute
orbifold Ktheory for some 6dimensional orbifolds introduced by Vafa and
Witten. These examples also show the limitations of the method.

We use a spectral sequence developed by Graeme Segal in order to understand
the twisted Gequivariant Ktheory for proper and discrete actions. We show
that the second page of this spectral sequence is isomorphic to a version of
Bredon cohomology with local coefficients in twisted representations. We
furthermore explain some phenomena concerning the third differential of the
spectral sequence, and we recover known results when the twisting comes from
finite order elements in discrete torsion.

Following ideas of Graeme Segal, we construct an equivariant con figuration
space that is a model of equivariant connective Khomology spec trum for
finite groups, as a consequence we obtain an induction structure for
equivariant connective Khomology. We describe explicitly the homology with
complex coefficients for the fixed points of this configuration space as a Hopf
algebra.

We develop an EilenbergMoore spectral sequence to compute Bredon cohomology
of spaces with an action of a group given as a pullback. Using several other
spectral sequences, and positive results on the BaumConnes Conjecture, we are
able to compute Equivariant Ktheory and KHomology of the reduced group
C*algebra of a 6dimensional crystallographic group $\Gamma$ introduced by
Vafa and Witten. We also use positive results on the FarrellJones Conjecture
to give a vanishing result for the negative algebraic Ktheory of the integral
group ring of $\Gamma$.

We compare twisted Equivariant Ktheory of Sl3Z with untwisted equivariant
KTheory of its universal central extension, St3Z. Using universal coefficient
theorems by the authors, the computations explained here give the domain of
BaumConnes assembly maps landing on the topological Ktheory of twisted group
C*algebras related to Sl3Z, for which a version of Poincar\'e Duality studied
previously by Echterhoff, Emerson and Kim is verified.

Replaces Previous version. Includes comments on poincare duality for twisted
equivariant in the context of proper and discrete actions and the BaumConnes
Conjecture. We use a spectral sequence proposed by C. Dwyer and previous work
by SanchezGarcia and Soule to compute Twisted Equivariant Ktheory groups of
the classifying space for proper actions of Sl3(Z). After proving a Universal
coefficient theorem in Bredon Cohomology with specific coefficients, we compute
the twisted equivariant Khomology and state a relation to the BaumConnes
Conjecture with coefficients.

We study the relationship between the twisted Orbifold Ktheories
${^{\alpha}}K_{orb}(\textsl{X})$ and ${^{\alpha'}}K_{orb}(\textsl{Y})$ for two
different twists $\alpha\in Z^3(G;S^1)$ and $\alpha'\in Z^3(G';S^1)$ of the
Orbifolds $\textsl{X}=[*/G]$ and $\textsl{Y}=[*/G']$ respectively, for $G$ and
$G'$ finite groups. We prove that under suitable hypothesis over the twisting
$\alpha'$ and the group $G'$ we obtain an isomorphism between these twisted
Ktheories.