|
Regular Scheme
In algebraic geometry, a regular scheme is a locally Noetherian scheme whose local rings are regular everywhere. Every smooth scheme is regular, and every regular scheme of finite type over a perfect field is smooth.. For an example of a regular scheme that is not smooth, see Geometrically regular ring#Examples. See also *Étale morphism *Dimension of an algebraic variety *Glossary of scheme theory This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. ... * Smooth completion References Algebraic geometry Scheme theory {{algebraic-geometry-stub ... [...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 ... [...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] |
Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠0 and if ''x'' is any elemen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Local Ring
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let ''A'' be a Noetherian local ring with maximal ideal m, and suppose ''a''1, ..., ''a''''n'' is a minimal set of generators of m. Then by Krull's principal ideal theorem ''n'' ≥ dim ''A'', and ''A'' is defined to be regular if ''n'' = dim ''A''. The appellation ''regular'' is justified by the geometric meaning. A point ''x'' on an algebraic variety ''X'' is nonsingular if and only if the local ring \mathcal_ of germs at ''x'' is regular. (See also: regular scheme.) Regular local rings are ''not'' related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions: Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if A is a Noetherian local ring with maximal ide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stamm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Scheme
In algebraic geometry, a smooth scheme over a field is a 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 points. A special case is the notion of a smooth 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 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 at least ''m'' in a neighborhood of each point, and the matrix of derivatives (∂''g''''i''/∂''x''''j'') has rank at least ''n''−''m'' everywhere on ''X''. (It follows that ''X'' has dimen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Perfect Field
In algebra, a field ''k'' is perfect if any one of the following equivalent conditions holds: * Every irreducible polynomial over ''k'' has distinct roots. * Every irreducible polynomial over ''k'' is separable. * Every finite extension of ''k'' is separable. * Every algebraic extension of ''k'' is separable. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , every element of ''k'' is a ''p''th power. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , the Frobenius endomorphism is an automorphism of ''k''. * The separable closure of ''k'' is algebraically closed. * Every reduced commutative ''k''-algebra ''A'' is a separable algebra; i.e., A \otimes_k F is reduced for every field extension ''F''/''k''. (see below) Otherwise, ''k'' is called imperfect. In particular, all fields of characteristic zero and all finite fields are perfect. Perfect fields are significant because Galois theory over these fields becomes simpler, si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometrically Regular Ring
In algebraic geometry, a geometrically regular ring is a Noetherian ring over a field that remains a regular ring after any finite extension of the base field. Geometrically regular schemes are defined in a similar way. In older terminology, points with regular local rings were called simple points, and points with geometrically regular local rings were called absolutely simple points. Over fields that are of characteristic 0, or algebraically closed, or more generally perfect, geometrically regular rings are the same as regular rings. Geometric regularity originated when Claude Chevalley and André Weil pointed out to that, over non-perfect fields, the Jacobian criterion for a simple point of an algebraic variety is not equivalent to the condition that the local ring is regular. A Noetherian local ring containing a field ''k'' is geometrically regular over ''k'' if and only if it is formally smooth over ''k''. Examples gave the following two examples of local rings that ... [...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 chose ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension Of An Algebraic Variety
In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways. Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding. Dimension of an affine algebraic set Let be a field, and be an algebraically closed extension. An affine algebraic set is the set of the common zeros in of the elements of an ideal in a polynomial ring R=K _1, \ldots, x_n Let A=R/I be the algebra of the polynomial functions over . The dimension of is any of the following integers. It does not change if is enlarged, if is replaced by another algebraically closed extension of and if is replaced by another ideal having the same ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Glossary Of Scheme Theory
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme ''S'' and a morphism an ''S''-morphism. !$@ A B C D E F G H I J K L M N O P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Completion
In algebraic geometry, the smooth completion (or smooth compactification) of a smooth affine algebraic curve ''X'' is a complete smooth algebraic curve which contains ''X'' as an open subset. Smooth completions exist and are unique over a perfect field. Examples An affine form of a hyperelliptic curve may be presented as y^2=P(x) where (x, y)\in\mathbb^2 and () has distinct roots and has degree at least 5. The Zariski closure of the affine curve in \mathbb\mathbb^2 is singular at the unique infinite point added. Nonetheless, the affine curve can be embedded in a unique compact Riemann surface called its smooth completion. The projection of the Riemann surface to \mathbb\mathbb^1 is 2-to-1 over the singular point at infinity if P(x) has even degree, and 1-to-1 (but ramified) otherwise. This smooth completion can also be obtained as follows. Project the affine curve to the affine line using the ''x''-coordinate. Embed the affine line into the projective line, then take the nor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
