Dans son article de 1966 intitulé "Ktheory and Reality", Atiyah introduit une variante de la Kthéorie des fibres vectoriels complexes, notée KR, qui, d'une certaine manière, englobe à la fois la Ktheory complexe KU, la Ktheory réelle KO (dite aussi orthogonale), et la Kthéorie autoconjuguée KSc d'Anderson. Dans cette thèse, nous généralisons cette théorie au cadre noncommutatif de la Kthéorie tordue des groupoïdes topologiques. Nous développons ainsi la KRthéorie tordue des groupoïdes en nous servant principalement des outils de la KKthéorie "réelle" de Kasparov. Il s'agit notamment de l'étude de la Kthéorie des C*algèbres graduées associées à des systèmes dynamiques de groupoides munis de certaines involutions. Les classes d'équivalence de tels systèmes composent le groupe de Brauer Réel gradué que nous définissons et calculons en termes de classes de cohomologie de Cech. Nous donnons dans cette nouvelle théorie les analogues des résultats classiques en Kthéorie tels que les suites exactes de MayerVietoris, la périodicité de Bott et le théorème d'isomorphisme de Thom / In his 1966's paper "Ktheory and Reality", Atiyah introduced a variant of Ktheory of complex vector bundles called KRtheory, which, in some sense, is a mixture of complex Ktheory KU, real Ktheory (also called orthogonal Ktheory) KO, and Anderson's selfconjugate Ktheory KSc. The main purpose of this thesis is to generalize that theory to the noncommutative framework of twisted groupoid Ktheory. We then introduce twisted groupoid KRtheory by using the powerful machineries of Kasparov's "real" KKtheory. Specifically, we deal with the Ktheory of graded C*algebras associated with groupoid dynamical systems endowed with involutions. Such dynamical systems are classified by the Real graded Brauer group to be defined and computed in terms of Cech cohomology classes. In this new Ktheory, we give the analogues of the fundamental results in Ktheory such as the MayerVietoris exact sequences, the Bott periodicity and the Thom isomorphism theorem

Dans leur article de 2015 intitulé "On quantitative operator K-theory", H. Oyono-Oyono et G. Yu introduisent un raffinement de la K-théorie opératorielle adapté au cadre desC*-algèbres filtrées, appelé K-théorie quantitative ou contrôlée. Dans cette thèse, nous généralisons la notion de filtration de C_-algèbres. Nous montrons ensuite que ce cadre contient celui déjà traité par G. Yu et H. Oyono-Oyono, tout en se révélant assez souple pour traiter les produits croisés de groupoïdes étalés et de groupes quantiques discrets. Nous construisons ensuite des applications d'assemblage _a valeurs dans les groupes de K-théorie contrôlée associés, pour les C*-algèbres de Roe à coefficients et les produits croisés de groupoïdes étalés. Nous montrons que ces applications factorisent les applications d'assemblage usuelles de Baum-Connes. Nous prouvons ensuite ce que nous appelons des énoncés quantitatifs, et nous montrons qu'une version contrôlée de la conjecture de Baum-Connes est vérifiée pour une large classe de groupoïdes étalés. La fin de la thèse est consacrée à plusieurs applications de ces résultats. Nous montrons que l'application d'assemblage contrôlée coarse est équivalente à son analogue à coefficients pour le groupoïde coarse introduit par G. Skandalis, J-L. Tu et G. Yu. Nous donnons ensuite une preuve que les espaces coarses qui admettent un plongement hilbertien fibré vérifient la version maximale de la conjecture de Baum-Connes coarse contrôlée. Enfin nous étudions les groupoïdes étalés dont toutes les actions propres sont localement induites par des sous-groupoïdes compacts ouverts, dont un exemple est donné par les groupoïdes amples introduits par J. Renault. Nous développons un principe de restriction pour cette classe de groupoïdes, et prouvons que, sous des hypothèses raisonnables, leurs produits croisés vérifient la formule de Künneth en K-théorie contrôlée / In their paper entitled "On quantitative operator K-theory", H. Oyono-Oyono and G. Yu introduced a refinement of operator K-theory, called quantitative or controlled K-theory, adapted to the setting of filtered C_-algebras. In this thesis, we generalize filtration of C*-algebras. We show that this setting contains the theory developed by H. Oyono-Oyono and G. Yu, and is general enough to be applied to the setting of crossed products by étale groupoids and discrete quantum groups. We construct controlled assembly maps with values into this controlled K-groups, for Roe C*-algebras and crossed products by étale groupoids. We show that these controlled assembly maps factorize the usual Baum-Connes and coarse Baum-Connes assembly maps. We prove statements called quantitative statements, and we show that a controlled version of the Baum-Connes conjecture is satisfied for a large class of étale groupoids. The end of the thesis is devoted to several applications of these results. We show that the controlled coarse assembly map is equivalent to its analog with coefficients for the coarse groupoid introduced by G. Skandalis, J-L. Tu and G. Yu. We give a proof that coarse spaces which admit a _bred coarse embedding into Hilbert space satisfy the maximal controlled coarse Baum-Connes conjecture. Finally, we study étale groupoids whose proper actions are locally induced by compact open subgroupoids, e.g. ample groupoids introduced by J. Renault. We develop a restriction principle for these groupoids, and prove that under suitable assumptions, their crossed products satisfy the controlled Künneth formula

Cette thèse porte principalement sur l’étude des groupoïdes étales. On étudie dans un premier temps l’action propre d’un groupe discret sur un espace localement compact et séparé, qui fournit un exemple de groupoïde étale (propre), puis de voir sous quelle condition le groupe de K-théorie équivariante peut être décrit à l’aide de K-cocyles de fibrés vectoriels complexes G-équivariant et dimension finie. Dans une deuxième partie, on donne la définition de la moyennabilité à l’infi pour un groupoïde étale localement compact, sigma-compact et séparé. On étudie dans certains cas la relation entre l’exactitude de la C*-*algèbres réduites du groupoïde et la moyennabilité à l’infini du groupoïde. Dans une dernière partie, en s’inspirant d’un article de Hilsum et Skandalis, on construit pour toute immersion K-orientée entre groupoïdes étales, un morphisme entre les groupes de K-théorie des C*-algèbres réduites de ces groupoïdes étales et on étudie la fonctorialité d’une telle construction. Cette dernière partie contient aussi la démonstration d’une conjecture annoncée en 1987 par Hilsum et Skandalis / The etale groupoid are the central subject of this thesis. We first study the proper action of a discrete group on a locally compact and Hausdorff space, which gives an example of proper etale groupoid and we find some conditions for which the group of equivariant K-theory defined by phillips is completely described by equivariant complex bundles of finite dimension. In the second part of the thesis, we consider locally compact, sigma-compact and Hausdorff etale groupoid and we give a definition of amenability at infinity of such groupoid. We study in some cases the relation between the exactness of the reduced C*-algebra of the groupoid and the amenability at infinity. In the last part of the thesis, we consider K oriented immersion between etales groupoids and we associate a morphism between group of K-theory of the reduced C* algebras of this etales groupoids. We study the functoriality of such morphism. This part contains a proof of a conjecture of Hilsum and Skandalis

Etant donnée une substitution de dimension 1, notée $\sigma$, nous pouvons définir l'enveloppe $\Omega_\sigma$ formant un système dynamique $(\Omega_\sigma, \R)$ où l'action de $\R$ sur les pavages est donnée par les translations. Si la substitution est primitive alors nous pouvons construire un pavage $P$ du demi-plan de Poincaré $\mathbb H_2 $ muni de sa métrique $\frac{\mathrm d x + \mathrm d y}{y^2}$. De manière analogue nous pouvons construire des enveloppes pour les actions de $N= \{ \mathbb{H}_2 \to \mathbb{H}_2, z \mapsto z +t, t\in \R\}$ et $G = \{ \mathbb{H}_2 \to \mathbb{H}_2, z \mapsto a z +b,(a,b) \in \R_+ ^* \times \R\}$ que l'on notera respectivement $X_P ^N$ et $X_{P(c)}^G$ (où $P(c)$ est le pavage colorié ligne à ligne pour rendre l'action de $G$ libre).\par En utilisant la notion de $C^* $-algèbre de groupoïde ainsi que les résultats obtenus dans l'article de Ian Putnam et Jared Anderson et via l'isomorphisme issu de l'équivalence Morita entre $C((\Xi \times \R)/\As)$ et $C(\Xi) \rtimes \Z$, nous pouvons donner la description de la $C^*$-algèbre de l'enveloppe du pavage hyperbolique en termes de générateurs et relations. Nous terminons par la description des générateurs de la $K$-théorie de $C(X_{P(c)}^G) \rtimes G.$ pour les substitutions de Fibonacci, Thue-Morse et Tribonacci / Given a one dimensional substitution $\sigma$, one can define the continuous hull $\Omega_\sigma$ for the $\R$-action given by translations and so we obtain a dynamical system $(\Omega_\sigma,\sigma)$. If the substitution we choose is primitive, then we can construct an hyperbolic tiling on Poincaré's half-plane equiped with its standard metric $\frac{\mathrm d x +\mathrm d y}{y^2}$. By analogy of the standard case, we can define two continuous hulls, denoted $X_P ^ N $ and $X_{P(c)}^G$, where $P(c)$ is a colored tiling (in such fashion that the action of $G$ is free), and the groups are denoted respectively $N= \{ \mathbb{H}_2 \to \mathbb{H}_2, z \mapsto z +t, t\in \R\}$ and $G = \{ \mathbb{H}_2 \to \mathbb{H}_2, z \mapsto a z +b,(a,b) \in \R_+ ^* \times \R\}$.\par Using Jean Renault's construction of the reduced $C^*$-algebra of a groupoid , the results of Ian Putnam and Jared Anderson and the Morita equivalence between $C((\Xi\times \R)/\As)$ and $C(\Xi) \rtimes \Z$, we describe the $C^*$-algebra of the hyperbolic tiling using generators and relations. Finally we obtain for the Fibonacci, Thue-Morse and Tribonacci substitutions the full description of the generators of $K_* (C(X_{P(c)}^G ) \rtimes G)$

Dans cette thèse, on donne une définition de la K-théorie topologique des espaces non-commutatifs de Kontsevich (c'est-à-dire des dg-catégories) définis sur les nombres complexes. L'introduction de ce nouvel invariant initie la recherche des invariants de nature topologique des espaces non-commutatifs, comme "simplifications" des invariants algébriques (K-théorie algébrique, homologie cyclique, périodique comme étudiés dans les travaux de Tsygan, Keller). La motivation principale vient de la théorie de Hodge non-commutative au sens de Katzarkov--Kontsevich--Pantev. En géométrie algébrique, la partie rationnelle de la structure de Hodge est donnée par la cohomologie de Betti rationnelle, qui est la cohomologie rationnelle de l'espace des points complexes du schéma. La recherche d'un espace associé à une dg-catégorie trouve une première réponse avec le champ (défini par Toën--Vaquié) classifiant les dg-modules parfaits sur cette dg-catégorie. La définition de la K-théorie topologique a pour ingrédient essentiel le foncteur de réalisation topologique des préfaisceaux en spectres sur le site des schémas de type fini sur les complexes. La partie connective de la K-théorie semi-topologique peut être définie comme la réalisation topologique du champ en monoïdes commutatifs des dg-modules parfaits. Cependant pour atteindre la K-théorie négative, on réalise le préfaisceau donné par la K-théorie algébrique non-connective. Un de nos résultats principaux énonce l'existence d'une équivalence naturelle entre ces deux définitions dans le cas connectif. On montre que la réalisation topologique du préfaisceau de K-théorie algébrique connective pour la dg-catégorie unité donne le spectre de K-théorie topologique usuel. Puis que c'est aussi vrai pour la K-théorie algébrique non-connective, en utilisant la propriété de restriction aux lisses de la réalisation topologique. En outre, cette propriété de restriction aux schémas lisses nécessite de montrer une généralisation de la descente propre cohomologique de Deligne, dans le cadre homotopique non-abélien.La K-théorie topologique est alors définie en localisant par rapport à l'élément de Bott. Cette définition repose donc sur des résultats non-triviaux. On montre alors que le caractère de Chern de la K-théorie algébrique vers l'homologie périodique se factorise par la K-théorie topologique, donnant un candidat naturel pour la partie rationnelle d'une structure de Hodge non-commutative sur l'homologie périodique, ceci étant énoncé sous la forme de la conjecture du réseau. Notre premier résultat de comparaison concerne le cas d'un schéma lisse de type fini sur les complexes -- la conjecture du réseau est alors vraie pour de tels schémas. On montre ensuite que cette conjecture est vraie dans le cas des algèbres associatives de dimension finie.

Dans cette thèse, on donne une définition de la K-théorie topologique des espaces non-commutatifs de Kontsevich (c'est-à-dire des dg-catégories) définis sur les nombres complexes. L'introduction de ce nouvel invariant initie la recherche des invariants de nature topologique des espaces non-commutatifs, comme "simplifications" des invariants algébriques (K-théorie algébrique, homologie cyclique, périodique comme étudiés dans les travaux de Tsygan, Keller). La motivation principale vient de la théorie de Hodge non-commutative au sens de Katzarkov--Kontsevich--Pantev. En géométrie algébrique, la partie rationnelle de la structure de Hodge est donnée par la cohomologie de Betti rationnelle, qui est la cohomologie rationnelle de l'espace des points complexes du schéma. La recherche d'un espace associé à une dg-catégorie trouve une première réponse avec le champ (défini par Toën--Vaquié) classifiant les dg-modules parfaits sur cette dg-catégorie. La définition de la K-théorie topologique a pour ingrédient essentiel le foncteur de réalisation topologique des préfaisceaux en spectres sur le site des schémas de type fini sur les complexes. La partie connective de la K-théorie semi-topologique peut être définie comme la réalisation topologique du champ en monoïdes commutatifs des dg-modules parfaits. Cependant pour atteindre la K-théorie négative, on réalise le préfaisceau donné par la K-théorie algébrique non-connective. Un de nos résultats principaux énonce l'existence d'une équivalence naturelle entre ces deux définitions dans le cas connectif. On montre que la réalisation topologique du préfaisceau de K-théorie algébrique connective pour la dg-catégorie unité donne le spectre de K-théorie topologique usuel. Puis que c'est aussi vrai pour la K-théorie algébrique non-connective, en utilisant la propriété de restriction aux lisses de la réalisation topologique. En outre, cette propriété de restriction aux schémas lisses nécessite de montrer une généralisation de la descente propre cohomologique de Deligne, dans le cadre homotopique non-abélien.La K-théorie topologique est alors définie en localisant par rapport à l'élément de Bott. Cette définition repose donc sur des résultats non-triviaux. On montre alors que le caractère de Chern de la K-théorie algébrique vers l'homologie périodique se factorise par la K-théorie topologique, donnant un candidat naturel pour la partie rationnelle d'une structure de Hodge non-commutative sur l'homologie périodique, ceci étant énoncé sous la forme de la conjecture du réseau. Notre premier résultat de comparaison concerne le cas d'un schéma lisse de type fini sur les complexes -- la conjecture du réseau est alors vraie pour de tels schémas. On montre ensuite que cette conjecture est vraie dans le cas des algèbres associatives de dimension finie. / In this thesis, we give a definition of a topological K-theory of Kontsevich's non-commutative spaces (i.e. of dg-categories) defined over complex numbers. The introduction of this invariant initiates the quest for topological invariants of non-commutative spaces, which are considered as "simplifications" of algebraic ones like algebraic K-theory, cyclic homology, periodic homology as studied by Tsygan, Keller. The main motivation comes from non-commutative Hodge theory in the sense of Katzarkov--Kontsevich--Pantev. In algebraic geometry, the rational part of the Hodge structure is given by rational Betti cohomology, which is the rational cohomology of the underlying space of complex points. The existence of a space associated to a dg-category admits a first answer given by the stack (defined by Toën--Vaquié) classifying perfect dg-modules over this dg-category. The essential ingredient in the definition of the topological K-theory is the topological realization functor of spectral presheaves on the site of complex schemes of finite type. The connective part of the semi-topological K-theory can then be definied as the topological realization of the stack of perfect dg-modules over the space, together with its commutative monoid structure up to homotopy. But to deal with negative K-groups, we realize the presehaf given by non-connective algebraic K-theory. One of our main results relies the two previous definition in the connective case. We show that the topological realization of the presheaf of connective algebraic K-theory for the unit dg-category is equivalent to the usual topological K-theory spectrum. We show this is also true in the non-connective case, using a property of restriction to smooth schemes. This last property leads us to show a generalization of Deligne's proper cohomological descent to the homotopical non-abelian setting. This enables us to define topological K-theory by inverting the Bott element. We point out that the process of the definition involves non-trivial results. We then show that the Chern character from algebraic K-theory to periodic homology factorizes through topological K-theory, giving a natural candidate for the rational part of a non-commutative Hodge structure on the periodic homology of a smooth and proper dg-category. This last claim is written in the form of a conjecture : the lattice conjecture. Our first comparison result deals with the case of a smooth scheme of finite type over complex numbers -- we show the lattice conjecture holds for dg-categories of perfect complexes. We also show this conjecture is true in the case of finite dimensional associative algebras.

On s'intéresse dans ce travail au théorème de Grothendieck-Riemann-Roch. Grothendieck et son école en ont démontré une forme très générale dans les années 60 tout en conjecturant l'existence d'une forme encore plus générale. Nous posons une conjecture intermédiaire entre les résultats connus et les conjectures les plus générales de Grothendieck, puis nous la démontrons dans deux cas particuliers. Plus précisément on conjecture que le théorème de Grothendieck-Riemann-Roch est vrai pour un morphisme propre localement d'intersection complète entre deux schémas divisoriels d'égale caractéristique. On démontre des cas particuliers de cette conjecture, dans le cas de la caractéristique positive d'une part, dans le cas où les schémas sont supposés réguliers et tels que le polynôme $T^k-1$ y ait $k$ racines distinctes d'autre part. Le théorème de Grothendieck-Riemann-Roch étant équivalent au théorème d'Adams-Riemann-Roch modulo torsion, on démontre des résultats de type Adams-Riemann-Roch pour en déduire des résultats de type Grothendieck-Riemann-Roch.

Le cadre général de cette thèse est celui de la théorie d'Iwasawa. Nous nous intéressons plus<br />particulièrement à la conjecture de Greenberg généralisée (multiple) (GG). Après avoir relié celle-ci à différents problèmes de capitulation pour certains groupes de cohomologie p-adiques en degré 2, nous proposons une version faible (GGf) de (GG) dont nous montrons la validité, pour tout corps de nombres F contenant une racine primitive p-ième de l'unité et un corps quadratique imaginaire dans lequel (p) se décompose, du moment que F vérifie la conjecture de Leopoldt. Les outils développés permettent de retrouver et de généraliser (notamment dans des Zp-extensions autre que la Zp-extension<br />cyclotomique) un certain nombre de résultats classiques en théorie d'Iwasawa.

Pour un groupoïde de Lie, on construit un morphisme d'indice analytique à valeurs dans un certain quotient de la K-théorie de l'algèbre de convolution de fonctions lisses à support compact. La construction est aboutie grâce à l'introduction d'une algèbre de déformation de fonctions lisses sur le groupoïde tangent. Ceci permet en particulier de montrer une version plus primitive du théorème de l'indice longitudinal de Connes-Skandalis for Foliations, c'est à dire, un théorème de l'indice qui prend ses valeurs dans un groupe qui peut être accouplé avec des cocycles cycliques. Une autre application est la suivante: soit D un G-opérateur pseudodifférential eliiptique avec indice ind(D)€K_0(A) (où A est l'algèbre de convolution), alors l'accouplement de ind(D) avec un coycle cyclique borné ne dépend que de la classe du symbole principal de D. Ce résultat est général pour des goupoïdes étale.

Dans cette thèse, nous montrons que le groupe de K-théorie $K_0$ de la $C^*$-algèbre associée aux pavages de type pinwheel est isomorphe à la somme de $\ZZ \oplus \ZZ^6$ et d'un groupe cohomologique $H$.\\ Cette $C^*$-algèbre est de plus munie d'une trace qui induit une application linéaire sur ce groupe de $K$-théorie.\\ Nous calculons explicitement l'image, sous cette application, du sommant $\ZZ \oplus \ZZ^6$, montrant que l'image de $\ZZ$ est nulle et que l'image de $\ZZ^6$ est contenue dans le module de fréquences des patchs du pavage de type pinwheel.\\ Nous montrons également que l'on peut appliquer le théorème de l'indice mesuré dû à A. Connes pour relier l'image de $H$ à une formule cohomologique plus calculable.\\ Pour l'étude de cette partie cohomologique, nous adaptons la cohomologie PV, introduite par J. Savinien et J. Bellissard, au cas des pavages de type pinwheel pour montrer que le groupe de cohomologie de \v{C}ech de dimension maximale de ces pavages est isomorphe au groupe des coinvariants entiers de la transversale canonique associée à ces pavages.\\ Ce résultat nous permet alors de prouver la conjecture du gap-labeling fait par J. Bellissard, dans le cas particulier des pavages de type pinwheel.\\ Nous terminons cette étude par un calcul explicite, montrant que le gap-labeling (ou module de fréquences des patchs) est donné par $\frac{1}{264}\ZZ \left [ \frac{1}{5} \right ]$.