|
Merkurjev–Suslin Theorem
In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor ''K''-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime \ell and any natural number n. John MilnorMilnor (1970) speculated that this theorem might be true for \ell=2 and all n, and this question became known as Milnor's conjecture. The general case was conjectured by Spencer Bloch and Kazuya Kato and became known as the Bloch–Kato conjecture or the motivic Bloch–Kato conjecture to distinguish it from the Bloch–Kato conjecture on values of ''L''-functions.Bloch, Spencer and Kato, Kazuya, "L-functions and Tamagawa numbers of motives", The Grothendieck Festschrift, Vol. I, 333–400, Progr. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...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 par ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Morava K-theories
In stable homotopy theory, a branch of mathematics, Morava K-theory is one of a collection of cohomology theories introduced in algebraic topology by Jack Morava in unpublished preprints in the early 1970s. For every prime number ''p'' (which is suppressed in the notation), it consists of theories ''K''(''n'') for each nonnegative integer ''n'', each a ring spectrum in the sense of homotopy theory. published the first account of the theories. Details The theory ''K''(0) agrees with singular homology with rational coefficients, whereas ''K''(1) is a summand of mod-''p'' complex K-theory. The theory ''K''(''n'') has coefficient ring :F''p'' 'v''''n'',''v''''n''−1 where ''v''''n'' has degree 2(''p''''n'' − 1). In particular, Morava K-theory is periodic with this period, in much the same way that complex K-theory has period 2. These theories have several remarkable properties. * They have Künneth isomorphisms for arbitrary pairs of spaces: that is, for '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Motivic Cohomology
Motivic cohomology is an invariant of algebraic varieties and of more general schemes. It is a type of cohomology related to motives and includes the Chow ring of algebraic cycles as a special case. Some of the deepest problems in algebraic geometry and number theory are attempts to understand motivic cohomology. Motivic homology and cohomology Let ''X'' be a scheme of finite type over a field ''k''. A key goal of algebraic geometry is to compute the Chow groups of ''X'', because they give strong information about all subvarieties of ''X''. The Chow groups of ''X'' have some of the formal properties of Borel–Moore homology in topology, but some things are missing. For example, for a closed subscheme ''Z'' of ''X'', there is an exact sequence of Chow groups, the localization sequence :CH_i(Z) \rightarrow CH_i(X) \rightarrow CH_i(X-Z) \rightarrow 0, whereas in topology this would be part of a long exact sequence. This problem was resolved by generalizing Chow groups to a bigr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quillen–Lichtenbaum Conjecture
In mathematics, the Quillen–Lichtenbaum conjecture is a conjecture relating étale cohomology to algebraic K-theory introduced by , who was inspired by earlier conjectures of . and proved the Quillen–Lichtenbaum conjecture at the prime 2 for some number fields. Voevodsky, using some important results of Markus Rost, proved the Bloch–Kato conjecture, which implies the Quillen–Lichtenbaum conjecture for all primes. Statement The conjecture in Quillen's original form states that if ''A'' is a finitely-generated algebra over the integers and ''l'' is prime, then there is a spectral sequence analogous to the Atiyah–Hirzebruch spectral sequence, starting at :E_2^ = H^p_(\textA ell^ Z_\ell(-q/2)), (which is understood to be 0 if ''q'' is odd) and abutting to :K_A\otimes Z_\ell for −''p'' − ''q'' > 1 + dim ''A''. ''K''-theory of the integers Assuming the Quillen–Lichtenbaum conjecture and the Vandiver conjecture, the ''K''- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Class Field Theory
In mathematics, local class field theory, introduced by Helmut Hasse, is the study of abelian extensions of local fields; here, "local field" means a field which is complete with respect to an absolute value or a discrete valuation with a finite residue field: hence every local field is isomorphic (as a topological field) to the real numbers R, the complex numbers C, a finite extension of the ''p''-adic numbers Q''p'' (where ''p'' is any prime number), or the field of formal Laurent series F''q''((''T'')) over a finite field F''q''. Approaches to local class field theory Local class field theory gives a description of the Galois group ''G'' of the maximal abelian extension of a local field ''K'' via the reciprocity map which acts from the multiplicative group ''K''×=''K''\. For a finite abelian extension ''L'' of ''K'' the reciprocity map induces an isomorphism of the quotient group ''K''×/''N''(''L''×) of ''K''× by the norm group ''N''(''L''×) of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brauer Group
In mathematics, the Brauer group of a field ''K'' is an abelian group whose elements are Morita equivalence classes of central simple algebras over ''K'', with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer. The Brauer group arose out of attempts to classify division algebras over a field. It can also be defined in terms of Galois cohomology. More generally, the Brauer group of a scheme is defined in terms of Azumaya algebras, or equivalently using projective bundles. Construction A central simple algebra (CSA) over a field ''K'' is a finite-dimensional associative ''K''-algebra ''A'' such that ''A'' is a simple ring and the center of ''A'' is equal to ''K''. Note that CSAs are in general ''not'' division algebras, though CSAs can be used to classify division algebras. For example, the complex numbers C form a CSA over themselves, but not over R (the center is C itself, hence too large to be CSA over R). The fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Symbol
In mathematics, the Hilbert symbol or norm-residue symbol is a function (–, –) from ''K''× × ''K''× to the group of ''n''th roots of unity in a local field ''K'' such as the fields of real number, reals or p-adic numbers. It is related to reciprocity law (mathematics), reciprocity laws, and can be defined in terms of the Artin symbol of local class field theory. The Hilbert symbol was introduced by in his Zahlbericht, with the slight difference that he defined it for elements of global fields rather than for the larger local fields. The Hilbert symbol has been generalized to higher local fields. Quadratic Hilbert symbol Over a local field K with multiplicative group of non-zero elements K^\times, the quadratic Hilbert symbol is the function (mathematics), function K^\times\times K^\times\to\ defined by :(a,b)=\begin+1,&\mboxz^2=ax^2+by^2\mbox(x,y,z)\in K^3;\\-1,&\mbox\end Equivalently, (a, b) = 1 if and only if b is equal to the Field norm, norm of an element of the quadr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert's Theorem 90
In abstract algebra, Hilbert's Theorem 90 (or Satz 90) is an important result on cyclic extensions of field (mathematics), fields (or to one of its generalizations) that leads to Kummer theory. In its most basic form, it states that if ''L''/''K'' is an extension of fields with cyclic Galois group ''G'' = Gal(''L''/''K'') generated by an element \sigma, and if a is an element of ''L'' of relative norm 1, that isN(a):=a\, \sigma(a)\, \sigma^2(a)\cdots \sigma^(a)=1,then there exists b in ''L'' such thata=b/\sigma(b).The theorem takes its name from the fact that it is the 90th theorem in David Hilbert's Zahlbericht , although it is originally due to . Often a more general theorem due to is given the name, stating that if ''L''/''K'' is a finite Galois extension of fields with arbitrary Galois group ''G'' = Gal(''L''/''K''), then the first group cohomology, cohomology group of ''G'', with coefficients in the multiplicative group of ''L'', is trivial: :H^1(G,L^\ti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Milnor Conjecture (K-theory)
In mathematics, the Milnor conjecture was a proposal by of a description of the Milnor K-theory (mod 2) of a general field ''F'' with characteristic different from 2, by means of the Galois (or equivalently étale) cohomology of ''F'' with coefficients in Z/2Z. It was proved by . Statement Let ''F'' be a field of characteristic different from 2. Then there is an isomorphism :K_n^M(F)/2 \cong H_^n(F, \mathbb/2\mathbb) for all ''n'' ≥ 0, where ''KM'' denotes the Milnor ring. About the proof The proof of this theorem by Vladimir Voevodsky uses several ideas developed by Voevodsky, Alexander Merkurjev, Andrei Suslin, Markus Rost, Fabien Morel, Eric Friedlander, and others, including the newly minted theory of motivic cohomology (a kind of substitute for singular cohomology for algebraic varieties) and the motivic Steenrod algebra. Generalizations The analogue of this result for primes other than 2 was known as the Bloch–Kato conjecture. Work ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
