|
Projective Bundle
In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces. By definition, a scheme ''X'' over a Noetherian scheme ''S'' is a P''n''-bundle if it is locally a projective ''n''-space; i.e., X \times_S U \simeq \mathbb^n_U and transition automorphisms are linear. Over a regular scheme ''S'' such as a smooth variety, every projective bundle is of the form \mathbb(E) for some vector bundle (locally free sheaf) ''E''. The projective bundle of a vector bundle Every vector bundle over a variety ''X'' gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group ''H''2(''X'',O*). To see why, recall that a projective bundle comes equipped with transition functions on double intersections of a suitable open cover. On triple overlaps, any lift of these transition functions satisfies the cocycle condition up to an invertible function. The collection of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Lefschetz Fibrations
Solomon Lefschetz (; 3 September 1884 – 5 October 1972) was a Russian-born American mathematician who did fundamental work on algebraic topology, its applications to algebraic geometry, and the theory of non-linear ordinary differential equations. Life He was born in Moscow, the son of Alexander Lefschetz and his wife Sarah or Vera Lifschitz, Jewish traders who used to travel around Europe and the Middle East (they held Ottoman passports). Shortly thereafter, the family moved to Paris. He was educated there in engineering at the École Centrale Paris, but emigrated to the US in 1905. He was badly injured in an industrial accident in 1907, losing both hands. He moved towards mathematics, receiving a Ph.D. in algebraic geometry from Clark University in Worcester, Massachusetts in 1911. He then took positions in University of Nebraska and University of Kansas, moving to Princeton University in 1924, where he was soon given a permanent position. He remained there until 1953. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Für Die Reine Und Angewandte Mathematik
''Crelle's Journal'', or just ''Crelle'', is the common name for a mathematics journal, the ''Journal für die reine und angewandte Mathematik'' (in English: ''Journal for Pure and Applied Mathematics''). History The journal was founded by August Leopold Crelle (Berlin) in 1826 and edited by him until his death in 1855. It was one of the first major mathematical journals that was not a proceedings of an academy. It has published many notable papers, including works of Niels Henrik Abel, Georg Cantor, Gotthold Eisenstein, Carl Friedrich Gauss and Otto Hesse. It was edited by Carl Wilhelm Borchardt from 1856 to 1880, during which time it was known as ''Borchardt's Journal''. The current editor-in-chief is Daniel Huybrechts (Rheinische Friedrich-Wilhelms-Universität Bonn). Past editors * 1826–1856: August Leopold Crelle * 1856–1880: Carl Wilhelm Borchardt * 1881–1888: Leopold Kronecker, Karl Weierstrass Karl Theodor Wilhelm Weierstrass (; ; 31 October 1815 � ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hirzebruch Surface
In mathematics, a Hirzebruch surface is a ruled surface over the projective line. They were studied by . Definition The Hirzebruch surface \Sigma_n is the \mathbb^1-bundle (a projective bundle) over the projective line \mathbb^1, associated to the sheaf\mathcal\oplus \mathcal(-n).The notation here means: \mathcal(n) is the -th tensor power of the Serre twist sheaf \mathcal(1), the invertible sheaf or line bundle with associated Cartier divisor a single point. The surface \Sigma_0 is isomorphic to \mathbb P^1\times \mathbb P^1; and \Sigma_1 is isomorphic to the projective plane \mathbb P^2 blown up at a point, so it is not minimal. GIT quotient One method for constructing the Hirzebruch surface is by using a GIT quotient: \Sigma_n = (\Complex^2-\)\times (\Complex^2-\)/(\Complex^*\times\Complex^*) where the action of \Complex^*\times\Complex^* is given by (\lambda, \mu)\cdot(l_0,l_1,t_0,t_1) = (\lambda l_0, \lambda l_1, \mu t_0,\lambda^\mu t_1)\ . This action can be interpreted as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Severi–Brauer Variety
In mathematics, a Severi–Brauer variety over a field (mathematics), field ''K'' is an algebraic variety ''V'' which becomes isomorphic to a projective space over an algebraic closure of ''K''. The varieties are associated to central simple algebras in such a way that the algebra splits over ''K'' if and only if the variety has a rational point over ''K''. studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group. In dimension one, the Severi–Brauer varieties are conic section, conics. The corresponding central simple algebras are the quaternion algebras. The algebra corresponds to the conic with equation : z^2 = ax^2 + by^2 \ and the algebra ''splits'', that is, is isomorphic to a Matrix ring, matrix algebra over ''K'', if and only if has a point defined over ''K'': this is in turn equivalent to being isomorphic to the projective line over ''K''. Such varieties are of interest not only in diophantine ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ruled Surface
In geometry, a Differential geometry of surfaces, surface in 3-dimensional Euclidean space is ruled (also called a scroll) if through every Point (geometry), point of , there is a straight line that lies on . Examples include the plane (mathematics), plane, the lateral surface of a cylinder (geometry), cylinder or cone (geometry), cone, a conical surface with ellipse, elliptical directrix (rational normal scroll), directrix, the right conoid, the helicoid, and the tangent developable of a smooth curve in space. A ruled surface can be described as the set of points swept by a moving straight line. For example, a cone is formed by keeping one point of a line fixed whilst moving another point along a circle. A surface is doubly ruled if through every one of its points there are two distinct lines that lie on the surface. The hyperbolic paraboloid and the hyperboloid of one sheet are doubly ruled surfaces. The plane is the only surface which contains at least three distinct lines thr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cone (algebraic Geometry)
In algebraic geometry, a cone is a generalization of a vector bundle. Specifically, given a scheme ''X'', the relative Spec :C = \operatorname_X R of a quasi-coherent graded ''O''''X''-algebra ''R'' is called the cone or affine cone of ''R''. Similarly, the relative Proj :\mathbb(C) = \operatorname_X R is called the projective cone of ''C'' or ''R''. Note: The cone comes with the \mathbb_m-action due to the grading of ''R''; this action is a part of the data of a cone (whence the terminology). Examples *If ''X'' = Spec ''k'' is a point and ''R'' is a homogeneous coordinate ring, then the affine cone of ''R'' is the (usual) affine cone over the projective variety corresponding to ''R''. *If R = \bigoplus_0^\infty I^n/I^ for some ideal sheaf ''I'', then \operatorname_X R is the normal cone to the closed scheme determined by ''I''. *If R = \bigoplus_0^\infty L^ for some line bundle ''L'', then \operatorname_X R is the total space of the dual of ''L''. *More generally, given a ve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proj Construction
In algebraic geometry, Proj is a construction analogous to the spectrum of a ring, spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective variety, projective varieties. The construction, while not functorial, is a fundamental tool in scheme theory. In this article, all ring (mathematics), rings will be assumed to be commutative ring, commutative and with identity. Proj of a graded ring Proj as a set Let S be a commutative graded ring, whereS = \bigoplus_ S_iis the direct sum decomposition associated with the gradation. The irrelevant ideal of S is the ideal (ring), ideal of elements of positive degreeS_+ = \bigoplus_ S_i .We say an ideal is homogeneous ideal, homogeneous if it is generated by homogeneous elements. Then, as a set,\operatorname S = \. For brevity we will sometimes write X for \operatorname S. Proj as a topological space We may define a topology, called the Zariski topology, on \ope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gysin Homomorphism
In the field of mathematics known as algebraic topology, the Gysin sequence is a long exact sequence which relates the cohomology classes of the base space, the fiber and the total space of a Fiber bundle#Sphere bundles, sphere bundle. The Gysin sequence is a useful tool for calculating the cohomology rings given the Euler class of the sphere bundle and vice versa. It was introduced by , and is generalized by the Serre spectral sequence. Definition Consider a fiber-oriented sphere bundle with total space ''E'', base space ''M'', fiber ''S''''k'' and projection map \pi: S^k \hookrightarrow E \stackrel M. Any such bundle defines a degree ''k'' + 1 cohomology class ''e'' called the Euler class of the bundle. De Rham cohomology Discussion of the sequence is clearest with de Rham cohomology. There cohomology classes are represented by differential forms, so that ''e'' can be represented by a (''k'' + 1)-form. The projection map \pi induces a map in cohomology H^ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chow Ring
In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general. Rational equivalence and Chow groups For what follows, define a variety over a field k to be an integral scheme of finite type over k. For any scheme X of finite type over k, an algebraic cycle on X means a finite linear combination of subvarieties of X with integer coefficients. (Here and below, subvarieties are understood ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chern Class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, and Gromov–Witten invariants. Chern classes were introduced by . Geometric approach Basic idea and motivation Chern classes are characteristic classes. They are topological invariants associated with vector bundles on a smooth manifold. The question of whether two ostensibly different vector bundles are the same can be quite hard to answer. The Chern classes provide a simple test: if the Chern classes of a pair of vector bundles do not agree, then the vector bundles are different. The converse, however, is not true. In topology, differential geometry, and algebraic geometry, it is often important to count how many linearly independent sect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associative Algebra
In mathematics, an associative algebra ''A'' over a commutative ring (often a field) ''K'' is a ring ''A'' together with a ring homomorphism from ''K'' into the center of ''A''. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication (the multiplication by the image of the ring homomorphism of an element of ''K''). The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a module or vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a commutative ring ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra for which the multiplication is commutative, or, equivalently, an associative algebra that is also a commutative ring. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
