|
Le Potier's Vanishing Theorem
In algebraic geometry, Le Potier's vanishing theorem is an extension of the Kodaira vanishing theorem, on vector bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to ev ...s. The theorem states the following In case of r = 1, and let E is an ample (or positive) line bundle on X, this theorem is equivalent to the Nakano vanishing theorem. Also, found another proof. generalizes Le Potier's vanishing theorem to k-ample and the statement as follows: gave a counterexample, which is as follows: See also * vanishing theorem * Barth–Lefschetz theorem Note References * * * * * * * * * * * * * * * * * * * Further reading * * * External links *{{Citation , last=Demailly , first=Jean-Pierre , title=Complex Analytic and Differential Geometry , url=https://www-fourier. ... [...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 topo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kodaira Vanishing Theorem
In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions under which sheaf cohomology groups with indices ''q'' > 0 are automatically zero. The implications for the group with index ''q'' = 0 is usually that its dimension — the number of independent global sections — coincides with a holomorphic Euler characteristic that can be computed using the Hirzebruch–Riemann–Roch theorem. The complex analytic case The statement of Kunihiko Kodaira's result is that if ''M'' is a compact Kähler manifold of complex dimension ''n'', ''L'' any holomorphic line bundle on ''M'' that is positive, and ''KM'' is the canonical line bundle, then ::: H^q(M, K_M\otimes L) = 0 for ''q'' > 0. Here K_M\otimes L stands for the tensor product of line bundles. By means of Serre duality, one also obtains the vanishing of H^q(M, L^) for ''q'' ''n''. The algebraic case The Kodaira va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense above (which can be specified as an integrable complex manifold), and an almost complex manifold. Implications of complex structure Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds. For example, the Whitney embedding theorem tells us that every smooth ''n''-dimensional manifold can be embedded as a smooth submanifold of R2''n'', whereas it is "rare" for a complex manifold to have a holomorphic embedding into C''n''. Consider for example any compact connected complex manifold ''M'': any holomorphic function on it i ... [...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 guar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dolbeault Cohomology
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let ''M'' be a complex manifold. Then the Dolbeault cohomology groups H^(M, \Complex) depend on a pair of integers ''p'' and ''q'' and are realized as a subquotient of the space of complex differential forms of degree (''p'',''q''). Construction of the cohomology groups Let Ω''p'',''q'' be the vector bundle of complex differential forms of degree (''p'',''q''). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections :\bar:\Omega^\to\Omega^ Since :\bar^2=0 this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space :H^(M,\Complex)=\frac . Dolbeault cohomology of vector bundles If ''E'' is a holomorphic vector bundle on a complex manifold ''X'', then one can define likewise a fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sheaf (mathematics)
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or morphisms) from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dolbeault Complex
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let ''M'' be a complex manifold. Then the Dolbeault cohomology groups H^(M, \Complex) depend on a pair of integers ''p'' and ''q'' and are realized as a subquotient of the space of complex differential forms of degree (''p'',''q''). Construction of the cohomology groups Let Ω''p'',''q'' be the vector bundle of complex differential forms of degree (''p'',''q''). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections :\bar:\Omega^\to\Omega^ Since :\bar^2=0 this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space :H^(M,\Complex)=\frac . Dolbeault cohomology of vector bundles If ''E'' is a holomorphic vector bundle on a complex manifold ''X'', then one can define likewise a fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ample
In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety ''X'' amounts to understanding the different ways of mapping ''X'' into projective space. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of an ample divisor. In more detail, a line bundle is called basepoint-free if it has enough sections to give a morphism to projective space. A line bundle is semi-ample if some positive power of it is basepoint-free; semi-ampleness is a kind of "nonnegativity". More strongly, a line b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dolbeault Theorem
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let ''M'' be a complex manifold. Then the Dolbeault cohomology groups H^(M, \Complex) depend on a pair of integers ''p'' and ''q'' and are realized as a subquotient of the space of complex differential forms of degree (''p'',''q''). Construction of the cohomology groups Let Ω''p'',''q'' be the vector bundle of complex differential forms of degree (''p'',''q''). In the article on complex forms, the Dolbeault operator is defined as a differential operator on smooth sections :\bar:\Omega^\to\Omega^ Since :\bar^2=0 this operator has some associated cohomology. Specifically, define the cohomology to be the quotient space :H^(M,\Complex)=\frac . Dolbeault cohomology of vector bundles If ''E'' is a holomorphic vector bundle on a complex manifold ''X'', then one can define likewise a f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre Duality
In algebraic geometry, a branch of mathematics, Serre duality is a duality for the coherent sheaf cohomology of algebraic varieties, proved by Jean-Pierre Serre. The basic version applies to vector bundles on a smooth projective variety, but Alexander Grothendieck found wide generalizations, for example to singular varieties. On an ''n''-dimensional variety, the theorem says that a cohomology group H^i is the dual space of another one, H^. Serre duality is the analog for coherent sheaf cohomology of Poincaré duality in topology, with the canonical line bundle replacing the orientation sheaf. The Serre duality theorem is also true in complex geometry more generally, for compact complex manifolds that are not necessarily projective complex algebraic varieties. In this setting, the Serre duality theorem is an application of Hodge theory for Dolbeault cohomology, and may be seen as a result in the theory of elliptic operators. These two different interpretations of Serre dual ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nakano Vanishing Theorem
In mathematics, specifically in the study of vector bundles over complex Kähler manifolds, the Nakano vanishing theorem, sometimes called the Akizuki–Nakano vanishing theorem, generalizes the Kodaira vanishing theorem. Given a compact complex manifold ''M'' with a holomorphic line bundle ''F'' over ''M'', the Nakano vanishing theorem provides a condition on when the cohomology groups H^q(M; \Omega^p(F)) equal zero. Here, \Omega^p(F) denotes the sheaf of holomorphic (''p'',0)-forms taking values on ''F''. The theorem states that, if the first Chern class of ''F'' is negative,H^q(M; \Omega^p(F)) = 0 \text q + p n. See also *Le Potier's vanishing theorem In algebraic geometry, Le Potier's vanishing theorem is an extension of the Kodaira vanishing theorem, on vector bundle In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces p ... References Original publications * * * Secondary sources Theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
