Birkhoff–Grothendieck Theorem
In mathematics, the Birkhoff–Grothendieck theorem classifies holomorphic vector bundles over the complex projective line. In particular every holomorphic vector bundle over \mathbb^1 is a direct sum of holomorphic line bundles. The theorem was proved by , and is more or less equivalent to Birkhoff factorization introduced by . Statement More precisely, the statement of the theorem is as the following. Every holomorphic vector bundle \mathcal on \mathbb^1 is holomorphically isomorphic to a direct sum of line bundles: : \mathcal\cong\mathcal(a_1)\oplus \cdots \oplus \mathcal(a_n). The notation implies each summand is a Serre twist some number of times of the trivial bundle. The representation is unique up to permuting factors. Generalization The same result holds in algebraic geometry for algebraic vector bundle over \mathbb^1_k for any field k. It also holds for \mathbb^1 with one or two orbifold points, and for chains of projective lines meeting along nodes. App ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry Of Projective Spaces
Projective space plays a central role in algebraic geometry. The aim of this article is to define the notion in terms of abstract algebraic geometry and to describe some basic uses of projective space. Homogeneous polynomial ideals Let k be an algebraically closed field (mathematics), field, and ''V'' be a finite-dimensional vector space over k. The symmetric algebra of the dual vector space ''V*'' is called the polynomial ring on ''V'' and denoted by k[''V'']. It is a naturally graded algebra by the degree of polynomials. The projective Nullstellensatz states that, for any homogeneous ideal ''I'' that does not contain all polynomials of a certain degree (referred to as an irrelevant ideal), the common zero locus of all polynomials in ''I'' (or ''Nullstelle'') is non-trivial (i.e. the common zero locus contains more than the single element ), and, more precisely, the ideal of polynomials that vanish on that locus coincides with the radical of an ideal, radical of the ideal ''I''. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Theorems In Projective Geometry
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Vector Bundles
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 manifold w ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
BY-NC-SA
A Creative Commons (CC) license is one of several public copyright licenses that enable the free distribution of an otherwise copyrighted "work".A "work" is any creative material made by a person. A painting, a graphic, a book, a song/lyrics to a song, or a photograph of almost anything are all examples of "works". A CC license is used when an author wants to give other people the right to share, use, and build upon a work that the author has created. CC provides an author flexibility (for example, they might choose to allow only non-commercial uses of a given work) and protects the people who use or redistribute an author's work from concerns of copyright infringement as long as they abide by the conditions that are specified in the license by which the author distributes the work. There are several types of Creative Commons licenses. Each license differs by several combinations that condition the terms of distribution. They were initially released on December 16, 2002, by ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jumping Line
In mathematics, a jumping line or exceptional line of a vector bundle over projective space is a projective line in projective space where the vector bundle has exceptional behavior, in other words the structure of its restriction to the line "jumps". Jumping lines were introduced by . The jumping lines of a vector bundle form a proper closed subset of the Grassmannian of all lines of projective space. The Birkhoff–Grothendieck theorem classifies the ''n''-dimensional vector bundles over a projective line as corresponding to unordered ''n''-tuples of integers. This phenomenon cannot be generalized to higher dimensional projective spaces, namely, one cannot decompose an arbitrary bundle in terms of a Whitney sum of powers of the Tautological bundle In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of k-dimensional subspaces of V, given a point in the Grassmannian corresponding to a k-dimensiona ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices. K-theory involves the construction of families of ''K''-functors that map from topological spaces or schemes to associated rings; these rings reflect some aspects of the structure of the original spaces or schemes. As with functors to groups in algebraic topology, the reason for this functorial mapping is that it is easier to compute some topological properties from the mapped rings than from the original spaces or schemes. Examples of results gleaned from the K-theory approach include the Grothendieck–Riemann–Roch theorem, Bott periodicity, the Atiyahâ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Splitting Principle
In mathematics, the splitting principle is a technique used to reduce questions about vector bundles to the case of line bundles. In the theory of vector bundles, one often wishes to simplify computations, say of Chern classes. Often computations are well understood for line bundles and for direct sums of line bundles. In this case the splitting principle can be quite useful. The theorem above holds for complex vector bundles and integer coefficients or for real vector bundles with \mathbb_2 coefficients. In the complex case, the line bundles L_i or their first characteristic classes are called Chern roots. The fact that p^*\colon H^*(X)\rightarrow H^*(Y) is injective means that any equation which holds in H^*(Y) (say between various Chern classes) also holds in H^*(X). The point is that these equations are easier to understand for direct sums of line bundles than for arbitrary vector bundles, so equations should be understood in Y and then pushed down to X. Since vector bu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Euler Sequence
In mathematics, the Euler sequence is a particular exact sequence of sheaves on ''n''-dimensional projective space over a ring. It shows that the sheaf of relative differentials is stably isomorphic to an (n+1)-fold sum of the dual of the Serre twisting sheaf. The Euler sequence generalizes to that of a projective bundle as well as a Grassmann bundle (see the latter article for this generalization.) Statement Let \mathbb^n_A be the ''n''-dimensional projective space over a commutative ring ''A''. Let \Omega^1 = \Omega^1_ be the sheaf of 1-differentials on this space, and so on. The Euler sequence is the following exact sequence of sheaves on \mathbb^n_A: 0 \longrightarrow \Omega^1 \longrightarrow \mathcal(-1)^ \longrightarrow \mathcal \longrightarrow 0. The sequence can be constructed by defining a homomorphism S(-1)^ \to S, e_i \mapsto x_i with S = A _0, \ldots, x_n/math> and e_i = 1 in degree 1, surjective in degrees \geq 1, and checking that locally on the n+1 standard ch ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Journal Of Pure And Applied Algebra
The ''Journal of Pure and Applied Algebra'' is a monthly peer-reviewed scientific journal covering that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications. Its founding editors-in-chief were Peter J. Freyd (University of Pennsylvania) and Alex Heller (City University of New York). The current managing editors are Eric Friedlander (University of Southern California), Charles Weibel (Rutgers University), and Srikanth Iyengar (University of Utah). Abstracting and indexing The journal is abstracted and indexed in Current Contents/Physics, Chemical, & Earth Sciences, Mathematical Reviews, PASCAL, Science Citation Index, Zentralblatt MATH, and Scopus. According to the ''Journal Citation Reports'', the journal has a 2016 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a s ... [...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 Vector Bundle
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of Sheaf (mathematics), sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernel (category theory), kernels, image (mathematics), images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X-sheaf of modules, modules which has a local present ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |