Nigel HitchinNigel James Hitchin (né le à Holbrook, Derbyshire, Angleterre) est un mathématicien britannique, spécialiste de géométrie différentielle et algébrique, qu'il applique notamment à la physique théorique. Il est actuellement professeur émérite à l'Université d'Oxford. Après des études élémentaires à l'école d'Ecclesbourne à Duffield, Hitchin obtient son BA en mathématiques à l'Université d'Oxford (Jesus College) en 1968.
Donaldson's theoremIn mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, smooth manifold of dimension 4 is diagonalisable. If the intersection form is positive (negative) definite, it can be diagonalized to the identity matrix (negative identity matrix) over the . The original version of the theorem required the manifold to be simply connected, but it was later improved to apply to 4-manifolds with any fundamental group.
Homologie de FloerL'homologie de Floer est une adaptation de l'homologie de Morse en dimension infinie. L'homologie de Floer symplectique (HFS) est une théorie homologique pour une variété symplectique munie d'un symplectomorphisme non-dégénéré. Si le symplectomorphisme est hamiltonien, l'homologie provient de l'étude de la fonctionnelle d'action symplectique sur le revêtement universel de l'espace des lacets de la variété symplectique. L'homologie de Floer symplectique est invariante par isotopie hamiltonienne du symplectomorphisme.
Théorie des cordes topologiquesEn physique théorique, la théorie des cordes topologiques est une version simplifiée de la théorie des supercordes où seule la topologie de la feuille d’univers (i.e. la surface générée par l’évolution temporelle de la corde) entre en compte dans le calcul de la . La théorie des cordes topologiques correspond au cas où la théorie conforme couplée à la gravité est un modèle sigma non linéaire en deux dimensions dont l’espace-cible est une variété de Calabi-Yau.
Groupe de jaugeEn géométrie différentielle, le groupe de jauge d'un fibré principal est le sous-groupe du groupe des automorphismes du fibré principal qui envoient ses fibres en elles-mêmes. La notion de groupe de jauge joue un rôle primordial en théorie de jauge. En particulier, son action de groupe sur un espace de formes de connexions donne lieu à la notion d'espace de module de connexions, nécessaire à la définition de l'homologie de Floer d'instantons. Soit un -fibré principal sur une variété différentielle et soit son action de groupe agissant par la droite.
Connexion d'EhresmannEn géométrie différentielle, une connexion d'Ehresmann (d'après le mathématicien français Charles Ehresmann qui a le premier formalisé ce concept) est une version de la notion de connexion qui est définie sur des fibrés. En particulier, elle peut être non-linéaire, puisqu'un espace fibré n'a pas de notion de linéarité qui lui soit naturellement adaptée. Cependant, une connexion de Koszul (parfois aussi appelée connexion linéaire) en est un cas particulier.
Fibré adjointEn géométrie différentielle, le fibré adjoint est un fibré vectoriel associé particulier d'un -fibré principal. Il joue un rôle important en théorie de jauge où les transformations de jauge infinitésimales, les vecteurs tangents à l'espace des formes de connexions et la 2-forme de courbure sont toutes des formes différentielles à valeurs dans le fibré adjoint. Soient : un groupe de Lie ; l'algèbre de Lie de ; une variété différentielle ; un -fibré principal sur ; l'action de groupe à droite de sur ; la représentation adjointe de sur son algèbre de Lie .
Hyperkähler manifoldIn differential geometry, a hyperkähler manifold is a Riemannian manifold endowed with three integrable almost complex structures that are Kähler with respect to the Riemannian metric and satisfy the quaternionic relations . In particular, it is a hypercomplex manifold. All hyperkähler manifolds are Ricci-flat and are thus Calabi–Yau manifolds. Hyperkähler manifolds were defined by Eugenio Calabi in 1979. Equivalently, a hyperkähler manifold is a Riemannian manifold of dimension whose holonomy group is contained in the compact symplectic group Sp(n).
Exterior covariant derivativeIn the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection. Let G be a Lie group and P → M be a principal G-bundle on a smooth manifold M. Suppose there is a connection on P; this yields a natural direct sum decomposition of each tangent space into the horizontal and vertical subspaces. Let be the projection to the horizontal subspace.
Stable vector bundleIn mathematics, a stable vector bundle is a (holomorphic or algebraic) vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others. One of the motivations for analyzing stable vector bundles is their nice behavior in families.
Michael AtiyahSir Michael Francis Atiyah, né le à Londres et mort le , est un mathématicien anglais d'origine libanaise, fils de l'écrivain Edward Atiyah. Il est professeur à l'université d'Oxford, à l'université de Cambridge et à l'université de Princeton. Membre de la Royal Society depuis 1962, il en est président de 1990 à 1995. Il est lauréat de la médaille Fields 1966, du prix Abel 2004 et de la grande médaille 2010.
Boucle de WilsonEn théorie de jauge, une boucle de Wilson (nommée d'après Kenneth G. Wilson) est une observable invariante de jauge obtenue à partir de l'holonomie de la connexion de jauge autour d'une boucle donnée. Dans les théories classiques, l'ensemble de toutes les boucles de Wilson contient assez d'information pour reconstruire la connexion de jauge, à une transformation de jauge près.
Simon DonaldsonSir Simon Kirwan Donaldson, né le à Cambridge, est un mathématicien, connu principalement pour ses travaux sur la topologie des variétés de dimension 4. Donaldson a obtenu son Bachelor of Arts de mathématiques au Pembroke College en 1979, et effectua ses travaux de troisième cycle sous la direction de Nigel Hitchin, puis de Michael Atiyah. Il est encore étudiant lorsqu'il prouve, en 1982, un résultat qui le rendit célèbre, publié dans l'article Self-dual connections and the topology of smooth 4-manifolds en 1983.
Vertical and horizontal bundlesIn mathematics, the vertical bundle and the horizontal bundle are vector bundles associated to a smooth fiber bundle. More precisely, given a smooth fiber bundle , the vertical bundle and horizontal bundle are subbundles of the tangent bundle of whose Whitney sum satisfies . This means that, over each point , the fibers and form complementary subspaces of the tangent space . The vertical bundle consists of all vectors that are tangent to the fibers, while the horizontal bundle requires some choice of complementary subbundle.
HolonomieEn mathématiques, et plus précisément en géométrie différentielle, l'holonomie d'une connexion sur une variété différentielle est une mesure de la façon dont le transport parallèle le long de boucles fermées modifie les informations géométriques transportées. Cette modification est une conséquence de la courbure de la connexion (ou plus généralement de sa "forme"). Pour des connexions plates, l'holonomie associée est un type de monodromie, et c'est dans ce cas une notion uniquement globale.
InstantonEn mécanique quantique et en théorie quantique des champs, un instanton est une solution classique des équations du mouvement c'est-à-dire correspondant à un extremum local de l'action qui définit la théorie, mais pas à un minimum global. Puisque la théorie perturbative considère la plupart du temps un développement en puissance de la constante de couplage de la théorie au voisinage du minimum global de l'action, appelé l'état fondamental, les instantons sont inaccessibles à ce développement et constituent de ce point de vue des phénomènes non-perturbatifs.
Structure spinorielleEn géométrie différentielle, il est possible de définir sur certaines variétés riemanniennes la notion de structure spinorielle (qui se décline en structures Spin ou Spinc), étendant ainsi les considérations algébriques sur le groupe spinoriel et les spineurs. En termes imagés, il s'agit de trouver, dans le cadre des « espaces courbes », une géométrie « cachée » à l’œuvre derrière les concepts géométriques ordinaires. On peut aussi y voir une généralisation de la notion d'orientabilité et de changement d'orientation à une forme d'« orientabilité d'ordre supérieur ».
Fibré principalEn topologie, de manière informelle, un fibré principal sur un espace topologique X est un espace ressemblant localement à un produit de X par un groupe topologique. En particulier, un fibré principal est un espace fibré, mais c'est bien plus encore. Il est muni d'un groupe, le groupe structural, décrivant la manière dont les trivialisations locales se recollent entre elles. La théorie des fibrés principaux recouvre la théorie des fibrés vectoriels, de leurs orientations, de leurs structures riemanniennes, de leurs structures symplectiques, etc.
Connexion (mathématiques)En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l'utilisation faite. Cette notion a été développée au début des années 1920 par Élie Cartan et Hermann Weyl (avec comme cas particulier celle de connexion affine), puis reformulée en 1951 par Charles Ehresmann et Jean-Louis Koszul. Connexion de Koszul La connexion de Koszul est un opérateur sur des espaces de sections.
Vector-valued differential formIn mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms. An important case of vector-valued differential forms are Lie algebra-valued forms. (A connection form is an example of such a form.) Let M be a smooth manifold and E → M be a smooth vector bundle over M.
