|
Projection Formula
In algebraic geometry, the projection formula states the following:http://math.stanford.edu/~vakil/0708-216/216class38.pdf For a morphism f:X\to Y of ringed spaces, an \mathcal_X-module \mathcal and a locally free sheaf, locally free \mathcal_Y-module \mathcal of finite rank, the natural maps of sheaves :R^i f_* \mathcal \otimes \mathcal \to R^i f_* (\mathcal \otimes f^* \mathcal) are isomorphisms. There is yet another projection formula in the setting of étale cohomology. See also *Integration along fibers#Projection formula References Theorems in algebraic geometry {{algebraic-geometry-stub ... [...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 topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ringed Space
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. "Éléments de géométrie algébrique", on the other hand, does not impose the commutativity assumption, although the book mostly consi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Free Sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of 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 kernels, 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-modules which has a local presentation, that is, every point in X has an open neighborhood U in which there is an exac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
étale Cohomology
In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type. History Étale cohomology was introduced by , using some suggestions by Jean-Pierre Serre, and was motivated by the attempt to construct a Weil cohomology theory in order to prove the Weil conjectures. The foundations were soon after worked out by Grothendieck together with Michael Artin, and published as and SGA 4. Grothendieck used étale cohomology to prove some of the Weil conjectures (Bernard Dwork had already managed to prove the rationality part of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integration Along Fibers
In differential geometry, the integration along fibers of a ''k''-form yields a (k-m)-form where ''m'' is the dimension of the fiber, via "integration". It is also called the fiber integration. Definition Let \pi: E \to B be a fiber bundle over a manifold with compact oriented fibers. If \alpha is a ''k''-form on ''E'', then for tangent vectors ''w''''i'''s at ''b'', let : (\pi_* \alpha)_b(w_1, \dots, w_) = \int_ \beta where \beta is the induced top-form on the fiber \pi^(b); i.e., an m-form given by: with \widetilde lifts of w_i to E, :\beta(v_1, \dots, v_m) = \alpha(v_1, \dots, v_m, \widetilde, \dots, \widetilde). (To see b \mapsto (\pi_* \alpha)_b is smooth, work it out in coordinates; cf. an example below.) Then \pi_* is a linear map \Omega^k(E) \to \Omega^(B). By Stokes' formula, if the fibers have no boundaries(i.e. ,\int0), the map descends to de Rham cohomology: :\pi_*: \operatorname^k(E; \mathbb) \to \operatorname^(B; \mathbb). This is also called the fiber i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
