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 of dimension the intersection form is defined on the -th cohomology group (what is usually called the 'middle dimension') by the evaluation of the cup product on the fundamental class in . Stated precisely, there is a bilinear form :\lambda_M \colon H^n(M,\partial M) \times H^n(M,\partial M)\to \mathbf given by :\lambda ... [...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]   |
|
Doubly Even
In mathematics an even integer, that is, a number that is divisible by 2, is called evenly even or doubly even if it is a multiple of 4, and oddly even or singly even if it is not. The former names are traditional ones, derived from ancient Greek mathematics; the latter have become common in recent decades. These names reflect a basic concept in number theory, the 2-order of an integer: how many times the integer can be divided by 2. This is equivalent to the multiplicity of 2 in the prime factorization. *A singly even number can be divided by 2 only once; it is even but its quotient by 2 is odd. *A doubly even number is an integer that is divisible more than once by 2; it is even and its quotient by 2 is also even. The separate consideration of oddly and evenly even numbers is useful in many parts of mathematics, especially in number theory, combinatorics, coding theory (see even codes), among others. Definitions The ancient Greek terms "even-times-even" ( grc, ἀρτιάκ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Homeomorphism
In the mathematical field of topology, a homeomorphism, 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. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending 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 desc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Intersection Form (4-manifold)
In mathematics, the intersection form of an oriented compact 4-manifold is a special symmetric bilinear form on the 2nd (co)homology group of the 4-manifold. It reflects much of the topology of the 4-manifolds, including information on the existence of a smooth structure. Definition using intersection Let ''M'' be a closed 4-manifold (PL or smooth). Take a triangulation ''T'' of ''M''. Denote by T^* the dual cell subdivision. Represent classes a,b\in H_2(M;\Z/2\Z) by 2-cycles ''A'' and ''B'' modulo 2 viewed as unions of 2-simplices of ''T'' and of T^*, respectively. Define the intersection form modulo 2 :\cap_: H_2(M;\Z/2\Z) \times H_2(M;\Z/2\Z) \to \Z/2\Z by the formula :a\cap_ b = , A\cap B, \bmod2. This is well-defined because the intersection of a cycle and a boundary consists of an even number of points (by definition of a cycle and a boundary). If ''M'' is oriented, analogously (i.e. counting intersections with signs) one defines the intersection form on the 2n ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. There exist some topological 4-manifolds which admit no smooth structure, and even if there exists a smooth structure, it need not be unique (i.e. there are smooth 4-manifolds which are homeomorphic but not diffeomorphic). 4-manifolds are important in physics because in General Relativity, spacetime is modeled as a pseudo-Riemannian 4-manifold. Topological 4-manifolds The homotopy type of a simply connected compact 4-manifold only depends on the intersection form on the middle dimensional homology. A famous theorem of implies that the homeomorphism type of the manifold only depends on this intersection form, and on a \Z/2\Z invariant called the Kirby–Siebenmann invariant, and moreover that every combination of unimodular form and Ki ... [...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]   |
|
Simply Connected
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the space) into any other such path while preserving the two endpoints in question. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial. Definition and equivalent formulations A topological space X is called if it is path-connected and any loop in X defined by f : S^1 \to X can be contracted to a point: there exists a continuous map F : D^2 \to X such that F restricted to S^1 is f. Here, S^1 and D^2 denotes the unit circle and closed unit disk in the Euclidean plane respectively. An equivalent formulation is this: X is simply connected if and only if it is path-connected, and whenev ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Michael Freedman
Michael Hartley Freedman (born April 21, 1951) is an American mathematician, at Microsoft Station Q, a research group at the University of California, Santa Barbara. In 1986, he was awarded a Fields Medal for his work on the 4-dimensional generalized Poincaré conjecture. Freedman and Robion Kirby showed that an exotic ℝ4 manifold exists. Life and career Freedman was born in Los Angeles, California, in the United States. His father, Benedict Freedman, was an American Jewish aeronautical engineer, musician, writer, and mathematician. His mother, Nancy Mars Freedman, performed as an actress and also trained as an artist. His parents cowrote a series of novels together. . He entered the University of California, Berkeley, but dropped out after two semesters. In the same year he wrote a letter to Ralph Fox, a Princeton professor at the time, and was admitted to graduate school so in 1968 he continued his studies at Princeton University where he received Ph.D. degree in 1973 fo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Topological Invariant
In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space ''X'' possesses that property every space homeomorphic to ''X'' possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets. A common problem in topology is to decide whether two topological spaces are homeomorphic or not. To prove that two spaces are ''not'' homeomorphic, it is sufficient to find a topological property which is not shared by them. Properties of topological properties A property P is: * Hereditary, if for every topological space (X, \mathcal) and X' \subset X, the subspace (X', \mathcal, X') has property P. * Weakly hereditary, if for every ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Framed Manifold
In mathematics, a differentiable manifold M of dimension ''n'' is called parallelizable if there exist smooth vector fields \ on the manifold, such that at every point p of M the tangent vectors \ provide a basis of the tangent space at p. Equivalently, the tangent bundle is a trivial bundle, so that the associated principal bundle of linear frames has a global section on M. A particular choice of such a basis of vector fields on M is called a parallelization (or an absolute parallelism) of M. Examples *An example with n = 1 is the circle: we can take ''V''1 to be the unit tangent vector field, say pointing in the anti-clockwise direction. The torus of dimension n is also parallelizable, as can be seen by expressing it as a cartesian product of circles. For example, take n = 2, and construct a torus from a square of graph paper with opposite edges glued together, to get an idea of the two tangent directions at each point. More generally, every Lie group ''G'' is parallelizable, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
ε-quadratic Form
In mathematics, specifically the theory of quadratic forms, an ''ε''-quadratic form is a generalization of quadratic forms to skew-symmetric settings and to *-rings; , accordingly for symmetric or skew-symmetric. They are also called (-)^n-quadratic forms, particularly in the context of surgery theory. There is the related notion of ''ε''-symmetric forms, which generalizes symmetric forms, skew-symmetric forms (= symplectic forms), Hermitian forms, and skew-Hermitian forms. More briefly, one may refer to quadratic, skew-quadratic, symmetric, and skew-symmetric forms, where "skew" means (−) and the * (involution) is implied. The theory is 2-local: away from 2, ''ε''-quadratic forms are equivalent to ''ε''-symmetric forms: half the symmetrization map (below) gives an explicit isomorphism. Definition ''ε''-symmetric forms and ''ε''-quadratic forms are defined as follows. Given a module ''M'' over a *-ring ''R'', let ''B''(''M'') be the space of bilinear forms o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |