|
Hirzebruch Signature Theorem
In differential topology, an area of mathematics, the Hirzebruch signature theorem (sometimes called the Hirzebruch index theorem) is Friedrich Hirzebruch's 1954 result expressing the signature of a smooth closed oriented manifold by a linear combination of Pontryagin numbers called the L-genus. It was used in the proof of the Hirzebruch–Riemann–Roch theorem. Statement of the theorem The L-genus is the genus for the multiplicative sequence of polynomials associated to the characteristic power series : = \sum_ = 1 + - +\cdots . The first two of the resulting L-polynomials are: * L_1 = \tfrac13 p_1 * L_2 = \tfrac1(7p_2 - p_1^2) By taking for the p_i the Pontryagin classes p_i(M) of the tangent bundle of a 4''n'' dimensional smooth closed oriented manifold M one obtains the L-classes of M. Hirzebruch showed that the n-th L-class of M evaluated on the fundamental class of M, /math>, is equal to \sigma(M), the signature of M (i.e. the signature of the intersection form on th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Signature Operator
In mathematics, the signature operator is an elliptic differential operator defined on a certain subspace of the space of differential forms on an even-dimensional compact Riemannian manifold, whose analytic index is the same as the topological signature of the manifold if the dimension of the manifold is a multiple of four. It is an instance of a Dirac-type operator. Definition in the even-dimensional case Let M be a compact Riemannian manifold of even dimension 2l. Let : d : \Omega^p(M)\rightarrow \Omega^(M) be the exterior derivative on i-th order differential forms on M. The Riemannian metric on M allows us to define the Hodge star operator \star and with it the inner product :\langle\omega,\eta\rangle=\int_M\omega\wedge\star\eta on forms. Denote by : d^*: \Omega^(M)\rightarrow \Omega^p(M) the adjoint operator of the exterior differential d. This operator can be expressed purely in terms of the Hodge star operator as follows: :d^*= (-1)^ \star d \star= - \star ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the ''geometric'' properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology. The central goal of the field of differential topology is the classification of all smooth manifolds up to diffeomorphism. Since dimension is an invariant of smooth manifolds up to diffeomorphism type, this classification is often studied by classifying the (connected) manifolds in each dimension separately: * In di ... [...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] |
Friedrich Hirzebruch
Friedrich Ernst Peter Hirzebruch ForMemRS (17 October 1927 – 27 May 2012) was a German mathematician, working in the fields of topology, complex manifolds and algebraic geometry, and a leading figure in his generation. He has been described as "the most important mathematician in Germany of the postwar period." Education Hirzebruch was born in Hamm, Westphalia in 1927. His father of the same name was a maths teacher. Hirzebruch studied at the University of Münster from 1945–1950, with one year at ETH Zürich. Career Hirzebruch then held a position at Erlangen, followed by the years 1952–54 at the Institute for Advanced Study in Princeton, New Jersey. After one year at Princeton University 1955–56, he was made a professor at the University of Bonn, where he remained, becoming director of the ''Max-Planck-Institut für Mathematik'' in 1981. More than 300 people gathered in celebration of his 80th birthday in Bonn in 2007. The Hirzebruch–Riemann–Roch theorem (1954) fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Signature (topology)
In the field of topology, the signature is an integer invariant which is defined for an oriented manifold ''M'' of dimension divisible by four. This invariant of a manifold has been studied in detail, starting with Rokhlin's theorem for 4-manifolds, and Hirzebruch signature theorem. Definition Given a connected and oriented manifold ''M'' of dimension 4''k'', the cup product gives rise to a quadratic form ''Q'' on the 'middle' real cohomology group :H^(M,\mathbf). The basic identity for the cup product :\alpha^p \smile \beta^q = (-1)^(\beta^q \smile \alpha^p) shows that with ''p'' = ''q'' = 2''k'' the product is symmetric. It takes values in :H^(M,\mathbf). If we assume also that ''M'' is compact, Poincaré duality identifies this with :H^(M,\mathbf) which can be identified with \mathbf. Therefore the cup product, under these hypotheses, does give rise to a symmetric bilinear form on ''H''2''k''(''M'',''R''); and therefore to a quadratic form ''Q''. The form ''Q'' is no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pontryagin Number
In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four. Definition Given a real vector bundle ''E'' over ''M'', its ''k''-th Pontryagin class p_k(E) is defined as :p_k(E) = p_k(E, \Z) = (-1)^k c_(E\otimes \Complex) \in H^(M, \Z), where: *c_(E\otimes \Complex) denotes the 2k-th Chern class of the complexification E\otimes \Complex = E\oplus iE of ''E'', *H^(M, \Z) is the 4k-cohomology group of ''M'' with integer coefficients. The rational Pontryagin class p_k(E, \Q) is defined to be the image of p_k(E) in H^(M, \Q), the 4k-cohomology group of ''M'' with rational coefficients. Properties The total Pontryagin class :p(E)=1+p_1(E)+p_2(E)+\cdots\in H^*(M,\Z), is (modulo 2-torsion) multiplicative with respect to Whitney sum of vector bundles, i.e., :2p(E\oplus F)=2p(E)\smile p(F) for two vector bundles ''E'' and ''F'' over ''M'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Genus Of A Multiplicative Sequence
In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary (i.e., up to suitable cobordism) to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties. Definition A genus \varphi assigns a number \Phi(X) to each manifold ''X'' such that # \Phi(X \sqcup Y) = \Phi(X) + \Phi(Y) (where \sqcup is the disjoint union); # \Phi(X \times Y) = \Phi(X)\Phi(Y); # \Phi(X) = 0 if ''X'' is the boundary of a manifold with boundary. The manifolds and manifolds with boundary may be required to have additional structure; for example, they might be oriented, spin, stably complex, and so on (see list of cobordism theories for many more examples). The value \Phi(X) is in some ring, often the ring of ratio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hirzebruch–Riemann–Roch Theorem
In mathematics, the Hirzebruch–Riemann–Roch theorem, named after Friedrich Hirzebruch, Bernhard Riemann, and Gustav Roch, is Hirzebruch's 1954 result generalizing the classical Riemann–Roch theorem on Riemann surfaces to all complex algebraic varieties of higher dimensions. The result paved the way for the Grothendieck–Hirzebruch–Riemann–Roch theorem proved about three years later. Statement of Hirzebruch–Riemann–Roch theorem The Hirzebruch–Riemann–Roch theorem applies to any holomorphic vector bundle ''E'' on a compact complex manifold ''X'', to calculate the holomorphic Euler characteristic of ''E'' in sheaf cohomology, namely the alternating sum : \chi(X,E) = \sum_^ (-1)^ \dim_ H^(X,E) of the dimensions as complex vector spaces, where ''n'' is the complex dimension of ''X''. Hirzebruch's theorem states that χ(''X'', ''E'') is computable in terms of the Chern classes ''ck''(''E'') of ''E'', and the Todd classes \operatorname_(X) of the holomor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Class
In mathematics, the fundamental class is a homology class 'M''associated to a connected orientable compact manifold of dimension ''n'', which corresponds to the generator of the homology group H_n(M,\partial M;\mathbf)\cong\mathbf . The fundamental class can be thought of as the orientation of the top-dimensional simplices of a suitable triangulation of the manifold.In past years mathematics.... Definition Closed, orientable When ''M'' is a connected orientable closed manifold of dimension ''n'', the top homology group is infinite cyclic: H_n(M,\mathbf) \cong \mathbf, and an orientation is a choice of generator, a choice of isomorphism \mathbf \to H_n(M,\mathbf). The generator is called the fundamental class. If ''M'' is disconnected (but still orientable), a fundamental class is the direct sum of the fundamental classes for each connected component (corresponding to an orientation for each component). In relation with de Rham cohomology it represents ''integration over M''; na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
René Thom
René Frédéric Thom (; 2 September 1923 – 25 October 2002) was a French mathematician, who received the Fields Medal in 1958. He made his reputation as a topologist, moving on to aspects of what would be called singularity theory; he became world-famous among the wider academic community and the educated general public for one aspect of this latter interest, his work as founder of catastrophe theory (later developed by Erik Christopher Zeeman). Life and career René Thom grow up in a modest family in Montbéliard, Doubs and obtained a Baccalauréat in 1940. After German invasion of France, his family took refuge in Switzerland and then in Lyon. In 1941 he moved to Paris to attend Lycée Saint-Louis and in 1943 he began studying mathematics at École Normale Supérieure, becoming agrégé in 1946. He received his PhD in 1951 from the University of Paris. His thesis, titled ''Espaces fibrés en sphères et carrés de Steenrod'' (''Sphere bundles and Steenrod squares''), was w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cobordism
In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same dimension are ''cobordant'' if their disjoint union is the ''boundary'' of a compact manifold one dimension higher. The boundary of an (''n'' + 1)-dimensional manifold ''W'' is an ''n''-dimensional manifold ∂''W'' that is closed, i.e., with empty boundary. In general, a closed manifold need not be a boundary: cobordism theory is the study of the difference between all closed manifolds and those that are boundaries. The theory was originally developed by René Thom for smooth manifolds (i.e., differentiable), but there are now also versions for piecewise linear and topological manifolds. A ''cobordism'' between manifolds ''M'' and ''N'' is a compact manifold ''W'' whose boundary is the disjoint union of ''M'' and ''N'', \partial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Projective Space
In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the ''complex'' lines through the origin of a complex Euclidean space (see below for an intuitive account). Formally, a complex projective space is the space of complex lines through the origin of an (''n''+1)-dimensional complex vector space. The space is denoted variously as P(C''n''+1), P''n''(C) or CP''n''. When , the complex projective space CP1 is the Riemann sphere, and when , CP2 is the complex projective plane (see there for a more elementary discussion). Complex projective space was first introduced by as an instance of what was then known as the "geometry of position", a notion originally due to Lazare Carnot, a kind of synthetic geometry that included other projective geometries as well. Sub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Cobordism")
