Lefschetz Manifold
In mathematics, a Lefschetz manifold is a particular kind of symplectic manifold (M^, \omega), sharing a certain cohomological property with Kähler manifolds, that of satisfying the conclusion of the Hard Lefschetz theorem. More precisely, the strong Lefschetz property asks that for k \in \, the cup product :\cup omega^kcolon H^(M, \R)\to H^(M, \R) be an isomorphism. The topology of these symplectic manifolds is severely constrained, for example their odd Betti numbers are even. This remark leads to numerous examples of symplectic manifolds which are not Kähler, the first historical example is due to William Thurston. Lefschetz maps Let M be a (2n)-dimensional smooth manifold. Each element :omega\in H_^2 (M) of the second de Rham cohomology space of M induces a map :L_: H_ (M) \to H_ (M), alpha\mapsto omega \wedge \alpha/math> called the Lefschetz map of omega/math>. Letting L_^i be the ith iteration of L_, we have for each 0 \leq i \leq n a map :L_^i : H_^(M) \to H_^ ... [...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]   |
|
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]   |
|
Torus
In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. If the axis of revolution is tangent to the circle, the surface is a horn torus. If the axis of revolution passes twice through the circle, the surface is a spindle torus. If the axis of revolution passes through the center of the circle, the surface is a degenerate torus, a double-covered sphere. If the revolved curve is not a circle, the surface is called a ''toroid'', as in a square toroid. Real-world objects that approximate a torus of revolution include swim rings, inner tubes and ringette rings. Eyeglass lenses that combine spherical and cylindrical correction are toric lenses. A torus should not be confused with a '' solid torus'', which is formed by r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Nilmanifold
In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space N/H, the quotient of a nilpotent Lie group ''N'' modulo a closed subgroup ''H''. This notion was introduced by Anatoly Mal'cev in 1951. In the Riemannian category, there is also a good notion of a nilmanifold. A Riemannian manifold is called a homogeneous nilmanifold if there exist a nilpotent group of isometries acting transitively on it. The requirement that the transitive nilpotent group acts by isometries leads to the following rigid characterization: every homogeneous nilmanifold is isometric to a nilpotent Lie group with left-invariant metric (see Wilson). Nilmanifolds are important geometric objects and often arise as concrete examples with interesting properties; in Riemannian geometry these spaces always have mixed curvature, almost ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Compact Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical conditio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topology (journal)
''Topology'' was a peer-reviewed mathematical journal covering topology and geometry. It was established in 1962 and was published by Elsevier. The last issue of ''Topology'' appeared in 2009. Pricing dispute On 10 August 2006, after months of unsuccessful negotiations with Elsevier about the price policy of library subscriptions, the entire editorial board of the journal handed in their resignation, effective 31 December 2006. Subsequently, two more issues appeared in 2007 with papers that had been accepted before the resignation of the editors. In early January the former editors instructed Elsevier to remove their names from the website of the journal, but Elsevier refused to comply, justifying their decision by saying that the editorial board should remain on the journal until all of the papers accepted during its tenure had been published. In 2007 the former editors of ''Topology'' announced the launch of the ''Journal of Topology'', published by Oxford University Press ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Carolyn S
Carolyn is a female given name, a variant of Caroline. Other spellings include Karolyn, Carolyne, Carolynn or Carolynne. Caroline itself is one of the feminine forms of Charles. List of Notable People * Carolyn Bennett (born 1950), Canadian politician *Carolyn Bertozzi (born 1966), American chemist and Nobel laureate *Carolyn Bessette-Kennedy (1966–1999), wife of John F. Kennedy, Jr. * Carolyn Brown (choreographer) (born 1927), American dancer, choreographer, and writer * Carolyn Brown (newsreader), English newsreader *Carolyn Cassady (1923–2013), American writer and wife of Neal Cassady * C. J. Cherryh (Carolyn Janice Cherryh; born 1942), American science fiction and fantasy writer *Carolyn Chiechi (born 1943), judge of the United States Tax Court *Carolyn Cooper (born 1959), Jamaican author and literary scholar * Carolyn Davidson, several people * Carolyn Eaton, murder victim * Carolyn Fe, Filipina singer and actress *Carolyn Forché (born 1950), American poet, editor, t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Strong 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 CP''N'', and let ''Y'' be a hyperplane section of ''X'' such that ''U'' = ''X'' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Oriented
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 manifolds ofte ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Symplectic Manifold
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system. Motivation Symplectic manifolds arise from classical mechanics; in particular, they are a generalization of the phase space of a closed system. In the same way the Hamilton equations allow one to derive the time evolution of a system from a set of differential equations, the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
De Rham Cohomology
In mathematics, de Rham cohomology (named after Georges de Rham) is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties. On any smooth manifold, every exact form is closed, but the converse may fail to hold. Roughly speaking, this failure is related to the possible existence of "holes" in the manifold, and the de Rham cohomology groups comprise a set of topological invariants of smooth manifolds that precisely quantify this relationship. Definition The de Rham complex is the cochain complex of differential forms on some smooth manifold , with the exterior derivative as the differential: :0 \to \Omega^0(M)\ \stackrel\ \Omega^1(M)\ \stackrel\ \Omega^2(M)\ \stackrel\ \Omega^3(M) \to \cd ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |