Diophantine geometry

Short description: Mathematics of varieties with integer coordinates

Geometry

Projecting a sphere to a plane.

* Outline
* History

Branches

* Euclidean
* Non-Euclidean
* Elliptic
* Spherical
* Hyperbolic
* Non-Archimedean geometry
* Projective
* Affine
* Synthetic
* Analytic
* Algebraic
* Arithmetic
* Diophantine
* Differential
* Riemannian
* Symplectic
* Discrete differential
* Complex
* Finite
* Discrete/Combinatorial
* Digital
* Convex
* Computational
* Fractal
* Incidence

* Concepts
* Features

Dimension

* Straightedge and compass constructions

* Angle
* Curve
* Diagonal
* Orthogonality (Perpendicular)
* Parallel
* Vertex

* Congruence
* Similarity
* Symmetry

Zero-dimensional

* Point

One-dimensional

* Line
* segment
* ray
* Length

Two-dimensional

* Plane
* Area
* Polygon

Triangle

* Altitude
* Hypotenuse
* Pythagorean theorem

Parallelogram

* Square
* Rectangle
* Rhombus
* Rhomboid

Quadrilateral

* Trapezoid
* Kite

Circle

* Diameter
* Circumference
* Area

Three-dimensional

* Volume

* Cube
* cuboid
* Cylinder
* Pyramid
* Sphere

Four- / other-dimensional

* Tesseract
* Hypersphere

Geometers

by name

* Aida
* Aryabhata
* Ahmes
* Alhazen
* Apollonius
* Archimedes
* Atiyah
* Baudhayana
* Bolyai
* Brahmagupta
* Cartan
* Coxeter
* Descartes
* Euclid
* Euler
* Gauss
* Gromov
* Hilbert
* Jyeṣṭhadeva
* Kātyāyana
* Khayyám
* Klein
* Lobachevsky
* Manava
* Minkowski
* Minggatu
* Pascal
* Pythagoras
* Parameshvara
* Poincaré
* Riemann
* Sakabe
* Sijzi
* al-Tusi
* Veblen
* Virasena
* Yang Hui
* al-Yasamin
* Zhang
* List of geometers

by period

|  BCE

* Ahmes
* Baudhayana
* Manava
* Pythagoras
* Euclid
* Archimedes
* Apollonius

1–1400s

* Zhang
* Kātyāyana
* Aryabhata
* Brahmagupta
* Virasena
* Alhazen
* Sijzi
* Khayyám
* al-Yasamin
* al-Tusi
* Yang Hui
* Parameshvara

1400s–1700s

* Jyeṣṭhadeva
* Descartes
* Pascal
* Minggatu
* Euler
* Sakabe
* Aida

1700s–1900s

* Gauss
* Lobachevsky
* Bolyai
* Riemann
* Klein
* Poincaré
* Hilbert
* Minkowski
* Cartan
* Veblen
* Coxeter

Present day

* Atiyah
* Gromov

* v
* t
* e

In mathematics, Diophantine geometry is the study of Diophantine equations by means of powerful methods in algebraic geometry. By the 20th century it became clear for some mathematicians that methods of algebraic geometry are ideal tools to study these equations.[1] Diophantine geometry is part of the broader field of arithmetic geometry.

Four theorems in Diophantine geometry that are of fundamental importance include:[2]

* Mordell–Weil theorem
* Roth's theorem
* Siegel's theorem
* Faltings' theorem

## Contents

* 1 Background
* 2 Approaches
* 3 See also
* 4 Citations
* 5 References
* 6 External links

## Background

Serge Lang published a book Diophantine Geometry in the area in 1962, and by this book he coined the term "Diophantine geometry".[1] The traditional arrangement of material on Diophantine equations was by degree and number of variables, as in Mordell's Diophantine Equations (1969). Mordell's book starts with a remark on homogeneous equations f = 0 over the rational field, attributed to C. F. Gauss, that non-zero solutions in integers (even primitive lattice points) exist if non-zero rational solutions do, and notes a caveat of L. E. Dickson, which is about parametric solutions.[3] The Hilbert–Hurwitz result from 1890 reducing the Diophantine geometry of curves of genus 0 to degrees 1 and 2 (conic sections) occurs in Chapter 17, as does Mordell's conjecture. Siegel's theorem on integral points occurs in Chapter 28. Mordell's theorem on the finite generation of the group of rational points on an elliptic curve is in Chapter 16, and integer points on the Mordell curve in Chapter 26.

In a hostile review of Lang's book, Mordell wrote:

> In recent times, powerful new geometric ideas and methods have been developed by means of which important new arithmetical theorems and related results have been found and proved and some of these are not easily proved otherwise. Further, there has been a tendency to clothe the old results, their extensions, and proofs in the new geometrical language. Sometimes, however, the full implications of results are best described in a geometrical setting. Lang has these aspects very much in mind in this book, and seems to miss no opportunity for geometric presentation. This accounts for his title "Diophantine Geometry."[4]

He notes that the content of the book is largely versions of the Mordell–Weil theorem, Thue–Siegel–Roth theorem, Siegel's theorem, with a treatment of Hilbert's irreducibility theorem and applications (in the style of Siegel). Leaving aside issues of generality, and a completely different style, the major mathematical difference between the two books is that Lang used abelian varieties and offered a proof of Siegel's theorem, while Mordell noted that the proof "is of a very advanced character" (p. 263).

Despite a bad press initially, Lang's conception has been sufficiently widely accepted for a 2006 tribute to call the book "visionary".[5] A larger field sometimes called arithmetic of abelian varieties now includes Diophantine geometry along with class field theory, complex multiplication, local zeta-functions and L-functions.[6] Paul Vojta wrote:

While others at the time shared this viewpoint (e.g., Weil, Tate, Serre), it is easy to forget that others did not, as Mordell's review of Diophantine Geometry attests.[7]

## Approaches

A single equation defines a hypersurface, and simultaneous Diophantine equations give rise to a general algebraic variety V over K; the typical question is about the nature of the set V(K) of points on V with co-ordinates in K, and by means of height functions, quantitative questions about the "size" of these solutions may be posed, as well as the qualitative issues of whether any points exist, and if so whether there are an infinite number. Given the geometric approach, the consideration of homogeneous equations and homogeneous co-ordinates is fundamental, for the same reasons that projective geometry is the dominant approach in algebraic geometry. Rational number solutions therefore are the primary consideration; but integral solutions (i.e., integer lattice points) can be treated in the same way as an affine variety may be considered inside a projective variety that has extra points at infinity.

The general approach of Diophantine geometry is illustrated by Faltings' theorem (a conjecture of L. J. Mordell) stating that an algebraic curve C of genus g > 1 over the rational numbers has only finitely many rational points. The first result of this kind may have been the theorem of Hilbert and Hurwitz dealing with the case g = 0. The theory consists both of theorems and many conjectures and open questions.

## See also

* Glossary of arithmetic and Diophantine geometry
* Arakelov geometry

## Citations

1. ↑ 1.0 1.1 Hindry & Silverman 2000, p. vii, Preface.
2. ↑ Hindry & Silverman 2000, p. viii, Preface.
3. ↑ Mordell 1969, p. 1.
4. ↑ "Mordell : Review: Serge Lang, Diophantine geometry". Projecteuclid.org. 2007-07-04. http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183526083.
5. ↑ Marc Hindry. "La géométrie diophantienne, selon Serge Lang" (PDF). Gazette des mathématiciens. http://www.math.jussieu.fr/~hindry/Lang.pdf.
6. ↑ Hazewinkel, Michiel, ed. (2001), "Algebraic varieties, arithmetic of", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=A/a011720
7. ↑ "The Mathematical Contributions of Serge Lang" (PDF). Ams.org. https://www.ams.org/notices/200704/fea-lang-web.pdf.

## References

* Baker, Alan; Wüstholz, Gisbert (2007). Logarithmic Forms and Diophantine Geometry. New Mathematical Monographs. 9. Cambridge University Press. ISBN 978-0-521-88268-2.
* Bombieri, Enrico; Gubler, Walter (2006). Heights in Diophantine Geometry. New Mathematical Monographs. 4. Cambridge University Press. ISBN 978-0-521-71229-3.
* Hindry, Marc; Silverman, Joseph H. (2000). Diophantine Geometry: An Introduction. Graduate Texts in Mathematics. 201. ISBN 0-387-98981-1.
* Lang, Serge (1997). Survey of Diophantine Geometry. Springer-Verlag. ISBN 3-540-61223-8.
* Mordell, Louis J. (1969). Diophantine Equations. Academic Press. ISBN 978-0125062503.
* Hazewinkel, Michiel, ed. (2001), "Diophantine geometry", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=d/d032630

## External links

* Lang's review of Mordell's Diophantine Equations
* Mordell's review of Lang's Diophantine Geometry

* v
* t
* e

Number theory

Fields|

* Algebraic number theory
* Analytic number theory
* Geometric number theory
* Computational number theory
* Transcendental number theory
* Diophantine geometry
* Combinatorial number theory
* Arithmetic geometry
* Arithmetic topology
* Arithmetic dynamics

Key concepts|

* Numbers
* Natural numbers
* Prime numbers
* Rational numbers
* Irrational numbers
* Algebraic numbers
* Transcendental numbers
* p-adic numbers
* Arithmetic
* Modular arithmetic
* Arithmetic functions

Advanced concepts|

* Quadratic forms
* Modular forms
* L-functions
* Diophantine equations
* Diophantine approximation
* Continued fractions

* Category
* List of topics
* List of recreational topics
* Wikibook
* Wikversity

* v
* t
* e

Areas of mathematics

Foundations|

* Category theory
* Information theory
* Mathematical logic
* Philosophy of mathematics
* Set theory

Algebra|

* Abstract
* Elementary
* Linear
* Multilinear
* Universal

Analysis|

* Calculus
* Real analysis
* Complex analysis
* Differential equations
* Functional analysis
* Harmonic analysis

Discrete|

* Combinatorics
* Graph theory
* Order theory
* Game theory

Geometry|

* Algebraic
* Analytic
* Differential
* Discrete
* Euclidean
* Finite

Number theory|

* Arithmetic
* Algebraic number theory
* Analytic number theory
* Diophantine geometry

Topology|

* Algebraic
* Differential
* Geometric

Applied|

* Control theory
* Mathematical biology
* Mathematical chemistry
* Mathematical economics
* Mathematical finance
* Mathematical physics
* Mathematical psychology
* Mathematical statistics
* Probability
* Statistics

Computational|

* Computer science
* Theory of computation
* Numerical analysis
* Optimization
* Computer algebra

Others|

* History of mathematics
* Recreational mathematics
* Mathematics and art
* Mathematics education

* Category
* Portal
* Commons
* WikiProject

Template:Geometry

* v
* t
* e

Algebra

Areas|

* Abstract algebra
* Category theory
* Elementary algebra
* K-theory
* Commutative algebra
* Noncommutative algebra
* Order theory
* Universal algebra

Algebraic structures|

* Group (theory)
* Ring (theory)
* Module (theory)
* Field
* Polynomial ring (Polynomial)
* Composition algebra

Linear algebra|

* Matrix (theory)
* Vector space (Vector)
* Module
* Inner product space (dot product)
* Hilbert space

Multilinear algebra|

* Tensor algebra
* Exterior algebra
* Symmetric algebra
* Geometric algebra (Multivector)

Topic lists|

* Abstract algebra
* Algebraic structures
* Group theory
* Linear algebra

Glossaries|

* Linear algebra
* Field theory
* Ring theory
* Order theory

* Category
* Mathematics portal
* Wikibooks
* Elementary
* Linear
* Abstract
* Wikiversity
* Linear
* Abstract

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Diophantine geometry. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Diophantine_geometry&oldid=4347178"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template