|
De Rham Invariant
In geometric topology, the de Rham invariant is a mod 2 invariant of a (4''k''+1)-dimensional manifold, that is, an element of \mathbf/2 – either 0 or 1. It can be thought of as the simply-connected ''symmetric'' L-group L^, and thus analogous to the other invariants from L-theory: the signature, a 4''k''-dimensional invariant (either symmetric or quadratic, L^ \cong L_), and the Kervaire invariant, a (4''k''+2)-dimensional ''quadratic'' invariant L_. It is named for Swiss mathematician Georges de Rham, and used in surgery theory. Definition The de Rham invariant of a (4''k''+1)-dimensional manifold can be defined in various equivalent ways: * the rank of the 2-torsion in H_(M), as an integer mod 2; * the Stiefel–Whitney number w_2w_; * the (squared) Wu number, v_Sq^1v_, where v_ \in H^(M;Z_2) is the Wu class of the normal bundle of M and Sq^1 is the Steenrod square ; formally, as with all characteristic numbers, this is evaluated on the fundamental class In mathemat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometric Topology
In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of ''simple'' homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently. Differences between low-dimensional and high-dimensional topology Manifolds differ radically in behavior in high and low dimension. High-dimensional topology refers to manifolds of dimension 5 and above, or in relative terms, embeddings in codimension 3 and above. Low-dimensional topology is concerned with questions in dimensions up to 4, or embeddings in codimension up to 2. Dimension 4 is special, in that in some respects (topologica ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-theory
In mathematics, algebraic ''L''-theory is the ''K''-theory of quadratic forms; the term was coined by C. T. C. Wall, with ''L'' being used as the letter after ''K''. Algebraic ''L''-theory, also known as "Hermitian ''K''-theory", is important in surgery theory. Definition One can define ''L''-groups for any ring with involution ''R'': the quadratic ''L''-groups L_*(R) (Wall) and the symmetric ''L''-groups L^*(R) (Mishchenko, Ranicki). Even dimension The even-dimensional ''L''-groups L_(R) are defined as the Witt groups of ε-quadratic forms over the ring ''R'' with \epsilon = (-1)^k. More precisely, ::L_(R) is the abelian group of equivalence classes psi/math> of non-degenerate ε-quadratic forms \psi \in Q_\epsilon(F) over R, where the underlying R-modules F are finitely generated free. The equivalence relation is given by stabilization with respect to hyperbolic ε-quadratic forms: : psi= psi'\Longleftrightarrow n, n' \in _0: \psi \oplus H_(R)^n \cong \psi' \oplus ... [...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] |
Kervaire Invariant
In mathematics, the Kervaire invariant is an invariant of a framed (4k+2)-dimensional manifold that measures whether the manifold could be surgically converted into a sphere. This invariant evaluates to 0 if the manifold can be converted to a sphere, and 1 otherwise. This invariant was named after Michel Kervaire who built on work of Cahit Arf. The Kervaire invariant is defined as the Arf invariant of the skew-quadratic form on the middle dimensional homology group. It can be thought of as the simply-connected ''quadratic'' L-group L_, and thus analogous to the other invariants from L-theory: the signature, a 4k-dimensional invariant (either symmetric or quadratic, L^ \cong L_), and the De Rham invariant, a (4k+1)-dimensional ''symmetric'' invariant L^. In any given dimension, there are only two possibilities: either all manifolds have Arf–Kervaire invariant equal to 0, or half have Arf–Kervaire invariant 0 and the other half have Arf–Kervaire invariant 1. The Kervaire ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georges De Rham
Georges de Rham (; 10 September 1903 – 9 October 1990) was a Swiss mathematician, known for his contributions to differential topology. Biography Georges de Rham was born on 10 September 1903 in Roche, a small village in the canton of Vaud in Switzerland. He was the fifth born of the six children in the family of Léon de Rham, a constructions engineer. Georges de Rham grew up in Roche but went to school in nearby Aigle, the main town of the district, travelling daily by train. By his own account, he was not an extraordinary student in school, where he mainly enjoyed painting and dreamed of becoming a painter. In 1919 he moved with his family to Lausanne in a rented apartment in Beaulieu Castle, where he would live for the rest of his life. Georges de Rham started the Gymnasium in Lausanne with a focus on humanities, following his passion for literature and philosophy but learning little mathematics. On graduating from the Gymnasium in 1921 however, he decided not to continue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surgery Theory
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by . Milnor called this technique ''surgery'', while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold ''M'' of dimension n=p+q+1, could be described as removing an imbedded sphere of dimension ''p'' from ''M''. Originally developed for differentiable (or, smooth) manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds. Surgery refers to cutting out parts of the manifold and replacing it with a part of another manifold, matching up along the cut or boundary. This is closely related to, but not identical with, handlebody decompositions. More technically, the idea is to start with a well-understood manifold ''M'' and perform surgery on it to produce a manifold ''M''′ having some desired property, in such a way th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wu Class
Wu may refer to: States and regions on modern China's territory *Wu (state) (; och, *, italic=yes, links=no), a kingdom during the Spring and Autumn Period 771–476 BCE ** Suzhou or Wu (), its eponymous capital ** Wu County (), a former county in Suzhou * Eastern Wu () or Sun Wu (), one of the Three Kingdoms in 184/220–280 CE * Li Zitong (, died 622), who declared a brief Wu Dynasty during the Sui–Tang interregnum in 619–620 CE * Wu (Ten Kingdoms) (), one of the ten kingdoms during the Five Dynasties and Ten Kingdoms Period 907–960 CE * Wuyue (), another of the ten kingdoms during the Five Dynasties and Ten Kingdoms Period 907–960 CE * Wu (region) (), a region roughly corresponding to the territory of Wuyue ** Wu Chinese (), a subgroup of Chinese languages now spoken in the Wu region ** Wuyue culture (), a regional Chinese culture in the Wu region Language * Wu Chinese, a group of Sinitic languages that includes Shanghaiese People * Wu (surname) (or Woo), several diffe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steenrod Square
In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology. For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, consisting of all stable cohomology operations for mod p cohomology. It is generated by the Steenrod squares introduced by for p=2, and by the Steenrod reduced pth powers introduced in and the Bockstein homomorphism for p>2. The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory. Cohomology operations A cohomology operation is a natural transformation between cohomology functors. For example, if we take cohomology with coefficients in a ring R, the cup product squaring operation yields a family of cohomology operations: :H^n(X;R) \to H^(X;R) :x \mapsto x \smile x. Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic Number
In mathematics, a characteristic class is a way of associating to each principal bundle of ''X'' a cohomology class of ''X''. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry. The notion of characteristic class arose in 1935 in the work of Eduard Stiefel and Hassler Whitney about vector fields on manifolds. Definition Let ''G'' be a topological group, and for a topological space X, write b_G(X) for the set of isomorphism classes of principal ''G''-bundles over X. This b_G is a contravariant functor from Top (the category of topological spaces and continuous functions) to Set (the category of sets and functions), sending a map f\colon X\to Y to the pullback operation f^*\colon b ... [...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] |
