|
Local Coefficient 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 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. The category of perverse sheaves on a manifold is equivalent to the category of local systems on the manifold. Definition Let ''X'' be a topological space. A local system (of abelian groups/modules/...) on ''X'' is a locally constant sheaf (of abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commut ...s/Module over a ring, modules...) on ''X''. In other words, a sheaf \mathcal is a local system if every point has an ... [...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] |
Constant Sheaf
In mathematics, the constant sheaf on a topological space X associated to a set A is a sheaf of sets on X whose stalks are all equal to A. It is denoted by \underline or A_X. The constant presheaf with value A is the presheaf that assigns to each non-empty open subset of X the value A, and all of whose restriction maps are the identity map A\to A. The constant sheaf associated to A is the sheafification of the constant presheaf associated to A. This sheaf identifies with the sheaf of locally constant A-valued functions on X. In certain cases, the set A may be replaced with an object A in some category \textbf (e.g. when \textbf is the category of abelian groups, or commutative rings). Constant sheaves of abelian groups appear in particular as coefficients in sheaf cohomology. Basics Let X be a topological space, and A a set. The sections of the constant sheaf \underline over an open set U may be interpreted as the continuous functions U\to A, where A is given the discrete ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Homology
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 a f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
D-module
In mathematics, a ''D''-module is a module (mathematics), module over a ring (mathematics), ring ''D'' of differential operators. The major interest of such ''D''-modules is as an approach to the theory of linear partial differential equations. Since around 1970, ''D''-module theory has been built up, mainly as a response to the ideas of Mikio Sato on algebraic analysis, and expanding on the work of Sato and Joseph Bernstein on the Bernstein–Sato polynomial. Early major results were the Kashiwara constructibility theorem and Kashiwara index theorem of Masaki Kashiwara. The methods of ''D''-module theory have always been drawn from sheaf theory and other techniques with inspiration from the work of Alexander Grothendieck in algebraic geometry. The approach is global in character, and differs from the functional analysis techniques traditionally used to study differential operators. The strongest results are obtained for over-determined systems (holonomic systems), and on the charac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leray Spectral Sequence
In mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence. Definition Let f:X\to Y be a continuous map of topological spaces, which in particular gives a functor f_* from sheaves of abelian groups on X to sheaves of abelian groups on Y. Composing this with the functor \Gamma of taking sections on \text_\text(Y) is the same as taking sections on \text_\text(X), by the definition of the direct image functor f_*: :\mathrm (X) \xrightarrow \mathrm(Y) \xrightarrow \mathrm. Thus the derived functors of \Gamma \circ f_* compute the sheaf cohomology for X: : R^i (\Gamma \cdot f_*)(\mathcal)=H^i(X,\mathcal). But because f_* and \Gamma send injective objects in \text_\text(X) to \Gamma- acyclic objects in \text_\text(Y), there is a spectral sequencepg 33,19 whose second page is : E^_2=(R^p\Gamma \cdot R^q f_*)(\mathcal)=H^p(Y,R^qf ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twisted Poincaré Duality
In mathematics, the twisted Poincaré duality is a theorem removing the restriction on Poincaré duality to oriented manifolds. The existence of a global orientation is replaced by carrying along local information, by means of a local coefficient system. Twisted Poincaré duality for de Rham cohomology Another version of the theorem with real coefficients features de Rham cohomology with values in the orientation bundle. This is the flat real line bundle denoted o(M), that is trivialized by coordinate charts of the manifold M, with transition maps the sign of the Jacobian determinant of the charts transition maps. As a flat line bundle, it has a de Rham cohomology, denoted by :H^* (M; \R^w) or H^* (M; o(M)). For ''M'' a compact manifold, the top degree cohomology is equipped with a so-called trace morphism :\theta\colon H^d (M; o(M)) \to \R, that is to be interpreted as integration on ''M'', ''i.e.'', evaluating against the fundamental class. Poincaré duality for different ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold (compact and without boundary), then the ''k''th cohomology group of ''M'' is isomorphic to the (n-k)th homology group of ''M'', for all integers ''k'' :H^k(M) \cong H_(M). Poincaré duality holds for any coefficient ring, so long as one has taken an orientation with respect to that coefficient ring; in particular, since every manifold has a unique orientation mod 2, Poincaré duality holds mod 2 without any assumption of orientation. History A form of Poincaré duality was first stated, without proof, by Henri Poincaré in 1893. It was stated in terms of Betti numbers: The ''k''th and (n-k)th Betti numbers of a closed (i.e., compact and without boundary) orientable ''n''-manifold are equal. The ''cohomology'' concept was at that time about 40 y ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientation Covering
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifold ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constructible Sheaf
In mathematics, a constructible sheaf is a sheaf of abelian groups over some topological space ''X'', such that ''X'' is the union of a finite number of locally closed subsets on each of which the sheaf is a locally constant sheaf. It has its origins in algebraic geometry, where in étale cohomology constructible sheaves are defined in a similar way . For the derived category of constructible sheaves, see a section in ℓ-adic sheaf. The finiteness theorem in étale cohomology states that the higher direct images of a constructible sheaf are constructible. Definition of étale constructible sheaves on a scheme ''X'' Here we use the definition of constructible étale sheaves from the book by Freitag and Kiehl referenced below. In what follows in this subsection, all sheaves \mathcal on schemes X are étale sheaves unless otherwise noted. A sheaf \mathcal is called constructible if X can be written as a finite union of locally closed subschemes i_Y:Y \to X such that for each subsc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hodge Structure
In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. Hodge structures have been generalized for all complex varieties (even if they are singular and non-complete) in the form of mixed Hodge structures, defined by Pierre Deligne (1970). A variation of Hodge structure is a family of Hodge structures parameterized by a manifold, first studied by Phillip Griffiths (1968). All these concepts were further generalized to mixed Hodge modules over complex varieties by Morihiko Saito (1989). Hodge structures Definition of Hodge structures A pure Hodge structure of integer weight ''n'' consists of an abelian group H_ and a decomposition of its complexification ''H'' into a direct sum of complex subspaces H^, where p+q=n, with the property that the complex conjugate of H^ is H^: :H := H_\otimes_ \Complex = \bigop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauss–Manin Connection
In mathematics, the Gauss–Manin connection is a connection on a certain vector bundle over a base space ''S'' of a family of algebraic varieties V_s. The fibers of the vector bundle are the de Rham cohomology groups H^k_(V_s) of the fibers V_s of the family. It was introduced by for curves ''S'' and by in higher dimensions. Flat sections of the bundle are described by differential equations; the best-known of these is the Picard–Fuchs equation, which arises when the family of varieties is taken to be the family of elliptic curves. In intuitive terms, when the family is locally trivial, cohomology classes can be moved from one fiber in the family to nearby fibers, providing the 'flat section' concept in purely topological terms. The existence of the connection is to be inferred from the flat sections. Intuition Consider a smooth morphism of schemes X\to B over characteristic 0. If we consider these spaces as complex analytic spaces, then the Ehresmann fibration theorem te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curvature
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the canonical example is that of a circle, which has a curvature equal to the reciprocal of its radius. Smaller circles bend more sharply, and hence have higher curvature. The curvature ''at a point'' of a differentiable curve is the curvature of its osculating circle, that is the circle that best approximates the curve near this point. The curvature of a straight line is zero. In contrast to the tangent, which is a vector quantity, the curvature at a point is typically a scalar quantity, that is, it is expressed by a single real number. For surfaces (and, more generally for higher-dimensional manifolds), that are embedded in a Euclidean space, the concept of curvature is more complex, as it depends on the choice of a direction on the surface or man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
