|
Chern Class
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, and Gromov–Witten invariants. Chern classes were introduced by . Geometric approach Basic idea and motivation Chern classes are characteristic classes. They are topological invariants associated with vector bundles on a smooth manifold. The question of whether two ostensibly different vector bundles are the same can be quite hard to answer. The Chern classes provide a simple test: if the Chern classes of a pair of vector bundles do not agree, then the vector bundles are different. The converse, however, is not true. In topology, differential geometry, and algebraic geometry, it is often important to count how many linearly independent sect ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classifying Space
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e., a topological space all of whose homotopy groups are trivial) by a proper free action of ''G''. It has the property that any ''G'' principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle EG \to BG. As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy. For a discrete group ''G'', ''BG'' is a path-connected topological space ''X'' such that the fundamental group of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set. A function is bijective if it is invertible; that is, a function f:X\to Y is bijective if and only if there is a function g:Y\to X, the ''inverse'' of , such that each of the two ways for composing the two functions produces an identity function: g(f(x)) = x for each x in X and f(g(y)) = y for each y in Y. For example, the ''multiplication by two'' defines a bijection from the integers to the even numbers, which has the ''division by two'' as its inverse function. A function is bijective if and only if it is both injective (or ''one-to-one'')—meaning that each element in the codomain is mappe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complete Set Of Invariants
In mathematics, a complete set of invariants for a classification problem is a collection of maps :f_i : X \to Y_i (where X is the collection of objects being classified, up to some equivalence relation \sim, and the Y_i are some sets), such that x \sim x' if and only if f_i(x) = f_i(x') for all i. In words, such that two objects are equivalent if and only if all invariants are equal.. See in particulap. 97 Symbolically, a complete set of invariants is a collection of maps such that :\left( \prod f_i \right) : (X/\sim) \to \left( \prod Y_i \right) is injective. As invariants are, by definition, equal on equivalent objects, equality of invariants is a ''necessary'' condition for equivalence; a ''complete'' set of invariants is a set such that equality of these is also ''sufficient'' for equivalence. In the context of a group action, this may be stated as: invariants are functions of coinvariants (equivalence classes, orbits), and a complete set of invariants characterizes t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler Class
In mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic. It is named after Leonhard Euler because of this. Throughout this article E is an oriented, real vector bundle of rank r over a base space X. Formal definition The Euler class e(E) is an element of the integral cohomology group :H^r(X; \mathbf), constructed as follows. An orientation of E amounts to a continuous choice of generator of the cohomology :H^r(\mathbf^, \mathbf^ \setminus \; \mathbf)\cong \tilde^(S^;\mathbf)\cong \mathbf of each fiber \mathbf^ relative to the complement \mathbf^ \setminus \ of zero. From the Thom isomorphism, this induces an orientation class :u \in H^r(E, E \setminus E_0; \mathbf) in the cohomology of E relative to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CW Complex
In mathematics, and specifically in topology, a CW complex (also cellular complex or cell complex) is a topological space that is built by gluing together topological balls (so-called ''cells'') of different dimensions in specific ways. It generalizes both manifolds and simplicial complexes and has particular significance for algebraic topology. It was initially introduced by J. H. C. Whitehead to meet the needs of homotopy theory. (open access) CW complexes have better categorical properties than simplicial complexes, but still retain a combinatorial nature that allows for computation (often with a much smaller complex). The C in CW stands for "closure-finite", and the W for "weak" topology. Definition CW complex A CW complex is constructed by taking the union of a sequence of topological spaces \emptyset = X_ \subset X_0 \subset X_1 \subset \cdots such that each X_k is obtained from X_ by gluing copies of k-cells (e^k_\alpha)_\alpha, each homeomorphic to the open k- bal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy
In topology, two continuous functions from one topological space to another are called homotopic (from and ) if one can be "continuously deformed" into the other, such a deformation being called a homotopy ( ; ) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology. In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra. Formal definition Formally, a homotopy between two continuous functions ''f'' and ''g'' from a topological space ''X'' to a topological space ''Y'' is defined to be a continuous function H: X \times ,1\to Y from the product of the space ''X'' with the unit interval , 1to ''Y'' such that H(x,0) = f(x) and H(x,1) = g(x) for all x \in X. If we think of the second parameter of ''H'' as time then ''H'' describes a ''continu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hairy Ball Theorem
The hairy ball theorem of algebraic topology (sometimes called the hedgehog theorem in Europe) states that there is no nonvanishing continuous function, continuous tangent vector field on even-dimensional n‑sphere, ''n''-spheres. For the ordinary sphere, or 2‑sphere, if ''f'' is a continuous function that assigns a Vector (geometric), vector in to every point ''p'' on a sphere such that ''f''(''p'') is always tangent to the sphere at ''p'', then there is at least one pole, a point where the field vanishes (a ''p'' such that ''f''(''p'') = Null vector, 0). The theorem was first proved by Henri Poincaré for the 2-sphere in 1885, and extended to higher even dimensions in 1912 by Luitzen Egbertus Jan Brouwer. The theorem has been expressed colloquially as "you can't comb a hairy ball flat without creating a cowlick" or "you can't comb the hair on a coconut". Counting zeros Every zero of a vector field has a (non-zero) "Vector field#Index of a vector field, index", and it ca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Section (category Theory)
In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism. In other words, if f: X\to Y and g: Y\to X are morphisms whose composition f \circ g: Y\to Y is the identity morphism on Y, then g is a section of f, and f is a retraction of g. Every section is a monomorphism (every morphism with a left inverse is left-cancellative), and every retraction is an epimorphism (every morphism with a right inverse is right-cancellative). In algebra, sections are also called split monomorphisms and retractions are also called split epimorphisms. In an abelian category, if f: X\to Y is a split epimorphism with split monomorphism g: Y\to X, then X is isomorphic to the direct sum of Y and the kernel of f. The synonym coretraction for section is sometimes seen in the literature, although rarely in recent work. Properties * A section that is also an epimorphism is an isomorphism. Dually a retracti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Free Sheaves
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X- modules that has a local presentation, that is, every point in X has an open neighborhood U in which there is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Grothendieck
Alexander Grothendieck, later Alexandre Grothendieck in French (; ; ; 28 March 1928 – 13 November 2014), was a German-born French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and category theory to its foundations, while his so-called Grothendieck's relative point of view, "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century. Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des Hautes Études Scientifiques, Institut des hautes études scientifiques (IHÉS) and remained there until 1970, when, driven by personal and political convictions, he left following a dispute over military funding. He receive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
