Conjecture abcvignette|Joseph Oesterlé, mathématicien français vignette|David Masser, mathématicien anglais La conjecture abc ou conjecture d'Oesterlé-Masser est une conjecture en théorie des nombres. Elle a été formulée pour la première fois par Joseph Oesterlé (1988) et David Masser (1985). Elle est formulée en termes de trois nombres entiers positifs, a, b et c (d'où son nom), qui n'ont aucun facteur commun et satisfont à . Si d est le produit des facteurs premiers distincts de abc, alors la conjecture affirme à peu près que d ne peut pas être beaucoup plus petit que c.
Arithmetic of abelian varietiesIn mathematics, the arithmetic of abelian varieties is the study of the number theory of an abelian variety, or a family of abelian varieties. It goes back to the studies of Pierre de Fermat on what are now recognized as elliptic curves; and has become a very substantial area of arithmetic geometry both in terms of results and conjectures. Most of these can be posed for an abelian variety A over a number field K; or more generally (for global fields or more general finitely-generated rings or fields).
Théorème de Faltingsvignette|Gerd Faltings. En théorie des nombres, le théorème de Faltings, précédemment connu sous le nom de conjecture de Mordell donne des résultats sur le nombre de solutions d'une équation diophantienne. Il a été conjecturé par le mathématicien anglais Louis Mordell en 1922 et démontré par Gerd Faltings en 1983, soit environ soixante ans après que la conjecture fut posée. Soit l'équation définie de la manière suivante : avec P un polynôme à coefficients rationnels.
Arakelov theoryIn mathematics, Arakelov theory (or Arakelov geometry) is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions. The main motivation behind Arakelov geometry is the fact there is a correspondence between prime ideals and finite places , but there also exists a place at infinity , given by the Archimedean valuation, which doesn't have a corresponding prime ideal. Arakelov geometry gives a technique for compactifying into a complete space which has a prime lying at infinity.
Arithmetic dynamicsArithmetic dynamics is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Part of the inspiration comes from complex dynamics, the study of the iteration of self-maps of the complex plane or other complex algebraic varieties. Arithmetic dynamics is the study of the number-theoretic properties of integer, rational, p-adic, or algebraic points under repeated application of a polynomial or rational function. A fundamental goal is to describe arithmetic properties in terms of underlying geometric structures.
Représentation galoisienneLa théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.
Tate conjectureIn number theory and algebraic geometry, the Tate conjecture is a 1963 conjecture of John Tate that would describe the algebraic cycles on a variety in terms of a more computable invariant, the Galois representation on étale cohomology. The conjecture is a central problem in the theory of algebraic cycles. It can be considered an arithmetic analog of the Hodge conjecture. Let V be a smooth projective variety over a field k which is finitely generated over its prime field.
Groupe de BrauerEn mathématiques, le groupe de Brauer, nommé d'après Richard Brauer, constitue l'espace classifiant des algèbres centrales simples sur un corps commutatif k donné, pour une certaine relation d'équivalence. On munit cet espace d'une structure de groupe abélien en l'identifiant à un espace de cohomologie galoisienne. Une algèbre centrale simple sur un corps commutatif k, est une algèbre associative de dimension finie A, qui n'admet aucun idéal bilatère non trivial (simplicité), et dont le centre est k (centralité).
Courbe cubiqueEn mathématiques, une courbe cubique est une courbe algébrique plane définie par une équation du troisième degré en les coordonnées homogènes [X:Y:Z] du plan projectif ; ou bien c'est la version non homogène pour l'espace affine obtenue en faisant Z = 1 dans une telle équation. Ici F est une combinaison linéaire non nulle des monômes de degré trois X3, X2Y, ..., Z3 en X,Y et Z. Ceux-ci sont au nombre de dix ; donc les courbes cubiques forment un espace projectif de dimension 9, au-dessus de n'importe quel corps commutatif K donné.
Cohomologie motiviqueUne cohomologie motivique est une théorie cohomologique en mathématiques dont l'existence a été conjecturée pour la première fois par Alexandre Grothendieck dans les années 1960. À l'époque, on la concevait comme construite sur les bases des sur les cycles algébriques, en géométrie algébrique. Elle puise ses fondements en théorie des catégories, ce qui permet de déduire des conséquences à partir de ces conjectures. Grothendieck et Bombieri ont démontré la profondeur de cette approche en dérivant une des conjectures de Weil de cette façon.
