1 |
Ramification et cycles proches pour les faisceaux ℓ-adiques sur un schéma au-dessus d’un trait / Ramification and nearby cycles for ℓ-adic sheaves on a scheme over a traitHu, Haoyu 24 September 2014 (has links)
Dans cette thèse, on étude le complexe des cycles proches d'un faisceau l-adique sur un schéma au-dessus d'un trait en utilisant la théorie de ramification d'Abbes et Saito. La première partie est consacrée à une nouvelle preuve d'une formule de Deligne et Kato qui calcule la dimension du complexe des cycles proches d'un faisceau l-adique sur une courbe relative lisse au-dessus d'un trait strictement local. Deligne a considéré le cas où le faisceau n'a pas de ramification verticale, et Kato a traité le cas général. Notre approche est basée sur une notion locale de cycle caractéristiquedéfinie grâce au conducteur de Swan raffiné d'Abbes et Saito. Dans la deuxième partie, on démontre une formule qui calcule le conducteur de Swan de la cohomologie du complexe des cycles proches d'un faisceau l-adique sur une variété lisse au-dessus d'un trait d'égale caractéristique, vérifiant une certaine condition de ramification. Tsushima a introduit la classe caractéristique raffinée du faisceau et il a démontré qu'elle calcule le conducteur de Swan de la cohomologie du complexe de ses cycles proches par une formule du type Lefschetz-Verdier. On calcule la classe caractéristique raffinée comme un produit d'intersection sur le fibré cotangent logarithmique de la variété faisant apparaître le cycle caractéristique du faisceau défini par Abbes et Saito et la section nulle. / In this thesis, we study the nearby cycle complex of an l-adic sheaf on a scheme over a trait, using ramification theory of Abbes and Saito. The first part is devoted to a new proof of a formula of Deligne and Kato that computes the dimension of the stalks of the nearby cycle complex of an l-adic sheaf on a smooth relative curve over a strictly local trait. Deligne considered the case where the sheaf has no vertical ramification and Kato extended the formula to the general case. Our approach is based on a local notion of characteristic cycle defined using the refined Swan conductor of Abbes and Saito. In the second part, we prove a formula that computes the Swan conductor of the cohomology of the nearby cycle complex of an l-adic sheaf on a smooth variety over a trait of equal characteristic, satisfying a certain ramification condition. Tsushima introduced the refined characteristic class of the sheaf and he proved that it computes the Swan conductor of the cohomology of its nearby cycle complex by a Lefschetz-Verdier type formula.We compute the refined characteristic class as an intersection product on the logarithmic cotangent bundle of the variety, involving the characteristic cycle of the sheaf defined by Abbes and Saito and the zero section.
|
2 |
Cycles proches, cycles évanescents et théorie de Hodge pour les morphismes sans pente / Nearby cycles, vanishing cycles and Hodge theory for morphisms without slopeKochersperger, Matthieu 09 July 2018 (has links)
Dans cette thèse nous nous intéressons aux singularités d'espaces analytiques complexes définis comme le lieu des zéros d'un morphisme sans pente. Nous étudions dans un premier temps les cycles proches et les cycles évanescents associés à un tel morphisme. Dans un deuxième temps nous cherchons à comprendre la théorie de Hodge des morphismes sans pente.La première partie de cette thèse est consacrée à apporter des compléments au travail de P. Maisonobe sur les morphismes sans pente. Nous commençons par construire un morphisme de comparaison entre cycles proches algébriques (pour les $mathscr{D}$-modules) et cycles proches topologiques (pour les faisceaux pervers). Nous montrons ensuite que ce morphisme est un isomorphisme dans le cas d'un morphisme sans pente. Enfin nous construisons un foncteur cycles évanescents topologiques pour un morphisme sans pente et nous démontrons que ce foncteur et le foncteur cycles proches topologiques de P. Maisonobe se placent dans le diagramme de triangles exacts attendu.Dans la seconde partie de cette thèse nous étudions les morphismes sans pente pour les modules de Hodge mixtes. Nous démontrons dans un premier temps la commutativité des cycles proches et des cycles évanescents itérés appliqués à un module de Hodge mixte dans le cas d'un morphisme sans pente. Dans un deuxième temps nous définissons la notion << strictement sans pente >> pour un module de Hodge mixte et nous démontrons sa stabilité par image directe propre. Nous démontrons comme application la compatibilité de la filtration de Hodge et des filtrations de Kashiwara-Malgrange pour certains modules de Hodge purs supportés sur une hypersurface à singularités quasi-ordinaires. / In this thesis we are interested in singularities of complex varieties defined as the zero locus of a morphism without slope. In a first time we study nearby cycles and vanishing cycles associated to such morphisms. In a second time we want to understand Hodge theory of morphisms without slope.The first part of this thesis is devoted to add some complements to the work of P. Maisonobe on morphisms without slope. We start with the construction of a comparison morphism between algebraic nearby cycles (for $mathscr{D}$-modules) and topological nearby cycles (for perverse sheaves). Then we show that this morphism is an isomorphism in the case of a morphism without slope. Finally we construct a topological vanishing cycles functor for a morphism without slope et we prove that this functor and the topological nearby cycles functor of P. Maisonobe fit into the expected diagram of exact triangles.In the second part of the thesis we study morphisms without slope for mixed Hodge modules. We first show the commutativity of iterated nearby cycles and vanishing cycles applied to a mixed Hodge module in the case of a morphism without slope. Second we define the notion "strictly without slope" for a mixed Hodge module and we show that it is preserved by proper direct image. As an application we prove the compatibility of the Hodge filtration and Kashiwara-Malgrange filtrations for some pure Hodge modules with support an hypersurface with quasi-ordinary singularities.
|
Page generated in 0.0398 seconds