|
Algebraic Space
In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology. The resulting category of algebraic spaces extends the category of schemes and allows one to carry out several natural constructions that are used in the construction of moduli spaces but are not always possible in the smaller category of schemes, such as taking the quotient of a free action by a finite group (cf. the Keel–Mori theorem). Definition There are two common ways to define algebraic spaces: they can be defined as either quotients ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Covering Space
In topology, a covering or covering projection is a continuous function, map between topological spaces that, intuitively, Local property, locally acts like a Projection (mathematics), projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If p : \tilde X \to X is a covering, (\tilde X, p) is said to be a covering space or cover of X, and X is said to be the base of the covering, or simply the base. By abuse of terminology, \tilde X and p may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space. Covering spaces first arose in the context of complex analysis (specifically, the technique of analytic continuation), where they were introduced by Bernhard Riemann, Riemann as domains on which naturally multivalued function, multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. Covering spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Moishezon Manifold
In mathematics, a Moishezon manifold is a compact complex manifold such that the field of meromorphic functions on each component has transcendence degree equal the complex dimension of the component: :\dim_\mathbfM=a(M)=\operatorname_\mathbf\mathbf(M). Complex algebraic varieties have this property, but the converse is not true: Hironaka's example gives a smooth 3-dimensional Moishezon manifold that is not an algebraic variety or scheme. showed that a Moishezon manifold is a projective algebraic variety if and only if it admits a Kähler metric. showed that any Moishezon manifold carries an algebraic space In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, ... structure; more precisely, the category of Moishezon spaces (similar to Moishezon manifolds, but are allowed to have sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Analytic Space
An analytic space is a generalization of an analytic manifold that allows singularities. An analytic space is a space that is locally the same as an analytic variety. They are prominent in the study of several complex variables, but they also appear in other contexts. Definition Fix a field ''k'' with a valuation. Assume that the field is complete and not discrete with respect to this valuation. For example, this includes R and C with respect to their usual absolute values, as well as fields of Puiseux series with respect to their natural valuations. Let ''U'' be an open subset of ''k''''n'', and let ''f''1, ..., ''f''''k'' be a collection of analytic functions on ''U''. Denote by ''Z'' the common vanishing locus of ''f''1, ..., ''f''''k'', that is, let ''Z'' = . ''Z'' is an analytic variety. Suppose that the structure sheaf of ''U'' is \mathcal_U. Then ''Z'' has a structure sheaf \mathcal_Z = \mathcal_U / \mathcal_Z, where \mathcal_Z is the ideal sheaf generated by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Complex Number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or complex coefficie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Codimension
In mathematics, codimension is a basic geometric idea that applies to subspaces in vector spaces, to submanifolds in manifolds, and suitable subsets of algebraic varieties. For affine and projective algebraic varieties, the codimension equals the height of the defining ideal. For this reason, the height of an ideal is often called its codimension. The dual concept is relative dimension. Definition Codimension is a ''relative'' concept: it is only defined for one object ''inside'' another. There is no “codimension of a vector space (in isolation)”, only the codimension of a vector ''sub''space. If ''W'' is a linear subspace of a finite-dimensional vector space ''V'', then the codimension of ''W'' in ''V'' is the difference between the dimensions: :\operatorname(W) = \dim(V) - \dim(W). It is the complement of the dimension of ''W,'' in that, with the dimension of ''W,'' it adds up to the dimension of the ambient space ''V:'' :\dim(W) + \operatorname(W) = \dim(V). Simi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Hironaka's Example
In algebraic geometry, Hironaka's example is a non-Kähler complex manifold that is a deformation of Kähler manifolds found by . Hironaka's example can be used to show that several other plausible statements holding for smooth varieties of dimension at most 2 fail for smooth varieties of dimension at least 3. Hironaka's example Take two smooth curves ''C'' and ''D'' in a smooth projective 3-fold ''P'', intersecting in two points ''c'' and ''d'' that are nodes for the reducible curve C\cup D. For some applications these should be chosen so that there is a fixed-point-free automorphism exchanging the curves ''C'' and ''D'' and also exchanging the points ''c'' and ''d''. Hironaka's example ''V'' is obtained by gluing two quasi-projective varieties V_1 and V_2. Let V_1 be the variety obtained by blowing up P \setminus c along C and then along the strict transform of D, and let V_2 be the variety obtained by blowing up P\setminus d along ''D'' and then along the strict transform o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Quasi-separated
In algebraic geometry, a morphism of schemes from to is called quasi-separated if the diagonal map from to is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme is called quasi-separated if the morphism to Spec is quasi-separated. Quasi-separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way, though some authors include the condition that is quasi-separated as part of the definition of an algebraic space or algebraic stack . Quasi-separated morphisms were introduced by as a generalization of separated morphisms. All separated morphisms (and all morphisms of Noetherian schemes) are automatically quasi-separated. Quasi-separated morphisms are important for algebraic spaces and algebraic stacks, where many natural morphisms are quasi-separated but not separated. The condition that a morphism is quasi-separated often occurs together with the condition that it is quasi-compact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Indeterminate (variable)
In mathematics, an indeterminate or formal variable is a Variable (mathematics), variable (a mathematical symbol, symbol, usually a letter) that is used purely formally in a mathematical expression, but does not stand for any value. In mathematical analysis, analysis, a mathematical expression such as is usually taken to represent a quantity whose value is a function (mathematics), function of its variable , and the variable itself is taken to represent an unknown or changing quantity. Two such functional expressions are considered equal whenever their value is equal for every possible value of within the Domain of a function, domain of the functions. In abstract algebra, algebra, however, expressions of this kind are typically taken to represent mathematical object, objects in themselves, elements of some algebraic structure – here a polynomial, element of a polynomial ring. A polynomial can be formally defined as the sequence of its coefficients, in this case , and the expr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Local Ring
In mathematics, more specifically in 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 algebraic 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Algebraic Function
In mathematics, an algebraic function is a function that can be defined as the root of an irreducible polynomial equation. Algebraic functions are often algebraic expressions using a finite number of terms, involving only the algebraic operations addition, subtraction, multiplication, division, and raising to a fractional power. Examples of such functions are: * f(x) = 1/x * f(x) = \sqrt * f(x) = \frac Some algebraic functions, however, cannot be expressed by such finite expressions (this is the Abel–Ruffini theorem). This is the case, for example, for the Bring radical, which is the function implicitly defined by : f(x)^5+f(x)+x = 0. In more precise terms, an algebraic function of degree in one variable is a function y = f(x), that is continuous in its domain and satisfies a polynomial equation of positive degree : a_n(x)y^n+a_(x)y^+\cdots+a_0(x)=0 where the coefficients are polynomial functions of , with integer coefficients. It can be shown that the same class ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Ring (mathematics)
In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called ''addition'' and ''multiplication'', which obey the same basic laws as addition and multiplication of integers, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. A ''ring'' may be defined as a set that is endowed with two binary operations called ''addition'' and ''multiplication'' such that the ring is an abelian group with respect to the addition operator, and the multiplication operator is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors apply the term ''ring'' to a further generalization, often called a '' rng'', that omits the requirement for a multiplicative identity, and instead call the structure defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
