|
Projective Scheme
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dimen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Addition On Cubic (clean Version)
Addition (usually signified by the plus symbol ) is one of the four basic operations of arithmetic, the other three being subtraction, multiplication and division. The addition of two whole numbers results in the total amount or '' sum'' of those values combined. The example in the adjacent image shows a combination of three apples and two apples, making a total of five apples. This observation is equivalent to the mathematical expression (that is, "3 ''plus'' 2 is equal to 5"). Besides counting items, addition can also be defined and executed without referring to concrete objects, using abstractions called numbers instead, such as integers, real numbers and complex numbers. Addition belongs to arithmetic, a branch of mathematics. In algebra, another area of mathematics, addition can also be performed on abstract objects such as vectors, matrices, subspaces and subgroups. Addition has several important properties. It is commutative, meaning that the order of the operands ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Vector Bundle
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold such that the total space is a complex manifold and the projection map is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety ''X'' (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.e., locally free sheaves of finite rank) on ''X''. Definition through trivialization Specifically, one requires that the trivialization maps :\phi_U : \pi^(U) \to U \times \mathbf^k are biholomorphic maps. This is equivalent to requiring that the transition functions :t_ : U\cap V \to \mathrm_k(\mathbf) are holomorphic maps. The holomorphic structure on the tangent bundle of a complex manifold is guaranteed by t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry And Analytic Geometry
In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties. Main statement Let ''X'' be a projective complex algebraic variety. Because ''X'' is a complex variety, its set of complex points ''X''(C) can be given the structure of a compact complex analytic space. This analytic space is denoted ''X''an. Similarly, if \mathcal is a sheaf on ''X'', then there is a corresponding sheaf \mathcal^\text on ''X''an. This association of an analytic object to an algebraic one is a functor. The prototypical theorem relating ''X'' and ''X''an says that for any t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 a+bi, 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 are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chow Variety
In mathematics, particularly in the field of algebraic geometry, a Chow variety is an algebraic variety whose points correspond to effective algebraic cycles of fixed dimension and degree on a given projective space. More precisely, the Chow variety \operatorname(k,d,n) is the fine moduli variety parametrizing all effective algebraic cycles of dimension k-1 and degree d in \mathbb^. The Chow variety \operatorname(k,d,n) may be constructed via a Chow embedding into a sufficiently large projective space. This is a direct generalization of the construction of a Grassmannian variety via the Plücker embedding, as Grassmannians are the d=1 case of Chow varieties. Chow varieties are distinct from Chow groups, which are the abelian group of all algebraic cycles on a variety (not necessarily projective space) up to rational equivalence. Both are named for Wei-Liang Chow(周煒良), a pioneer in the study of algebraic cycles. Background on algebraic cycles If X is a closed subvariety of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Teichmüller Space
In mathematics, the Teichmüller space T(S) of a (real) topological (or differential) surface S, is a space that parametrizes complex structures on S up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller. Each point in a Teichmüller space T(S) may be regarded as an isomorphism class of "marked" Riemann surfaces, where a "marking" is an isotopy class of homeomorphisms from S to itself. It can be viewed as a moduli space for marked Riemann surface#Hyperbolic Riemann surfaces, hyperbolic structure on the surface, and this endows it with a natural topology for which it is homeomorphic to a Ball (mathematics), ball of dimension 6g-6 for a surface of genus g \ge 2. In this way Teichmüller space can be viewed as the orbifold, universal covering orbifold of the Moduli of algebraic curves, Riemann moduli space. The Teichmüller space has a canonical complex manifold structure and a wealth of natural m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Invariant Theory
In mathematics, geometric invariant theory (or GIT) is a method for constructing quotients by Group action (mathematics), group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper in classical invariant theory. Geometric invariant theory studies an Group action (mathematics), action of a group on an algebraic variety (or scheme (mathematics), scheme) and provides techniques for forming the 'quotient' of by as a scheme with reasonable properties. One motivation was to construct moduli spaces in algebraic geometry as quotients of schemes parametrizing marked objects. In the 1970s and 1980s the theory developed interactions with symplectic geometry and equivariant topology, and was used to construct moduli spaces of objects in differential geometry, such as instantons and monopole (mathematics), monopoles. Background Invariant theory is concerned with a Group action (mathematics), group actio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grassmannian
In mathematics, the Grassmannian is a space that parameterizes all -Dimension, dimensional linear subspaces of the -dimensional vector space . For example, the Grassmannian is the space of lines through the origin in , so it is the same as the projective space of one dimension lower than . When is a real or complex vector space, Grassmannians are compact space, compact smooth manifolds. In general they have the structure of a smooth algebraic variety, of dimension k(n-k). The earliest work on a non-trivial Grassmannian is due to Julius Plücker, who studied the set of projective lines in projective 3-space, equivalent to and parameterized them by what are now called Plücker coordinates. Hermann Grassmann later introduced the concept in general. Notations for the Grassmannian vary between authors; notations include , , , or to denote the Grassmannian of -dimensional subspaces of an -dimensional vector space . Motivation By giving a collection of subspaces of some vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Scheme
In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes. Hilbert scheme of projective space The Hilbert scheme \mathbf(n) of \mathbb^n classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme , the set of -valued points :\operatorname(S, \mathbf(n)) of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of \mathbb^n \times S that are flat over . The closed subschemes of \mathbb^n \times S that are flat over can informally be thought of as the families of subschemes of projective space parameterized by . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arithmetic Genus
In mathematics, the arithmetic genus of an algebraic variety is one of a few possible generalizations of the genus of an algebraic curve or Riemann surface. Projective varieties Let ''X'' be a projective scheme of dimension ''r'' over a field ''k'', the ''arithmetic genus'' p_a of ''X'' is defined asp_a(X)=(-1)^r (\chi(\mathcal_X)-1).Here \chi(\mathcal_X) is the Euler characteristic of the structure sheaf \mathcal_X. Complex projective manifolds The arithmetic genus of a complex projective manifold of dimension ''n'' can be defined as a combination of Hodge numbers, namely :p_a=\sum_^ (-1)^j h^. When ''n=1'', the formula becomes p_a=h^. According to the Hodge theorem, h^=h^. Consequently h^=h^1(X)/2=g, where ''g'' is the usual (topological) meaning of genus of a surface, so the definitions are compatible. When ''X'' is a compact Kähler manifold, applying ''h''''p'',''q'' = ''h''''q'',''p'' recovers the earlier definition for projective varieties. Kähler manifolds By u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann–Roch Theorem
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus ''g'', in a way that can be carried over into purely algebraic settings. Initially proved as Riemann's inequality by , the theorem reached its definitive form for Riemann surfaces after work of Riemann's short-lived student . It was later generalized to algebraic curves, to higher-dimensional varieties and beyond. Preliminary notions A Riemann surface X is a topological space that is locally homeomorphic to an open subset of \Complex, the set of complex numbers. In addition, the transition maps between these open subsets are required to be holomorphic. The latter condition allows one to transfer the notions and methods of complex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Scheme")
