In this thesis, we will work with the nodal sets of Laplace eigenfunctions on a few simple manifolds, like the sphere and the flat torus. We will obtain bounds on the total Betti number of the nodal set that depend on the corresponding eigenvalue. Our work generalize Courant's theorem. / Dans ce mémoire, nous travaillons sur les ensembles nodaux de combinaisons de fonctions propres du laplacien, particulièrement sur la sphère et le tore plat. On bornera les nombres de Betti de ces ensembles en fonction de la valeur propre maximale. D'une certaine façon, cela généralise le fameux théorème de Courant.

Cette thèse est consacrée à deux variantes arithmétiques de la correspondance de Simpson. Dans la première partie, on compare la correspondance de Simpson p-adique à un analogue p-adique de la correspondance de Narasimhan et Seshadri pour les courbes sur les corps p-adiques dû à Deninger et Werner. Narasimhan et Seshadri ont établi une correspondance entre les fibrés vectoriels stables de degré zéro et les représentations unitaires du groupe fondamental topologique pour une courbe complexe propre et lisse. Par transport parallèle, Deninger et Werner ont associé fonctoriellement à chaque fibré vectoriel sur une courbe p-adique dont la réduction est fortement semi-stable de degré 0 une représentation p-adique du groupe fondamental de la courbe. Ils se sont posés quelques questions: si leur foncteur est pleinement fidèle ; si la cohomologie des systèmes locaux fournis par leur foncteur admet une filtration de Hodge-Tate ; et si leur construction est compatible avec la correspondance de Simpson p-adique développée par Faltings. On répond positivement à ces questions. La seconde partie est consacrée à la construction d'un relèvement de la transformée de Cartier d'Ogus-Vologodsky modulo pⁿ. Soient W l'anneau des vecteurs de Witt d'un corps parfait de caractéristique p>0, X un schéma formel lisse sur W, X' le changement de base de X par l'endomorphisme de Frobenius de W, X'_2 la réduction modulo p² de X' et Y la fibre spéciale de X. On relève la transformée de Cartier d'Ogus-Vologodsky relative à X'_2. Plus précisément, on construit un foncteur de la catégorie des O_{X'}-modules de pⁿ-torsion à p-connexion intégrable dans la catégorie des O_X-modules de pⁿ-torsion à connexion intégrable, chacune étant soumise à des conditions de nilpotence appropriées. S'il existe un relèvement F: X -> X' du morphisme de Frobenius relatif de Y, notre foncteur est compatible avec le foncteur de Shiho induit par F. Comme application de la transformée de Cartier modulo pⁿ, on donne une nouvelle interprétation des modules de Fontaine relatifs introduits par Faltings et du calcul de leur cohomologie. / This thesis is devoted to two arithmetic variants of Simpson's correspondence. In the first part, I compare the p-adic Simpson correspondence with a p-adic analogue of the Narasimhan-Seshadri's correspondence for curves over p-adic fields due to Deninger and Werner. Narasimhan and Seshadri established a correspondence between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex smooth proper curve. Using parallel transport, Deninger and Werner associated functorially to every vector bundle on a p-adic curve whose reduction is strongly semi-stable of degree 0 a p-adic representation of the fundamental group of the curve. They asked several questions: whether their functor is fully faithful; whether the cohomology of the local systems produced by this functor admits a Hodge-Tate filtration; and whether their construction is compatible with the p-adic Simpson correspondence developed by Faltings. We answer positively these questions. The second part is devoted to the construction of a lifting of the Cartier transform of Ogus-Vologodsky modulo pⁿ. Let W be the ring of the Witt vectors of a perfect field of characteristic p, X a smooth formal scheme over W, X' the base change of X by the Frobenius morphism of W, X'_2 the reduction modulo p² of X' and Y the special fiber of X. We lift the Cartier transform of Ogus-Vologodsky relative to X'_2 modulo pⁿ. More precisely, we construct a functor from the category of pⁿ-torsion O_{X'}-modules with integrable p-connection to the category of pⁿ-torsion O_X-modules with integrable connection, each subject to a suitable nilpotence condition. Our construction is based on Oyama's reformulation of the Cartier transform of Ogus-Vologodsky in characteristic p. If there exists a lifting F: X -> X' of the relative Frobenius morphism of Y, our functor is compatible with a functor constructed by Shiho from F. As an application, we give a new interpretation of relative Fontaine modules introduced by Faltings and of the computation of their cohomology.

Dans cette thèse on s'intéresse à la correspondance de Howe géométrique pour les paires duales réductives de type II (G = GL_n, H = GL_m) sur un corps local non-Archimédien F de caractéristique différente de 2, ainsi qu'à la fonctorialité de Langlands géométrique au niveau Iwahori. Notons S la représentation de Weil de G(F) × H(F) et I_H, I_G des sous groupes d'Iwahori de H(F) et G(F). On considère la version géométrique de la représentation S^(I_G×I_H) des algèbres de Hecke-Iwahori H_H et H_G sur laquelle agissent les foncteurs de Hecke. On obtient des résultats partiels sur la description géométrique de la catégorie correspondante. Nous proposons une conjecture décrivant le groupe de Grothendieck de cette catégorie comme module sur les algèbres de Hecke affines étendues de G et de H. Notre description est en termes d'un champ attaché aux groupes de Langlands duaux dans le style de l'isomorphisme de Kazhdan-Lusztig. On démontre cette conjecture pour toutes les paires (GL_1, GL_m). Plus généralement, étant donné deux groupes réductifs connexes G et H et un morphisme \check{G}× SL_2 \to \check{H} de groupes de Langlands duaux, on suggère un bimodule sur les algèbres de Hecke affines étendues de G et de H qui pourrait conjecturalement réaliser la fonctorialité de Langlands géométrique locale au niveau Iwahori.

L'éclatement est une transformation jouant un rôle important en géométrie, car il permet de résoudre des singularités, de relier des variétés birationnellement équivalentes, et de construire des variétés possédant des propriétés inédites. Ce mémoire présente d'abord l'éclatement tel que développé en géométrie algébrique classique. Nous l'étudierons pour le cas des variétés affines et (quasi-)projectives, en un point, et le long d'un idéal et d'une sous-variété. Nous poursuivrons en étudiant l'extension de cette construction à la catégorie différentiable, sur les corps réels et complexes, en un point et le long d'une sous-variété. Nous conclurons cette section en explorant un exemple de résolution de singularité. Ensuite nous passerons à la catégorie symplectique, où nous ferons la même chose que pour le cas différentiable complexe, en portant une attention particulière à la forme symplectique définie sur la variété. Nous terminerons en étudiant un théorème dû à François Lalonde, où l'éclatement joue un rôle clé dans la démonstration. Ce théorème affirme que toute 4-variété fibrée par des 2-sphères sur une surface de Riemann, et différente du produit cartésien de deux 2-sphères, peut être équipée d'une 2-forme qui lui confère une structure symplectique réglée par des courbes holomorphes par rapport à sa structure presque complexe, et telle que l'aire symplectique de la base est inférieure à la capacité de la variété. La preuve repose sur l'utilisation de l'éclatement symplectique. En effet, en éclatant symplectiquement une boule contenue dans la 4-variété, il est possible d'obtenir une fibration contenant deux sphères d'auto-intersection -1 distinctes: la pré-image du point où est fait l'éclatement complexe usuel, et la transformation propre de la fibre. Ces dernières sont dites exceptionnelles, et donc il est possible de procéder à l'inverse de l'éclatement - la contraction - sur chacune d'elles. En l'accomplissant sur la deuxième, nous obtenons une variété minimale, et en combinant les informations sur les aires symplectiques de ses classes d'homologies et de celles de la variété originale nous obtenons le résultat. / The blow-up is a transformation which plays an important role in geometry, because it can be used to resolve singularities, relate birationally equivalent varieties, and construct varieties with new properties. This thesis first presents blowing-up as developped in classical algebraic geometry. We will study it in the case of affine and (quasi-)projective varieties, on a point and along an ideal and a subvariety. Then a discussion about its extension to the differential category will be carried out, over the real and complex fields, on a point and along a submanifold. An example of a resolution of singularity will then follow. Subsequently we will discuss blowing-up in the symplectic category, where we will do the same as for complex manifolds, paying careful attention to the symplectic form. To conclude, we will study a theorem by François Lalonde, where the symplectic blow-up plays a major part in proof. This theorem states that any 4-variety fibered by 2-spheres over a Riemann surface, and different than the Cartesian product of two 2-spheres, can be equiped with a 2-form giving it a symplectic structure ruled by curves that are holomorphic with respect to its almost-complex structure, and such that the symplectic area of the base is smaller that the capacity of the variety. In the proof, we blow up a ball in the 4-variety, and obtain a fibration containing two distinct spheres with a self-intersection equal to -1: the pre-image of the point where the usual complex blow-up is done, and the proper transform of the fiber. These two are exceptional, so it is possible to do the inverse operation - the blow down - on each of them. By blowing down the latter, we get a minimal variety, and by combining information about the symplectic area of its homology classes and of those of the original variety, we obtain the result.

Les fonctions de F_q dans lui-même sont des objets étudiés dans de divers domaines tels que la cryptographie, la théorie des codes correcteurs d'erreurs, la géométrie finie ainsi que la géométrie algébrique. Il est bien connu que ces fonctions sont en correspondance exacte avec les polynômes en une variable à coefficients dans F_q. Nous étudierons trois classes de polynômes particulières: les polynômes Presque Parfaitement Non linéaires (Almost Perfect Nonlinear (APN)), les polynômes planaires ou parfaitement non linéaire (PN) et les o-polynômes.Les fonctions APN sont principalement étudiées pour leurs applications en cryptographie. En effet, ces fonctions sont celles qui offre la meilleure résistance contre la cryptanalyse différentielle.Les polynômes PN et les o-polynômes sont eux liés à des problèmes célèbres de géométrie finie. Les premiers décrivent des plans projectifs et les seconds sont en correspondance directe avec les ovales et hyperovales de P^2(F_q). Néanmoins, leurs champ d'application a été récemment étendu à la cryptographie symétrique et à la théorie des codes correcteurs d'erreurs.L'un des moyens utilisé pour compléter la classification est de considérer les polynômes présentant l'une des propriétés recherchées sur une infinité d'extension de F_q. Ces fonctions sont appelées fonction APN (respectivement PN ou o-polynômes) exceptionnelles.Nous étendrons la classification des polynômes APN et PN exceptionnels et nous donneront une description complète des o-polynômes exceptionnels. Les techniques employées sont basées principalement sur la borne de Lang-Weil et sur des méthodes élémentaires. / Functions from F_q to itself are interesting objects arising in various domains such as cryptography, coding theory, finite geometry or algebraic geometry. It is well known that these functions admit a univariate polynomial representation. There exists many interesting classes of such polynomials with plenty of applications in pure or applied maths. We are interested in three of them: Almost Perfect Nonlinear (APN) polynomials, Planar (PN) polynomials and o-polynomials. APN polynomials are mostly used in cryptography to provide S-boxes with the best resistance to differential cryptanalysis and in coding theory to construct double error-correcting codes. PN polynomials and o-polynomials first appeared in finite geometry. They give rise respectively to projective planes and ovals in P^2(F_q). Also, their field of applications was recently extended to symmetric cryptography and error-correcting codes.A complete classification of APN, PN and o-polynomials is an interesting open problem that has been widely studied by many authors. A first approach toward the classification was to consider only power functions and the studies were recently extended to polynomial functions.One way to face the problem of the classification is to consider the polynomials that are APN, PN or o-polynomials over infinitely many extensions of F_q, namely, the exceptional APN, PN or o-polynomials.We improve the partial classification of exceptional APN and PN polynomials and give a full classification of exceptional o-polynomials. The proof technique is based on the Lang-Weil bound for the number of rational points in algebraic varieties together with elementary methods.

La notion de T-radical d’un idéal permet à G.Cherlin de démontrer un Nullstellensatz dans les théories inductives d’anneaux. Nous proposons une analyse modèle-théorique de phénomènes connexes. En premier lieu, une réciproque de ce théorème nous conduit à une caractérisation des corps algébriquement clos, suggérant une version “positive” du travail de Cherlin, la théorie des idéaux T-radiciels. Ceux-ci se caractérisent par un théorème de représentation et sont associés à un théorème des zéros “positif”. Ces résultats se généralisent à la logique du premier ordre : grâce à la notion de classe spéciale, nous développons ensuite une théorie logique des idéaux. On peut encore parler d’idéaux premiers et radiciels, relativement à une classe de structures. Dans ce cadre, le théorème de représentation est une propriété intrinsèque des classes spéciales et le théorème des zéros une propriété de préservation logique, que nous appelons “complétude géométrique” et qui entretient des rapports étroits avec la modèle-complétude positive. Les algèbres basées en groupes de P.Higgins permettent d’appliquer ces résultats aux théories modèle-complètes de corps avec opérateurs additionnels. Dans certains cas “noethériens”, l’algèbre de coordonnées est un invariant algébrique des “variétés affines”. Enfin, il est possible à partir d’un ensemble de formules E de généraliser les classes spéciales et autres classes de structures. Notre théorie des idéaux logiques est de plus un cas particulier du phénomène de localisation étudié par M.Coste ; dans certaines situations, un bon choix de formules permet d’identifier les types complets d’une “algèbre” à des types de localisation / The notion of T-radical of an ideal allows G.Cherlin to prove a Nullstellensatz for inductive ring theories.We present here a model-theoretic analysis of closely related phenomena. At first, a reverse of this theorem leeds us to a characterization of algebraically closed fields, suggesting a “positive” version of Cherlin’s work, the theory of T-radical ideals. These are characterized by a representation theorem and associated to a “positive” Nullstellensatz. Those results are generalized to first order logic : thanks to the notion of special class, we then develop a logical theory of ideals. One may still speak about prime and radical ideals, relatively to a class of structures. In this setting, the representation theorem is an intrinsic property of special classes and the Nullstellensatz a logical preservation property, which we call “geometric completeness” and which is closely linked to positive model-completeness. The group-based algebras of P.Higgins allow us to apply these results to model-complete theories of fields with additional operators. In certain “noetherian” cases, the coordinate algebra is an algebraic invariant of “affine algebraic sets”. At last, it is possible from a set of formulas E to generalize special and other classes of structures. Moreover, our theory of logical ideals is a particular case of the localisation phenomenon studied by M.Coste ; in certain situations, a good choice of formulasleeds to an identification of the complete types of a given “algebra” with some localisation types

La première partie concerne un problème de théorie des nombres, pour laquel nous développons une approche géométrique basé sur des outils provenant de la géométrie algébrique et de la géométrique combinatoire. Introduites par M. Kontsevich et D. Zagier en 2001, les périodes sont des nombres complexes obtenus comme valeurs des intégrales d'une forme particulier, où le domaine et l'intégrande s'expriment par des polynômes avec coefficients rationnels. La conjecture de périodes de Kontsevich-Zagier affirme que n'importe quelle relation polynomiale entre périodes peut s'obtenir par des relations linéaires entre différentes représentations intégrales, exprimées par des règles classiques du calcul intégrale. En utilisant des résolutions de singularités, on introduit une réduction semi-canonique de périodes en se concentrant sur le fait d'obtenir une méthode algorithmique et constructive respectant les règles classiques de transformation intégrale: nous prouvons que n'importe quelle période non nulle, représentée par une certaine intégrale, peut être exprimée sauf signe comme le volume d'un ensemble semi-algébrique compact. La réduction semi-canonique permet une reformulation de la conjecture de périodes de Kontsevich-Zagier en termes de changement de variables préservant le volume entre ensembles semi-algébriques compacts. Via des triangulations et méthodes de la géométrie-PL, nous étudions les obstructions de cette approche comme la généralisation du 3ème Problème de Hilbert. Nous complétons les travaux de J. Wan dans le développement d'une théorie du degré pour les périodes, basée sur la dimension minimale de l'espace ambiance nécessaire pour obtenir une telle réduction compacte, en donnant une première notion géométrique sur la transcendance de périodes. Nous étendons cet étude en introduisant des notions de complexité géométrique et arithmétique pour le périodes basées sur la complexité polynomiale minimale parmi les réductions semi-canoniques d'une période. La seconde partie s'occupe de la compréhension d'objets provenant de la géométrie algébrique avec une forte connexion avec la géométrique combinatoire, pour lesquels nous avons développé une approche dynamique. Les champs de vecteurs logarithmiques sont un outils algébro-analytique utilisés dans l'étude des sous-variétés et des germes dans des variétés analytiques. Nous nous sommes concentré sur le cas des arrangements de droites dans des espaces affines ou projectifs. On s'est plus particulièrement intéressé à comprendre comment la combinatoire d'un arrangement détermine les relations entre les champs de vecteurs logarithmiques associés: ce problème est connu sous le nom de conjecture de Terao. Nous étudions le module des champs de vecteurs logarithmiques d'un arrangement de droites affin en utilisant la filtration induite par le degré des composantes polynomiales. Nous déterminons qu'il n'existent que deux types de champs de vecteurs polynomiaux qui fixent une infinité de droites. Ensuite, nous décrivons l'influence de la combinatoire de l'arrangement de droites sur le degré minimal attendu pour ce type de champs de vecteurs. Nous prouvons que la combinatoire ne détermine pas le degré minimal des champs de vecteurs logarithmiques d'un arrangement de droites affin, en présentant deux pairs de contre-exemples, chaque qu'un d'eux correspondant à une notion différente de combinatoire. Nous déterminons que la dimension des espaces de filtration suit une croissance quadratique à partir d'un certain degré, en dépendant uniquement de la combinatoire de l'arrangement. A fin d'étudier de façon calculatoire une telle filtration, nous développons une librairie de fonctions sur le software de calcul formel Sage. / The first part concerns a problem of number theory, for which we develop a geometrical approach based on tools coming from algebraic geometry and combinatorial geometry. Introduced by M. Kontsevich and D. Zagier in 2001, periods are complex numbers expressed as values of integrals of a special form, where both the domain and the integrand are expressed using polynomials with rational coefficients. The Kontsevich-Zagier period conjecture affirms that any polynomial relation between periods can be obtained by linear relations between their integral representations, expressed by classical rules of integral calculus. Using resolution of singularities, we introduce a semi-canonical reduction for periods focusing on give constructible and algorithmic methods respecting the classical rules of integral transformations: we prove that any non-zero real period, represented by an integral, can be expressed up to sign as the volume of a compact semi-algebraic set. The semi-canonical reduction permit a reformulation of the Kontsevich-Zagier conjecture in terms of volume-preserving change of variables between compact semi-algebraic sets. Via triangulations and methods of PL–geometry, we study the obstructions of this approach as a generalization of the Third Hilbert Problem. We complete the works of J. Wan to develop a degree theory for periods based on the minimality of the ambient space needed to obtain such a compact reduction, this gives a first geometric notion of transcendence of periods. We extend this study introducing notions of geometric and arithmetic complexities for periods based in the minimal polynomial complexity among the semi-canonical reductions of a period. The second part deals with the understanding of particular objects coming from algebraic geometry with a strong background in combinatorial geometry, for which we develop a dynamical approach. The logarithmic vector fields are an algebraic-analytic tool used to study sub-varieties and germs of analytic manifolds. We are concerned with the case of line arrangements in the affine or projective space. One is interested to study how the combinatorial data of the arrangement determines relations between its associated logarithmic vector fields: this problem is known as the Terao conjecture. We study the module of logarithmic vector fields of an affine line arrangement by the filtration induced by the degree of the polynomial components. We determine that there exist only two types of non-trivial polynomial vector fields fixing an infinitely many lines. Then, we describe the influence of the combinatorics of the arrangement on the expected minimal degree for these kind of vector fields. We prove that the combinatorics do not determine the minimal degree of the logarithmic vector fields of an affine line arrangement, giving two pair of counter-examples, each pair corresponding to a different notion of combinatorics. We determine that the dimension of the filtered spaces follows a quadratic growth from a certain degree, depending only on the combinatorics of the arrangements. We illustrate these formula by computations over some examples. In order to study computationally these filtration, we develop a library of functions in the mathematical software Sage.

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.

La théorie des catégories (TC) vaut tant par ses applications mathématiques que par les débats philosophiques qu'elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu'alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. Des sources non publiées montrent que Grothendieck quitta le groupe Bourbaki à l'issue d'un débat sur la TC relevant en partie de l'épistémologie, notamment quant à la réalisation ensembliste des constructions catégorielles. Nous soutenons que la TC est fondamentale, car elle traite d'opérations typiques de la mathématique de structures : d'après notre position pragmatique, la justification de la connaissance mathématique ne se fait pas par la réduction à des objets de base mais plutôt, à chaque niveau, par rapport au sens commun technique (les théories de niveau ultérieur ont pour objets les théories des objets originaux).

L'éclatement est une transformation jouant un rôle important en géométrie, car il permet de résoudre des singularités, de relier des variétés birationnellement équivalentes, et de construire des variétés possédant des propriétés inédites. Ce mémoire présente d'abord l'éclatement tel que développé en géométrie algébrique classique. Nous l'étudierons pour le cas des variétés affines et (quasi-)projectives, en un point, et le long d'un idéal et d'une sous-variété. Nous poursuivrons en étudiant l'extension de cette construction à la catégorie différentiable, sur les corps réels et complexes, en un point et le long d'une sous-variété. Nous conclurons cette section en explorant un exemple de résolution de singularité. Ensuite nous passerons à la catégorie symplectique, où nous ferons la même chose que pour le cas différentiable complexe, en portant une attention particulière à la forme symplectique définie sur la variété. Nous terminerons en étudiant un théorème dû à François Lalonde, où l'éclatement joue un rôle clé dans la démonstration. Ce théorème affirme que toute 4-variété fibrée par des 2-sphères sur une surface de Riemann, et différente du produit cartésien de deux 2-sphères, peut être équipée d'une 2-forme qui lui confère une structure symplectique réglée par des courbes holomorphes par rapport à sa structure presque complexe, et telle que l'aire symplectique de la base est inférieure à la capacité de la variété. La preuve repose sur l'utilisation de l'éclatement symplectique. En effet, en éclatant symplectiquement une boule contenue dans la 4-variété, il est possible d'obtenir une fibration contenant deux sphères d'auto-intersection -1 distinctes: la pré-image du point où est fait l'éclatement complexe usuel, et la transformation propre de la fibre. Ces dernières sont dites exceptionnelles, et donc il est possible de procéder à l'inverse de l'éclatement - la contraction - sur chacune d'elles. En l'accomplissant sur la deuxième, nous obtenons une variété minimale, et en combinant les informations sur les aires symplectiques de ses classes d'homologies et de celles de la variété originale nous obtenons le résultat. / The blow-up is a transformation which plays an important role in geometry, because it can be used to resolve singularities, relate birationally equivalent varieties, and construct varieties with new properties. This thesis first presents blowing-up as developped in classical algebraic geometry. We will study it in the case of affine and (quasi-)projective varieties, on a point and along an ideal and a subvariety. Then a discussion about its extension to the differential category will be carried out, over the real and complex fields, on a point and along a submanifold. An example of a resolution of singularity will then follow. Subsequently we will discuss blowing-up in the symplectic category, where we will do the same as for complex manifolds, paying careful attention to the symplectic form. To conclude, we will study a theorem by François Lalonde, where the symplectic blow-up plays a major part in proof. This theorem states that any 4-variety fibered by 2-spheres over a Riemann surface, and different than the Cartesian product of two 2-spheres, can be equiped with a 2-form giving it a symplectic structure ruled by curves that are holomorphic with respect to its almost-complex structure, and such that the symplectic area of the base is smaller that the capacity of the variety. In the proof, we blow up a ball in the 4-variety, and obtain a fibration containing two distinct spheres with a self-intersection equal to -1: the pre-image of the point where the usual complex blow-up is done, and the proper transform of the fiber. These two are exceptional, so it is possible to do the inverse operation - the blow down - on each of them. By blowing down the latter, we get a minimal variety, and by combining information about the symplectic area of its homology classes and of those of the original variety, we obtain the result.