Alexander Duality
   HOME
*





Alexander Duality
In mathematics, Alexander duality refers to a duality theory presaged by a result of 1915 by J. W. Alexander, and subsequently further developed, particularly by Pavel Alexandrov and Lev Pontryagin. It applies to the homology theory properties of the complement of a subspace ''X'' in Euclidean space, a sphere, or other manifold. It is generalized by Spanier–Whitehead duality. General statement for spheres Let X be a compact, locally contractible subspace of the sphere S^n of dimension ''n''. Let S^n\setminus X be the complement of X in S^n. Then if \tilde stands for reduced homology or reduced cohomology, with coefficients in a given abelian group, there is an isomorphism :\tilde_q(S^n\setminus X) \cong \tilde^(X) for all q\ge 0. Note that we can drop local contractibility as part of the hypothesis, if we use Čech cohomology, which is designed to deal with local pathologies. Applications This is useful for computing the cohomology of knot and link complements in S^3. Re ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


Isomorphism
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσος ''isos'' "equal", and μορφή ''morphe'' "form" or "shape". The interest in isomorphisms lies in the fact that two isomorphic objects have the same properties (excluding further information such as additional structure or names of objects). Thus isomorphic structures cannot be distinguished from the point of view of structure only, and may be identified. In mathematical jargon, one says that two objects are . An automorphism is an isomorphism from a structure to itself. An isomorphism between two structures is a canonical isomorphism (a canonical map that is an isomorphism) if there is only one isomorphism between the two structures (as it is the case for solutions of a univer ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Simplicial Complex
In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their ''n''-dimensional counterparts (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 combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial 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 simplices that satisfies the following conditions: :1. Every face of a simplex from \mathcal is also in \mathcal. :2. The non-empty intersection of any two simplices \sigma_1, \sigma_2 \in \mathcal is a face of both \sigma_1 and \sigma_2. See also the definition of an abstract simplicial complex, which loosely speaking is a simplicial complex without an associated geometry. A simplicial ''k''-complex \ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jacobian Ideal
In mathematics the Jacobian ideal or gradient ideal is the ideal generated by the Jacobian of a function or function germ. Let \mathcal(x_1,\ldots,x_n) denote the ring of smooth functions in n variables and f a function in the ring. The Jacobian ideal of f is : J_f := \left\langle \frac, \ldots, \frac \right\rangle. Relation to deformation theory In deformation theory, the deformations of a hypersurface given by a polynomial f is classified by the ring \frac This is shown using the Kodaira–Spencer map. Relation to Hodge theory In Hodge theory, there are objects called real Hodge structures which are the data of a real vector space H_\mathbb and an increasing filtration F^\bullet of H_\mathbb = H_\mathbb\otimes_\mathbb satisfying a list of compatibility structures. For a smooth projective variety X there is a canonical Hodge structure. Statement for degree d hypersurfaces In the special case X is defined by a homogeneous degree d polynomial f \in \Gamma(\mathbb^,\ma ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Local Cohomology
In algebraic geometry, local cohomology is an algebraic analogue of relative cohomology. Alexander Grothendieck introduced it in seminars in Harvard in 1961 written up by , and in 1961-2 at IHES written up as SGA2 - , republished as . Given a function (more generally, a section of a quasicoherent sheaf) defined on an open subset of an algebraic variety (or scheme), local cohomology measures the obstruction to extending that function to a larger domain. The rational function 1/x, for example, is defined only on the complement of 0 on the affine line \mathbb^1_K over a field K, and cannot be extended to a function on the entire space. The local cohomology module H^1_(K (where K /math> is the coordinate ring of \mathbb^1_K) detects this in the nonvanishing of a cohomology class /x/math>. In a similar manner, 1/xy is defined away from the x and y axes in the affine plane, but cannot be extended to either the complement of the x-axis or the complement of the y-axis alone (nor can it ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Compactly-supported Homology
In mathematics, a homology theory in algebraic topology is compactly supported if, in every degree ''n'', the relative homology group H''n''(''X'', ''A'') of every pair of spaces :(''X'', ''A'') is naturally isomorphic to the direct limit of the ''n''th relative homology groups of pairs (''Y'', ''B''), where ''Y'' varies over compact subspaces of ''X'' and ''B'' varies over compact subspaces of ''A''.. Singular homology is compactly supported, since each singular chain is a finite sum of simplices 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. ..., which are compactly supported. Strong homology is not compactly supported. If one has defined a homology theory over compact pairs, it is possible to extend it into a compactly supported homology theory in the wider category of Hausdor ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology
". Springer Science+Business Media.
In 1964, Springer expanded its business internationally, o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Verdier Duality
In mathematics, Verdier duality is a cohomology, cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact space, locally compact topological spaces of Alexander Grothendieck's theory of Étale cohomology#Poincaré duality and cohomology with compact support, Poincaré duality in étale cohomology for scheme (mathematics), schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism. Verdier duality generalises the classical Poincaré duality of manifolds in two directions: it applies to continuous maps from one space to another (reducing to the classical case for the unique map from a manifold to a one-point space), and it applies to spaces that fail to be manifolds due to the presence of singularities. It is commonly encountered when studying const ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Journal Of Knot Theory And Its Ramifications
The ''Journal of Knot Theory and Its Ramifications'' was established in 1992 by Louis Kauffman and was the first journal purely devoted to knot theory. It is an interdisciplinary journal covering developments in knot theory, with emphasis on creating connections between with other branches of mathematics and the natural sciences. The journal is published by World Scientific.''Journal of Knot Theory and Its Ramifications''
, retrieved 2015-03-02. According to the '''', the journal has a 2020

picture info

Massey Product
In algebraic topology, the Massey product is a cohomology operation of higher order introduced in , which generalizes the cup product. The Massey product was created by William S. Massey, an American algebraic topologist. Massey triple product Let a,b,c be elements of the cohomology algebra H^*(\Gamma) of a differential graded algebra \Gamma. If ab=bc=0, the Massey product \langle a,b,c\rangle is a subset of H^n(\Gamma), where n=\deg(a)+\deg(b)+\deg(c)-1. The Massey product is defined algebraically, by lifting the elements a,b,c to equivalence classes of elements u,v,w of \Gamma, taking the Massey products of these, and then pushing down to cohomology. This may result in a well-defined cohomology class, or may result in indeterminacy. Define \bar u to be (-1)^u. The cohomology class of an element u of \Gamma will be denoted by /math>. The Massey triple product of three cohomology classes is defined by : \langle rangle = \. The Massey product of three cohomology classes is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Borromean Rings
In mathematics, the Borromean rings are three simple closed curves in three-dimensional space that are topologically linked and cannot be separated from each other, but that break apart into two unknotted and unlinked loops when any one of the three is cut or removed. Most commonly, these rings are drawn as three circles in the plane, in the pattern of a Venn diagram, alternatingly crossing over and under each other at the points where they cross. Other triples of curves are said to form the Borromean rings as long as they are topologically equivalent to the curves depicted in this drawing. The Borromean rings are named after the Italian House of Borromeo, who used the circular form of these rings as a coat of arms, but designs based on the Borromean rings have been used in many cultures, including by the Norsemen and in Japan. They have been used in Christian symbolism as a sign of the Trinity, and in modern commerce as the logo of Ballantine beer, giving them the alternative ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]