Academic literature on the topic 'Géométrie algébrique dérivée non-commutative'

Dans cette thèse on est intéressé à l'étude des catégories dérivées d'une variété lisse et projective sur un corps. En particulier on étude l'information géométrique et catégorielle d'une variété et sa catégorie dérivée pour mieux comprendre l'ensemble de structures monoïdales qu'on peut munir à la catégorie dérivée. La motivation de ce projet s'inspire en deux théorèmes. L'un c'est le théorème de reconstruction de Bondal-Orlov qu'établisse que la catégorie dérivée d'une variété avec diviseur (anti-)canonique ample est assez pour récupérer la variété. D'un autre côté, on a la construction du spectrum de Balmer qu'utilise le produit tensoriel dérivé pour récupérer un nombre plus grand de variétés à partir de sa catégorie dérivée de complexes parfaits comme une catégorie monoïdale. L'existence de différentes structures monoïdales est par contre garanti par l'existence des variétés avec des catégories dérivées équivalentes. On a pour but alors comprendre quel est le rôle de les produits tensoriels dans l'existence (ou non existence) de ces types de variétés. Les résultats principaux qu'on a obtenu sont : Si X est une variété avec diviseur (anti-)canonique ample, et ⊠ est une structure de catégorie tensoriel triangulée sur Db(X) tel que le spectrum de Balmer Spc(Db(X),⊠) est isomorphe à X, alors pour tous F,G∈Db(X), on a F⊠G≃F⊗G où ⊗ c'est le produit tensoriel dérivée. On utilise le théorème de Morita pour les dg-catégories de Toën pour donner une caractérisation d'une structure tronquée en termes de bimodules sur un produit des dg-algèbres, qu'induisent une structure de catégorie tensoriel triangulée sur la catégorie homotopique. On a étudié la théorie de déformation de ces structures dans le sens de la cohomologie de Davydov-Yetter. On montre qu'il existe une correspondance entre un des groupes de cohomologie et l'ensemble de associateurs dont le produit tensoriel peut s'en déformer. On utilise des techniques à un niveau des catégories triangulées et aussi des perspectives de la théorie des catégories supérieurs comme des dg-catégories et quasi-catégories
In this thesis we are interested in studying derived categories of smooth projective varieties over a field. Concretely, we study the geometric and categorical information from the variety and from it's derived category in order to understand the set of monoidal structures one can equip the derived category with. The motivation for this project comes from two theorems. The first is Bondal-Orlov reconstruction theorem which says that the derived category of a variety with ample (anti-)canonical bundle is enough to recover the variety. On the other hand, we have Balmer's spectrum construction which uses the derived tensor product to recover a much larger number of varieties from it's derived category of perfect complexes as a monoidal category. The existence of different monoidal structure is in turn guaranteed by the existence of varieties with equivalent derived categories. We have as a goal then to understand the role of the tensor products in the existence (or not ) of these sort of varieties. The main results we obtained are If X is a variety with ample (anti-)canonical bundle, and ⊠ is a tensor triangulated category on Db(X) such that the Balmer spectrum Spc(Db(X),⊠) is isomorphic to X, then for any F,G∈Db(X) we have F⊠G≃F⊗G where ⊗ is the derived tensor product. We have used Toën's Morita theorem for dg-categories to give a characterization of a truncated structure in terms of bimodules over a product of dg-algebras, which induces a tensor triangulated category at the level of homotopy categories. We studied the deformation theory of these structures in the sense of Davydov-Yetter cohomology, concretely showing that there is a relationship between one of these cohomology groups and the set of associators that the tensor product can deform into. We utilise techniques at the level of triangulated categories and also perspectives from higher category theory like dg-categories and quasi-categories

Le but de cette thèse est d'étudier les dg-catégories de singularités Sing(X, s), associées à des couples (X, s), où X est un schéma et s est une section d'un fibré vectoriel sur X. La dg-catégorie Sing(X, s) est définie comme le noyau du dg foncteur de Sing(X0) vers Sing(X) induit par l'image directe le long de l'inclusion du lieu de zéros (dérivé) X0 de s dans X. Dans une première partie, nous supposons que le fibré vectoriel est trivial de rang n. On démontre alors un théorème de structure pour Sing(X, s) dans le cas où X = Spec(B) est affine. Cet énoncé affirme que tout objet de Sing(X, s) est représenté par un complexe de B-modules concentré dans n+1 degrés. Lorsque n = 1, cet énoncé généralise l'équivalence d'Orlov , qui identifie Sing(X, s) avec la dg-catégorie des factorisations matricielles MF(X, s), au cas où s epsilon OX(X) n'est pas nécessairement plat. Dans une seconde partie, nous étudions la cohomologie l-adique de Sing(X, s) (définie par A. Blanc - M. Robalo - B. Toën and G. Vezzosi), où s est une section globale d'un fibré en droites. Pour cela, on introduit le faisceau l-adique des cycles évanescents invariantes par monodromie. En utilisant un théorème de D. Orlov généralisé par J. Burke et M. Walker, on calcule la réalisation l-adique de Sing(Spec(B), (f1 ,..., fn)) pour (f1 ,..., fn) epsilon Bn. Dans le dernier chapitre, nous introduisons les faisceaux l-adiques des cycles évanescents itérés pour un schéma sur un anneau de valuation discrète de rang 2. On relie ces faisceaux l-adiques à la réalisation l-adique des dg catégories de singularités des fibres prises sur certains sous-schémas fermés de la base
The aim of this thesis is to study the dg categories of singularities Sing(X, s) of pairs (X, s), where X is a scheme and s is a global section of some vector bundle over X. Sing(X, s) is defined as the kernel of the dg functor from Sing(X0) to Sing(X) induced by the pushforward along the inclusion of the (derived) zero locus X0 of s in X. In the first part, we restrict ourselves to the case where the vector bundle is trivial. We prove a structure theorem for Sing(X, s) when X = Spec(B) is affine. Roughly, it tells us that every object in Sing(X, s) is represented by a complex of B-modules concentrated in n + 1 consecutive degrees (if s epsilon Bn). By specializing to the case n = 1, we generalize Orlov's theorem, which identifies Sing(X, s) with the dg category of matrix factorizations MF(X, s), to the case where s epsilon OX(X) is not flat. In the second part, we study the l-adic cohomology of Sing(X, s) (as defined by A. Blanc - M. Robalo - B. Toën and G. Vezzosi) when s is a global section of a line bundle. In order to do so, we introduce the l-adic sheaf of monodromy-invariant vanishing cycles. Using a theorem of D. Orlov generalized by J. Burke and M. Walker, we compute the l-adic realization of Sing(Spec(B), (f1 ,..., fn)) for (f1 ,..., fn) epsilon Bn. In the last chapter, we introduce the l-adic sheaves of iterated vanishing cycles of a scheme over a discrete valuation ring of rank 2. We relate one of these l-adic sheaves to the l-adic realization of the dg category of singularities of the fiber over a closed subscheme of the base

Cette thèse explore la relation entre les catégories de modules sur les catégories différentielles graduées (abrégées DG) petites, d'une part, et les catégories triangulées bien engendrées d'autre part. Dans la première partie, on construit la catégorie dérivée $\alpha$-continue D_\alpha A d'une catégorie DG $\alpha$-cocomplète petite A, où $\alpha$ est un cardinal régulier. Cette construction jouit d'une propriété très intéressante, qui est la clef pour démontrer le théorème principal de la thèse. Les catégories D_\alpha A s'avèrent être les prototypes des catégories triangulées algébriques à engendrement $\alpha$-compact. On entend par algébrique, équivalente, en tant que catégorie triangulée à la catégorie stable d'une catégorie de Frobenius. Le résultat principal établit que les catégories algébriques bien engendrées sont précisément celles qui sont des localisations de la catégorie dérivée d'une catégorie DG petite. Ce résultat rappelle beaucoup un théorème de Gabriel et Popescu de 1964, qui caractérise les catégories abéliennes de Grothendieck comme des localisations de catégories de modules sur des anneaux. Il donne aussi une réponse positive à une question de Drinfeld qui demandait si toutes les catégories triangulées bien engendrées sont des localisations de catégories triangulées à engendrement compact, pour la classe des catégories triangulées algébriques. Dans la deuxième partie, on étudie les catégories DA et D_\alpha A en utilisant la structure projective de catégories de modèles de Quillen présente sur la catégorie des DG modules. On introduit la sous-catégorie des DG modules cofibrants homotopiquement $\alpha$-compacts et on montre que sa catégorie homotopique est précisément la catégorie dérivée $\alpha$-continue D_\alpha A. Cela nous permet de donner une deuxième preuve, complètement différente du résultat-clef de la première partie.

Ce travail peut être divisé en trois partie: 1. Théorie des groupes. Il s'agit ici d'une étude de la structure du groupe T de Thompson. On explique la notion de la mutation linéaire par morceaux et on obtient la nouvelle présentation de ce groupe en termes des génerateurs et relations. 2. Géometrie birationnelle. On étudie en détail le groupe de Cremona qui est un groupe des automorphismes birationnels du plan projectif. En particulier on s'interesse à son sous-groupe Symp des elements qui préserve le crochet de Poisson dit logarithmique, aussi bien qu'à un sous-groupe H engendré par SL(2,Z) et par les mutations. On construit des limites projectives des surfaces sur lesquelles ces groupes agissent régulièrement, et on en déduit les répresentations linéaires de ces groupes dans les limites inductives des groupes de Picard des surfaces. 3. Algèbre homologique. A partir d'une variété algébrique on construit une catégorie triangulée qui ne dépend que de sa classe birationnelle. En utilisant la technique de quotient de dg-catégories, on calcule explicitement cette catégorie pour les surfaces rationnelles. Comme consequence on obtient l'action du groupe de Cremona sur une algébre non-commutative par les automorphismes extérieures. On donne les applications de ces résultats aux formules des mutations des variables non-commutatives.

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 ]$.

Nous construisons, pour les corps quadratiques imaginaires avec nombre de classes 1, un site arithmétique de type Connes-Consani. La principale difficulté ici est que les constructions de Connes et Consani et une partie de leurs résultats reposent sur la relation d'ordre naturellement présente sur les nombres réels qui est compatible avec les opérations arithmétiques basiques. Bien sûr rien de la sorte n'existe pas dans le cas des corps quadratiques imaginaires avec nombre de classes 1. Nous définissons ce que nous appelons le site arithmétique pour de tels corps de nombres, puis nous calculons les points de ces sites arithmétiques et nous les exprimons en termes de l'espace des classes d'adèles considéré par Connes pour donner une interprétation spectrale des zéros des fonctions L de Hecke. On obtient alors que pour un corps quadratique imaginaire avec nombre de classes 1, les points de notre site arithmétique sont reliés aux zéros de la fonction zêta de Dedekind du corps de nombres considéré et aux zéros de certaines fonctions L de Hecke. Nous étudions ensuite la relation entre le spectre de l'anneau des entiers du corps de nombres et le site arithmétique. Enfin nous construisons le carré du site arithmétique
We construct, for imaginary quadratic number fields with class number 1, an arithmetic site of Connes-Consani type. The main difficulty here is that the constructions of Connes and Consani and part of their results strongly rely on the natural order existing on real numbers which is compatible with basic arithmetic operations. Of course nothing of this sort exists in the case of imaginary quadratic number fields with class number 1. We first define what we call arithmetic site for such number fields, we then calculate the points of those arithmetic sites and we express them in terms of the ad\`eles class space considered by Connes to give a spectral interpretation of zeroes of Hecke L functions of number fields. We get therefore that for a fixed imaginary quadratic number field with class number 1, that the points of our arithmetic site are related to the zeroes of the Dedekind zeta function of the number field considered and to the zeroes of some Hecke L functions. We then study the relation between the spectrum of the ring of integers of the number field and the arithmetic site. Finally we construct the square of the arithmetic site