|
Consani–Scholten Quintic
In the mathematical fields of algebraic geometry and arithmetic geometry, the Consani–Scholten quintic is an algebraic hypersurface (the set of solutions to a single polynomial equation in multiple variables) studied in 2001 by Caterina Consani and Jasper Scholten. It has been used as a test case for the Langlands program. Definition Consani and Scholten define their hypersurface from the ( projectivized) set of solutions to the equation :P(x,y)=P(z,w) in four complex variables, where :P(x,y)=x^5+y^5-(5xy-5)(x^2+y^2-x-y). In this form the resulting hypersurface is singular: it has 120 double points. Its Hodge diamond is The Consani–Scholton quintic itself is the non-singular hypersurface obtained by blowing up these singularities. As a non-singular quintic threefold, it is a Calabi–Yau manifold. Modularity According to the Langlands program, for any Calabi–Yau threefold X over \mathbb, the Galois representations giving the action of the absolute Galois group on the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quintic Threefold
In mathematics, a quintic threefold is a 3-dimensional hypersurface of degree 5 in 4-dimensional projective space \mathbb^4. Non-singular quintic threefolds are Calabi–Yau manifolds. The Hodge diamond of a non-singular quintic 3-fold is Mathematician Robbert Dijkgraaf said "One number which every algebraic geometer knows is the number 2,875 because obviously, that is the number of lines on a quintic." Definition A quintic threefold is a special class of Calabi–Yau manifolds defined by a degree 5 projective variety in \mathbb^4. Many examples are constructed as hypersurfaces in \mathbb^4, or complete intersections lying in \mathbb^4, or as a smooth variety resolving the singularities of another variety. As a set, a Calabi-Yau manifold isX = \where p(x) is a degree 5 homogeneous polynomial. One of the most studied examples is from the polynomialp(x) = x_0^5 + x_1^5 + x_2^5 + x_3^5 + x_4^5called a Fermat polynomial. Proving that such a polynomial defines a Calabi-Yau requi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre's Modularity Conjecture
In mathematics, Serre's modularity conjecture, introduced by , states that an odd, irreducible, two-dimensional Galois representation over a finite field arises from a modular form. A stronger version of this conjecture specifies the weight and level of the modular form. The conjecture in the level 1 case was proved by Chandrashekhar Khare in 2005, and a proof of the full conjecture was completed jointly by Khare and Jean-Pierre Wintenberger in 2008. Formulation The conjecture concerns the absolute Galois group G_\mathbb of the rational number field \mathbb. Let \rho be an absolutely irreducible, continuous, two-dimensional representation of G_\mathbb over a finite field F = \mathbb_. : \rho \colon G_\mathbb \rightarrow \mathrm_2(F). Additionally, assume \rho is odd, meaning the image of complex conjugation has determinant -1. To any normalized modular eigenform : f = q+a_2q^2+a_3q^3+\cdots of level N=N(\rho) , weight k=k(\rho) , and some Nebentype character : \chi \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphic Form
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group ''G'' to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup \Gamma \subset G of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups. Modular forms are holomorphic automorphic forms defined over the groups SL(2, R) or PSL(2, R) with the discrete subgroup being the modular group, or one of its congruence subgroups; in this sense the theory of automorphic forms is an extension of the theory of modular forms. More generally, one can use the adelic approach as a way of dealing with the whole family of congruence subgroups at once. From this point of view, an automorphic form over the group ''G''(A''F''), for an algebraic group ''G'' and an algebraic number field ''F'', is a complex-valued function on ''G''(A''F'') that is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-function
In mathematics, an ''L''-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An ''L''-series is a Dirichlet series, usually convergent on a half-plane, that may give rise to an ''L''-function via analytic continuation. The Riemann zeta function is an example of an ''L''-function, and one important conjecture involving ''L''-functions is the Riemann hypothesis and its generalization. The theory of ''L''-functions has become a very substantial, and still largely conjectural, part of contemporary analytic number theory. In it, broad generalisations of the Riemann zeta function and the ''L''-series for a Dirichlet character are constructed, and their general properties, in most cases still out of reach of proof, are set out in a systematic way. Because of the Euler product formula there is a deep connection between ''L''-functions and the theory of prime numbers. The mathematical field that studie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Good Reduction
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, 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. Arithmetic geometry has also been defined as the application of the te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prime Number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways of writing it as a product, or , involve 5 itself. However, 4 is composite because it is a product (2 × 2) in which both numbers are smaller than 4. Primes are central in number theory because of the fundamental theorem of arithmetic: every natural number greater than 1 is either a prime itself or can be factorized as a product of primes that is unique up to their order. The property of being prime is called primality. A simple but slow method of checking the primality of a given number n, called trial division, tests whether n is a multiple of any integer between 2 and \sqrt. Faster algorithms include the Miller–Rabin primality test, which is fast but has a small chance of error, and the AKS primality test, which alw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Cohomology
In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type. History Étale cohomology was introduced by , using some suggestions by Jean-Pierre Serre, and was motivated by the attempt to construct a Weil cohomology theory in order to prove the Weil conjectures. The foundations were soon after worked out by Grothendieck together with Michael Artin, and published as and SGA 4. Grothendieck used étale cohomology to prove some of the Weil conjectures ( Bernard Dwork had already managed to prove the rationality part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic Number
In mathematics, the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extension is achieved by an alternative interpretation of the concept of "closeness" or absolute value. In particular, two -adic numbers are considered to be close when their difference is divisible by a high power of : the higher the power, the closer they are. This property enables -adic numbers to encode congruence information in a way that turns out to have powerful applications in number theory – including, for example, in the famous proof of Fermat's Last Theorem by Andrew Wiles. These numbers were first described by Kurt Hensel in 1897, though, with hindsight, some of Ernst Kummer's earlier work can be interpreted as implicitly using -adic numbers.Translator's introductionpage 35 "Indeed, with hindsight it becomes apparent that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absolute Galois Group
In mathematics, the absolute Galois group ''GK'' of a field ''K'' is the Galois group of ''K''sep over ''K'', where ''K''sep is a separable closure of ''K''. Alternatively it is the group of all automorphisms of the algebraic closure of ''K'' that fix ''K''. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group. (When ''K'' is a perfect field, ''K''sep is the same as an algebraic closure ''K''alg of ''K''. This holds e.g. for ''K'' of characteristic zero, or ''K'' a finite field.) Examples * The absolute Galois group of an algebraically closed field is trivial. * The absolute Galois group of the real numbers is a cyclic group of two elements (complex conjugation and the identity map), since C is the separable closure of R and ''C:Rnbsp;= 2. * The absolute Galois group of a finite field ''K'' is isomorphic to the group :: \hat = \varprojlim \mathbf/n\mathbf. (For the notation, see Inverse limit.) :The Frobenius automorphis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Representation
In mathematics, a Galois module is a ''G''-module, with ''G'' being the Galois group of some extension of fields. The term Galois representation is frequently used when the ''G''-module is a vector space over a field or a free module over a ring in representation theory, but can also be used as a synonym for ''G''-module. The study of Galois modules for extensions of local or global fields and their group cohomology is an important tool in number theory. Examples *Given a field ''K'', the multiplicative group (''Ks'')× of a separable closure of ''K'' is a Galois module for the absolute Galois group. Its second cohomology group is isomorphic to the Brauer group of ''K'' (by Hilbert's theorem 90, its first cohomology group is zero). *If ''X'' is a smooth proper scheme over a field ''K'' then the ℓ-adic cohomology groups of its geometric fibre are Galois modules for the absolute Galois group of ''K''. Ramification theory Let ''K'' be a valued field (with valuation denoted ''v' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Calabi–Yau Manifold
In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by , after who first conjectured that such surfaces might exist, and who proved the Calabi conjecture. Calabi–Yau manifolds are complex manifolds that are generalizations of K3 surfaces in any number of complex dimensions (i.e. any even number of real dimensions). They were originally defined as compact Kähler manifolds with a vanishing first Chern class and a Ricci-flat metric, though many other similar but inequivalent definitions are sometimes used. Definitions The motivational definition given by Shing-Tung Yau is of a compact K� ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
