|
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'' lie ... [...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 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 abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Legendre Symbol
In number theory, the Legendre symbol is a multiplicative function with values 1, −1, 0 that is a quadratic character modulo an odd prime number ''p'': its value at a (nonzero) quadratic residue mod ''p'' is 1 and at a non-quadratic residue (''non-residue'') is −1. Its value at zero is 0. The Legendre symbol was introduced by Adrien-Marie Legendre in 1798 in the course of his attempts at proving the law of quadratic reciprocity. Generalizations of the symbol include the Jacobi symbol and Dirichlet characters of higher order. The notational convenience of the Legendre symbol inspired introduction of several other "symbols" used in algebraic number theory, such as the Hilbert symbol and the Artin symbol. Definition Let p be an odd prime number. An integer a is a quadratic residue modulo p if it is congruent to a perfect square modulo p and is a quadratic nonresidue modulo p otherwise. The Legendre symbol is a function of a and p defined as :\left(\frac\right) = \begi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Multiplication Of Abelian Varieties
In mathematics, an abelian variety ''A'' defined over a field ''K'' is said to have CM-type if it has a large enough commutative subring in its endomorphism ring End(''A''). The terminology here is from complex multiplication theory, which was developed for elliptic curves in the nineteenth century. One of the major achievements in algebraic number theory and algebraic geometry of the twentieth century was to find the correct formulations of the corresponding theory for abelian varieties of dimension ''d'' > 1. The problem is at a deeper level of abstraction, because it is much harder to manipulate analytic functions of several complex variables. The formal definition is that : \operatorname_\mathbb(A) the tensor product of End(''A'') with the rational number field Q, should contain a commutative subring of dimension 2''d'' over Q. When ''d'' = 1 this can only be a quadratic field, and one recovers the cases where End(''A'') is an order in an imaginary quadratic field. For ''d'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hecke Character
In number theory, a Hecke character is a generalisation of a Dirichlet character, introduced by Erich Hecke to construct a class of ''L''-functions larger than Dirichlet ''L''-functions, and a natural setting for the Dedekind zeta-functions and certain others which have functional equations analogous to that of the Riemann zeta-function. A name sometimes used for ''Hecke character'' is the German term Größencharakter (often written Grössencharakter, Grossencharacter, etc.). Definition using ideles A Hecke character is a character of the idele class group of a number field or global function field. It corresponds uniquely to a character of the idele group which is trivial on principal ideles, via composition with the projection map. This definition depends on the definition of a character, which varies slightly between authors: It may be defined as a homomorphism to the non-zero complex numbers (also called a "quasicharacter"), or as a homomorphism to the unit circle in C ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hasse–Davenport Relation
The Hasse–Davenport relations, introduced by , are two related identities for Gauss sums, one called the Hasse–Davenport lifting relation, and the other called the Hasse–Davenport product relation. The Hasse–Davenport lifting relation is an equality in number theory relating Gauss sums over different fields. used it to calculate the zeta function of a Fermat hypersurface over a finite field, which motivated the Weil conjectures. Gauss sums are analogues of the gamma function over finite fields, and the Hasse–Davenport product relation is the analogue of Gauss's multiplication formula : \Gamma(z) \; \Gamma\left(z + \frac\right) \; \Gamma\left(z + \frac\right) \cdots \Gamma\left(z + \frac\right) = (2 \pi)^ \; k^ \; \Gamma(kz). \,\! In fact the Hasse–Davenport product relation follows from the analogous multiplication formula for p-adic gamma function, ''p''-adic gamma functions together with the Gross–Koblitz formula of . Hasse–Davenport lifting relation Let ''F' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. The philosopher Simone Weil was his sister. The writer Sylvie Weil is his daughter. Life André Weil was born in Paris to agnostic Alsatian Jewish parents who fled the annexation of Alsace-Lorraine by the German Empire after the Franco-Prussian War in 1870–71. Simone Weil, who would later become a famous philosopher, was Weil's younger sister and only sibling. He studied in Paris, Rome and Göttingen and received his doctorate in 1928. While in Germany, Weil befriended Carl Ludwig Siegel. Starting in 1930, he spent two academic years at Aligarh Muslim University in India. Aside from mathematics, Weil held lifelong interests in classical Greek and Latin literature, in Hinduism and Sanskrit literature: he had taught himself Sanskrit in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Line
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a ''point at infinity''. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conic Section
In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though historically it was sometimes called a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties. The conic sections in the Euclidean plane have various distinguishing properties, many of which can be used as alternative definitions. One such property defines a non-circular conic to be the set of those points whose distances to some particular point, called a ''focus'', and some particular line, called a ''directrix'', are in a fixed ratio, called the ''eccentricity''. The type of conic is determined by the value of the eccentricity. In analytic geometry, a conic may be defined as a plane algebraic curve of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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, an ... [...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'' with : ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stickelberger's Theorem
In mathematics, Stickelberger's theorem is a result of algebraic number theory, which gives some information about the Galois module structure of class groups of cyclotomic fields. A special case was first proven by Ernst Kummer (1847) while the general result is due to Ludwig Stickelberger (1890). The Stickelberger element and the Stickelberger ideal Let denote the th cyclotomic field, i.e. the extension of the rational numbers obtained by adjoining the th roots of unity to \mathbb (where is an integer). It is a Galois extension of \mathbb with Galois group isomorphic to the multiplicative group of integers modulo . The Stickelberger element (of level or of ) is an element in the group ring and the Stickelberger ideal (of level or of ) is an ideal in the group ring . They are defined as follows. Let denote a primitive th root of unity. The isomorphism from to is given by sending to defined by the relation :\sigma_a(\zeta_m) = \zeta_m^a. The Stickelberger element of l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
