|
Perfectoid
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime ''p''. A perfectoid field is a complete topological field ''K'' whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on ''K''°/''p'' where ''K''° denotes the ring of power-bounded elements. Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze. Tilting equivalence For any perfectoid field ''K'' there is a tilt ''K''â™, which is a perfectoid field of finite characteristic ''p''. As a set, it may be defined as :K^\flat = \varprojlim_ K. Explicitly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Scholze
Peter Scholze (; born 11 December 1987) is a German mathematician known for his work in arithmetic geometry. He has been a professor at the University of Bonn since 2012 and director at the Max Planck Institute for Mathematics since 2018. He has been called one of the leading mathematicians in the world. He won the Fields Medal in 2018, which is regarded as the highest professional honor in mathematics. Early life and education Scholze was born in Dresden and grew up in Berlin. His father is a physicist, his mother a computer scientist, and his sister studied chemistry. He attended the in Berlin-Friedrichshain, a gymnasium devoted to mathematics and science. As a student, Scholze participated in the International Mathematical Olympiad, winning three gold medals and one silver medal. He studied at the University of Bonn and completed his bachelor's degree in three semesters and his master's degree in two further semesters. He obtained his Ph.D. in 2012 under the supervisio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Field
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, this theo ... [...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] |
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] |
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q'', there could be other scenarios where ''P'' is true and ''Q'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Purity (algebraic Geometry)
In the mathematical field of algebraic geometry, purity is a theme covering a number of results and conjectures, which collectively address the question of proving that "when something happens, it happens in a particular codimension". Purity of the branch locus For example, ramification is a phenomenon of codimension 1 (in the geometry of complex manifolds, reflecting as for Riemann surfaces that ramify at single points that it happens in real codimension two). A classical result, Zariski–Nagata purity of Masayoshi Nagata and Oscar Zariski, called also purity of the branch locus, proves that on a non-singular algebraic variety a ''branch locus'', namely the set of points at which a morphism ramifies, must be made up purely of codimension 1 subvarieties (a Weil divisor). There have been numerous extensions of this result into theorems of commutative algebra and scheme theory, establishing purity of the branch locus in the sense of description of the restrictions on the possib ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Almost Mathematics
In mathematics, almost modules and almost rings are certain objects interpolating between rings and their fields of fractions. They were introduced by in his study of ''p''-adic Hodge theory. Almost modules Let ''V'' be a local integral domain with the maximal ideal ''m'', and ''K'' a fraction field of ''V''. The category of ''K''-modules, ''K''-Mod, may be obtained as a quotient of ''V''-Mod by the Serre subcategory of torsion modules, i.e. those ''N'' such that any element ''n'' in ''N'' is annihilated by some nonzero element in the maximal ideal. If the category of torsion modules is replaced by a smaller subcategory, we obtain an intermediate step between ''V''-modules and ''K''-modules. Faltings proposed to use the subcategory of almost zero modules, i.e. ''N'' ∈ ''V''-Mod such that any element ''n'' in ''N'' is annihilated by ''all'' elements of the maximal ideal. For this idea to work, ''m'' and ''V'' must satisfy certain technical conditions. Let ''V'' be a ring (n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic Hodge Theory
In mathematics, ''p''-adic Hodge theory is a theory that provides a way to classify and study ''p''-adic Galois representations of characteristic 0 local fields with residual characteristic ''p'' (such as Q''p''). The theory has its beginnings in Jean-Pierre Serre and John Tate's study of Tate modules of abelian varieties and the notion of Hodge–Tate representation. Hodge–Tate representations are related to certain decompositions of ''p''-adic cohomology theories analogous to the Hodge decomposition, hence the name ''p''-adic Hodge theory. Further developments were inspired by properties of ''p''-adic Galois representations arising from the étale cohomology of varieties. Jean-Marc Fontaine introduced many of the basic concepts of the field. General classification of ''p''-adic representations Let ''K'' be a local field with residue field ''k'' of characteristic ''p''. In this article, a ''p-adic representation'' of ''K'' (or of ''GK'', the absolute Galois group of ''K'') wil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gerd Faltings
Gerd Faltings (; born 28 July 1954) is a German mathematician known for his work in arithmetic geometry. Education From 1972 to 1978, Faltings studied mathematics and physics at the University of Münster. In 1978 he received his PhD in mathematics. Career and research In 1981 he obtained the ''venia legendi'' (Habilitation) in mathematics, from the University of Münster. During this time he was an assistant professor at the University of Münster. From 1982 to 1984, he was professor at the University of Wuppertal. From 1985 to 1994, he was professor at Princeton University. In the fall of 1988 and in the academic year 1992–1993 he was a visiting scholar at the Institute for Advanced Study. In 1986 he was awarded the Fields Medal at the ICM at Berkeley for proving the Tate conjecture for abelian varieties over number fields, the Shafarevich conjecture for abelian varieties over number fields and the Mordell conjecture, which states that any non-singular projective curve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Morphism
In algebraic geometry, an étale morphism () is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology. The word ''étale'' is a French adjective, which means "slack", as in "slack tide", or, figuratively, calm, immobile, something left to settle. Definition Let \phi : R \to S be a ring homomorphism. This makes S an R-algebra. Choose a monic polynomial f in R /math> and a polynomial g in R /math> such that the derivative f' of f is a unit in (R fR _g. We say that \phi is ''standard étale'' if f and g can be chos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Morphism
In algebraic geometry, a finite morphism between two affine varieties In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime idea ... X, Y is a dense Regular map (algebraic geometry), regular map which induces isomorphic inclusion k\left[Y\right]\hookrightarrow k\left[X\right] between their Coordinate ring, coordinate rings, such that k\left[X\right] is integral over k\left[Y\right]. This definition can be extended to the quasi-projective varieties, such that a Regular map (algebraic geometry), regular map f\colon X\to Y between quasiprojective varieties is finite if any point like y\in Y has an affine neighbourhood V such that U=f^(V) is affine and f\colon U\to V is a finite map (in view of the previous definition, because it is between affine varieties). Definition by Schemes A morphism ''f'': ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
