Unramified Morphism
   HOME





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 ( ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Smooth Variety
In algebraic geometry, a smooth scheme over a Field (mathematics), field is a scheme (mathematics), scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no Singular point of an algebraic variety, singular points. A special case is the notion of a smooth algebraic variety, variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. Definition First, let ''X'' be an affine scheme of Glossary of scheme theory#finite, finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k''[''x''1,..., ''x''''n'']. The affine scheme ''X'' is smooth of dimension ''m'' over ''k'' if ''X'' has Dimension of an algebraic variety, dimension at least ''m'' in a neig ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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. 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 pattern: if we exc ...
[...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 finit ...
[...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]  




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]  


picture info

Branch Point
In the mathematical field of complex analysis, a branch point of a multivalued function 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. Despite the algebraic branch point, the function w is well-defined as a multiple-valued function and, in an ...
[...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'' that satisfies any and all of the following equivalent conditions: # ''R'' is a local ring, a 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 ring, a Dedekind domain, and not a field. # ''R'' is Noetherian and a local domain whose unique maximal ideal is principal, and not a field. # ''R'' is integrally closed, Noetherian, and a 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 fraction ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K is contained in an algebraically closed field C, and the roots in C of the polynomials with coefficients in K form an algebraically closed field called an algebraic closure of K. Given two algebraic closures of K there are isomorphisms between them that fix the elements of K. Algebraically closed fields appear in the following chain of class inclusions: Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation x^2+1=0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically cl ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that appeared more than 2000 years ago in Euclid's ''Elements'': "The urvedline is ��the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which ��will leave from its imaginary moving some vestige in length, exempt of any width." This definition of a curve has been formalized in modern mathematics as: ''A curve is the image of an interval to a topological space by a continuous function''. In some contexts, the function that defines the curve is called a ''parametrization'', and the curve is a parametric curve. In this article, these curves are sometimes called ''topological curves'' to distinguish them from more constrained curves su ...
[...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]