|
Diagonal Form
In mathematics, a diagonal form is an algebraic form (homogeneous polynomial) without cross-terms involving different indeterminates. That is, it is :\sum_^n a_i ^m\ for some given degree ''m''. Such forms ''F'', and the hypersurfaces ''F'' = 0 they define in projective space, are very special in geometric terms, with many symmetries. They also include famous cases like the Fermat curves, and other examples well known in the theory of Diophantine equations. A great deal has been worked out about their theory: algebraic geometry, local zeta-functions via Jacobi sums, Hardy-Littlewood circle method. Examples :X^2+Y^2-Z^2 = 0 is the unit circle in ''P''2 :X^2-Y^2-Z^2 = 0 is the unit hyperbola in ''P''2. :x_0^3+x_1^3+x_2^3+x_3^3=0 gives the Fermat cubic surface in ''P''3 with 27 lines. The 27 lines in this example are easy to describe explicitly: they are the 9 lines of the form (''x'' : ''ax'' : ''y'' : ''by'') where ''a'' and ''b'' are fixed numbers with cube −1, and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 with the major subdisciplines of number theory, algebra, geometry, and mathematical analysis, analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Polynomial
In mathematics, a homogeneous polynomial, sometimes called quantic in older texts, is a polynomial whose nonzero terms all have the same degree. For example, x^5 + 2 x^3 y^2 + 9 x y^4 is a homogeneous polynomial of degree 5, in two variables; the sum of the exponents in each term is always 5. The polynomial x^3 + 3 x^2 y + z^7 is not homogeneous, because the sum of exponents does not match from term to term. The function defined by a homogeneous polynomial is always a homogeneous function. An algebraic form, or simply form, is a function defined by a homogeneous polynomial. A binary form is a form in two variables. A ''form'' is also a function defined on a vector space, which may be expressed as a homogeneous function of the coordinates over any basis. A polynomial of degree 0 is always homogeneous; it is simply an element of the field or ring of the coefficients, usually called a constant or a scalar. A form of degree 1 is a linear form. A form of degree 2 is a qua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indeterminate (variable)
In mathematics, particularly in formal algebra, an indeterminate is a symbol that is treated as a variable, but does not stand for anything else except itself. It may be used as a placeholder in objects such as polynomials and formal power series. In particular: * It does not designate a constant or a parameter of the problem. * It is not an unknown that could be solved for. * It is not a variable designating a function argument, or a variable being summed or integrated over. * It is not any type of bound variable. * It is just a symbol used in an entirely formal way. When used as placeholders, a common operation is to substitute mathematical expressions (of an appropriate type) for the indeterminates. By a common abuse of language, mathematical texts may not clearly distinguish indeterminates from ordinary variables. Polynomials A polynomial in an indeterminate X is an expression of the form a_0 + a_1X + a_2X^2 + \ldots + a_nX^n, where the ''a_i'' are called the co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally (near every point), and sometimes globally. A hypersurface in a (Euclidean, affine, or projective) space of dimension two is a plane curve. In a space of dimension three, it is a surface. For example, the equation :x_1^2+x_2^2+\cdots+x_n^2-1=0 defines an algebraic hypersurface of dimension in the Euclidean space of dimension . This hypersurface is also a smooth manifold, and is called a hypersphere or an -sphere. Smooth hypersurface A hypersurface that is a smooth manifold is called a ''smooth hypersurface''. In , a smooth hypersurface is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fermat Curve
In mathematics, the Fermat curve is the algebraic curve in the complex projective plane defined in homogeneous coordinates (''X'':''Y'':''Z'') by the Fermat equation :X^n + Y^n = Z^n.\ Therefore, in terms of the affine plane its equation is :x^n + y^n = 1.\ An integer solution to the Fermat equation would correspond to a nonzero rational number solution to the affine equation, and vice versa. But by Fermat's Last Theorem it is now known that (for ''n'' > 2) there are no nontrivial integer solutions to the Fermat equation; therefore, the Fermat curve has no nontrivial rational points. The Fermat curve is non-singular and has genus :(n - 1)(n - 2)/2.\ This means genus 0 for the case ''n'' = 2 (a conic) and genus 1 only for ''n'' = 3 (an elliptic curve). The Jacobian variety of the Fermat curve has been studied in depth. It is isogenous to a product of simple abelian varieties with complex multiplication. The Fermat curve also has gonality :n-1.\ Fermat variet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents. Diophantine problems have fewer equations than unknowns and involve finding integers that solve simultaneously all equations. As such systems of equations define algebraic curves, algebraic surfaces, or, more generally, algebraic sets, their study is a part of algebraic geometry that is called '' Diophantine geometry''. The word ''Diophantine'' refers to the Hellenistic mathematician of the 3rd century, Diophantus of Alexandria, who made a study of such equations and was one of the first mathematicians to introduce symbolism into algebra. The mathematical study of Diophantine proble ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Zeta-function
In number theory, the local zeta function (sometimes called the congruent zeta function or the Hasse–Weil zeta function) is defined as :Z(V, s) = \exp\left(\sum_^\infty \frac (q^)^m\right) where is a non-singular -dimensional projective algebraic variety over the field with elements and is the number of points of defined over the finite field extension of . Making the variable transformation gives : \mathit (V,u) = \exp \left( \sum_^ N_m \frac \right) as the formal power series in the variable u. Equivalently, the local zeta function is sometimes defined as follows: : (1)\ \ \mathit (V,0) = 1 \, : (2)\ \ \frac \log \mathit (V,u) = \sum_^ N_m u^\ . In other words, the local zeta function with coefficients in the finite field is defined as a function whose logarithmic derivative generates the number of solutions of the equation defining in the degree extension Formulation Given a finite field ''F'', there is, up to isomorphism, only one field ''Fk'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobi Sum
In mathematics, a Jacobi sum is a type of character sum formed with Dirichlet characters. Simple examples would be Jacobi sums ''J''(''χ'', ''ψ'') for Dirichlet characters ''χ'', ''ψ'' modulo a prime number ''p'', defined by : J(\chi,\psi) = \sum \chi(a) \psi(1 - a) \,, where the summation runs over all residues (for which neither ''a'' nor is 0). Jacobi sums are the analogues for finite fields of the beta function. Such sums were introduced by C. G. J. Jacobi early in the nineteenth century in connection with the theory of cyclotomy. Jacobi sums ''J'' can be factored generically into products of powers of Gauss sums ''g''. For example, when the character ''χψ'' is nontrivial, : J(\chi, \psi) = \frac\,, analogous to the formula for the beta function in terms of gamma functions. Since the nontrivial Gauss sums ''g'' have absolute value ''p'', it follows that also has absolute value ''p'' when the characters ''χψ'', ''χ'', ''ψ'' are nontrivial. Jacobi sums ''J'' l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardy-Littlewood Circle Method
A twin prime is a prime number that is either 2 less or 2 more than another prime number—for example, either member of the twin prime pair (41, 43). In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term ''twin prime'' is used for a pair of twin primes; an alternative name for this is prime twin or prime pair. Twin primes become increasingly rare as one examines larger ranges, in keeping with the general tendency of gaps between adjacent primes to become larger as the numbers themselves get larger. However, it is unknown whether there are infinitely many twin primes (the so-called twin prime conjecture) or if there is a largest pair. The breakthrough work of Yitang Zhang in 2013, as well as work by James Maynard, Terence Tao and others, has made substantial progress towards proving that there are infinitely many twin primes, but at present this remains unsolved. Properties Usually the pair (2, 3) is not considered to be a pair of twin primes. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Circle
In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Euclidean plane. In topology, it is often denoted as because it is a one-dimensional unit -sphere. If is a point on the unit circle's circumference, then and are the lengths of the legs of a right triangle whose hypotenuse has length 1. Thus, by the Pythagorean theorem, and satisfy the equation x^2 + y^2 = 1. Since for all , and since the reflection of any point on the unit circle about the - or -axis is also on the unit circle, the above equation holds for all points on the unit circle, not only those in the first quadrant. The interior of the unit circle is called the open unit disk, while the interior of the unit circle combined with the unit circle itself is called the closed unit disk. One may also use other notions of "dist ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
