Resolution of singularities | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4. Originally the problem of resolution of singularities was to find a nonsingular model for the function field of a variety X, in other words a complete non-singular variety X′ with the same function field. In practice it is more convenient to ask for a different condition as follows: a variety X has a resolution of singularities if we can find a non-singular variety X′ and a proper birational map from X′ to X. The condition that the map is proper is needed to exclude trivial solutions, such as taking X′ to be the subvariety of non-singular points of X. More generally, it is often useful to resolve the singularities of a variety X embedded into a larger variety W. Suppose we have a closed embedding of X into a regular variety W. A strong desingularization of X is given by a proper birational morphism from a regular variety W′ to W subject to some of the following conditions (the exact choice of conditions depends on the author): The strict transform X′ of X is regular, and transverse to the exceptional locus of the resolution morphism (so in particular it resolves the singularities of X). The map from the strict transform of X to X is an isomorphism away from the singular points of X. W′ is constructed by repeatedly blowing up regular closed subvarieties of W or more strongly regular subvarieties of X, transverse to the exceptional locus of the previous blowings up. The construction of W′ is functorial for smooth morphisms to W and embeddings of W into a larger variety. (It cannot be made functorial for all (not necessarily smooth) morphisms in any reasonable way.) The morphism from X′ to X does not depend on the embedding of X in W.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (1)

Concepts associés (8)

Cours associés (1)

Séances de cours associées (9)

MATH-124: Geometry for architects I

Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept

A Gauss-Bonnet Theorem for Asymptotically Conical Manifolds and Manifolds with Conical Singularities

Adrien Giuliano Marcone

The purpose of this thesis is to provide an intrinsic proof of a Gauss-Bonnet-Chern formula for complete Riemannian manifolds with finitely many conical singularities and asymptotically conical ends. A geometric invariant is associated to the link of both the conical singularities and the asymptotically conical ends and is used to quantify the Gauss-Bonnet defect of such manifolds. This invariant is constructed by contracting powers of a tensor involving the curvature tensor of the link. Moreover this invariant can be written in terms of the total Lipschitz-Killing curvatures of the link. A detailed study of the Lipschitz-Killing curvatures of Riemannian manifolds is presented as well as a complete modern version of Chern's intrinsic proof of the Gauss-Bonnet-Chern Theorem for compact manifolds with boundary.

EPFL2019

Théorie des singularités

vignette|droite|Visualisation de la fonction (x, y) → x2 + y2 Dans l'acception que lui a donnée René Thom, la théorie des singularités consiste à étudier des objets et des familles d'objets suivant leur degré de généricité. Dans une famille, l'objet peut subir des changements d'états ce que l'on appelle une bifurcation. Un exemple simple est donné par les courbes de niveau de la fonction : La courbe de niveau pour une valeur positive est un cercle. La valeur 0 est singulière et pour les valeurs négatives, la courbe est vide.

Resolution of singularities

Morphism of algebraic varieties

In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties.

Division en raison extrême et moyenne : l'influence de Luca Pacioli

S'inscrit dans le concept de division dans la raison extrême et moyenne (DEMR) et sa signification historique dans la géométrie.

Division en raison extrême et moyenne : Géométrie euclidienne MATH-124: Geometry for architects I

Déplacez-vous dans la géométrie euclidienne, en mettant l'accent sur la division dans la raison extrême et moyenne (DEMR) et son évolution historique dans une proportion divine.

Construction de polygones : Géométrie euclidienne MATH-124: Geometry for architects I

Explore les divisions algébriques, les constructions géométriques, les contributions de Luca Pacioli et la constructibilité des polygones réguliers.