This is a glossary of arithmetic and diophantine geometry in
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, areas growing out of the traditional study of
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a c ...
s to encompass large parts of
number theory and
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
. Much of the theory is in the form of proposed
conjecture
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 19 ...
s, which can be related at various levels of generality.
Diophantine geometry in general is the study of
algebraic varieties ''V'' over fields ''K'' that are finitely generated over their
prime fields—including as of special interest
number fields and
finite fields—and over
local fields. Of those, only the
complex numbers are
algebraically closed; over any other ''K'' the existence of points of ''V'' with coordinates in ''K'' is something to be proved and studied as an extra topic, even knowing the geometry of ''V''.
Arithmetic geometry can be more generally defined as the study of
schemes of finite type over the
spectrum of the
ring of integers
In mathematics, the ring of integers of an algebraic number field K is the ring of all algebraic integers contained in K. An algebraic integer is a root of a monic polynomial with integer coefficients: x^n+c_x^+\cdots+c_0. This ring is often deno ...
. Arithmetic geometry has also been defined as the application of the techniques of algebraic geometry to problems in
number theory.
__NOTOC__
A
B
C
D
E
F
G
H
I
K
L
M
N
O
Q
R
S
T
U
V
W
See also
*
Arithmetic topology
*
Arithmetic dynamics
References
*
*
*
*
*
Further reading
*Dino Lorenzini (1996)
An invitation to arithmetic geometry AMS Bookstore,
{{Number theory-footer
Diophantine geometry
Algebraic geometry
Geometry
Wikipedia glossaries using description lists