|
Unramified Morphism
In algebraic geometry, an unramified morphism is a morphism f: X \to Y of schemes such that (a) it is locally of finite presentation and (b) for each x \in X and y = f(x), we have that # The residue field k(x) is a separable algebraic extension of k(y). # f^(\mathfrak_y) \mathcal_ = \mathfrak_x, where f^: \mathcal_ \to \mathcal_ and \mathfrak_y, \mathfrak_x are maximal ideals of the local rings. A flat unramified morphism is called an étale morphism. Less strongly, if f satisfies the conditions when restricted to sufficiently small neighborhoods of x and y, then f is said to be unramified near x. Some authors prefer to use weaker conditions, in which case they call a morphism satisfying the above a G-unramified morphism. Simple example Let A be a ring and ''B'' the ring obtained by adjoining an integral element to ''A''; i.e., B = A (F) for some monic polynomial ''F''. Then \operatorname(B) \to \operatorname(A) is unramified if and only if the polynomial ''F'' is separable (i.e ... [...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. 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 description to "define" a morphism of schemes; o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separable Algebraic Extension
In field theory, a branch of algebra, an algebraic field extension E/F is called a separable extension if for every \alpha\in E, the minimal polynomial of \alpha over is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field).Isaacs, p. 281 There is also a more general definition that applies when is not necessarily algebraic over . An extension that is not separable is said to be ''inseparable''. Every algebraic extension of a field of characteristic zero is separable, and every algebraic extension of a finite field is separable.Isaacs, Theorem 18.11, p. 281 It follows that most extensions that are considered in mathematics are separable. Nevertheless, the concept of separability is important, as the existence of inseparable extensions is the main obstacle for extending many theorems proved in characteristic zero to non-zero characteristic. For example, the fundamental theorem of G ... [...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] |
Integral Element
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a''''j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is a root of a monic polynomial over ''A''. The set of elements of ''B'' that are integral over ''A'' is called the integral closure of ''A'' in ''B''. It is a subring of ''B'' containing ''A''. If every element of ''B'' is integral over ''A'', then we say that ''B'' is integral over ''A'', or equivalently ''B'' is an integral extension of ''A''. If ''A'', ''B'' are fields, then the notions of "integral over" and of an "integral extension" are precisely " algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The case of greatest interest in number theory is that of complex numbers integral over Z (e.g., \sqrt or 1+i); in this context, the integral elements are usu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Valuation Ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain ''R'' which satisfies any one of the following equivalent conditions: # ''R'' is a local principal ideal domain, and not a field. # ''R'' is a valuation ring with a value group isomorphic to the integers under addition. # ''R'' is a local Dedekind domain and not a field. # ''R'' is a Noetherian local domain whose maximal ideal is principal, and not a field.https://mathoverflow.net/a/155639/114772 # ''R'' is an integrally closed Noetherian local ring with Krull dimension one. # ''R'' is a principal ideal domain with a unique non-zero prime ideal. # ''R'' is a principal ideal domain with a unique irreducible element ( up to multiplication by units). # ''R'' is a unique factorization domain with a unique irreducible element (up to multiplication by units). # ''R'' is Noetherian, not a field, and every nonzero fractio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Branch Point
In the mathematical field of complex analysis, a branch point of a multi-valued function (usually referred to as a "multifunction" in the context of complex analysis) is a point such that if the function is n-valued (has n values) at that point, all of its neighborhoods contain a point that has more than n values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept. Branch points fall into three broad categories: algebraic branch points, transcendental branch points, and logarithmic branch points. Algebraic branch points most commonly arise from functions in which there is an ambiguity in the extraction of a root, such as solving the equation ''w''2 = ''z'' for ''w'' as a function of ''z''. Here the branch point is the origin, because the analytic continuation of any solution around a closed loop containing the origin will result in a different function: there is non-trivial monodromy. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Embedding
In algebraic geometry, given a morphism of schemes p: X \to S, the diagonal morphism :\delta: X \to X \times_S X is a morphism determined by the universal property of the fiber product X \times_S X of ''p'' and ''p'' applied to the identity 1_X : X \to X and the identity 1_X. It is a special case of a graph morphism: given a morphism f: X \to Y over ''S'', the graph morphism of it is X \to X \times_S Y induced by f and the identity 1_X. The diagonal embedding is the graph morphism of 1_X. By definition, ''X'' is a separated scheme over ''S'' (p: X \to S is a separated morphism) if the diagonal morphism is a closed immersion. Also, a morphism p: X \to S locally of finite presentation is an unramified morphism if and only if the diagonal embedding is an open immersion. Explanation As an example, consider an algebraic variety over an algebraically closed field ''k'' and p: X \to \operatorname(k) the structure map. Then, identifying ''X'' with the set of its ''k''-rational points, X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Sheaf
In algebraic geometry, given a morphism ''f'': ''X'' → ''S'' of schemes, the cotangent sheaf on ''X'' is the sheaf of \mathcal_X-modules \Omega_ that represents (or classifies) ''S''- derivations in the sense: for any \mathcal_X-modules ''F'', there is an isomorphism :\operatorname_(\Omega_, F) = \operatorname_S(\mathcal_X, F) that depends naturally on ''F''. In other words, the cotangent sheaf is characterized by the universal property: there is the differential d: \mathcal_X \to \Omega_ such that any ''S''-derivation D: \mathcal_X \to F factors as D = \alpha \circ d with some \alpha: \Omega_ \to F. In the case ''X'' and ''S'' are affine schemes, the above definition means that \Omega_ is the module of Kähler differentials. The standard way to construct a cotangent sheaf (e.g., Hartshorne, Ch II. § 8) is through a diagonal morphism (which amounts to gluing modules of Kähler differentials on affine charts to get the globally-defined cotangent sheaf.) The dual module of the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Extensions Of Local Fields
In algebraic number theory, through completion, the study of ramification of a prime ideal can often be reduced to the case of local fields where a more detailed analysis can be carried out with the aid of tools such as ramification groups. In this article, a local field is non-archimedean and has finite residue field. Unramified extension Let L/K be a finite Galois extension of nonarchimedean local fields with finite residue fields \ell/k and Galois group G. Then the following are equivalent. *(i) L/K is unramified. *(ii) \mathcal_L / \mathfrak\mathcal_L is a field, where \mathfrak is the maximal ideal of \mathcal_K. *(iii) : K= ell : k/math> *(iv) The inertia subgroup of G is trivial. *(v) If \pi is a uniformizing element of K, then \pi is also a uniformizing element of L. When L/K is unramified, by (iv) (or (iii)), ''G'' can be identified with \operatorname(\ell/k), which is finite cyclic. The above implies that there is an equivalence of categories between the fini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ramification (mathematics)
In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as when a covering map degenerates at a point of a space, with some collapsing of the fibers of the mapping. In complex analysis In complex analysis, the basic model can be taken as the ''z'' → ''z''''n'' mapping in the complex plane, near ''z'' = 0. This is the standard local picture in Riemann surface theory, of ramification of order ''n''. It occurs for example in the Riemann–Hurwitz formula for the effect of mappings on the genus. See also branch point. In algebraic topology In a covering map the Euler–Poincaré characteristic should multiply by the number of sheets; ramification can therefore be detected by some dropping from that. The ''z'' → ''z''''n'' mapping shows this as a local ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
