Decomposition Theorem
In mathematics, especially algebraic geometry, the decomposition theorem of Beilinson, Bernstein and Deligne or BBD decomposition theorem is a set of results concerning the cohomology of algebraic varieties. It was originally conjectured by Gelfand and MacPherson. Statement Decomposition for smooth proper maps The first case of the decomposition theorem arises via the hard Lefschetz theorem which gives isomorphisms, for a smooth proper map f: X \to Y of relative dimension ''d'' between two projective varieties :- \cup \eta^i : R^f_* (\mathbb Q) \stackrel \cong \to R^ f_*(\mathbb Q). Here \eta is the fundamental class of a hyperplane section, f_* is the direct image (pushforward) and R^n f_* is the ''n''-th derived functor of the direct image. This derived functor measures the ''n''-th cohomologies of f^(U), for U \subset Y. In fact, the particular case when ''Y'' is a point, amounts to the isomorphism :- \cup \eta^i : H^ (X, \mathbb Q) \stackrel \cong \to H^ (X, \mathbb Q). This ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the solution set, set of solutions of a system of polynomial equations over the real number, real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be Irreducible component, irreducible, which means that it is not the Union (set theory), union of two smaller Set (mathematics), sets that are Closed set, closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a mon ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hard Lefschetz Theorem
In mathematics, specifically in algebraic geometry and algebraic topology, the Lefschetz hyperplane theorem is a precise statement of certain relations between the shape of an algebraic variety and the shape of its subvarieties. More precisely, the theorem says that for a variety ''X'' embedded in projective space and a hyperplane section ''Y'', the homology, cohomology, and homotopy groups of ''X'' determine those of ''Y''. A result of this kind was first stated by Solomon Lefschetz for homology groups of complex algebraic varieties. Similar results have since been found for homotopy groups, in positive characteristic, and in other homology and cohomology theories. A far-reaching generalization of the hard Lefschetz theorem is given by the decomposition theorem. The Lefschetz hyperplane theorem for complex projective varieties Let X be an n-dimensional complex projective algebraic variety in \mathbb\mathbf^N, and let Y be a hyperplane section of X such that U=X\setminus Y is smo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hyperplane Section
In mathematics, a hyperplane section of a subset ''X'' of projective space P''n'' is the intersection of ''X'' with some hyperplane ''H''. In other words, we look at the subset ''X''''H'' of those elements ''x'' of ''X'' that satisfy the single linear condition ''L'' = 0 defining ''H'' as a linear subspace. Here ''L'' or ''H'' can range over the dual projective space of non-zero linear forms in the homogeneous coordinates, up to scalar multiplication. From a geometrical point of view, the most interesting case is when ''X'' is an algebraic subvariety; for more general cases, in mathematical analysis, some analogue of the Radon transform applies. In algebraic geometry, assuming therefore that ''X'' is ''V'', a subvariety not lying completely in any ''H'', the hyperplane sections are algebraic sets with irreducible components all of dimension dim(''V'') − 1. What more can be said is addressed by a collection of results known collectively as Bertini's theorem. The topology of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Direct Image
In mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf ''F'' defined on a topological space ''X'' and a continuous map ''f'': ''X'' → ''Y'', we can define a new sheaf ''f''∗''F'' on ''Y'', called the direct image sheaf or the pushforward sheaf of ''F'' along ''f'', such that the global sections of ''f''∗''F'' is given by the global sections of ''F''. This assignment gives rise to a functor ''f''∗ from the category of sheaves on ''X'' to the category of sheaves on ''Y'', which is known as the direct image functor. Similar constructions exist in many other algebraic and geometric contexts, including that of quasi-coherent sheaves and étale sheaves on a scheme. Definition Let ''f'': ''X'' → ''Y'' be a continuous map of topological spaces, and let Sh(–) denote the category of sheaves of abelian groups on ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Derived Functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics. Motivation It was noted in various quite different settings that a short exact sequence often gives rise to a "long exact sequence". The concept of derived functors explains and clarifies many of these observations. Suppose we are given a covariant left exact functor ''F'' : A → B between two abelian categories A and B. If 0 → ''A'' → ''B'' → ''C'' → 0 is a short exact sequence in A, then applying ''F'' yields the exact sequence 0 → ''F''(''A'') → ''F''(''B'') → ''F''(''C'') and one could ask how to continue this sequence to the right to form a long exact sequence. Strictly speaking, this question is ill-posed, since there are always numerous different ways to continue a given exact sequence to the right. But it turns out that (if A is "nice" enough) t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Local System
In mathematics, a local system (or a system of local coefficients) on a topological space ''X'' is a tool from algebraic topology which interpolates between homology theory, cohomology with coefficients in a fixed abelian group ''A'', and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943. Local systems are the building blocks of more general tools, such as constructible sheaf, constructible and perverse sheaf, perverse sheaves. Definition Let ''X'' be a topological space. A local system (of abelian groups/Module over a ring, modules...) on ''X'' is a locally constant sheaf (of abelian groups/sheaf of modules, of modules...) on ''X''. In other words, a sheaf \mathcal is a local system if every point has an open neighborhood U such that the restricted sheaf \mathcal, _U is isomorphic to the sheafification of some constant presheaf. Equivalent definitions Path-connected spaces If ''X'' is C ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Perverse Sheaf
The mathematical term perverse sheaves refers to the objects of certain abelian categories associated to topological spaces, which may be a real or complex manifold, or more general topologically stratified spaces, possibly singular. The concept was introduced in the work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne and Ofer Gabber (1982) as a consequence of the Riemann-Hilbert correspondence, which establishes a connection between the derived categories regular holonomic D-modules and constructible sheaves. Perverse sheaves are the objects in the latter that correspond to individual D-modules (and not more general complexes thereof); a perverse sheaf ''is'' in general represented by a complex of sheaves. The concept of perverse sheaves is already implicit in a 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules. A key observation was that the intersection homology of Mark Goresky and Robert MacPherson could be described using ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Derived Category
In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction proceeds on the basis that the objects of ''D''(''A'') should be chain complexes in ''A'', with two such chain complexes considered isomorphic when there is a chain map that induces an isomorphism on the level of homology of the chain complexes. Derived functors can then be defined for chain complexes, refining the concept of hypercohomology. The definitions lead to a significant simplification of formulas otherwise described (not completely faithfully) by complicated spectral sequences. The development of the derived category, by Alexander Grothendieck and his student Jean-Louis Verdier shortly after 1960, now appears as one terminal point in the explosive development of homological algebra in the 1950s, a decade in which it had ma ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
T-structure
In the branch of mathematics called homological algebra, a ''t''-structure is a way to axiomatize the properties of an abelian subcategory of a derived category. A ''t''-structure on \mathcal consists of two subcategories (\mathcal^, \mathcal^) of a triangulated category or stable infinity category which abstract the idea of complexes whose cohomology vanishes in positive, respectively negative, degrees. There can be many distinct ''t''-structures on the same category, and the interplay between these structures has implications for algebra and geometry. The notion of a ''t''-structure arose in the work of Beilinson, Bernstein, Deligne, and Gabber on perverse sheaves. Definition Fix a triangulated category \mathcal with translation functor /math>. A ''t''-structure on \mathcal is a pair (\mathcal^, \mathcal^) of full subcategories, each of which is stable under isomorphism, which satisfy the following three axioms. # If ''X'' is an object of \mathcal^ and ''Y'' is an object o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Intersection Cohomology
In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them over the next few years. Intersection cohomology was used to prove the Kazhdan–Lusztig conjectures and the Riemann–Hilbert correspondence. It is closely related to ''L''2 cohomology. Goresky–MacPherson approach The homology groups of a compact, oriented, connected, ''n''-dimensional manifold ''X'' have a fundamental property called Poincaré duality: there is a perfect pairing : H_i(X,\Q) \times H_(X,\Q) \to H_0(X,\Q) \cong \Q. Classically—going back, for instance, to Henri Poincaré—this duality was understood in terms of intersection theory. An element of :H_j(X) is represented by a ''j''-dimensional cycle. If an ''i''-dimensional and an (n-i)-dimensional cycle are in general position, then their intersection is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mixed Hodge Module
In mathematics, mixed Hodge modules are the culmination of Hodge theory, mixed Hodge structures, intersection cohomology, and the decomposition theorem yielding a coherent framework for discussing variations of degenerating mixed Hodge structures through the six functor formalism. Essentially, these objects are a pair of a filtered D-module (M, F^\bullet) together with a perverse sheaf \mathcal such that the functor from the Riemann–Hilbert correspondence sends (M, F^\bullet) to \mathcal. This makes it possible to construct a Hodge structure on intersection cohomology, one of the key problems when the subject was discovered. This was solved by Morihiko Saito who found a way to use the filtration on a coherent D-module as an analogue of the Hodge filtration for a Hodge structure. This made it possible to give a Hodge structure on an intersection cohomology sheaf, the simple objects in the Abelian category of perverse sheaves. Abstract structure Before going into the nitty gri ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |