|
Higher Local Field
In mathematics, a higher (-dimensional) local field is an important example of a complete discrete valuation field. Such fields are also sometimes called multi-dimensional local fields. On the usual local fields (typically completions of number fields or the quotient fields of local rings of algebraic curves) there is a unique surjective discrete valuation (of rank 1) associated to a choice of a local parameter of the fields, unless they are archimedean local fields such as the real numbers and complex numbers. Similarly, there is a discrete valuation of rank ''n'' on almost all ''n''-dimensional local fields, associated to a choice of ''n'' local parameters of the field. In contrast to one-dimensional local fields, higher local fields have a sequence of residue fields.Fesenko, I., Kurihara, M. (eds.) ''Invitation to Higher Local Fields''. Geometry and Topology Monographs, 2000, section 1 (Zhukov). There are different integral structures on higher local fields, depending how many ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Valuation
In mathematics, a discrete valuation is an integer valuation on a field ''K''; that is, a function: :\nu:K\to\mathbb Z\cup\ satisfying the conditions: :\nu(x\cdot y)=\nu(x)+\nu(y) :\nu(x+y)\geq\min\big\ :\nu(x)=\infty\iff x=0 for all x,y\in K. Note that often the trivial valuation which takes on only the values 0,\infty is explicitly excluded. A field with a non-trivial discrete valuation is called a discrete valuation field. Discrete valuation rings and valuations on fields To every field K with discrete valuation \nu we can associate the subring ::\mathcal_K := \left\ of K, which is a discrete valuation ring. Conversely, the valuation \nu: A \rightarrow \Z\cup\ on a discrete valuation ring A can be extended in a unique way to a discrete valuation on the quotient field K=\text(A); the associated discrete valuation ring \mathcal_K is just A. Examples * For a fixed prime p and for any element x \in \mathbb different from zero write x = p^j\frac with j, a,b \in \Z such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number a+bi, is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature "imaginary", complex numbers are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. 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 fields of rational functions, algebraic function fields, algebraic number fields, and ''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 elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Sciences Publishers
Mathematical Sciences Publishers is a nonprofit publishing company run by and for mathematicians. It publishes several journals and the book series ''Geometry & Topology Monographs''. It is run from a central office in the Department of Mathematics at the University of California, Berkeley. Journals owned and published * ''Algebra & Number Theory'' * ''Algebraic & Geometric Topology'' * ''Analysis & PDE'' * ''Annals of K-Theory'' * ''Communications in Applied Mathematics and Computational Science'' * ''Geometry & Topology'' * ''Innovations in Incidence Geometry—Algebraic, Topological and Combinatorial'' * ''Involve, a Journal of Mathematics'' * ''Journal of Algebraic Statistics'' * ''Journal of Mechanics of Materials and Structures'' * ''Journal of Software for Algebra and Geometry'' * ''Mathematics and Mechanics of Complex Systems'' * ''Moscow Journal of Combinatorics and Number Theory'' * ''Pacific Journal of Mathematics The Pacific Journal of Mathematics is a mathematics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ivan Fesenko
Ivan Fesenko is a mathematician working in number theory and its interaction with other areas of modern mathematics. Education Fesenko was educated at St. Petersburg State University where he was awarded a PhD in 1987. Career and research Fesenko was awarded the Prize of the Petersburg Mathematical Society in 1992. Since 1995, he is professor in pure mathematics at University of Nottingham. He contributed to several areas of number theory such as class field theory and its generalizations, as well as to various related developments in pure mathematics. Fesenko contributed to explicit formulas for the generalized Hilbert symbol on local fields and higher local field, higher class field theory, p-class field theory, arithmetic noncommutative local class field theory. He coauthored a textbook on local fields and a volume on higher local fields. Fesenko discovered a higher Haar measure and integration on various higher local and adelic objects. He pioneered the study of zet ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kazuya Kato
is a Japanese mathematician. He grew up in the prefecture of Wakayama in Japan. He attended college at the University of Tokyo, from which he also obtained his master's degree in 1975, and his PhD in 1980. He was a professor at Tokyo University, Tokyo Institute of Technology and Kyoto University. He joined the faculty of the University of Chicago in 2009. He has contributed to number theory and related parts of algebraic geometry. His first work was in the higher-dimensional generalisations of local class field theory using algebraic K-theory. His theory was then extended to higher global class field theory in which several of his papers were written jointly with Shuji Saito. He contributed to various other areas such as ''p''-adic Hodge theory, logarithmic geometry (he was one of its creators together with Jean-Marc Fontaine and Luc Illusie), comparison conjectures, special values of zeta functions including applications to the Birch-Swinnerton-Dyer conjecture, the B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...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 a finite extension of 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'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flag (geometry)
In (polyhedral) geometry, a flag is a sequence of Face (geometry), faces of a Abstract polytope, polytope, each contained in the next, with exactly one face from each dimension. More formally, a flag of an -polytope is a set such that and there is precisely one in for each , Since, however, the minimal face and the maximal face must be in every flag, they are often omitted from the list of faces, as a shorthand. These latter two are called improper faces. For example, a flag of a polyhedron comprises one Vertex (geometry), vertex, one Edge (geometry), edge incident to that vertex, and one polygonal face incident to both, plus the two improper faces. A polytope may be regarded as regular if, and only if, its symmetry group is transitive group action, transitive on its flags. This definition excludes Chirality (mathematics), chiral polytopes. Incidence geometry In the more abstract setting of incidence geometry, which is a set having a symmetric and reflexive Relatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Real Numbers
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and more generally in all mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives. The set of real numbers is denoted or \mathbb and is sometimes called "the reals". The adjective ''real'' in this context was introduced in the 17th century by René Descartes to distinguish real numbers, associated with physical reality, from imaginary numbers (such as the square roots of ), which seemed like a theoretical contrivance unrelated to physical reality. The real numbers include the rational numbers, such as the integer and the fraction . The rest of the real numbers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Field
In mathematics, a field ''K'' is called a (non-Archimedean) local field if it is complete with respect to a topology induced by a discrete valuation ''v'' and if its residue field ''k'' is finite. Equivalently, a local field is a locally compact topological field with respect to a non-discrete topology. Sometimes, real numbers R, and the complex numbers C (with their standard topologies) are also defined to be local fields; this is the convention we will adopt below. Given a local field, the valuation defined on it can be of either of two types, each one corresponds to one of the two basic types of local fields: those in which the valuation is Archimedean and those in which it is not. In the first case, one calls the local field an Archimedean local field, in the second case, one calls it a non-Archimedean local field. Local fields arise naturally in number theory as completions of global fields. While Archimedean local fields have been quite well known in mathematics for at lea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
