|
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] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection Theory
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov–Witten theory and the extension of intersection theory from schemes to stacks. Topological intersection form For a connected oriented manifold M of dimension 2n the intersection form is defined on the n-th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class /math> in H_(M,\partial M). Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Resolution Of Singularities
In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety ''V'' has a resolution, which is a non-singular variety ''W'' with a Proper morphism, proper birational map ''W''→''V''. For varieties over fields of characteristic 0, this was proved by Heisuke Hironaka in 1964; while for varieties of dimension at least 4 over fields of characteristic ''p'', it is an open problem. Definitions Originally the problem of resolution of singularities was to find a nonsingular model for the function field of a variety ''X'', in other words a complete variety, complete non-singular variety ''X′'' with the same function field. In practice it is more convenient to ask for a different condition as follows: a variety ''X'' has a resolution of singularities if we can find a non-singular variety ''X′'' and a Proper morphism, proper birational map from ''X′'' to ''X''. The condition that the map is proper is needed to exclude trivia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chain Complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is contained in the kernel of the next. Associated to a chain complex is its homology, which is (loosely speaking) a measure of the failure of a chain complex to be exact. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology. In algebraic topology, the singular chain complex of a topological space X is constructed using continuous maps from a simplex to X, and the homomorphisms of the chain complex capture how these maps restrict to the boundary of the simplex. The homology of this chain complex is called the singular homology of X, and is a commonly used invariant of a topological space. Chain complexes are studied in homological algebra, but a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. For example, * a 0-dimensional simplex is a point, * a 1-dimensional simplex is a line segment, * a 2-dimensional simplex is a triangle, * a 3-dimensional simplex is a tetrahedron, and * a 4-dimensional simplex is a 5-cell. Specifically, a -simplex is a -dimensional polytope that is the convex hull of its vertices. More formally, suppose the points u_0, \dots, u_k are affinely independent, which means that the vectors u_1 - u_0,\dots, u_k-u_0 are linearly independent. Then, the simplex determined by them is the set of points C = \left\. A regular simplex is a simplex that is also a regular polytope. A regular -simplex may be constructed from a regular -simplex by connecting a new vertex to all original vertices by the common ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Floor And Ceiling Functions
In mathematics, the floor function is the function that takes as input a real number , and gives as output the greatest integer less than or equal to , denoted or . Similarly, the ceiling function maps to the least integer greater than or equal to , denoted or . For example, for floor: , , and for ceiling: , and . The floor of is also called the integral part, integer part, greatest integer, or entier of , and was historically denoted (among other notations). However, the same term, ''integer part'', is also used for truncation towards zero, which differs from the floor function for negative numbers. For an integer , . Although and produce graphs that appear exactly alike, they are not the same when the value of is an exact integer. For example, when , . However, if , then , while . Notation The ''integral part'' or ''integer part'' of a number ( in the original) was first defined in 1798 by Adrien-Marie Legendre in his proof of the Legendre's formula. Carl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Middle Perversity
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasi-projective Variety
In mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski topology, Zariski-closed subset. A similar definition is used in Scheme (mathematics), scheme theory, where a ''quasi-projective scheme'' is a locally closed subscheme of some Algebraic geometry of projective spaces, projective space. Relationship to affine varieties An affine space is a Zariski-open subset of a projective space, and since any closed affine subset U can be expressed as an intersection of the Homogeneous polynomial#Homogenization, projective completion \bar and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective. There are locally closed subsets of projective space that are not affine, so that quasi-projective is more general than affine. Taking the complement of a single point in projective space of dimension at le ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Complex
In mathematics, a simplicial complex is a structured Set (mathematics), set composed of Point (geometry), points, line segments, triangles, and their ''n''-dimensional counterparts, called Simplex, simplices, such that all the faces and intersections of the elements are also included in the set (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely Combinatorics, combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial complex from an abstract simplicial complex, the former is often called a geometric simplicial complex., Section 4.3 Definitions A simplicial complex \mathcal is a set of Simplex, simplices that satisfies the following conditions: # Every Simplex#Elements, face of a simplex from \mathcal is also in \mathcal. # The non-empty Set intersection, intersection of any two simplices \sigma_1, \sigma_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphism
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), T2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be '' separated by neighbourhoods'' if there exists a neighbourhood U of x and a neighbourhood V of y such that U and V are disjoint (U\cap V=\varnothing). X is a Hausdorff space if any two distinct points in X are separated by neighbourhoods. This condition is the third separation axiom (after T0 and T1), which is why Hausdorff ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paracompact Space
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact. While compact subsets of Hausdorff spaces are always closed, this is not true for paracompact subsets. A space such that every subspace of it is a paracompact space is called hereditarily paracompact. This is equivalent to requiring that every open subspace be paracompact. The notion of paracompact space is also studied in pointless topology, where it is more well-behaved. For example, the product of any number of paracompact locales is a paracompact locale, but the product of two paracomp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
