Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: this paper is based on three lectures i gave at the conference on `` renormalization and galois theories '' that was held in luminy , at the centre international de rencontres mathmatiques ( cirm ) , on march 2006 . the purpose of these talks was to give an elementary overview on classical motives ( pure motives ) and to survey on some of the recent developments of this theory in noncommutative geometry , especially following the introduction of the notion of an _ endomotive_.    it is likely to expect that the reader acquainted with the literature on motives theory will not fail to notice the allusion , in this title , to the paper @xcite in which p. deligne states that in spite of the lack of essential progresses on the problem of constructing `` relevant '' algebraic cycles , the techniques supplied by the theory of motives remain a powerful tool in algebraic geometry and arithmetic . the assertion on the lack of relevant progresses on algebraic cycles seems , unfortunately , still to apply at the present time , fifteen years after deligne wrote his paper . despite the general failure of testing the standard conjectures , it is also true that in these recent years the knowledge on motives has been substantially improved by several new results and also by some unexpected developments . motives were introduced by a. grothendieck with the aim to supply an intrinsic explanation for the analogies occurring among various cohomological theories in algebraic geometry . they are expected to play the role of a universal cohomological theory by also furnishing a linearization of the theory of algebraic varieties and in the original understanding they were expected to provide the correct framework for a successful approach to the weil s conjectures on the zeta - function of a variety over a finite field .    even though the weil s conjectures have been proved by deligne without appealing to the theory of motives , an enlarged and in part still conjectural theory of mixed motives has in the meanwhile proved its usefulness in explaining conceptually , some intriguing phenomena arising in several areas of pure mathematics , such as hodge theory , @xmath0-theory , algebraic cycles , polylogarithms , @xmath1-functions , galois representations etc .    very recently , some new developments of the theory of motives to number - theory and quantum field theory have been found or are about to be developed , with the support of techniques supplied by noncommutative geometry and the theory of operator algebras .    in number - theory , a conceptual understanding of the main result of @xcite on the interpretation proposed by a. connes of the weil explicit formulae as a lefschetz trace formula over the noncommutative space of adle classes , requires the introduction of a generalized category of motives inclusive of spaces which are highly singular from a classical viewpoint . the problem of finding a suitable enlargement of the category of ( smooth projective ) algebraic varieties is combined with the even more compelling one of the definition of a generalized notion of correspondences . several questions arise already when one considers special types of zero - dimensional noncommutative spaces , such as the space underlying the quantum statistical dynamical system defined by j. b. bost and connes in @xcite ( the bc - system ) . this space is a simplified version of the adles class space of @xcite and it encodes in its group of symmetries , the arithmetic of the maximal abelian extension of @xmath2 .    in this paper i give an overview on the theory of endomotives ( algebraic and analytic ) . this theory has been originally developed in the joint paper @xcite with a. connes and m. marcolli and has been applied already in our subsequent work @xcite . the category of endomotives is the minimal one that makes it possible to understand conceptually the role played by the absolute galois group in several dynamical systems that have been recently introduced in noncommutative geometry as generalizations of the bc - system , which was our motivating and prototype example . the category of endomotives is a natural enlargement of the category of artin motives : the objects are noncommutative spaces defined by semigroup actions on projective limits of artin motives . the morphisms generalize the notion of algebraic correspondences and are defined by means of tale groupoids to account for the presence of the semigroup actions . endomotives carry a natural galois action which is inherited from the artin motives and they have both an algebraic and an analytic description . the latter is particularly useful as it provides the data of a quantum statistical dynamical system , via the implementation of a _ canonical time evolution _ ( a one - parameter family of automorphisms ) which is associated by the theory of m.  tomita ( _ cf . _  @xcite ) to an initial state ( probability measure ) assigned on an analytic endomotive . this is the crucial new development supplied by the theory of operator - algebras to a noncommutative @xmath3-algebra and in particular to the algebra of the bc - system . the implication in number - theory is striking : the time evolution implements on the dual system a scaling action which combines with the action of the galois group to determine on the cyclic homology of a suitable noncommutative motive associated to the original endomotive , a characteristic zero analog of the action of the weil group on the tale cohomology of an algebraic variety . when these techniques are applied to the endomotive of the bc - system or to the endomotive of the adles class space , the main implication is the spectral realization of the zeroes of the corresponding @xmath1-functions . these results supply a first answer to the question i raised in the title of this paper ( a quoi servent les endomotifs ? ) . an open and interesting problem is connected to the definition of a higher dimensional theory of noncommutative motives and in particular the introduction of a theory of noncommutative elliptic motives and modular forms . a related problem is of course connected to the definition of a higher dimensional theory of geometric correspondences . the comparison between algebraic correspondences for motives and geometric correspondences for noncommutative spaces is particularly easy in the zero - dimensional case , because the equivalence relations play no role . in noncommutative geometry , algebraic cycles are naturally replaced by bi - modules , or by classes in equivariant @xmath4-theory . naturally , the original problem of finding `` interesting '' cycles pops - up again in this topological framework : a satisfactory solution to this question seems to be one of the main steps to undertake for a further development of these ideas . the theory of motives in algebraic geometry was established by a. grothendieck in the 1960s : 1963 - 69 ( _ cf . _  @xcite,@xcite ) . the foundations are documented in the unpublished manuscript @xcite and were discussed in a seminar at the institut des hautes tudes scientifiques , in 1967 . this theory was conceived as a fundamental machine to develop grothendieck s `` long - run program '' focused on the theme of the connections between geometry and arithmetic .    at the heart of the philosophy of motives sit grothendieck s speculations on the existence of a universal cohomological theory for algebraic varieties defined over a base field @xmath5 and taking values into an abelian , tensor category . the study of this problem originated as the consequence of a general dissatisfaction connected to an extensive use of topological methods in algebraic geometry , with the result of producing several but insufficiently related cohomological theories ( betti , de - rham , tale etc . ) . the typical example is furnished by a family of homomorphisms @xmath6 connecting the groups of tale cohomology of two ( smooth , projective ) varieties , as the prime number @xmath7 varies , which are not connected , in general , by any sort of ( canonical ) relation . the definition of a contravariant functor ( functor of motivic cohomology ) @xmath8 from the category @xmath9 of projective , smooth , irreducible algebraic varieties over @xmath5 to a semi - simple abelian category of pure motives @xmath10 is also tied up with the definition of a universal cohomological theory through which every other classical , cohomology @xmath11 ( here understood as contravariant functor ) should factor by means of the introduction of a fiber functor ( realization @xmath12-functor ) @xmath13 connecting @xmath10 to the abelian category of ( graded ) vector - spaces over @xmath2    v_k & ^h^ & grv ect _ + & _ h & ^ + & & m_k(v_k )    following grothendieck s original viewpoint , the functor @xmath14 should implement the sought for mechanism of compatibilities ( in tale cohomology ) and at the same time it should also describe a universal linearization of the theory of algebraic varieties .    the definition of the category @xmath10 arised from a classical construction in algebraic geometry which is based on the idea of extending the collection of algebraic morphisms in @xmath9 by including the ( algebraic ) _ correspondences_. a correspondence between two objects @xmath15 and @xmath16 in @xmath9 is a multi - valued map which connects them . an algebraic correspondence is defined by means of an algebraic cycle in the cartesian product @xmath17 . the concept of ( algebraic ) correspondence in geometry is much older than that of a motive : it is in fact already present in several works of the italian school in algebraic geometry ( _ cf . _ severi s theory of correspondences on algebraic curves ) . grothendieck s new intuition was that the whole philosophy of motives is regulated by the theory of ( algebraic ) correspondences :    `` _ ... jappelle motif sur @xmath5 quelque chose comme un groupe de cohomologie @xmath7-adique dun schema algbrique sur @xmath5 , mais considre comme indpendant de @xmath7 , et avec sa structure entire , ou disons pour linstant sur @xmath2 , dduite de la thorie des cycles algbriques ... _ '' ( _ cf . _ @xcite , lettre 16.8.1964 ) . motives were envisioned with the hope to explain the intrinsic relations between integrals of algebraic functions in one or more complex variables . their ultimate goal was to supply a machine that would guarantee a generalization of the main results of galois theory to systems of polynomials equations in several variables . here , we refer in particular to a higher - dimensional analog of the well - known result which describes the linearization of the galois - grothendieck correspondence for the category @xmath18 of tale , finite @xmath5-schemes @xmath19 by means of the equivalence between the category of artin motives and that of the representations of the absolute galois group .    in the following section we shall describe how the fundamental notions of the theory of motives arose from the study of several classical problems in geometry and arithmetic . a classical problem in algebraic geometry is that of computing the solutions of a finite set of polynomial equations @xmath20 with coefficients in a finite field @xmath21 . this study is naturally formalized by introducing the generating series @xmath22 which is associated to the algebraic variety @xmath23 that is defined as the set of the common zeroes of the polynomials @xmath24 .    under the assumption that @xmath15 is smooth and projective , the series encodes the complete information on the number of the rational points of the algebraic variety , through the coefficients @xmath25 . the integers @xmath26 supply the cardinality of the set of the rational points of @xmath15 , computed in successive finite field extensions @xmath27 of the base field @xmath21 . intersection theory furnishes a general way to determine the number @xmath26 as intersection number of two algebraic cycles on the cartesian product @xmath28 : namely the diagonal @xmath29 and the graph @xmath30 of the @xmath31-th iterated composite of the frobenius morphism on the scheme @xmath32 : @xmath33 the frobenius endomorphism is in fact an interesting example of _ correspondence _ , perhaps the most interesting one , for algebraic varieties defined over finite fields . as a correspondence it induces a commutative diagram @xmath34 in tale cohomology . through the commutativity of the above diagram one gets a way to express the action of the induced homomorphism in cohomology , by means of the formula @xmath35 where @xmath36 denote the two projection maps . here , ` algebraic ' refers to the algebraic cycle @xmath37 that performs such a correspondence .    for particularly simple algebraic varieties , such as projective spaces @xmath38 , the computation of the integers @xmath26 can be done by applying an elementary combinatorial argument based on the set - theoretical description of the space @xmath39 ( @xmath40 any field ) . this has the effect to produce the interesting description @xmath41 this decomposition of the set of the rational points of a projective space was certainly a first source of inspiration in the process of formalizing the foundations of the theory of motives . in fact , one is naturally led to wonder on the casuality of the decomposition , possibly ascribing such a result to the presence of a cellular decomposition on the projective space which induces a related break - up on the set of the rational points . remarkably , a.  weil proved that a similar formula holds also in the more general case of a smooth , projective algebraic curve @xmath42 of genus @xmath43 . in this case one shows that @xmath44 these results suggest that and are the manifestation of a deep and intrinsic structure that governs the geometry of algebraic varieties . the development of the theory of motives has in fact shown to us that this structure reveals itself in several contexts : topologically , manifests its presence in the decomposition of the cohomology @xmath45 , whereas arithmetically it turns out that it is the same structure that controls the decomposition of the series as a rational function of @xmath46 : @xmath47 this is in fact a consequence of the description of the integers @xmath26 supplied by the lefschetz - grothendieck trace formula ( _ cf . _  @xcite ) @xmath48      originally , grothendieck proposed a general framework for a so called category of _ numerically effective motives _ @xmath49 over a field @xmath5 and with rational coefficients . this category is defined by enlarging the category @xmath9 of smooth , projective algebraic varieties over @xmath5 ( and algebraic morphisms ) by following the so - called procedure of pseudo - abelian envelope . this construction is performed in two steps : at first one enlarges the set of morphisms of @xmath9 by including ( rational ) algebraic correspondences of degree zero , modulo numerical equivalence , then one performs a pseudo - abelian envelope by formally including among the objects , kernels of idempotent morphisms .    let us assume for simplicity that the algebraic varieties are irreducible ( the general case is then deduced from this , by additivity ) . for any given @xmath50 , one works with correspondences @xmath51 which are elements of codimension equal to @xmath52 in the rational graded algebra @xmath53 of algebraic cycles modulo _ numerical equivalence_. we recall that two algebraic cycles on an algebraic variety @xmath15 are said to be numerically equivalent @xmath54 , if @xmath55 for any algebraic cycle @xmath56 on @xmath15 . here , by @xmath57 we mean the degree of the algebraic cycle @xmath58 . the degree defines a homomorphism from the free abelian group of algebraic cycles @xmath59 to the integers . on the components @xmath60 , the map is defined as follows @xmath61 the symbol ` @xmath62 ' in refers to the intersection product structure on @xmath63 , which is well - defined under the assumption of proper intersection . if @xmath64 is proper ( _ i.e. _  @xmath65 ) , then intersection theory supplies the definition of an intersection cycle @xmath66 . moreover , the intersection product is commutative and associative whenever is defined . passing from the free abelian group @xmath63 to the quotient @xmath67 , modulo a suitable equivalence relation on cycles , allows one to use classical results of algebraic geometry ( so called moving lemmas ) which lead to the definition of a ring structure . one then defines intersection cycle classes in general , even when cycles do not intersect properly , by intersecting equivalent cycles which fulfill the required geometric property of proper intersection . it is natural to guess that the use of the numerical equivalence in the original definition of the category of motives was motivated by the study of classical constructions in enumerative geometry , such as for example the computation of the number of the rational points of an algebraic variety defined over a finite field . one of the main original goals was to show that for a suitable definition of an equivalence relation on algebraic cycles , the corresponding category of motives is _ semi - simple_. this means that the objects @xmath68 in the category decompose , following the rules of a _ theory of weights _ ( _ cf . _ section  [ fundstructures ] ) , into direct _ factors _ @xmath69 , with @xmath70 simple ( _ i.e. _ indecomposable ) motives associated to smooth , projective algebraic varieties . the importance of achieving such a result is quite evident if one seeks , for example , to understand categorically the decomposition @xmath71 in cohomology , or if one wants to recognize the role of motives in the factorization of zeta - functions of algebraic varieties . grothendieck concentrated his efforts on the numerical equivalence relation which is the coarsest among the equivalence relations on algebraic cycles . so doing , he attacked the problem of the semi - simplicity of the category of motives from the easiest side . however , despite a promising departing point , the statement on the semi - simplicity escaped all his efforts . in fact , the result he was able to reach at that time was dependent on the assumption of the _ standard conjectures _ , two strong topological statements on algebraic cycles . the proof of the semi - simplicity of the category of motives for numerical equivalence ( the only equivalence relation producing this result ) was achieved only much later on in the development of the theory ( _ cf . _  @xcite ) . the proof found by u. jannsen uses a fairly elementary but ingenious idea which mysteriously eluded grothendieck s intuition as well as all the mental grasps of several mathematicians after him .    by looking at the construction of ( pure ) motives in perspective , one immediately recognizes the predominant role played by the morphisms over the objects , in the category @xmath49 . this was certainly a great intuition of grothendieck . this idea led to a systematic study of the properties of algebraic cycles and their decomposition by means of _ algebraic projectors _ , that is algebraic cycles classes @xmath72 satisfying the property @xmath73 notice that in order to make sense of the notion of a projector and more in general , in order to define a law of composition ` @xmath74 ' on algebraic correspondences , one needs to use the ring structure on the graded algebra @xmath75 . the operation ` @xmath74 ' is defined as follows . let us assume for simplicity , that the algebraic varieties are connected ( the general case can be easily deduced from this ) . then , two algebraic correspondences @xmath76 ( of degree @xmath77 ) and @xmath78 ( of degree @xmath79 ) compose accordingly to the following rule ( bi - linear , associative ) @xmath80 @xmath81 in the particular case of projectors @xmath82 , one is restricted , in order to make a sense of the condition @xmath83 , to use only particular types of algebraic correspondences : namely those of degree zero . these are the elements of the abelian group @xmath84 . the objects of the category @xmath49 are then pairs @xmath85 , with @xmath86 and @xmath87 a projector . this way , one attains the notion of a @xmath2-linear , pseudo - abelian , monoidal category ( the @xmath12-monoidal structure is deduced from the cartesian product of algebraic varieties ) , together with the definition of a contravariant functor @xmath88 here @xmath89 denotes the motive associated to @xmath15 and @xmath90 means the trivial ( _ i.e. _  identity ) projector associated to the diagonal @xmath29 . more in general , @xmath85 refers to the motive @xmath91 that is cut - off on @xmath92 by the ( range of the ) projector @xmath82 . notice that images of projectors are formally included among the objects of @xmath49 , by the procedure of the pseudo - abelian envelope . the cut - off performed by a projector @xmath87 on the space determines a corresponding operation in cohomology ( for any classical weil theory ) , by singling out the sub - vector space @xmath93 . the category @xmath49 has two important basic objects : @xmath94 and @xmath95 . @xmath96 is the _ unit motive _ @xmath97 this is defined by the zero - dimensional algebraic variety associated to a point , whereas @xmath98 is the so - called _ lefschetz motive_. this motive determines , jointly with @xmath96 , a decomposition of the motive associated to the projective line @xmath99 @xmath100 one can show that the algebraic cycles @xmath101 and @xmath102 on @xmath103 do not depend on the choice of the rational point @xmath104 and that their sum is a cycle equivalent to the diagonal . this fact implies that the decomposition is canonical . more in general , it follows from the knneth decomposition of the diagonal @xmath105 in @xmath106 by algebraic cycles @xmath107 , ( _ cf . _  @xcite and @xcite for the details ) that the motive of a projective space @xmath108 decomposes into pieces ( simple motives ) @xmath109 where @xmath110 , @xmath111 . it is precisely this decomposition which implies the decomposition on the rational points , when @xmath112 !    for ( irreducible ) curves , and in the presence of a rational point @xmath113 , one obtains a similar decomposition ( non canonical ) @xmath114 with @xmath115 , @xmath116 and @xmath117 . this decomposition is responsible for the formula . in fact , one can prove that these decompositions partially generalize to any object @xmath86 . in the presence of a rational point , or more in general by choosing a positive zero - cycle @xmath118 ( here @xmath15 is assumed irreducible for simplicity and @xmath119 ) , one constructs two rational algebraic cycles @xmath120 which determine two projectors @xmath121 in the chow group @xmath122 of rational algebraic cycles modulo rational equivalence . the corresponding classes in @xmath123 ( if not zero ) determine two motives @xmath124 and @xmath125 ( _ cf . _  _ e.g. _  @xcite ) .    for the applications , it is convenient to enlarge the category of effective motives by formally adding the tensor product inverse @xmath126 of the lefschetz motive : one usually refers to it as to the _ tate motive_. it corresponds , from the more refined point of view of galois theory , to the cyclotomic characters . this enlargement of @xmath49 by the so - called `` virtual motives '' produces an abelian , semi - simple category @xmath127 of pure motives for numerical equivalence . the objects of this category are now triples @xmath128 , with @xmath129 . effective motives are of course objects of this category and they are described by triples @xmath130 . the lefschetz motive gains a new interpretation in this category as @xmath131 . the tate motive is defined by @xmath132 and is therefore reminissent of ( in fact induces ) the notion of tate structure @xmath133 in hodge theory .    in the category @xmath127 , the set of morphisms connecting two motives @xmath128 and @xmath134 is defined by @xmath135 in particular , @xmath136 , one defines the two motives @xmath137 these determine a canonical decomposition of any virtual motive as @xmath138 , where the direct sum of two motives as the above ones is defined by the formula @xmath139 the general definition of the direct sum of two motives requires a bit more of formalism which escapes this short overview : we refer to _ op.cit . _  for the details . the tensor structure @xmath140 and the involution ( _ i.e. _  auto - duality ) which is defined , for @xmath15 irreducible and @xmath119 by the functor @xmath141 ( the general case follows from this by applying additivity ) , determine the structure of a _ rigid _ @xmath12-_category _ on @xmath142 . here , @xmath143 denotes the transpose correspondence associated to @xmath87 ( _ i.e. _  the transpose of the graph ) . one finds , for example , that @xmath144 . in the particular case of the effective motive @xmath92 , with @xmath15 irreducible and @xmath119 , this involution determines the notion of poincar duality @xmath145 that is an auto - duality which induces the poincar duality isomorphism in any classical cohomological theory . a category of pure motives over a field @xmath5 and with coefficients in a field @xmath0 ( of characteristic zero ) is supposed to satisfy , to be satisfactory , several basic properties and to be endowed with a few fundamental structures . in the previous section we have described the historically - first example of a category of pure motives and we have reviewed some of its basic properties ( in that case @xmath146 ) . one naturally wonders about the description of others categories of motives associated to finer ( than the numerical ) equivalence relations on algebraic cycles : namely the categories of motives for homological or rational or algebraic equivalence relations . however , if one seeks to work with a semi - simple category , the afore mentioned result of jannsen tells us that the numerical equivalence is the only adequate relation . the semi - simplicity property is also attaint if one assumes grothendieck s standard conjectures . following the report of grothendieck in @xcite , these conjectures arose from the hope to understand ( read prove ) the conjectures of weil on the zeta - function of an algebraic variety defined over a finite field . it was well - known to grothendieck that the standard conjectures imply the weil s conjectures . these latter statements became a theorem in the early seventies ( 1974 ) , only a few years later the time when grothendieck stated the standard conjectures ( 1968 - 69 ) . the proof by deligne of the weil s conjectures , however , does not make any use of the standard conjectures , these latter questions remain still unanswered at the present time . the moral lesson seems to be that geometric topology and the theory of algebraic cycles govern in many central aspects the foundations of algebraic geometry . the standard conjectures of `` lefschetz type '' and of `` hodge type '' are stated in terms of algebraic cycles modulo homological equivalence ( _ cf . _  @xcite ) . they imply two further important conjectures . one of these states the equality of the homological and the numerical equivalence relations , the other one , of `` knneth type '' claims that the knneth decomposition of the diagonal in cohomology , can be described by means of ( rational ) algebraic cycles . it is generally accepted , nowadays , to refer to the full set of the four conjectures , when one quotes the standard conjectures . in view of their expected consequences , one is naturally led to study a category of pure _ motives for homological equivalence_. in fact , there are several candidates for this category since the definition depends upon the choice of a weil cohomological theory ( _ i.e. _  betti , tale , de - rham , crystalline , etc ) with coefficients in a field @xmath0 of characteristic zero . let us fix a cohomological theory @xmath147 for algebraic varieties in the category @xmath9 . then , the construction of the corresponding category of motives @xmath148 for homological equivalence is given following a procedure similar to that we have explained earlier on in this paper for the category of motives for numerical equivalence and with rational coefficients . the only difference is that now morphisms in the category @xmath149 are defined by means of algebraic correspondences modulo homological equivalence . at this point , one makes explicit use of the axiom `` cycle map '' that characterizes ( together with finiteness , poincar duality , knneth formula , cycle map , weak and strong lefschetz theorems ) any weil cohomological theory ( _ cf . _ @xcite ) . the set of algebraic morphisms connecting objects in the category @xmath9 is enlarged by including multi - valued maps @xmath150 that are defined as a @xmath0-linear combination of elements of the vector spaces @xmath151 where @xmath152 is a subfield . two cycles @xmath153 are _ homologically equivalent _ @xmath154 if their image , by means of the cycle class map @xmath155 is the same . this leads naturally to the definition of a subvector - space @xmath156 generated by the image of the cycle class map @xmath157 . these spaces define the correspondences in the category @xmath148 . if @xmath15 is purely @xmath158-dimensional , then @xmath159 in general , if @xmath15 decomposes into several connected components @xmath160 , one sets @xmath161 . in direct analogy to the construction of correspondences for numerical equivalence , the ring structure ( `` cap - product '' ) in cohomology determines a composition law ` @xmath74 ' among correspondences .    the category @xmath149 is then defined as follows : the objects are triples @xmath162 , where @xmath86 , @xmath129 and @xmath163 is an idempotent . the collection of morphisms between two motives @xmath162 , @xmath164 is given by the set @xmath165 this procedure determines a pseudo - abelian , @xmath0-linear tensor category . the tensor law is given by the formula @xmath166 the commutativity and associativity constraints are induced by the obvious isomorphisms @xmath167 , @xmath168 . the unit object in the category is given by @xmath169 . one shows that @xmath149 is a _ rigid _ category , as it is endowed with an auto - duality functor @xmath170 for any object @xmath68 , the functor @xmath171 is left - adjoint to @xmath172 and @xmath173 is right - adjoint to @xmath174 . in the case of an irreducible variety @xmath15 , the internal hom is defined by the motive @xmath175    the standard conjecture of knneth type ( which is assumed from now on in this section ) implies that the knneth components of the diagonal @xmath176 determine a complete system of orthogonal , central idempotents . this important statement implies that the motive @xmath177 has the expected direct sum decomposition ( unique ) @xmath178 the cohomology functor @xmath179 factors through the projection @xmath180 . more in general , one shows that every motive @xmath181 gets this way a @xmath182-_grading _ structure by setting @xmath183 this grading is respected by all morphisms in the category and defines the structure of a _ graduation by weights _ on the objects . on a motive @xmath184 in the category , one sets    @xmath185 where @xmath186 is a pure motive of weight @xmath77 . one finds for example , that @xmath96 has weight zero , @xmath187 has weight @xmath188 and that @xmath189 has weight @xmath190 . more in general , the motive @xmath191 has weight @xmath192 .    in order to achieve further important properties , one needs to modify the natural commutativity constraint @xmath193 , @xmath194 , by defining @xmath195    we shall denote by @xmath196 the category of motives for homological equivalence in which one has implemented the modification on the tensor product structure .    an important structure on a category of pure motives ( for homological equivalence ) is given by assigning to an object @xmath197 a _ motivic cohomology _ @xmath198 . @xmath198 is a pure motive of weight @xmath77 . this way , one views pure motives as a universal cohomological theory for algebraic varieties . the main property of the motivic cohomology is that it defines a universal realization of any given weil cohomology theory @xmath199 . candidates for these motivic cohomology theories have been proposed by a. beilinson @xcite , in terms of eigenspaces of adams operations in algebraic @xmath0-theory _ @xmath200 and by s. bloch @xcite , in terms of higher chow groups _ i.e. _  @xmath201 . the assignment of a weil cohomological theory with coefficients in a field @xmath0 which contains an assigned field @xmath202 is equivalent to the definition of an exact _ realization @xmath12-functor _ of @xmath203 in the category of @xmath0-vector spaces @xmath204 in particular , one obtains the realization @xmath205 which defines the notion of the _ tate twist _ in cohomology . more precisely :     in tale cohomology : @xmath206 , where @xmath207 is a @xmath208-vector space of dimension one endowed with the cyclotomic action of the absolute galois group @xmath209 . the `` twist '' ( or torsion ) @xmath210 in tale cohomology corresponds to the torsion in galois theory defined by the @xmath211-th power of the cyclotomic character ( tate twist )     in de - rham theory : @xmath212 , with the hodge filtration defined by @xmath213 , @xmath214 . here , the effect of the torsion @xmath210 is that of shifting the hodge filtration of @xmath215-steps ( to the right )     in betti theory : @xmath216 . the bi - graduation on @xmath217 is purely of type @xmath218 . the torsion @xmath210 is here identified with the composite of a homothety given by a multiplication by @xmath219 followed by a shifting by @xmath220 of the hodge bi - graduation .    using the structure of rigid tensor - category one introduces the notion of _ rank _ associated to a motive @xmath221 in @xmath196 . the rank of @xmath68 is defined as the trace of @xmath222 _ i.e. _  the trace of the morphism @xmath223 , where @xmath224 are _ resp . _ the evaluation and co - evaluation morphisms satisfying @xmath225 , @xmath226 . in general , one sets @xmath227 under the assumption of the standard conjectures ( more precisely under the assumption that homological and numerical equivalence relations coincide ) and that @xmath228 ( @xmath229 ) , the tannakian formalism invented by grothendieck and developed by saavedra @xcite , and deligne @xcite implies that the abelian , rigid , semi - simple tensor category @xmath196 is endowed with an exact , faithful @xmath12-fibre functor to the category of graded @xmath0-vector spaces @xmath230 which is compatible with the realization functor . this formalism defines a _ tannakian _ ( _ neutral _ if @xmath231 ) structure on the category of motives . one then introduces the _ tannakian group _ @xmath232 as a @xmath0-scheme in affine groups . through the tannakian formalism one shows that the fibre functor @xmath13 realizes an equivalence of rigid tensor categories @xmath233 where @xmath234 denotes the rigid tensor category of finite dimensional , @xmath202 representations of the tannakian group @xmath235 . this way , one establishes a quite useful dictionary between categorical @xmath12-properties and properties of the associated groups . because we have assumed all along the standard conjectures , the semi - simplicity of the category @xmath236 implies that @xmath235 is an algebraic , pro - reductive group , that is @xmath235 is the projective limit of reductive @xmath202-algebraic groups . the tannakian theory is a linear analog of the theory of finite , tale coverings of a given connected scheme . this theory was developed by grothendieck in sga1 ( theory of the pro - finite @xmath237 ) . for this reason the group @xmath235 is usually referred to as the _ motivic galois group _ associated to @xmath9 and @xmath199 . in the case of algebraic varieties of dimension zero ( _ i.e. _  for artin motives ) the tannakian group @xmath235 is nothing but the ( absolute ) galois group @xmath238 .    in any reasonable cohomological theory the functors @xmath239 are deduced by applying standard methods of homological algebra to the related derived functors @xmath240 which associate to an object in @xmath9 a bounded complex of @xmath5-vector spaces , in a suitable triangulated category @xmath241 of complexes of modules over @xmath5 , whose heart is the category of motives . this is the definition of cohomology as @xmath242 under the assumption that the functors @xmath243 are realizations of corresponding motivic functors _ @xmath244 , one expects the existence of a ( non - canonical ) isomorphism in @xmath245 @xmath246.\ ] ] moreover , the introduction of the motivic derived functors @xmath247 suggests the definition of the following groups of _ absolute cohomology _ @xmath248).\ ] ] for a general motive @xmath249 , one defines @xmath250 ) = \text{ext}^i({\bf 1},m).\ ] ] the motives @xmath198 and the groups of absolute motivic cohomology are related by a spectral sequence @xmath251      the first interesting examples of pure motives arise by considering the category @xmath18 of tale , finite @xmath5-schemes . an object in this category is a scheme @xmath252 , where @xmath253 is a commutative @xmath5-algebra of finite dimension which satisfies the following properties . let @xmath254 denote a fixed separable closure of @xmath5    1 . @xmath255}$ ] 2 . @xmath256 , for @xmath257 finite , separable field extensions 3 . @xmath258 $ ] .    the corresponding rigid , tensor - category of motives with coefficients in a field @xmath0 is usually referred to as the category of _ artin motives _ : @xmath259 . the definition of this category is independent of the choice of the equivalence relation on cycles as the objects of @xmath18 are smooth , projective @xmath5-varieties of dimension zero . one also sees that passing from @xmath18 to @xmath260 requires adding new objects in order to attain the property that the category of motives is abelian . one can verify this already for @xmath261 , by considering the real quadratic extension @xmath262 and the one - dimensional non - trivial representation of @xmath263 that factors through the character of order two of @xmath264 . this representation does not correspond to any object in @xmath265 , but can be obtained as the image of the projector @xmath266 , where @xmath267 is the generator of @xmath264 . therefore , @xmath268 is a new object . the category of artin motives is a semi - simple , @xmath0-linear , monoidal @xmath12-category . when @xmath269 , the commutative diagram of functors @xmath270 where @xmath271 is the contravariant functor of linearization @xmath272 determines a linearization of the galois - grothendieck correspondence ( gg ) by means of the equivalence of categories @xmath273 . this is provided by the fiber functor @xmath274 and by applying the tannakian formalism . it follows that @xmath275 is @xmath12-equivalent to the category @xmath276 of representations of the absolute galois group @xmath209 . these results were the departing point for grothendieck s speculations on the definition of higher dimensional galois theories ( _ i.e. _  galois theories associated to system of polynomials in several variables ) and for the definition of the corresponding motivic galois groups . the notion of an _ endomotive _ in noncommutative geometry ( _ cf . _  @xcite ) is the natural generalization of the classical concept of an artin motive for the noncommutative spaces which are defined by semigroup actions on projective limits of zero - dimensional algebraic varieties , endowed with an action of the absolute galois group . this notion applies quite naturally for instance , to the study of several examples of quantum statistical dynamical systems whose time evolution describes important number - theoretic properties of a given field @xmath5 ( _ cf . _  _ op.cit_ , @xcite ) . there are two distinct definitions of an endomotive : one speaks of algebraic or analytic endomotives depending upon the context and the applications . when @xmath5 is a number field , there is a functor connecting the two related categories . moreover , the abelian category of artin motives embeds naturally as a full subcategory in the category of algebraic endomotives ( _ cf . _ theorem  [ ncartinthm ] ) and this result motivates the statement that the theory of endomotives defines a natural generalization of the classical theory of ( zero - dimensional ) artin motives .    in noncommutative geometry , where the properties of a space ( frequently highly singular from a classical viewpoint ) are analyzed in terms of the properties of the associated noncommutative algebra and its ( space of ) irreducible representations , it is quite natural to look for a suitable abelian category which enlarges the original , non - additive category of algebras and in which one may also apply the standard techniques of homological algebra . likewise in the construction of a theory of motives , one seeks to work within a triangulated category endowed with several structures . these include for instance , the definition of ( noncommutative ) motivic objects playing the role of motivic cohomology ( _ cf . _  ) , the construction of a universal ( co)homological theory representing in this context the absolute motivic cohomology ( _ cf . _  ) and possibly also the set - up of a noncommutative tannakian formalism to motivate in rigorous mathematical terms the presence of certain universal groups of symmetries associated to renormalizable quantum field theories ( _ cf . _  _ e.g. _  @xcite ) . a way to attack these problems is that of enlarging the original category of algebras and morphisms by introducing a `` derived '' category of modules enriched with a suitable notion of correspondences connecting the objects that should also account for the structure of morita equivalence which represents the noncommutative generalization of the notion of isomorphism for commutative algebras . the sought for enlargement of the category @xmath277 of ( unital ) @xmath5-algebras and ( unital ) algebra homomorphisms is defined by introducing a new category @xmath278 of cyclic @xmath279-modules . the objects of this category are modules over the _ cyclic category _ @xmath280 . this latter has the same objects as the simplicial category @xmath105 ( @xmath280 contains @xmath105 as sub - category ) . we recall that an object in @xmath105 is a totally ordered set @xmath281 = \{0<1<\ldots < n\}\ ] ] for each @xmath282 , and a morphism @xmath283 \to [ m]\ ] ] is described by an order - preserving map of sets @xmath284 . the set of morphisms in @xmath105 is generated by faces @xmath285 \to [ n]$ ] ( the injection that misses @xmath77 ) and degeneracies @xmath286 \to [ n]$ ] ( the surjection which identifies @xmath79 with @xmath287 ) which satisfy several standard simplicial identities ( _ cf . _  _ e.g. _  @xcite ) . the set of morphisms in @xmath280 is enriched by introducing a new collection of morphisms : the _ cyclic morphisms_. for each @xmath282 , one sets @xmath288 \to [ n]\ ] ] fulfilling the relations @xmath289 \tau_n   \sigma_i = \sigma_{i-1 } \tau_{n+1 } & 1 \leq i \leq n , & \tau_n   \sigma_0 = \sigma_n \tau_{n+1}^2 \\[3 mm ] \tau_n^{n+1 } = 1_n . & &   \end{array}\ ] ] the objects of the category @xmath278 are @xmath5-modules over @xmath280 ( _ i.e. _  @xmath279-modules ) . in categorical language this means functors @xmath290 ( @xmath291 category of @xmath5-modules ) . morphisms of @xmath279-modules are therefore natural transformations between the corresponding functors . it is evident that @xmath278 is an abelian category , because of the interpretation of a morphism in @xmath278 as a collection of @xmath5-linear maps of @xmath5-modules @xmath292 ( @xmath293 ) compatible with faces , degeneracies and cyclic operators . kernels and cokernels of these morphisms define objects of the category @xmath278 , since their definition is given point - wise .    to an algebra @xmath294 over a field @xmath5 , one associates the @xmath279-module @xmath295 . for each @xmath296 one sets @xmath297 the _ cyclic morphisms _ on @xmath298 correspond to the cyclic permutations of the tensors , while the face and the degeneracy maps correspond to the algebra product of consecutive tensors and the insertion of the unit . this construction determines a functor @xmath299 _ traces _ @xmath300 give rise naturally to morphisms @xmath301 in @xmath278 . the main result of this construction is the following canonical description of the cyclic cohomology of an algebra @xmath294 over a field @xmath5 as the derived functor of the functor which assigns to a @xmath279-module its space of traces @xmath302 ( _ cf . _  @xcite,@xcite ) . this formula is the analog of , that describes the absolute motivic cohomology group of a classical motive as an ext - group computed in a triangulated category of motives @xmath245 . in the present context , on the other hand , the derived groups @xmath303 are taken in the abelian category of @xmath278-modules .    the description of the cyclic cohomology as a derived functor in the cyclic category determines a useful procedure to embed the nonadditive category of algebras and algebra homomorphisms in the `` derived '' abelian category of @xmath279-modules . this construction provides a natural framework for the definition of the objects of a category of noncommutative motives .    likewise in the construction of the category of motives , one is faced with the problem of finding the `` motivated maps '' connecting cyclic modules . the natural strategy is that of enlarging the collection of cyclic morphisms which are functorially induced by homomorphisms between ( noncommutative ) algebras , by implementing an adequate definition of ( noncommutative ) correspondences . the notion of an algebraic correspondence in algebraic geometry , as a multi - valued map defined by an algebraic cycle modulo a suitable equivalence relation , has here an analog with the notion of kasparov s bimodule and the associated class in @xmath4-theory ( _ cf . _ @xcite ) . likewise in classical motive theory , one may prefer to work with ( compare ) several versions of correspondences . one may decide to retain the full information supplied by a group action on a given algebra ( _ i.e. _  a noncommutative space ) rather than partially loosing this information by moding out with the equivalence relation ( homotopy in @xmath4-theory ) . there is a natural way to associate a cyclic morphism to a ( virtual ) correspondence and hence to a class in @xmath4-theory . starting with the category of separable @xmath3-algebras and @xmath304-homomorphisms , one enlarges the collection of morphisms connecting two unital algebras @xmath294 and @xmath305 , by including correspondences defined by elements of kasparov s bivariant @xmath0-theory @xmath306 ( @xcite , _ cf . _ also  8 and  9.22 of @xcite ) . more precisely , correspondences are defined by kasparov s bimodules , that means by triples @xmath307 which satisfy the following conditions :      @xmath308 is a countably generated hilbert module over @xmath309     @xmath310 is a @xmath304-homomorphism of @xmath311 to bounded linear operators on @xmath308 ( _ i.e. _  @xmath310 gives @xmath308 the structure of an @xmath311-@xmath309 bimodule )     @xmath202 is a bounded linear operator on @xmath308 such that the operators @xmath312 $ ] , @xmath313 , and @xmath314 are compact for all @xmath315 . a hilbert module @xmath308 over @xmath309 is a right @xmath309-module with a _ positive _ , @xmath309-valued inner product which satisfies @xmath316 , @xmath317 and @xmath318 , and with respect to which @xmath308 is complete ( _ i.e. _  complete in the norm @xmath319 ) . notice that kasparov bimodules are morita - type of correspondences . they generalize @xmath304-homomorphisms of @xmath3-algebras since the latter ones may be re - interpreted as kasparov bimodules of the form @xmath320 .    given a kasparov s bimodule @xmath321 , that is a @xmath294-@xmath305 hilbert bimodule @xmath308 as defined above , one associates , under the assumption that @xmath308 is a projective @xmath305-module of finite type ( _ cf . _  @xcite , lemma  2.1 ) , a cyclic morphism @xmath322 this result allows one to define an enlargement of the collection of cyclic morphisms in the category @xmath278 of @xmath279-modules , by considering kasparov s projective bimodules of finite type , as correspondences . one then implements the _ homotopy equivalence relation _ on the collection of kasparov s bimodules . two kasparov s modules are said to be homotopy equivalent @xmath323 if there is an element @xmath324\to { { \mathcal}{b}}\,|\ , f \text { continuous } \}\ ] ] which performs a unitary homotopy deformation between the two modules . this means that @xmath325 is unitarily equivalent to @xmath326 or equivalently re - phrased , that there is a unitary in bounded operators from @xmath327 to @xmath328 intertwining the morphisms @xmath329 and @xmath330 and the operators @xmath331 and @xmath332 . here @xmath333 is the evaluation at the endpoints . there is a binary operation on the set of all kasparov @xmath334-@xmath305 bimodules , given by the direct sum . by definition , the group of kasparov s bivariant @xmath0-theory is the set of homotopy equivalence classes @xmath335 of kasparov s modules @xmath336 . this set has a natural structure of abelian group with addition induced by direct sum . this bivariant version of @xmath0-theory is reacher than both @xmath0-theory and @xmath0-homology , as it carries an intersection product . there is a natural bi - linear , associative composition ( intersection ) product @xmath337 for all @xmath338 and @xmath339 separable @xmath3-algebras . this product is compatible with composition of morphisms of @xmath3-algebras . @xmath4-theory is also endowed with a bi - linear , associative exterior product @xmath340 which is defined in terms on the composition product by @xmath341 a slightly different formulation of @xmath4-theory , which simplifies the definition of this external tensor product is obtained by replacing in the data @xmath342 the operator @xmath202 by an _ unbounded _ , regular self - adjoint operator @xmath343 . the corresponding @xmath202 is then given by @xmath344 ( _ cf . @xcite ) .    the above construction which produces an enlargement of the category of separable @xmath3-algebras by introducing correspondences as morphisms determines an additive , although non abelian category @xmath345 ( _ cf . _  @xcite  9.22.1 ) . this category is also known to have a triangulated structure ( _ cf . _  @xcite ) and this result is in agreement with the construction of the triangulated category @xmath245 in motives theory , whose heart is expected to be the category of ( mixed ) motives ( _ cf . _  section  [ fundstructures ] and @xcite ) . a more refined analysis based on the analogy with the construction of a category of motives suggests that one should probably perform a further enlargement by passing to the pseudo - abelian envelope of @xmath345 , that is by formally including among the objects also ranges of idempotents in @xmath4-theory .    in section  [ anendo ] we will review the category of analytic endomotives where maps are given in terms of tale correspondences described by spaces @xmath346 arising from locally compact tale groupoids @xmath347 associated to zero - dimensional , singular quotient spaces @xmath348 with associated @xmath3-algebras @xmath349 in view of what we have said in this section , it would be also possible to define a category where morphisms are given by classes @xmath350 which describe sets of equivalent triples @xmath342 , where @xmath351 is given in terms of a bimodule @xmath352 with the trivial grading @xmath353 and the zero endomorphism @xmath354 . the definition of the category of analytic endomotives is more refined because the definition of the maps in this category does not require to divide by homotopy equivalence . the comparison between correspondences for motives given by algebraic cycles and correspondences for noncommutative spaces given by bimodules ( or elements in @xmath4-theory ) is particularly easy in the zero - dimensional case because the equivalence relations play no role . of course , it would be quite interesting to investigate the higher dimensional cases , in view of a unified framework for motives and noncommutative spaces which is suggested for example , by the recent results on the lefschetz trace formula for archimedean local factors of @xmath1-functions of motives ( _ cf . _  @xcite , section  7 ) .    a way to attack this problem is by comparing the notion of a correspondence given by an algebraic cycle with the notion of a geometric correspondence used in topology ( _ cf . _  @xcite , @xcite ) . for example , it is easy to see that the definition of an algebraic correspondence can be reformulated as a particular case of the topological ( geometrical ) correspondence and it is also known that one may associate to the latter a class in @xmath4-theory . in the following two sections , we shall review and comment on these ideas .      in geometric topology , given two smooth manifolds @xmath15 and @xmath16 ( it is enough to assume that @xmath15 is a locally compact parameter space ) , a _ topological ( geometric ) correspondence _ is given by the datum @xmath355 where :     @xmath356 is a smooth manifold     @xmath308 is a complex vector bundle over @xmath356     @xmath357 and @xmath358 are continuous maps , with @xmath359 proper and @xmath360 @xmath0-oriented ( orientation in @xmath0-homology ) .    unlike in the definition of an algebraic correspondence ( _ cf . _  section  [ fundstructures ] ) one does not require that @xmath356 is a subset of the cartesian product @xmath17 . this flexibility is balanced by the implementation of the extra piece of datum given by the vector bundle @xmath308 . to any such correspondence @xmath361 one associates a class in kasparov s k - theory @xmath362 @xmath363 denotes the class of @xmath308 in @xmath364 and @xmath365 is the element in @xmath4-theory which fulfills the grothendieck riemann - roch formula . we recall that given two smooth manifolds @xmath366 and @xmath367 and a continuous oriented map @xmath368 , the element @xmath369 determines the grothendieck riemann  roch formula @xmath370 for all @xmath371 , with @xmath372 the todd genus @xmath373    the composition of two correspondences @xmath374 and @xmath375 is given by taking the fibered product @xmath376 and the bundle @xmath377 , with @xmath378 the projections . this determines the composite correspondence @xmath379 . in fact , one also needs to assume a _ condition on the maps @xmath360 and @xmath380 in order to ensure that the fibered product @xmath356 is a smooth manifold . the homotopy invariance of both @xmath381 and @xmath382 show however that the assumption of transversality is ` generically ' satisfied . theorem 3.2 of @xcite shows that kasparov product in @xmath4-theory ` @xmath12 ' agrees with the composition of correspondences , namely @xmath383      in algebraic geometry , the notion of correspondence that comes closest to the definition of a geometric correspondence ( as an element in @xmath4-theory ) is obtained by considering classes of algebraic cycles in algebraic @xmath0-theory ( _ cf . _ @xcite ) .    given two smooth and projective algebraic varieties @xmath15 and @xmath16 , we denote by @xmath384 and @xmath385 the projections of @xmath17 onto @xmath15 and @xmath16 respectively and we assume that they are _ proper_. let @xmath386 be an algebraic cycle . for simplicity , we shall assume that @xmath356 is irreducible ( the general case follows by linearity ) . we denote by @xmath387 and @xmath388 the restrictions of @xmath384 and @xmath385 to @xmath356 .    to the irreducible subvariety @xmath389 one naturally associates the coherent @xmath390-module @xmath391 . for simplicity of notation we write it as @xmath392 . we use a similar notation for the coherent sheaf @xmath393 , associated to the irreducible subvariety @xmath394 . then , the sheaf pullback @xmath395 has a natural structure of @xmath396-module . the map on sheaves that corresponds to the cap product by @xmath356 on cocycles is given by @xmath397 since @xmath384 is proper , the resulting sheaf is coherent . using , we can write equivalently @xmath398    we recall that the functor @xmath399 is the right adjoint to @xmath400 ( _ i.e. _  @xmath401 ) and that @xmath399 satisfies the grothendieck riemann  roch formula @xmath402 using this result , we can equally compute the intersection product of by first computing @xmath403 and then applying @xmath404 . using and we know that we can replace by @xmath405 with the same effect in @xmath0-theory . thus , to a correspondence in the sense of that is defined by the image in @xmath0-theory of an algebraic cycle @xmath406 we associate the geometric class @xmath407 with @xmath387 , @xmath408 and with the bundle @xmath409 . the composition of correspondences is given in terms of the intersection product of the associated cycles . given three smooth projective varieties @xmath15 , @xmath16 and @xmath410 and ( virtual ) correspondences @xmath411 and @xmath412 , with @xmath413 and @xmath414 closed reduced irreducible subschemes , one defines @xmath415 @xmath416 , @xmath417 , and @xmath418 denote , as usual , the projection maps .    under the assumption of ` general position ' which is the algebraic analog of the transversality requirement in topology , we obtain the following result    [ corrcorr2 ] suppose given three smooth projective varieties @xmath15 , @xmath16 , and @xmath410 and algebraic correspondences @xmath419 given by @xmath420 and @xmath421 given by @xmath422 . assume that @xmath423 and @xmath424 are in general position in @xmath425 . then assigning to a cycle @xmath356 the topological correspondence @xmath426 satisfies @xmath427 where @xmath428 is the product of algebraic cycles and @xmath429 is the kasparov product of the topological correspondences . notice that , while in the topological ( smooth ) setting transversality can always be achieved by a small deformation ( _ cf . _   iii , @xcite ) , in the algebro - geometric framework one needs to modify the above construction if the cycles are not in general position . in this case the formula @xmath430\otimes [ { { \mathcal}{o}}_{t_2}]= [ { { \mathcal}{o}}_{t_1\circ t_2}]\ ] ] which describes the product in @xmath0-theory in terms of the intersection product of algebraic cycles must be modified by implementing tor - classes and one works with a product defined by the formula ( @xcite , theorem 2.7 ) @xmath431\otimes [ { { \mathcal}{o}}_{t_2}]= \sum_{i=0}^n ( -1)^i \left[{\rm tor}_i^{{{\mathcal}{o}}_x } ( { { \mathcal}{o}}_{t_1},{{\mathcal}{o}}_{t_2})\right].\ ] ] to define the category of _ algebraic endomotives _ one replaces the category @xmath432 of reduced , finite - dimensional commutative algebras ( and algebras homomorphisms ) over a field @xmath5 by the category of noncommutative algebras ( and algebras homomorphisms ) of the form @xmath433 @xmath434 denotes a unital algebra which is an inductive limit of commutative algebras @xmath435 . @xmath436 is a unital , _ abelian semigroup _ of algebra endomorphisms @xmath437 moreover , one imposes the condition that for @xmath438 , @xmath439 is an _ idempotent _ of the algebra and that @xmath440 is an isomorphism of @xmath434 with the compressed algebra @xmath441 .    the crossed product algebra @xmath442 is defined by formally adjoining to @xmath434 new generators @xmath443 and @xmath444 , for @xmath438 , satisfying the algebraic rules @xmath445 since @xmath436 is abelian , these rules suffice to show that @xmath446 is the linear span of the monomials @xmath447 , for @xmath448 and @xmath449 .    because @xmath450 , with @xmath451 reduced , finite - dimensional commutative algebras over @xmath5 , the construction of @xmath442 is in fact determined by assigning a _ projective system _ @xmath452 of varieties in @xmath432 ( @xmath453 is a countable indexing set ) , with @xmath454 morphisms in @xmath432 and with a suitably defined action of @xmath436 . here , we have implicitly used the equivalence between the category of finite dimensional commutative @xmath5-algebras and the category of affine algebraic varieties over @xmath5 . the graphs @xmath455 of the connecting morphisms of the system define @xmath209-invariant subsets of @xmath456 which in turn describe @xmath457 as algebraic correspondences . we denote by @xmath458 the associated _ pro - variety_. the compressed algebra @xmath441 associated to the idempotent @xmath459 determines a subvariety @xmath460 which is in fact isomorphic to @xmath15 , via the induced morphism @xmath461 . the noncommutative space defined by @xmath442 is the quotient of @xmath462 by the action of @xmath436 , _ i.e. _  of the action of the @xmath463 s . the galois group @xmath464 acts on @xmath462 by composition . by identifying the elements of @xmath462 with characters , _ i.e. _  with @xmath5-algebra homomorphisms @xmath465 , we write the action of @xmath464 on @xmath434 as @xmath466 this action commutes with the maps @xmath463 , _ i.e. _  @xmath467 . thus the whole construction of the system @xmath468 is @xmath464-equivariant . this fact does not mean however , that @xmath464 acts by automorphisms on @xmath442 ! moreover , notice that the algebraic construction of the crossed - product algebra @xmath442 endowed with the actions of @xmath464 and @xmath436 on @xmath462 makes sense also when @xmath469 . when @xmath470 , one defines the set of correspondences @xmath471 by using the notion of kasparov s bimodules @xmath472 which are projective and finite as right modules . this way , one obtains a first realization of the resulting category of noncommutative zero - dimensional motives in the abelian category of @xmath279-modules .    in general , given @xmath468 , with @xmath452 a projective system of artin motives and @xmath436 a semigroup of endomorphisms of @xmath473 as above , the datum of the semigroup action is encoded naturally by the _ algebraic groupoid _ @xmath474 this is defined in the following way . one considers the grothendieck group @xmath475 of the abelian semigroup @xmath436 . by using the injectivity of the partial action of @xmath436 , one may also assume that @xmath436 embeds in @xmath475 . then , the action of @xmath436 on @xmath15 extends to define a _ partial action _ of @xmath475 . more precisely , for @xmath476 the two projections @xmath477 only depend on @xmath478 and the map @xmath479 defines an isomorphism of reduced algebras . it is immediate to verify that @xmath480 and that @xmath481 . the algebraic groupoid @xmath482 is defined as the disjoint union @xmath483 which corresponds to the commutative direct - sum of reduced algebras @xmath484 the range and the source maps in @xmath482 are given _ resp . _  by the natural projection from @xmath482 to @xmath15 and by its composition with the antipode @xmath485 which is defined , at the algebra level , by @xmath486 . the composition in the groupoid corresponds to the product of monomials @xmath487 .    given two systems @xmath468 and @xmath488 , with associated crossed - product algebras @xmath442 and @xmath489 and groupoids @xmath490 and @xmath491 a _ geometric correspondence _ is given by a @xmath492-space @xmath493 , endowed with a right action of @xmath494 which fulfills the following _ tale _ condition . given a space such as @xmath494 , that is a disjoint union of zero - dimensional pro - varieties over @xmath5 , a right action of @xmath494 on @xmath356 is given by a map @xmath495 and a collection of partial isomorphisms @xmath496 fulfilling the following rules for partial action of the abelian group @xmath475 @xmath497 here @xmath498 denotes the partial action of @xmath475 on @xmath499 . one checks that such an action gives to the @xmath5-linear space @xmath500 a structure of right module over @xmath501 . the action of @xmath494 on @xmath356 is tale if the corresponding module @xmath500 is _ finite and projective _ over @xmath501 . given two systems @xmath468 and @xmath502 as above , an _ tale correspondence _ is therefore a @xmath503-space @xmath356 such that the right action of @xmath504 is tale . the @xmath2-linear space of _ ( virtual ) correspondences _ @xmath505 is the rational vector space of formal linear combinations @xmath506 of tale correspondences @xmath507 , modulo the relations arising from isomorphisms and equivalences : @xmath508 . the composition of correspondences is given by the fiber product over a groupoid . namely , for three systems @xmath468 , @xmath509 , @xmath510 joined by correspondences @xmath511 their composition is given by the rule @xmath512 that is the fiber product over the groupoid @xmath513 . finally , a system @xmath468 as above is said to be _ uniform _ if the normalized counting measures @xmath514 on @xmath515 satisfy @xmath516    the category @xmath517 of _ algebraic endomotives _ with coefficients in a fixed extension @xmath0 of @xmath2 is the ( pseudo)abelian category generated by the following objects and morphisms . the objects are uniform systems @xmath518 of artin motives over @xmath5 , as above . the set of morphisms in the category connecting two objects @xmath519 and @xmath520 is defined as @xmath521    the category @xmath259 of artin motives embeds as a full sub - category in the category of algebraic endomotives @xmath522 the functor @xmath523 maps an artin motive @xmath524 to the system @xmath468 with @xmath525 , @xmath526 and @xmath527 . the category of algebraic endomotives is inclusive of a large and general class of examples of noncommutative spaces @xmath528 which are described by semigroup actions on projective systems of artin motives . one may consider , for instance a pointed algebraic variety @xmath529 over a field @xmath5 and a countable , unital , abelian semigroup @xmath436 of _ finite _ endomorphisms of @xmath529 , _ unramified _ over @xmath530 . then , there is a system @xmath531 of artin motives over @xmath5 which is constructed from these data . more precisely , for @xmath532 , one sets @xmath533 for a pair @xmath534 , with @xmath535 , the connecting map @xmath536 is defined by @xmath537 this is an example of a system indexed by the semigroup @xmath436 itself , with partial order given by divisibility . one sets @xmath538 .    since @xmath539 , the base point @xmath540 defines a component @xmath541 of @xmath542 for all @xmath532 . the pre - image @xmath543 in @xmath544 is a union of components of @xmath544 . this defines a projection @xmath545 onto an open and closed subset @xmath546 of the projective limit @xmath15 . it is easy to see that the semigroup @xmath436 acts on the projective limit @xmath15 by partial isomorphisms @xmath547 defined by the property @xmath548    the map @xmath549 is well - defined since the set @xmath550 is cofinal and @xmath551 , with @xmath552 . the image of @xmath549 is in @xmath546 , since by definition of @xmath549 : @xmath553 . for @xmath554 , we have @xmath555 . this shows that @xmath549 defines an isomorphism of @xmath15 with @xmath546 , whose inverse map is given by @xmath556    the corresponding algebra morphisms @xmath557 are then given by @xmath558    this class of examples also fulfill an _ equidistribution property _ , making the uniform normalized counting measures @xmath559 on @xmath542 compatible with the projective system and inducing a probability measure on the limit @xmath15 . namely , one has @xmath560 in this section we assume that @xmath5 is a number field . we fix an embedding @xmath561 and we denote by @xmath254 an algebraic closure of @xmath562 in @xmath563 .    when taking points over @xmath254 , algebraic endomotives yield @xmath564-dimensional singular quotient spaces @xmath348 , which can be described by means of locally compact tale groupoids @xmath565 and the associated crossed product @xmath3-algebras @xmath566 . this construction gives rise to the category of _ analytic endomotives_.    one starts off by considering a uniform system @xmath567 of artin motives over @xmath5 and the algebras @xmath568 the assignment @xmath569 defines an involutive embedding of algebras @xmath570 . the @xmath3-completion @xmath571 of @xmath572 is an abelian af @xmath3-algebra . one sets @xmath573 this is the @xmath3-completion of the algebraic crossed product @xmath574 . it is defined by the algebraic relations with the involution which is apparent in the formulae ( _ cf . _  @xcite,@xcite ) .    in the applications that require to work with cyclic ( co)homology , it is important to be able to restrict from @xmath3-algebras such as @xmath575 to canonical dense subalgebras @xmath576 where @xmath577 is the algebra of locally constant functions . it is to this category of smooth algebras ( rather than to that of @xmath3-algebras ) that cyclic homology applies . the following result plays an important role in the theory of endomotives and their applications to examples arising from the study of the thermodynamical properties of certain quantum statistical dynamical systems . we shall refer to the following proposition , in section  [ bcsystem ] of this paper for the description of the properties of the `` bc - system '' . the bc - system is a particularly relevant quantum statistical dynamical system which has been the prototype and the motivating example for the introduction of the notion of an endomotive . we refer to @xcite ,   4.1 for the definition of the notion and the properties of a state on a ( unital ) involutive algebra . [ fab ]    \1 ) the action of @xmath464 on @xmath462 defines a canonical action of @xmath464 by automorphisms of the @xmath3-algebra @xmath578 , preserving globally @xmath571 and such that , for any pure state @xmath579 of @xmath571 , @xmath580    \2 ) when the artin motives @xmath451 are abelian and normal , the subalgebras @xmath581 and @xmath582 are globally invariant under the action of @xmath464 and the states @xmath579 of @xmath575 induced by pure states of @xmath571 fulfill @xmath583\ ] ]    on the totally disconnected compact space @xmath15 , the abelian semigroup @xmath436 of homeomorphisms acts , producing closed and open subsets @xmath584 , @xmath498 . the normalized counting measures @xmath514 on @xmath515 define a _ probability measure _ on @xmath15 with the property that the radon  nikodym derivatives @xmath585 are locally constant functions on @xmath15 . one lets @xmath586 be the corresponding tale locally compact groupoid . the crossed product @xmath3-algebra @xmath587 coincides with the @xmath3-algebra @xmath349 of the groupoid @xmath482 . the notion of right ( or left ) action of @xmath588 on a totally disconnected locally compact space @xmath589 is defined as in the algebraic case by and . a right action of @xmath588 on @xmath589 gives on the space @xmath590 of continuous functions with compact support on @xmath589 a structure of right module over @xmath591 . when the fibers of the map @xmath592 are discrete ( countable ) subsets of @xmath589 one can define on @xmath590 an inner product with values in @xmath591 by @xmath593    a right action of @xmath588 on @xmath589 is _ tale _ if and only if the fibers of the map @xmath594 are discrete and the identity is a compact operator in the right @xmath3-module @xmath595 over @xmath349 given by .    an _ tale correspondence _ is a @xmath596-space @xmath589 such that the right action of @xmath597 is tale . the @xmath2-vector space @xmath598 of linear combinations of tale correspondences @xmath589 modulo the equivalence relation @xmath599 for disjoint unions , defines the space of ( virtual ) correspondences .    for @xmath600 , @xmath601 , and @xmath602 , the composition of correspondences @xmath603 is given following the same rule as for the algebraic case , that is by the fiber product over the groupoid @xmath604 . a correspondence gives rise to a bimodule @xmath352 over the algebras @xmath605 and @xmath606 and the composition of correspondences translates into the tensor product of bimodules . [ extartcalg ] the category @xmath607 of _ analytic endomotives _ is the ( pseudo)abelian category generated by objects of the form @xmath600 with the properties listed above and morphisms given as follows . for @xmath600 and @xmath601 objects in the category , one sets @xmath608    the following result establishes a precise relation between the categories of artin motives and ( noncommutative ) endomotives .    [ ncartinthm ] the categories of artin motives and algebraic and analytic endomotives are related as follows .    1 . the map @xmath609 determines a tensor functor @xmath610 from algebraic to analytic endomotives . 2 .   the galois group @xmath611 acts by natural transformations of @xmath612 . the category @xmath613 of artin motives embeds as a full subcategory of @xmath614 . the composite functor @xmath615 maps the full subcategory @xmath613 of artin motives faithfully to the category @xmath616 of @xmath464-equivariant @xmath4-theory with coefficients in @xmath0 . given two artin motives @xmath617 and @xmath618 and a component @xmath619 of the cartesian product @xmath620 , the two projections turn @xmath500 into a @xmath621-bimodule @xmath622 . if @xmath623 , @xmath624 defines a sum of bimodules in @xmath625 . the composition of correspondences in @xmath613 translates into the tensor product of bimodules in @xmath616 @xmath626 one composes the functor @xmath627 with the natural functor @xmath628 which associates to a @xmath621-bimodule @xmath629 the @xmath630-bimodule @xmath631 . the resulting functor @xmath632 is faithful since a correspondence such as @xmath419 is uniquely determined by the corresponding map of @xmath0-theory @xmath633 . the prototype example of the data which define an analytic endomotive is the system introduced by bost and connes in @xcite . the evolution of this @xmath3-dynamical system encodes in its group of symmetries the arithmetic of the maximal abelian extension of @xmath634 . this quantum statistical dynamical system is described by the datum given by a noncommutative @xmath3-algebra of _ observables _ @xmath635 and by the _ time evolution _ which is assigned in terms of a one - parameter family of automorphisms @xmath636 of the algebra . the action of the ( multiplicative ) semigroup @xmath637 on the commutative algebra @xmath638 is defined by @xmath639 for the definition of the associate endomotive , one considers the projective system @xmath640 of zero - dimensional algebraic varieties @xmath641 , where @xmath642 $ ] is the group ring of the abelian group @xmath643 . the inductive limit @xmath644 $ ] is the group ring of @xmath645 . the endomorphism @xmath646 associated to an element @xmath647 is given on the canonical basis @xmath648 $ ] , @xmath649 , by @xmath650 the artin motives @xmath651 are normal and abelian , so that proposition  [ fab ] applies . the action of the galois group @xmath263 on @xmath641 is obtained by composing a character @xmath652 with the action of an element @xmath653 . since @xmath654 is determined by the @xmath655-th root of unity @xmath656 , this implies that the action of @xmath657 factorizes through the cyclotomic action and coincides with the _ symmetry group _ of the bc - system . the subalgebra @xmath658 coincides with the rational subalgebra defined in @xcite . there is an interesting description of this system in terms of a pointed algebraic variety @xmath529 ( _ cf . _  section  [ genendo ] ) on which the abelian semigroup @xmath436 acts by finite endomorphisms . one considers the pointed affine group scheme @xmath659 ( the multiplicative group ) and lets @xmath436 be the semigroup of non - zero endomorphisms of @xmath660 . these endomorphisms correspond to maps of the form @xmath661 , for some @xmath282 . then , the general construction outlined in section  [ genendo ] determines on @xmath662 the bc system . one considers the semigroup @xmath663 acting on @xmath664 as specified above . it follows from the definition that @xmath665 where @xmath666/(u_n^n-\,1).\ ] ] for @xmath667 the connecting morphism @xmath668 is defined by the algebra homomorphism @xmath669 , @xmath670 with @xmath671 . thus , one obtains an isomorphism of @xmath2-algebras @xmath672\,,\quad \iota(u_n)=\,e_{\frac{1}{n } } .\ ] ] the partial isomorphisms @xmath673 \to { \mathbb{q}}[{\mathbb{q}}/{\mathbb{z}}]$ ] of the group ring as described by the formula correspond under the isomorphism @xmath523 , to those given by on @xmath674 . one identifies @xmath15 with its space of characters @xmath675\to \bar { \mathbb{q}}$ ] . then , the projection @xmath676 is given by the restriction of ( the character associated to ) @xmath677 to the subalgebra @xmath678 . the projection of the composite of the endomorphism @xmath679 of with @xmath680 is given by @xmath681 this projection is non - zero if and only if the restriction @xmath682 is the trivial character , that is if and only if @xmath683 . moreover , in that case one has @xmath684 and in particular @xmath685    for @xmath686 the inclusion of algebraic spaces @xmath687 is given at the algebra level by the surjective homomorphism @xmath688 thus , one can rewrite as @xmath689 this means that @xmath690 by using the formula , one obtains the desired equality of the @xmath440 s of and . this construction continues to make sense for the affine algebraic variety @xmath691 for any field @xmath5 , including the case of a field of positive characteristic . in this case one obtains new systems , different from the bc system . the functor @xmath692 which connects the categories of algebraic and analytic endomotives establishes a significant bridge between the commutative world of artin motives and that of noncommutative geometry . when one moves from commutative to noncommutative algebras , important new tools of thermodynamical nature become available . one of the most relevant techniques ( for number - theoretical applications ) is supplied by the theory of tomita and takesaki for von neumann algebras ( @xcite ) which associates to a suitable state @xmath579 ( _ i.e. _  a faithful weight ) on a von neumann algebra @xmath68 , a one - parameter group of automorphisms of @xmath68 ( _ i.e. _  the modular automorphisms group ) @xmath693 @xmath694 is the modular operator which acts on the completion @xmath695 of @xmath696 , for the scalar product @xmath697 . this general theory applies in particular to the unital involutive algebras @xmath698 of and to the related @xmath3-algebras @xmath575 which are naturally associated to an endomotive . a remarkable result proved by connes in the theory and classifications of factors ( @xcite ) states that , modulo inner automorphisms of @xmath68 , the one - parameter family @xmath699 is _ independent _ of the choice of the state @xmath579 . this way , one obtains a _ canonically defined _ one parameter group of automorphisms classes @xmath700 in turn , this result implies that the crossed product dual algebra @xmath701 and the dual scaling action @xmath702 are _ independent _ of the choice of ( the weight ) @xmath579 .    when these results are applied to the analytic endomotive @xmath703 associated to an algebraic endomotive @xmath518 , the above dual representation of @xmath704 combines with the representation of the absolute galois group @xmath464 . in the particular case of the endomotive associated to the bc - system ( _ cf . _  section  [ bcsystem ] ) , the resulting representation of @xmath705 on the cyclic homology @xmath706 of a suitable @xmath707-module @xmath708 associated to the thermodynamical dynamics of the system @xmath709 determines the spectral realization of the zeroes of the riemann zeta - function and of the artin @xmath1-functions for abelian characters of @xmath464 ( _ cf . _ @xcite , theorem  4.16 ) . the action of the group @xmath710 on the cyclic homology @xmath711 of the noncommutative motive @xmath708 is analogous to the action of the weil group on the tale cohomology of an algebraic variety . in particular , the action of @xmath704 is the ` characteristic zero ' analog of the action of the ( geometric ) frobenius on tale cohomology . this construction determines a functor @xmath712 from the category of endomotives to the category of ( infinite - dimensional ) representations of the group @xmath410 . the analogy with the tannakian formalism of classical motive theory is striking . it is also important to underline the fact that the whole thermodynamical construction is non - trivial and relevant for number - theoretic applications only because of the particular nature of the factor @xmath68 ( type @xmath713 ) associated to the original datum @xmath714 of the bc - system . it is tempting to compare the original choice of the state @xmath579 ( weight ) on the algebra @xmath294 which singles out ( via the gelfand - naimark - segal construction ) the factor @xmath68 defined as the weak closure of the action of @xmath715 in the hilbert space @xmath716 , with the assignment of a factor @xmath717 ( @xmath718 ) on a pure motive @xmath719 : _ cf . _  . in classical motive theory , one knows that the assignment of a @xmath182-grading is canonical only for homological equivalence or under the assumption of the standard conjecture of knneth type . in fact , the definition of a weight structure depends upon the definition of a complete system of orthogonal central idempotents @xmath720 .    passing from the factor @xmath68 to the canonical dual representation carries also the advantage to work in a setting where projectors are classified by their real dimension ( @xmath721 is of type @xmath722 ) , namely in a noncommutative framework of continuous geometry which generalizes and yet still retains some relevant properties of the algebraic correspondences ( _ i.e. _  degree or dimension ) . the process of dualization is in fact subsequent to a thermodynamical `` cooling procedure '' in order to work with a system whose algebra approaches and becomes in the limit , a commutative algebra ( _ i.e. _  @xmath723 ) . finally , one has also to implement a further step in which one filters ( _ i.e. _  `` distils '' ) the relevant noncommutative motive @xmath708 within the derived framework of cyclic modules ( _ cf . _ section  [ cyclicmodules ] ) . this procedure is somewhat reminissent of the construction of the vanishing cohomology in algebraic geometry ( _ cf . _  @xcite ) . when the algebra of the bc - system gets replaced by the noncommutative algebra of coordinates @xmath724 of the adle class space @xmath725 of a number field @xmath5 , the cooling procedure is described by a restriction morphism of ( rapidly decaying ) functions on @xmath726 to functions on the `` cooled down '' subspace @xmath727 of idle classes ( _ cf . _  @xcite , section  5 ) . in this context , the representation of @xmath727 on the cyclic homology @xmath728 of a suitable noncommutative motive @xmath729 produces the spectral realization of the zeroes of hecke @xmath1-functions ( _ cf . _  _ op.cit_ , theorem  5.6 ) . the whole construction describes also a natural way to associate to a noncommutative space a canonical set of `` classical points '' which represents the analogue in characteristic zero , of the geometric points @xmath730 of a smooth , projective curve @xmath731 .
Abstract:

Answer: this paper gives a short and historical survey on the theory of pure motives in algebraic geometry and reviews some of the recent developments of this theory in noncommutative geometry . the second part of the paper outlines the new theory of endomotives and some of its relevant applications in number - theory .