|
Perfectoid Field
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 (algebra), characteristic zero which have residue fields of characteristic prime number, prime ''p''. A perfectoid field is a complete topological field ''K'' whose topological space, topology is induced by a nondiscrete Valuation (algebra), valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on ''K''°/''p'' where ''K''° denotes the ring (mathematics), 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 finit ... [...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] |
Completion (algebra)
In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions ''R'' on a space ''X'' concentrates on a formal neighborhood of a point of ''X'': heuristically, this is a neighborhood so small that ''all'' Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when ''R'' has a metric given by a non-Archimedean absolute value. General construction Suppose that ''E'' is an abelian group with a descending filtration : E = F^0 E \supset F^1 E \supset F^2 E \supset \cdots \, ... [...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 ... [...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 G_K, the absolute Galois group of K) will be a continuous ... [...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. Interrupted by 15 months of obligatory military service, he received his PhD in mathematics in 1978. 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 conjec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Morphism
In algebraic geometry, an étale morphism () is a morphism of Scheme (mathematics), 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[x] and a polynomial g in R[x] such that the Formal derivative, derivative f' of f is a unit in (R[x]/fR[x])_g. We say that \phi is ''stand ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Morphism
In algebraic geometry, a finite morphism between two Affine variety, affine varieties 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 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'': ''X'' → ''Y'' of scheme (mathematics), schemes is a finite morphism if ''Y'' has an open cover by affine schemes :V_i = \mbox \; B_i such that for each ''i'', :f^(V_i) = U_i is an open affine subscheme Spec ''A''''i'', and the restrictio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphism Of Schemes
In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes. A morphism of algebraic stacks generalizes a morphism of schemes. Definition By definition, a morphism of schemes is just a morphism of locally ringed spaces. Isomorphisms are defined accordingly. A scheme, by definition, has open affine charts and thus a morphism of schemes can also be described in terms of such charts (compare the definition of morphism of varieties). Let ƒ:''X''→''Y'' be a morphism of schemes. If ''x'' is a point of ''X'', since ƒ is continuous, there are open affine subsets ''U'' = Spec ''A'' of ''X'' containing ''x'' and ''V'' = Spec ''B'' of ''Y'' such that ƒ(''U'') ⊆ ''V''. Then ƒ: ''U'' → ''V'' is a morphism of affine schemes and thus is induced by some ring homomorphism ''B'' → ''A'' (cf. #Affine case.) In fact, one can use this des ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphic
In mathematics, an isomorphism is a structure-preserving mapping or morphism between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is derived . The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may often be identified. In mathematical jargon, one says that two objects are the same up to an isomorphism. A common example where isomorphic structures cannot be identified is when the structures are substructures of a larger one. For example, all subspaces of dimension one of a vector space are isomorphic and cannot be identified. An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Of Categories
In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two Category (mathematics), categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation. If a category is equivalent to the dual (category theory), opposite (or dual) of another category then one speaks of a duality of categories, and says that the two categories are dually equivalent. An equivalence of categories consists of a functor betwe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous function, continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
