|
Affine Morphism
In algebraic geometry, a sheaf of algebras on a ringed space ''X'' is a sheaf of commutative rings on ''X'' that is also a sheaf of \mathcal_X-modules. It is quasi-coherent if it is so as a module. When ''X'' is a scheme, just like a ring, one can take the global Spec of a quasi-coherent sheaf of algebras: this results in the contravariant functor \operatorname_X from the category of quasi-coherent (sheaves of) \mathcal_X-algebras on ''X'' to the category of schemes that are affine over ''X'' (defined below). Moreover, it is an equivalence: the quasi-inverse is given by sending an affine morphism f: Y \to X to f_* \mathcal_Y. Affine morphism A 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 generali ... f: X \to Y is called affine if Y has an open affine cover U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Quasi-compact Morphism
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. One such ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre's Theorem On Affineness
In the mathematical discipline of algebraic geometry, Serre's theorem on affineness (also called Serre's cohomological characterization of affineness or Serre's criterion on affineness) is a theorem due to Jean-Pierre Serre which gives sufficient conditions for a scheme to be affine, stated in terms of sheaf cohomology. The theorem was first published by Serre in 1957. Statement Let be a scheme with structure sheaf If: :(1) is quasi-compact, and :(2) for every quasi-coherent ideal sheaf of -modules, , then is affine. Related results * A special case of this theorem arises when is an algebraic variety, in which case the conditions of the theorem imply that is an affine variety In algebraic geometry, an affine variety or affine algebraic variety is a certain kind of algebraic variety that can be described as a subset of an affine space. More formally, an affine algebraic set is the set of the common zeros over an algeb .... * A similar result has stricter conditions on b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-affine Morphism
In algebraic geometry, given algebraic stacks p: X \to C, \, q: Y \to C over a base category ''C'', a morphism f: X \to Y of algebraic stacks is a functor such that q \circ f = p. More generally, one can also consider a morphism between prestacks (a stackification would be an example). Types One particular important example is a presentation of a stack, which is widely used in the study of stacks. An algebraic stack ''X'' is said to be smooth of dimension ''n'' - ''j'' if there is a smooth presentation U \to X of relative dimension ''j'' for some smooth scheme ''U'' of dimension ''n''. For example, if \operatorname_n denotes the moduli stack of rank-''n'' vector bundles, then there is a presentation \operatorname(k) \to \operatorname_n given by the trivial bundle \mathbb^n_k over \operatorname(k). A quasi-affine morphism between algebraic stacks is a morphism that factorizes as a quasi-compact open immersion followed by an affine morphism.§ 8.6 of F. MeyerNotes on algebra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cone (algebraic Geometry)
In algebraic geometry, a cone is a generalization of a vector bundle. Specifically, given a scheme ''X'', the relative Spec :C = \operatorname_X R of a quasi-coherent graded ''O''''X''-algebra ''R'' is called the cone or affine cone of ''R''. Similarly, the relative Proj :\mathbb(C) = \operatorname_X R is called the projective cone of ''C'' or ''R''. Note: The cone comes with the \mathbb_m-action due to the grading of ''R''; this action is a part of the data of a cone (whence the terminology). Examples *If ''X'' = Spec ''k'' is a point and ''R'' is a homogeneous coordinate ring, then the affine cone of ''R'' is the (usual) affine cone over the projective variety corresponding to ''R''. *If R = \bigoplus_0^\infty I^n/I^ for some ideal sheaf ''I'', then \operatorname_X R is the normal cone to the closed scheme determined by ''I''. *If R = \bigoplus_0^\infty L^ for some line bundle ''L'', then \operatorname_X R is the total space of the dual of ''L''. *More generally, given a ve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normalization Of An Algebraic Variety
In algebraic geometry, an algebraic variety or scheme ''X'' is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety ''X'' (understood to be irreducible) is normal if and only if the ring ''O''(''X'') of regular functions on ''X'' is an integrally closed domain. A variety ''X'' over a field is normal if and only if every finite birational morphism from any variety ''Y'' to ''X'' is an isomorphism. Normal varieties were introduced by . Geometric and algebraic interpretations of normality A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve ''X'' in the affine plane ''A''2 defined by ''x''2 = ''y''3 is not normal, because there is a finite birational morphism ''A''1 → ''X'' (namely, ''t'' maps to (''t''3, ''t''2) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Ringed Space
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. ''Éléments de géométrie algébrique'', on the other hand, does not impose the commutativity assumption, although the book mostly co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Base Change (scheme Theory)
In mathematics, specifically in algebraic geometry, the fiber product of schemes is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an algebraic variety over one field determines a variety over a bigger field, or the pullback of a family of varieties, or a fiber of a family of varieties. Base change is a closely related notion. Definition The category of schemes is a broad setting for algebraic geometry. A fruitful philosophy (known as Grothendieck's relative point of view) is that much of algebraic geometry should be developed for a morphism of schemes ''X'' → ''Y'' (called a scheme ''X'' over ''Y''), rather than for a single scheme ''X''. For example, rather than simply studying algebraic curves, one can study families of curves over any base scheme ''Y''. Indeed, the two approaches enrich each other. In particular, a scheme over a commutative ring ''R'' means a scheme ''X'' together with a morphism ''X' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Image Functor
In mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf ''F'' defined on a topological space ''X'' and a continuous map ''f'': ''X'' → ''Y'', we can define a new sheaf ''f''∗''F'' on ''Y'', called the direct image sheaf or the pushforward sheaf of ''F'' along ''f'', such that the global sections of ''f''∗''F'' is given by the global sections of ''F''. This assignment gives rise to a functor ''f''∗ from the category of sheaves on ''X'' to the category of sheaves on ''Y'', which is known as the direct image functor. Similar constructions exist in many other algebraic and geometric contexts, including that of quasi-coherent sheaves and étale sheaves on a scheme. Definition Let ''f'': ''X'' → ''Y'' be a continuous map of topological spaces, and let Sh(–) denote the category of sheaves of abelian groups on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separated Morphism
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] |
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] |
Ringed Space
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. ''Éléments de géométrie algébrique'', on the other hand, does not impose the commutativity assumption, although the book mostly co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
